Ci soffermiamo dapprima su ( tg a/2 + 1/(tg(a/2)) =
= (tg^2(a/2) + 1)/(tg (a/2)) = 1/( cos^2(a/2) * sin(a/2)/cos(a/2)) =
= 1/(cos (a/2) * sin(a/2)) = 2/sin(a)
Poi osserviamo che allo stesso modo (tg(b/2) + 1/(tg(b/2)) = 2/sin(b)
e che 2/(sin a) + 2/(sin b) = 2(sin a + sin b)/(sin a sin b)
e che sottraendo l'ultima frazione esce zero.