Reprenons l'équation (A) du n

cosa n= cosfr cosc 4- sine sine cosA;

en changeant a en c et A en C, on aura de même

cosc = cos« cos& ■+- si n a sin & cosC;

substituant cette valeur de cosc dans la première équation, elle deviendra

cos<7 = cosrt cos36 + sinasin^ cosft cosC -+- sin ^ sine cosA,

savoir,

cosrt s\n2b = sin a sin b cosb cosC 4- sin b sine cosA,

et, divisant par sin b,

cosa sin6 = sina cos6 cosC 4- sin c cosA.

Substituons pour sine sa valeur : > tirée de l'équation (B) du

r sin A i v y

numéro précédent, en changeant b en c et B en C; divisons ensuite par