FRANCE TEAM SELECTION TEST

Deuxime jour : mercredi 16 mai 2007 Problme 6

Jean-Louis AYME

Rsum.

Nous prsentons un problme propos au test de slection (TST) de l'quipe franaise pour les Olympiades Internationales de Mathmatiques de 2007, pour lequel l'auteur en donne une preuve originale. Une note historique et une prcision sur les TST sont offertes aux lecteurs. Les figures sont toutes en position gnrale et tous les thormes cits peuvent tous tre dmontrs synthtiquement.

Sommaire A. Le problme 6 B. L'approche 1. Quatre points cocycliques 2. Avertissement 3. Deux perpendiculaires 4. Un point sur un cercle 5. Un cercle C. La visualisation D. La solution officielle E. Annexe 1. L'quivalence d'Aubert 2. Hexagramma mysticum 3. Le thorme des trois cordes de Monge 2 3

10 12 13

A. LE PROBLME 6

VISION

Figure :

1 M R

J B
Traits : ABC D 1, 2 I, J Q, R M

2 C

et Donn :

un triangle tel que AB < AC, le point de [AC] tel que le triangle BDA soit B-isocle, les cercles inscrits resp. des triangles ABC, BDC, les centres resp. de 1, 2, les points de contact de 1 resp. avec (CA), (AB) le point d'intersection de (QR) et (AJ).

M est le milieu de [AJ].1

Note historique :

ce problme a t propos en 2006 dans la Short List des 47-ime I.M.O. en Slovnie. Il a t repropos en 2007 aux TST de France, du Brsil, de l'AIMO 2.

propos des TST :

un team selection test (TST) ou team selection exam (TSE) est un test donn aux meilleurs des candidats, une soixantaine, des olympiades nationales3 pour former l'quipe nationale pour les Olympiades internationales. Un TST propose sur deux journes six problmes rsoudre durant 4h30 o la sagacit prvaut sur les connaissances. Les noncs sont trs courts et difficiles, et leur rsolution ne fait appel aucun outil sophistiqu. Beaucoup d'lves utilisent les TST pour se prparer aux OIM4. Notons que ceux de Chine, Roumanie et des tats-unis sont trs priss, celles de Chine tant de notorit difficile. L'quipe nationale ainsi forme se compose de six lves.

1 2 3 4

France TST (2007) problme 6. Americana Ibero Mathematics Olympiads, TST 4, problem 1. Comme le Concours gnral. Olympiades Internationales de Mathmatiques.

B. L'APPROCHE

1. Quatre points cocycliques

VISION

Figure :

I Y Z B
Traits : ABC I P Y, Z U

et Donn :

un triangle, le centre de ABC, un point de [BC], les centres resp. des triangles APB, APC le pied de la perpendiculaire abaisse de I sur (BC).

U, Y, Z et P sont cocycliques. 5

Note historique :

ce cercle de diamtre [YZ] construit partir de deux cercles extrieurs l'un de l'autre, est apparu en 1869 dans les Nouvelles Annales de Mathmatiques6. Dans le cas particulier o les deux cercles sont ceux considrs dans l'nonc, la rfrence a t donne d'une faon incomplte par le regretter Juan Carlos Salazar. Une preuve peut tre vue chez l'auteur7.

2. Avertissement :

les notations mis en uvres partir de l sont conserves de paragraphes en paragraphes.

3. Deux perpendiculaires

VISION
5 6

American Mathematical Monthly. Nouvelles Annales de Mathmatiques de Terquem (1869) 458 ; Ayme J.-L., Gohierre de Longchamps dans les Journaux scientifiques, G.G.G. vol. 5, p. 12 ; http://pagesperso-orange.fr/jl.ayme/. Ayme J.-L., Le thorme de Feuerbach-Ayme, G.G.G. vol. 5 ; http://pagesperso-orange.fr/jl.ayme/.

Figure :

J B
Traits : ABC D J, K E un triangle tel que AB < AC, le point de [AC] tel que le triangle BDA soit B-isocle, les centres resp. des triangles BCD, BDA le point d'intersection de (AK) et (DJ).

et Donn :

(AE) est perpendiculaire (AK).

VISUALISATION

Scolies :

(1) (2) (3) (4)

(AK) est la A-bissectrice intrieure de BDA (BK) est La B-bissectrice intrieure de BDA (DJ) est la D-bissectrice extrieure de BDA E est le B-excentre de BDA (AE) est la A-bissectrice extrieure de BDA. (AE) est perpendiculaire (AK).

En consquence, Conclusion :

4. Un point sur un cercle

VISION

Figure :

3 1 K R I F

4 D

J B
Traits : ABC D 1, 2, 3 I, J, K Q, R E, F 4 F est sur 4.

2 C

et Donn :

un triangle tel que AB < AC, le point de [AC] tel que le triangle BDA soit B-isocle, les cercles inscrits resp. des triangles ABC, BDC, BDA, les centres resp. de 1, 2, 3, les points de contact de 1 resp. avec (CA), (AB), les points d'intersection resp. de (AK) et (DJ), de (QR) et (BE), le cercle de diamtre [JK].

VISUALISATION

Q F K I

J B U

2 C

Notons

le second point d'intersection de (AKI) avec 4. (UJ) (AU).

D'aprs Thals "Triangle inscriptible dans un demi cercle", Scolies : (1) (2) (QR) (AE) (AU) (AU).

Conclusion partielle : (AE), (QR) et (JU) sont parallles entre elles.

Q F 4 R K I 2 1 B U 3 5 6 J C D 4

