MINIATURES GÉOMÉTRIQUES

SUR

UN CARRÉ

ADDENDUM XII

Le baptême est l'acceptation de l'intériorité,

voire une réintégration dans l'Uni-vers…

Jean - Louis AYME 1

D M C
P

R
O

A X B

Résumé. L'auteur propose un addendum à l'article ''Miniatures sur un carré'' en présentant de

nouvelles miniatures.
Progressivement un thème de dégage et des sous-thèmes apparaissent…
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 offers an addendum to article "Miniatures on a square" presenting new
miniatures.
Gradually a theme appears and sub-themes come up…
The figures are all in general position and all cited theorems can all be demonstrated
synthetically.

1
St-Denis, Île de La Réunion (Océan Indien, France), le 13/06/2021 ; [email protected]
 2

Sommaire
A. Un point de vue 3
B. Récapitulation 4
C. Des miniatures 7
1. Cercles passant par le centre d'un carré 9
2. Deux perpendiculaires 11
3. Un triangle isocèle 13
4. Un triangle rectangle-isocèle 16
5. Un milieu 18
6. Quatre points cocycliques 21
7. Une évaluation 23
8. Une évaluation 25
9. Deux parallèles 27
10. Deux perpendiculaires 29
11. Deux angles égaux 32
12. Un quadrilatère cyclique 35
13. Quatre points cocycliques 37
14. Deux angles égaux 39
15. Deux cercles tangents 41
16. Deux parallèles 46
17. Une relation 48
18. Deux perpendiculaires 50
19. Deux angles égaux 53
20. Une bissectrice 54
21. Un triangle isocèle 56

D. Lexique Français-Anglais

2
 3

A. UN POINT DE VUE

Les figures présentées par l'auteur lui ont fait penser à des miniatures i.e. à des images participant à
l'enluminure d'un manuscrit.
Pour un géomètre sensible aux formes, la figure qui lui apparaît dans une vision est celle d'un Sujet qu'on
appelait autrefois "être" géométrique. En dévoilant ses traits essentiels à son regard amical, le Sujet lui laisse
gracieusement entrevoir une illumination, voire un théorème. Comme cela est souvent le cas, le géomètre réagit
d'une façon belliqueuse en aiguisant son regard qui devient binoculaire. Agressé visuellement, le généreux Sujet
se voile dans une configuration en abandonnant un donné inerte à la raison du géomètre.
Ayant perdu la vision, celui-ci choisit alors un mode de raisonnement et une méthode géométrique qui lui
permettent de visualiser comme un aveugle sa propre démarche. Avec l'aide de techniques particulières qui
aplanissent son chemin, il progresse vers le donné qu'il désire s'approprier. Cette démarche raisonnée prend alors
l'allure d'un schéma de démonstration i.e. d'une visualisation lorsque seuls les points principaux et les relations
présentes dans la configuration, sont retenus. Ce schéma logico-déductif permet alors de comprendre le
cheminement et le projet du géomètre dont le désir est de faire partager avec d'autres, le résultat auquel il est
parvenu.

2
Ayme J.-L., Mosaïque dans un carré, G.G.G. vol. 20 ; http://jl.ayme.pagesperso-orange.fr/

3
 4

B. RÉCAPITULATION

D M C D C
P P

N
R O
O
R

A B A X B

1. O et R sont sur 1 2. (RO) est perpendiculaire à (RX)

D C
D C
P
P

S
L
R O R O

A X B
A B
3. le triangle POS est P-isocèle 4. le triangle LXP est L-rectangle-isocèle

D C D C

P P

L L
R
T R

A B A B
X

5. T est le milieu de [PX] 6. D, L, R et P sont cocycliques

4
 5

D C D M C
P
P

R R O

A X B A B

7. <ADR + <APX = 45° 8. <ADR + <AMO = 45°

D M C D C
P P

R L R
O
Y

A X B A X B

9. (PX) est parallèle à (MO) 10. (XY) est perpendiculaire à (BD)

D C G

A B

11. <AHB = <DFA

D C

D C G 1
H P R 2
E
X 3 4 S
F

A Q B
A B

12. le quadrilatère ECHX est cyclique 13. P, Q, R et S sont cocycliques

5
 6

3
F D C D C
F
2
E O E
1

A B A B

14. <DOE = <DAF 15. 3 est tangent à 2 en B

3
D C D C
F X F
2 T
4 4
E E
O
1 Y 1

A B A B

16. (XOY) est parallèle à (CF) 17. ED= 3.ET

M
D R S C
D C

P
Q 0

I
F
1
A B
A G E B

18. (PS) est perpendiculaire à (QR) 19. Deux angles égaux

D C D C

I I
F F
1 1

A G E B Y A E B
20. (FI) est la F-bissectrice intérieure de FCE 21. Le triangle FEY est F-isocèle

6
7

7
 8

C. DES MINIATURES

8
 9

1. Cercles passant par le centre d'un carré 3

Jean-Louis Ayme

