Umocnění čtverce je problém rozdělení čtverce na konečný počet menších čtverců. V užším slova smyslu je to problém rozdělení čtverce na konečný počet párově nerovných čtverců.
V letech 1936-1938 jej řešili čtyři studenti Trinity College, Cambridge University [1] .
Všechny čtverce v jakémkoli řešení tohoto problému mají strany srovnatelné délky. [2]
Klíčovou roli při řešení problému kvadratury sehrál návrh Brookse, Smithe, Stonea a Tata v letech 1936-1938 [ 1] na analýzu diagramu zvaného Smithův diagram , který přiřazuje elektrický obvod libovolnému oddílu čtverec (nebo obdélník) . To umožnilo aplikovat dobře rozvinutou teorii elektrických obvodů k řešení problému kvadratury.
Můžeme uvažovat, že obdélník je vodič vyrobený z fólie s konstantním odporem. Pokud je podél základen připojen proud, pak je odpor obdélníku přímo úměrný výšce a nepřímo úměrný šířce obdélníku. Proto můžeme předpokládat, že odpor jakéhokoli čtverce je jednotný.
Každý vodorovný segment ve schématu rozdělení čtverce odpovídá "svorce" tohoto obvodu a každý čtverec rozdělení odpovídá vodiči spojujícímu dvě "svorky". Síla proudu procházejícího vodičem se rovná délce strany odpovídajícího čtverce. Protože můžeme předpokládat, že odpor každého čtverce je roven jedné, chová se takový elektrický obvod jako „skutečný“; zejména dodržuje Kirchhoffova pravidla pro proudy v obvodu.
Počet prvočíselných čtverců řádu |
Počet prvočíselných čtverců řádu | ||
---|---|---|---|
21 | jeden | 28 | 3001 |
22 | osm | 29 | 7901 |
23 | 12 | třicet | 20 566 |
24 | 26 | 31 | 54 541 |
25 | 160 | 32 | 144 161 |
26 | 441 | 33 | 378 197 [5] |
27 | 1152 |
Počet jednoduchých dokonalých čtverců řádu n až symetrií je uveden v posloupnosti A006983 v OEIS [6] .
V roce 2013 byl zjištěn počet čtverců řádově 32 ( 144 161 ) [6] [5] .
V červnu 2014 získal Jim Williams všech 378 197 prvotřídních dokonalých čtverců řádu 33 [5] .
„Krychlení krychle“, tedy rozdělení krychle na konečný počet párově nestejných krychlí, je nemožné. Důkaz o této skutečnosti podali Brooks, Smith, Stone a Tutt.
DůkazPředpokládejme, že požadovaný oddíl krychle existuje.
Uvažujme jednu z ploch krychle, samozřejmě, aniž bychom ztratili obecnost, můžeme zvolit spodní plochu.
Na spodní ploše jsou nerovné kostky, jejichž spodní hrany rozdělují líc na nerovné čtverce.
Najdeme nejmenší čtverec přepážky spodního obličeje. Je zřejmé, že tento čtverec nemůže přiléhat k okraji krychle, protože je omezen stranami větších čtverců, proto musí být umístěn někde uvnitř plochy.
Nyní zvažte horní stranu této malé krychle. Vzhledem k tomu, že se má jednat o nejmenší kostku na spodní straně kostky, je obklopena vyššími kostkami. Na jeho horní ploše tedy nezasahuje ani jedna sousední krychle. V důsledku toho menší krychle stojící na této ploše opět rozdělují horní stranu této krychle na nerovné čtverce a nejmenší čtverec přepážky horní strany uvažované krychle opět nemůže patřit k hraně krychle a nachází se uvnitř tvář.
Pokračujeme-li v tomto procesu uvažování, docházíme k rozporu, který dokazuje Věta [1] .
Je také snadné dokázat větu o nemožnosti „hyperkrychle hyperkrychle“ pro hyperkrychle jakékoli dimenze větší než 3. Pro jakoukoli dimenzi n musí rozdělovací hyperkrychle sousedící s nějakou ( n − 1)-rozměrnou fasetou původní hyperkrychle tuto fasetu rozdělit na konečný počet párově nestejných ( n − 1)-rozměrných hyperkrychlí. Pro n = 4 je "hypercubing" nemožný, protože musí generovat "cubing" 3-rozměrných hyperploch původní 4-rozměrné hyperkrychle. Indukcí na n lze usoudit, že „hyperkubace“ je nemožná pro všechna n > 3.
![]() |
---|