- Théorème du cosinus
-
Théorème d'Al-Kashi
Le théorème d'Al-Kashi, en France, ou loi des cosinus, dans les autres pays francophones et dans d'autres langues, est un théorème de géométrie du triangle couramment utilisé en trigonométrie. Il généralise le théorème de Pythagore aux triangles non rectangles : il relie le troisième côté d'un triangle aux deux premiers ainsi qu'au cosinus de l'angle formé par ces deux côtés. Le nom français au mathématicien perse (Ghiyath al-Kashi), qui a vécu entre 1380 et 1429, lui a été attribué en France dans les années 1990, les appellations théorème de Pythagore généralisé ou loi des cosinus étant utilisées jusque là.
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 côtés respectivement opposés à ces angles. Alors, le théorème d'al-Kashi s'énonce de la façon suivante :
Sommaire
Histoire
Les Éléments d'Euclide datant du IIIe siècle av. J.-C., contenaient 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. La formulation de l'époque est pédestre car l'absence de fonction trigonométrique et d'algèbre oblige à raisonner en termes de différences d'aires. Aussi la proposition 12 utilise-t-elle ces termes :
«Dans les triangles obtusangles, le carré du côté qui soutient l'angle obtus est plus grand que la somme des carrés des deux autres côtés, de la quantité de deux fois le rectangle formé d'un des côtés contenant l'angle obtus, à savoir celui sur le prolongement duquel tombe la hauteur, et de la ligne prise en-dehors entre [le pied de] la hauteur et l'angle obtus.
»— Euclide, Les Éléments
En notant ABC le triangle d'angle obtus A et H le pied de la hauteur issue de B (cf. Fig. 2 ci-contre), les notations modernes permettent de résumer l'énoncé ainsi :
- AB² = CA² + CB² + 2 CA CH.
Il fallut attendre la trigonométrie arabo-musulmane au Moyen Âge pour voir le théorème é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, ce qui permit d'effectuer des calculs de distance angulaire entre étoiles. C'est durant la même période que se sont établies les premières tables trigonométriques, pour les fonctions sinus et cosinus. Cela 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. La propriété a été popularisée en occident par François Viète qui l'a, semble-t-il, redécouverte indépendamment.
C'est au début du XIXe 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
Le théorème d'Al-Kashi est également connu sous le nom de théorème de Pythagore généralisé, car le théorème de Pythagore en est un cas particulier : lorsque l'angle γ est droit, autrement dit lorsque cosγ = 0, le théorème d'Al-Kashi s'écrit
et réciproquement.
Le théorème s'utilise en triangulation (voir Fig. 3) 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 :
- les angles d'un triangle dont on connaît les trois côtés :
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 du théorème d'al-Kashi : pour deux triangles directement semblables ABC et A'B'C'
Démonstrations
Par un découpage d'aires
Un certain nombre des démonstrations du théorème font intervenir un calcul d'aires. Il convient en effet de remarquer que
- a2, b2 et c2 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 4a (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 a2, b2 à gauche, et les aires 2abcosγ et c2 à 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
- .
La figure 4b (ci-contre) découpe un hexagone de deux manières différentes de sorte à faire démontrer le théorème d'al-Kashi dans le cas d'un angle obtus. La figure montre
- en rose, les aires a2, b2 et − 2abcosγ à gauche, et l'aire c2 à droite ;
- en bleu, deux fois le triangle ABC, à droite comme à gauche.
L'égalité des aires à droite et à gauche donne
- .
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
La figure 5 (ci-contre) indique la manière de procéder pour démontrer le théorème d'Al-Kashi 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. 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 le côté c est l'hypoténuse :
- ,
ce qui donne le résultat escompté, après simplification.
La méthode est en tous points similaire pour les angles obtus.
Par 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
d'où
- .
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 () et un angle obtus ().
Par le calcul vectoriel
En utilisant le calcul vectoriel, plus précisément le produit scalaire, il est possible de retrouver le théorème d'Al-Kashi en quelques lignes :
Généralisation aux géométries non euclidiennes
Pour une surface non euclidienne de courbure K, on note R le rayon de courbure. Il vérifie
- .
On définit alors les dimensions réduites du triangle :
- ,
- ,
- .
Dans le cas d'un triangle sphérique, a, b et c correspondent à la mesure angulaire des segments de grand arc [BC], [AC] et [AB] (voir Fig. 7).
Géométrie sphérique
Dans un triangle sphérique ABC (Fig. 7), le théorème d'Al-Kashi s'écrit
Lorsque le rayon de courbure est très grand devant les dimensions du triangle, c’est-à-dire lorsque
etc. Cette expression se simplifie pour donner la version euclidienne du théorème d'Al-Kashi. Pour ce faire, on utilise les développements limités suivants :
- etc.,
- etc.
Il existe une identité similaire qui relie les trois angles :
Géométrie hyperbolique
Dans un triangle hyperbolique ABC, le théorème d'al-Kashi s'écrit
- .
Lorsque le rayon de courbure devient très grand devant les dimensions du triangle, on retrouve le théorème d'al-Kashi euclidien à partir des développements limités
- , etc.,
- , etc.
Généralisation à l'espace euclidien
On considère un tétraèdre A1A2A3A4 de l'espace euclidien. La figure 8 ci-contre présente les notations concernant les sommets, faces et angles dans le tétraèdre :
- Sk la face opposée au sommet ;
- sk la surface de ;
- Δk le plan dans lequel est plongée ;
- θij l'angle diédral (Δi,Δj).
Alors, surfaces et angles vérifient :
Voir aussi
Articles connexes
Liens externes
Ces liens ont servi de sources de l'article
- Les Éléments, tome II, Euclide, sur la Bibliothèque nationale française en ligne.
- Law of cosines, sur le site Math World (en anglais)
Bibliographie
- Géométrie Supérieure, N. Éfimov, Moscou, Éditions MIR, 1981
- Petite Encyclopédie des Mathématiques, Paris, Éditions K. Pagoulatos, 1980
- Portail de la géométrie
Catégories : Article de qualité | Géométrie du triangle | Mathématiques élémentaires | Trigonométrie | Théorème de géométrie -
Wikimedia Foundation. 2010.