Cercles de Johnson

En géométrie plane, les cercles de Johnson sont trois cercles de même rayon et ayant un point H en commun. Les trois autres points d'intersection des cercles entre eux possèdent de nombreuses propriétés.

Il se peut, dans le cas où deux des cercles sont tangents, qu'un des points soit confondu avec H mais, même dans ce cas particulier, les résultats énoncés ci-dessous restent valides.

Théorème de Johnson[modifier | modifier le code]

Roger Johnson démontre vers 1916^[1] que ces trois points sont sur un cercle de même rayon que les trois premiers cercles.

Démonstration — Une démonstration consiste à mettre en évidence une série de losanges.

Si on appelle $J A$ , $J B$ , $J C$ les centres des trois cercles $Γ a$ , $Γ b$ , $Γ c$ de rayon $r$ , $H$ leur point de concours et $A$ , $B$ et $C$ les points d'intersections respectifs de $Γ b$ et $Γ c$ , de $Γ c$ et $Γ a$ , de $Γ a$ et $Γ b$ , on observe la présence de trois losanges de côté $r$ : $J A CJ B H$ , $J B HJ C A$ , $J C HJ A B$ .

On construit alors le point $O$ tel que $BJ A CO$ soit un parallélogramme. Ce parallélogramme ayant deux côtés consécutifs de même longueur $r$ , c'est un losange.

De plus, on obtient les égalités vectorielles suivantes :

{\overrightarrow {OC}}={\overrightarrow {BJ_{A}}}={\overrightarrow {J_{C}H}}={\overrightarrow {AJ_{B}}}

.

Le quadrilatère $AJ B CO$ est donc un parallélogramme, qui de plus possède deux côtés consécutifs de longueur $r$ . C'est donc également un losange.

On obtient ainsi les égalités

r=OA=OB=OC

.

On prouve ainsi que les trois points sont sur un cercle de centre $O$ et de rayon $r$ .

Système orthocentrique[modifier | modifier le code]

On peut d'autre part observer que le point H est orthocentre du triangle ABC.

En effet, dans les losanges définis précédemment, le vecteur ${\overrightarrow {HC}}$ est orthogonal à la droite $(J A J B)$ . Or les égalités vectorielles précédentes permettent de dire que le quadrilatère $BJ A J B A$ est un parallélogramme. Le vecteur ${\overrightarrow {HC}}$ est donc aussi orthogonal à $(AB)$ .

Il en est de même du vecteur ${\overrightarrow {HB}}$ et de la droite $(AC)$ ainsi que du vecteur ${\overrightarrow {HA}}$ et de la droite $(BC)$ . Le point $H$ est bien orthocentre du triangle $(ABC)$ .

Triangle de Johnson[modifier | modifier le code]

On appelle triangle de Johnson, le triangle formé par les centres des trois cercles. Ce triangle est le symétrique du triangle formé par les points d'intersection des trois cercles, par rapport au centre du cercle des neuf points commun aux deux triangles.

Démonstration — Si on appelle $P A$ , $P B$ , $P C$ , les points diamétralement opposés à $H$ dans les cercles $Γ a$ , $Γ b$ , $Γ c$ , le point $H$ est centre du cercle circonscrit au triangle $P A P B P C$ .

Puisque $J A HJ B C$ est un parallélogramme, il en est de même de $P A J A J B C$ . Il y a donc égalité des vecteurs ${\overrightarrow {J_{A}J_{B}}}$ et ${\overrightarrow {P_{A}C}}$ . De même, les vecteurs ${\overrightarrow {J_{A}J_{B}}}$ et ${\overrightarrow {CP_{B}}}$ sont égaux. Le point $C$ est donc milieu de $P A P B$ . De même, le point $B$ est milieu de $P C P A$ et le point $A$ est donc milieu de $P B P C$ .

Le triangle $P A P B P C$ est l'image du triangle (ABC) par l'homothétie de centre G, l'isobarycentre du triangle, et de rapport –2. Le triangle $J A J B J C$ étant l'image du triangle $P A P B P C$ par l'homothétie de centre $H$ et de rapport 1/2, il est aussi l'image de $(ABC)$ par la composée de ces deux homothéties, c'est-à-dire par une homothétie de rapport –1 et de centre $J$ , barycentre des points $G$ et $H$ affectés des coefficients –3/2 et –1/2. Or ce point correspond au centre du cercle des neuf points du triangle ABC. Par symétrie, c'est aussi le centre du cercle des neuf points du triangle de Johnson.

On peut remarquer en outre que les deux triangles ont même droite d'Euler qui, passant par $J$ , reste globalement invariante par la symétrie de centre $J$ et que les points $O$ et $H$ , centres respectifs des cercles circonscrits aux deux triangles sont également symétriques par rapport à ce point.

Notes et références[modifier | modifier le code]

↑ David Wells, dans Le dictionnaire Penguin des curiosités géométriques, Eyrolles, 1995 (ISBN 978-2-212-03637-4)

Lien externe[modifier | modifier le code]

(en) Eric W. Weisstein, « Johnson's Theorem », sur MathWorld

Portail de la géométrie

[1] David Wells, dans Le dictionnaire Penguin des curiosités géométriques, Eyrolles, 1995 (ISBN 978-2-212-03637-4)

[1]

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 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