Maths Olympiad Prep

Track / Stage 7 / 171 of 300 #1571 of 1964

Problem 1571

National olympiad second round; IMO P1/P4
Geometry Difficulty 7.3 Prove it

A circle touches to diameter ABAB of a unit circle with center OO at TT where OT>1OT>1. These circles intersect at two different points CC and DD. The circle through OO, DD, and CC meet the line ABAB at PP different from OO. Show that
PAPB=PT2OT2.|PA|\cdot |PB| = \dfrac {|PT|^2}{|OT|^2}.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. Let x=OT x = OT . Since OT>1 OT > 1 , the smaller circle is outside the unit circle and touches it at point T T .
2. Let T T' be the reflection of T T over the midpoint Q Q of AB AB . Since Q Q has the same power with respect to all three circles, we have:
QT2=QAQB=QPQO QT^2 = QA \cdot QB = QP \cdot QO
This implies that the cross-ratio (A,B;T,T)=1(A, B; T', T) = -1.
3. From the cross-ratio property, we have:
OTOT=1    OT=1x OT' \cdot OT = 1 \implies OT' = \frac{1}{x}
4. Since Q Q is the midpoint of TT TT' , we get:
OQ=x+1x2=x2+12x OQ = \frac{x + \frac{1}{x}}{2} = \frac{x^2 + 1}{2x}
5. Now, we remove T T' from the diagram as it was only needed to find OQ OQ . Similarly, we have:
(A,B;P,Q)=1    OPOQ=1    OP=2xx2+1 (A, B; P, Q) = -1 \implies OP \cdot OQ = 1 \implies OP = \frac{2x}{x^2 + 1}
6. Since PAPB=(1PO)(1+PO) PA \cdot PB = (1 - PO)(1 + PO) , the desired equality is equivalent to:
(12xx2+1)(1+2xx2+1)=(x2xx2+1)2x2 \left(1 - \frac{2x}{x^2 + 1}\right)\left(1 + \frac{2x}{x^2 + 1}\right) = \frac{\left(x - \frac{2x}{x^2 + 1}\right)^2}{x^2}
7. Simplifying the left-hand side:
(12xx2+1)(1+2xx2+1)=1(2xx2+1)2=14x2(x2+1)2 \left(1 - \frac{2x}{x^2 + 1}\right)\left(1 + \frac{2x}{x^2 + 1}\right) = 1 - \left(\frac{2x}{x^2 + 1}\right)^2 = 1 - \frac{4x^2}{(x^2 + 1)^2}
8. Simplifying the right-hand side:
(x2xx2+1)2x2=(x(x2+1)2xx2+1)2x2=(x3x+x2xx2+1)2x2=(x32xx2+1)2x2 \frac{\left(x - \frac{2x}{x^2 + 1}\right)^2}{x^2} = \frac{\left(\frac{x(x^2 + 1) - 2x}{x^2 + 1}\right)^2}{x^2} = \frac{\left(\frac{x^3 - x + x - 2x}{x^2 + 1}\right)^2}{x^2} = \frac{\left(\frac{x^3 - 2x}{x^2 + 1}\right)^2}{x^2}
=(x(x22)x2+1)2x2=x2(x22)2x2(x2+1)2=(x22)2(x2+1)2 = \frac{\left(\frac{x(x^2 - 2)}{x^2 + 1}\right)^2}{x^2} = \frac{x^2(x^2 - 2)^2}{x^2(x^2 + 1)^2} = \frac{(x^2 - 2)^2}{(x^2 + 1)^2}
9. Equating both sides:
14x2(x2+1)2=(x22)2(x2+1)2 1 - \frac{4x^2}{(x^2 + 1)^2} = \frac{(x^2 - 2)^2}{(x^2 + 1)^2}
(x21x2+1)2=(x21x2+1)2 \left(\frac{x^2 - 1}{x^2 + 1}\right)^2 = \left(\frac{x^2 - 1}{x^2 + 1}\right)^2
This is true, thus proving the desired equality.

The final answer is PAPB=PT2OT2\boxed{|PA| \cdot |PB| = \frac{|PT|^2}{|OT|^2}}.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.