et, comme cette équation doit avoir lieu pour les deux signes de il s’ensuit qu’on aura séparément
formules qu’on démontre par la Géométrie, et qui sont le fondement de toute la théorie des angles.
La même équation, en élevant les deux membres à une puissance quelconque donne
Donc aussi, en mettant dans l’équation primitive à la place de et comparant, on a
formule remarquable autant par sa simplicité et son élégance que par sa généralité et sa fécondité.
Il paraît que Moivre est le premier qui ait trouvé cette belle formule on voit, par les Miscellanea analytica, qu’il y a été conduit par la considération des sections hyperboliques comparées aux sections circulaires. Maintenant elle est devenue une vérité élémentaire, qu’on démontre par le moyen des valeurs de et que donne la Géométrie, en considérant le produit des formules semblables
lequel se réduit à cette formule semblable
et c’est à Euler qu’on doit d’avoir transporté ainsi dans les Éléments une formule d’une si grande utilité.
Il est vrai que de cette manière on ne peut la démontrer que pour des valeurs rationnelles de mais il en est ici comme dans la formule du