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. Jelölje a 2, 3, illetve 4 hosszúságú oldalakkal szemben lévő csúcsokat és szögeket rendre , , , , és . Mivel , a tompaszög. A csúcsból induló magasság talppontja ezért az oldal -n túli meghosszabbításán van. Tükrözzük a háromszöget a egyenesre, és képe legyen , illetve . Az , , , és pontok egy egyenesre esnek. A háromszögben . Megmutatjuk, hogy .
Legyen . Ekkor a és derékszögű háromszögekben Pitagorasz tétele szerint | | A két egyenletet kivonva egymásból kapjuk, hogy | | Ebből , vagyis . Legyen . Írjuk fel a koszinusztételt a és háromszögek , illetve oldalaira:
Ezekből kapjuk, hogy , s mivel és is és közt vannak, . Tehát . Így az háromszög szögei rendre , , . Bármely háromszögben a szögek összege , ezért ebből rögtön adódik a bizonyítandó állítás. II. megoldás. Használjuk az I. megoldás jelöléseit. Mivel , a bizonyítandó állítás ekvivalens azzal, hogy . A koszinusztételt a háromszög , illetve oldalaira felírva kapjuk, hogy | | Ezért tompaszög, vagyis és is és közé esik. Ezen az intervallumon a koszinusz függvény szigorúan monoton nő, tehát a bizonyítandó állítás ekvivalens azzal, hogy . Az addíciós tételeket alkalmazva kapjuk, hogy | | azaz a két kifejezés valóban egyenlő. Ezzel az állítást igazoltuk. |