DIMOSTRAZIONE Biellismo per la polaritą circolare (2°)

Tracciate le circonferenze γ e δ rispettivamente di centri A e B e raggi AP e BP, sia Q il loro ulteriore punto di intersezione . Per il teorema delle corde si ha (i segmenti sono orientati): OP*OQ=OS*OT=(OA+AP)*(OA-AP)=OA2-AP2. OP*OQ=OM*ON=(OB+BP)*(OB-BP)=OB2-BP2. P e Q si corrispondono nella antiinversione circolare rispetto al cerchio con raggio immaginario . La retta CD č la polare di P.