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ölje az szakasz felezőpontját. A két egyenest összekötő legrövidebb szakasz, a normál transzverzális, végpontjait jelölje és az 1. ábra szerint. Ismert, hogy ez a szakasz az és az egyenesre is merőleges. Az szakasz legfeljebb egység hosszú, mivel csak ekkor tud a feladat szerint mozogni az szakasz.
1. ábra A háromszög síkja merőleges az egyenesre, mivel tartalmaz két metsző, -re merőleges egyenest (-et és -et). Így az szakasz is merőleges az egyenesre, tehát az háromszög derékszögű. Az háromszög átfogója az szakasz. Így az csúcshoz tartozó súlyvonal hossza az átfogó fele, azaz egység. Tehát a pont egység távolságra van az ponttól. Hasonlóan bizonyítható, hogy az háromszög is derékszögű, tehát a pont az ponttól is egység távolságra van. Így bármelyik felezőpont eleme az és az pontoktól egyaránt egység távolságra levő pontok halmazának. Ez két egység sugarú gömb metszete, azaz egy kör, aminek a középpontja az szakasz felezőpontja, síkja merőleges erre a szakaszra, sugara pedig Be kell még látni, hogy a körnek az összes pontja előáll egy megfelelő szakasz felezőpontjaként. Az alapjelöléseket megtartva, jelölje az szakasz felezőpontját (2. ábra).
2. ábra Jelölje a kör egy tetszőleges pontját. Ekkor . Ha , akkor . Egyébként az egyenesen még egy olyan pont található, amely a ponttól távolságra van, jelölje ezt a pontot , az pontnak a -ra való tükörképét pedig . Az egyenesre -ben, illetve -ben állított merőleges síkokat jelölje rendre és . Az egyenes nyilván -ben, az pedig -ben van. Mivel az -nek -ra való tükörképe, a síkban van. A tükrözés miatt viszont , ezért illeszkedik az szakaszra emelt Thalész-gömbre, azaz merőleges -re. Így az -re -ben emelt merőleges síkban is benne fekszik, ami nyilván az és egyenesek által kifeszített sík. Tehát rajta van e két sík metszésvonalán, -en. Mivel , a pont valóban a keresett mértani helyhez tartozik, ami így az egész kör.
II. megoldás. Vegyük fel úgy a koordinátarendszert, hogy az egyenes egybeessen a koordinátarendszer tengelyével, az egyenes pedig legyen párhuzamos a tengellyel és legyen benne az ‐ síkban. A két egyenes távolsága legyen . Ha , akkor a feladatnak nincs értelme. Ha , akkor az szakasznak csak egyetlen helyzete lenne lehetséges. Tehát . A fentiek alapján az egyenes egyenletrendszere: az egyenes egyenletrendszere pedig Legyen az egyenesen és az -en, és jelölje az szakasz felezőpontját . Ekkor az és pontok koordinátái: , , így koordinátái , azaz , . Mivel , azért | | ahonnan , vagyis Tehát az pontok koordinátái kielégítik a következő egyenletrendszert: Az pontok tehát illeszkednek az középpontú, sugarú körre, mely az egyenletű (az ‐ síkkal párhuzamos) síkban fekszik. Azt is meg kell még vizsgálnunk, hogy a kör mely pontjai kaphatók meg egy megfelelően választott szakasz felezőpontjaként. Ha a kör egy pontja, akkor koordinátái , és teljesül, hogy Olyan és pontokat keresünk, melyek illeszkednek az , illetve az egyenesre, és melyekre felezőpontja a pont. Ekkor , , vagyis és , és így | |
Ez azt jelenti, hogy a kör tetszőleges pontjához található megfelelő szakasz. Az pontok mértani helye tehát egy középpontú, sugarú kör, mely az egyenletű (az ‐ síkkal párhuzamos) síkban fekszik.
Megjegyzés. Csak páran bizonyították be, hogy a kör minden pontja jó. De azok is megkapták a 4 pontot, akik ezt nem tették meg. |