Maths Olympiad Prep

Library / /21 of 31

, 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,YPQX, 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 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

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 reproduced verbatim; metadata (topic, difficulty) added by this project.