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. Mivel , így a bizonyítandó egyenlőség ekvivalens a | | egyenlettel. , ezt beírva, 2-vel osztva és rendezve: | | Mivel és , az addíciós tételt felhasználva | | ami valóban , hiszen minden -ra .
II. megoldás. A feladat a -os szögről szól. Vegyünk fel egy egyenlő szárú háromszöget, melynek alapon lévő szögei -osak. Így geometriai értelmezést adhatunk a feladatnak. Legyen a háromszög szárán az a pont. melyre -os. Állítsunk merőlegest a pontból az alapra, a talppont legyen , felezőpontja pedig az pont.
Legyen , ekkor
Legyen . Az háromszögben a Pitagorasz-tételt használva: .
A háromszög egyenlő szárú, így . A párhuzamos szelők tételének következménye szerint: | |
Vagyis sikerült belátnunk, hogy ha , akkor Mivel , azért ez éppen a bizonyítandó állítás: |