DU THORME DE REIM AU THORME DES SIX CERCLES

UNE PREUVE SIMPLE ET PUREMENT SYNTHTIQUE

Jean - Louis AYME

Rsum.

Nous prsentons une suite de gnralisation consistant remplacer chaque droite du thorme de Reim par un cercle. Cette progression nous permet de redcouvrir les thormes du trois et quatre cercles, celui des cinq cercles d'Henri Lebesgue et, en fin, celui des six cercles d'Auguste Miquel. L'article se termine par l'utile technique de l'accentuation.

1. LE THORME DE REIM OU DES DEUX CERCLES

VISION

Figure :

C 1 D' C' Mc' 2

Mb' A' 1 B' B

Q' B Q Mb 1

Ma P 0 A P'

Traits :

et Donn :

0, 1 A, B Ma, Mb P, P' Q, Q'

deux cercles scants, les points d'intersection de 0 et 1, deux droites passant resp. par A, B, les seconds points d'intersection de Ma avec 0 et 1, les seconds points d'intersection de Mb avec 0 et 1.

(PQ) est parallle (P'Q').

Terminologie : (1)

relativement 1 et 2 nous dirons que 1 et 2 sont les cercles de Reim, A et B sont les points de base, [AB] est la corde commune1, Ma est la A-monienne, note (PAP')2 relativement 1 et 2, Mb est la B-monienne, note (QBQ') relativement 1 et 2, (PQ) est la droite de dpart (P'Q') est la rsultante.

et (2) Relativement 1 nous dirons que

