Bissectrice

En mathématiques, de façon informelle, une bissectrice est une demi-droite qui coupe un angle en deux angles égaux. Cette notion peut être généralisée en nommant ainsi la droite qui se superpose à la demi-droite.

Définition

La bissectrice d'un angle^[1] le partage en deux secteurs angulaires superposables. C'est une demi-droite issue du sommet du secteur angulaire.

L'axe de symétrie d'un secteur angulaire porte sa bissectrice.

Démonstration

Si A, B et I sont trois points non alignés, on note B' le symétrique de B par rapport à la droite (AI).

Comme A est sur l'axe de symétrie, AB = AB'. Le triangle BAB' est donc isocèle de sommet A.
Par construction, (AI) est un axe de symétrie du triangle.
La symétrie axiale préserve les angles : ${\widehat {BAI}}={\widehat {IAB'}}$ . [AI) est donc la bissectrice de l'angle en A.

D'un coup de compas, on peut toujours faire apparaître un triangle isocèle dans un secteur angulaire. L'axe de symétrie du triangle isocèle est aussi axe de symétrie pour le secteur angulaire. CQFD.

Remarque : Il peut être commode de décider d'appeler bissectrice tout l'axe et pas seulement la demi-droite contenue dans le secteur angulaire.

Théorème de la bissectrice

Théorème de la bissectrice — Tout point de la bissectrice d'un angle^[2] est à égale distance des côtés de cet angle.

Démonstration

On note [Oz) la bissectrice de l'angle ${\widehat {xOy}}\,$ . A est un point de [Oz). Soient B et C les projetés orthogonaux de A respectivement sur [Ox) et sur [Oy).

On sait que la distance de A à [Ox) est AB ; de même la distance de A à [Oy) est AC.
Par hypothèse, ${\widehat {xOz}}={\widehat {yOz}}=\alpha \,$ .
Les relations trigonométriques dans les triangles rectangles OAC et OAB donnent : AB = OA sin(α) et AC = OA sin(α) donc AB = AC. CQFD

Réciproquement, un point équidistant des côtés de l'angle est sur la bissectrice de cet angle. on peut donc énoncer:

Théorème de la bissectrice (bis) — La bissectrice d'un angle est l'ensemble des points à égale distance des côtés de cet angle.

Corollaire : La bissectrice [Oz) d'un angle xOy est le lieu des centres des cercles tangents aux côtés [Ox) et [Oy) de cet angle.

Preuve du corollaire

Soit M un point de la bissectrice. On construit le point H sur le côté [Ox) tel que la droite (MH) est perpendiculaire à la demi-droite [Ox). On construit de même le point H' sur le côté [Oy). D'après le théorème, MH = MH', donc H et H' sont sur un même cercle C de centre M. De plus, [Ox) est perpendiculaire au rayon [MH] donc [Ox) est tangente au cercle C. De même [Oy) est tangente au cercle C.

Réciproquement, on suppose que C est un cercle de centre M, tangent à [Ox) en un point K et tangent à [Oy) en un point L. Comme (MK) est perpendiculaire à [Ox), MK est la distance de M à [Ox). De même, ML est la distance de M à [Oy). Par hypothèse MK = ML donc M est sur la bissectrice de xOy d'après le théorème (bis). CQFD

Applications :

Ce résultat permet de justifier la construction au compas de la bissectrice.
Il prouve l'existence du point d'intersection des bissectrices d'un triangle, qui se rencontrent au centre du cercle inscrit.

Construction géométrique

Animation montrant les étapes de la construction.

Comme conséquence du théorème de la bissectrice, voici une méthode de construction à la règle et au compas de la bissectrice d'un angle (technique du ballon de football)^{[réf. nécessaire]}

Pointer le compas au sommet de l'angle et tracer un premier arc de cercle. Marquer les points d'intersection de cet arc avec les deux côtés de l'angle.
Pointer successivement le compas aux points d'intersection tracer deux arcs de cercle de même rayon (en gardant le même écartement du compas entre les deux opérations). Marquer le point d'intersection de ces deux arcs.
Relier le sommet de l'angle et le point d'intersection des deux derniers cercles et vous avez tracé la bissectrice de l'angle.

Bissectrices de deux droites sécantes

Les bissectrices d'un couple de droites sécantes sont par définition les bissectrices des quatre secteurs angulaires définis par les deux droites. Il y a donc stricto sensu quatre bissectrices pour deux droites, si on s'en tient à la première définition de bissectrice. Au cours de la preuve du théorème suivant on montre que ces quatre bissectrices sont portées par deux droites qu'on appellera bissectrices des droites sécantes.

Si dans un repère orthonormé, les équations des droites sécantes sont respectivement

$ax+by+c=0,\ a'x+b'y+c'=0$

alors, les équations de leurs bissectrices sont :

${\frac {ax+by+c}{\sqrt {a^{2}+b^{2}}}}=\pm {\frac {a'x+b'y+c'}{\sqrt {a'^{2}+b'^{2}}}}$

Théorème — Les bissectrices d'un couple de droites sécantes sont perpendiculaires.

Démonstration

Notons (zx) et (ty) les deux droites. Elles se coupent en un point O. On appelle :

[Ou) la bissectrice de xOy ;
[Ou') la bissectrice de zOt ;
[Ov) la bissectrice de yOz ;
[Ov') la bissectrice de tOx.

Les angles xOy et zOt sont opposés par le sommet. Ils sont donc égaux. Les angles xOu = 1/2 xOy et zOu' = 1/2 zOt sont donc aussi égaux. Comme [Ox) et [Oz) sont portées par une même droite, il en va de même de [Ou) et [Ou') (on a aussi utilisé le fait que [Ou') est tracée dans le secteur zOt). Il en va de même pour les autres couples de bissectrices.
Par hypothèse, les angles zOy et yOx sont supplémentaires : zOy + yOx = 180°. Donc uOv = uOy + yOv = 1/2 xOy + 1/2 yOz = 1/2 (xOy + yOz) = 90°. CQFD

Si u et v sont deux vecteurs unitaires dirigeant respectivement les droites D et D', alors u + v et u – v dirigent les axes de symétrie de la réunion $D\cup D'$ .

On obtient ainsi la notion de bissectrice de deux droites affines sécantes sans passer par le point de vue naïf des angles géométriques. Le produit scalaire (u + v) • (u – v) est nul comme u et v sont unitaires : les deux bissectrices sont orthogonales.

Bissectrices de deux droites et faisceaux harmoniques^[3] —

Si D et D' sont deux droites sécantes et Δ, Δ' sont leurs bissectrices alors D, D', Δ et $\Delta '\,$ forment un faisceau harmonique.
Si D, D', Δ et Δ' forment un faisceau harmonique et si Δ et Δ' sont perpendiculaires alors Δ et Δ' sont les bissectrices de D et D'

Bissectrices d'un triangle

Théorème — Dans un triangle :

Les bissectrices intérieures sont concourantes, et leur point d'intersection I est le centre du cercle inscrit dans le triangle. Ce cercle est tangent aux trois côtés du triangle ;
Deux bissectrices extérieures concourent avec la bissectrice intérieure restante. On obtient ainsi les centres des trois cercles exinscrits au triangle ;
Le cercle passant par les pieds des bissectrices intérieures passe aussi par le point de Feuerbach.

Le segment de bissectrice intérieur au triangle, issu d'un sommet (A par exemple) a pour longueur $AJ={\frac {2bc\cos({\widehat {A}}/2)}{b+c}}$ .

Comme ${\frac {AI}{IJ}}={\frac {b+c}{a}}$ , $AI={\frac {2bc\cos({\widehat {A}}/2)}{a+b+c}}$ ^[4].

L'angle formé par deux bissectrices intérieures ${\widehat {BIC}}$ (par exemple) est égal à ${\frac {\pi +{\widehat {A}}}{2}}$ .

L'angle formé par deux bissectrices extérieures ${\widehat {BI_{A}C}}$ (par exemple) est égal à ${\frac {\pi -{\widehat {A}}}{2}}$ .

Particularité : dans un triangle ABC, la bissectrice intérieure issue d'un sommet (C) recoupe la médiatrice du segment opposé ([AB]) en un point S sur le cercle circonscrit.

Le cercle de centre S passant par A (et B) passe aussi par le centre du cercle inscrit à ABC.

Article détaillé : Cercles inscrit et exinscrits d'un triangle.

Démonstration^[5] — Pour le premier point du théorème, le point d'intersection de deux bissectrices intérieures est à égale distance des trois côtés du triangle. Il est donc aussi sur la troisième bissectrice intérieure. Un cercle centré au point de concours et tangent à un côté sera tangent aux deux autres (appliquer le corollaire du théorème de la bissectrice (bis)).

Théorème de la bissectrice intérieure du triangle — Dans un triangle ABC avec I sur [AB], la droite (CI) est la bissectrice intérieure issue de C si et seulement si ${\frac {CA}{CB}}={\frac {IA}{IB}}$ .

Démonstration (par la loi des sinus)

Sens direct

La loi des sinus dans le triangle IAC donne :

{\frac {IA}{\sin({\widehat {ICA}})}}={\frac {CA}{\sin({\widehat {CIA}})}}

;

et dans le triangle ICB :

{\frac {IB}{\sin({\widehat {ICB}})}}={\frac {CB}{\sin({\widehat {CIB}})}}

;

donc

{\frac {CA}{IA}}={\frac {\sin({\widehat {CIA}})}{\sin({\widehat {ICA}})}}

;

{\frac {CB}{IB}}={\frac {\sin({\widehat {CIB}})}{\sin({\widehat {ICB}})}}

;

Si la droite (CI) est la bissectrice intérieure issue de C alors

\sin({\widehat {ICA}})=\sin({\widehat {ICB}})

;

\sin({\widehat {CIB}})=\sin(\pi -{\widehat {CIA}})=\sin({\widehat {CIA}})

;

donc

{\frac {CA}{IA}}={\frac {CB}{IB}}

;

donc

{\frac {CA}{CB}}={\frac {IA}{IB}}

;

Sens réciproque

Si ${\frac {CA}{CB}}={\frac {IA}{IB}}$ ;

alors

{\frac {CA}{IA}}={\frac {CB}{IB}}

;

donc, par la loi des sinus,

{\frac {\sin({\widehat {CIA}})}{\sin({\widehat {ICA}})}}={\frac {\sin({\widehat {CIB}})}{\sin({\widehat {ICB}})}}

;

donc

{\frac {\sin({\widehat {CIA}})}{\sin({\widehat {ICA}})}}={\frac {\sin({\widehat {CIA}})}{\sin({\widehat {ICB}})}}

;

donc

{\widehat {ICA}}={\widehat {ICB}}

;

donc la droite (CI) est la bissectrice intérieure issue de C.

Une preuve par le théorème de Thalès est donnée dans la page sur les divisions harmoniques. Le calcul de deux manières des aires des triangles CAI et CBI donne une autre démonstration élémentaire.

On peut alors calculer les longueurs des segments que la bissectrice intérieure issue de C découpe sur le côté opposé : ${\frac {IA}{CA}}={\frac {IB}{CB}}={\frac {IA+IB}{CA+CB}}={\frac {AB}{CA+CB}}$ . On obtient : $IA={\frac {AB\cdot CA}{CA+CB}}={\frac {bc}{a+b}}$ et $IB={\frac {AB\cdot CB}{CA+CB}}={\frac {ac}{a+b}}$ .

Le théorème de Stewart permet alors d'obtenir la longueur du segment de bissectrice : $CI^{2}={\frac {4ab(p-c)p}{(a+b)^{2}}}$ où p est le demi-périmètre.

Applications

On utilise extensivement la caractérisation précédente de la bissectrice dans l'étude du problème d'Apollonius : lieu des M tels que MA/MB = k.
Avec cette caractérisation de la bissectrice, on retrouve aisément la bissectrice d'un angle MFN, où M et N sont deux points sur une ellipse (plus généralement, conique propre) de foyer F et de directrice D et la construction de la tangente en un point d'une conique^[6].

Notes et références

↑ Stella Baruk, Dico de mathématiques : collège et CM2, Paris, Seuil, juin 2008, 851 p. (ISBN 978-2-02-057401-3), p. 28.
↑ Dans toute la suite, les angles seront considérés saillants.
↑ Michèle Audin, Géométrie, EDP Sciences, 2006, 3^e éd. (ISBN 978-2-7598-0180-0, lire en ligne), p. 213.
↑ Mohammed AASSILA, 1000 challenges mathématiques, géométrie, Ellipses, 2018, p. 127
↑ Voir aussi « Bissectrice », sur geogebra.org.
↑ Audin 2006, p. 235.

Voir aussi

Sur les autres projets Wikimedia :

bissectrice, sur le Wiktionnaire

Bibliographie

Jean-Denis Eiden, Géométrie analytique classique, Calvage & Mounet, 2009 (ISBN 978-2-91-635208-4)

v · m Triangles
Description	Sommet Apex Côté Angle Base
Types	Triangle équilatéral Triangle isocèle Triangle d'or Triangle rectangle Angle droit Cathète Hypoténuse Triangle de Kepler Triangle obtusangle Triangle acutangle Triangle isocèle rectangle Triangle pseudo-rectangle Triangle scalène Triangle de Héron
Points remarquables (Nombre de Kimberling)	Centres : Centre du cercle inscrit Centre de gravité Centre du cercle circonscrit Orthocentre Centre du cercle d'Euler Centre du cercle de Spieker Points de Brocard Points de Feuerbach Point de Fermat ou Point de Torricelli Point de Longchamps Point de Miquel Point de Gergonne Point de Nagel Point de Vecten Points isogonaux Points isodynamiques Point de Lemoine Points de Terquem Points de Napoléon Mittenpunkt
Droites remarquables	Cévienne Hauteur Médiane Bissectrice Médiatrice Droite de Brocard Droite d'Euler Droite de Lemoine Droite de Newton Droite de Simson (ou droite de Wallace) Droite de Steiner Ménélienne Symédiane Axe orthique Droite centrale
Cercles remarquables	Cercle circonscrit Cercle exinscrit Cercle inscrit Cercle d'Euler Cercle d'Apollonius Cercles de Lemoine Cercle de Longchamps Cercle de Miquel Cercle de Taylor Cercle de Tucker Cercle podaire Cercle de Brocard Cercle de Spieker Cercle de Fuhrmann Cercles de Johnson Cercle pédal
Triangles remarquables	Triangle de Bevan Triangle de Feuerbach Triangle de Gergonne Triangle de Morley Triangle de Nagel Triangle inscrit de périmètre minimal (Problème de Fagnano) Triangle médian Triangle orthique Triangle podaire Triangle tangentiel Triangle de Fuhrmann
Courbes remarquables	Deltoïde de Steiner Coniques Conique inscrite de Serret (ou de MacBeath) Conique orthique Hyperbole de Kiepert Paraboles Parabole tritangente Parabole de Kiepert Ellipses Ellipse de Mandart Ellipse de Steiner Coniques circonscrites et inscrites à un triangle Cubiques
Théorèmes	Théorème de Pythagore Théorème de Thalès Théorème de Napoléon Théorème japonais de Carnot Théorème de Ménélaüs Théorème de Morley Théorème de Nagel Théorème de Neuberg Théorème de Hamilton Théorème d'Euler Théorème de Feuerbach Théorème de Viviani Avec des céviennes Théorème de Ceva Théorème de Gergonne Théorème de Stewart Théorème de Terquem Théorème de Routh Théorème de Jacobi Avec des cercles Théorème des six cercles Théorème des trois cercles de Miquel
Relations entre triangles	Triangles isométriques Triangles semblables Inégalités dans le triangle
Résolution	Loi des cosinus Loi des sinus Loi des tangentes Loi des cotangentes Aire Formule de Héron