Sa consideram triunghiul "simetric"
, cu
si
. Din motive evidente,
e trapez isoscel, deci triunghiul
este isoscel. Atunci
e mediatoarea segmentului
, asadar si triunghiul
e isoscel. Cum
si
sunt paralele, cele doua triunghiuri isoscele pomenite sunt, de fapt, congruente. Rezulta ca
este romb. De aici, unghiul cautat are
.
Inegalitatea se obtine imediat din
si
.
Uploaded with
ImageShack.us