REGARD 6
Le regard est à la fois perception et vision
Jean-Louis AYME 1
D
A
P
Q
N
B C
Résumé. L'auteur présente neuf ''Regards'' relevés, ici où là, au gré des ses lectures,
et accompagnés de leur solution relevant d'un regard particulier...
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.
Abstract. The author presents nine "glances" identified, here and there, at the option of his
readings, and accompanied by their solution within a particular look...
The figures are all in general position and all cited theorems can all be shown
synthetically.
Sommaire
Point de vue
1. Une relation
2. Une équivalence
3. Trois droites concourantes
4. Une relation angulaire : triangle et son triangle de contact
5. Relation angulaire dans un quadrilatère cyclique
6. Quatre points cocycliques
7. Trois point alignés de Y. Sawayama
8. The Ayme's circle
9. Des aires
1
Saint-Denis, Île de La Réunion (Océan Indien, France), le 01/01/2021 ; [email protected]
2
POINT DE VUE
Tout semblable appelle son semblable 2
Au fond de lui-même, le Géomètre est conscient qu'il n’a pas encore trouvé dans l'étude d'une
configuration ce qu'il cherche inconsciemment…
Et c'est lorsqu'il cesse de chercher que la Dame Géométrie est là, à quelques empans de ses yeux, immobile et
rayonnante de beauté. L'ovale parfait de son visage d'où se détachent deux yeux de braise, l'incendie en passant
directement des yeux dans l'abîme de son regard. Dans l'obscurité d'un vide spacieux, son regard ravissant annule
le monde extérieur et aspire le Géomètre dans un instant d'éternité.
Cette rencontre soudaine et irrésistible i.e. ce coup de foudre a tout simplement bouleversé son étroit point de
vue. Dans cet instant magique, il ne savait pas qu'Elle avait le don par son jeu d'attirances et de dévoilement, de
pouvoir l'éclairer en lui apportant une réponse vraie à chaque fausse question qu'il pouvait se poser, et de
l'ébranler pour lui redonner un état potentiel de virginité active…
2
Loi de similitude.
2
3
REGARD 1 3
Une relation segmentaire
VISION
Figure :
A
P
Q
N
B C
Traits : ABCD un quadrilatère convexe cyclique,
0 le cercle circonscrit à ABCD,
M le milieu de l'arc AB ne contenant pas C,
N le milieu de l'arc CD ne contenant pas A
et P, Q les pieds des perpendiculaires à (CD), (AB) issues resp. de M, N.
Donné : CP + AQ = DP + BQ.
VISUALISATION
3
nice geometry problem but unsolved, AoPS du 25/05/2015 ;
http://www.artofproblemsolving.com/community/c6t48f6h1094819_nice_geometry_problem_but_unsolved
3
4
A
P
Q
N
B C
X Y
• Notons X, Y les seconds points d'intersection des parallèles à (CD), (AB) issues resp. de A, D
avec 0.
• Scolies : (1) M est le milieu de l'arc DY ne contenant pas C
(2) N est le milieu de l'arc AX ne contenant pas B
(3) le quadrilatère cyclique BCYX est un trapèze ; en conséquence, BX = CY.
• D'après Archimède de Syracuse ''Le contre-théorème de la corde brisée'' 4
appliqué à
(1) DCY, CP = DP + CY
(2) ABX, AQ + BX = BQ
• Conclusion : par addition membre à membre et simplification, CP + AQ = DP + BQ.
4
Ayme J.-L., 1. Regard 3, G.G.G. vol. 18 : https://jl.ayme.pagesperso-orange.fr/
4
5
REGARD 2 5
Une équivalence
VISION
Figure :
A
0
D
B C
R 1
Traits : ABC un triangle,
D un point de [BC],
0 le cercle circonscrit à ABC,
X le second point d'intersection de (AD) avec 0,
Q, R les pieds des perpendiculaires à (AC), (AB) issues de X
et 1 le cercle de diamètre [DX].
Donné : (QR) est tangente à 1 si, et seulement si, ABC est A-isocèle.
VISUALISATION
PAR
ÉQUIVALENCE LOGIQUE
5
ISL Shortlist 1997 Hard geometry, AoPS du 19/10/2003 ;
http://www.artofproblemsolving.com/Forum/viewtopic.php?f=49&t=8396
5
6
A
0
D P
B C
R 1
• Notons P le pied de la perpendiculaire à (BC) issue de X.
• D'après ''La droite de Simson-Wallace'' 6, P, Q et R sont alignés.
• D'après Thalès de Milet ''Triangle inscriptible dans un demi-cercle'', 1 passe par P.
• Scolie : (PQR) est la droite de Simson-Wallace de pôle X relativement à ABC.
P'
A
0
D P
B C
S
R 1
Y
X
• Notons P' le second point d'intersection de (XP) avec 0
et Y le second point d'intersection de 1 avec 0.
• D'après Franz Heinen ''Direction d'une droite de Simson-Wallace'' 7, (AP') // (PQR).
• Une chasse d'équivalences logiques :
6
Ayme J.-L., La droite de Simson de pôle Fe, G.G.G. vol. 7, p. 2-3 ; https://jl.atme.pagesperso-orange.fr/
7
Heinen F., Journal de Crelle 3 (1828) 285-287
Ayme J.-L., 8. Quickies, Probème 6, G.G.G. vol. 15, p. 17-18 ; https://jl.atme.pagesperso-orange.fr/
6
7
* (PQR) est tangente à 1 en D ↔ (AP') ⊥ (AX) et P est en D
* (AP') ⊥ (AX) et P est en D ↔ (P'X) est un diamètre de 0 et A en P'
* (P'X) est un diamètre de 0 et A en P' ↔ ABC est A-isocèle.
• Conclusion : par transitivité de la relation ↔,
(PQ) est tangente à 1 si, et seulement si, ABC est A-isocèle.
7
8
REGARD 3 8
Trois droites concourantes
VISION
Figure :
A
0
C' B'
C* B*
I O
B A* C
A'
Traits : ABC un triangle,
0 le cercle circonscrit à ABC,
O le centre de 0,
A'B'C' le triangle O-circumcévien,
I le centre de 1
et A*, B*, C* le point d'intersection resp. de (IA') et (BC), (IB') et (CA), (IC') et (AB).
Donné : (AA*), (BB*) et (CC*) sont concourantes.
VISUALISATION
8
9
A
0
C' B'
C* B*
I O
B A* C
A'
• D'après Inscrit 47. Problème 11 9, A*B/A*C = (IB/IC).(cos ½.<B.cos <C / cos <B.cos ½.<C).
• Conclusion : d'après ''Le théorème de Ceva'', (AA*), (BB*) et (CC*) sont concourantes.
9
Ayme J.-L., Cercles coaxiaux 1, G.G.G. vol. 24, p. 84-86
9
10
REGARD 4
Une relation angulaire : triangle et son triangle de contact
VISION
Figure :
3 E
1*
F 2
2* 3*
0
B D 1 C
Traits : ABC un triangle,
1, 2, 3 les droites latérales (BC), (CA), (AB) de ABC.
0 le cercle inscrit à ABC,
DEF le triangle de contact de ABC
et 1*, 2*, 3* les droites latérales (EF), (FD), (DE) de DEF.
Donné : <1, 1* + <2, 2* + <3, 3* = 0 (mod Π). 10
VISUALISATION
3 E
1*
F 2
2* 3*
0
B D 1 C
• Une chasse angulaire à Π près :
10
Ayme J.-L., Prove or disprove, AopS du 14/02/2015 ;
http://www.artofproblemsolving.com/Forum/viewtopic.php?f=47&t=625238
10
11
* par Chasles, <1,1* + <2,2* + <3,3* = <1,3 + <3,1* + <2,1 + <1,2* + <3,2 + <2,3*
* par ''le théorème 180'', = <3,1* + <1,2* + <2,3*
* par ''le théorème de la tangente'', = <2,3* + <1,2* + <2,3*
* le triangle CDE étant C-isocèle, = <2,3* + <1,2* + <3*,1
* par ''le théorème 180'', = 0.
• Conclusion : <1, 1* + <2, 2* + <3, 3* = 0 (mod Π).
11
12
REGARD 5
Relation angulaire dans un quadrilatère cyclique
VISION
Figure :
P A B
Traits : ABCD un quadrilatère tel que AD < BC,
P le point d'intersection de (AB) et (CD),
Donné : ABCD est cyclique si, et seulement si, <BPD = <BAC - <ACD
VISUALISATION NÉCESSAIRE
• Hypothèse : ABCD est cyclique
• Une chasse angulaire :
* en considérant le triangle PAC, <BAC = <APC + <PCA
* autre écriture, inscrit <BAC = <BPD + <ACD
• Conclusion : <BPD = <BAC - <ACD.
VISUALISATION SUFFISANTE
12
13
D 0
D'
P A B
• Hypothèse : <BPD = <BAC - <ACD
• Notons 0 le cercle circonscrit au triangle ABC.
• Raisonnons par l'absurde en affirmant D n'est pas sur 0.
• Notons D' le second point d’intersection de (PC) avec 0.
• D'après la visualisation nécessaire, <BPD' + <ACD' = <BAC
D et D' étant sur (PC), <BPD' + <ACD = <BAC
par hypothèse, <BPD + <ACD = <BAC ;
par comparaison et simplification, <BPD’ = <BPD
en conséquence, D et D' étant confondus, D est sur 0 ce qui est contradictoire.
• Conclusion : ABCD est cyclique
13
14
REGARD 6 11
Quatre points cocycliques
VISION
Figure :
1c 1b
P
A
Q 0
E
F
1
I
B D C
Traits : ABC un triangle tel que AB < AC,
0 le cercle circonscrit à ABC,
1 le cercle inscrit à ABC,
DEF le triangle de contact de ABC,
1b le cercle passant par B, I, E,
P le second point d'intersection de 1b et 0,
1c le cercle passant par C, I, F
Q le second point d'intersection de 1c et 0.
Donné : P, Q, E et F sont cocycliques.
VISUALISATION
11
Concyclic for 4 points, AoPS du 13/02/2015 ; http://www.artofproblemsolving.com/Forum/viewtopic.php?f=47&t=625152
14
15
1c 1b
P
A
Q 0
E
F
1
I
B R D S C
• Notons R, S les seconds points d'intersection de (BC) resp. avec 1b, 1c
et T le point d’intersection de (EF) et (BC).
• Une chasse angulaire :
* autre écriture avec 1b, <SRE a pour supplément <BRE
* par ''angles inscrits, <BRE = <BIE
* ''angles à côtés perpendiculaires'', <BIE a pour supplément <(FD), (CA)
* par transitivité de =, <SRE = <(FD), (CA)
* avec 1c, <FSR a pour supplément <(AB), (DE)
* <SRE - <FSR = <(EF), (CB) ou <(EF), (CB) ou <SPF
• Conclusion partielle : E, F, R et S sont cocycliques.
• Notons 1* ce cercle.
• Conclusion : d'après ''le théorème des cinq cercles'' 12
appliqué à 1b, 1*, 1c et 0, P, Q, E et F sont cocycliques.
12
Ayme J.-L., Du théorème de Reim…, G.G.G. vol. 2, p. 9-11 : https://jl.ayme.pagesperso-orange.fr/
15
16
REGARD 7 13
Y. Sawayama (1905)
Trois points alignés
VISION
Figure :
0
K
F
1b
B D E C
Features : ABC a triangle,
I the incenter of ABC,
0 the circumcircle of ABC,
D a point of the segment BC,
1b the B-Thébault circle of ABC wrt AM,
and E, F, K the points of contact of 1b wrt BC, AD, 0.
Given : E, F and I are collinear.
Commentaire : une preuve synthétique de ce résultat peut être vue sur le site de l'auteur 14.
Une courte biographie de Y. Sawayama
Professeur à l'Académie militaire de Tokio (Japon), puis à l'Université des Sciences de Tokyo, institution qui a
succédé à l'Académie de Physique, Sawayama Kazuburo a publié de nombreux articles en japonais, français,
allemand, anglais..
13
Sawayama Y., A new geometrical proposition, Amer. Math. Monthly, 12 (1905) 222-224
14
Ayme J.-L., Sawayama or Thebault's theorem G.G.G. vol. 10, p. 9-11 : https://jl.ayme.pagesperso-orange.fr/
Ayme J. -L., Sawayama and Thébault's theorem, Forum Geometricorum vol. 3 (2003) 225-229
16
17
REGARD 8 15
The Ayme's circle
VISION
Figure :
A
1b
K
0 3
B D E C
Features : ABC a triangle,
I the incenter of ABC,
0 the circumcircle of ABC,
D a point of the segment BC,
1b the B-Thébault circle of ABC wrt AD,
E, F, K the points of contact of 1b wrt BC, AD, 0
and 3 the circle passing through I, E, K.
Given : 3 is tangent to AI at I.
Commentaire : une preuve synthétique de ce résultat peut être vue sur le site de l'auteur 16.
15
Strange theorem about circles, Message Hyacinthos # 6504 du 07/02/2003 ;
www.hyacinthos.99on.com/message.php?msg=6504
Ayme's circle, AoPS du 11/02/2015 ; http://www.artofproblemsolving.com/Forum/viewtopic.php?f=47&t=624915
Ayme J.-L., AI is a tangent, AoPS du 10/02/2015 ;
http://www.artofproblemsolving.com/Forum/viewtopic.php?f=47&t=624772
16
Ayme J.-L., Sawayama or Thebault's theorem G.G.G. vol. 10, p. 9-11 : https://jl.ayme.pagesperso-orange.fr/
Ayme J. -L., Sawayama and Thébault's theorem, Forum Geometricorum vol. 3 (2003) 225-229 ;
http://forumgeom.fau.edu/index1.html
17
18
REGARD 9 17
Des aires
VISION
Figure :
B M C
Traits : ABC a triangle,
M un point de [BC],
N le point d'intersection de la parallèle à (AB) issue de M avec (AC)
et P le point d'intersection de la parallèle à (AC) issue de M avec (AB).
Donné : [APMN]² = 4.[BMP].[CNM].
VISUALISATION
A
y
N
t
x
P
y
z
M
B C
z
y
R t x
t
S
z
17
Pour étrennes ; http://www.les-mathematiques.net/phorum/read.php?8,2153930
18
19
• Notons D le point tel que le quadrilatère ABDC soit un parallélogramme
R le point d'intersection de (MN) et (BD),
S le point d'intersection de (MP) et (CD),
α la mesure géométrique de <NMP
et x, y, z, t les longueurs resp. de MN, MP, MR, MS.
• Scolies : (1) 2.[BMP] = [BRMP] (= y.z. sin α)
(2) 2.[CNM] = [CNMS] (= x.t. sin α)
(3) les parallélogrammes APMN et DSMR étant complémentaires,
[APMN] = [DSMR].
• Une chasse d’égalités :
* partons de (3), x.y.sin α = z.t.sin α
* par élévation au carré, (x.y.sin α)² = (x.y.sin α).(z.t.sin α)
* par réarrangement, (x.y.sin α)² = (y.z.sin α).(x.t.sin α)
* par une autre écriture, [APMN]² = 2.[BMP]. 2.[CNM].
• Conclusion : [APMN]² = 4.[BMP].[CNM].
Énoncé traditionnel :
D'un point d'un côté d'un triangle
on mène des parallèles aux deux autres côtés ;
ce faisant, on forme deux sous-triangles et un parallélogramme.
l'aire du parallélogramme APMN
est
le double de la moyenne géométrique des aires des deux sous-triangles BMP et CNM.
19