Vamos mostrar que, para 0<x+y<180,
Para tanto, consideremos o triângulo:
Podemos calcular o lado (b+d) pela Lei dos Cossenos. Assim,
(b + d)2 = a2 + c2 -
Ou a2 + c2 -
+ (a2 -b2) + (c2 -d2) = h2 + h2 = 2h2.
Dividindo ambos os membros por 2 e isolando , obtemos:
, ou
e, portanto,
.