Erreicht: der beste bekannte Wert

89 Einheitsquadrate in einem Quadrat packen

Wie klein kann ein Quadrat sein, das 89 Quadrate der Seitenlänge 1 ohne Überlappung aufnimmt? Die beste bekannte Antwort ist die Seitenlänge 9,9497474683, von Evert Stenlund, 1980. Velmar Cut hat sie erreicht.

89 Quadrate in einem Quadrat der Seitenlänge 9,9497474683, 40 aufrecht und 49 gedreht

Die Zahlen

Beste bekannte Seitenlänge9,9497474683
Beste bekannte Seitenlänge, vollständig9,94974746830583
Seitenlänge von Velmar Cut9,9497474683
Seitenlänge von Velmar Cut, vollständig9,949747468308645
Differenz, Velmar Cut minus bester bekannter Wert+2.815E-12
Gefunden vonEvert Stenlund, 1980
StatusBester bekannter Wert, nicht bewiesen
Zeit bis zum Ergebnis96,19 s, ein Lauf
Verwendete Threads8
RechnerIntel Core i5-12600K, 10 Kerne, 16 Threads
Quadrate40 aufrecht, 49 gedreht
Ein einfaches Raster brauchtSeitenlänge 10

Die Zeit bis zu diesem Ergebnis auf einem Desktop-PC.

Das Problem bei 89 Quadraten

Acht Quadrate mehr, als ein Raster der Seitenlänge 9 fasst, also braucht das einfache Raster Seitenlänge 10. Die beste bekannte Seitenlänge, 5 + (7/2)√2, ist nur etwa 0,05 kürzer. Diese Anordnung hat mehr gedrehte als aufrechte Quadrate: neunundvierzig gedrehte und vierzig aufrechte.

Ein einfaches Raster: Seitenlänge 10

89 aufrechte Quadrate in Reihen in einem Quadrat der Seitenlänge 10
In aufrechten Reihen brauchen 89 Quadrate die Seitenlänge 10.

Bester bekannter Wert: Seitenlänge 9,9497474683

89 Quadrate in einem Quadrat der Seitenlänge 9,9497474683, 40 aufrecht und 49 gedreht
Die Anordnung von Velmar Cut, mit der besten bekannten Seitenlänge von Evert Stenlund, 1980.

Blaue Quadrate stehen aufrecht, orange Quadrate sind gedreht. Beide Bilder haben denselben Maßstab.

Geschichte

Der beste bekannte Wert bei dieser Größe ist das Ergebnis von Evert Stenlund, 1980, und dieses Ergebnis hat Velmar Cut erreicht.

Bester bekannter Wert, nicht bewiesen: Die unteren Schranken in Friedmans Übersicht von 2009 enden bei 85 Quadraten, für diese Größe nennt sie also keine.

Evert Stenlund fand diese Packung Anfang 1980 und setzte damit ein Muster fort, das Frits Göbel Anfang 1979 gefunden hatte. Friedmans Übersicht von 2009 führt diesen Wert bereits unter Stenlunds Namen.

Wann Seitenlänge Wer Was geschah
Anfang 1980 5 + (7/2)√2 ≈ 9,94975 Evert Stenlund gefunden, setzt ein Muster von Frits Göbel von Anfang 1979 fort, heute bester bekannter Wert
Juni 2023 gleiche Seitenlänge David Ellsworth Umordnung mit den wenigsten gedrehten Quadraten
Januar 2026 ≈ 9,96543 David Ellsworth keine Verbesserung des besten bekannten Werts

Quellen

Die besten bekannten Werte stammen aus „Squares in Squares“ von David Ellsworth, nach dem Original von Erich Friedman.

Zu jeder Größe steht, von wem ihr Wert stammt und seit wann. Deren Ergebnis hat Velmar Cut erreicht.

Ist die Packung gültig?

Ja. Das Zertifikat besteht die exakte Prüfung: 89 Teile, jedes exakt ein Einheitsquadrat, jedes im Rahmen, keine zwei überlappend.

Wie nah ist sie am besten bekannten Wert?

Seitenlänge von Velmar Cut minus bester bekannter Wert ergibt +2.815E-12, innerhalb der 1E-11 aus der Regel.

Erreicht heißt: Das Zertifikat besteht die exakte Prüfung, und |L - bester bekannter Wert| <= 1E-11, wobei die Differenz für jede Größe ungerundet veröffentlicht wird. L ist die Seitenlänge des Rahmens im Zertifikat, auf 15 Dezimalstellen aufgerundet.

Sie müssen uns nicht vertrauen

Mit reinem Python und ohne weitere Software prüft verify_exact.py neben dem Zertifikat die Datei oben mit exakter Arithmetik, ohne Rundung.

python verify_exact.py 89-squares-in-a-square.csv --squares=89 --reference=9.94974746830583 --epsilon=1e-11

Es beweist nicht, dass die Packung optimal ist, dass der Referenzwert der aktuell beste bekannte Wert ist oder wie die Anordnung gefunden wurde.

Die vollständige Prüfung und was sie abdeckt

Kostenloser Testzeitraum

Sieben Tage mit allen Editionen

Installieren Sie Velmar Cut, geben Sie Teile und Rohmaterial eines laufenden Auftrags ein und drucken Sie die Zuschnittliste. Der Testzeitraum beginnt beim ersten Start und braucht weder Konto noch Karte.