equivale, per le formule di bisezione, a Poiché in un triangolo rettangolo b=a·cosβ e c=a·cosγ, l'equazione equivale anche a che risulta effettivamente un'identità
equivale, per le formule di duplicazione, a Poiché in un triangolo rettangolo b/c=tanβ e c/b=tanγ, l'equazione equivale anche a e quindi che risulta effettivamente un'identità