Loi des cosinus

En mathématiques, la loi des cosinus est un théorème de géométrie couramment utilisé en trigonométrie, qui relie dans un triangle la longueur d'un côté à celles des deux autres et au cosinus de l'angle formé par ces deux côtés. Cette loi s'exprime de façon analogue en géométrie plane, sphérique ou hyperbolique. Cette loi généralise le théorème de Pythagore.

Les Éléments d'Euclide contenaient déjà une approche géométrique de la généralisation du théorème de Pythagore dans deux cas particuliers : ceux d'un triangle obtusangle et d'un triangle acutangle. Le développement, au Moyen Âge, de la trigonométrie arabo-musulmane permit au théorème d'évoluer dans sa forme et dans sa portée : l'astronome et mathématicien al-Battani généralisa le résultat d'Euclide à la géométrie sphérique au début du Xe siècle, et l'introduction des fonctions trigonométriques permit à Ghiyath al-Kashi, mathématicien de l'école de Samarcande, de mettre le théorème sous une forme utilisable pour la triangulation au cours du XVe siècle[1]. La propriété a été popularisée en occident par François Viète qui l'a vraisemblablement redécouverte indépendamment.

En ce qui concerne la géométrie plane, cette loi est connue sous les noms de théorème d'Al-Kashi en France[2], ou encore théorème de Pythagore généralisé[3]. Le nom francisé du mathématicien perse Ghiyath Al-Kashi (1380-1429) apparut dans les années 1990 dans les manuels scolaires édités en France, les appellations théorème de Pythagore généralisé ou loi des cosinus étant utilisées jusque-là[4].

En géométrie plane

Énoncé

Fig. 1 - Notations usuelles dans un triangle quelconque.

La loi des cosinus s'énonce de la façon suivante :

Soit un triangle ABC, dans lequel on utilise les notations usuelles exposées sur la figure 1 : d'une part

α

,

β

et

γ

pour les angles et, d'autre part,

a

,

b

et

c

pour les longueurs des côtés respectivement opposés à ces angles. Alors l'égalité suivante est vérifiée :

c^{2}=a^{2}+b^{2}-2ab\ \cos \ \gamma .

Histoire

Fig. 2 - Triangle ABC avec hauteur BH.

Les Éléments d'Euclide, du III^e siècle av. J.-C., contiennent déjà une approche géométrique de la généralisation du théorème de Pythagore : les propositions 12 et 13 du livre II, traitent séparément le cas d'un triangle obtusangle et celui d'un triangle acutangle. L'absence de fonction trigonométrique et d'algèbre oblige à formuler le théorème en termes de différences d'aires. Aussi la proposition 12 énonce-t-elle :

« Dans les triangles obtusangles, le carré du côté qui sous-tend l'angle obtus est plus grand que les carrés des côtés qui comprennent l'angle obtus, de deux fois le rectangle compris sous celui des côtés de l'angle obtus sur le prolongement duquel tombe la perpendiculaire, et sous la droite prise extérieurement de la perpendiculaire à l'angle obtus. »

— Euclide, Les Éléments[5]

En notant ABC le triangle d'angle obtus C et H le pied de la hauteur issue de B, les notations modernes permettent de résumer l'énoncé ainsi :

AB^{2}=CA^{2}+CB^{2}+2CH\times AC

Il faut attendre la trigonométrie arabo-musulmane au Moyen Âge pour voir le théorème évoluer dans sa forme et dans sa portée. Durant la même période sont établies les premières tables trigonométriques, pour les fonctions sinus et cosinus. En 1428, on trouve un énoncé du théorème, utilisant les cosinus, dans l'œuvre d'al-Kashi, Les clés de l'arithmétique[6].

C'est au début du XIX^e siècle que les notations algébriques modernes permettent d'écrire le théorème sous sa forme actuelle et qu'il prend dans de nombreuses langues le nom de loi (ou théorème) des cosinus.

Le théorème et ses applications

Fig. 3 - Utilisation de la loi des cosinus: angle ou côté inconnu.

La loi des cosinus généralise le théorème de Pythagore, puisqu'elle permet d'énoncer que l'angle $γ$ est droit (autrement dit $cos γ = 0$ ) si et seulement si $c 2 = a 2 + b 2$ .

