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 1 of 5: Introduce the external intersection and its power
T=PQ∩RS,TP⋅TQ=TR⋅TST=PQ\cap RS,\qquad TP\cdot TQ=TR\cdot TS
Detailed analysis

Let T=PQ∩RST=PQ\cap RS. Since P,Q,R,SP,Q,R,S lie on the same circle CC, the intersecting-secant theorem gives TP⋅TQ=TR⋅TSTP\cdot TQ=TR\cdot TS. The hypothesis that the lines are not parallel makes TT finite and outside CC.