Cercle circonscrit à un triangle

Deux médiatrices sont forcément concourantes (on raisonne par l'absurde: si elles ne se coupent pas, elles sont parallèles, comme elles sont perpendiculaires à leurs côtés respectifs, les côtés en questions sont aussi parallèles donc les trois sommets du triangle sont alignés, ce qui contredit l'hypothèse de départ qui dit que le triangle est non aplati).

Notons O l'intersection des deux médiatrices des segments [AB] et [AC].

• O est sur la médiatrice de [AB] donc AO = BO.
• O est sur la médiatrice de [AC] donc AO = CO.

Donc BO = CO : par suite O est sur la médiatrice du segment [BC]. Les trois médiatrices sont donc concourantes en O.

• Existence

Elle a été prouvée ci-dessus : AO = BO = CO, donc le cercle de centre O et passant par A passe aussi par B et C.

• Unicité

Si un cercle passe à la fois par A et B, son centre appartient à la médiatrice de [AB]. S'il passe par A et C, son centre appartient à la médiatrice de [AC]. Donc, si un cercle passe par les trois points A, B et C, son centre appartient à la fois aux médiatrices de [AB] et de [AC], c'est-à-dire à leur intersection. Celle-ci se réduit à un point, O ; le cercle a donc nécessairement pour centre O. Le rayon du cercle est donc égal à AO. On a unicité du centre et du rayon, donc du cercle.

La formule des sinus nous dit que :

${\displaystyle {\frac {a}{\sin {\hat {A}}}}=2R}$

donc le rayon du cercle circonscrit ne dépend que de la longueur de la base a et de l'angle au sommet opposé ${\displaystyle {\hat {A}}}$ . Il en découle que pour deux points fixes A et B sur un cercle de rayon R et distants de a, tout point C sur ce cercle à l'exception de la coïncidence avec l'un des autres points forme un angle constant ${\displaystyle {\widehat {ACB}}}$ .

${\displaystyle {\widehat {ACB}}=\arcsin {\frac {2R}{a}}}$ .

Il existe donc bien une infinité de points C tel que l'angle ${\displaystyle {\widehat {ACB}}}$ soit constant, et le lieu de ces points est un cercle de rayon ${\displaystyle R={\frac {a}{2\sin {\hat {A}}}}}$ .

• Position du centre

Soit Ω le centre du cercle et I le centre de [AB]. O se trouve donc sur la médiatrice de [AB], et [AO] est un rayon du cercle. On a donc

${\displaystyle {AO}^{2}={AI}^{2}+{IO}^{2}}$

On notera h la distance IΩ.

${\displaystyle h^{2}=R^{2}-\left({\frac {a}{2}}\right)^{2}=\left({\frac {a}{2\sin {\hat {A}}}}\right)^{2}-\left({\frac {a}{2}}\right)^{2}}$

${\displaystyle h^{2}=\left({\frac {a}{2}}\right)^{2}\left({\frac {1}{\sin ^{2}{\hat {A}}}}-1\right)=\left({\frac {a}{2}}\right)^{2}\left({\frac {\cos ^{2}{\hat {A}}}{\sin ^{2}{\hat {A}}}}\right)}$

${\displaystyle h={\frac {a}{2\tan {\hat {A}}}}}$

Le cercle décrit par le sommet C est donc entièrement caractérisé par la longueur de sa base et l'angle au sommet. On peut donc tracer le cercle sans connaitre précisément le point C.

Le symétrique de l'orthocentre H par rapport à (BC) appartient au cercle circonscrit à ABC. Par conséquent, le cercle circonscrit à BHC est le symétrique du cercle circonscrit à ABC par rapport à (BC). Les deux cercles ont donc même rayon. On procède de même pour les autres cercles.

L'équation d'un cercle dans un repère orthonormé est de la forme ${\displaystyle x^{2}+y^{2}+\alpha x+\beta y+\gamma =0}$ .Les quatre points ${\displaystyle M,A,B,C}$ sont donc cocycliques si et seulement s'il existe trois constantes ${\displaystyle \alpha ,\beta ,\gamma }$ telles que :

${\displaystyle {\begin{cases}x^{2}+y^{2}+\alpha x+\beta y+\gamma &=0\\x_{A}^{2}+y_{A}^{2}+\alpha x_{A}+\beta y_{A}+\gamma &=0\\x_{B}^{2}+y_{B}^{2}+\alpha x_{B}+\beta y_{B}+\gamma &=0\\x_{C}^{2}+y_{C}^{2}+\alpha x_{C}+\beta y_{C}+\gamma &=0\\\end{cases}}}$ .