(2021)

VISION

Figure :

D M C
P
1

N
O
R

A B

Traits : ABCD un carré,

P le point intérieur à ABCD tel que le triangle PAB soit équilatéral,
M le point d'intersection de (PA) et (AC),
R le milieu de [AP],
N le point d'intersection de (BR) et (AD),
1 le cercle de diamètre [MN]
et O le centre de ABCD.

Donné : O et R sont sur 1.

VISUALISATION

D M C
P
1

N
O
R

A B

• PAB étant équilatéral, la B-médiane est aussi la B-hauteur.

3
Ayme J.-L., Circles through the center of a square, AoPS du 07/06/2021 ;
https://artofproblemsolving.com/community/c6h2585848_circles_through_the_center_of_a_square

9
 10

• Conclusion partielle : d'après Thalès de Milet ''Triangle inscriptible dans un demi-cercle'', R est sur 1.

D M C
P
1

N
R
O, O'

A B

• Notons 2 le cercle de diamètre [AB] ; il passe par R ;

et O' le second point d'intersection de 2 et 1.

• Les cercles 2 et 1, les points de base R et O', la monienne (ARM), les parallèles (AB) et (MD),
conduisent au théorème 0' de Reim ; en conséquence B, O' et D sont alignés.

D M C
P
1

O, O'
N R

A B

