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. Jelöljük az adott egyeneseket -vel és -fel, az szakasz felezőpontja pedig legyen , ez az szakasz mozgása során helyben marad. Mivel felezi az szakaszt, egyenlő távolságra kell lennie -től és -től. A vizsgált háromszög , csúcsát egy tetszőleges, a -n átmenő egyenessel metszhetjük ki az , egyenesekből (1. ábra). 1. ábra A háromszögnek az adott egyenesekre merőleges oldala vagy -n, vagy -n megy át, ennek megfelelően , vagy az -n átmenő, -re merőleges egyenesen, vagy a -n átmenő, -re merőleges egyenesen van. A háromszögnek ehhez az oldalhoz tartozó magassága egyenlő az , egyenesek távolságával, -vel. Ha az -n van, akkor , tehát az -tól távolságra levő , pontok egyike lehet -n, ha pedig a -n van, akkor hasonlóan kapjuk a -től távolságra levő lehetséges , pontokat. Ha tehát a egyenest megválasztjuk, -t négy pont közül választhatjuk. Kivételt képez az az eset, amikor merőleges az adott egyenesekre, ekkor ugyanis , tehát nem jön létre megfelelő háromszög. Legyen vetülete -n , -en , és tekintsük egy tetszőleges egyenes mellett a fentiek szerint kapott háromszöget: ebben -nál derékszög van, és . Jelöljük a egyenes és metszéspontját -gyel. Az , háromszögek hasonlóak, mert megfelelő szögeik egyenlőek, tehát . A egyenes tehát nem függ megválasztásától. Hasonlóan kapjuk, hogy és metszéspontja, továbbá , illetve és metszéspontja, , illetve helyzete nem függ választásától, ugyanis . A pont tehát rajta van a , , , egyenesek egyikén (2. ábra). 2. ábra Megmutatjuk, hogy a vizsgált mértani hely e négy egyenes együttese, kivéve belőle a és pontokat. Legyen ugyanis e négy egyenes valamelyikének -tól és -től különböző pontja, legyen mondjuk a egyenesen. Legyen vetülete -n , -nak -re vonatkozó tükörképe legyen . Az , háromszögek hasonlósága miatt és egyenlő az háromszög oldalához tartozó magasságával. Az háromszög tehát eleget tesz feladatunk követelményeinek. Hasonlóan látható be állításunk helyessége, ha a egyenesen van; ha pedig az vagy egyenesen van, akkor legyen a vetülete -en, pedig -nek -re vonatkozó tükörképe, és fenti meggondolásunk ennek megfelelően megismételhető. |