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. I. megoldás. Jelöljük a három félegyenest -val, -vel, -vel, és a szóban forgó merőlegeseket rendre -lal, -lal, -lal. Legyen továbbá a félegyenes tetszőleges, -től különböző pontja, és a -on átmenő, -re merőleges sík. Mivel és a -vel hegyesszöget zár be, mindkettő metszi -t, jelöljük a metszéspontokat -val, -vel.
A kapott egyenes benne van az és által meghatározott síkban, és merőleges -re, hiszen -ben is benne van. Ezért párhuzamos -lal. Jelöljük -nak -n levő vetületét -lal, -nek -n levő vetületét pedig -lal. Mivel és hegyesszöget zárnak be, az és egyenesek metszik egymást, és metszéspontjuk az háromszög magasságpontja. Emiatt a egyenes merőleges -re, és ha nem azonos -vel, akkor azzal együtt -re merőleges síkot határoz meg. (Mivel és akkor azonosak, ha benne van az és által meghatározott síkban, ettől az esettől eltekinthetünk, hiszen ekkor a feladat állítása nyilvánvaló.) Jelöljük a és egyenesek által meghatározott síkot -val. Abból, hogy merőleges -re, következik, hogy merőleges az síkra is, és ha -ban az ponton át -re merőlegest állítunk, az egyben az síkra is merőleges lesz. Mivel egyenese nem merőleges az síkra és benne van -ban, egyenese metszi ezt a merőlegest, jelöljük a metszéspontot -vel, Az egyenese merőleges a , egyenesekre, tehát merőleges -re is, és így . Hasonlóan kapjuk, hogy , tehát az , , egyenesek párhuzamosak az síkkal. Mindhárom egyenes átmegy -n, ezért a három egyenes valóban egy síkban van, amint azt bizonyítanunk kellett. II. megoldás. Jelöljük a félegyeneseket most is -val, -vel, -vel. A feladat állításának igazolásához elegendő mindegyik félegyenesen egy-egy pontot: -t, -t, illetve -t találni úgy, hogy , és teljesüljön, hiszen ekkor a kérdéses merőlegesek mind benne vannak abban a -n átmenő síkban, amely párhuzamos az síkkal.
Legyen tehát az félegyenes tetszőleges pontja, és állítsunk -ból merőleges síkot -re. Ez a sík a félegyenesekre tett kikötéseink alapján metszi a félegyenest, legyen a metszéspont . Hasonlóan a -ben emelt, -ra merőleges sík metszi a félegyenest, a metszéspontot -vel jelöljük. A most kapott , , pontokra , illetve a pontok megválasztása miatt teljesül, s így csak az van hátra, hogy megmutassuk: . Ehhez toljuk el a szakaszt a helyzetbe úgy, hogy felezőpontja az felezőpontjával essen egybe, s az szakaszt az helyzetbe úgy, hogy ennek felezőpontja a szakasz felezőpontjával essen egybe. Az így kapott hatlapú idomot paralelepipedonnak nevezik, lapjai paralelogrammák, szemben álló lapjai párhuzamosak és egybevágók. Mivel , azért is igaz, tehát a lap (és a vele egybevágó lap is) rombusz. Hasonlóan miatt , és így a és a lap is rombusz. Ebből pedig következik, hogy a paralelepipedon összes éle egyforma hosszú, tehát a harmadik lappár is rombuszokból áll. Így , vagyis , ahogyan azt állítottuk. |