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. Pitagorasz tételét felírva az , , , , valamint , , , derékszögű háromszögekre (1. ábra), fejezzük ki az állítás bal és jobb oldalán álló összeadandókat:
A bal és a jobb oldalon álló tagok helyébe a fenti különbségeket írva látható, hogy valóban fennáll az egyenlőség.
1. ábra Vizsgáljuk most a feladat második részét! Megmutatjuk, hogy a szereplő feltételek mellett igaz az első részben bizonyított tétel megfordítása, azaz ha teljesül (1), akkor a kérdéses síkok egy ponton mennek át.
2. ábra Az -n átmenő, egyenesre merőleges és az -en átmenő, egyenesre merőleges síkok különbözők és nem párhuzamosak, mivel az , , pontok nincsenek egy egyenesen (különben ugyanis , , , egy síkban lennének). E két sík tehát metszi egymást, legyen metszésvonaluk (2. ábra). Hasonlóan a -n átmenő, egyenesre merőleges sík nem tartalmazza -et és nem párhuzamos -fel, tehát döfi ezt a síkot, legyen a döféspont . Ekkor vetülete az , , egyenesen rendre , , . Legyen a pontnak az egyenesen levő vetülete . Ekkor az első rész állítása szerint | | (2) | (1) és (2) különbségét képezve rendezés után kapjuk, hogy A távolságokat előjeles távolságoknak tekintve, és felhasználva, hogy , kapjuk, hogy , azaz . Tehát a -n átmenő és az egyenesre merőleges sík is átmegy a ponton, vagyis a négy vizsgált sík egy ponton megy át. |