Maths Olympiad Prep

Library / Vietnamese Mathematical Olympiad /34 of 68

Vietnamese Mathematical Olympiad

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 (K≠CK \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=180∘−∠IKC=180∘−∠ICK=∠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 DK⊥AIDK \perp AI, AK⊥DIAK \perp DI then KK is the orthocenter of triangle ADIADI. Hence, IKIK is perpendicular to ADAD.

On the other hand, note that CM∥ADCM \parallel AD, it follows that CM⊥IKCM \perp IK, but IM⊥KCIM \perp KC so MM is the orthocenter of triangle IKCIKC. Therefore,
∠MKC=90∘−∠KCI=90∘−(∠ACB+12∠BAC), so \angle MKC = 90^\circ - \angle KCI = 90^\circ - (\angle ACB + \frac{1}{2}\angle BAC), \text{ so}
∠KNB=∠NKC+∠NCK=90∘−12∠BAC. \angle KNB = \angle NKC + \angle NCK = 90^\circ - \frac{1}{2}\angle BAC.
We have ∠KPI=∠KPB+∠BPI=∠KNB+∠IAB=90∘−12∠BAC+12∠BAC=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 AJ⊥AIAJ \perp AI, KD⊥AIKD \perp AI so AJ∥KDAJ \parallel KD and DJ⊥IDDJ \perp ID, AK⊥IDAK \perp ID then DJ∥AKDJ \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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.