1. Let x=OT. Since OT>1, the smaller circle is outside the unit circle and touches it at point T.
2. Let T′ be the reflection of T over the midpoint Q of AB. Since Q has the same power with respect to all three circles, we have:
QT2=QA⋅QB=QP⋅QO
This implies that the cross-ratio (A,B;T′,T)=−1.
3. From the cross-ratio property, we have:
OT′⋅OT=1⟹OT′=x1
4. Since Q is the midpoint of TT′, we get:
OQ=2x+x1=2xx2+1
5. Now, we remove T′ from the diagram as it was only needed to find OQ. Similarly, we have:
(A,B;P,Q)=−1⟹OP⋅OQ=1⟹OP=x2+12x
6. Since PA⋅PB=(1−PO)(1+PO), the desired equality is equivalent to:
(1−x2+12x)(1+x2+12x)=x2(x−x2+12x)2
7. Simplifying the left-hand side:
(1−x2+12x)(1+x2+12x)=1−(x2+12x)2=1−(x2+1)24x2
8. Simplifying the right-hand side:
x2(x−x2+12x)2=x2(x2+1x(x2+1)−2x)2=x2(x2+1x3−x+x−2x)2=x2(x2+1x3−2x)2
=x2(x2+1x(x2−2))2=x2(x2+1)2x2(x2−2)2=(x2+1)2(x2−2)2
9. Equating both sides:
1−(x2+1)24x2=(x2+1)2(x2−2)2
(x2+1x2−1)2=(x2+1x2−1)2
This is true, thus proving the desired equality.
The final answer is ∣PA∣⋅∣PB∣=∣OT∣2∣PT∣2.