(Mehmet KAYSİ)
Miguel Teoremi'nden $APS$ ve $BSR$ çemberleri $AB$ üzerinde kesişirler, kesiştikleri nokta $K$ olsun.
$$AP\cdot AQ=AS\cdot AR=AK\cdot AB$$ $$BR\cdot BQ=BS\cdot BP=BK\cdot BA$$ Aynı zamanda $AP\cdot AQ=AO^2-r^2$ ve $BR\cdot BQ=BO^2-r^2$ ($r$ verilen çemberin yarıçapı, $O$ ise merkezi ), dolayısıyla
$AO^2-r^2=AK^2+AK\cdot KB$ ve $BO^2-r^2=BK^2+AK\cdot KB$. Buradan $AO^2-AK^2=BO^2-BK^2=AK\cdot KB+r^2$ bulunur.
$AO^2-AK^2=BO^2-BK^2$ olduğundan $OK\bot AB$ ve $OK^2=AK\cdot KB+r^2$ $\Rightarrow$ $AK\cdot KB=OK^2-r^2$, dolayısıyla $AK\cdot KB$ sabittir. $OK$ doğrusu üzerinde $\sqrt{AK\cdot KB}=\left|KX\right|$ şartını sağlayan noktalar $AB$ çaplı çember üzerinde bulunur.