Voir la source de Somme des angles d'un triangle

[[Fichier:Triangles (spherical geometry).jpg|thumb|upright=1.5|Deux [[méridien]]s sont des "droites" (en [[géométrie sphérique]]) perpendiculaires à l'[[Équateur terrestre|équateur]]. Dans ce cas, un triangle dont les angles mesurent respectivement 90°, 50° et 90° peut exister. En géométrie euclidienne (voir encadré), ce n'est pas possible : si un triangle possède un angle de 90° et un angle de 50°, le troisième angle doit mesurer 40°.]]
En [[géométrie euclidienne]], la '''somme des angles d'un triangle''' est égale à l'[[angle plat]], soit 180 [[degré (angle)|degré]]s ou [[pi (nombre)|π]] [[radian]]s. Ce résultat est connu et démontré par [[Euclide]], dans ses ''[[Éléments d'Euclide|Éléments]]''.

Il est équivalent à l'[[axiome des parallèles]] d'Euclide :
:''Par un point donné, on peut mener une et une seule parallèle à une droite donnée.''

Mais il est possible de construire, tout aussi rigoureusement, d'autres géométries, dites ''[[géométrie non euclidienne|non euclidiennes]]'', qui ne respectent pas cet axiome. La somme des angles d'un triangle n'est alors plus constante, mais elle permet de classifier ces géométries, la valeur de 180° gardant son importance : les géométries pour lesquelles la somme des angles d'un triangle est inférieure à 180° sont dites ''[[géométrie hyperbolique|hyperboliques]]'', celles pour lesquelles elle est  supérieure à 180° sont dites ''[[géométrie elliptique|elliptiques]]'' (comme la [[géométrie sphérique]] utilisée pour modéliser la géométrie à la surface de [[planète]]s comme la [[Terre]]).

