MathLabs

Problem 3

Let PQRSPQRS be a cyclic quadrilateral such that the lines PQPQ and RSRS are not parallel. Let A\mathcal A be the set of points of tangency of a circle through P,QP,Q and a circle through R,SR,S. Determine A\mathcal A.
Step 4 of 5: Recover the candidate circle from any tangency point
TV⋅TV1=TP⋅TQ=TR⋅TS=TV⋅TV2⟹V1=V2=VTV\cdot TV_1=TP\cdot TQ=TR\cdot TS=TV\cdot TV_2\Longrightarrow V_1=V_2=V
Detailed analysis

Conversely, let V∈AV\in\mathcal A. If the two circles coincide, they are CC and V∈CV\in C. Otherwise let TVTV meet the two circles again at V1,V2V_1,V_2. Power of TT gives TV⋅TV1=TP⋅TQTV\cdot TV_1=TP\cdot TQ and TV⋅TV2=TR⋅TSTV\cdot TV_2=TR\cdot TS. The equality from the first step and T≠VT\ne V imply TV1=TV2TV_1=TV_2, hence V1=V2=VV_1=V_2=V; therefore TVTV is tangent and TV2=r2TV^2=r^2.