1
L'ÉQUIVALENCE DE DAVID F. BARROW
Jean - Louis AYME 1
1
1' A
J'
0
K 3'
2 P*
K'
P
J
B I I' C
2'
3
Résumé. L'auteur propose le résultat de David Francis Barrow amené par le cercle d'Eckart
Schmidt concernant sept points. Un appendice relatant le problème 2 de l'O.I.M. de
1985 éclaire la preuve synthétique de l'auteur et une archive rappelle la démonstration
de Barrow.
Les figures sont toutes en position générale et tous les théorèmes cités peuvent tous
être démontrés synthétiquement.
Remerciements. L'auteur remercie le professeur Francisco Bellot Rosado pour sa contribution à
l'archive.
Abstract. The author proposes the result of David Francis Barrow led by the Eckart Schmidt’s
circle concerning seven points. An appendix detailing the problem of the I.M.O. 1985
illuminates the synthetic proof of the author and an archive recalled the Barrow's
demonstration.
The figures are all in general position and all cited theorems can all be demonstrated
synthetically.
Aknowledgment.The author thanks Professor Francisco Bellot Rosado for his contribution to the
archive
1
St-Denis, Île de la Réunion (Océan Indien, France), le 30/10/2012.
1
2
Sommaire
A. L'équivalence d'Auguste Miquel 3
B. La vision de David F. Barrow 5
1. En quatre figures
2. En une figure
C. Le cercle d'Eckart Schmidt 8
1. Le résultat
2. Une courte biographie d'Eckart Schmidt
D. L'équivalence de David F. Barrow 16
1. L'équivalence
2. Une courte biographie de David F. Barrow
3. Un exercice
E. Appendice 20
1. 26th I.M.O. (1985) Day 2 Problem 5
F. Annexe 22
1. Le M-cercle de Mannheim
G. Archive 23
1. Article de David F. Barrow
2
3
A. L'ÉQUIVALENCE D'AUGUSTE MIQUEL
VISION
Figure :
A
1
J
2 3
B I C
Traits : ABC un triangle,
I un point
J, K deux points resp. de (AC), (AB)
et 1, 2, 3 trois cercles circonscrits resp. aux triangles AJK, BKI, CIJ.
Donné : I est sur (BC) si, et seulement si, 1, 2 et 3 sont concourants.
Commentaire : une preuve synthétique de cette équivalence peut être vue sur le site de l'auteur 1.
CONDITION NÉCESSAIRE
(1) le point de concours, noté P, est "le point de Miquel de ABC relativement à 1, 2, 3"
(2) IJK est ''le triangle de Miquel de ABC''
(3) 1, 2, 3 sont resp. ''les A, B, C-cercles de Miquel de ABC''
(4) Trois isoclines
1
Ayme J.-L., Auguste Mique, élève de l'institut Barbet à Paris en 1836, G.G.G. vol. 13 ; http://perso.orange.fr/jl.ayme
3
4
A
1
K
2
J
P
3
B I C
<PKA = <PIB = <PJC à 2.Π près.
(PI), (PJ) et (PK) partant toute de P et étant également inclinées sur les droites
latérales de ABC, et dans le même sens, sont trois isoclines 1 de ABC
(5) <PKA à 2.Π près est "le P-angle de Miquel de ABC"
(6) Sous ce point de vue, P est ''le pivot de ABC relativement à 1, 2, 3 ou à IJK''.
Énoncé traditionnel :
si, les sommets I, J, K d'un triangle sont situés respectivement
sur les droites latérales (BC), (CA), (AB) d'un triangle ABC
alors, les cercles circonscrits aux triangles ARJ, BPK et CQI, sont concourants.
Note historique : ce simple résultat correspond à la ''Reciproque 2'' de l'article d'Auguste Miquel 2.
Pour Miquel, il était juste un lemme pour aborder son ''merveilleux pentagone''.
Le nom de ''pivot'' a été donné par l'anglais Henri Georges Forder 3 et ce résultat
d'Auguste Miquel est connu aujourd'hui sous le nom du ''théorème du pivot''.
Rappelons que très peu de géomètres contemporains de Miquel avaient réalisé que
ce résultat allait devenir la source d'un grand nombre de théorèmes.
CONDITION SUFFISANTE
(1) La condition suffisante est ''Le théorème des trois cercles concourants'' et correspond au
''Théorème I'' de l'article d'Auguste Miquel 1.
1
Terminologie de F. G.-M.
2
Miquel Aug., Théorèmes de Géométrie, Journal de mathématiques pures et appliquées de Liouville vol. 1, 3 (Oct. 1838) 485-487.
3
Forder H. G., Geometry, Hutchinson, Londres (1960) 17 ; Higher Course Geometry, Cambridge Press (1949)
4
5
B. LA VISION DE DAVID F. BARROW
1. En quatre figures
1
A
P
J
C
B I
Théorème du pivot relativement au triangle IJK
J'
0
K
K'
P
J
B I I' C
Le cercle circonscrit de IJK
1
Miquel Aug., Théorèmes de Géométrie, Journal de mathématiques pures et appliquées de Liouville vol. 1, 3 (Oct. 1838) 485-487.
5
6
1' A
J'
0
K 3'
P*
K'
P
J
B I I' C
2'
Théorème du pivot relativement au triangle I'J'K'
J'
0
K
P*
K'
P
J
B I I' C
Les pivots P et P*
Le résultat de Barrow de 1913 i.e. ''le second pivot est l'isogonal du premier relativement à ABC'' apparaît
comme une généralisation du ''pedal circle theorem'' de Jean Joseph Auguste Mathieu découvert en 1865 (inverse
pour isogonal).
1
Mathieu J. J. A., Étude de géométrie comparée, avec applications aux sections coniques Nouvelles Annales 2-ème série tome 4
(1865) 393-407 ; http://www.numdam.org/numdam-bin/feuilleter?j=NAM&sl=0
6
7
2. En une figure
1
1' A
J'
0
K 3'
2 P*
K'
P
J
B I I' C
2'
3
Traits : ABC un triangle,
I, J, K trois points resp. de (BC), (CA), (AB),
1, 2, 3 trois cercles circonscrits resp. aux triangles AJK, BKI, CIJ,
P le pivot de ABC relativement à 1, 2, 3,
0 le cercle circonscrit au triangle IJK,
I', J', K' les seconds points d'intersection de 0 resp. avec (BC), (CA), (AB),
1', 2', 3' trois cercles circonscrits resp. aux triangles AJ'K', BK'I', CI'J'
et P* le pivot de ABC relativement à 1', 2', 3'.
Donné : P* est l'isogonal de P relativement à ABC. 1
Commentaire : la preuve de David F. Barrow est présentée en F. Archive.
1
Barrow D. F., A theorem about isogonal conjugates, American Mathematical Monthly, vol. 20, 8 (1913) 251-252
7
8
C. LE CERCLE D'ECKART SCHMIDT
1. Le résultat
VISION
Figure :
1
1' A
J'
0
K
3'
2 B' P*
K'
C'
A' J
P
B I I' C
2'
3
Traits : aux hypothèses et les notations précédentes, nous ajoutons
A', B', C' les seconds points d'intersection resp. de 1 et 1', 2 et 2', 3 et 3'.
Donné : A', B', C', P et P* sont cocycliques . 1
VISUALISATION
1
Schmidt E., Circumcenters of Residual Triangles, Forum Geométricorum Vol. 3 (2003) 207-214 ; http://forumgeom.fau.edu/
8
9
1
1' A
J'
0
K
3'
2 B' 0' P*
Q
K'
A' J
P
B I I' C
2'
3
Notons Q le point d'intersection de (AA') et (BB').
D'après "Le M-cercle de Mannheim" 1 (Cf. Annexe 1),
appliqué à
(1) 1 , 2 et Q, A', B', P et Q sont cocycliques
(2) 1', 2' et Q, A', B', P* et Q sont cocycliques ;
en conséquence, A', B', P, P* et Q sont cocycliques.
Notons 0' ce cercle.
1
Ayme J.-L., Les cercles de Morley, Euler, Mannheim…, G.G.G. vol. 2 ; http://perso.orange.fr/jl.ayme
9
10
1
1' A
J'
0
K
3'
2 B' P*
Q'
K'
C'
A' J
P
B I I' C
2'
3
Notons Q' le point d'intersection de (BB') et (CC').
Mutatis mutandis, nous montrerions que B', C', P, P* et Q' sont cocycliques.
10
11
1
1' A
J'
0
K
3'
2 B' 0'
Q, Q' P*
K'
C'
A' J
P
B I I' C
2'
3
En conséquences, (1) A', B', C', P, P*, Q et Q' sont sur 0'
(2) Q' et Q sont confondus.
Conclusion partielle : (AA'), (BB') et (CC') sont concourantes en Q.
Conclusion : A', B', C', P, P* et Q sont cocycliques.
Note historique : Eckart Schmidt a prouvé analytiquement ce résultat.
Scolies : (1) les triangles A'B'C' et ABC sont perspectifs de centre Q
(2) 0' est ''Le cercle d'Eckart Schmid de P relativement à ABC''
(3) Position du centre de 0
11
12
1
1' A
J'
0
K
B' 0'
Q P*
K' C'
A' O J
P
B I I' C
Notons O le centre de 0.
D'après ''26th I.M.O. (1985) Day 2 Problem 5'' (Cf. Appendice 1)
appliqué au triangle AJ'K' avec 0, 1 et 1', (OA') (A'AQ).
Mutatis mutandis, nous montrerions que (OC') (B'BQ)
(OC') (C'CQ).
Conclusion : O est sur 0'.
(4) (OQ) est une droite diamétrale de 0'
(5) Les P, P*-angles de Miquel de ABC
12
13
J'
K
3'
0' P*
Q S
K'
C'
O J
P
B I I' C
Notons S le second point d'intersection de (PI) avec 0'.
Les cercles 3 et 0', les points de base I et C', les moniennes (IPS) et (CC'Q),
conduisent au théorème 0 de Reim ; il s'en suit que (IC) // (SQ).
13
14
J'
K
3'
0'
P*
Q S
K'
C'
O J
P
B I I' C
D'après A. L'équivalence d'Auguste Miquel
appliqué au triangle SII' avec P sur (SI), C sur (II'), P*,
les cercles 0', 3 et 3' étant concourant en C', I', S et P* sont alignés.
J'
K 0
0'
P*
Q S
K'
O J
P
B I I' C
Nous avons : (II') // (SQ) et (SQ) (SO) ;
d'après l'axiome IVa des perpendiculaires, (II') (SO) ;
en conséquence, (SO) est la S-hauteur et médiane de SII'.
Conclusion : le triangle SII' est S-isocèle ou encore <PIB et <P*I'B sont supplémentaires.
14
15
(5) (P*I'), (P*J') et (P*K') partant toutes de P* et étant également inclinées sur les droites
latérales de ABC, et dans le même sens, sont trois isoclines 1 de ABC.
(6) Relativement aux trois isoclines (PI), (PJ) et (PK) de ABC,
(P*I'), (P*J') et (P*K') sont trois anticlines de ABC.
2. Une courte biographie d'Eckart Schmidt
Professeur de Lycée en Allemagne, Eckart Schmidt a enseigné les Mathématiques et la Physique.
Depuis dix ans, il est à la retraite et consacre une grande partie de son temps à la Géométrie. Il publie ses
recherches et ses résultats en allemand dans le site 2 ''Geometrie-Themen'' qu’il a ouvert depuis 2003.
Il vit actuellement dans le nord de l'Allemagne à proximité de la mer Baltique et du port de Kiel (Schleswig-
Holstein).
1
Terminologie de F. G.-M.
2
http://eckartschmidt.de/
15
16
D. L'ÉQUIVALENCE DE DAVID F. BARROW
1. L'équivalence
VISION DOUBLE
Figure :
J'
K
P*
K'
P J
B I I' C
Traits : ABC un triangle,
IJK, I'J'K' deux triangles inscrits dans ABC,
P le point de Miquel associé à IJK
et P* le point de Miquel associé à I'J'K'.
Donné : I, J, K, I', J' et K' sont cocycliques
si, et seulement si,
P et P* sont deux points isogonaux de ABC.
Commentaire : nous garderons par la suite les hypothèses et les notations présentées en B. 2. qui conduisent à
cette figure.
VISUALISATION NÉCESSAIRE 1
1
Barrow D. F., A theorem about isogonal conjugates, American Mathematical Monthly, vol. 20, 8 (1913) 251-252
16
17
A 1
1'
J'
0
K
K' P*
P J
B I I' C
Commentaire : montrons que (AP) et (AP*) sont deux A-isogonales de ABC.
Une chasse angulaire :
* d'après ''Le théorème de l'angle inscrit'', <P*AJ' = <P*K'J' ;
* d'après ''La relation de Chasles'', <P*K'J' = <P*K'A + <AK'J' ;
* par une autre écriture, <AK'J' = <KK'J' ;
* d'après C. scolie 4, <P*K'A = <AJP :
* par substitution, <P*K'J' = <AJP + <KK'J' ;
* d'après ''Le théorème de l'angle inscrit'', <KK'J' = <KJJ' ;
* par une autre écriture, <KJJ' = <KJA ;
* par substitution et commutation, <P*K'J' = <KJA + <AJP ;
* d'après ''La relation de Chasles'', <P*K'J' = <KJP :
* d'après ''Le théorème de l'angle inscrit'', <P*K'J' = <KAP.
Conclusion partielle : (AP) et (AP*) sont deux A-isogonales de ABC.
Mutatis mutandis, nous montrerions que (BP) et (BP*) sont deux B-isogonales de ABC
(CP) et (CP*) sont deux C-isogonales de ABC.
Conclusion : par définition, P et P* sont deux points isogonaux de ABC.
Énoncé traditionnel :
17
18
Note historique : dans son article, David F. Barrow affirme qu'il doit exister une preuve élégante de son
Résultat et avoue ne pas l'avoir pas trouvée.
VISUALISATION SUFFISANTE
J'
K
Aj"
K'
Ak"
Ai"
P
J
B I I' C
Notons 0 le cercle circonscrit à IJK,
I", J", K" les seconds points d'intersection de 0 resp. avec (BC), (CA), (AB)
et Ai", Aj", Ak" les anticlines de (PI), (PJ), (PK) passant resp. par I", J", K"
relativement à ABC.
Raisonnons par l’absurde
en affirmant que I' et I", J' et J", K' et K" sont resp. distincts.
D'après C. scolie 5 et 6, Ax", Ay" et Az" sont concourantes.
Notons P" ce point de concours.
D'après C., P" est l'isogonal de P ;
en conséquences, (1) P" et P* sont confondus
(2) I' et I", J' et J", K' et K" sont confondus, ce qui est contradictoire.
Conclusion : I, J, K, I', J' et K' sont cocycliques.
Énoncé traditionnel : pout tout un point non situé sur le cercle circonscrit d'un triangle,
si, on mène trois isoclines à partir de ce point
et trois anticlines à partir de l'isogonal de ce point
alors, les six points d'intersection sur les côtés du triangle sont cocycliques.
18
19
2. Une courte biographie de David F. Barrow
David Francis Barrow est né à Athens (Louisiane, États-Unis) en 1888.
Il est le fils de David Crenshaw Barrow Jr. connu aussi sous le nom de ''Uncle Dave'' qui, à cette époque, était
professeur de mathématiques à l'Université de Géorgie (États-Unis). Après avoir été élève du lycée d'Athens, il
est étudiant en 1906 à l'université et obtient en 1910 son diplôme de fin d'étude. Il poursuit son cursus à
l'Université d'Harvard (Connecticut, États-Unis) pour obtenir une maîtrise en 1911 et un doctorat en 1913. Ses
études postdoctorale, l'amène à Turin (Italie) et en d'autres lieux.
A son retour d'Europe, il épouse Mary Frances Arnold de Philomath (Géorgie, États-Unis) et obtient un poste à
l'université du Texas de 1914 à 1916. Au cours de l'année 1917-18, il est instructeur au Sheffield Scientific
School.
En 1918, il est appelé dans les services armés où il travaille au bureau de l'aviation et est libéré à la fin des
hostilités de la première guerre mondiale.
En 1920, il commence à enseigner à l'Université de Géorgie comme Associate Professor de mathématiques, puis
est nommé professeur en 1923, puis chef du département durant la brève période de 1944 à 1945. Il prend sa
retraite en 1956.
He was well liked as a teacher,
inheriting his father's enjoyment of helping students solve problems.
He wrote a paper "Can a robot calculate the table of logarithms? ",
previewing a subject of major interest following the advent of the electronic computer.
Il décède en 1970.
3. Un exercice
VISION
Figure :
J'
0 2*
K
X
3*
P*
K' P
J
B I I' C
Traits : aux hypothèses et les notations précédentes, nous ajoutons
2*, 3* les cercles circonscrits resp. aux triangles P*JJ', P*KK'
et X le second point d'intersection de 2* et 3*.
Donné : K, X et J sont alignés.
19
20
E. APPENDICE
1. 26th I.M.O. (1985) Day 2 Problem 5
VISION
Figure :
A
3
2
M N
1
K
P B C
Traits : ABC un triangle non isocèle,
1 un cercle passant par B et C,
O le centre de 1,
K, N les seconds points d'intersection de 1 resp. avec [AB], [AC],
2, 3 les cercles circonscrits resp. aux triangles ABC, AKN
et M le second point d'intersection de 2 et 3.
Donné : (OM) est perpendiculaire à (AM).1
VISUALISATION
A
3
2
M N
1
K
P B C
1
Circle center O passes through the verices A and C, Mathlinks du 11/11/2005 ;
http://www.artofproblemsolving.com/Forum/viewtopic.php?f=49&t=60787&start=0.
20
21
Notons P le point d'intersection de (KN) et (BC).
D'après Monge "Le théorème des trois cordes" 1, (AM) passe par P.
A
3
2
M N Q
1
K
R O
P B C
Notons Q, R les seconds points d'intersection resp. de (MN), (MB) avec 1.
Les cercles 1 et 3, les points de base K et N, les moniennes (BKA) et (QNM),
conduisent au théorème 0 de Reim ; il s'en suit que (BQ) // (AM).
Les cercles 2 et 1, les points de base B et C, les moniennes (ACN) et (MBR),
conduisent au théorème 0 de Reim ; il s'en suit que (AM) // (NR) ;
par transitivité de la relation //, (BQ) // (NR).
Le trapèze BQNR étant inscriptible dans le cercle 1, est isocèle ;
en conséquence, le triangle MBQ et M-isocèle
D'après le théorème de la médiatrice, (OM) (BQ) ;
nous avons : (BQ) // (AM) ;
d'après l'axiome IVa des perpendiculaires, (OM) (AM).
Conclusion : (OM) est perpendiculaire à (AM).
Scolies : (1) M est le point de Miquel-Wallace de ABC et de la ménélienne (PNK)
(2) Les diagonales (BN) et (QR) se coupent sur (AO).2
1
Ayme J.-L., Le théorème des trois cordes, G.G.G. vol. 6 ; http://pagesperso-orange.fr/jl.ayme/.
2
Trapèze complet.
21
22
F. ANNEXE
1. Le M-cercle de Mannheim
VISION
Figure 1 :
A
1
4
A' B'
2 Q
M
C'
B P C
Traits : ABC un triangle,
P, Q, R trois points de [BC], [CA], [AB],
1, 2, 3 les cercles circonscrits aux triangles ARQ, BPR, CQP,
A', B', C' trois points resp. de 1, 2, 3,
4 le cercle passant par A', B', C'
et M le point d'intersection de (AA') et (BB')
Donné : (CC') passe par M si, et seulement si, 4 passe par M.
1
Sharygin I. a choisi cette figure pour la jaquette de son livre Problemas de geometria, Editions Mir. (1986) Moscou.
22
23
G. ARCHIVE 1
1
Comminiqué par le professeur Francisco Bellot Rosado
2
Barrow D. F., A theorem about isogonal conjugates, American Mathematical Monthly, vol. 20, 8 (1913) 251-252
23
24
24
25
25
