Olympiad Maths Prep

Track / Stage 6 / 249 of 400 #1249 of 2000

Problem 1249

National olympiad, first round
Geometry Difficulty 6.3 Prove it Préparation Olympique Française de Mathématiques - ENVOI 4 : POT-POURRI · France

Problem:

Soit ABCABC un triangle dont les trois angles sont aigus, avec AB>ACAB > AC, et soit Ω\Omega son cercle circonscrit. On note MM le milieu de [BC][BC]. Les tangentes à Ω\Omega en BB et CC s'intersectent en PP, et les droites (AP)(AP) et (BC)(BC) se coupent en SS. On note DD le pied de la hauteur issue de BB dans ABPABP, et ω\omega le cercle circonscrit à CSDCSD. Enfin, on note KK le second point d'intersection (après CC) de ω\omega et Ω\Omega.

Montrer que CKM^=90\widehat{CKM} = 90^{\circ}.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Solution:

Figure 1

L'idée est de se rendre compte que la figure contient de nombreux points cocycliques. Pour commencer, on a PB=PCPB = PC donc (MP)(MP) est la médiatrice de [BC][BC], et en particulier l'angle BMP^\widehat{BMP} est droit. Comme BDP^\widehat{BDP} l'est aussi, les points B,D,MB, D, M et PP sont cocycliques sur le cercle Γ\Gamma de diamètre [BP][BP]. Si on trace ce cercle sur notre figure, il semble que Γ\Gamma passe aussi par KK. En effet, on va vérifier par chasse aux angles que B,D,KB, D, K et PP sont cocycliques. D'une part, en utilisant le théorème de l'angle inscrit, on a
KDP^=180KDS^=KCS^=KCB^. \widehat{KDP} = 180^{\circ} - \widehat{KDS} = \widehat{KCS} = \widehat{KCB}.
D'autre part, en utilisant le cas limite du théorème de l'angle inscrit, on a
KBP^=KCB^ \widehat{KBP} = \widehat{KCB}
donc les cinq points B,D,K,MB, D, K, M et PP sont cocycliques. On peut maintenant conclure en décomposant l'angle CKM^\widehat{CKM} en DD pour pouvoir utiliser un maximum de cercles :
CKM^=CKD^+DKM^=180CSD^+DBM^=BSD^+DBS^=180BDS^=90 \widehat{CKM} = \widehat{CKD} + \widehat{DKM} = 180^{\circ} - \widehat{CSD} + \widehat{DBM} = \widehat{BSD} + \widehat{DBS} = 180^{\circ} - \widehat{BDS} = 90^{\circ}

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.