CERCLES
CIRCONSCRIT ET INSCRIT
UN CARRÉ
Jean-Louis AYME 1
D C
A B
Résumé. L'auteur présente deux situations remarquables 2 et propose une approche métrique
pour les démontrer ou les montrer… Au passage, des résultats auxiliaires sont
découverts.
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 two remarkable situations and proposes a metric approach to
prove them or show them... By the way, auxiliary results are discovered.
The figures are all in general position and all cited theorems can all be shown
synthetically.
1
Saint-Denis, Île de la Réunion (Océan Indien, France), le 29/02/2016 ; [email protected]
2
Vankhea, The Problem in the square, AoPS du 17/06/2017 ;
https://artofproblemsolving.com/community/c6t48f6h1463706_the_problem_in_the_square
2
Sommaire
A. Cercle circonscrit à un carré 3
I. Introduction 3
1. Un lemme
2. Le résultat de l'auteur
II. Sommation 6
1. au ''carré''
2. au ''double-carré''
3. au ''triple-carré''
III. Divers 9
1. Un rapport
B. Cercle inscrit à un carré 11
I. Introduction 11
1. Un lemme
2. Quatre points cocycliques
3. Évaluation d'une longueur
4. Le résultat de l'auteur
II. Sommation 18
1. au ''carré''
2. au ''double-carré''
3. au ''triple-carré''
III. Divers 21
1. Une relation
C. Annexe 23
1. Différence de deux carrés
2. Somme de deux carrés
2
3
A. CERCLE CIRCONSCRIT À UN CARRÉ
I. INTRODUCTION
1. Un lemme
VISION
Figure :
B D C
Traits : ABC un triangle,
D le pied de la A-hauteur de ABC
et O le centre du cercle circonscrit à ABC,
Donné : AB.AC = 2.AO.AD. 3
Indication : A' étant l'antipôle de A relativement au cercle circonscrit à ABC,
les triangles ABD et AA'C sont semblables…
2. Le résultat de l'auteur
VISION
Figure :
3
A very simple relation, AoPS du 24/02/2016 ;
http://www.artofproblemsolving.com/community/c4t48f4h1203163_a_very_simple_relation
3
4
D C
A B
Traits : ABCD un carré,
0 le cercle circonscrit à ABCD,
R le rayon de 0
et M un point de 0.
Donné : MA².MC² + MB².MD² = 4.R4.
VISUALISATION
D C
X
Y 0
A B
• Notons O le centre de 0
et X, Y les pieds des perpendiculaires à (AC), (BD) issues de M.
• Scolies : (1) le quadrilatère MXOY est un rectangle
(2) XY = MO (= R).
(3) d'après A. I. 1. Un lemme, * MA.MC = 2.R.MX
* MB.MD = 2.R.MY.
• Une chasse segmentaire :
* par substitution, MA².MC² + MB².MD² = 4.R².MX² + 4.R².MY²
4
5
* par factorisation, 4.R².MX² + 4.R².MY² = 4.R². (MX² + MY²)
* par ''Le théorème de Pythagore'', 4.R². (MX² + MY²) = 4.R².XY²
* MXOY étant un rectangle, 4.R².XY² = 4.R².R²
* autre écriture, 4.R².R² = 4.R4.
• Conclusion : par transitivité de la relation =, MA².MC² + MB².MD² = 4.R4.
5
6
II. SOMMATION
1. Sommation au ''carré''
VISION
Figure :
D C
A B
Traits : ABCD un carré,
0 le cercle circonscrit à ABCD,
R le rayon de 0
et M un point de 0.
Donné : MA² + MB² + MC² + MD² = 8.R2.
VISUALISATION
D C
A B
• Notons O le centre de ABCD.
6
7
• D'après ''le théorème de la médiane'' 4 (Cf. C. Annexe 2) appliqué resp.
* au triangle MAC, MA² + MC² = 2.MO² + 1/2.AC² = 2.R² + 2.R² = 4.R²
* au triangle MBD, MB² + MD² = 2.MO² + 1/2.BD² = 2.R² + 2.R² = 4.R².
• Conclusion : MA² + MB² + MC² + MD² = 8.R2.
2. Sommation au ''double-carré'' 5
VISION
Figure :
D C
A B
Traits : ABCD un carré,
0 le cercle circonscrit à ABCD,
R le rayon de 0
et M un point de 0.
Donné : MA4 + MB4 + MC4 + MD4 = 24.R4.
VISUALISATION
• Une chasse identitaire :
* triangle MAC, MA4 + MC4 = (MA² + MC²)² - 2.MA².MC²
d'après A. II. 1. MA4 + MC4 = (4.R²)² - 2.MA².MC²
* triangle MBD, MB4 + MD4 = (MB² + MD²)² - 2.MB².MD²
d'après A. II. 1. MB4 + MD4 = (4.R²)² - 2.MB².MD²
Par addition et substitution, MA4 + MB4 + MC4 + MD4 = 32.R4 – 2.(MA².MC² + MB².MD²)
4
https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_la_m%C3%A9diane
5
Geometry, AoPS du 13/03/2018 ; https://artofproblemsolving.com/community/c6t48f6h1607574_geometry
7
8
d'après A. I. 2. MA4 + MB4 + MC4 + MD4 = 32.R4 – 2.4.R4
• Conclusion : MA4 + MB4 + MC4 + MD4 = 24.R4.
3. Sommation au ''triple-carré''
VISION
Figure :
D C
A B
Traits : ABCD un carré,
0 le cercle circonscrit à ABCD,
R le rayon de 0
et M un point de 0.
Donné : MA6 + MB6 + MC6 + MD6 = 80.R6.
VISUALISATION
• Une chasse identitaire :
* triangle MAC, MA6 + MC6 = (MA² + MC²)3 - 3.MA4.MC² - 3.MA2.MC4
d'après A. II. 1. = (4.R²)3 - 3.MA².MC².(MA² + MC²)
= 64.R6 - 3.MA².MC².4.R²
* triangle MAC, MB6 + MD6 = 64.R6 - 12.R².MB².MD²
* par addition, MA6 + MB6 + MC6 + MD6 = 128.R6 - 12.R².(MA².MC² + MB².MD²)
d'après A. I. 2. = 128.R6 - 12.R².4.R4
= 80.R6
• Conclusion : MA6 + MB6 + MC6 + MD6 = 80.R6.
8
9
III. DIVERS
1. Un rapport 6
Masile Vasgras
VISION
Figure :
D C
A B
Traits : ABCD un carré tel que AB = 1,
0 le cercle circonscrit à ABCD
et M un point de l'arc AD ne contenant pas B.
Donné : (MA.MD + MB.MC)/(MB.MD + MA.MC) = √2.
VISUALISATION
• D'après Pythagore de Samos ''Le théorème'', AC = BD = √2.
• D'après Claude Ptolémée ''Le théorème'' 7
appliqué aux quadrilatères cycliques
6
Nicula V., Problem 460. Working page VI ; https://artofproblemsolving.com/community/c1090
7
Ayme J.-L, Claude Ptolémée, G.G.G. vol. 43, p. 7-8 ; https://jl.ayme.pagesperso-orange.fr/
9
10
D C
A B
(1) convexe MBCD, MD + MB = MC.√2
par multiplication par MA, MA.MD + MA.MB = MA.MC.√2.
D C
A B
(2) croisé MADC, MC – MA = MD.√2
par multiplication par MB, MC.MB – MA.MB = MB.MD.√2.
• Par addition membre à membre, MA.MD + MB.MC = (MA.MC + MB.MD).√2.
• Conclusion : (MA.MD + MB.MC)/(MB.MD + MA.MC) = √2.
Archive :
10
11
B. CERCLE INSCRIT À UN CARRÉ
I. INTRODUCTION
1. Un lemme
VISION
Figure :
D M C
U
A B
Traits : ABCD un carré,
1 le cercle inscrit à ABCD,
O le centre de 1,
M un point de 1,
et (U), (V) les cercles circonscrits resp. aux triangles MAC, MBD.
Donné : (MO) est perpendiculaire à (UV).
VISUALISATION
• Scolies : (1) U est sur (BD) et V est sur (AC)
(2) M est sur l'axe radical de (U) et (V).
• Les puissances de O resp. par rapport à (U), (V) étant égales, O est sur l'axe radical de (U) et (V) ;
en conséquence, (MO) ⊥ (UV).
• Conclusion : (MO) est perpendiculaire à (UV).
11
12
2. Quatre points cocycliques
VISION
Figure :
D M C
1
X
Y
U
A B
Traits : ABCD un carré,
1 le cercle inscrit à ABCD,
O le centre de 1,
M un point de 1,
X, Y les pieds des perpendiculaires à (AC), (BD) issues de M
et (U), (V) les cercles circonscrits resp. aux triangles MAC, MBD.
Donné : U, V, X et Y sont cocycliques. 8
VISUALISATION
D M C
1
X
Y
U
A B
8
Ayme J.-L., Playing with a square, AoPS du 24/02/2016 ;
http://www.artofproblemsolving.com/community/c6h1203189_playing_with_a_square
Ayme J.-L., Four concyclic points, AoPS du 25/02/2016 ;
http://www.artofproblemsolving.com/community/c6h1203544_four_concyclic_points
12
13
• D'après B. 1. Un lemme, (MO) ⊥ (UV).
• Le quadrilatère MYOX étant rectangle, (MO) passe par le milieu de [XY].
• Conclusion : d'après ''Le théorème de Brahmagupta'' 9, U, V, X et Y sont cocycliques.
3. Evaluation d'une longueur
VISION
Figure :
D M C
1
X
r
Y
V
P
U
A B
Traits : ABCD un carré,
1 le cercle inscrit à ABCD,
O le centre de 1,
r le rayon de 1,
M un point de 1,
X, Y les pieds des perpendiculaires à (AC), (BD) issues de M,
(U), (V) les cercles circonscrits resp. aux triangles MAC, MBD
et P le point d'intersection de (MO) et (UV).
Donné : 2.OP = r. 10
VISUALISATION
9
Ayme J.-L., Le théorème de Brahmagupta, G.G.G. vol. 7 ; http://jl.ayme.pagesperso-orange.fr/
10
Ayme J.-L., Playing with a square, AoPS du 24/02/2016 ;
http://www.artofproblemsolving.com/community/c6h1203189_playing_with_a_square
13
14
D M C
1 Q X
Y
O
O' 2
V
P
R
U
A B
• Notons 2 le cercle passant par U, V, X, Y,
O' le centre de 2,
Q le point d'intersection de (XY) et (MO),
et R le milieu de [UV].
• D'après ''Le théorème de Brahmagupta'' 11, (OR) ⊥ (XY) ;
par culture géométrique, (XY) ⊥ (O'Q)
d'après l'axiome IVa des perpendiculaires, (OR) // (O'Q).
• Mutatis mutandis, nous montrerions que (OQ) // (O'R).
• Le quadrilatère ORO'Q étant un parallélogramme, OQ = O'R (= r/2).
D M C
1 U' X
Q
S
Y
V'
O
O'
2
V
P
R
U
A B
• Notons U', V' les antipôle de U, V par rapport à 2
et S le point d'intersection de (O'R) et (U'V').
• Scolies : (1) U' est le second point d'intersection de (MY) avec 2
(2) par symétrie, (O'RS) // (POQ) et O'R = OS
(3) par transitivité de =, OQ = OS.
11
Ayme J.-L., Le théorème de Brahmagupta, G.G.G. vol. 7 ; http://jl.ayme.pagesperso-orange.fr/
14
15
• Le quadrilalère OQSO' étant un rectangle, (OO') ⊥ (MP). 12
• Conclusion : O étant le milieu de [PQ], 2.OP = r.
Scolies : (1) une médiatrice 13
D M C
1
X
r
Y
O
2
V
P
U
A N B
• Notons N l'antipôle de M par rapport à 1.
• Conclusion : (UV) est la médiatrice de [ON].
(2) Puissance de O par rapport à 2
D M C
1 U' X
Q
S
Y
V'
O
d O'
2
V R
P
R
U
A B
• Notons P2 (O) la puissance de O par rapport à 2,
d la distance de O à O',
R le rayon de 2
et U', V' les symétriques de U, V par rapport à O'.
12
Ayme J.-L., Playing again with a square 2, AoPS du 25/02/2016 ;
http://www.artofproblemsolving.com/community/c6h1203601_playing_again_with_a_square
13
Ayme J.-L., Playing with a square, AoPS du 24/02/2016 ;
http://www.artofproblemsolving.com/community/c6h1203189_playing_with_a_square
15
16
• Par définition, P2 (O) = OU.OY (= OV.OX = R² - d²).
• par ''Le théorème de Pythagore'' appliqué
* au triangle MQS, MQ² + QS² = MS² i.e. (r/2)² + d² = SU'²
* au triangle SO'U', SU'² = O'U'² - O'S² i.e. SU'² = R² - (r/2)²
* par transitivité de = et simplification, R² - d² = r²/2
• Conclusion : P2 (O) = r²/2.
4. Le résultat de l'auteur
VISION
Figure :
D C
M
A B
Traits : ABCD un carré,
1 le cercle inscrit à ABCD,
r le rayon de 1
et M un point de 1.
Donné : MA².MC² + MB².MD² = 10.r4. 14
VISUALISATION
14
Geometry with square, AoPS du 19/02//2016 ;
http://www.artofproblemsolving.com/community/c6t48f6h1200685_geometry_with_square
Aide pour une évaluation, Les-Mathématiques.net ; http://www.les-mathematiques.net/phorum/list.php?8
16
17
D M C
1 X
Q
O
2
A B
• Une chasse segmentaire :
* d'après A. I. 1, MA².MC² + MB².MD² = 4.MU².MX² + 4.MV².MY²
* par décomposition, 4.MU².MX² = 4.(MU² - UO² + UO²).OY²
* d’après C. Appendice 1, 4.(MU² - UO² + UO²).OY² = 4.(2.MO.QP + UO²).OY²
* par substitution, 4.(2.MO.QP + UO²).OY² = 8r².OY² + 4.(UO.OY)²
* d'après B. 3 scolie 2, 8r².OY² + 4.(UO.OY)² = 8r².OY² + r4
* par transitivité de =, 4.MU².MX² = 8r².OY² + r4
* mutatis mutandis, 4.MV².MY² = 8r².OX² + r4
* par addition, 4.MU².MX² + 4.MV².MY² = 8r².(OY² + OX²) + 2.r4
* OXMY étant un rectangle, 8r².(OY² + OX²) + 2.r4 = 8.r4 + 2.r4
• Conclusion : par transitivité de =, MA².MC² + MB².MD² = 10.r4.
17
18
II. SOMMATION
1. Sommation au ''carré''
VISION
Figure :
D C
M
1
A B
Traits : ABCD un carré tel que AB = a,
1 le cercle inscrit à ABCD,
r le rayon de 1
et M un point de 1.
Donné : MA2 + MB2 + MC2 + MD2 = 12.r². 15
VISUALISATION
D C
M
1
A B
• Notons O le centre de ABCD.
• Scolies : (1) AC = BD O est le milieu de [AC]
(2) O est le milieu resp. de [AC], [BD].
• D'après ''le théorème de Pythagore'', AC² = BD² = 8.r².
15
Vankhea, The Problem in the square, AoPS du 17/06/2017 ;
https://artofproblemsolving.com/community/c6t48f6h1463706_the_problem_in_the_square
18
19
• D'après ''le théorème de la médiane'' 16 (Cf. C. Annexe 2) appliqué resp.
* au triangle MAC, MA² + MC² = 2.MO² + 1/2.AC² = 2.r² + 4.r² = 6.r²
* au triangle MBD, MB² + MD² = 2.MO² + 1/2.BD² = 2.r² + 4.r²= 6.r².
• Conclusion : MA2 + MB2 + MC2 + MD2 = 12.r².
2. Sommation au ''double-carré''
VISION
Figure :
D C
M
1
A B
Traits : ABCD un carré tel que AB = a,
1 le cercle inscrit à ABCD,
r le rayon de 1
et M un point de 1.
Donné : MA4 + MB4 + MC4 + MD4 = 52.r4. 17
VISUALISATION
• Une chasse identitaire :
* triangle MAC, MA4 + MC4 = (MA² + MC²)² - 2.MA².MC²
d'après B. II. 1, MA4 + MC4 = 36.r4 - 2.MA².MC²
* triangle MBD, MB4 + MD4 = (MB² + MD²)² - 2.MB².MD²
MB4 + MD4 = 36.r4 - 2.MB².MD²
* Par addition et
d'après B. I. 4, MA4 + MB4 + MC4 + MD4 = 72.r4 - 20.r4 .
16
https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_la_m%C3%A9diane
17
Vankhea, The Problem in the square, AoPS du 17/06/2017 ;
https://artofproblemsolving.com/community/c6t48f6h1463706_the_problem_in_the_square
19
20
• Conclusion : MA4 + MB4 + MC4 + MD4 = 52.r4.
3. Sommation au ''triple-carré''
VISION
Figure :
D C
M
1
A B
Traits : ABCD un carré tel que AB = a,
1 le cercle inscrit à ABCD,
r le rayon de 1
et M un point de 1.
Donné : MA6 + MB6 + MC6 + MD6 = 252.r6. 18
VISUALISATION
• Une chasse identitaire :
* triangle MAC, MA6 + MC6 = (MA² + MC²)3 - 3.MA4.MC²- 3.MA2.MC4
d'après B. II. 1, = (6.r²)3 - 3.MA².MC².(MA² + MC²)
= 216.r6 - 3. MA².MC².6.r².
* triangle MAC, MB6 + MD6 = 216.r6 - 3. MB².MD².6.r².
* par addition, MA6 + MB6 + MC6 + MD6 = 432.r6 - 18.r².(MA².MC² + MB².MD²)
d'après B. I. 4, = 432.r6 - 18.r².10.r4
• Conclusion : MA6 + MB6 + MC6 + MD6 = 252.r6
18
Vankhea, The Problem in the square, AoPS du 17/06/2017 ;
https://artofproblemsolving.com/community/c6t48f6h1463706_the_problem_in_the_square
20
21
III. DIVERS
1. Une relation 19
Antonio Gutierrez
VISION
Figure :
D K C
M
L J
1
A I B
Traits : ABCD un carré,
1 le cercle inscrit à ABCD,
I, J, K, L les points de contact de 1 resp. avec [AB], [BC], [CD], [DA]
et M un point de 1.
Donné : MI² - ML² = 1/2.(MB² - MD²).
VISUALISATION
D K C
M
L J
1
A I B
• Notons a la longueur AB.
• Une chasse segmentaire :
19
Gutierrez A., Land of the Incas, Problem 331 ;
http://gogeometry.com/problem/p331_square_inscribed_circle.htm
A relation in a square, AoPS du 30/11/2017 ;
https://artofproblemsolving.com/community/c6h1552915_a_relation_in_a_square
21
22
* d’après C. Annexe 2 appliqué au
triangle MAB, MA² + MB² = 2.MI² + (1/2).a²
triangle MAD, MA² + MD² = 2.ML² + (1/2).a²
* par soustraction membre à membre, 2.[MI² - ML²] = MB² - MD².
• Conclusion : MI² - ML² = (½).(MB² - MD²).
Archive :
22
23
C. ANNEXE
1. Différence de deux carrés
B H M C
Traits : ABC un triangle tel que AB < AC,
M le milieu de [BC]
et H le pied de la A-hauteur de ABC.
Donné : AC² - AB² = 2.BC.MH.
2. Somme de deux carrés 20
B M C
Traits : ABC un triangle tel que AB < AC
et M le milieu de [BC].
Donné : AB² + AC² = ½ BC² + 2.AM².
20
connu sous le nom du théorème de la médiane ou encore théorème d'Apollonius.
Ce résultat est aussi une reformulation de l'identité de la médiane
23