(PAP') est une A-monienne naissante.

Scolie :

ce rsultat est "le thorme 0 de Reim" ou encore "le thorme des deux cercles" dans le point de vue que nous allons dvelopper.

nonc traditionnel :

pour tout couple de cercles de Reim et pour tout couple de moniennes, la rsultante est parallle la droite de dpart. les cercles 0 et 1, les points de base A et B, les moniennes (PAP') et (QBQ') conduisent au thorme 0 de Reim ; il s'en suit que (PQ) // (P'Q').

nonc technique :

Avertissement :

le thorme 0 de Reim met en jeu deux cercles, deux moniennes et une droite de dpart. Dans la suite de cet article, nous avons l'intention de transformer progressivement chaque droite en un cercle afin d'en observer l'impact sur la rsultante (P'Q'). Dans le paragraphe 2, nous remplaons Mb par un cercle passant par B, puis

1 2

Appel "double-corde" chez Catalan Le premier point est sur le premier cercle cit, le second point est le point de base et le troisime point est sur le second cercle cit.

3
dans le 3, la droite de dpart (PQ) par un cercle passant par P et Q, puis dans le 4, Mb et (PQ) comme dans 2 et 3, et dans le 5, Ma par un cercle passant par A.

2. LE THORME DES TROIS CERCLES

VISION

Figure :

R 2, Mb Q' Q 1 B

Ma P 0 A Q

Traits :

et Donn :

0, 1 A, B Ma P, P' 2 Q, Q' R

deux cercles scants, les points d'intersection de 0 et 1, une droite passant par A, les seconds points d'intersection de Ma avec 0 et 1, un cercle passant par B, les seconds points d'intersection de 2 resp. avec 0 et 1 le second point d'intersection de (PQ) avec 2.

(QQ'R) est une Q'-monienne de 1 et 2.

VISUALISATION

4
R 2, Mb Q' Q B 1

U Ma P 0 A Q

Notons

le second point d'intersection de la droite (Q'B) avec 0.

les cercles 1 et 0, les points de base B et A, les moniennes (Q'BU) et (QAP), conduisent au thorme 0 de Reim ; il s'en suit que les cercles 0 et 2, les points de base Q et B, les moniennes (PQR) et (UBQ'), conduisent au thorme 0 de Reim ; il s'en suit que Par transitivit de la relation //, d'aprs le postulat d'Euclide, Conclusion : (QQ'R) est une Q'-monienne de 1 et 2.

(Q'Q) // (PU).

(PU) // (RQ'). (Q'Q) // (RQ') ; (QQ') = (RQ').

3. LE THORME DES QUATRE CERCLES

VISION

Figure :

Q' B Q" Q Mb 1

Ma P" 3 P 0 A P'

Traits :

et Donn :

0, 1 A, B Ma, Mb P, P' Q, Q' 3 P", Q" R

deux cercles scants, les points d'intersection de 0 et 1, deux droites passant resp. par A, B, les seconds points d'intersection de Ma avec 0 et 1, les seconds points d'intersection de Mb avec 0 et 1, un cercle passant par P et Q, les seconds points d'intersection de 3 resp. avec 0 et 1, le second point d'intersection de (PQ) avec Ma, Mb.

les points P', Q', P" et Q" sont cocycliques.

VISUALISATION

Q' B Q" Q Mb 1

Ma P" 3 P 0 A P'

6
Les cercles 0 et 3, les points de base P et Q, les moniennes (APP") et (BQQ"), conduisent au thorme 0 de Reim ; il s'en suit que

(AB) // (P"Q").

Conclusion : le cercle 1, les points de base P' et Q', les moniennes naissantes (AP'P") et (BQ'Q"), les parallles (AB) et (P"Q"), conduisent au thorme 0" de Reim ; en consquence, les points P', Q', P" et Q" sont cocycliques.

4. LE THORME DES CINQ CERCLES 3

VISION

Figure :

2, Mb

Q" 3 Q B

Q' 1

P"

Ma P 0 A

P'

Traits :

et Donn :

0, 1 A, B Ma P, P' 2 Q, Q' 3 P", Q"

deux cercles scants, les points d'intersection de 0 et 1, une droite passant par A, les seconds points d'intersection de Ma avec 0 et 1, un cercle passant par B, les seconds points d'intersection de 2 resp. avec 0 et 1, un cercle passant par P et Q, les seconds points d'intersection de 3 resp. avec Ma et 2.

les points P', Q', P" et Q" sont cocycliques.

Lebesgue H. L., Sur deux thormes de Miquel et de Clifford, Nouvelles Annales de Mathmatiques (1916).

7
VISUALISATION

U 2, Mb

Q" 3 Q B Q' 1

Ma P"
Notons

P'

le second point d'intersection de la droite (BP") avec 2. (ABU) est une B-monienne de 0 et 2.

D'aprs 2. Le thorme des trois cercles, appliqu 0, 2 et 3,

U 2, Mb

Q" 3 Q B

Q' 1

P"

P 0

Ma

P'

Notons

le second point d'intersection de la droite (P'Q') avec 2. (PQV) est une Q-monienne de 0 et 2.

D'aprs 2. Le thorme des trois cercles, appliqu 0, 1 et 2,

Les cercles 2 et 0, les points de base B et Q, les moniennes (UBA) et (VQP), conduisent au thorme 0 de Reim ; il s'en suit que (UV) // (AP) i.e. (P"P').

U 2, Mb

Q" 3 Q B

Q' 1

Ma P" P 0 A P'

Conclusion : le cercle 2, les points de base Q" et Q', les moniennes naissantes (UQ"P") et (VQ'P'), les parallles (UV) et (P"P'), conduisent au thorme 0" de Reim ; en consquence, P', Q', P" et Q" sont cocycliques.

5. LE THORME DES SIX CERCLES 4

VISION

Figure :

Miquel A., Mmoire de Gomtrie, Journal de Liouville, vol. X (1844) 347.

2, Mb

Q" B Q 0 P A P"

Q' 1

P' 4, Ma

Traits :

et Donn :

0, 1 A, B 2 Q, Q' 4 P, P' 3 P", Q"

deux cercles scants, les points d'intersection de 0 et 1, un cercle passant par B, les seconds points d'intersection de 2 resp. avec 0 et 1, un cercle passant par A, les seconds points d'intersection de 4 resp. avec 0 et 1, un cercle passant par P et Q, les seconds points d'intersection de 3 resp. avec 4 et 2.

les points P', Q', P" et Q" sont cocycliques.

VISUALISATION

10

U 2, Mb

Q" B Q U' P A P" 0

Q' 1

P'

4, Ma

Notons et

U U'

le second point d'intersection de la droite (P"Q") avec 2 le second point d'intersection de (PP") avec 0. (UBU') est une B-monienne de 0 et 2.

D'aprs 2. Le thorme des trois cercles, appliqu 0, 2 et 3,

V 2, Mb

Q" Q V' P A P" B U' 0

Q' 1

P'

4, Ma

Notons

le second point d'intersection de la droite (P'Q') avec 2.

11
et V' le second point d'intersection de (AP') avec 0. (VQV') est une Q-monienne de 0 et 2.

D'aprs 2. Le thorme des trois cercles, appliqu 0, 1 et 2,

V 2, Mb

Q" Q V' P A P" 5 B U' 0

Q' 1

P' 4, Ma

Les cercles 2 et 0, les points de base B et Q, les moniennes (UBU') et (VQV'), conduisent au thorme 0 de Reim ; il s'en suit que Les cercles 0 et 4, les points de base P et A, les moniennes (U'PP") et (V'AP'), conduisent au thorme 0 de Reim ; il s'en suit que Par transitivit de la relation //,

(UV) // (U'V').

(U'V') // (P"P'). (UV) // (P"P').

Conclusion : le cercle 2, les points de base Q" et Q', les moniennes naissantes (UQ"P") et (VQ'P'), les parallles (UV) et (P"P'), conduisent au thorme 0" de Reim ; en consquence, P', Q', P" et Q" sont cocycliques. Notons 5 ce cercle.

Scolies :

(1) (2)

0 est le cercle de dpart et 5 celui d'arriv. une autre vision

12

Q" Q B 0

Q' 1

P P" 5

A P' 4

nonc traditionnel :

les cercles qui ont pour cordes les cts d'un quadrilatre cyclique se recoupent en quatre points cocycliques. nonc moderne

(3)

2 A' C B

B' A 5 C' 4

Notons et

ABC, A'B'C' 0, 1, 2, 3, 4, 5

deux triangles les cercles circonscrits des triangles AB'C, ABC', A'BC, A'B'C, AB'C' et A'BC'. si, et seulement si, 3, 4 et 5 sont concourants.

Conclusion : 0, 1 et 2 sont concourants (4)

Une approche plus parlante, "la technique d'accentuation"

13

2, A'BC A' C B

3, A'B'C

B' A 5, A'BC' C'

0, AB'C

4, AB'C'

1, ABC'

Notons et

(AB'C), (ABC'), (A'BC), (A'B'C), (AB'C') (A'BC')

les cercles 0, 1, 2, 3, 4 le cercle d'arriv 5.

Conclusion : (A'BC), (AB'C) et (ABC') sont concourants si, et seulement si, (AB'C'), (A'BC') et (A'B'C) sont concourants. Les rgles : accentuation d'un point double accentuation accentuation d'un cercle (A)' = A' (A')' = A (AB'C')' = A'BC.