Plus généralement, le théorème s'utilise en triangulation pour résoudre un triangle, à savoir déterminer

le troisième côté d'un triangle dont on connaît un angle et les côtés adjacents :

c={\sqrt {a^{2}+b^{2}-2ab\cos \gamma }}

;

les angles d'un triangle dont on connaît les trois côtés :

\gamma =\arccos {\dfrac {a^{2}+b^{2}-c^{2}}{2ab}}.

Ces formules sont instables numériquement dans le cas de triangles en épingle, c'est-à-dire lorsque $c$ est petit devant $a$ et $b$ — ou, de façon équivalente, lorsque γ est petit devant 1.

Il existe un corollaire de la loi des cosinus : pour deux triangles directement semblables ABC et A'B'C'

cc'=aa'+bb'-(ab'+a'b)\cos \gamma .\,

Démonstrations

Tout comme le théorème de Pythagore, la loi des cosinus possède de nombreuses démonstrations, certaines utilisant des propriétés sur les aires comme celles d'Euclide ou la loi des cosinus, d'autres utilisant des propriétés trigonométriques ou liées au cercle. Enfin, la loi des cosinus peut être vue comme une application des propriétés sur le produit scalaire[2].

Démonstration d'Euclide

Fig. 4 - Démonstration de la loi des cosinus pour un angle obtus : « selon Euclide ».

La démonstration d'Euclide[7] par la proposition 12 (angle obtus) et 13 (angle aigu) s'appuie sur le théorème de Pythagore et fait intervenir le point H pied de la hauteur issue de B. Pour Euclide cette propriété est une propriété sur des aires. Pour l'angle obtus (proposition 12), Euclide construit le carré extérieur au triangle AHB de côté [AH] et remarque que

AH^{2}=CH^{2}+CA^{2}+2\times CH\times AC

Il lui suffit alors d'ajouter l'aire du carré de côté HB

AH^{2}+HB^{2}=HB^{2}+CH^{2}+CA^{2}+2\times CH\times AC

et d'utiliser le théorème de Pythagore deux fois

dans le triangle rectangle AHB

AB^{2}=AH^{2}+HB^{2}

dans le triangle rectangle CHB

CB^{2}=HB^{2}+CH^{2}

Après simplification, on obtient

AB^{2}=CA^{2}+CB^{2}+2\times CH\times AC

Une démonstration analogue est réalisable pour l'angle aigu.

Démonstration d'Al-Kashi

Fig. 5 - Démonstration de la loi des cosinus pour un triangle acutangle.

Dans son livre Clé de l'arithmétique en 1429[8], Al-Kashi généralise le théorème de Pythagore et introduit dans l'égalité la trigonométrie.

Pour lui aussi, cette propriété est liée aux aires. Ainsi dans un triangle acutangle ABC, il mène par A, B et C les 3 hauteurs du triangle, qui découpent dans les carrés s'appuyant sur CB, CA et AB des rectangles.

Dans la figure ci-contre, on prouve l'égalité des aires des rectangles verts en prouvant l'égalité des aires des triangles

JAE et JAB par glissement d'un sommet parallèlement à une base ;
JAB et CAM par rotation d'angle droit ;
CAM et FAM par glissement d'un sommet parallèlement à une base[9].

On fait de même pour les rectangles rouges.

Quant aux rectangles bleus, dont les côtés ont pour longueur CL (= CA) et CE (= CB cos C), pour l'un, et CI (= CB) et CD (= CA cos C) pour l'autre, ils ont même aire égale à CA × CB × cos C.

On en déduit par somme $CA^{2}+CB^{2}=AB^{2}+2CA\times CB\times \cos C$

Une démonstration analogue est envisageable pour un triangle obtusangle en opérant par soustraction d'aires.

Par un découpage d'aires

Fig. 6a - Démonstration de la loi des cosinus pour les triangles à angles aigus : « méthode du découpage ».

Fig. 6b - Démonstration de la loi des cosinus dans le cas d'un angle obtus : « méthode du découpage »

Un certain nombre des démonstrations du théorème font intervenir un calcul d'aires[10]. Il convient en effet de remarquer que