• (BO') étant la A-hauteur du triangle A-isocèle ABD en est la A-médiane.

• Conséquences, (1) O' est le milieu de [BD]

(2) O' et O sont confondus

(3) O est sur 1.

• Conclusion : O et R sont sur 2.

10
 11

2. Deux perpendiculaires 4

Jean-Louis Ayme

(2021)

VISION

Figure :

D C
P

R O

A X B

Traits : ABCD un carré,

O le centre de ABCD
P le point intérieur à ABCD tel que le triangle PAB soit équilatéral,
R le milieu de [AP]
et X le pied de la R-bissectrice intérieure du triangle RAB.

Donné : (RO) est perpendiculaire à (RX).

VISUALISATION

D C
P

O
R
1

A X B

4
Ayme J.-L., Two parallels in a square, AoPS du 07/06/2021 ;
https://artofproblemsolving.com/community/c6t48f6h2585883_two_parallels_in_asquar

11
 12

• Notons 1 le cercle de diamètre [AB].

• D'après Problème 1, O et R sont sur 1.

• Scolies : (1) O est le premier perpoint de RAB

(2) (RO) est la R-bissectrice extérieure de RAB.

• Conclusion : (RO) est perpendiculaire à (RX).

12
 13

3. Un triangle isocèle 5

Jean-Louis Ayme

(2021)

VISION

Figure :

D C

R O

A B

Traits : ABCD un carré,

O le centre de ABCD,
P le point intérieur à ABCD tel que le triangle PAB soit équilatéral,
R le milieu de [PA]
et S le point d'intersection de (RO) et (PB).

Donné : le triangle POS est P-isocèle.

VISUALISATION

D C

S
O
R

A X I B

• Notons X le pied de la R-bissectrice intérieure du triangle RAB

et I le milieu de [AB].

5
Ayme J.-L., Quatre points cocycliques, AoPS du 10/06:2021 ;
https://artofproblemsolving.com/community/c6h2586992_four_concyclic_points

13
 14

• Scolies : (1) P, O et I sont alignés

(2) (OI) ⊥ (IX)

• D'après Thalès de Milet ''Triangle inscriptible dans un demi-cercle'', O, R, X et I sont cocycliques.

• Notons 1 ce cercle de diamètre [OX].

D C

S
O
R

A X I B

• D'après Problème 2, le triangle RAB étant égal au triangle RBP,

S est l'homologue de X.

• Une chasse angulaire :

* par une autre écriture, <PSO = <PSR

* S étant l'homologue de X, <PSR = <RXA

* la quadrilatère ORXI étant cyclique, <RXA = <ROI

* par ''Angles opposés'', <ROI = <SOP

* par transitivité de =, <PSO = <SOP.

• Conclusion : le triangle POS est P-isocèle.

Scolies : (1) PO = PS = AX

(2) ou encore

14
 15

D C

Z
S
O
R

A X I B

• Conclusion : PO = PS = AX = CZ.

15
 16

4. Un triangle rectangle-isocèle 6

Jean-Louis Ayme

(2021)

VISION

Figure :

D C
P

L
R O

A X B

Traits : ABCD un carré,

O le centre de ABCD,
P le point intérieur à ABCD tel que le triangle PAB soit équilatéral
R, L les milieux resp. de [PA], [AD]
et X le pied de la R-bissectrice intérieure du triangle RAB.

Donné : le triangle LXP est L-rectangle-isocèle.

VISUALISATION

D C
P

L
R O

A X B

• Scolie : OL = AL.

• D'après Problème 3, scolie, PO = AX.

• D'après ''Le théorème c.a.c.VV, les triangles O, A-rectangles OPL et AXL, sont égaux ;
en conséquence, LP = LX.

16
 17

• Les triangles OPL et AXL ayant deux couples de côtés homologues perpendiculaires, (LP) ⊥ (LX).

• Conclusion : le triangle LXP est L-rectangle-isocèle.

17
 18

5. Un milieu 7

Jean-Louis Ayme

(2021)

VISION

Figure :

D C
P

L R
T

A X B

Traits : ABCD un carré,

P le point intérieur à ABCD tel que le triangle PAB soit équilatéral,
L, R les milieux resp. de [AD], [AP],
1 le cercle de diamètre [LP].
X le pied de la R-bissectrice intérieure du triangle RAB
et T le second point d’intersection de (PX) avec 1.

Donné : T est le milieu de [PX].

VISUALISATION

D C
P

L R
T

A X B

• D'après Problème 4, le triangle LXP est L-rectangle-isocèle.

• D'après Thalès de Milet ''Triangle inscriptible dans un demi-cercle'', (LT) ⊥ (XP).

7
Ayme J.-L., A midpoint in a square, AoPS du 10/06/2021 ;
https://artofproblemsolving.com/community/c6h2587046_amidpoint_in_a_square

18
 19

• LXP étant L-isocèle, la L-hauteur (LT) est aussi médiane.

• Conclusion : T est le milieu de [PX].

Scolie : une tangente

D C
P

R
L
T

A X B

• Conclusion : par définition, (LX) est tangente à 1 en L.

Scolies : (1) le cercle de diamètre [PX] passe par L.

D C
P

L R

A X B

(2) le cercle de diamètre [PX] passe par S 8

D C
P

L R

A X B

8
Ayme J.-L., Quatre points cocycliques, AoPS du 10/06:2021 ;
https://artofproblemsolving.com/community/c6h2586992_four_concyclic_points

19
 20

• Notons S le point d'intersection de (LR) et (BP).

• Une chasse angulaire :

* LXP étant L-rectangle-isocèle, <PXL = 45°

* d'après Problème 6, scolie, <PSL = 45°.

• Conclusion : le cercle de diamètre [PX] passe par S.

20
 21

6. Quatre points cocycliques 9

Jean-Louis Ayme

(2021)

VISION

Figure :

D C
P

L
R

A B

Traits : ABCD un carré,

P le point intérieur à ABCD tel que le triangle PAB soit équilatéral
et L, R les milieux resp. de [AD], [AP].

Donné : D, L, R et P sont cocycliques.

VISUALISATION

D C
P

L
R

A B

• D'après Thalès de Milet ''La droite des milieux''

appliqué au triangle APD, (LR) // (DP).

• Le triangle APD étant A-isocèle, le quadrilatère DLRP est un trapèze isocèle.

• Conclusion : D, L, R et P sont cocycliques.

21
 22

Scolie : une évaluation

D C
P

L
R 45
S

A B

• Notons S le point d’intersection de (LR) et (BP).

• Conclusion : par une chassa angulaire, nous montrerions que <PSL = 45°.

22
 23

7. Une évaluation 10

Ercole Suppa (Italie, 07/05/2021)

Romantics of Geometry

Problème 8095

VISION

Figure :

D C
P

A X B

Traits : ABCD un carré,

P le point intérieur à ABCD tel que le triangle PAB soit équilatéral,
R le milieu de [AP]
et X le pied de la R-bissectrice intérieure du triangle RAB.

Donné : <ADR + <APX = 45°.

VISUALISATION

D C
P

L R

A X B

• Notons L le milieu de [AD].

• D'après Problème 6, D, L, R et P sont cocycliques.

10
https://www.facebook.com/photo/?fbid=1882270405287636&set=gm.3968565593257117

23
 24

• Une chasse angulaire :

* par une autre écriture, <ADE = <MDR

* par ''Angles inscrits'', <LDR = <LPR

* par transitivité de =, <ADE = <LPR.

* Par une autre écriture, <APX = <RPX.

* Par addition membre à membre, <ADE + <APX = <LPR + <RPX

* par addition, <LPR + <RPX = <LPX

* d'après Problème 4, <LPX = 45°.

• Conclusion : par transitivité de =, <ADE + <APX = 45°.

24
 25

8. Une évaluation 11

Jean-Louis Ayme (France, 11/06/2021)

VISION

Figure :

D M C

R O

A B

Traits : ABCD un carré,

O le centre de ABCD,
P le point intérieur à ABCD tel que le triangle PAB soit équilatéral,
M le point d'intersection de (PA) et (AC),
et R le milieu de [AP].

Donné : <ADR + <AMO = 45°.

VISUALISATION

D M C

N
O
R

A B

• Notons N le point d'intersection de (BR) et (AD).

• D'après Problème 1, D, N, R, O et M sont cocycliques.

• Une chasse angulaire :

11
https://www.facebook.com/photo/?fbid=1882270405287636&set=gm.3968565593257117

25
 26

* par une autre écriture, (1) <ADR = <NDR

(2) <AMO = <RMO

* par ''Angles inscrits'', <RMO = <RDO

* par transitivité de =, <AMO = <RDO

* Par addition membre à membre, <ADR + <AMO = <NDR + <RDO

* par addition, <NDR + <RDO = <NDO (= 45°)

• Conclusion : par transitivité de =, <ADR + <AMO = 45°.

Scolie : le triangle OMN est O-rectangle-isocèle.

D M C

N
O
R

A B

26
 27

9. Deux parallèles 12

Jean-Louis Ayme

(2021)

VISION

Figure :

D M C
P

R
O

A X B

Traits : ABCD un carré,

O le centre de ABCD,
P le point intérieur à ABCD tel que le triangle PAB soit équilatéral,
M le point d'intersection de (PA) et (CD),
R le milieu de [AP]
et X le pied de la R-bissectrice intérieure du triangle RAB.

Donné : (PX) est parallèle à (MO).

VISUALISATION

D M C
P

R
O

A X B

• D'après Problème 7, <ADR + <APX = 45°.

• D'après Problème 8, <ADR + <AMO = 45°.

12
Ayme J.-L., Two parallels in a square, AoPS du 07/06/2021 ;
https://artofproblemsolving.com/community/c6t48f6h2585883_two_parallels_in_asquare
Ayme L.-L. Deux parallèles, Les-Mathematiques.net ;
http://www.les-mathematiques.net/phorum/read.php?8,2261224

27
 28

• En conséquence, <APX = AMO.

• Conclusion : par ''Angles à côtés parallèles'', (PX) est parallèle à (MO).

28
 29

10. Deux perpendiculaires 13

Jean-Louis Ayme

(2021)

VISION

Figure :

D C
P

L R
Y

A X B

Traits : ABCD un carré,

P le point intérieur à ABCD tel que le triangle PAB soit équilatéral,
L, R les milieux resp. de [AD], [AP],
X le pied de la R-bissectrice intérieure du triangle RAB
et Y le point d'intersection de (RL) et (DB).

Donné : (XY) est perpendiculaire à (BD).

VISUALISATION

13
Ayme J.-L., Two perpendiculars in a square, AoPS du 11/06/2021 ;
https://artofproblemsolving.com/community/c6h2588028_two_perpendiculars_in_a_square

29
 30

D C

O
L R
Y'
1

A X B

• Notons O le centre de ABCD

et Z le point d'intersection de (RO) et (BC).

• D'après Problème 2, (RZ) ⊥ (RX).

• D'après Thalès de Milet ''Triangle inscriptible dans un demi-cercle'', R, X, B et Z sont cocycliques.

• Notons 1 ce cercle
et Y' le centre de 1 i.e. Y' est milieu de [XZ].

• D'après Problème 27, scolie 2, (1) AX = CZ

(2) BX = BZ

(3) le triangle BXZ est B-isocèle

(4) (BY') étant la B-médiane est aussi la B-bissectrice…

• Conclusion partielle : Y' est sur (BD).

D C

O
L R
Y'
1

A X B

• Scolies : (1) [XZ] est un diamètre de 1

(2) <LRX = 120°.

30
 31

D C

L R
O
Y , Y'
1

A X B

• Une chasse angulaire :

* le triangle Y'RX étant Y'-isocèle, <XRY' = <Y'XR

* par une autre écriture, <Y'XR = <ZXR

* par ''Angles inscrits'', <ZXR = <ZBR

* par différence, <ZBR = <ZBA - <RBX (= 90° - 30°)

* par transitivité de =, <XRY' = 60°.

* Par décomposition, <LRY' = <LRX + <XRY' (= 120° + 60° = 180°)

* En conséquences, (1) L, R et Y' sont alignés

(2) Y' et Y sont confondus.

• Conclusion : (XY) est perpendiculaire à (BD).

31
 32

11. Deux angles égaux 14

Stanley Rabinowitz (june 2021)

Romantics of Geometry

Problem 8334

Un point variable sur un côté

VISION

Figure :

D C G

A B

Traits : ABCD un carré,

E un point de [AD],
F le point d'intersection de la parallèle à (EB) issue de D avec (BC),
G le point d'intersection de (AF) et (CD),
et H le point d'intersection de (EG) et (BC).

Donné : <AHB = <DFA.

VISUALISATION

D 1 C G

x H

1-x F
x

A 1 B

• Notons, 1, x les longueurs resp. de AB, BF.

• Une chasse de rapports :

14
Rabinowitz S., Romantics of Geometry ;
https://fr-fr.facebook.com/photo/?fbid=10223472968924373&set=g.1019808738132832

32
 33

* par ''Triangles homothétiques'', FC/1 = FH/(1 – x) (= (1 – x)/1)

* par substitution et réorganisation, FC = 1 – x, FH = (1-x)² , HB = x + (1 - x)².

• Une chasse trigonométrique :

* par définition, cotan <AHB = x + (1 - x)² (= x² - x + 1)

cotan <AFB = x

cotan <CFD = 1 – x

* <DFA a pour supplément (<AFB + <CFD)

* en conséquence, cotan <DFA = - cotan (<AFB + <CFD)

* par la formule cité en rappel, = - [x.(1 - x) - 1] (= x² - x + 1)

* en conséquence, cotan <AHB = cotan <DFA.

• Conclusion : <AHB = <DFA.

Rappels :

Scolies : (1) un quadrilatère cyclique 15

D C G

F
X
Y

A B

• Notons X, Y les points d'intersection de (BE) resp. avec (AH), (AF).

• Une chasse angulaire :

* d'après Problème 11, <AHB = <DFA

15
Ayme J.-L., Four concyclic points, AoPS du 14/06/2021 ;
https://artofproblemsolving.com/community/c6h2590361_four_concyclic_points

33
 34

* d'après ''Angles à côtés parallèles'', <DAF = <XYA.

• Conclusion : le quadrilatère HXYF est cyclique.

(2) Deux isogonales

• Notons 1 le cercle circonscrit à HXTF

et T le second point d'intersection de 1 avec (FD).

• Conclusion : (HX) et (HY) sont deux H-isogonales du triangle HFT.

34
 35

12. Un quadrilatère cyclique 16

Jean-Louis Ayme

(2021)

Un point variable sur un côté

VISION

Figure :

D C G

X F

A B

Traits : ABCD un carré,

E un point de [AD],
F le point d'intersection de la parallèle à (EB) issue de D avec (BC),
G le point d'intersection de (AF) et (CD),
H le point d'intersection de (EG) et (BC),
et X le point d'intersection de (BE) et (AH).

Donné : le quadrilatère ECHX est cyclique.

VISUALISATION

D 1 C G

2 6 H

5
F
3

A 4 B

• D'après Pappus d'Alexandrie ''Le petit théorème'' 17

16
Ayme J.-L., Un quadrilatère cyclique ; http://www.les-mathematiques.net/phorum/read.php?8,2263020

35
 36

appliqué à l'hexagone sectoriel CDFABEC de frontières (CB) et (DA), (EC) // AF).

D C G

F
X
Y

A B

• Notons X, Y les points d'intersection de (BE) resp. avec (AH), (AF).

• D'après Problème 11, scolie, le quadrilatère HXYF est cyclique.

• Une chasse angulaire :

* par une autre écriture, <ECH = <ECB

* par ''Angles à côtés parallèles'', <ECB = <AFB

* par une autre écriture, <AFB = <YFB

* HXYF étant cyclique, <YFB = <YXH

* par ''Angles opposés'', <YXH = <EXA

* par transitivité de =, <ECH = <EXA.

D C G

F
X
Y

A B

• Conclusion : le quadrilatère ECHX est cyclique.

17
Ayme j.-L., Une rêverie de Pappus d'Alexandrie, G.G.G. vol. 6, p. 3-6 ; https://jl.ayme.pagesperso-orange.fr/

36
 37

13. Quatre points cocycliques 18

Floor van Lamoen (aout 2020)

Romantics of Geometry

Problem 5977

VISION

Figure :

D C

P R 2

3 4 S

A Q B

Traits : ABCD un carré,

1 le demi-cercle de diamètre [CD] intérieur à ABCD,
2 le quart de cercle de centre D d'extrémités A et C,
3 un cercle tangent extérieurement tangent à 1 et intérieurement tangent à 2,
P, Q les points de contact de 1 resp. avec 1, 2,
4 un cercle tangent extérieurement tangent à 1 et intérieurement tangent à 2,
et R, S les points de contact de 4 resp. avec 1, 2.

Donné : P, Q, R et S sont coycliques.

VISUALISATION

D T K C

P R 2

3 4 S

A Q B

18
https://fr-fr.facebook.com/photo.php?fbid=1449817938544437&set=gm.3239379696175714&type=3&theater&ifg=1

37
 38

• Une construction de 3 :

* P le centre d'homothétie externe de 3 et 1

* Q le centre d'homothétie interne de 3 et 2

* T le centre d'homothétie interne de 1 et 2

* d'après ''La droite de d'Alembert ou i.i.e.'', T, Q et P sont alignés….

• Immersion de la figure :

E D T K C

P R

3 4 S

A Q B

• D'après James Henry Weaver 19, 5 et 6 passent par D et E.

• D'après Jakob Steiner ''Puissance d’un point'', (1) appliqué à 5 et 3, TP.TQ = TD.TE

(2) appliqué à 6 et 4, TD.TE = TR.TS.

• Par transitivité de =, TP.TQ = TR.TS.

• Conclusion : d'après Feuerbach-Steiner ''Puissance d'un point'', P, Q, R et S sont cocycliques.

19
Ayme J.-L., Cercles segmentaires, G.G.G. vol. 16, p. 35-36 ; https://jl.ayme.pagesperso-orange.fr/
Ayme J.-L., Les cercles de James Henry Weaver…, G.G.G. vol. 20, p. 2 ; https://jl.ayme.pagesperso-orange.fr/

38
 39

14. Deux angles égaux 20

Stanley Rabinowitz (june 2021)

Romantics of Geometry

Problem 8331

Un point variable sur un côté

VISION

Figure :

F D C

E
O

A B

Traits : ABCD un carré,

O le centre de ABCD,
E un point de [AD]
et F le point d'intersection de (CE) et (CD).

Donné : <DOE = <DAF.

VISUALISATION

F 1 D Td C

2 1
X 6
5
E
O
4

Ta A 3 B

• Notons X le point d'intersection de (OE) et (AF),

1 le cercle de diamètre [AD]
et Ta, Td les tangentes à 1 resp. en A, D.

20
Rabinowitz S., Romantics of Geometry ;
https://www.facebook.com/photo/?fbid=10223472756159054&set=gm.4066209263492749

39
 40

• Scolie : D, O et B sont alignés.

• D'après MacLaurin-Pascal ''Tétragramma mysticum'' 21

(FEB) étant la pascale de l'hexagone Td A Ta XOD, X est sur 1.

F D C

1
X
E

A B

• D'après ''Angles inscrits'', <DOX = <DAX

• Conclusion : par une autre écriture, <DOE = <DAF.

21
MacLaurin Colin, Traité des Fluxions, Appendice (1748) § 36

40
 41

15. Deux cercles tangents 22

Stanley Rabinowitz (june 2020)

Romantics of Geometry

Problem 5426f

VISION

Figure :

D C

F
2

A B

Traits : ABCD un carré,

1 le cercle de diamètre [AD],
F le point de contact de la seconde tangente à 1 issue de B,
2 le cercle circonscrit au triangle FBC,
E le milieu de [AD]
et 3 le cercle circonscrit au triangle EBD.

Donné : 3 est tangent à 2 en B.

VISUALISATION

D C

2
E

Tb
A B

22
Rabinowitz S., Romantics of Geometry ;
https://fr-fr.facebook.com/photo.php?fbid=10220764243207923&set=gm.3051222708324748&type=3&theater&ifg=1

41
 42

• D'après Euclide d'Alexandrie ''Tangentes égales'', BA = BF (= BC).

• Notons Tb la tangente à 2 en B

• Conclusion partielle : le triangle BCF étant B-isocèle, Tb // (CF).

D C

2 4
E
G O

Tb
A B

• Notons 4 le cercle de centre B passant par A ; il passe par F et C ;

O le centre de ABCD
et G le symétrique de O par rapport à E.

• Scolies : (1) 1 passe par O

(2) G est sur 1

(3) (OG) // (CD)

(3) 4 est tangent à (CD) en C.

• Les cercles 1 et 4, les point de base A et F, la monienne (OAC), les parallèles (OG) et (CD),
conduisent au théorème 1' de Reim ; en conséquence, G, F et C sont alignés.

D C

F
Tg
2 4
E
G O

H
1
Tb
A B

• Notons H le second point d'intersection de 1 et 2,

et Tg la tangente à 1 en G.

• Scolie : Tg // (CB).

• Les cercles 1 et 2, les points de base F et H, la monienne (GFC), les parallèles Tg et (CB),
conduisent au théorème 1' de Reim ; en conséquence, G, H et B sont alignés.

42
 43

D C

F
Tg
2 4
E
G O

Z
H
1
Tb
A B

• Notons Z le point d'intersection de (GH) et (AD).

• Scolie : le triangle GFH est G-isocèle.

• Par symétrie, (OZ) // (CFG).

D C

2
G O
E
1 5

A B

• Notons 5 le cercle de diamètre [BE] ; il passe par A et F.

• Les cercles 5 et 1, les points de base F et A, les moniennes (BFF) et (EAD),

conduisent au théorème 0 de Reim ; il s'en suit que (BE) // (FD).

43
 44

D C 3

2
G O
E
1

I
J
A B

• Notons I l'antipôle de F relativement à 1

et J le second point d'intersection de 1 et 3.

• Par symétrie, (FD) // (AI) ;

par transitivité de //, (EB) // (AI).

• Les cercles 3 et 1, les points de base D et J, la monienne (EDA), les parallèles (EB) et (AI),
conduisent au théorème 0' de Reim ; en conséquence, B, J et I sont alignés.

D C 3

2
G O
E
1

I
J T'b, Tb
A B

• Notons T'b la tangente à 3 en B.

• Scolie : (OI) // (CFG).

• Les cercles 1 et 3, les points de base D et J, les moniennes (ODB) et (IJB),

conduisent au théorème 1 de Reim ; il s'en suit que (OI) // T'b.

• Nous savons que (CFG) // Tb ;

en conséquence, T'b // Tb ;
d'après le postulat d'Euclide, T'b = Tb.

• Conclusion : 3 est tangent à 2 en B.

44
 45

Scolies :

D C

2 4
E
O
1

Tb
A B

(1) les centres de 2, 3 et 4 sont alignés

(2) cette droite des centres est perpendiculaire à (CF) et Tb.

45
 46

16. Deux parallèles 23

Jean-Louis Ayme

(june 2021)

VISION

Figure :

D C
X
F
2
4
E
O
1 Y

A B

Traits : ABCD un carré,

O le centre de ABCD,
E le milieu de [AD],
1 le cercle de centre E passant par A ; il passe par O et D ;
F le point de contact de la seconde tangente à 1 issue de B,
2 le cercle circonscrit au triangle FBC,
3 le cercle circonscrit au triangle EBD,
4 le cercle de centre B passant par A ; il passe par F et C ;
et X, Y les points d'intersection de 3 et 4.

Donné : (XY) passe par O et est parallèle à (CF).

VISUALISATION

23

46
 47

D C
X
F

2 4
E
O
1 Y

A B

• D'après Jakob Steiner ''Puissance d'un point'', O ayant même puissance par rapport à 3 et 4,
O est sur l'axe radical de 3 et 4.

• Conclusion partielle : X, O et Y sont alignés.

D C
X
F

2 4
E
O
1 Y

Tb
A B

• D'après Problème 14, scolie, 2 et 4 étant tangent en B,

leur droite des centres est * perpendiculaire à (XY)

* perpendiculaire à (CF).

• Conclusion : (XY) passe par O et est parallèle à (CF).

47
 48

17. Une relation 24

Jean-Louis Ayme

(june 2021)

Une trisection d'un segment

VISION

Figure :

D C

T
4
E

A B

Traits : ABCD un carré,

E le milieu de [AD],
1 le cercle de diamètre [AD],
4 le cercle de centre B passant par A ; il passe par C ;
F le second point d'intersection de 4 et 1,
et T le point d'intersection (CF) et (AD).

Donné : ED= 3.ET.

VISUALISATION

D C

F
T
4
G
E O

A B

• Notons O le centre de ABCD

et G le symétrique de O par rapport à E.

24
Ayme J.-L., A relation in a square, AoPS du 18/06/2021 ;
https://artofproblemsolving.com/community/c6h2594581_a_relation_in_a_square

48
 49

• Scolies : (1) 1 passe par O et G

(2) (OG) // (CD)

(3) 4 est tangent à (CD) en C.

• Les cercles 1 et 4, les point de base A et F, la monienne (OAC), les parallèles (OG) et (CD),
conduisent au théorème 1' de Reim ; en conséquence, G, F et C sont alignés.

• D'après l'axiome d'incidence Ia, G, T, F et C sont alignés.

D C

F
T
4
G H
E O

A B

• Notons H le milieu de [BC].

• Scolies : (1) F, E, O et H sont alignés

(2) EG = ED , HC = HD , HG = 3.EG.

• Les triangles ETG et HCG étant homothétiques, ET/EG = HC/HG.

• Conclusion : par substitution et réorganisation, ED = 3.ET.

49
 50

18. Deux perpendiculaires 25

2008 Kyiv TST2 9.2 for Ukraine MO

Un point variable

VISION

Figure :

D R S C

P
Q 0

A B

Traits : ABCD un carré,

0 le cercle circonscrit à ABCD,
M un point de l'arc CD comme indiqué sur la figure,
P, R les points d'intersection de (MA) resp. avec [DB], [DC]
et Q, S les points d'intersection de (MB) resp. avec [CA], [CD].

Donné : (PS) est perpendiculaire à (QR).

VISUALISATION

D R S 2 C

5 3
P
Q 0

4
1

6
A B

Tb

25
RQ _|_PS wanted, circumcircle of a dquare, AoPS du 08/06/2021 ;
https://artofproblemsolving.com/community/c6t48f6h2585383_rq___ps_wanted_circumcircle_of_a_dquare

50
 51

• Notons Tb la tangente à 0 en B.

• Scolie : Tb // (AC).

• D'après Carnot-Pascal ''Pentagramma mysticum'' 26

appliqué à l’hexagone dégénéré BDCAMC Tc, (1) (PS) en est la pascale

(2) (AC) // (PS).

• Mutatis mutandis, nous montrerions que (BD) // (QR).

D R S C

P
Q 0

A B

• Scolie : (AC) ⊥ (BD)

• La relation ⊥ étant compatible avec la relation //, (PS) ⊥ (QR).

• Conclusion : (PS) est perpendiculaire à (QR).

Scolie : un milieu

D R S C
I
X
P
Q 0

A B

• Notons X, I les points d'intersection de (QR) resp. avec (PC), (PS).

26
Carnot, De la corrélation des figures de Géométrie (1801) 455-456.

51
 52

• Un chasse angulaire :

* le triangle PAC étant P-isocèle, <CAP = <PCA

* par ''Angles correspondants et alterne-interne'', <SPR = <CPS.

• La P-cévienne (PI) étant à la fois P-bissectrice intérieure et P-hauteur du triangle PXR,

celui-ci est P-isocèle.

• Conclusion : (PI) étant aussi la P-médiane de PXR, I est le milieu de [RX].

52
 53

19. Deux angles égaux 27

Jean-Louis Ayme

VISION

Figure :

D C

I
F
1

A G E B

Traits : ABCD un carré,

1 le cercle inscrit au triangle DAB,
I le centre de 1,
F le point de contact de 1 avec (AD)
et E le point d'intersection de (DI) et (AB).

Donné : <AFE = <CFD.

VISUALISATION

D C

I
F
1

A G E B

• Notons 1 la longueur AB
et 2.p le périmètre de DAB.

• Évaluation de FA et FD :

* d'après Pythagore de Samos, BD = √2

* par une formule métrique 28, 2.AF = 2.(p – DB) = 2 - √2

27

53
 54

* d'où 2.AF = 2 - √2 et FD = √2/2.

• Par définition, cotan <CFD = DF/DC = √2/2.

• Par ''La formule de la bissectrice'', EA/DA = EB/DB = (EA+EB)/(DA+DB) = 1/(1+ √2)

EA = 1/(1+ √2).

• Par définition, cotan <AFE = AF/AE = 2.AF/2.AE = √2)/2

• Conclusion : <AFE = <CFD.

28
Lalesco T., La Géométrie du Triangle, Bucharest (1916) Rééditions Jacques Gabay, Paris (1987) n° 16-15, 112.

54
 55

20. Une bissectrice 29

Jean-Louis Ayme

VISION

Figure :

D C

I
F
1

A G E B

Traits : ABCD un carré,

1 le cercle inscrit au triangle DAB,
I le centre de 1,
F le point de contact de 1 avec (AD)
et E le point d'intersection de (DI) et (AB).

Donné : (FI) est la F-bissectrice intérieure du triangle FCE.

VISUALISATION

D C

I
F
1

A G E B

• Scolie : (IF), AB) et (CD) sont parallèles entre elles.

