令 T=PQ∩RST=PQ\cap RST=PQ∩RS。由于 P,Q,R,SP,Q,R,SP,Q,R,S 在同一圆 CCC 上,由相交割线定理得 TP⋅TQ=TR⋅TSTP\cdot TQ=TR\cdot TSTP⋅TQ=TR⋅TS。两直线不平行保证 TTT 是有限点且在 CCC 外。