$a 2$ , $b 2$ et $c 2$ sont les aires de carrés de côtés respectifs $a$ , $b$ et $c$ ;
$ab |cos γ |$ est celle d'un parallélogramme de côtés $a$ et $b$ formant un angle $π/2 - γ$ , le changement de signe de $cos γ$ lorsque l'angle $γ$ devient obtus rendant une étude par cas obligatoire.

La figure 6a (ci-contre) découpe un heptagone de deux manières différentes de sorte à démontrer le théorème d'Al-Kashi dans le cas d'un angle aigu. Interviennent :

en rose, les aires $a 2$ , $b 2$ à gauche, et les aires $ab cos γ$ et $c 2$ à droite ;
en bleu, le triangle ABC, à droite comme à gauche ;
en gris, quelques triangles supplémentaires, identiques au triangle ABC et en même nombre dans les deux découpages.

L'égalité des aires de droite et de gauche donne

\,a^{2}+b^{2}=c^{2}+2ab\cos \gamma

.

La figure 6b (ci-contre) découpe un hexagone de deux manières différentes de façon à démontrer le théorème d'Al-Kashi dans le cas d'un angle obtus. La figure montre

en rose, les aires $a 2$ , $b 2$ et $-2 ab cos γ$ à gauche, et l'aire $c 2$ à droite ;
en bleu, deux fois le triangle ABC, à droite comme à gauche.

L'égalité des aires à droite et à gauche donne

\,a^{2}+b^{2}-2ab\cos \gamma =c^{2}

.

Une démonstration rigoureuse nécessiterait de prouver que les deux découpages sont effectivement identiques, ce qui utilise principalement les cas d'égalité des triangles.

Par le théorème de Pythagore

Fig. 7 - Démonstration de la loi des cosinus en utilisant les relations trigonométriques.

La figure 7 (ci-contre) indique la manière de procéder pour démontrer la loi des cosinus dans le cas d'un triangle à angles aigus en utilisant le théorème de Pythagore sur un sous-triangle rectangle formé en prenant le pied de la hauteur[11]. Seule la dernière étape n'est pas indiquée sur la figure : le théorème de Pythagore s'applique au triangle rectangle dont l'hypoténuse est le côté c :

c^{2}=(b-a\cos \gamma )^{2}+(a\sin \gamma )^{2}=b^{2}-2ab\cos \gamma +a^{2}\cos ^{2}\gamma +a^{2}\sin ^{2}\gamma .

En utilisant l'identité remarquable

\cos ^{2}\gamma +\sin ^{2}\gamma =1,

on obtient le résultat escompté, après simplification :

c^{2}=b^{2}+a^{2}-2ab\cos \gamma .

La méthode est en tous points similaire pour les angles obtus, et conduit à un résultat identique.

En utilisant la puissance d'un point par rapport à un cercle

Fig. 8 - Démonstration de la loi des cosinus en utilisant la puissance d'un point par rapport à un cercle.

On considère le cercle de centre B et de rayon [BC] (cf. figure ci-contre). Il coupe la droite (AC) en C et K. La puissance du point A par rapport au dit cercle est :

\mathrm {AB} ^{2}-\mathrm {BC} ^{2}={\overline {\mathrm {AC} }}\cdot {\overline {\mathrm {AK} }}={\overline {\mathrm {AC} }}\cdot ({\overline {\mathrm {AC} }}+{\overline {\mathrm {CK} }})

d'où

c^{2}-a^{2}=b\,(b-2a\ \cos \ \gamma )

.

Contrairement aux précédentes, pour cette démonstration, il n'est pas nécessaire de recourir à une étude par cas. En effet, les mesures algébriques permettent de traiter pareillement un angle aigu (CK < 0) et un angle obtus (CK > 0).

On trouve trace de l'utilisation de la puissance d'un point par rapport à un cercle pour déterminer tous les angles d'un triangle dont les longueurs sont connues, dans l'œuvre de Nicolas Copernic, Des révolutions des sphères célestes. Il présente ainsi deux algorithmes, l'un utilisant le théorème de Pythagore généralisé présent dans l'œuvre d'Euclide, l'autre utilisant la puissance d'un point par rapport à un cercle[12].

Ainsi dans une figure analogue à celle ci-contre, il fait remarquer que, $a$ et $c$ étant connus, la puissance du point A par rapport au cercle tracé est connue

en langage mathématique actuel, elle vaut

c 2 - a 2

