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. Ha egy négyzet szemközti oldalain lévő és , illetve és pontokat összekötő szakaszok merőlegesek egymásra, akkor az 1. ábrán látható és háromszögek egybevágóak, mert megfelelő szögeik páronként megegyeznek, és , hiszen mindkettő megegyezik a négyzet oldalával. Ezért és is teljesül. Ez utóbbi egyenlőségből következik, hogy ha a feladatunkban szereplő lyukas négyzet oldalain lévő szakaszok hosszát a 2. ábrán látható módon jelöljük, akkor . Viszont következik abból, hogy a lyuk is négyzet, ezért
1. ábra
2. ábra
3. ábra Ezt az összefüggést használjuk majd fel annak bizonyítására, hogy a feladatban szereplő négy négyszögből másképp is összeállítható egy lyukas négyzet. Válasszuk az eredeti négyzet oldalát 1 hosszúságúnak és használjuk a szakaszhosszakra, pontokra, szögekre és négyszögekre a 3. ábra jelöléseit. Az ábrán megjelölt , szögek összege nyilván .
4. ábra Toljuk el az I. négyszöget úgy, hogy csúcsa -be kerüljön, a III. négyszöget pedig úgy, hogy csúcsa -be kerüljön. Az eltolás során a pontok képét vesszővel jelöljük (4. ábra). Ekkor | | továbbá | | Vagyis (1)-et felhasználva kapjuk, hogy és egyenlő hosszú és egymásra merőleges szakaszok. Ezért az , , ponthármashoz egyértelműen létezik az a pont, melyre az négyszög négyzet. Sőt, az is igaz, hogy rajta van az egyenesen, mert ez az egyenes merőleges -re. Megmutatjuk, hogy a II. négyszög eltolható úgy, hogy képe , képe , képe pedig legyen. Mivel azért | | az összefüggésből pedig következik, hogy | | Végül pedig felhasználva, hogy az I. négyszög -nél lévő szöge , a III. négyszög -nél lévő szöge pedig , következik, hogy a II. négyszög eltolható a kívánt módon. Tehát a négy négyszögből a 4. ábrán látható módon is összeállítható egy négyzet alakú lyukat is tartalmazó négyszög. E nagy négyszög is négyzet, mert az eltolásokból következően minden szöge derékszög, továbbá is következik az eltolásokból, valamint az 1. ábrán bizonyított egyenlőségből. |