L'existence d'un tel triplet de constantes équivaut à l'existence, dans le noyau de la matrice ${\displaystyle N:={\begin{pmatrix}x^{2}+y^{2}&x&y&1\\x_{A}^{2}+y_{A}^{2}&x_{A}&y_{A}&1\\x_{B}^{2}+y_{B}^{2}&x_{B}&y_{B}&1\\x_{C}^{2}+y_{C}^{2}&x_{C}&y_{C}&1\end{pmatrix}}}$ , d'un vecteur dont la première composante est ${\displaystyle 1}$ .

Comme les trois points ${\displaystyle A,B,C}$ sont supposés non alignés, le mineur ${\displaystyle {\begin{vmatrix}x_{A}&y_{A}&1\\x_{B}&y_{B}&1\\x_{C}&y_{C}&1\end{vmatrix}}}$ est non nul, si bien que la condition précédente équivaut simplement à ${\displaystyle \ker N\neq \{0\}}$ donc à ${\displaystyle \det N=0}$ .

La condition angulaire ci-dessus ${\displaystyle ((MB),(MC))=((AB),(AC))}$ s'écrit en complexes ${\displaystyle \arg \left({\frac {z-b}{z-c}}\right)=\arg \left({\frac {a-b}{a-c}}\right)\mod \pi }$

${\displaystyle [a,b,c,z]=\left({\frac {z-b}{z-c}}\right):\left({\frac {a-b}{a-c}}\right)}$ réel

${\displaystyle \Im {((z-b)({\overline {z}}-{\overline {c}})(a-c)({\overline {a}}-{\overline {b}}))}=0}$

L'homothétie de centre H et de rapport 1/2, transforme A₁ (symétrique de A par rapport à Ω) en I₁, de même les points I₂ et I₃ sont les images de deux points du cercle circonscrit. Le cercle d'Euler circonscrit au triangle I₁I₂I₃ est l'image du cercle circonscrit à ABC, dans l'homothétie de centre H et de rapport 1/2.

On note K₁, le point d'intersection (autre que A) de la hauteur (AH₁) avec le cercle circonscrit. Le segment [AA₁] étant un diamètre, le triangle AK₁A₁, inscrit dans un demi-cercle, est rectangle. Les droites (BC) et (K₁A₁), perpendiculaires à la hauteur (AH₁), sont parallèles. La droite (I₁H₁) passe par le milieu I₁ de [HA₁], c'est la droite des milieux de HA₁K₁, H₁ est donc milieu de [HK₁].La droite (HK₁) étant perpendiculaire à (BC), K₁ est le symétrique de H par rapport à (BC).

Notons I₁ le milieu de [BC], I₂ le milieu de [AC] et I₃ le milieu de [AB]. Il n'est pas difficile de voir que l'homothétie de centre G et de rapport -1/2 transforme le triangle ABC en le triangle médian I₁I₂I₃ et le cercle circonscrit de ABC en cercle circonscrit à I₁I₂I₃ : ce dernier cercle est précisément le cercle d'Euler.

Cette même homothétie de centre G permet de dire que ${\displaystyle {\overrightarrow {OI_{1}}}=-{\frac {1}{2}}{\overrightarrow {HA}}={\frac {1}{2}}{\overrightarrow {AH}}}$ . Soit A₁ le symétrique de A par rapport à O. Dans le triangle AHA₁, la droite (OI₁) est donc la droite des milieux du triangle et le point I₁ le milieu de [HA₁] : A₁ est le symétrique de H par rapport à I₁.

Le cercle circonscrit au triangle est le cercle d'Euler du triangle formé par les centres des cercles exinscrits (Triangle de Bevan). Les sommets du triangle sont les pieds des hauteurs du triangle de Bevan associé. Ainsi, ledit cercle passe également par les milieux des côtés du triangle de Bevan (qui sont les centres des cercles exinscrits au triangle originel) et les milieux des segments joignant l'orthocentre du triangle de Bevan (le centre du cercle inscrit du triangle originel) et les sommets du triangle de Bevan (les milieux des segments joignant le centre du cercle inscrit et le centre des cercles exinscrits au triangle originel).