Complementarite
Complementarite
Jean-Louis AYME
M
C'
B'
Q
R
B A' C
Sommaire
A. Historique 3
B. Maurice Philbert d'Ocagne 5
C. Définitions 6
1. Point complémentaire ou la construction d'Ocagne
2. Le point d'Ocagne
3. Point anticomplémentaire - construction
D. Exemples 14
1. Complément du complément et point médian d'un quadrilatère
2. Complément du complément et points médians partiels d'un quadrilatère
3. Complément du complément et gaussienne d'un quadrilatère
4. Complément d'un point de Ceva
5. Anticomplément d'un point de Ceva
6. Anticomplément du point de Bevan ou le point de Longuet-Higgins
7. Anticomplément du point de Feuerbach ou le point X100
E. Généralisation ou la P-complémentarité 31
1. Le point de vue adopté
2. La P-complémentarité
3. Cohérence
F. Annexe 36
1. Le théorème faible de Desargues
2. Tiers-point et milieu
Avertissement : les références indiquées sont celles trouvées par l'auteur et peuvent donc être modifiées.
2
3
A. HISTORIQUE
C'est au début du III-ième siècle avant notre ère qu'Euclide1 d'Alexandrie évoque le centre O du cercle
circonscrit d'un triangle dans ses Éléments. Quelques décennies plus tard, Archimède2 de Syracuse s'intéresse à
deux points remarquables d'un triangle, le point médian G qu'il appelle "χεντρον βαρϖν" et à l'orthocentre3 H
qui, durant de nombreux siècles, sera appelé "point d'Archimède".
H G O
En 1765, Léonhard Euler4 est le premier géomètre a avoir l'intuition de regrouper l'orthocentre, le point médian
et le centre du cercle circonscrit d'un triangle sur une droite qui aujourd'hui porte son nom. Cette démarche allait
donner à la future "Géométrie du Triangle", le premier moule d'une synthèse d'un ordre plus élevé dont la nature
allait être expliquée par ses successeurs.
En 1836, Christian von Nagel5 écrit un livre intitulé Le développement de la géométrie moderne du triangle dans
lequel il présente quatre autres triades6 analogues à celle d'Euler par exemple, les trois triades formées par
Na G I
Ge G Mt
O G N
En 1866, Carl Gustave Reuschle7 du lycée de Stuttgart (Allemagne), généralise le résultat d'Euler en considérant
les couples de points (P, P') relativement à un triangle donné pour lesquels G est le second tiers-point du segment
[PP'] à partir de P.
P G P'
Reuschle observe que cette relation est vérifiée par un sommet du triangle et le milieu du côté opposé, ainsi que
par les points extrêmes participant aux triades précédentes. Travaillant sur la relation de conjugaison qui lie P à
1
Euclide (vers 325 - vers 265 a. J.-C.), proposition 5, Livre IV des Éléments.
2
Archimède, proposition 13, Sobre el equilibrio de los platos, Livre I (vers 225 a. J.-C.).
3
Archimède, Scolies, lemme 5.
Heath T. L., Works of Archimedes, Cambridge, 1897, Lemmas 5.
4
Euler, Solutio facilis, 1765.
5
Nagel (von) C., Untersuchungen ueber die wichtigsten zum Dreieck gehoerigen Kreise (1836)
6
Baptist P., Die Entwicklung der Neueren Dreiecksgeometrie, Wissenschaftsverlag, Mannheim (1992).
7
Reuschle C. G. (1812-1875), Über die Punckte des dreiecks, deren Verbindungsstrecken wom Schwerpunckt gedrittelt, Zeitschrift
für Mathemùatik und Physik 11 (1866) 475-493.
3
4
P', il donne à (P, P') le nom de "couple de Nagel" et à (PP'), le nom de "droite d'Euler". Il présente à son tour,
quatre nouveaux couples de Nagel dont celui-ci
Fe
O
I G
N Na
B C
où X est le point d'intersection de la droite joignant l'orthocentre au point de Feuerbach Fe avec la droite joignant
le point de Nagel au centre du cercle circonscrit d'un triangle, et Y le point diamétralement opposé à Fe sur le
cercle d'Euler de ce triangle. Précisons que ses trois autres couples de Nagel mettent en oeuvre les points adjoints
de Fe et les trois cercles exinscrits.
M
C'
B'
Q
R
B A' C
En 1882, Maurice d'Ocagne découvre une construction des couples (P, P') en considérant les symétriques de P
par rapport aux sommet du triangle médian A'B'C' de ABC.
4
5
En 1884, Émile Hain8 revisitant la relation de conjugaison en prenant pour exemple un sommet d'un triangle et le
milieu du côté opposé, observe que celui-ci est le sommet correspondant du triangle complémentaire (médian,
médial). En conséquence, il préfère envisager cette conjugaison sous l'aspect de la complémentarité. Ainsi, ce
milieu devient le point complémentaire du sommet correspondant et par extension, P', le complémentaire de P.
En 1886, Gaston Gohierre de Longchamps9 envisage la relation réciproque. Ainsi, P devient l'anticomplément de
P'.
L'année suivante, Émile Vigarié10, est apparemment le premier géomètre à formuler dans le langage vectoriel,
cette complémentarité.
Comme la recherche ne désire nullement s'arrêter en si bon chemin, le professeur Adolphe Mineur (1867-1950)
de l'université de Bruxelles (Belgique) écrit en 1924 Cubiques Anallagmatiques11 un livre de 77 pages dans
lequel il présente la meilleure description des cubiques d'un triangle selon le regretté Steve Sigur12. Dans ce livre,
Mineur expose algébriquement en recourrant aux coordonnées barycentriques et trilinéaires, une extension du
concept de complémentarité que de récents chercheurs traduiront géométriquement.
8
Hain E., Archives de Grunert (1885) 214.
9
Longchamps (de) G., Journal de Mathématiques Élémentaires (1886) 131.
10
Vigarié E., Mathesis 7 (1887) 6, 57.
11
Mineur A., Cubiques Anallagmatiques, Librairie J. van Dijl, 38-38a Rue des Étudiants, Bruxelles.
12
http://www.paideiaschool.org/Teacherpages/Steve_Sigur/resources/analagmatic%20cubics/analagmatic%20cubics.html.
5
6
Élève du collège Chaptal, puis du lycée Fontanges, il entre en 1880 à l'École Polytechnique après avoir déjà
publié dans le Journal de Mathématiques de Bourget, et en sort comme ingénieur dans le corps des Ponts et
Chaussées.
En 1883, il écrit un article dans les Nouvelles Annales de mathématiques où il introduit le terme de "symédiane"
lequel allait remplacer celui de "médiane antiparallèle" introduit par Lemoine dans les Nouvelles Annales de
1873.
En 1885, il est affecté à Cherbourg pour y construire une station hydraulique.
En 1892, il reçoit le prix Leconte pour sa Nomographie publiée l'année précédente et en 1894 le prix Dalmont
pour l'ensemble de ses travaux mathématiques, ces deux prix étant décernés par L'Académie des Sciences.
Répétiteur à l'École polytechnique en 1893, puis professeur de géométrie à l'École Nationale des Ponts et
Chaussées l'année suivante, il prend la direction du Service des cartes en 1901.
Nommé professeur à l'École Polytechnique en 1912, il est invité deux années après au colloque de la Edinburgh
Mathematical Society pour donner deux conférences.
En 1920, il devient Inspecteur général des Ponts et Chaussées et est élu Académicien libre à l'Académie des
sciences, le 30 janvier 1922,
Il décède le 23 septembre 1938 au Havre (France).13
En 1955, son ami René Dugas, ingénieur des Mines, complète et publie une Histoire abrégée des sciences
mathématiques.
Rappelons que sous le pseudonyme de Pierre Delix, Maurice d'Ocagne a produit quelques essais littéraires, et
notamment une comédie en un acte, la Candidate, qui a eu plus de cent représentation à Paris au théâtre Cluny
(1888-89).
Pour terminer, notons aussi qu'une avenue et une école maternelle du XIV-ème arrondissement de Paris portent
son nom.
C. DÉFINITIONS
VISION
Figure :
M
C'
B'
Q
R
B A' C
13
http://www-groups.dcs.st-and.ac.uk/~history/BiogIndex.html.
6
7
VISUALISATION
M
C'
B'
Q
R
B A' C
M
C'
B'
Q
R
M'
B A' C
14
d'Ocagne M. (1882).
7
8
M
C'
B'
R Q
M'
B A' C
• D'après Thalès "La droite des milieux" appliqué resp. à ABC et MPQ, AB = 2.A'B' et 2.A'B' = PQ ;
par transitivité de la relation =, AB = PQ.
• Le quadrilatère ABPQ ayant deux côtés opposés égaux et parallèles, est un parallélogramme ;
en conséquence M' est le milieu de [AP] et [BQ].
M
C'
B'
Q
R
M'
B A' C
8
9
G
M'
B A' C
• Par définition, G est le point médian du triangle MAP et est situé au tiers de [AA'] à partir de A'.
M G M'
(4) Terminologie
Note historique : le terme "points complémentaires"17 a été initié Christian von par Nagel18 en 1836,
repris par Maurice P. d’Ocagne en 1882, par Émile Hain en 1885, par Gaston Gohierre
de Longchamps19 en 1886, et formulé par Émile Vigarié20 en 1887.
15
En anglais, inferior, subordinate ou medial image i.e. the complement of a point with respect to a triangle is the image of this
point in the homothety centered at the centroid of this triangle and having factor -1/2.
16
Terminologie de John Horton Conway.
17
Hain E., Archives de Grunert (1885) 214.
18
Von Nagel C. H., Le développement de la géométrie moderne du triangle (1836).
19
de Longchamps G., Journal de Mathématiques Élémentaires (1886).
20
Vigarié E., Mathesis 7 (1887).
9
10
Commentaire : nous avons une technique pour construire le complément d'un point relativement à un
triangle.
G
M'
B A' C
Commentaire : cette technique pour construire le complément d'un point relativement à un triangle
sera plus efficace par la suite.
Rappelons que nous partons de M pour aller à un sommet du triangle, puis nous allons
par parallélisme au sommet correspond du triangle médian.
Pour résumer, nous allons du triangle ABC à son triangle complémentaire A'B'C'.
2. Le point d'Ocagne
VISION
Figure :
10
11
A 0
M
1
C' B'
Q
R
M'
B A' C
VISUALISATION
A 0
C' B'
Q
R
M'
B A' C
21
d'Ocagne M..
11
12
• Scolie : d'après C. 1. Le point complémentaire, [AP], [BQ] et [CR] concourent en leur milieu M'.
A 0
M
1
C' B'
Q
R
M'
B A' C
M G M'
VISION
22
Ayme J.-L., La fascinante figure de Cundy, G.G.G. vol. 2, p. 3 ; http://perso.orange.fr/jl.ayme.
12
13
Figure :
M
C'
B'
Q
R
M'
B A' C
VISUALISATION
• La preuve se calque inversement sur la démarche mis en œuvre dans C. 1. Le point complémentaire.
• Conclusion : A', B', C' sont resp. les milieux de [MP], [MQ], [MR].
M G M'
13
14
(3) Terminologie
Commentaire : nous avons une technique pour construire l'anticomplément d'un point relativement à un
triangle.
M'
G P
B A' C
Commentaire : cette technique pour construire le complément d'un point relativement à un triangle
sera plus efficace par la suite.
Rappelons que nous partons de M" pour aller à un sommet du triangle
complémentaire, puis nous allons par parallélisme au sommet correspond du triangle.
Pour résumer, nous allons du triangle (médian) A'B'C' à son triangle
anticomplémentaire ABC.
D. EXEMPLES
VISION
Figure :
23
Terminologie de John Horton Conway.
14
15
M
A
M"
B C
VISUALISATION NÉCESSAIRE
M
A
B A' C
M'
15
16
M
A
M"
B A' C
M'
• Notons M" le point d'intersection de la parallèle à (AM') passant par A' avec (M'G).
M
A*
A
M"
B A' C
M'
• D'après Thalès "La droite des milieux" appliqué au triangle AMM', (A'M') passe par A*.
VISUALISATION SUFFISANTE
16
17
M
A*
A
M"
B A' C
M
A*
A
M"
B A' C
• D'après "Tiers-point et milieu" (Cf. Annexe 2) appliqué au triangle AA'A*, G, M" et M sont alignés.
M
A*
A
M"
B A' C
M'
• Notons M' le point d'intersection de la parallèle à (AM) passant par A' avec (MG).
17
18
Note historique : en 2002, Darij Grinberg24 s'est intéressé au cas où M est le centre du triangle ABC.
Dans ce cas, M" est répertorié sous X1125 chez ETC.
VISION
Figure :
B'
C'
M
Gb
Gc
Ga
B A' C
VISUALISATION
• Commentaire : Ga, Gb, Gc sont trois des quatre points médians partiels du quadrilatère ABMC,
le quatrième étant le point médian G de ABC.
Pour faire court, nous pouvons faire référence au résultat de Jakob Steiner suivant :
24
Grinberg D., Message Hyacinthos # 7892 du 28/12/2002.
25
Bui Q. T., Three Centroïd around Cevian Triangle, Message Hyacinthos # 13793 du 28/07/2006 ;
http://tech.groups.yahoo.com/group/Hyacinthos.
18
19
A* B'
C'
M
Gb
Gc
Ga
B A' C
B'
C'
Gc M Gb
M"
Ga
B A' C
19
20
Note historique : ce résultat de Quang Tuan Bui datant de 2006 a été redécouvert par Nguyen Van
Linh26 en 2009.
Rappelons que l'origine de cette question revient à Jakob Steiner27.
B'
C'
M
Gb
Gc
M"
Ga
B A' C
• Conclusion : mutatis mutandis, nous montrerions que (MG) passe par M".
Commentaire : G est le dernier des quatre points médians partiels du quadrilatère ABMC.
26
A concurrent problem, Mathlinks du 10/07/2009 ; http://www.artofproblemsolving.com/Forum/viewtopic.php?f=46&t=287985
27
Steiner J., Gesammelte Werke 1, p. 128 ; Annales de Gergonne 19.
20
21
B'
A*
C'
Gc M Gb
M"
Ga
B A' A" C
• D'après "Le trapèze complet" appliqué au trapèze BCGbGc, A*, M" et A" sont alignés.
B'
A*
C'
B"
Gc M Gb
M"
B*
Ga
B A' A" C
• Mutatis mutandis, nous montrerions que B*, M" et B" sont alignés.
21
22
• (B*B") est la gaussienne28 du quadrilatère complet ABCM ; elle passe par le milieu de [A'C'].
Note historique : la nature géométrique du point de concours a été redécouverte par Éric Danneels 29.
VISION
Figure :
B'
A*
C'
B"
C" M
C*
B*
B A' A" C
VISUALISATION
28
Ayme J.-L., La droite de Gauss et la droite de Steiner, G.G.G. vol. 4 ; http://perso.orange.fr/jl.ayme.
29
Danneels E., Three Centroïd around Cevian Triangle, Message Hyacinthos # 13797du 28/07/2006 ;
http://tech.groups.yahoo.com/group/Hyacinthos.
30
A concurrent problem, Mathlinks du 10/07/2009 ; http://www.artofproblemsolving.com/Forum/viewtopic.php?f=46&t=287985.
Concurrent lines II, Mathlinks du 23/05/2007 ;
http://www.artofproblemsolving.com/Forum/viewtopic.php?t=150123&ml=1.
22
23
VISION
Figure :
X
B'
A"
C'
C"
Z
B"
Y
B A' C
VISUALISATION
31
Believe me it's not very hard [reflections in midpoints], Mathlinks du 13/06/2004 ;
http://www.artofproblemsolving.com/Forum/viewtopic.php?f=47&t=6187.
23
24
X
B'
A*
A"
C'
M"
C"
Z
B" M'
Y
B A' C
X
B'
A*
A"
C'
M"
C"
Z
B" M'
Y
B A' C
24
25
X
B'
A*
A"
C'
M"
C"
Z
B" M'
Y
B A' C
VISION
Figure :
32
Nicula V., Concurrence in a triangle, Mathlinks du 27/02/2009 ;
http://www.artofproblemsolving.com/Forum/viewtopic.php?f=47&t=261303.
25
26
B'
C'
C"
M B"
Lb
Lc
La
B A' A" C
VISUALISATION
B'
C'
C"
M B"
Lb
Lc
M*
La
A*
B A' A" C
A+
33
Funny Lemma, Mathlinks du 16/06/2008 ; http://www.artofproblemsolving.com/Forum/viewtopic.php?f=47&t=210277.
26
27
• Mutatis mutandis, nous montrerions que (BB') passe par le complément de M* relativement à ABC.
B'
C'
C"
M
B"
Lb
Lc
M'*
B A" C
• Mutatis mutandis, nous montrerions que M'* est l'anticomplément de M relativement à ABC ;
en conséquence, M'* et M* sont confondus.
VISION
Figure :
27
28
R23
R12 B
C
R31
VISUALISATION
• Commentaire : nous admettons que les trois cercles sont sécants deux à deux.
34
Longuet-Higgins M. S., On the principal Centers of a Triangle, Elemente der Mathematik 56 (2001) 122-129.
35
Ayme J.-L., Le théorème des trois cordes, G.G.G. vol. 6 ; http://perso.orange.fr/jl.ayme.
28
29
Oa'
C"
1'a
B"
A B'
C' Be
G
X C
B
A'
2
BB" = CA + AB + BC + CA – 2.CA
BB" = AB + AC ;
29
30
Note historique : ce problème a été posé par Floor van Lamoen36 en 1999 de le Monthly.
Une solution en a été donnée par J. C. Binz37 l'année suivante.
Ce même problème a été reproposé en 1999 par Jiro Fukuta38 dans le College
Mathematical Journal.
VISION
Figure :
Fe 0
G Na
B C
VISUALISATION
36
van Lamoen F., E10734, Amer. Math. Montly 106 (1999) 470.
37
Binz J. C., E10734, Amer. Math. Montly 107 (2000) 658-659.
38
Fukuta J., problem 664, College Math. J., (nov. 1999).
30
31
Fe 0
O
G
I
Na
N
B C
X100
E. GÉNÉRALISATION
OU LA
P-COMPLÉMENTARITÉ
39
Ayme J.-L., Le théorème de Feuerbach, G.G.G. vol. 1 ; http://perso.orange.fr/jl.ayme.
40
Ayme J.-L., La fascinante figure de Cundy, G.G.G. vol. 2, p. 3 ; http://perso.orange.fr/jl.ayme.
41
Ayme J.-L., Cinq théorème de Christian von Nagel, G.G.G. vol. 3, p. 10 ; http://perso.orange.fr/jl.ayme.
42
Ayme J.-L., La fascinante figure de Cundy, G.G.G. vol. 2, p. 4 ; http://perso.orange.fr/jl.ayme.
31
32
M
B'
C'
G
M'
B A' C
Nous partons d'un triangle ABC et de son triangle complémentaire (médian) A'B'C' en perspective de centre G,
point médian de ABC et A'B'C', et admettant la droite à l'infini pour axe de perspective.
Ensuite, nous envisageons un point M et la droite (MG).
Enfin, nous considérons le complément M' de M, intersection de la parallèle à (MA) passant par A' avec (MG).
M'
B'
C'
G
B A' C
Nous partons d'un triangle A'B'C' et de son triangle anticomplémentaire (antimédian) ABC en perspective de
centre G, point médian de A'B'C' et ABC, et admettant la droite à l'infini pour axe de perspective.
Ensuite, nous envisageons un point M' et la droite (MG).
Enfin, nous considérons l'anticomplément M de , intersection de la parallèle à (M'A') passant par A avec (M'G).
2. La P-complémentarité
32
33
M
P
A
A"
B'
C' P
M'
B A' C
Nous partons d'un triangle ABC et d'un triangle cévien A'B'C' en perspective de centre P, et admettant la droite P
pour axe de perspective.
Ensuite, nous envisageons un point M et la droite (MP).
Enfin, nous considérons le complément M' de M, intersection de la droite brisée (MAA') en A" sur P avec (MP).
33
34
M'
P
A
B'
C' P
M
B A' C
A"
Nous partons d'un triangle A'B'C' et d'un triangle anticévien ABC en perspective de centre P, et admettant la
droite P pour axe de perspective.
Ensuite, nous envisageons un point M' et la droite (M'P).
Enfin, nous considérons l'anticomplément M de M', intersection de la droite brisée (MA'A') en A" sur P avec
(M'P).
3. Cohérence
VISION
Figure :
34
35
A"
A
B'
P
C' P
M'
U
B A' C
B"
C"
VISUALISATION
• Les triangles M'A"B" et PAB admettant (A'B'W) pour axe de perspective, sont perspectifs.
• D'après Desargues "Le théorème des deux triangles"43, (M'P), (A"A) et (B"B) sont concourantes.
43
Ayme J.-L., Une rêverie de Pappus, G.G.G. vol. 6, p. 39 ; http://perso.orange.fr/jl.ayme.
35
36
(2) Lorsque P est le point médian G de ABC, nous retrouvons la définition originale.
Remerciements : ils vont particulièrement à Bernard Gibert45 qui a su m'éclairer sur le concept de
P-complément.
F. ANNEXE
44
Sigur S., Triangle Geometry, http://www.paideiaschool.org/Teacherpages/Steve_Sigur/geometryIndex.htm.
45
Gibert B., Cubics in the Triangle Plane, http://bernard.gibert.pagesperso-orange.fr/index.html.
36
37
C'
C B'
B
O A A'
Donné : (CC') passe par O si, et seulement si, (AC) est parallèle à (A'C').
2. Tiers-point et milieu
F
E
B C D
37