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. Ismeretes, hogy az fókuszt tükrözve a parabola bármely pontjához tartozó érintőre, -nek a vezéregyenesen levő merőleges vetületét kapjuk, vagyis amely pontra a definíció szerint . Eszerint a szóban forgó pont -nek képe a , egymásra merőleges egyeneseken való, egymás utáni két tükrözés után. Azt is tudjuk, hogy két ilyen tükrözés eredménye ugyanaz, mint a tengelyek metszéspontjára ‐ itt -re ‐ való tükrözésé, tehát a félegyenesen van, és . Eszerint a keresett mértani hely az adott parabolából áll elő, ennek a vezéregyenesére merőleges irányú arányú nyújtásával. Bebizonyítjuk, hogy is parabola. Evégett megadunk egy olyan pontot és egyenest, melyektől -nek minden pontja egyenlő távolságra van.
Ennek során felhasználjuk az ábra alakzatának alábbi két tulajdonságát. -nek a fenti érintőn levő vetülete rajta van -nek csúcsérintőjén, így a mondott tükrözés miatt , eszerint rajta van az parabolatengely és a egyenes közti síksáv szimmetriatengelyén. Továbbá és metszéspontját -vel jelölve és hasonló derékszögű háromszögek, ezért Mármost -nek tengelye egyszersmind -nek is szimmetriatengelye, hiszen -et -nek két az -ra szimmetrikus pontjához tartozó normálisra tükrözve a tükörképek szimmetrikus helyzetűek -ra. Ha pedig -ként -nek csúcsából indulunk ki, -ként -et kapjuk, mert ekkor a normális azonos az tengellyel, és képe önmaga. Azt sejtjük tehát, hogy csúcsa , és így az -en átmenő, -ra merőleges egyenes -nek csúcsérintője. Legyen még -nek -vel való metszéspontja , ekkor a megállapított nyújtásból azt is sejtjük, hogy az egyenes -nek érintője. Ezek alapján várható, hogy -t és -t az alábbiak szerint kapjuk: messe a egyenest -ben, ekkor a -ben -re állított merőleges -ból -t, a egyenesből pedig -nek egy pontját metszi ki, és így a -ből -ra állított merőleges. Ezt fogjuk bizonyítani. Így mindenesetre , és így , egyenlő távolságra van -től és -től. Ezért csak azt kell belátnunk, hogy a szerkesztett pont és egyenes helyzete független megválasztásától. rajta van -n, mert és miatt -nak az háromszögbe eső szakaszát az súlyvonal felezi, -nek -től való távolsága 2-szer akkora, mint -é, egyszersmind -nek -től való távolsága. Legyen még és metszéspontja , ekkor | | ezért az és hasonló derékszögű háromszögek, valamint (1) felhasználásával | | Fordítva, -nek minden pontja előáll -nek abból a pontjából, amelyet a -n átmenő, -val párhuzamos egyenes metsz ki. Eszerint valóban parabola, csúcsa azonos -fel, vezéregyenese pedig a szakasz felező merőlegese (paramétere fele akkora, mint az adott parabola paramétere).
Megjegyzés. A versenyzők a összefüggés megállapítása után kizárólag koordináta-geometriai úton dolgoztak. Legyen az adott parabola egyenlete ennek vezéregyenese az egyenes, így ha koordinátái , akkor , és ezért és -nek , koordinátái: Innen és ezeket (2)-be helyettesítve -re a következő összefüggés áll fenn: Ez pedig parabola egyenlete, melynek tengelye az tengely (a pozitív fele), paramétere és csúcsa a () pont, ennélfogva fókusza és vezéregyenese: Kemény András (Budapest, Berzsenyi D. Gimn., II. o. t.) Barra Károly (Salgótarján, Madách I. Gimn., IV. o. t.) |