Calculateur de théorème du triangle isocèle

Le théorème du triangle isocèle (aussi appelé théorème des angles de la base) est l'un des plus anciens théorèmes de la géométrie plane — il apparaît comme la proposition 5 du Livre I des Éléments d'Euclide (vers 300 av. J.-C.). Il énonce : si deux côtés d'un triangle sont égaux, les angles opposés à ces côtés sont également égaux. Symboliquement :

Si AB = AC, alors ∠B = ∠C.

Cet tutoriel couvre le théorème, sa réciproque, la célèbre preuve historique du « Pons Asinorum » et ses applications tant en algèbre qu'en démonstration.

Définition de « isocèle »

Un triangle isocèle est un triangle possédant au moins deux côtés égaux. Les deux côtés égaux sont appelés les côtés latéraux (ou jambes) et se rejoignent au sommet (angle au sommet). Le troisième côté (souvent différent) est la base, et les deux angles situés à ses extrémités sont les angles de la base.

Certains manuels définissent « isocèle » comme ayant exactement deux côtés égaux (excluant ainsi le triangle équilatéral). D'autres utilisent « au moins deux » (incluant le triangle équilatéral comme cas particulier). La définition inclusive est plus moderne et pratique — tout théorème concernant les triangles isocèles s'applique également aux triangles équilatéraux.

Les deux théorèmes ensemble

Le théorème et sa réciproque forment ensemble une puissante équivalence (« si et seulement si ») :

• Dire : Si deux côtés sont égaux, les angles opposés sont égaux.
• Réciproque : Si deux angles sont égaux, les côtés opposés sont égaux.

Ainsi, vous pouvez déterminer qu'un triangle est isocèle grâce à l'une OU l'autre condition : observez deux côtés égaux OU deux angles égaux.

Le « Pons Asinorum » — la fameuse preuve d'Euclide

La preuve du théorème du triangle isocèle dans les Éléments d'Euclide est connue historiquement sous le nom de « Pons Asinorum » (le « Pont des Ânes ») — les élèves qui parvenaient à franchir ce pont étaient considérés comme prêts pour la géométrie supérieure ; ceux qui ne le pouvaient pas étaient qualifiés d'« ânes ».

La preuve : étant donné △ABC avec AB = AC, nous voulons montrer que ∠B = ∠C.

1. Construire la bissectrice issue de A (appelons-la le rayon AD avec D sur BC).
2. AD = AD (réflexivité)
3. ∠BAD = ∠CAD (définition de la bissectrice)
4. AB = AC (donné)
5. △ABD ≅ △ACD par CAS (Côté-Angle-Côté)
6. ∠B = ∠C (parties correspondantes de triangles congruents — PPC)

Les manuels modernes utilisent généralement cette preuve exacte en 6 étapes. Il existe d'autres preuves (utilisant le milieu, le pied de la perpendiculaire, etc.), mais l'approche par la bissectrice est la plus élégante.

Exemple résolu 1 — trouver les angles de la base à partir de l'angle au sommet

Un triangle isocèle a un angle au sommet ∠A = 40°. Trouvez les angles de la base.

Par le théorème, les deux angles de la base sont égaux. Appelons chacun θ.

40° + θ + θ = 180° (somme des angles d'un triangle)
2θ = 140° → θ = 70°.

Donc ∠B = ∠C = 70°.

Exemple résolu 2 — trouver l'angle au sommet à partir des angles de la base

Un triangle isocèle a des angles de la base de 50° chacun. Trouvez l'angle au sommet.

angle au sommet = 180° − 2(50°) = 80°.

Exemple résolu 3 — utiliser la réciproque

Dans △ABC, ∠B = ∠C = 35°. Prouver que AB = AC.

Par la réciproque du théorème du triangle isocèle : des angles de base égaux ⇒ des côtés latéraux opposés égaux. Donc AB = AC. C.Q.F.D.

La hauteur issue du sommet

La hauteur issue de l'angle au sommet vers la base d'un triangle isocèle possède trois propriétés spéciales (toutes situées sur la même droite) :

• Elle bisecte l'angle au sommet (le divise en deux parties égales).
• Elle bisecte la base (tombe au milieu de BC).
• Elle est perpendiculaire à la base.

C'est pourquoi un triangle isocèle possède un « axe de symétrie » vertical passant par l'angle au sommet. La hauteur est aussi la médiane et la bissectrice — elles coïncident toutes les trois. Cela est unique aux triangles isocèles (et équilatéraux) ; dans les triangles scalènes, ces trois droites sont distinctes.

Aire d'un triangle isocèle

Si la longueur du côté latéral est L et celle de la base est b, la hauteur issue du sommet vers la base est :

h = √(L² − (b/2)²)

(par le théorème de Pythagore appliqué à l'un des deux triangles rectangles congruents formés par la hauteur).

Aire = ½ × b × h = (b/2) × √(L² − (b/2)²).

Exemple : L = 5, b = 6. h = √(25 − 9) = 4. Aire = 3 × 4 = 12.

Le cas équilatéral

Un triangle équilatéral est le cas particulier où les trois côtés sont égaux. Par le théorème du triangle isocèle appliqué à chaque paire de côtés égaux, les trois angles sont égaux. Par la somme des angles de 180° : chaque angle = 60°.

Ainsi, un triangle équilatéral a 3 côtés égaux ET 3 angles égaux ET 3 angles de 60° chacun. Ces trois propriétés s'impliquent mutuellement.

Reconnaître un triangle isocèle dans les problèmes

L'une quelconque de ces conditions suffit pour conclure qu'il s'agit d'un triangle isocèle :

• Deux côtés sont explicitement égaux.
• Deux angles sont explicitement égaux.
• Le triangle possède une ligne de symétrie.
• Une hauteur issue d'un sommet bisecte également le côté opposé.
• Une bissectrice issue d'un sommet est également la médiatrice du côté opposé.

Erreurs courantes

• Confondre triangle isocèle et triangle équilatéral. Isocèle = au moins deux côtés égaux (ou exactement deux, selon la définition). Équilatéral = trois côtés égaux. L'équilatéral est un cas particulier de l'isocèle inclusif.
• Appliquer le théorème aux mauvais angles. Le théorème stipule que les angles OPPOSÉS aux côtés égaux sont égaux. L'angle au sommet (entre les côtés égaux) n'est PAS nécessairement égal à quoi que ce soit d'autre.
• Oublier que la réciproque nécessite aussi une preuve. « Deux angles égaux ⇒ deux côtés égaux » exige sa propre preuve (ou la citation de la réciproque). Elle n'est pas automatiquement identique au théorème direct.
• Traiter la formule de la hauteur comme valable pour tout triangle. La propriété « la hauteur issue du sommet bisecte la base » est unique aux triangles isocèles. Dans les triangles scalènes, la hauteur tombe à un point différent du milieu.