Maths Olympiad Prep

Library / /20 of 299

Geometry Difficulty 5.5 AIME, harder Prove it Iran

Given circles ω1\omega_1 and ω2\omega_2 with two intersection points AA and BB. Points XX on ω1\omega_1 and YY on ω2\omega_2 are chosen such that XYXY is tangent to both circles and XYXY is closer to BB than AA. If CC and DD are the reflections of XX and YY with respect to BB, prove that CAD<90\angle CAD < 90^\circ.

Solution

Suppose that ABAB intersects XYXY and CDCD at MM and NN, respectively. By comparing the power of MM with respect to ω1\omega_1 and ω2\omega_2 we have
MX2=MBMA=MY2    MX=MY MX^2 = MB \cdot MA = MY^2 \implies MX = MY

CAD<90\angle CAD < 90^\circ it suffices to prove that AA is outside the circle with diagonal CDCD; or equivalently to prove NA>NCNA > NC. It is clear that
NA=NM+MA=MB+MAandNC=2MX. NA = NM + MA = MB + MA \quad \text{and} \quad NC = 2MX.
So we have to show that MB+MA>2MXMB + MA > 2MX. Then by AM-GM inequality
MX2=MAMB(MA+MB2)2    MA+MB2MX. MX^2 = MA \cdot MB \le \left( \frac{MA + MB}{2} \right)^2 \implies MA + MB \ge 2MX.
Note that the equality case only occurs whenever MB=MAMB = MA, however we know that MB>MAMB > MA, so we have MB+MA>2MXMB + MA > 2MX.

Figure 1

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.