Forum Prepas.org

Voilà un exercice que l'on m'a posé cette année à l'agrég interne de maths : cela consistait à démontrer une formule analogue à la formule d'Al Kashi lorsque 3 points sont sur une sphère (et on retrouve la formule d'Al Kashi lorsque le rayon de la sphère tend vers l'infini).
Je n'ai pas été très brillant et maintenant j'essaye de retrouver la démonstration...sans succès !

Pourrez-vous m'aider?
D'avance merci !

S'agit-il de la loi $ \cos c = \cos a \, \cos b + \sin a \, \sin b \, \cos\gamma, $ dans un "triangle" comme celui-ci ? https://upload.wikimedia.org/wikipedia/ ... ations.png

Auquel cas, ca peut se demontrer comme suit :

On prend un "triangle spherique" (je sais pas trop comment ca s'appelle) ABC, dans une sphere (O,1). Un bon vecteur a regarder est $ \vec{OA}-\cos b~\vec{OC} $. On fait la meme chose avec $ \vec{OB}-\cos a~\vec{OC} $, de norme $ \sin a $

Le produit scalaire des deux vecteurs donne alors $ \sin a \sin b \cos \gamma = \cos c - \cos a \cos b $

On a aussi, si on veut faire joujou $ \cos\gamma = - \cos\alpha\,\cos\beta + \sin\alpha\,\sin\beta\,\cos c $

Effectivement, lorsque le rayon de courbure tend vers l'infini, i.e., abc->0, on retombe sur AlKashi avec un DL. ($ \sin a = a + o(a^2), \cos a = 1 - a^2/2 + o(a^2). $)
pour trouver $ ab\cos \gamma=-\frac{c^2}{2}+\frac{a^2}{2}+\frac{b^2}{2} $

Note : on peut meme s'amuser a le montrer (et c'est vrai, mais pas amusant du tout...) en geom hyperbolique, avec des pseudospheres (et les sin deviennent des sinh), et c'est vrai aussi en geometrie non euclidienne ou des trucs chelous, il me semble..