comparant cette dernière avec celle de laquelle elle est dérivée, on obtient la formule bien connue
de laquelle on déduit ensuite aisément
L’équation
exprime aussi une proposition fondamentale de la trigonométrie rectiligne ; mais nous verrons bientôt qu’elle n’est qu’un cas particulier d’une proposition plus générale.
Retournons présentement aux équations (2). En prenant la somme de leurs produits respectifs, d’abord par puis par et ainsi de suite, et enfin par observant que
et que