Il en déduit que, puisque $b$ est connu, AK est connu.

En effet

AK\times b=c^{2}-a^{2}

donc

AK={\frac {c^{2}-a^{2}}{b}}.

Puisque AK est connu, alors CK est connu.

En effet, dans la figure ci-contre,

CK=AK-b={\frac {c^{2}-a^{2}-b^{2}}{b}}.

Enfin, il fait remarquer que CK étant connu, l'angle KCB est connu.

En effet,

\cos(KCB)={\frac {CK}{2a}}={\frac {c^{2}-a^{2}-b^{2}}{2ab}}.

Et puisque l'angle KCB est connu, il en est de même de l'angle ACB.

Ainsi, on retrouve la règle du cosinus :

\cos(\gamma )={\frac {a^{2}+b^{2}-c^{2}}{2ab}}

Ne manipulant pas les mesures algébriques, Nicolas Copernic présente deux cas de figure pour l'angle obtus et l'angle aigu, travaille sur un cercle dont le rayon correspond au plus petit côté, et ne présente pas de formule, mais un algorithme de calcul. Une utilisation analogue de la puissance d'un point par rapport à un cercle pour retrouver la règle du cosinus est faite par Pitiscus[13].

À l'aide du produit scalaire

En utilisant le calcul vectoriel, plus précisément le produit scalaire, il est possible de retrouver la loi des cosinus en quelques lignes[2] :

{\begin{aligned}c^{2}&=\lVert {\overrightarrow {AB}}\lVert ^{2}\\&=\lVert {\overrightarrow {CB}}-{\overrightarrow {CA}}\lVert ^{2}\\&=\lVert {\overrightarrow {CB}}\lVert ^{2}-2\cdot {\overrightarrow {CB}}\cdot {\overrightarrow {CA}}+\lVert {\overrightarrow {CA}}\lVert ^{2}\\&=CB^{2}-2\cdot \left|CB\right|\cdot \left|CA\right|\cos {\widehat {ACB}}+\mathrm {CA} ^{2}\\&=a^{2}+b^{2}-2ab\cos \gamma \,.\end{aligned}}

En géométrie non euclidienne

Cette section ne cite pas suffisamment ses sources (février 2016).

Pour l'améliorer, ajoutez des références de qualité et vérifiables (comment faire ?) ou le modèle {{Référence nécessaire}} sur les passages nécessitant une source.

Pour une surface non euclidienne quelconque de courbure $K$ , on définit le rayon de courbure^{[réf. nécessaire]} $ρ$ par :

\rho =1/{\sqrt {|K|}},

puis les dimensions réduites^{[réf. nécessaire]} $a$ , $b$ et $c$ du triangle par :

a=BC/\rho ,\quad b=AC/\rho ,\quad c=AB/\rho .

En géométrie sphérique

Fig. 9 - Triangle sphérique : dimensions réduites

a

,

b

et

c

; angles

α

,

β

et

γ

.

Le développement de la trigonométrie sphérique dans le monde arabo-musulman et le travail d'al-Battani sur celle-ci, conduisent Delambre dans son Histoire de l'astronomie du Moyen Âge[14] à attribuer à al-Battani, la première version de la loi des cosinus en trigonométrie sphérique. Cependant, pour Anton von Braunmühl (en)[15], le travail d'al-Battani ne met pas en évidence de formule générale, et il faut attendre Regiomontanus, qui s'appuyant sur les travaux d'al-Battani, énonce et démontre la loi à l'aide des sinus verses[16]^,[17].

Dans un triangle sphérique ABC (Fig. 9), les dimensions réduites $a$ , $b$ et $c$ correspondent à la mesure angulaire des segments de grand arc [BC], [AC] et [AB] et la loi des cosinus s'écrit[18] :

\cos c=\cos a\,\cos b+\sin a\,\sin b\,\cos \gamma .

Démonstration

