Maths Olympiad Prep

Library / /90 of 104

Geometry Difficulty 6.8 National Olympiad Prove it Bulgaria

Problem:

Let k1k_{1} and k2k_{2} be circles with centers O1O_{1} and O2O_{2}, O1O2=25O_{1}O_{2}=25, and radii R1=4R_{1}=4 and R2=16R_{2}=16, respectively. Consider a circle kk such that k1k_{1} is internally tangent to kk at a point AA, and k2k_{2} is externally tangent to kk at a point BB.

a) Prove that the segment ABAB passes through a constant point (i.e., independent on kk).

b) The line O1O2O_{1}O_{2} intersects k1k_{1} and k2k_{2} at points PP and QQ, respectively, such that O1O_{1} lies on the segment PQPQ and O2O_{2} does not. Prove that the points P,A,QP, A, Q and BB are concyclic.

c) Find the minimum possible length of the segment ABAB (when kk varies).

Solution

Solution:

a) We shall prove that the position of the point S=O1O2ABS = O_{1}O_{2} \cap AB does not depend on kk. Let O3O_{3} be the center of kk. It follows by the Menelaus theorem for O1O2O3\triangle O_{1}O_{2}O_{3} and the line ABAB that
O3BBO2O2SSO1O1AAO3=1 \frac{O_{3}B}{BO_{2}} \cdot \frac{O_{2}S}{SO_{1}} \cdot \frac{O_{1}A}{AO_{3}} = 1
Since O3B=AO3O_{3}B = AO_{3}, we get O2SSO1=BO2O1A=R2R1=164=4\frac{O_{2}S}{SO_{1}} = \frac{BO_{2}}{O_{1}A} = \frac{R_{2}}{R_{1}} = \frac{16}{4} = 4.
Hence SS is a fixed point and the equalities O1O2=25=O2S+O1SO_{1}O_{2} = 25 = O_{2}S + O_{1}S imply that O2S=20O_{2}S = 20 and O1S=5O_{1}S = 5.

b) Setting O1O3O2=x\angle O_{1}O_{3}O_{2} = x and O1O2O3=y\angle O_{1}O_{2}O_{3} = y, then AO1S=x+y\angle AO_{1}S = x + y. Since O1AP\triangle O_{1}AP is isosceles, we have APS=x+y2\angle APS = \frac{x + y}{2}. On the other hand, the triangles AO3BAO_{3}B and BO2QBO_{2}Q are also isosceles; hence SBO3=90x2\angle SBO_{3} = 90 - \frac{x}{2} and QBO2=90y2\angle QBO_{2} = 90 - \frac{y}{2}, which implies that SBQ=x+y2\angle SBQ = \frac{x + y}{2}. Therefore APS=SBQ\angle APS = \angle SBQ, i.e. PBQAPBQA is a cyclic quadrilateral.

c) Note that SPSQ=SASBSP \cdot SQ = SA \cdot SB and SPSQ=(SO1+R1)(SO2R2)=94=36SP \cdot SQ = (SO_{1} + R_{1})(SO_{2} - R_{2}) = 9 \cdot 4 = 36. The inequality
AB=SA+SB2SASB=2SPSQ=12 AB = SA + SB \geq 2 \sqrt{SA \cdot SB} = 2 \sqrt{SP \cdot SQ} = 12
implies that the minimum of ABAB equals 1212 and it is attained if SA=SBSA = SB.
It remains to show that there is a circle kk with SA=SBSA = SB. Take a point Ak1A \in k_{1} such that SA=6SA = 6. Since the power of SS with respect to k1k_{1} equals SO12R12=5242=9SO_{1}^{2} - R_{1}^{2} = 5^{2} - 4^{2} = 9 and SA2=36>9SA^{2} = 36 > 9, it is easy to see that there is a circle kk passing through AA and satisfying the conditions of the problem. Then SB=SPSQ=6SB = \sqrt{SP \cdot SQ} = 6, i.e., SA=SBSA = SB.

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.