Dowieść, że jeżeli są kątami trójkąta, to
Ponieważ , więc
Stąd
Ponadto, biorąc pod uwagę, że , otrzymujemy