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. Megoldás. Az 1. ábra szerint a pont , és egyenesekre vett merőleges vetülete legyen rendre , , . Az ponton keresztül húzzunk párhuzamosakat -vel és -vel; a egyenesnek az előbbi párhuzamossal való metszéspontja legyen , a egyenesnek az utóbbival való metszéspontja pedig . A ponton keresztül húzzunk párhuzamost -gyel, így kapjuk az egyenesen a pontot, majd -en keresztül a egyenessel húzott párhuzamos és az egyenes metszéspontjaként a pontot.
1. ábra Mivel és szögfelező pontok, a háromszög szomszédos oldalegyeneseitől mért távolságaik egyenlők. Legyen az pont távolsága az és egyenesektől , a pont távolsága az és egyenesektől . Az és háromszögek hasonlóak, mert párhuzamos -vel, a másik két oldalegyenesük pedig megegyezik. A hasonlóság aránya: de , ezért | | (1) | Másrészt az és háromszögek hasonlóságából ugyanígy felírható: | | (2) | (Természetesen, ha belső pontja -nek, akkor mivel akkor és , azaz -re ugyanazt a kifejezést kapjuk.) (2)-ből kifejezve -t: , amiből | | Végül az és háromszögek hasonlóságából felírható: | | Összegezve: Tekintsük most a és háromszögeket (2.ábra). A húrnégyszögben , mert azonos ívhez tartozó kerületi szögek. Ebből következik, hogy a és háromszögek is hasonlóak, mert a derékszögeken kívül egy további szögük is megegyezik.
2. ábra Ekkor a megfelelő oldalak aránya: , (3)-at felhasználva: Szintén a húrnégyszögben , mert azonos ívhez tartozó kerületi szögek, vagyis a és háromszögek is hasonlóak, mert a derékszögeken kívül egy további szögük is megegyezik. A megfelelő oldalak aránya: | | (5) | Most (5)-beli értékét írjuk be (4)-be helyére: ahol -val egyszerűsítve: majd átalakítva: , és ezt kellett bizonyítani. |