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. Legyen a befogó -től különböző végpontja , a háromszög harmadik csúcsa pedig . Ekkor Thalész tételének megfordításából következik, hogy a körülírt kör átmérője. Egy kör középpontjából a kör tetszőleges húrjára állított merőleges felezi a húrt, ezért és merőlegességéből következik, hogy és az -re szimmetrikusan helyezkedik el, tehát . Mivel a nem kisebb befogó, azért . A szakasz szögfelező, így , a kerületi szögek tétele szerint pedig . Tehát továbbá
Az átmérőjű kör nemcsak az , hanem az és az háromszögeknek is köréírt köre, ezért az általánosított szinusztétel szerint | | Tehát
Ezzel az állítást beláttuk.
II. megoldás. Használjuk az I. megoldás jelöléseit, legyen továbbá , a háromszög -hez tartozó magasságának hossza pedig . Ekkor Pithagorasz tétele szerint és , hiszen az háromszög területének kétszeresével egyezik meg az és az szorzat is.
Az I. megoldásban láttuk, hogy -nek az -re vonatkozó tükörképe . Mivel szögfelező, felezi az ívet. Tehát ha -nek az -re vonatkozó tükörképe , akkor is átmérője -nak, a négyszög pedig (esetleg elfajuló) szimmetrikus trapéz. Ezért . Ha a -ből -re bocsájtott merőleges talppontja , akkor
| |
Thalész tétele szerint . A derékszögű háromszög átfogója , a befogótétel szerint tehát
és (felhasználva, hogy , azaz )
Tehát | | ami épp a bizonyítandó állítás. |