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. Messe a kérdéses merőleges -t -ben, -t -ban, ekkor elég belátnunk az és szögek egyenlőségét, hiszen így egyenlő szárú háromszög, és magassága felezi a alapot. Válasszuk a betűzést úgy, hogy és közül a -hez közelebbi legyen . Legyen először az és közti négy szögtartomány közül annak a felezője, amelyikben benne van, és messe az -re merőleges egyenes -t -ben. az szakaszon van, ugyanebben a szögtartományban adódik, és az egyenesnek azon a partján, amelyiken van, és pedig a másik partján. és húrnégyszögek, mert az szakasz -ból és -ből, pedig -ből és -ből derékszögben látszik, hiszen az tükörképe -re, és így merőleges -re. Mivel még a szakasz belső pontja, azért | |
Ezt akartuk bizonyítani, ebből ‐ mint láttuk ‐ az állítás egyszerűen következik.
-ként a -t tartalmazó , szögtartománnyal szomszédos szögtartományok felezőjét véve ‐ legyen ez , és az így szerkesztett pontok , , , és , meggondolásunk csak abban változik, hogy szétválasztja az , pontpárt és hogy van a szakaszon. A megfelelő húrnégyszögekből ekkor is
Ezzel a bizonyítást befejeztük.
II. megoldás. Az állítás fordítottját bizonyítjuk, megmutatjuk, hogy ha felezi a egyenesnek az és közé eső szakaszát, akkor merőleges -re. Ebből az állítás akkor következik, ha azt is belátjuk, hogy a rajta átmenő egyenesek közül csak egynek felezi az és közti szakaszát. Ez abból adódik, hogy pl. -t -nek -re vett tükörképe metszi ki -ból. Messe a -n átmenő, -re merőleges egyenes -et -ben, -t -ban. és tükrös pár -re, ezért felezi -t, és mivel még , azért a háromszög középháromszöge, és . Így a háromszög magasságpontja, hiszen itt metszi egymást a -ből és -ból kiinduló magasságvonal. Ezért merőleges -re és a vele párhuzamos -re is, amint állítottuk. Ezzel a bizonyítást befejeztük. Bizonyításunk mindkét szögfelezőre egyformán érvényes. |