Izjednačeno: najbolja poznata vrijednost

Slaganje 84 kvadrata stranice 1 u kvadrat

Koliki je najmanji kvadrat za 84 kvadrata stranice 1, bez preklapanja? Najbolji poznati odgovor je duljina stranice 9,7071067812 (Evert Stenlund, 1980). Izjednačio ju je naš program Velmar Cut.

84 kvadrata u kvadratu stranice 9,7071067812: uspravnih 72, zakrenutih 12

Brojevi

Najbolja poznata duljina stranice9,7071067812
Najbolja poznata duljina stranice, u cijelosti9,70710678118654
Duljina stranice iz Velmar Cuta9,7071067812
Duljina stranice iz Velmar Cuta, u cijelosti9,707106781190700
Razlika, Velmar Cut minus najbolja poznata+4.160E-12
AutorEvert Stenlund, 1980
StatusNajbolje poznato, nije dokazano
Vrijeme do rezultata13,482 s, jedno pokretanje, završni korak za točnost nije uračunat
Korištene niti8
RačunaloIntel Core i5-12600K, 10 jezgri, 16 niti
Kvadratiuspravnih: 72, zakrenutih: 12
U običnoj mreži trebaduljina stranice 10

Trajanje pokretanja na jednom stolnom računalu. Nakon njega slijedio je završni korak za točnost, koji nije uračunat.

Zadatak: 84 kvadrata

Tri kvadrata više nego što stane u mrežu stranice 9, pa običnoj mreži treba kvadrat stranice 10. U ovom je rasporedu dvanaest kvadrata pod 45 stupnjeva, a sedamdeset i dva uspravno. Duljina stranice 9 + ½√2 točno je za jedan veća nego kod 67, a isti je oblik i kod 27, 38 i 52.

Obična mreža: duljina stranice 10

84 kvadrata u uspravnim redovima, u kvadratu stranice 10
U uspravnim redovima za 84 kvadrata treba kvadrat stranice 10.

Najbolja poznata duljina stranice: 9,7071067812

84 kvadrata u kvadratu stranice 9,7071067812: uspravnih 72, zakrenutih 12
Raspored iz našeg programa Velmar Cut, s najboljom poznatom duljinom stranice (Evert Stenlund, 1980).

Plavi kvadrati stoje uspravno, narančasti su zakrenuti. Obje su slike u istom mjerilu.

Povijest

Autor najbolje poznate vrijednosti na ovoj veličini: Evert Stenlund, 1980. Taj rezultat izjednačuje naš program Velmar Cut.

Najbolja poznata vrijednost, bez dokaza: u Friedmanovu pregledu iz 2009. najbolja donja granica bila je 9,2667 (Trevor Green), pa manji kvadrat nije isključen.

Raspored Everta Stenlunda proširuje raspored za 52 kvadrata koji je početkom 1979. pronašao Frits Göbel. Pregled Ericha Friedmana iz 2009. navodi ovu veličinu pod Göbelovim imenom, a današnja je tablica pripisuje Stenlundu. Ista se duljina stranice dobiva i dodavanjem dvaju oblika slova L tom rasporedu za 52 kvadrata.

Kada Duljina stranice Tko Što se dogodilo
početkom 1980. 9 + ½√2 ≈ 9,70711 Evert Stenlund proširuje Göbelov raspored za 52 kvadrata, danas najbolji poznati
2005. ista duljina stranice David W. Cantrell alternativa s najmanje zakrenutih kvadrata

Izvori

Najbolje poznate vrijednosti preuzete su iz tablice „Squares in Squares“ koju vodi David Ellsworth, prema izvorniku Ericha Friedmana.

Uz svaku je veličinu naveden autor vrijednosti i godina. Njihov rezultat izjednačuje naš program Velmar Cut.

Je li raspored valjan?

Jest. Certifikat prolazi egzaktnu provjeru: 84 komada, svaki točno kvadrat stranice 1, svaki unutar okvira, a nijedna se dva ne preklapaju.

Koliko je blizu najboljoj poznatoj vrijednosti?

Duljina stranice iz našeg programa Velmar Cut minus najbolja poznata vrijednost iznosi +4.160E-12, što je unutar granice 1E-11 iz pravila.

Izjednačenje: certifikat prolazi egzaktnu provjeru, a |L - najbolja poznata| <= 1E-11, pri čemu je razlika objavljena nezaokružena za svaku veličinu. L je duljina stranice okvira iz certifikata, zaokružena naviše na 15 decimala.

Ne morate nam vjerovati na riječ

Samo s Pythonom, bez ikakvog drugog softvera, verify_exact.py uz certifikat provjerava gornju datoteku egzaktnom aritmetikom, bez zaokruživanja.

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

Provjera ne dokazuje da je raspored optimalan, da je referentna vrijednost trenutačno najbolja poznata ni kako je raspored pronađen.

Cijela provjera i što obuhvaća

Besplatna proba

Sedam dana sa svim izdanjima

Instalirajte Velmar Cut, unesite dijelove i zalihu tekućeg posla i ispišite plan rezanja. Proba počinje pri prvom pokretanju i ne traži korisnički račun ni karticu.