Cercle d'Euler

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (octobre 2019).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?

En géométrie, le cercle d'Euler d'un triangle (aussi appelé cercle des neuf points, cercle de Feuerbach, cercle de Terquem, cercle médian) est l'unique cercle passant par les neuf points remarquables suivants :

Les trois milieux $I_{i}$ des trois côtés du triangle ;
Le pied $H_{i}$ de chacune des trois hauteurs du triangle ;
Le milieu $J_{i}$ de chacun des trois segments reliant l'orthocentre $H$ à un sommet du triangle.

Découverte

Dans son mémoire E325 présenté en 1763, Euler a considéré séparément les deux cercles circonscrits aux triangles $I_{1}I_{2}I_{3}$ et $H_{1}H_{2}H_{3}$ sans noter leur coïncidence ^[1].

En 1821, les mathématiciens français Brianchon et Poncelet démontrent ensemble que les milieux des côtés et les pieds des hauteurs du triangle sont cocycliques : ils mettent ainsi en évidence l'existence d'un cercle passant par ces six points remarquables. L'année suivante, le résultat fut redécouvert par le géomètre allemand Feuerbach. Le cercle d'Euler est aussi appelé cercle de Feuerbach. De plus, toujours en 1822, il démontra que le cercle des neuf points est tangent extérieurement aux cercles exinscrits et tangent intérieurement au cercle inscrit du triangle. Ce résultat s'appelle le théorème de Feuerbach et ajoute quatre nouveaux points remarquables : les points de contact, appelés points de Feuerbach.

Par la suite, Terquem mit en évidence que trois autres points appartiennent à ce cercle : les milieux des segments formés par les sommets du triangle et l'orthocentre. En 1842, Terquem apporta une deuxième preuve au théorème de Feuerbach. Une troisième preuve géométrique fut apportée en 1854.

Depuis, quelques dizaines d'autres points remarquables du triangle ont été ajoutés à la liste des points sur le cercle.

Démonstration géométrique

Le quadrilatère $I_{1}I_{3}I_{2}H_{1}$ est un trapèze car $(I_{2}I_{3})$ est parallèle à $(BC)=(I_{1}H_{1})$ . Ce trapèze est isocèle car, d'après le théorème de Thalès dans le triangle $(ABC)$ , $I_{1}I_{2}$ est la moitié de $AB$ . Or il en est de même de $H_{1}I_{3}$ , médiane du triangle rectangle $ABH_{1}$ ^[2]. Or un trapèze isocèle est inscriptible dans un cercle. Il en résulte que les points $I_{1}$ , $I_{2}$ , $I_{3}$ et $H_{1}$ sont cocycliques. Il en est de même des autres points $H_{i}$ .
L'angle $I_{1}H_{1}J_{1}$ est droit. Il en est de même de l'angle $I_{1}I_{3}J_{1}$ car $(I_{1}I_{3})$ est parallèle à $(AC)$ , et, d'après le théorème de Thalès dans le triangle $ABH$ , $I_{3}J_{1}$ est parallèle à $(BH)$ , qui est perpendiculaire à $(AC)$ . Il en résulte que les deux triangles $I_{1}H_{1}J_{1}$ et $I_{1}I_{3}J_{1}$ sont rectangles, donc inscrits dans le cercle de diamètre $[I_{1}J_{1}]$ , et donc que les points $I_{1}$ , $I_{3}$ , $H_{1}$ et $J_{1}$ sont cocycliques. Les trois premiers étant éléments du cercle d'Euler, il en est de même de $J_{1}$ . Le même raisonnement s'applique aux autres points $J_{i}$ ^[3].

Démonstration par homothétie

Le cercle des neuf points d'Euler est homothétique du cercle circonscrit au triangle dans deux homothéties :

l'homothétie de centre $G$ et de rapport $- 1 / 2$ : elle permet de mettre en place la droite et le cercle d'Euler.

l'homothétie de centre $H$ et de rapport $1 / 2$ : elle permet de trouver les neuf points du cercle d'Euler comme points correspondants du cercle circonscrit.

L'homothétie de centre G

Notons I₁ le milieu de [BC], I₂ le milieu de [AC] et I₃ le milieu de [AB]. L'homothétie de centre G et de rapport $- 1 / 2$ transforme le triangle $(ABC)$ en le triangle médian $(I_{1}I_{2}I_{3})$ et le cercle circonscrit à $(ABC)$ en le cercle circonscrit à $(I_{1}I_{2}I_{3})$ : ce dernier cercle est précisément le cercle d'Euler.

Soit $H$ le point aligné avec $G$ et $O$ , que l'homothétie de centre $G$ et de rapport $- 1 / 2$ transforme en $O$ : alors $H$ est l'orthocentre du triangle ABC. En effet, soit A₁ le symétrique de A par rapport à $O$ et considérons le triangle AHA₁ : $G$ en est le centre de gravité puisqu'au $2 / 3$ de la droite joignant le sommet $H$ au point $O$ , milieu du côté AA₁; AG en est une autre médiane; I₁ est ainsi milieu de HA₁, les droites (OI₁) et (AH) sont donc parallèles, et ${\overrightarrow {OI_{1}}}={\tfrac {1}{2}}{\overrightarrow {AH}}$ . Puisque (OI₁) est orthogonale à (BC) par construction du cercle circonscrit au triangle ABC, la droite (AH) en est une hauteur de même que (BH) et (CH) par un raisonnement identique.

L'homothétie de centre H

L'homothétie de centre $H$ et de rapport $1 / 2$ , transforme A₁ 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_{1}I_{2}I_{3})$ 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).

Les symétriques de l'orthocentre par rapport aux côtés du triangle sont situés sur le cercle circonscrit au triangle.

