Olympiad Maths Prep

Track / Stage 8 / 83 of 180 #1783 of 2000

Problem 1783

IMO Shortlist mid-range; USAMO P2/P5
Geometry Difficulty 8.3 Prove it SAUDI ARABIAN IMO Booklet 2023 · Saudi Arabia · 2023

Given two circles (O1),(O2)(O_1), (O_2) with different radii and intersecting at two points A,BA, B. The tangent CDCD of the two circles (closer to point BB) with C(O1)C \in (O_1) and D(O2)D \in (O_2). Draw diameters BP,BQBP, BQ of (O1),(O2)(O_1), (O_2). The line through BB, and perpendicular to CDCD cuts PQPQ at KK.

a) Prove that BB is the orthocenter of triangle KCDKCD.

b) Draw the angle bisectors BX,BYBX, BY of the triangles KBP,KBQKBP, KBQ respectively with X,YPQX, Y \in PQ. Prove that KX=KYKX = KY.

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

a) Redefine the point KK as the orthocenter of the triangle BCDBCD, then BB is also the orthocenter of the triangle KCDKCD, we will show that KPQK \in PQ. Construct the parallelogram BCDTBCDT.

Figure 1

Since KK is the orthocenter of triangle BCDBCD, BCKDBC \perp KD, and BCTDBC \parallel TD so TDKDTD \perp KD. Similarly, TCKCTC \perp KC so KCTDKCTD is inscribed in a circle of diameter KTKT. Since CDCD is a common tangent to (O1),(O2)(O_1), (O_2), BCD=CAB\angle BCD = \angle CAB, BDC=DAB\angle BDC = \angle DAB. Therefore
180CBD=BCD+BDC=CAB+DAB=CAD. 180^\circ - \angle CBD = \angle BCD + \angle BDC = \angle CAB + \angle DAB = \angle CAD.
Since BCTDBCTD is a parallelogram, CBD=CTD\angle CBD = \angle CTD, hence 180CTD=CAD180^\circ - \angle CTD = \angle CAD entails ACTDACTD internal. Therefore, the points A,C,T,D,KA, C, T, D, K belong to the circle of diameter KTKT. Since BP,BQBP, BQ are the diameters of (O1),(O2)(O_1), (O_2), BAP=BAQ=90\angle BAP = \angle BAQ = 90^\circ, so A,P,QA, P, Q are collinear. It is left to prove that KAABKA \perp AB. From KACDKACD is inscribed, we have KAC=KDC=90BCD=90BAC\angle KAC = \angle KDC = 90^\circ - \angle BCD = 90^\circ - \angle BAC implies that
KAB=KAC+BAC=90. \angle KAB = \angle KAC + \angle BAC = 90^\circ.
Hence K,P,QK, P, Q are collinear and thus the original problem is solved.

b) Draw the altitude BHBH of the triangle BCDBCD and MM is the midpoint of CDCD. We have
KBP=180(CBP+CBH)=180(90BPC+90BCH)=2BCH. \angle KBP = 180^\circ - (\angle CBP + \angle CBH) = 180^\circ - (90^\circ - \angle BPC + 90^\circ - \angle BCH) = 2\angle BCH.
Since BXBX is the bisector of KBP\angle KBP, then KBX=BCM\angle KBX = \angle BCM. We can see that AKMHAKMH is cyclic since KAM=KHM=90\angle KAM = \angle KHM = 90^\circ so BKX=BMC\angle BKX = \angle BMC. This implies that
ΔBKXΔCMB    BKCM=KXMB. \Delta BKX \sim \Delta CMB \implies \frac{BK}{CM} = \frac{KX}{MB}.
Similarly, ΔBKYΔDMB    BKDM=KYMB\Delta BKY \sim \Delta DMB \implies \frac{BK}{DM} = \frac{KY}{MB}. And CM=DMCM = DM so we get
KXMB=KYMB    KX=KY. \frac{KX}{MB} = \frac{KY}{MB} \implies KX = KY.
\Box

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