FG JJ^ FG AA'^ BB' ^ AA

(29) d'oii, en multipliant membre à membre,

ch(AB-BB )ch(AC-BBO chAB ch(AC4- 3BB^)

(n-Ê)chBG ^'^ ch(BC-BB') ^'^^)-

Comme cette relation doit subsister, quelque petits que soient e et BB', il faut en conclure que

chBC = ch ABch AC. c. q. f. d.

Définition du sinus et du cosinus d'un angle. Relations entre les éléments d'un triangle.