29
Ayme J.-L., A bissector and a square, AoPS du 22/06/2021 ;
https://artofproblemsolving.com/community/c6h2598255_a_bissector_and_a_square

55
 56

D C

I
F
1

A G E B

• Une chasse angulaire :

* d'après Problème 19, <AFE = <CFD

* par complémentarité, <FEA = <DCF

* par ''Angles alternes-internes'', <EFI = <IFC.

• Conclusion : (FI) est la F-bissectrice intérieure du triangle FCE.

56
 57

21. Un triangle isocèle 30

Jean-Louis Ayme

(2021)

Les-Mathematiques.net

VISION

Figure :

D C

I
F
1

Y A E B

Traits : ABCD un carré,

1 le cercle inscrit au triangle DAB,
I le centre de 1,
F le point de contact de 1 avec (AD)
et E, Y les points d'intersection de (AB) resp. avec (DI), (CF).

Donné : le triangle FYE est F-isocèle.

VISUALISATION

D C

I
F
1

Y A E B

• Une chasse angulaire :

* d'après Problème 20, (FI) est la F-bissectrice extérieure de FYE

30
http://www.les-mathematiques.net/phorum/read.php?8,2265892

57
 58

* par orthogonalité, (FI) est la F-bissectrice intérieure de FYE.