Considérons un triangle sphérique ABC dans une sphère de centre O et de rayon 1, de sorte que OA = OB = OC = 1. Le vecteur ${\overrightarrow {OA}}-\cos(b){\overrightarrow {OC}}$ est le vecteur tangent en C au grand cercle passant par A et C. En effet, il appartient au plan OAC et il est orthogonal à ${\overrightarrow {OC}}$ puisque le produit scalaire ${\overrightarrow {OA}}\cdot {\overrightarrow {OC}}=\cos(b)$ . De plus, il est facile de vérifier que sa norme vaut $sin(b)$ en calculant son carré scalaire. De même, le vecteur ${\overrightarrow {OB}}-\cos(a){\overrightarrow {OC}}$ est le vecteur tangent en C au grand cercle passant par B et C, et sa norme est $sin(a)$ . L'angle entre les deux vecteurs est donc $γ$ $\gamma$ . On obtient alors la loi des cosinus en effectuant le produit scalaire des deux vecteurs, ce qui donne :

\sin a\sin b\cos \gamma =\cos c-\cos a\cos b

Il existe une identité similaire qui relie les trois angles :

\cos \gamma =-\cos \alpha \,\cos \beta +\sin \alpha \,\sin \beta \,\cos c

Lorsque le rayon de courbure tend vers l'infini, c’est-à-dire lorsque $a$ , $b$ et $c$ tendent vers 0, la loi des cosinus sphérique se simplifie pour donner la version euclidienne de la même loi. Pour le montrer, on utilise les développements limités suivants :

\,\sin a=a+o(a^{2}),

\,\cos a=1-a^{2}/2+o(a^{2}).

et on identifie les coefficients du second ordre dans la relation $sin a sin b cos γ = cos c - cos a cos b$ , ce qui donne :

ab\cos \gamma =-{\frac {c^{2}}{2}}+{\frac {a^{2}}{2}}+{\frac {b^{2}}{2}}

En géométrie hyperbolique

Pour un triangle hyperbolique ABC sur une pseudosphère, la loi des cosinus s'écrit

\cosh c=\cosh a\,\cosh b-\sinh a\,\sinh b\,\cos \gamma

.

Lorsque le rayon de courbure devient très grand devant les dimensions du triangle, on retrouve la loi des cosinus euclidienne à partir des développements limités

\,\sinh a=a+O(a^{3})

,

\,\cosh a=1+a^{2}/2+O(a^{3}).

en identifiant les termes du second ordre.

Formule générale pour une surface de courbure constante

Cette section ne cite pas suffisamment ses sources (août 2021).

Pour l'améliorer, ajoutez des références de qualité et vérifiables (comment faire ?) ou le modèle {{Référence nécessaire}} sur les passages nécessitant une source.

On peut regrouper les formules du plan, de la sphère et de la pseudosphère en une seule :

\cos _{R}(BC)=\cos _{R}(AB)\cdot \cos _{R}(AC)+{\frac {1}{R^{2}}}\sin _{R}(AB)\cdot \sin _{R}(AC)\cdot \cos({\widehat {BAC}})

Avec $\cos _{R}(x)={\frac {{\rm {e}}^{{\rm {i}}x/R}+{\rm {e}}^{-{\rm {i}}x/R}}{2}}=\cos(x/R)$ et $\sin _{R}(x)={\frac {{\rm {e}}^{{\rm {i}}x/R}-{\rm {e}}^{-{\rm {i}}x/R}}{2i/R}}=R\cdot \sin(x/R)$

$R$ est un complexe, plus précisément le rayon de courbure de la surface.

Trois cas sont possibles :

R

réel : on est sur une sphère de rayon

R

, la courbure y est constante et égale à

1 / R 2

;

R

imaginaire pur : on est sur une pseudosphère de rayon imaginaire

R = i R'

(

R'

réel), la courbure y est constante et égale à

1 / R 2

= –

1 / R' 2

;

R

infini : on est sur un plan euclidien, la courbure y est constante et égale à

\lim _{R\rightarrow \infty }{\frac {1}{R^{2}}}=0

.

Validation en géométrie non-euclidienne

Dans les deux premiers cas, $cos R$ et $sin R$ sont bien définies sur le plan complexe pour tout $R$ différent de 0, et le résultat est immédiat.

Ainsi, pour une sphère de rayon 1 :

\cos(BC)=\cos(AB)\cdot \cos(AC)+\sin(AB)\cdot \sin(AC)\cdot \cos({\widehat {BAC}})

.

De même, pour une pseudosphère de rayon $i$ :

\cosh(BC)=\cosh(AB)\cdot \cosh(AC)-\sinh(AB)\cdot \sinh(AC)\cdot \cos({\widehat {BAC}})

