Réflexions du plan échangeant deux droites sécantes 3
Théorème 2 : Dans un triangle ABC non plat, les trois
bissectrices intérieures sont concourantes en un point I,
barycentre du système {(A, a),(B, b),(C, c)}(où a=
BC, b =AC et c=AB). C’est le centre du cercle ins-
crit au triangle.
A
B
C
I
démonstration :Soit Ile barycentre du système {(A, a),(B, b),(C, c)}(on remarque que ABC non
plat ⇒a+b+c6= 0). On a donc :
∀M∈P,−−→
MI =1
a+b+c(a−−→
MA +b−−→
MB +c−−→
MC)
M=A
⇒−→
AI 1
a+b+c(b−−→
AB +c−→
AC) = bc
a+b+c −−→
AB
k−−→
ABk+
−→
AC
k−→
ACk
|{z }
=: −→
u
!.
Donc −→
AI et −→
usont colinéaires. Mais −→
uest un vecteur directeur de la bissectrice intérieure issue de
l’angle b
A, donc (AI)n’est autre que cette bissectrice. On procède de la même manière avec M=Bet
M=Cpour en déduire que Iest bien le point d’intersection des trois bissectrices intérieures.
Par ailleurs, en notant H(resp. K, L) le projeté orthogonal de Isur (BC)(resp. (AC)et (AB)), on
montre que les triangles AIK et AIL sont isométriques (en effet, il ont un côté en commun [sur la
bissectrice issue de b
A], un angle droit chacun et un autre angle identique [grâce à la bissectrice]), donc
que IK =IL. De la même manière, on trouve IL =IH. Le cercle de centre Ipassant par ces trois
points est défini de manière unique, et il est tangent aux trois côtés du triangle (par construction de
H, K et L), donc c’est bien le cercle inscrit.
Théorème 3 : Soit ABC un triangle non plat. La bissectrice intérieure issue de b
A(resp. b
B, b
C) et les-
bissectrices extérieures issues des deux autres angles sont concourantes en un point IA(resp. IB, IC)
qui est le centre du cercle exinscrit relatif au premier sommet. De plus, IAest le barycentre du sys-
tème {(A, −a),(B, b),(C, c)}(resp. IBest le barycentre du système {(A, a),(B, −b),(C, c)},
ICest le barycentre du système {(A, a),(B, b),(C, −c)}).
démonstration :Soit Ile barycentre du système {(A, −a),(B, b),(C, c)}(on remarque que ABC non
plat ⇒b+c−a6= 0). On a donc :
∀M∈P,−−→
MI =1
b+c−a(−a−−→
MA +b−−→
MB +c−−→
MC)
M=A
⇒−→
AI 1
b+c−a(b−−→
AB +c−→
AC) = bc
b+c−a −−→
AB
k−−→
ABk+
−→
AC
k−→
ACk
|{z }
=: −→
u
!.
Donc −→
AI et −→
usont colinéaires. Mais −→
uest un vecteur directeur de la bissectrice intérieure issue de
l’angle b
A, donc (AI)n’est autre que cette bissectrice. Avec M=Bet M=C, on trouvera par ce
calcul un signe −dans la parenthèse, qui prouve que (BI)et (CI)sont les bissectrices extérieures. La
conclusion quant au cercle se traite de la même manière que dans le théorème précédent.