A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. A kocka esetére a válasz nyilvánvalóan igenlő. Az adott koordináta-rendszer hosszegységével egyenlő élű kocka beállítható a rendszerbe úgy, hogy minden csúcsának koordinátái a és számok ismétléses variációi ( csúcs, variáció): | | (1) | A szokásos kifejezéssel élve: mind a csúcs rácspont, ez a kocka rácskocka. Egy másik igen egyszerű megoldás: minden csúcs mindhárom koordinátája abszolút értékben és eléjük írjuk a " " és "" előjelek minden lehetséges ismétléses variációját :
Szabályos tetraéder csúcsait úgy kapjuk, ha kiválasztjuk a kocka egy csúcsát és az innen kiinduló lapbeli átló végpontjait. Az (1) alatti kocka esetében megfelelő az a csúcs, amelyre a koordináták összege páros szám, valamint az a is, amelyre páratlan az összeg. A (2) példából pedig az a 4‐4 csúcs ad megoldást, amelyben a "'' jelek száma páros, illetve páratlan.
Szabályos oktaédert határoz meg a koordináta-rendszer tengelyén az a pont, mint csúcs, amelynek az origótól való távolsága Ezek konvex burkának minden lapja nyilvánvalóan szabályos háromszög. Más szóval: ezt az oktaédert határozzák meg a (2) kocka lapjainak középpontjai. A szabályos dodekaéderre és a szabályos ikozaéderre együtt mutatjuk meg, hogy a kívánt elhelyezés nem lehetséges. A dodekaéder lapjai ugyanis szabályos ötszögek, az ikozaédernél pedig az egy csúcsból kiinduló öt él végpontjai adják egy szabályos ötszög csúcsait, így elég azt bebizonyítanunk, hogy szabályos ötszög nem helyezhető el úgy a térben (azaz nem valamelyik koordinátasíkon), hogy mindegyik csúcsának mindegyik koordinátája egész szám legyen. Sőt, elegendő ezt az ötszög három egymás utáni csúcsára belátni. Legyenek ezek , és úgy, hogy így és tegyük fel, hogy ‐ állításunkkal ellentétben ‐ az háromszög csúcsai rácspontok. Ekkor a koordinátákból az ismert távolságképlettel számítva , és egyaránt egész számok, továbbá a oldalra felírt koszinusztétel alapján | | racionális szám. Ez pedig ellentmondás, hiszen ismeretes, hogy amiből tehát irracionális. Ezzel bebizonyítottuk állításunkat. Megjegyzések. 1. Nagyobb élhosszúságot megengedve, a kocka nemcsak a bemutatott egyszerű (tréfásan: "kincstári'') módokon állítható be a koordinátarácsba. Legyen az oldalú rácsnégyzet csúcsa az origó, a vele szomszédos és csúcsok helyvektora illetve vagyis | | tehát a négyzet negyedik csúcsa a vektor végpontja. Ilyen pontpár esetén és tehát Most idézzük az 1982. évi Kürschák József Emlékverseny 1. feladatát: "Adott a térben egy egész oldalhosszúságú kocka, amelyről tudjuk, hogy az egyik lapján levő négy csúcs koordinátái valamennyien egész számok. Bizonyítandó, hogy a másik négy csúcs koordinátái is egész számok''. A megoldásban (Surányi János cikke, K. M. L. 1983. évi februári szám, 50. oldal) olvashatjuk, hogy ekkor ‐ tovább is itteni jelöléseinket használva ‐ az origóból kiinduló harmadik kockaél végpontjainak koordinátái: | | vagy ezek ellentettjei, valamint hogy e kifejezések egész számok. ‐ Példánkban az -ból kiinduló harmadik kockaél végpontja ‐ vagy pedig ‐, ennek alapján a hátralevő három kockacsúcs koordinátái is felírhatók. (Lásd a borító 4. oldaláról idehelyezett ábrát!)
Kétszeresére nagyítva ezt a kockát, a lapközéppontok meghatározta szabályos oktaéderre is kapunk "általános'' elhelyezést.
2. Sokan észreveszik a példában az pitagoraszi "számnégyest'', valamint hogy a csúcs egyike annak a elemű pontegyüttesnek, amelyet -ből kapunk, egyrészt permutálva a koordináták abszolút értékeit ( eset), másrészt eléjük illesztve a kétféle előjel ismétléses variációit ( rácspont bármely rácspont körüli, sugarú gömb felszínén; visszatérve -hoz, megkaphatjuk őket -nek a koordinátasíkokon, valamint páronként vett szögfelezősíkjaikon való tükrözésekkel is). Mégsem minden térbeli pitagoraszi számnégyes alkalmas ilyen példa felírására. Például esetén a ponthoz további pont kapcsolható a megfelelő gömb felületén, de azok egyike sincs -nyi szögtávolságban -től. Ha azonban hozzávesszük azt a pontot, amelyek a következőkből származtathatók : | | e felbontások alapján számos új rácskockát írhatunk fel, például -ból. B. T. 3. Az 1986. évi decemberi számunkban ‐ ezzel a feladattal egyidőben ‐ egy cikk jelent meg arról, hogy milyen szabályos rács-sokszögek léteznek a síkon Láttuk, hogy ha vagy akkor nincs a síkon olyan szabályos -szög, amelynek minden csúcsa rácspont. Az a bizonyítás szóról szóra átvihető térben (azaz nem valamelyik koordinátasíkon) elhelyezkedő szabályos -szögekre (Megjegyezzük, hogy a bizonyításból csak azért zártuk ki az esetet, mert akkor az ottani pontok egybeesnének; egyébként ezt az esetet már nyilván elintéztük a szabályos háromszöggel együtt.) Mondhatjuk tehát, hogy a (3-dimenziós) térben valamivel változatosabb a helyzet; létezik szabályos rácsháromszög. Csalódik azonban az, aki ezt a "terjeszkedést'' látva azt várja, hogy nagyobb dimenziós térben talán majd a szabályos ötszög csúcsai is ráilleszthetők rácspontokra. A fenti bizonyítás minden dimenziós térre érvényes. (Abba már nem bocsátkozhatunk bele, mire gondoljunk az " dimenziós tér'' kifejezés hallatára.) B. Z.‐B. T. |