• Conclusion : (FI) en étant aussi la F-hauteur, le triangle FYE est F-isocèle.

58
 59

D. LEXIQUE

FRANÇAIS - ANGLAIS

A N
aligné collinear Notons name
annexe annex nécessaire necessary
axiome axiom note historique historic note
appendice appendix
adjoint associate O
a propos by the way btw orthocentre orthocenter
acutangle acute angle ou encore otherwise
axiome axiom
P
B parallèle parallel
bissectrice bisector parallèles entre elles parallel to each other
bande strip parallélogramme parallelogram
pédal pedal
C perpendiculaire perpendicular
centre incenter pied foot
centre du cercle circonscrit circumcenter point de vue point of view
cercle circonscrit circumcircle postulat postulate
cévienne cevian point point
colinéaire collinear pour tout for any
concourance concurrence
coincide coincide Q
confondu coincident quadrilatère quadrilateral
côté side
par conséquence consequently R
commentaire comment remerciements thanks
reconnaissance acknowledgement
D respectivement respectively
d'après according to rapport ratio
donc therefore répertorier to index
droite line
d'où hence S
distinct de different from semblable similar
sens clockwise in this
E order
extérieur external segment segment
Sommaire summary
F symédiane symmedian
figure figure suffisante sufficient
sommet (s) vertex (vertice)
H
hauteur altitude T
hypothèse hypothesis trapèze trapezium
tel que such as
I théorème theorem
intérieur internal triangle triangle
identique identical triangle de contact contact triangle
i.e. namely triangle rectangle right-angle triangle
incidence incidence

L
lemme lemma
lisibilité legibility

M
mediane median
médiatrice perpendicular bissector
milieu midpoint

59
60

60