==En géométrie euclidienne==
En géométrie euclidienne (la géométrie souvent considérée comme usuelle) la somme des angles de tout triangle est égale à 180°. Ainsi, la somme des angles est un [[invariant]] des triangles, qui permet de résoudre de nombreux problèmes élémentaires de [[résolution d'un triangle]].

===Théorème===
Lorsqu'on parle de somme des angles d'un triangle, il est d'usage de considérer les mesures des angles géométriques, la proposition s'écrivant de façon plus rigoureuse (mais aussi plus lourde) :
{{Théorème|La somme des mesures des angles géométriques d'un triangle est égale à la mesure d'un angle plat.|style=display:table}}

===Démonstration===
[[File:Triangle sommeangles Amiot.svg|thumb|Figure illustrant la démonstration, d'après A. Amiot.]]
La démonstration classique depuis Euclide<ref>Proposition {{I}}.32 des [[Éléments d'Euclide|''Éléments'']]</ref> repose sur le tracé de ''la'' droite parallèle à un côté du triangle et passant par le sommet qui n'appartient pas à ce côté. Ainsi, la propriété sur la somme des angles d'un triangle s'appuie sur l'[[axiome des parallèles]]. Différentes rédactions en ont été proposées au cours des siècles. Voici celle que donnait A. Amiot<ref>{{harvsp|Amiot|1870|p=[https://gallica.bnf.fr/ark:/12148/bpt6k996281.image.f46.pagination 30]}}</ref> en 1870. Plutôt que de donner comme constante un angle plat, il parle, à la suite d'Euclide lui-même, de {{citation|deux angles droits}}.

{{Théorème|Démonstration classique, rédigée par A. Amiot|Soit le triangle ABC ; je prolonge le côté AB et je mène par le sommet B la ligne droite BE parallèle au côté opposé AC.

Les angles ACB, CBE sont égaux comme [[angles alternes-internes|alternes-internes]] par rapport aux parallèles AC, BE et à la sécante BC ; les angles CAB, EBD sont aussi égaux comme [[angles correspondants|correspondants]] par rapport aux mêmes parallèles et à la sécante AB. Donc, la somme des trois angles ABC, ACB, CAB du triangle est égale à la somme des trois angles adjacents ABC, CBE, EBD formés sur la ligne droite AD, c'est-à-dire qu'elle est égale à deux angles droits.|style=display:table}}

Cette propriété est un résultat de géométrie euclidienne. Elle n'est pas vérifiée en général en géométrie non euclidienne.

===Trois points alignés===
La démonstration précédente est valable pour un ''triangle vrai'', défini par trois points non alignés. Mais la propriété est aussi vraie pour un ''triangle dégénéré'' constitué de trois points distincts alignés : si trois points A, B et C sont alignés dans cet ordre, les angles du triangle en A et C sont nuls et l'angle en B est plat.

===Angles aigus et obtus===
[[Fichier:Triangle.Obtuse.svg|thumb|Triangle possédant un angle obtus. Les deux autres angles sont alors aigus.]]
La mesure d'un angle géométrique étant un nombre positif, une première conséquence du théorème de la somme des angles est qu'un triangle ne peut posséder plus d'un [[angle obtus]] (c'est-à-dire un angle de mesure supérieure à 90°). En effet, si un triangle possédait deux angles obtus, la somme des mesures de ces deux angles et du troisième angle serait supérieure à 180°.

===Triangles particuliers===
Un [[triangle équilatéral]] est un triangle dont les trois angles ont la même mesure. En notant ''a'' cette mesure et en utilisant la somme des angles d'un triangle, il vient :
:3''a'' = 180°
Donc 
{{Théorème|Triangle équilatéral|Les angles d'un triangle équilatéral mesurent 60° (ou encore {{fraction|π|3}} radians).|style=display:table}}

Un triangle rectangle isocèle ([[Triangle rectangle|demi-carré]]) possède un angle droit (de mesure égale à 90°) et deux angles égaux. En considérant que la somme des angles du triangle, il vient que la somme des deux angles autres que l'angle droit est égale à {{nobr|180 - 90 {{=}} 90°}}. Comme ils sont égaux, ces deux angles mesurent chacun 45°. Ainsi, 
{{Théorème|Triangle rectangle isocèle|Les angles d'un triangle rectangle isocèle ont pour mesures respectives 90°, 45° et 45°.|style=display:table}}

===Triangles semblables===
[[Fichier:Triangles semblables.svg|thumb|Deux triangles semblables.]]
{{Article détaillé|Triangles semblables}}
Deux triangles sont dits ''semblables'' lorsqu'ils ont « la même forme », c'est-à-dire lorsque chaque angle de l'un est égal à un angle de l'autre. Cette définition semble indiquer que, pour prouver que deux triangles sont semblables, il faille démontrer trois égalités. Or, en considérant la somme des angles du triangle, deux égalités suffisent : si deux angles ''a'' et ''b'' d'un  premier triangle sont égaux à deux angles d'un autre, ces triangles sont semblables, car les troisièmes angles des deux triangles auront une mesure, en degrés, égale à {{nobr|180 - (a + b)}} et seront donc égaux. D'où la propriété :
{{Théorème|Triangles semblables|Si ''deux'' angles d'un triangle sont égaux à deux angles d'un autre triangle, alors ces triangles sont semblables.|style=display:table}}

===Conséquence pour les polygones===
[[File:Catalan4.svg|thumb|[[Nombre de Catalan#Triangulations d'un polygone|Les 14 façons]] de décomposer un [[hexagone]] [[Polygone convexe|convexe]] en 4 triangles.]]
Tout [[polygone simple]] (c'est-à-dire [[Polygone#Polygone non croisé|dont les arêtes ne se croisent pas]]) à ''n'' côtés peut être considéré comme [[Triangulation d'un polygone#Méthode "des oreilles"|constitué de ''n'' – 2 triangles accolés]], dont la somme de tous les angles est égale à la somme des [[Angle interne|angles internes]] du polygone. C'est l'une des façons de démontrer que la [[Polygone#Somme des angles|somme des angles internes d'un polygone]] simple à ''n'' côtés est toujours égale à (''n'' – 2)×180°.

En particulier, cette propriété assure que la somme des angles d'un [[quadrilatère]] simple est égale à 360°. Si un quadrilatère simple possède trois angles droits, alors son quatrième angle est aussi droit. Le fait que la somme des angles d'un triangle soit égale à deux droits entraîne ainsi l'[[existence]] de [[rectangle]]s en géométrie euclidienne<ref>{{harvsp|Lombardi|1999|p={{Google Livres|RylgAp8n1nQC|page=23|23}}}}.</ref>.

==Lien avec l'axiome des parallèles==
{{Article connexe|Axiome des parallèles|Axiomes de Hilbert}}
La propriété de géométrie euclidienne doit se lire ainsi : ''la somme des angles de ''tout triangle'' est égale à deux angles droits''. Elle se démontre en utilisant le [[postulat]] des parallèles, appelé aussi ''cinquième postulat d'Euclide'', qui est :

{{Théorème|Axiome des parallèles|Par un point, il passe une et une seule droite parallèle à une droite donnée.|style=display:table}}

Si on ôte cet axiome de la géométrie euclidienne, on obtient le résultat réciproque suivant, dû à  [[Adrien-Marie Legendre]] :

{{Théorème|Théorème de Legendre|S'il existe un triangle dont la somme des angles est égale à deux angles droits, alors cette somme est la même pour tous les triangles, et le cinquième postulat d'Euclide est vrai.|style=display:table}}

Autrement dit, il est possible de remplacer le cinquième postulat d'Euclide par un autre axiome : ''il existe un triangle dont la somme des angles est égale à deux angles droits''. Alors, l'''axiome'' des parallèles devient un [[théorème]] qu'on peut démontrer. Cette permutation ne change en rien les autres résultats de la géométrie euclidienne.

==En géométrie sphérique==
[[File:RechtwKugeldreieck.svg|thumb|Trois points sur une sphère définissent huit triangles sphériques.]]
{{article connexe|Géométrie sphérique|Trigonométrie sphérique}}
On obtient une géométrie cohérente en conservant tous les axiomes de la géométrie euclidienne, sauf l'axiome des parallèles qui devient :
{{Théorème|Axiome des parallèles en géométrie sphérique|Étant donnés une droite et un point extérieur à cette droite, il n'existe aucune droite parallèle à cette droite passant par ce point.|style=display:table}}
Autrement dit, deux droites sont, soit confondues, soit sécantes.

La [[géométrie sphérique]] correspond à ces axiomes. Elle est classiquement représentée par la géométrie d'une [[sphère]] en géométrie euclidienne, cette sphère correspondant au ''plan sphérique''. Les droites (en géométrie sphérique) sont alors les ''grands cercles'' de la sphère, c'est-à-dire les intersections de la sphère avec des plans (au sens euclidien) passant par le centre de la sphère. Un angle entre deux droites sphériques est égal à l'angle formé par les deux plans euclidiens définissant ces droites.

Les résultats sont alors différents de la géométrie euclidienne, en particulier, la somme des angles d'un triangle sphérique n'est plus constante, mais la mesure d'un angle plat (π radians ou 180°) joue néanmoins un grand rôle : 
{{Théorème|Somme des angles d'un triangle en géométrie sphérique|La somme des angles d'un triangle est toujours supérieure à un angle plat.|style=display:table}}
La somme des angles d'un triangle sphérique peut varier entre 180 et 540° (entre π et 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>. La différence entre la somme des angles d'un triangle et la mesure d'un angle plat est proportionnelle à l'[[superficie|aire]] ''S'' du triangle. Soit, avec des angles exprimés en radians :
:<math>S=(\hat A+\hat B+\hat C-\pi)R^2</math>
si la sphère est de rayon ''R'', l'espace euclidien dans lequel elle est plongée étant muni de la distance usuelle.

Un triangle sphérique peut avoir deux ou trois angles droits.

La formule de l'aire montre que, pour un triangle dont l'aire est très proche de zéro, la somme des angles est très proche de l'angle plat. Les résultats de la géométrie euclidienne donnent alors de bonnes approximations de ceux de la géométrie sphérique. En pratique, la géométrie sphérique est utilisée pour l'étude de [[planète]]s comme la Terre, notamment pour la [[navigation astronomique|navigation]]. Mais, pour des mesures ou des raisonnements sur des « petites » portions de planète (comme dans un jardin ou une ville peu étendue), la géométrie euclidienne donne des résultats satisfaisants.

==En géométrie hyperbolique==
[[Fichier:Hyperbolic-triangle-interior-angles.svg|alt=Un triangle hyperbolique quelconque avec trois angles alpha, beta et gamma.|vignette|Triangle hyperbolique (représenté dans le [[disque de Poincaré]]).]]
La somme des angles d'un [[triangle hyperbolique]] est inférieure à pi. 

[[Géométrie hyperbolique#Propriétés métriques]] 

==Historique==
[[File:ARAGO Francois Astronomie Populaire T1 page 0053 Fig10.jpg|thumb|« Triangle sphérique ». Illustration issue du livre ''[[Astronomie populaire (François Arago)|Astronomie populaire]]'' de [[François Arago]] (1854).]]
Le résultat donnant la somme des angles d'un triangle (sous-entendu, en géométrie euclidienne) est connu par les [[mathématiques grecques|anciens Grecs]]. Suivant les sources, il aurait été découvert par [[Thalès de Milet]] (vers 625 - vers 550 {{av JC}}) ou [[Pythagore]] (580 - 495 environ). Pythagore ou ses disciples sont aussi réputés, selon [[Proclus]], en avoir rédigé une démonstration. À l'époque d'[[Aristote]] ({{-s-|IV}}), deux démonstrations sont connues. Il fait l'objet de proposition 32 du [[Livre I des Éléments d'Euclide]] (vers 300 {{av JC}}), qui en donne une démonstration proche de celle connue par Aristote<ref>{{harvsp|Caveing|1997|p=53, 54}}</ref>.

== Notes et références ==
=== Notes ===
{{Références| groupe=alpha}}

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

== Voir aussi ==
=== Bibliographie ===
*{{Ouvrage|prénom1=A.|nom1=Amiot|titre=Éléments de géométrie : rédigés d'après le nouveau programme de l'enseignement scientifique des lycées ; suivis d'un Complément à l'usage des élèves de mathématiques spéciales|lieu=Paris|éditeur=C. Delagrave et Cie|année=1870|pages totales=428|lire en ligne=http://gallica2.bnf.fr/ark:/12148/bpt6k996281}}
*{{Ouvrage
| prénom1=Michèle
| nom1=Audin
| lien auteur1=Michèle Audin
| titre=Géométrie
| éditeur=[[EDP Sciences]]
| collection=Enseignement sup. Mathématiques
| année=2006
| pages totales=420
| isbn=978-2-86883-883-4
| lire en ligne=https://books.google.fr/books?id=n1EdG4fcor0C
}}
*{{Ouvrage|
prénom1=Maurice|
nom1=Caveing|
lien auteur1=Maurice Caveing|
titre=La figure et le nombre : recherches sur les premières mathématiques des Grecs|
éditeur=|
année=1997|
pages totales=424|
isbn=978-2-85939-494-3|
lire en ligne=https://books.google.com/books?id=T6CSoU9bMF8C&printsec=frontcover|
éditeurPresses Univ. Septentrion <!--VALEUR SANS NOM DE PARAMETRE -->
}}
*{{Ouvrage|prénom1=Adrien-Marie|nom1=Legendre|lien auteur1=Adrien-Marie Legendre|titre=Éléments de géométrie|sous-titre=avec des notes, suivis d'un traite de trigonométrie|lieu=Bruxelles|éditeur=Langlet et Compagnie|année=1837|lire en ligne=https://books.google.fr/books?id=kOQGAAAAYAAJ}}
*{{chapitre
|prénom1 = Nikolaj Ivanovič 
|nom1 =Lobačevskij
|lien auteur1 = Nikolaï Ivanovitch Lobatchevski
|titre ouvrage = Œuvres complètes
|tome = 2
|titre chapitre=Pangéométrie ou précis de géométrie fondée sur une théorie générale et rigoureuse des parallèles
|passage =615-680
|url =https://gallica.bnf.fr/ark:/12148/bpt6k99437f/f82
}}
*{{Ouvrage|prénom1=Henri|nom1=Lombardi|titre=Géométries élémentaires|volume=1|éditeur=Presses Univ. Franche-Comté|année=1999|pages totales=292|isbn=978-2-913322-45-5|lire en ligne=https://books.google.com/books?id=RylgAp8n1nQC&printsec=frontcover}}
*{{lien web
|titre=Les géométries non euclidiennes
|auteur=Daniel Perrin
|lien auteur=Daniel Perrin
|revue = Lycée de Romilly
|mois=février
|année=2009
|url=http://www.math.u-psud.fr/~perrin/Conferences/Romilly.pdf
}}

=== Articles connexes ===
* {{Lien|trad=Exterior angle theorem|Théorème de l'angle externe}}
* [[Trigonométrie sphérique]]

{{Portail|géométrie}}

[[Catégorie:Géométrie du triangle]]
[[Catégorie:Axiome de la géométrie]]