Maths Olympiad Prep

Library / SAUDI ARABIAN IMO Booklet /16 of 25

SAUDI ARABIAN IMO Booklet, 2023

Geometry Difficulty 8.3 Shortlist Prove it Saudi Arabia

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,Y∈PQX, Y \in PQ. Prove that KX=KYKX = KY.

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 K∈PQK \in PQ. Construct the parallelogram BCDTBCDT.

Figure 1

Since KK is the orthocenter of triangle BCDBCD, BC⊥KDBC \perp KD, and BC∥TDBC \parallel TD so TD⊥KDTD \perp KD. Similarly, TC⊥KCTC \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
180∘−∠CBD=∠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 180∘−∠CTD=∠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 KA⊥ABKA \perp AB. From KACDKACD is inscribed, we have ∠KAC=∠KDC=90∘−∠BCD=90∘−∠BAC\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∘−(90∘−∠BPC+90∘−∠BCH)=2∠BCH. \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

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.