Bon... Heu... Pas gentil d'attaquer un pauvre syllabus qui vous a rien fait, d'abord...
Ceci etant... je confirme que la formule en question est bien valable pour le cote et pour les angles indiferement.
Si la demonstration vous amuse, vous pouvez la trouver dans n'importe quel livre d'Astronomie spherique digne de ce nom... Comme je ne sais pas trop si vous en avez beaucoup disponibles a la bibliotheque de physique, je vous donne les grandes lignes d'une que j'ai trouve dans "Text-book on Spherical Astronomy", W.M. Smart, 1965 (Cambridge UP).
Comme je peux pas dessiner, ca va etre simple... Bien sur, faut imaginer...
On prend une sphere avec le triangle spherique ABC. Soit alors A', un pole qui aurait pour equateur un grand cercle qui passe par BC, et similairement definis B' et C'. Soient egalement L et M, les points de
percee de BC sur A'B' et A'C'.
Alors, comme B' est pole de AC, il est a 90 degre de tous les points de AC... Similairement, A' etant pole de BC, il est a 90 degres de tous les points de BC. Donc, C est aussi pole de A'B'. En particulier, CL = 90 degre, et BM=90 degre. Donc, LM=LB+LM=LB+90.
Or BC=a donc LB=90-a. Donc, A'=LM=180-a. De maniere similaire, B'=180-b, C'=180-C. On a aussi : a'=180-A, b'=180-B, c'=180-C.
Donc, comme cos a'=cos b' cos c' + sin b' sin c' cos A',
on trouve, via les relations ci-dessus:
- cos A = cos B cos C - sinB sin C cos a...
Voila voila...
odv