.

En effet, $cosh(x) = cos(x /i)$ et $sinh(x) = i sin(x /i)$ .

Validation en géométrie euclidienne

Pour le troisième cas, celui du plan euclidien, on peut généraliser $cos \infty$ et $sin \infty$ en passant à la limite :

\cos _{\infty }(x)=\lim _{R\rightarrow \infty }\cos _{R}(x)=\lim _{R\rightarrow \infty }\cos(x/R)=1

et

\sin _{\infty }(x)=\lim _{R\rightarrow \infty }\sin _{R}(x)=\lim _{R\rightarrow \infty }R\cdot \sin(x/R)=x

.

Il est moins aisé de retrouver la formule d'Al-Kashi. En effet, une transposition simple revient à écrire :

\cos _{\infty }(BC)=1

,

\cos _{R}(AB)\cdot \cos _{R}(AC)=1\times 1=1

,

\sin _{\infty }(AB)\cdot \sin _{\infty }(AC)\cdot \cos({\widehat {BAC}})=AB\cdot AC\cdot \cos({\widehat {BAC}})

,

et

\lim _{R\rightarrow \infty }{\frac {1}{R^{2}}}AB\cdot AC\cdot \cos({\widehat {BAC}})=0

.

Pour retrouver la formule d'Al-Kashi, il faut passer par un développement limité :

\cos _{R}(x)=\cos(x/R)=1-{\frac {1}{2}}\cdot {\frac {x^{2}}{R^{2}}}+o{\bigg (}{\frac {1}{R^{2}}}{\bigg )}

et

\sin _{R}(x)=R\cdot \sin(x/R)=x+o{\bigg (}{\frac {1}{R^{2}}}{\bigg )}

.

Par application de la formule pour $R$ fini, nous obtenons donc :

1-{\frac {1}{2}}\cdot {\frac {BC^{2}}{R^{2}}}+o\left({\frac {1}{R^{2}}}\right)

=\left(1-{\frac {1}{2}}\cdot {\frac {AB^{2}}{R^{2}}}+o\left({\frac {1}{R^{2}}}\right)\right)\cdot \left(1-{\frac {1}{2}}\cdot {\frac {AC^{2}}{R^{2}}}+o\left({\frac {1}{R^{2}}}\right)\right)+{\frac {1}{R^{2}}}\left(AB+o\left({\frac {1}{R^{2}}}\right)\right)\cdot \left(AC+o\left({\frac {1}{R^{2}}}\right)\right)\cdot \cos({\widehat {BAC}})

Ce qui donne par la suite :

1-{\frac {1}{2}}\cdot {\frac {BC^{2}}{R^{2}}}=1-{\frac {1}{2}}\cdot {\frac {AB^{2}}{R^{2}}}-{\frac {1}{2}}\cdot {\frac {AC^{2}}{R^{2}}}+{\frac {1}{R^{2}}}\cdot AB\cdot AC\cdot \cos({\widehat {BAC}})+o{\bigg (}{\frac {1}{R^{2}}}{\bigg )}

Puis, en simplifiant un peu et en multipliant par $-2 R 2$ de chaque côté :

BC^{2}=AB^{2}+AC^{2}-2\cdot AB\cdot AC\cdot \cos({\widehat {BAC}})+o(1)

Ce qui donne bien la formule attendue lorsque $R$ tend vers l'infini.

Généralisation à l'espace euclidien

Fig. 10 - Tétraèdre : faces et angles diédraux.

On considère un tétraèdre A₁A₂A₃A₄ de l'espace euclidien. La figure 10 ci-contre présente les notations concernant les sommets, faces et angles dans le tétraèdre :

$\mathrm {S} _{k}$ la face opposée au sommet $\mathrm {A} _{k}\$ ;
$s_{k}$ la surface de $\mathrm {S} _{k}\$ ;
$\Delta _{k}$ le plan dans lequel $\mathrm {S} _{k}\$ est plongée ;
$\theta _{ij}$ l'angle diédral $(\Delta _{i},\Delta _{j})$ .

Alors, surfaces et angles vérifient[19]^,[20] :

