Calculateur de postulat d'addition d'angles

Le postulat de l'additivité des angles est l'un des axiomes fondamentaux de la géométrie plane. Il énonce : si un point B se trouve à l'intérieur d'un angle ∠AOC, alors les deux angles plus petits ∠AOB et ∠BOC remplissent exactement l'angle plus grand. Sous forme d'équation :

∠AOC = ∠AOB + ∠BOC

Cette affirmation en apparence simple est l'un des outils les plus utilisés dans les démonstrations géométriques : elle permet de décomposer un grand angle en parties plus petites connues, ou de combiner des parties connues pour trouver une mesure totale. Ce tutoriel explique précisément ce que dit le postulat, la condition de « entre », et comment l'utiliser dans les preuves.

Configuration

Trois demi-droites partagent une extrémité commune (le sommet) O : la demi-droite OA, la demi-droite OB et la demi-droite OC. Supposons que la demi-droite OB soit « entre » les demi-droites OA et OC — c'est-à-dire que B se trouve à l'intérieur de l'angle formé par OA et OC.

Alors ∠AOC est l'angle « principal » allant de OA à OC, et ∠AOB et ∠BOC sont les deux angles « secondaires » dans lesquels OB le divise.

Le postulat affirme : l'angle principal = somme des parties secondaires.

L'importance de la condition « entre »

Le postulat de l'additivité des angles ne s'applique que lorsque la demi-droite OB est ENTRE les demi-droites OA et OC. Si OB est à l'extérieur de l'angle (de l'autre côté de l'une des demi-droites), le postulat ne s'applique pas directement ; vous pourriez obtenir des relations de somme, mais avec des signes ou des dispositions différents.

Ce que signifie « entre » : tracer OB commence à l'intérieur de ∠AOC. Lorsque vous balayez de OA vers OC, vous croisez OB.

Trois façons d'utiliser le postulat

Une fois la condition « entre » satisfaite, le postulat offre trois raccourcis de calcul :

1. Total à partir des parties : si ∠AOB et ∠BOC sont connus, ∠AOC = ∠AOB + ∠BOC.
2. Une partie à partir du total et de l'autre partie : ∠AOB = ∠AOC − ∠BOC.
3. Décomposition : ∠AOC = ∠AOB + ∠BOC peut être divisée davantage si d'autres demi-droites partagent l'angle.

C'est le rôle de la calculatrice : entrer deux des trois valeurs, obtenir la troisième.

Exemple résolu 1 — somme des parties

La demi-droite OB se trouve entre les demi-droites OA et OC. ∠AOB = 35°, ∠BOC = 50°. Trouvez ∠AOC.

∠AOC = ∠AOB + ∠BOC = 35° + 50° = 85°.

Exemple résolu 2 — trouver une partie à partir du total

La demi-droite OB se trouve entre OA et OC. ∠AOC = 120°, ∠AOB = 45°. Trouvez ∠BOC.

∠BOC = ∠AOC − ∠AOB = 120° − 45° = 75°.

Exemple résolu 3 — mise en place d'une preuve utilisant le postulat

Dans une preuve géométrique, vous pourriez rencontrer :

Donné : ∠AOC = 90°. ∠AOB = ∠BOC. Trouvez ∠AOB.

Étape 1 : Appliquer l'additivité des angles : ∠AOC = ∠AOB + ∠BOC.
Étape 2 : Remplacer l'égalité donnée (∠AOB = ∠BOC) : 90° = 2 × ∠AOB.
Étape 3 : Résoudre : ∠AOB = 45°.

Cette preuve en trois étapes montre le postulat combiné à la propriété de substitution algébrique — un schéma très courant en géométrie introductive.

La bissectrice et l'additivité des angles

Une bissectrice est une demi-droite qui divise un angle en deux parties égales. Par le postulat de l'additivité des angles :

Si la demi-droite OB est la bissectrice de ∠AOC, alors ∠AOC = ∠AOB + ∠BOC = 2 × ∠AOB.

Chaque angle plus petit est donc exactement la moitié du total. C'est la manière formelle de parler des bissectrices — en combinant la propriété de bisection avec le postulat de l'additivité des angles.

Le postulat de la soustraction des angles

Un corollaire, parfois appelé « postulat de la soustraction des angles » : si des angles égaux sont soustraits d'angles égaux, les différences sont égales. Symboliquement :

Si ∠AOC = ∠DEF et ∠AOB = ∠DEG (où B est entre OA et OC, et G est entre DE et DF), alors ∠BOC = ∠GEF.

Il s'agit simplement d'algèbre appliquée au postulat de l'additivité des angles — mais avoir un nom distinct est utile dans les preuves à deux colonnes.

Décomposition multi-étapes

Le postulat s'étend à plus de demi-droites. Si QUATRE demi-droites OA, OB, OC, OD partagent un sommet (avec OB et OC entre OA et OD), alors :

∠AOD = ∠AOB + ∠BOC + ∠COD

La somme s'étend : tout angle « principal » peut être décomposé en la somme d'angles consécutifs plus petits, tant que les demi-droites sont disposées dans l'ordre intérieur.

Où le postulat apparaît dans les preuves

• Angles intérieurs des triangles. L'angle intérieur d'un triangle à un sommet peut être divisé en deux sous-angles lorsqu'une cévienne (ligne du sommet au côté opposé) est tracée. L'angle complet = somme des parties.
• Preuves d'angles avec droites parallèles. Lorsqu'une sécante crée plusieurs sous-angles à un sommet, l'additivité des angles permet de les assembler.
• Décomposition des polygones. Le calcul des sommes des angles intérieurs implique souvent de décomposer les angles des sommets du polygone en morceaux.
• Preuves de bissectrices. Montrer que deux moitiés d'un angle bissecté sont égales utilise l'additivité des angles + la définition de la bissectrice.

Erreurs courantes

• Ignorer la condition « entre ». Le postulat exige que la demi-droite OB soit à l'intérieur de ∠AOC. Si OB est du même côté que OA ou OC, ou à l'extérieur de l'angle, la forme simple de la somme ne s'applique pas.
• Confondre avec la paire linéaire / relation supplémentaire. Les angles d'une paire linéaire (ceux formant une ligne droite) somment à 180° — un concept séparé. L'additivité des angles peut donner 180° (lorsque ∠AOC est un angle plat) mais cela n'arrive que si la configuration est établie ainsi.
• Ajouter des angles qui ne sont pas au même sommet. L'additivité des angles nécessite que les trois angles partagent le sommet O. Les angles situés à des sommets différents ne se combinent pas via ce postulat.
• Utiliser « addition » pour signifier l'addition des degrés ET l'addition des extrémités des demi-droites. Le postulat concerne les mesures angulaires (en degrés), et non la construction de demi-droites. L'« addition » est numérique.