Conclusion : d'aprs "L'quivalence d'Aubert" (Cf. Annexe 1), (AE) tant la pascale de l'hexagone JUKFQDJ,

F est sur 4.

Scolies :

(1)

un autre point sur 4

Q F 3 R K I 1 V 6 B
Notons V

4 4 D 5 J C

le second point d'intersection de (BD) et (UR).

Conclusion : d'aprs Pascal "Hexagramma mysticum" (Cf. Annexe 2), (ABR) tant la pascale de l'hexagone UKFQDVU, V est sur 4. (2) Deux parallles

Q F R K I

J B
Le triangle BDA tant B-isocle, en consquence,

C
la B-bissectrice intrieure (BK) est aussi la B-hauteur ; (AC) (BKFE).

D'aprs Thals "Triangle inscriptible dans un demi cercle", Conclusion : d'aprs l'axiome IVa des perpendiculaires,

(BKFE)

(JF).

(AC) // (JF).

6. Un cercle

VISION

Figure :

Q F R K I D

B
Traits : ABC D 1, 3 I, K Q, R F

C
un triangle tel que AB < AC, le point de [AC] tel que le triangle BDA soit B-isocle, les cercles inscrits resp. des triangles ABC, BDA, les centres resp. de 1, 3, les points de contact de 1 resp. avec (CA), (AB), le point d'intersection de (QR) et (BK),

et Donn :

A, R, K et F sont cocycliques.

VISUALISATION

6 Q F R K I D

B
Notons 5 le cercle de diamtre [AI] ; il passe par Q et R.

Le triangle BDA tant B-isocle, en consquence,

la B-bissectrice intrieure (BK) est aussi la B-hauteur ; (BKF) // (IQ).

Conclusion : le cercle 5, les points de base A et R, les moniennes naissantes (KAI) et (FRQ), les parallles (KF) et (IQ), conduisent au thorme 0" de Reim ; en consquence, A, R, K et F sont cocycliques. Notons 6 ce cercle.

Scolies :

(1)

quatre points cocycliques

7 A 5

6 Q F R K I V B U 4

D J C

D'aprs Monge "Le thorme des trois cordes" (Cf. Annexe 3) appliqu 4, 5 et 6, A, R, V et D sont cocycliques. Notons 7 ce cercle. le quadrilatre ARVD est un trapze.

Le triangle BDA tant B-isocle,

10

Conclusion : (RV) est parallle (AD). (2) Un milieu

Q L R F K I V B
Notons L

4 D

J U C

le point d'intersection de (AU) et (QR).

L est le milieu de [QR]. Conclusion : d'aprs l'axiome de passage IIIb appliqu la bande de frontire (ADC) et (RVU), L tant le milieu de [QR], L est le milieu de [AU].

C. LA VISUALISATION

VISION

Figure :

11

1 M R

J B
Traits : ABC D 1, 2 I, J Q, R M

2 C

et Donn :

un triangle tel que AB < AC, le point de [AC] tel que le triangle BDA soit B-isocle, les cercles inscrits resp. des triangles ABC, BDC, les centres de 1, 2, les points de contact de 1 resp. avec (CA), (AB) le point d'intersection de (QR) et (AJ).

M est le milieu de [AJ].

VISUALISATION8

1 L R I M

J B U
Notons et Scolies : L U (1) (2)

2 C

le point d'intersection de (AI) et (QR), le point d'intersection de (AI) et de la perpendiculaire (AI) passant par J. L est le milieu de [AU] (JU) // (QR).

D'aprs Thals "La droite des milieux" appliqu au triangle AUJ,

8

de l'auteur.

12

(QR) tant parallle (JU) et passant par le milieu L de [AU], Conclusion : M est le milieu de [AJ].

passe par le milieu de [AJ].

Note historique :

Cosmin Pohoata en a donn une preuve segmentaire, Virgil Nicula a eu recours au thorme de Mnlas, l'italien Edriv a mis en jeu une homothtie, et le chinois Yemin Ge des rapports trigonomtriques.9 Darij Griberg a signal que ce problme avait dj t donn sur le site Mathlinks par Cuenca10

D. LA SOLUTION OFFICIELLE

9 10

http://www.mathlinks.ro/Forum/viewtopic.php?search_id=1829539409&t=149173.

Cuenca, show midpoint, Mathlinks du 12/08/2006 ; http://www.mathlinks.ro/Forum/viewtopic.php?t=106306.

13

E. ANNEXE

1. L'quivalence d'Aubert11

11

La condition ncessaire est de Paul Aubert.

14

B C D

Traits :

et Donn :

1 ABCDE F P, Q

un cercle, un pentagone inscrit dans 1, un point tel que (AF) soit parallle (CD) les points d'intersection de (AB) et (DE), de (BC) et (EF).

F est sur 1 si, et seulement si, (PQ) et (AF) sont parallles.

2. Hexagramma mysticum12

A 1

F B C E D

P
Traits : et Donn : 1 ABCDEF P, Q, R F est sur 1

un cercle, un hexagone tels que les points A, B, C, D, E soient sur 1, les points d'intersection resp. de (AB) et (DE), (BC) et (EF), (CD) et (FA). si, et seulement si, P, Q et R sont aligns.

3. Le thorme des trois cordes de Monge

12

Pascal B. (1640)

15

B F
1

E A C
2

Traits :

et Donn :

1, 2 A, B C, D E, F I

deux cercles scants, les points d'intersection de 1 et 2, deux points de 2, deux points de 1 le point d'intersection de (AB) et (CD).

C, D, E et F sont cocycliques si, et seulement si, (AB), (CD) et (EF) sont concourantes en I.