Maths Olympiad Prep

Library / /27 of 53

Geometry Difficulty 6.6 National olympiad Prove it Vietnam

Given an acute, scalene triangle ABCABC (AB<ACAB < AC) with the circumcircle (O)(O). Let II be the midpoint of arc BCBC that does not contain AA. Take KK on ACAC (KCK \neq C) such that IK=ICIK = IC. Line BKBK intersects (O)(O) again at DD and intersects AIAI at EE. DIDI meets ACAC at FF.

a) Prove that EF=BC2EF = \frac{BC}{2}.

b) Let MM be the point on DIDI such that CMCM is parallel to ADAD. Line KMKM meets BCBC at NN and the circumcircle of triangle BKNBKN meets (O)(O) again at PP. Prove that PKPK passes through the midpoint of the segment ADAD.

Solution

a) It is easy to see that KK belongs to segment ACAC. Since IK=ICIK = IC, we have triangle IKCIKC is isosceles at II. Hence, AKI=180IKC=180ICK=ABI\angle AKI = 180^\circ - \angle IKC = 180^\circ - \angle ICK = \angle ABI, because ABICABIC is a cyclic quadrilateral. Furthermore, note that II is the midpoint of arc BCBC, then IAK=IAB\angle IAK = \angle IAB and IK=IB=ICIK = IB = IC so ABI=AKI\triangle ABI = \triangle AKI.

Figure 1

We conclude that AIAI is the perpendicular bisector of the segment BKBK, which implies that EE is the midpoint of BKBK. Note that,
DCK=ABD=AKB=DKC \angle DCK = \angle ABD = \angle AKB = \angle DKC
so triangle DKCDKC is isosceles, hence DK=DCDK = DC. Note that IK=ICIK = IC, we can see that IDID is also the perpendicular bisector of KCKC so FF is the midpoint of CKCK. From these above results, we have EFEF is the midline of triangle KBCKBC, then EF=12BCEF = \frac{1}{2}BC.

b) Let JJ be the midpoint of arc BCBC of (O)(O) that contains AA, it is well-known that IJIJ is the diameter of circle (O)(O). We will show that JJ, KK and PP are collinear.

Indeed, from IPJ=90\angle IPJ = 90^\circ, we only need to prove KPI=90\angle KPI = 90^\circ. In triangle ADIADI, because DKAIDK \perp AI, AKDIAK \perp DI then KK is the orthocenter of triangle ADIADI. Hence, IKIK is perpendicular to ADAD.

On the other hand, note that CMADCM \parallel AD, it follows that CMIKCM \perp IK, but IMKCIM \perp KC so MM is the orthocenter of triangle IKCIKC. Therefore,
MKC=90KCI=90(ACB+12BAC), so \angle MKC = 90^\circ - \angle KCI = 90^\circ - (\angle ACB + \frac{1}{2}\angle BAC), \text{ so}
KNB=NKC+NCK=9012BAC. \angle KNB = \angle NKC + \angle NCK = 90^\circ - \frac{1}{2}\angle BAC.
We have KPI=KPB+BPI=KNB+IAB=9012BAC+12BAC=90\angle KPI = \angle KPB + \angle BPI = \angle KNB + \angle IAB = 90^\circ - \frac{1}{2}\angle BAC + \frac{1}{2}\angle BAC = 90^\circ. Hence, JJ, PP and KK are collinear.

We also have AJAIAJ \perp AI, KDAIKD \perp AI so AJKDAJ \parallel KD and DJIDDJ \perp ID, AKIDAK \perp ID then DJAKDJ \parallel AK. Therefore, AJDKAJDK is a parallelogram and the line PKPK bisects the segment ADAD.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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