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. Mérjük rá és -re -tól az állandó szakaszt és jelöljük a végpontot , ill. -lal. , és tágabb értelemben hozzátartozik a keresett mértani helyhez. Ha ugyanis , akkor az -vel -n át húzott párhuzamos érinti az átmérőjű kört, így gyanánt csak maga vehető.
Ha pedig az határhelyzetbe, és ezért az -ba kerül, akkor átmegy -n, és így egybeesik -lal. Ugyanígy , esetén . Néhány további -pont megszerkesztése után a szemlélet azt a sejtést adja, hogy a keresett mértani hely az átmérő fölötti, -n átmenő félkör, más szóval az egyenlő szárú derékszögű háromszög köré írt körnek az -t tartalmazó íve. Bebizonyítjuk, hogy felezőpontját -val jelölve mindig fennáll . Szerkesztésünk szerint , tehát ; másrészt és , így a és háromszögek egybevágók. Ezért , vagyis -nek felező merőlegese az minden helyzetében átmegy -n. Ámde egyszersmind az húrtrapéz szimmetriatengelye, tehát -t is merőlegesen felezi, és így valóban . Eszerint a mértani hely minden pontja -n van. Megmutatjuk másrészt, hogy az ív minden pontja hozzátartozik a keresett mértani helyhez. Messe a húr felező merőlegese -t -ban, forgassuk el a háromszöget körül úgy, hogy az -ba jusson, és legyen ekkor új helyzete . Megmutatjuk, hogy az , pontokhoz a feladat feltételei szerint tartozik hozzá. A használt forgatás szöge , ezért az -n levő oldal új helyzete merőleges -ra, tehát a -n van. Továbbá , tehát , az előírt állandó. ‐ Másrészt átmegy -n, így a háromszög az -re vett tükörképe -nak, az utóbbi pedig azonos körüljárással egybevágó -val, tehát és ellentétes körüljárással egybevágók. És mivel csúcsuk közös, azért van olyan tengely, amelyre tükrözve egymásba mennek át. Tehát és párhuzamosak (merőlegesek -ra), és az , , pontok egy szimmetrikus trapéz csúcsai. Végül , ezért , és vele is rajta van az átmérőjű körön. Ezzel állításunkat bebizonyítottuk. Amíg az -t tartalmazó íven van, addig , tehát az szakaszon, az félegyenesen van, és ennélfogva a -nek pontja. Ha viszont -t a -nak az szögtartományba eső ívén vennénk, akkor a -val párhuzamos egyenesek vagy csak -t, vagy csak -t metszenék, így nem lehetséges a -t előállító , pontpár. Mindezek szerint a pontok mértani helye valóban az félkörív.
Megjegyzés. Ha megengedjük, hogy túlmehessen az határhelyzeten, akkor állandósága csak negatív -vel maradhat fenn. Ennek a félegyenes -n túli meghosszabbításán levő pontot feleltetve meg, a fentiekhez hasonlóan belátható, hogy mértani helye az negyedkörnek -ra vett tükörképe (az pont kivételével, mert így mindig fennáll , tehát és az -val -nál kisebb szöget zár be). Ha pedig halad túl -on és az félegyenes -n túli meghosszabbításán van, akkor mértani helye az negyedív (-t kizárva). Ezek szerint előjellel vett , távolságokat tekintve mértani helye a kör az pont kivételével. Az ábrán a *-okat nem tüntettük fel. |