Voir la source de Trigonométrie sphérique

La '''trigonométrie sphérique''' est un ensemble de relations analogues à celles de la [[trigonométrie]] [[géométrie euclidienne|euclidienne]] mais portant sur les [[angle]]s et [[distance (mathématiques)|distances]] repérés sur une [[sphère]].

La figure de base est le '''triangle sphérique''', délimité non plus par des [[segment (mathématiques)|segments]] de [[Droite (mathématiques)|droites]] mais par des [[arc de cercle|arcs]] de demi-[[Grand cercle|grands cercles]] de cette sphère. Les règles habituelles de la trigonométrie euclidienne ne sont pas applicables ; par exemple la [[somme des angles d'un triangle]] situé sur une sphère, s'ils sont exprimés en degrés, est supérieure à {{Nobr|180 degrés}}.

== Triangle sphérique ==
=== Conventions ===
[[Fichier:Triangle sphérique2.svg|vignette|upright=1.3|Triangle sphérique avec ses grands cercles et ses angles au centre (l’angle ''a'' s’identifie à ''BC'' si on suppose le rayon égal à 1)]]
On considère trois points {{math|A}}, {{math|B}} et {{math|C}} sur une sphère comme représentés par la figure ci-contre, ainsi que les arcs de grands cercles qui les relient. On note {{mvar|α}} (parfois {{nobr|<math>\hat A</math>)}} l'angle du triangle au sommet {{math|A}}, et de façon analogue pour les autres sommets. On note {{mvar|a}}, {{mvar|b}} et {{mvar|c}} les angles sous-tendus au centre {{math|O}} de la sphère par la partie de grand cercle correspondante. Ainsi {{mvar|a}} désigne l'angle <math>\widehat\mathrm{BOC}</math>, etc.

Bien entendu les longueurs se déduisent de {{mvar|a}}, {{mvar|b}} et {{mvar|c}} en les multipliant par le rayon de la sphère, quand les angles sont exprimés en radians (ou en les multipliant par {{math|π''R''/180}} quand ils sont exprimés en degrés).

La somme des angles d'un triangle sphérique peut varier entre 180 et 540° (entre {{math|π}} et {{math|3π}} radians)<ref group=alpha>La borne inférieure n'est atteinte qu'à la limite, pour un triangle de surface tendant vers zéro (pour une sphère donnée) ou pour une sphère de rayon tendant vers l'infini (pour trois sommets de longitudes et latitudes données). La borne supérieure est atteinte, sur n'importe quelle sphère, quand les trois sommets sont situés sur un même grand cercle.</ref>{{,}}<ref>{{article| langue=en| titre=Trigonometry for the heavens| auteur=[[Glen Van Brummelen]]| périodique=[[Physics Today]]| volume=70| numéro=12| année=2017| pages=70-71| doi=10.1063/PT.3.3798| consulté le=5 décembre 2017}}.</ref>.

Par la suite, ne seront considérés que des triangles non dégénérés (dont tous les angles sont strictement compris entre l'angle nul et l'angle plat).

=== Formules fondamentales ===

==== Formule des cosinus et relation duale ====
L'une des relations les plus importantes de la trigonométrie sphérique, donnée par [[François Viète]] en 1593 dans son ''De Varorium''<ref>D'après {{ouvrage|prénom1=Michel |nom1=Chasles|url=https://archive.org/stream/mmoiressurlesq11acad#page/54/mode/2up/search/polaire |titre= Aperçu historique sur l'origine et le développement des méthodes en géométrie|année=1837|éditeur= impr. Hayez|lieu=Bruxelles| passage =54}}.</ref> est la '''formule des cosinus''', qui relie la longueur d'un côté à celles de deux autres côtés ainsi qu'à l'angle entre eux :

:<math>\cos c = \cos a\, \cos b + \sin a\, \sin b\, \cos\gamma~,</math>
qu'il ne faut pas confondre avec la '''relation duale''', obtenue en remplaçant dans cette relation tous les grands cercles par leurs points [[#Triangle polaire|polaires]] :
:<math>\cos\gamma = -\cos\alpha\,\cos\beta + \sin\alpha\,\sin\beta\,\cos c~.</math>

La formule des cosinus se démontre de plusieurs façons. L'une d'elles consiste à exprimer de différentes manières le [[produit scalaire]], dans l'espace euclidien ambiant, entre les vecteurs reliant le centre O de la sphère aux points A et B. Une autre est détaillée ci-dessous.

===== Exemple d'application =====
{{article détaillé|Loxodromie|Orthodromie}}
La formule des cosinus permet notamment de calculer la distance entre deux points {{math|A}} et {{math|B}} sur la Terre modélisée par une sphère, en fonction de leurs latitudes et longitudes. Pour cela, on place {{math|C}} au pôle nord, de sorte que {{mvar|b}} est le complémentaire de la latitude {{math|''ϕ''{{ind|A}}}} de {{math|A}}, {{mvar|a}} le complémentaire de celle {{math|''ϕ''{{ind|B}}}} de {{math|B}}, et {{mvar|γ}} la différence de longitude <math>\Delta\lambda=\lambda_\mathrm B-\lambda_\mathrm A</math>. On obtient directement<ref>[http://geodesie.ign.fr/contenu/fichiers/Distance_longitude_latitude.pdf Comment obtenir la distance entre deux points connus en longitude et latitude sur la sphère] sur le site géodésie.ign.fr</ref> :
:<math>d_\mathrm{AB}=R \, c= R \arccos{ \left( \sin \phi_\mathrm A \sin \phi_\mathrm B + \cos \phi_\mathrm A \cos \phi_\mathrm B \cos \Delta \lambda \right)}</math>,
où {{math|''R'' ≈}} {{unité|6371 km}} est le [[rayon de la Terre|rayon terrestre]] moyen.

Dans le cas où les points A et B se situent sur l'[[Équateur terrestre|équateur]], les sinus sont nuls, les cosinus sont égaux à 1 et l'expression se simplifie en 
:<math>d_\mathrm{AB}=R  \Delta \lambda</math> .

Dans le cas où les points A et B se situent sur un même [[méridien]], <math>  \Delta \lambda =0 </math> , donc son cosinus est égal à un et l'expression entre parenthèses revient au cosinus de la différence des [[latitudes]]. On obtient donc :
:<math>d_\mathrm{AB}=R \left( \phi_\mathrm B - \phi_\mathrm A \right)</math> .

Ces deux cas particuliers sont essentiels pour la navigation (bateaux et avions) car ils permettent de définir le [[mille marin]] ({{En anglais|nautical mile}}) comme la distance correspondant à une minute d'angle aussi bien sur l'[[Équateur terrestre|équateur]] que sur un [[méridien]].

Pour un [[rayon de la Terre|rayon terrestre]] {{math|''R'' }} = {{unité|6371 km}} , un [[mille marin]] est donc égal approximativement à {{Nb|1853,248 m}}, alors que sa valeur conventionnelle depuis 1929 est égale à {{Nb|1852 m}} (valeur entière).

==== Formule des sinus ====
On remarque que d'après la relation duale évoquée précédemment, un triangle sphérique est déterminé par ses trois angles, ce qui est très différent du cas du [[Triangle|triangle euclidien (plan)]]. Il y a une analogie parfaite (de dualité), dans le triangle sphérique, entre longueurs des côtés et angles aux sommets. La '''[[Loi des sinus|formule des sinus]]''' illustre cette analogie :
:<math>\frac{\sin a}{\sin \alpha} = \frac{\sin b}{\sin \beta} = \frac{\sin c}{\sin \gamma}~,</math>
ou encore :
:<math>\sin a : \sin b : \sin c = \sin\alpha : \sin\beta : \sin\gamma~,</math>
ce qui doit se comprendre comme {{citation|les trois quantités de gauche sont dans les [[proportionnalité|mêmes proportions]] que les trois quantités de droite (le rapport entre deux quelconques à gauche est le même que le rapport correspondant à droite)}}.

==== Troisième formule fondamentale et relation duale ====
La formule des cosinus peut également s'écrire sous la forme :
:<math>\cos\gamma = \frac{\cos c - \cos a\,\cos b}{\sin a\,\sin b}~.</math>
Des expressions analogues pour {{math|cos ''α''}} et {{math|cos ''β''}} on déduit ce qui est parfois appelé{{référence nécessaire}} la '''troisième formule fondamentale''' de la trigonométrie sphérique (les deux premières étant celles des cosinus et des sinus), qui relie trois longueurs à deux angles du triangle :
:<math>\sin c\cos\beta = \sin a\cos b - \cos a\sin b\cos\gamma~.</math>
Il est intéressant de remarquer la similarité avec la formule des cosinus
:<math>\cos c = \cos a\, \cos b + \sin a\, \sin b\, \cos\gamma~</math>.

La '''relation duale''' peut quant à elle s'écrire :
:<math>\sin\gamma\cos b = \sin\alpha\cos\beta + \cos\alpha\sin\beta\cos c~,</math>
à comparer avec la relation duale de la formule des cosinus
:<math>\cos\gamma = -\cos\alpha\,\cos\beta + \sin\alpha\,\sin\beta\,\cos c~</math>.

==== Formule des cotangentes ====
À partir de la troisième formule fondamentale, on obtient aisément la dernière formule dite '''des cotangentes''', qui relie quatre éléments successifs du triangle sphérique :
:<math>\sin c\cot b = \sin\alpha\cot\beta + \cos\alpha\cos c ~.</math>
Pour obtenir cette formule, il suffit de diviser la relation duale de la troisième formule fondamentale par {{math|sin ''β''}} puis d'utiliser la formule des sinus.

{{démonstration|titre=Démonstration des formules fondamentales|contenu=

''a'', ''b'' et ''c'' désignent les longueurs, ''A'', ''B'' et ''C'' désignent les sommets, ''α'', ''β'' et ''γ'' désignent les angles du triangle sphérique.

{{démonstration|titre=Démonstration par changement de repère|contenu=

 1) On forme deux repères orthonormés directs '''R''' et '''R'''' de même premier vecteur, et tels que ''A'' soit le pôle nord du système de [[coordonnées sphériques]] associé au premier repère et ''B'' le pôle nord du second.
On note <math>R=(O,\overrightarrow i,\overrightarrow j,\overrightarrow k)</math> et  <math>R'=(O,\overrightarrow {i'}, \overrightarrow{j'}, \overrightarrow{k'})</math> avec  <math>\overrightarrow k= \overrightarrow{OA},~ \overrightarrow{k'}= \overrightarrow{OB}~.</math>

On prend alors :
:<math> \overrightarrow i=\overrightarrow {i'}={ 1\over \sin c } \overrightarrow k\wedge \overrightarrow {k'}={ 1\over \sin c } \overrightarrow{OA}\wedge  \overrightarrow{OB}~.</math>
On en déduit :
:<math> \overrightarrow j= \overrightarrow k\wedge  \overrightarrow  i= { 1\over \sin c } [ \overrightarrow{OA}\wedge(\overrightarrow{OA}\wedge  \overrightarrow{OB})]~.</math>
La formule du [[double produit vectoriel]] conduit à :
:<math> \overrightarrow j={ 1\over \sin c } ( (OA|OB)\overrightarrow{OA}-||OA||^2\overrightarrow{OB})={1\over \sin c } (\cos c~\overrightarrow{OA}-\overrightarrow{OB})~.</math>
De même :
:<math> \overrightarrow{j'}= { 1\over \sin c } [ \overrightarrow{OB}\wedge(\overrightarrow{OA}\wedge  \overrightarrow{OB})]= {1\over \sin c } (  \overrightarrow{OA}-\cos c~ \overrightarrow{OB})~.</math>


2) Le changement de repère (de '''R'''  vers '''R'''') est une [[rotation dans l'espace]] autour de l'axe commun aux deux repères. Comme l'angle entre <math>\overrightarrow{OA}</math> et <math>\overrightarrow{OB}</math>  est ''c'', on en déduit que la [[matrice de passage]] est :
:<math>P=\begin{pmatrix} 1&0&0\\ 0& \cos c&-\sin c\\ 0&\sin c &\cos c \end{pmatrix}~.</math>


3) On donne maintenant les coordonnées de ''C'' dans le repère '''R'''.
: On remarque que ''b'' est la colatitude dans le repère sphérique de pôle nord ''A'' associé au repère cartésien, alors que ''α'' désigne l'angle (au pôle) entre le vecteur <math>-\overrightarrow j</math> et le demi-plan vertical (''A'',''O'',''C''), donc la longitude vaut ''α-(π/2)''.
: On en déduit que ''C'', de coordonnées sphériques <math>[1,\alpha-{\pi\over 2},b ]</math>, a pour coordonnées cartésiennes dans le premier repère :
:<math>X=\begin{pmatrix}\sin b\sin \alpha \\ -\sin b\cos \alpha\\ \cos b \end{pmatrix}~.</math>


4) On donne de même les coordonnées de ''C'' dans le second repère '''R''''.
: Cette fois, le pôle nord est le point ''B'', la colatitude est ''a'', et ''β'' est l'angle que fait le demi-plan vertical (''B'',''O'',''C'') avec le vecteur <math>\overrightarrow{j'}</math>, donc la longitude vaut ''(π/2)-β''.
: On en déduit que ''C'', de coordonnées sphériques <math>[1,{\pi\over 2}-\beta,a ]</math>, a pour coordonnées cartésiennes dans le second repère :
:<math>X'= \begin{pmatrix} \sin a\sin\beta \\ \sin a\cos\beta\\ \cos a  \end{pmatrix}~.</math>

5) La formule de changement de base s'écrit alors :
:<math>\begin{pmatrix} \sin b\sin \alpha \\ -\sin b\cos \alpha\\ \cos b \end{pmatrix}=X=PX'=\begin{pmatrix} 1&0&0\\ 0& \cos c&-\sin c\\ 0&\sin c &\cos c \end{pmatrix}</math><math> \begin{pmatrix}\sin a\sin \beta \\ \sin a\cos \beta\\ \cos a \end{pmatrix}~.</math>

: On en déduit d'un seul coup la formule des sinus, la troisième formule fondamentale de la trigonométrie sphérique et la formule des cosinus :

<center><math>\begin{cases} \sin b \sin \alpha= \sin a \sin \beta \\
\sin b \cos \alpha=\sin c\cos a-\cos c\sin a\cos\beta\\
\cos b= \sin c \sin a \cos \beta +\cos c\cos a~.\end{cases}</math> </center>
}}

{{démonstration|titre=Démonstration à l'aide du produit scalaire|contenu=
[[Fichier:Trigospherique.png|droite]]
Considérons un triangle sphérique ''ABC'' situé sur la surface d’une sphère unité de centre ''O''. En projetant les points ''A'' et ''C'' sur l’axe ''OB'' respectivement en ''F'' et ''E''. On a donc :
:<math> \overrightarrow {FA} = FA \vec k ; \quad \overrightarrow {EO} = EO \vec i ;\quad  \overrightarrow {EC} = EC \vec h </math>
À noter que <math> (\vec i , \vec j , \vec k ) </math> est un repère orthonormé, donc <math> \vec h </math> est perpendiculaire à <math> \vec i </math> et n'est pas parallèle à <math>\vec j  </math>. Il s'ensuit :
:<math> \overrightarrow {OC}=-OE\vec i +EC\vec h ;\quad \overrightarrow {OA}=-OF\vec i+FA\vec k </math>
Par ailleurs :
: <math> OE=OC\cos(a)=\cos(a) ;\quad  AF=AO\sin(c)=\sin(c);\quad  EC=OC\sin(a)=\sin(a) ; \quad OF=AO\cos(c)=\cos(c)</math>
donc :
:<math> \overrightarrow {OC} \cdot \overrightarrow {OA}=(-OE\,\vec i +EC\,\vec h)(-OF\,\vec i +FA\,\vec k)=(OE \cdot OF)+(\overrightarrow {EC} \cdot \overrightarrow {FA})=\cos(a)\cos(c)+(\overrightarrow {EC} \cdot \overrightarrow {FA})</math>
or :
:<math> \overrightarrow {EC} \cdot \overrightarrow{FA}=EC\cdot FA \cdot \cos(\beta)=\sin(a)\sin(c)\cos(\beta);\quad \overrightarrow{OC} \cdot \overrightarrow{OA}=\cos(b)</math>
donc :
:<math> \cos(b)=\cos(a)\cos(c)+\sin(a)\sin(c)\cos(\beta) </math>.

Par permutation circulaire, on obtient les différentes relations : 
<math>\begin{cases} \cos(b)=\cos(a)\cos (c)+\sin(a)\sin(c)\cos(\beta) \\
\cos(c)=\cos(b)\cos(a)+\sin(b)\sin(a)\cos(\gamma)\\
\cos(a)= \cos(c) \cos(b)+\sin(c)\sin(b)\cos(\alpha)\end{cases}</math>
}}

}}

=== Autres formules ===
==== Formules des demi-angles et demi-côtés ====
Soit {{math|''s'' {{=}} {{sfrac|1|2}}(''a'' + ''b'' + ''c'')}} le demi-périmètre du triangle. Alors on a :

:<math>\tan^2\frac{\gamma}{2} = \frac{\sin(s-a)\,\sin(s-b)}{\sin s\,\sin(s-c)}</math>

et pour les formules duales, avec {{math|''σ'' {{=}} {{sfrac|1|2}}(''α'' + ''β'' + ''γ'')}} :

:<math>\tan^2\frac{c}{2} = - \frac{\cos\sigma\,\cos(\sigma-\gamma)}{\cos(\sigma-\alpha)\, \cos(\sigma-\beta)}</math>.

Ces formules qui, comme la relation fondamentale, lient un angle au centre aux trois ''côtés'' du triangle sphérique ne contiennent pas de somme. Elles étaient très utilisées pour les calculs pratiques à l'aide de tables de logarithmes.

==== Formules de Gauss ====
Les égalités suivantes sont attribuées à [[Carl Friedrich Gauss|Gauss]]  :
:<math>\frac{\cos\frac{a+b}{2}}{\cos\frac{c}{2}} = \frac{\cos\frac{\alpha+\beta}{2}}{\sin\frac{\gamma}{2}}</math> et <math>\frac{\sin\frac{a+b}{2}}{\sin\frac{c}{2}} = \frac{\cos\frac{\alpha-\beta}{2}}{\sin\frac{\gamma}{2}}</math>
ainsi que :
:<math>\frac{\cos\frac{a-b}{2}}{\cos\frac{c}{2}} = \frac{\sin\frac{\alpha+\beta}{2}}{\cos\frac{\gamma}{2}}</math> et <math>\frac{\sin\frac{a-b}{2}}{\sin\frac{c}{2}} = \frac{\sin\frac{\alpha-\beta}{2}}{\cos\frac{\gamma}{2}}~.</math>

On en déduit la [[loi des tangentes#Géométrie sphérique|loi des tangentes en trigonométrie sphérique]] :
:<math>\frac{\tan\frac{a-b}2 }{\tan\frac{a+b}2 } = \frac{\tan\frac{\alpha-\beta}2 }{\tan\frac{\alpha+\beta}2}~.</math>

==== Analogies de Napier ====
Elles s'obtiennent en combinant deux à deux les formules de [[Carl Friedrich Gauss|Gauss]] (il est à noter que [[John Napier|Napier]] a vécu bien avant [[Carl Friedrich Gauss|Gauss]]) :
* <math>\tan\frac{c}{2} \cos\frac{\alpha-\beta}{2} = \tan\frac{a+b}{2} \cos\frac{\alpha+\beta}{2}</math>
* <math>\tan\frac{c}{2} \sin\frac{\alpha-\beta}{2} = \tan\frac{a-b}{2} \sin\frac{\alpha+\beta}{2}</math>
* <math>\cot\frac{\gamma}{2} \cos\frac{a-b}{2} = \tan\frac{\alpha+\beta}{2} \cos\frac{a+b}{2}</math>
* <math>\cot\frac{\gamma}{2} \sin\frac{a-b}{2} = \tan\frac{\alpha-\beta}{2} \sin\frac{a+b}{2}</math>

==== Aire du triangle sphérique ====
Elle est connue sous le nom de [[théorème de Girard|formule de Girard]]. De façon remarquable, l'aire du triangle sphérique se calcule très simplement à partir de ses trois angles : elle est exactement égale à son « défaut d'euclidianité » (différence entre la somme des angles du triangle et {{math|π}}) multiplié par le carré du rayon ''R'' de la sphère. Soit :
<center><math>S=(\alpha+\beta + \gamma-\pi)R^2=R^2\varepsilon</math></center>

Remarque : ''ε'' est un [[angle solide]] s'exprimant en [[stéradian]]s (pour <math>\alpha,\, \beta</math> et <math>\gamma</math> exprimés en radians). Il porte le nom d''''excès sphérique'''<ref>|http://publimath.univ-irem.fr/glossaire/EX001.htm Excès sphérique], Glossaire de Publimath</ref>.

Cette formule se montre de façon élémentaire<ref>Quelques explications sur le site du [http://www.palais-decouverte.fr/index.php?id=842 Palais de la découverte]</ref>. Elle se fait en trois étapes :
* Lorsque la sphère est découpée en quatre secteurs (« [[fuseau sphérique|fuseaux sphériques]] » ou « lunes » chez Legendre) par deux plans diamétraux, l'aire d'un des secteurs ainsi découpé est proportionnelle à l'angle <math>\alpha</math> des deux plans. Elle vaut donc : <center><math>{2\alpha R^2}</math>.</center>
* Les trois plans diamétraux qui définissent un triangle sphérique découpent sur la sphère douze fuseaux dont six contiennent ce triangle ou son symétrique, de même aire, par rapport au centre de la sphère. Ces six fuseaux recouvrent la sphère, le triangle et son symétrique étant recouverts trois fois chacun, le reste ne l'étant qu'une seule fois. Ainsi, la somme des aires des six fuseaux est celle de la sphère augmentée quatre fois de celle du triangle. Il s'en déduit :
<center><math>{2(2\alpha R^2+2\beta R^2+2\gamma R^2)=4\pi R^2+4S}</math>.</center>
* Ainsi, après transformation :
<center><math>{S=(\alpha + \beta + \gamma -\pi)R^2}.</math></center>
Cette formule, découverte par [[Thomas Harriot]], mais non publiée, fut donnée pour la première fois par [[Albert Girard]] vers 1625.

==== Formule de l'Huilier ====
{{article détaillé|Théorème de l'Huilier}}
Cette formule est analogue à la [[formule de Héron]] qui calcule l'aire d'un triangle euclidien en fonction de ses côtés, et elle fait la même chose pour le triangle sphérique :

:<math>\tan\frac{s}{2} \tan\frac{s-a}{2} \tan\frac{s-b}{2} \tan\frac{s-c}{2} = \tan^2\frac{\varepsilon}{4}</math>
(on rappelle qu'on a appelé {{math|''s'' {{=}} {{sfrac|1|2}}(''a'' + ''b'' + ''c'')}} le demi-périmètre).

=== Cas particulier du triangle rectangle sphérique ===
Les formules suivantes<ref> Voir par exemple Antoine Meyer, ''Leçons de Trigonométrie sphérique'', Decq, 1844, [https://books.google.fr/books?id=9g8OAAAAQAAJ&pg=PA31#v=onepage&q&f=false {{p.|31}}]</ref> peuvent être vues comme des cas particuliers des formules précédentes mais sont historiquement établies avant celles sur le triangle quelconque par les mathématiciens arabes du {{s mini-|X}} au {{s-|XIII}}<ref>{{Harvsp|Roshdi Rashed|2003|p=172-185}}</ref>. Elles sont au nombre de six. Pour la suite, on reprendra les notations établies précédemment et on considèrera un triangle rectangle en C.

'''Formule 1''' : Dans tout triangle rectangle, le sinus d'un côté est égal au sinus de l'hypoténuse multiplié par le sinus de l'angle opposé :{{retrait|<math>\sin\, a = \sin\, c \sin\, \alpha.</math>}}Cette formule est un cas particulier de la formule des sinus.

'''Formule 2''' : Dans tout triangle rectangle, le cosinus de l'hypoténuse est égal au produit des cosinus des deux autres côtés :{{retrait|<math>\cos\, c = \cos\, b\cos\, a.</math>}}Cette formule est un cas particulier de la formule des cosinus.
 
'''Formule 3''' : Dans tout triangle rectangle, la cotangente d'un angle est égale au cosinus de l'hypoténuse multiplié par la tangente de l'autre angle : {{retrait|<math>\cot\, \alpha = \cos\, c\tan\, \beta.</math>}}Cette formule est un cas particulier de la relation duale de la formule des cosinus.

'''Formule 4''' : Dans tout triangle rectangle, le cosinus d'un angle est égal au cosinus du côté opposé multiplié par le sinus de l'autre angle :{{retrait|<math>\cos\, \alpha = \cos\, a\sin\, \beta.</math>}}Cette formule est un cas particulier de la formule des cosinus.
 
'''Formule 5''' : Dans tout triangle rectangle, la tangente d'un côté est égale à la tangente de l'hypoténuse multipliée par le cosinus de l'angle adjacent :{{retrait|<math>\tan\, a = \tan \, c\cos\, \beta.</math>}}Cette formule est un cas particulier de la troisième formule fondamentale.

'''Formule 6''' : Dans tout triangle rectangle, la tangente d'un côté est égale à la tangente de l'angle opposé multipliée par le sinus de l'autre côté :{{retrait|<math>\tan\, a = \tan\,\alpha \sin\, b.</math>}}Cette formule est un cas particulier de la formule des cotangentes.

Ces relations trigonométriques sont à rapprocher de celles du triangle rectangle dans le plan. Sachant que ''BC''/''R'' = ''a'', et qu'un triangle dans un plan est un triangle sur une sphère de rayon infini, on peut utiliser les [[Développement limité|développements limités]] :{{retrait|<math>\sin \,a = a + o(a^2)</math>}}{{retrait|<math>\cos\, a= 1-\frac{a^2}{2}+o(a^3)</math>}}dans les formules, multiplier éventuellement par ''R'' ou ''R''² et passer à la limite.

On obtient alors :
* '''Formule 1''' : <math>BC=AB\sin\,\alpha</math>
* '''Formule 2''' : <math>AB^2=BC^2+AC^2</math>
*: Cette égalité justifie le fait que la formule 2 est souvent appelée le [[théorème de Pythagore]] pour le triangle rectangle sphérique.
* '''Formule 3''' : <math>\cot \, \alpha=\tan\,\beta </math>
* '''Formule 4''' : <math>\cos\,\alpha=\sin\,\beta</math>
* '''Formule 5''' : <math>BC=AB\cos\,\,\beta</math>
* '''Formule 6''' : <math>BC=CA\tan\,\alpha</math>

=== Retour à la trigonométrie plane ===
En trigonométrie sphérique, le travail se fait sur les angles {{mvar|α}}, {{mvar|β}}, {{mvar|γ}} du triangle et sur les ''angles au centre'' {{mvar|a}}, {{mvar|b}}, {{mvar|c}} interceptant les arcs BC, CA, AB. Si l'on veut travailler sur les longueurs {{mvar|a'}}, {{mvar|b'}}, {{mvar|c'}} des côtés du triangle, il faut (en considérant que les angles sont exprimés en radians) opérer les conversions {{formule|{{mvar|a}} {{=}} {{mvar|a'}}/{{mvar|R}}}}, {{formule|{{mvar|b}} {{=}} {{mvar|b'}}/{{mvar|R}}}}, {{formule|{{mvar|c}} {{=}} {{mvar|c'}}/{{mvar|R}}}}

On peut alors s'interroger sur le devenir des formules pour un triangle dont les dimensions {{mvar|a'}}, {{mvar|b'}}, {{mvar|c'}} restent constantes, tandis que le rayon de la sphère grandit indéfiniment, le triangle sphérique devenant alors un triangle plan ou euclidien.

Les limites
: <math>\lim_{h \to 0}\frac{\sin h}{h}=1</math>
: <math>\lim_{h \to 0}\frac{1-\cos h}{h^2} = \frac{1}{2}</math>
permettent les passages à la limite
:<math>\lim_{R\to \infty} R\sin a = a'</math>
:<math>\lim_{R\to \infty} 2R^2(1-\cos a) = a'^2</math>
:<math>\lim_{R\to \infty} R(1-\cos a) =0</math>
et permettent le remplacement des membres de gauche par les membres de droite quand le rayon est infiniment grand.

==== Formule des cosinus ====
En remarquant que:
:<math>1-\cos a\cos b = (1-\cos a) + (1-\cos b) - (1-\cos a)(1-\cos b)\, ,</math>
la formule 
: <math>\cos c = \cos a\, \cos b + \sin a\, \sin b\, \cos\gamma</math>
peut se transformer en 
: <math>1-\cos c =(1-\cos a) + (1-\cos b) - (1-\cos a)(1-\cos b) - \sin a\, \sin b\, \cos\gamma~,</math>
puis, en multipliant par 2{{mvar|R}}{{exp|2}} et en opérant les remplacements annoncés
: <math> c'^2 = a'^2 + b'^2 - 2a'b' \cos\gamma~.</math>
Soit la [[loi des cosinus]] plane

La forme duale, quant à elle, donne l'égalité
:<math>\cos\gamma = -\cos\alpha\,\cos\beta + \sin\alpha\,\sin\beta=- \cos(\alpha + \beta)</math>
rappelant que les angles {{mvar|γ}} et {{mvar|α}} + {{mvar|β}} sont supplémentaires dans un triangle plan.

==== Formule des sinus ====
Elle se traduit immédiatement de la formule en trigonométrie sphérique, en la multipliant par {{mvar|R}} :
:<math>\frac{a'}{\sin \alpha} = \frac{b'}{\sin \beta} = \frac{c'}{\sin \gamma}~,</math>

==== Formule de Héron ====
En multipliant la [[Théorème de l'Huilier|formule de l’Huilier]] par {{mvar|R}}{{exp|4}}, on obtient :
:<math>R\tan\frac{s}{2} R\tan\frac{s-a}{2} R\tan\frac{s-b}{2} R\tan\frac{s-c}{2} = R^4\tan^2\frac{\varepsilon}{4}</math>
Or
:<math>\lim_{R\to \infty} R\tan \frac{s}{2} = \frac{p'}{2}</math>
:<math>\lim_{R\to \infty} R\tan \frac{s-a}{2} = \frac{p'-a'}{2}</math>
où {{mvar|p'}} est la demi-somme des côtés du triangle. On en déduit : 
: <math> \lim_{R\to \infty}  R^4\tan^2\frac{\varepsilon}{4} = \frac{p'(p'-a')(p'-b')(p'-c')}{16}</math>
Soit encore, puisque {{mvar|ε}}/4 et tan({{mvar|ε}}/4), sont équivalents:
: <math> \lim_{R\to \infty}  R^4 \varepsilon^2  = p'(p'-a')(p'-b')(p'-c')</math>
En remplaçant dans la formule de l'aire et en passant à la limite:
: <math> S^2 = p'(p'-a')(p'-b')(p'-c')</math>
qui est la [[formule de Héron]] de la géométrie plane.

== Triangle polaire ==
[[Fichier:TrianglePolaire.svg|vignette|Triangle (ABC) et son triangle polaire (A'B'C'). (OC') est l'axe de rotation du grand cercle (AB), etc.]]

Sur une sphère de centre O, on considère deux points A et B distincts et non diamétralement opposés. La droite passant par O et orthogonale au plan OAB rencontre la sphère en deux points qui sont appelés les pôles du plan (OAB).

Pour un triangle ABC tracé sur une sphère, on appelle C' le pôle du plan (OAB) situé sur le même hémisphère que C. On construit de même les points A' et B'. Le triangle (A'B'C') est appelé le '''triangle polaire''' du triangle ABC.

Par construction, les grands cercles (C'B') et (C'A') coupent le grand cercle (AB) en angle droit. Il en est de même des deux grands cercles (B'A') et (B'C') pour le grand cercle (AC), etc. Les côtés du triangle polaire sont donc perpendiculaires chacun à deux côtés du triangle d'origine.

La transformation qui, à un triangle associe son triangle polaire, est une application involutive<ref name=pycreach> Pour une démonstration on peut lire, [http://pycreach.free.fr/archives/Trigonometrie%20spherique.pdf  Trigonométrie sphérique] de Pierre-Yves Créach, {{p.|13-15}}</ref>, c'est-à-dire que le triangle polaire du triangle (A'B'C') est le triangle (ABC).

Les côtés du triangle (A'B'C') sont les supplémentaires des angles du triangle (ABC). Ce qui s'exprime par les égalités suivantes<ref name=pycreach/>:{{retrait|<math>a'+\alpha=\pi \quad b'+\beta=\pi \quad c'+\gamma=\pi</math>}}
et par propriété de l'involution, les angles du triangle polaire sont les supplémentaires des côtés du triangle (ABC). Soit :{{retrait|<math>a+\alpha'=\pi \quad b+\beta'=\pi \quad c+\gamma'=\pi</math>}}

Ces relations permettent de déduire, à partir des formules fondamentales, les formules duales citées plus haut.

== Aperçu historique ==
{{article détaillé|Histoire des fonctions trigonométriques}}
La [[trigonométrie]], et en particulier la trigonométrie sphérique, doit beaucoup aux [[Astronomie|astronomes]] et mathématiciens grecs [[Hipparque (astronome)|Hipparque de Nicée]]<ref>''Œuvres complètes de François Arago''. François Arago, tome 3, page 158 (Gide, Paris - 1855).</ref> ainsi que [[Ménélaos d'Alexandrie]]<ref name="Debarnot164168">{{Harvsp|Roshdi Rashed|2003}}</ref>, mais aussi aux [[mathématiques arabes|mathématiciens persans de langue arabe]] et [[Mathématiques indiennes|indiens]]. Parmi les plus célèbres figurent {{référence nécessaire|[[Bhāskara II]]}}, [[Abu Nasr Mansur]], [[Abu l-Wafa]] et [[Al-Biruni]] qui démontrent la règle des sinus pour un triangle quelconque ainsi que les formules pour le triangle rectangle<ref>{{Harvsp|Roshdi Rashed|2003|p=172-176}}.</ref>. La trigonométrie sphérique occupe une place importante dans les traités d'[[astronomie arabe]] et des traités spécifiques lui sont consacrés comme le traité de trigonométrie sphérique d'[[Ibn Muʿādh al-Jayyānī]] ({{s|XI}}), un mathématicien de [[Al-Andalus|l'Andalousie]] alors sous domination musulmane ou celui de [[Nasir al-Din al-Tusi|Nasir ad-Din al-Tusi]] ({{s|XIII}})<ref name=Debarnot164168/>.

== Applications ==
{{Article détaillé|Système de coordonnées célestes}}
La trigonométrie sphérique facilite les calculs de [[Système de coordonnées|coordonnées]] : 
* en [[astronomie]], pour les changements relatifs aux divers systèmes de coordonnées angulaires : [[déclinaison (astronomie)|déclinaison]], [[ascension droite]], [[angle horaire]], [[azimut]] et [[distance zénithale]] (ou [[hauteur (angle)|hauteur]]) ;

* en [[géographie]] ([[latitude]] et [[longitude]]) ;
* en [[optique]] pour l'utilisation de la [[sphère de Poincaré]] ;
* en [[statistique]]s sur la sphère de l'[[iconographie des corrélations]].
== Notes et références ==
=== Notes ===
{{références| groupe=alpha}}

=== Références ===
{{références}}

== Voir aussi ==

=== Bibliographie ===
{{Légende plume}}

* {{Ouvrage|auteur1=Roshdi Rashed|auteur2=Marie-Thérèse Debarnot|titre=Histoire des sciences arabes|sous-titre=Mathématiques et Physique|tome=2|éditeur=[[Éditions du Seuil]]|année=2003|pages totales=432|passage=pp=172-185|isbn=978-2020620277|titre chapitre=Trigonométrie (p. 165-198)|plume=oui}}

=== Articles connexes ===
* [[Géométrie non euclidienne]]
* [[Résolution d'un triangle]]
* [[Somme des angles d'un triangle]]
* [[Théorème de Ménélaüs]]
* [[Triangulation]]
*[[Géométrie hyperbolique#Trigonométrie du triangle hyperbolique|Trigonométrie du triangle hyperbolique]]

=== Liens externes ===
* [http://pycreach.free.fr/archives/Trigonometrie%20spherique.pdf Un cours de trigonométrie sphérique] sur le site personnel "Mathématiques au Lycée" de P.Y. Créach
* [http://www.eleves.ens.fr:8080/home/madore/math/carto.pdf Un "cours" de cartographie et de trigonométrie sphérique] sur le site personnel de David Madore
* [http://sites.google.com/site/astronomievouteceleste/2---trigonometrie-sheriquee Trigonométrie sphérique pour l'astronomie] sur le site personnel "Astronomie - Sphère céleste"
* [http://gnomonique.fr/trisph/ TriSph : programme de résolution des triangles sphériques] configurable à différentes applications pratiques et configuré pour la gnomonique
* [http://www.wdl.org/fr/item/2856 "Le livre d'instruction sur les plans déviants et les plans simples"] est un manuscrit en arabe qui remonte à 1740 et parle de la trigonométrie sphérique, avec des diagrammes.

{{Palette|Trigonométrie}}
{{Portail|géométrie}}

[[Catégorie:Sphère]]
[[Catégorie:Trigonométrie]]
[[Catégorie:Formule ou théorème de François Viète]]