s_{4}^{2}=s_{1}^{2}+s_{2}^{2}+s_{3}^{2}-2s_{1}s_{2}\cos \theta _{12}-2s_{1}s_{3}\cos \theta _{13}-2s_{2}s_{3}\cos \theta _{23}.\,

Notes et références

« Théorème d'Al-Kashi - Définition et Explications ».
La « formule dite d'Al Kashi », vue comme application du produit scalaire, était explicitement présente jusqu'en 2010 dans les programmes de mathématiques de première S de l'enseignement français (voir BO du 31 aout 2000). Elle ne figure plus qu'implicitement dans le programme de 2010, parmi les « applications du produit scalaire : calculs d'angles et de longueurs » : cf. par exemple J.-D. Picchiottino, D. Girard et A. Meyer, Maths 1^re S, Hatier, 2013 (lire en ligne), p. 323.
Pascal Honvault, Une approche possible de la géométrie plane, Publibook, 2004 (lire en ligne), p. 41.
« Pythagore et son théorème — 3.2. Réciproque », sur IUT en ligne.
Les œuvres d'Euclide, trad. F. Peyrard, Paris (1819), rééd. Blanchard (1993). Pour d'autres éditions, voir la bibliographie de l'article sur les Éléments.
Youssef Guergour, « Le roi de Saragosse Al-Mutaman Ibn Hud et le théorème de Pythagore : ses sources et ses prolongements », LLULL, vol. 28,‎ 2005, p. 415-434 (ISSN 0210-8615, lire en ligne) (p. 432).
Denis Henrion (trad.), Les quinze livres des éléments géométriques d'Euclide, 1632, p. 99-104.
Selon Guergour 2005, la démonstration se trouve dans KASHI (al) (1967): Miftam al-misab [Clé de l'Arithmétique], al-Damardache, A. S. & al-Manfi al-Shikh, M. M. (Edit.), Le Caire, Dar al-Kitab al-cArabi li at-tibaqa wa an-Nashr, p. 130-138.
Voir cette
animation sur Commons
.
Voir par exemple (en) Roger B. Nelsen, Proofs without Words II : More Exercises in Visual Thinking, MAA, 2000, p. 9, et plus généralement l'article « Preuve sans mots ».
Gellert et al. 1980, chap. 11-2, p. 265.
(la) N. Copernic, De revolutionibus orbium coelestium, Livre I, chap. XII, § VII, p. 20 et p. 21, respectivement.
(en) David Eugene Smith, A Source Book in Mathematics, vol. 1 (lire en ligne), p. 435.
Op. cit., p. 17-20, aperçu sur Google Livres.
(de) Anton von Braunmühl, Vorlesungen über Geschichte der Trigonometrie, 1900 (lire en ligne), p. 53, note 1.
von Braunmühl 1900, p. 131 et suivantes.
(en) Tony Phillips, « The True History of the Law of Cosines », sur Université Stony Brook, 2006.
Voir l'article « Trigonométrie sphérique », et une démonstration différente de celle de l'article, par exemple, le « cours » de cartographie de David Madore.
Georges Dostor, Éléments de la théorie des déterminants : avec application à l'algèbre, la trigonométrie et la géométrie analytique dans le plan et dans l'espace, à l'usage des classes de mathématiques spéciales, Paris, Gauthier-Villars, 1877, 352 p. (lire en ligne), pp. 251-252
(en) J. R. Lee, « The Law of Cosines in a Tetrahedron », J. Korea Soc. Math. Ed. Ser. B: Pure Appl. Math., vol. 4,‎ 1997, p. 1-6, cité par (en) Eric W. Weisstein, « Law of cosines », sur MathWorld.

Voir aussi

Bibliographie

N. Éfimov, Géométrie supérieure, Moscou, éditions Mir, 1981
W. Gellert, H. Küstner, M. Hellwich et H. Kästner (trad. de l'allemand par un collectif, sous la direction de Jacques-Louis Lions), Petite encyclopédie des mathématiques [« Kleine Enzyklopädie der Mathematik »], Paris, K. Pagoulatos/Didier, 1980, 896 p. (ISBN 978-2-278-03526-7)
Antoine Arnauld, Nouveaux éléments de géométrie, Paris, Charles Savreux, 1667, p. 295-296 (sixième théorème)
A. Amiot, Éléments de géométrie, Paris, Delagrave, 14^e éd., 1870, p. 109-111
Paul-Louis Cirodde, Leçons de géométrie, Paris, Hachette, 3^e éd., 1858, p. 111-112 (théorème XI)

Articles connexes

Théorème de Ptolémée

Trigonométrie	Géométrie du triangle	Mathématiciens
Triangulation	Théorème de Pythagore	Euclide
Trigonométrie sphérique	Livre II des Éléments d'Euclide	al-Battani
Fonction trigonométrique	Loi des sinus	Ghiyath al-Kashi
	Loi des tangentes	François Viète

Lien externe

(en) A. Bogomolny, « The Law of Cosines (Cosine Rule) », sur Cut The Knot

Portail de la géométrie
Portail du monde arabo-musulman

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] « Théorème d'Al-Kashi - Définition et Explications ».

[scalaire-2] La « formule dite d'Al Kashi », vue comme application du produit scalaire, était explicitement présente jusqu'en 2010 dans les programmes de mathématiques de première S de l'enseignement français (voir BO du 31 aout 2000). Elle ne figure plus qu'implicitement dans le programme de 2010, parmi les « applications du produit scalaire : calculs d'angles et de longueurs » : cf. par exemple J.-D. Picchiottino, D. Girard et A. Meyer, Maths 1^re S, Hatier, 2013 (lire en ligne), p. 323.

[3] Pascal Honvault, Une approche possible de la géométrie plane, Publibook, 2004 (lire en ligne), p. 41.

[4] « Pythagore et son théorème — 3.2. Réciproque », sur IUT en ligne.

[5] Les œuvres d'Euclide, trad. F. Peyrard, Paris (1819), rééd. Blanchard (1993). Pour d'autres éditions, voir la bibliographie de l'article sur les Éléments.

[6] Youssef Guergour, « Le roi de Saragosse Al-Mutaman Ibn Hud et le théorème de Pythagore : ses sources et ses prolongements », LLULL, vol. 28,‎ 2005, p. 415-434 (ISSN 0210-8615, lire en ligne) (p. 432).

[7] Denis Henrion (trad.), Les quinze livres des éléments géométriques d'Euclide, 1632, p. 99-104.

[8] Selon Guergour 2005, la démonstration se trouve dans KASHI (al) (1967): Miftam al-misab [Clé de l'Arithmétique], al-Damardache, A. S. & al-Manfi al-Shikh, M. M. (Edit.), Le Caire, Dar al-Kitab al-cArabi li at-tibaqa wa an-Nashr, p. 130-138.

[9] Voir cette
animation sur Commons
.

[10] Voir par exemple (en) Roger B. Nelsen, Proofs without Words II : More Exercises in Visual Thinking, MAA, 2000, p. 9, et plus généralement l'article « Preuve sans mots ».

[11] Gellert et al. 1980, chap. 11-2, p. 265.

[12] (la) N. Copernic, De revolutionibus orbium coelestium, Livre I, chap. XII, § VII, p. 20 et p. 21, respectivement.

[13] (en) David Eugene Smith, A Source Book in Mathematics, vol. 1 (lire en ligne), p. 435.

[14] Op. cit., p. 17-20, aperçu sur Google Livres.

[15] (de) Anton von Braunmühl, Vorlesungen über Geschichte der Trigonometrie, 1900 (lire en ligne), p. 53, note 1.

[16] von Braunmühl 1900, p. 131 et suivantes.

[17] (en) Tony Phillips, « The True History of the Law of Cosines », sur Université Stony Brook, 2006.

[18] Voir l'article « Trigonométrie sphérique », et une démonstration différente de celle de l'article, par exemple, le « cours » de cartographie de David Madore.

[19] Georges Dostor, Éléments de la théorie des déterminants : avec application à l'algèbre, la trigonométrie et la géométrie analytique dans le plan et dans l'espace, à l'usage des classes de mathématiques spéciales, Paris, Gauthier-Villars, 1877, 352 p. (lire en ligne), pp. 251-252

[20] (en) J. R. Lee, « The Law of Cosines in a Tetrahedron », J. Korea Soc. Math. Ed. Ser. B: Pure Appl. Math., vol. 4,‎ 1997, p. 1-6, cité par (en) Eric W. Weisstein, « Law of cosines », sur MathWorld.