$\mid AE \mid = m$ , $\mid AB \mid = x$ , $\mid BH \mid=y$ , $m(\widehat{ABM})=\theta$ , $m(\widehat{EFC})=\beta$ , $m(\widehat{ABC})=\alpha$ ve $m(\widehat{HFD})=\phi$ olsun.
$[MF$ ışını çemberi ikinci kez $D$ noktasında kessin. $AD$ çizilirse $BC$ ye dik olmalıdır çünkü $m(\widehat{BAD})=m(\widehat{DAC})$ olur. Bu nedenle $AD \perp BC$ bulunur. $AD \cap BC =\{H \}$ olacak şekilde $H$ noktamızı alalım. Bu bilgilerle şekildeki açıları yazalım.
$m(\widehat{MBC})=m(\widehat{CAM})=\alpha -\theta$ , $m(\widehat{FAC})=\beta - \alpha $ ,$m(\widehat{AFM})=180-\beta-\phi$
ve $m(\widehat{AMD})=90$ olur.
$EFC \sim AFB$ olduğu kolayca görülebilir.
$\dfrac{EF}{AF}=\dfrac{FC}{FB}=\dfrac{EC}{AB}=\dfrac{x-m}{x}$
$FC=x.k$ olsun. $BC=(x-m).k+xk=2y$ buradan $k=\dfrac{2y}{2x-m}$ bulunur.
$FC=2y.\dfrac{x-m}{2x-m}$
$HF=\dfrac{my}{2x-m}$ bulunur.
Pisagor teoreminden $AH= \sqrt{x^2-y^2}$ bulunur. Çemberde kuvvet teoreminden
$$AH.HD=BH.HC$$ olacağından $HD=\dfrac{y^2}{\sqrt{x^2-y^2}}$
$AMCF$ dörtgeninde köeşegenlere göre trigonometrik seva teoremi yazalım.
$$\dfrac{\sin (90-\alpha)}{\sin90}.\dfrac{\sin(\alpha-\theta)}{\sin(\beta-\alpha)}.\dfrac{\sin(180-\beta-\phi)}{\sin(\phi)}.\dfrac{\sin \alpha}{\sin \theta}=1$$ olduğunu elde ederiz. $(1)$
$BEA$ üçgeninde sinüs teoreminden
$\dfrac{m}{\sin \theta}=\dfrac{BE}{\sin 2\alpha}$ elde edilir. Bunu $(1)$ de yerine koyalım.
$$\dfrac{2 \sin \alpha .\cos \alpha }{\sin \theta}.\dfrac{\sin(\alpha-\theta)}{\sin(\beta-\alpha)}.\dfrac{\sin(\beta+\phi)}{\sin(\phi)}=2$$
$$\dfrac{BE}{m}.\dfrac{\sin(\alpha-\theta)}{\sin(\beta-\alpha)}.\dfrac{sin(\beta+\phi)}{\sin \phi}=2$$ $(2)$ elde edilir.
$BEC$ üçgeninde sinüs teoreminden $\dfrac{(x-m)}{\sin(\alpha-\theta)}=\dfrac{BE}{\sin \alpha}$ buradan
$\dfrac{(x-m). \sin\alpha}{BE}=\sin(\alpha-\theta)$
$AFC$ üçgeninde sinüs teoreminden
$\dfrac{\dfrac{2.y.(x-m)}{2x-m}}{\sin(\beta-\theta)}=\dfrac{AF}{\sin \alpha}$ buradan
$\dfrac{2y.(x-m).\sin\alpha}{(2x-m).AF}=\sin(\beta-\theta)$
Bulduklarımızı $(2)$ de yerine koyalım.
$\dfrac{BE}{m}.\dfrac{\dfrac{(x-m).\sin\alpha}{BE}}{\dfrac{2.y.(x-m).\sin\alpha}{(2x-m).AF}}.\dfrac{\sin(\beta+\phi)}{\sin\phi}=2$
Gerekli sadeleştirmeler yapılırsa $\dfrac{(2x-m).AF.sin(\beta+\phi)}{2my.\sin\phi}=2$ elde edilir. $(3)$
$AHF$ dik üçgeninden $\cos\beta=\dfrac{\dfrac{my}{2x-m}}{AF}$ elde edilir. $(3)$ te yerine koyarsak
$\dfrac{2\sin\phi \cos\beta}{\sin(\beta+\phi)}=\dfrac{1}{2}$ Buradan
$4.\sin\phi \cos\beta=\sin(\phi+\beta)=\sin\phi .\cos\beta+\sin\beta.\cos\phi$ Buradan da
$3\cos\beta \sin\phi=\sin\beta \cos\phi$ buradan da $tan\beta=3\tan\phi$ $(4)$ bulunur.
$DHF$ üçgeni yardımıyla $\tan\phi=\dfrac{\dfrac{y^2}{\sqrt{x^2-y^2}}}{\dfrac{my}{2x-m}}$ yani $\tan\phi=\dfrac{y^2.(2x-m)}{\sqrt{x^2-y^2}.my}$
$ADF$ üçgeninden $\tan\beta=\dfrac{\sqrt{x^2-y^2}}{\dfrac{my}{2x-m}}=\dfrac{\sqrt{x^2-y^2}.(2x-m)}{my}$ bu iki eşitliği $(4)$ te yerine koyalım.
$\dfrac{3y^2 .(2x-m)}{\sqrt{x^2-y^2}.my}=\dfrac{\sqrt{x^2-y^2}.(2x-m)}{my}$ sadeleştirmeler yapılırsa
$\dfrac{3y^2}{\sqrt{x^2-y^2}}=\sqrt{x^2-y^2}$ elde edilir. Buradan
$3y^2=x^2-y^2$ ve $4y^2=x^2$ bulunur. Buradan $2y=x$ olacağı açıktır. $BC=2y$ olduğundan $AB=AC=x$ olduğundan dolayı $AB=AC=BC=2y$ elde edilir. İspat biter.