Le point H₁ est le milieu de [HK₁], c'est donc l'image de K₁ par l'homothétie de centre H. Comme K₁ est situé sur le cercle circonscrit, H₁ est sur le cercle d'Euler.

Les pieds des hauteurs sont situés sur le cercle d'Euler.

L'homothétie de centre $H$ transforme les sommets du triangle en les milieux des segments [AH], [BH] et [CH] qui sont les trois points d'Euler K₁, K₂, K₃ situés sur le cercle.

C'est le mathématicien Leonhard Euler qui a remarqué le premier que dans un triangle quelconque (ABC) le centre de gravité $G$ , le centre du cercle circonscrit $O$ et l'orthocentre $H$ sont alignés. (Précisément, l'homothétie de centre $G$ et de rapport $- 1 / 2$ transforme $H$ en $O$ .)

Quelques propriétés

On montre, en utilisant l'homothétie introduite au premier paragraphe, que :

Le rayon du cercle d'Euler est la moitié du rayon du cercle circonscrit.

Son centre, soit $\Omega$ , est sur la droite d'Euler, on a :

${\overline {GH}}=-2{\overline {GO}}$ et ${\overline {G\Omega }}=-{1 \over 2}{\overline {GO}}$

ce dont on déduit que dans un triangle, le centre du cercle d'Euler $\Omega$ , est le milieu de [HO], segment joignant l'orthocentre $H$ au centre du cercle circonscrit $O$ .

On déduit de ces relations que les points $(O,\Omega ,G,H)$ sont en division harmonique :

${\frac {\overline {GO}}{\overline {G\Omega }}}=-{\frac {\overline {HO}}{\overline {H\Omega }}}$

le cercle d'Euler est le cercle circonscrit au triangle médian (formé par les milieux des côtés) et au triangle orthique (formé par les pieds des hauteurs).
toute hyperbole équilatère passant par les trois sommets a son centre sur le cercle d'Euler, en particulier l'hyperbole de Kiepert, de Jeřábek et de Feuerbach. C'est le théorème conique de Feuerbach.
le cercle d'Euler est tangent intérieurement au cercle inscrit à ABC et tangent extérieurement à ses cercles exinscrits. C'est le théorème de Feuerbach.
l'orthopôle de toute droite passant par le centre du cercle circonscrit est sur le cercle d'Euler.

Hexagramme de Pascal

Article détaillé : Hexagramme de Pascal.

Théorème — Dans un hexagramme inscriptible, les côtés opposés se coupent en P, Q et R. Les points P, Q et R sont alignés sur la droite de Pascal (PQ).

Les côtés opposés de l'hexagone croisé H₁I₂H₂I₃H₃I₂H₁, inscrit dans le cercle d'Euler, se coupent en P, Q et R.

Une propriété projective que n'avait pas vue Euler :

La droite de Pascal de l'hexagramme est la droite d'Euler du triangle.

Généralisation

La conique des neuf points est une ellipse pour un point intérieur au triangle.

La conique des neuf points est une hyperbole pour un point extérieur au triangle.

Le cercle d'Euler est un cas particulier de section conique, où l'on a considéré les trois sommets du triangle A, B et C et son orthocentre $H$ . Ces quatre points forment un quadrilatère complet mais surtout un système orthocentrique. Si on considère un quadrilatère complet qui ne soit pas orthocentrique, on retrouve une propriété similaire en montrant qu'il existe une courbe conique passant par les intersections des diagonales et les milieux des six côtés du quadrilatère^[4]. La courbe est une ellipse si $H$ est intérieur à ABC, et une hyperbole sinon (elle est même équilatère si $H$ est sur le cercle circonscrit de ABC).

Notes et références

↑ André Warusfel, Euler, les mathématiques et la vie, Vuibert, 2009, p. 158-159
↑ Ce triangle rectangle est inscrit dans un cercle de centre $I_{3}$ et de rayon $I_{3}A=I_{3}B=I_{3}H_{1}$ .
↑ Trajan Lalesco, La géométrie du triangle, Paris, Gabay, 1987 (1^re éd. Vuibert - 1952), 120 p. (ISBN 2-87647-007-1)
↑ (en) Maxime Bôcher, « On a Nine-Point Conic », Annals of Mathematics, vol. 6, n^o 5,‎ 1892, p. 132–132 (DOI 10.2307/1967142).

Voir aussi

Articles connexes

Bibliographie

Michel Collet, Georges Griso, Le cercle d'Euler, Maths en plus, Vuibert, 1987
Jean-Denis Eiden, Géométrie analytique classique, Calvage & Mounet, 2009 (ISBN 978-2-91-635208-4)
François Netillard. « Cercle d’Euler et de Feuerbach », Mathématiques vivantes, n°72, p.9-59, 2022

Liens externes

(en) Eric W. Weisstein, « Nine-Point Circle », sur MathWorld

(de) Stefan Götz, Franz Hofbauer: Ein einfacher Beweis für den Satz von Feuerbach mit koordinatenfreien Vektoren

Portail de la géométrie

[1] André Warusfel, Euler, les mathématiques et la vie, Vuibert, 2009, p. 158-159

[2] Ce triangle rectangle est inscrit dans un cercle de centre $I_{3}$ et de rayon $I_{3}A=I_{3}B=I_{3}H_{1}$ .

[Lalesco-3] Trajan Lalesco, La géométrie du triangle, Paris, Gabay, 1987 (1^re éd. Vuibert - 1952), 120 p. (ISBN 2-87647-007-1)

[4] (en) Maxime Bôcher, « On a Nine-Point Conic », Annals of Mathematics, vol. 6, n^o 5,‎ 1892, p. 132–132 (DOI 10.2307/1967142).

[1]

[2]

[3]

[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