Gọi giao điểm của tiếp tuyến tại M của (O) với tiếp tuyến tại B của (O) là I.
Ta có: [tex]OC\perp AB,AB\perp AE\Rightarrow OC//AE[/tex]
Tam giác BFA có BO = OA, OC // AF [tex]\Rightarrow FD=DB[/tex]
Lại có; [tex]AE\perp AB,AB\perp BI\Rightarrow AE//BI[/tex]
Hình thang AEIB có [tex]OD//AE//BI,AO=OB\Rightarrow DE=DI[/tex]
Tứ giác FEBI có FD=DB, DE=EI [tex]\Rightarrow FEBI[/tex] là hình bình hành [tex]\Rightarrow EF=BI[/tex]
Theo tính chất 2 tiếp tuyến cắt nhau ta có: [tex]AE=EM,BI=IM\Rightarrow EA.EF=EM.IM[/tex]
Lại có: [tex]\widehat{EOM}=\frac{1}{2}\widehat{AOM},\widehat{IOM}=\frac{1}{2}\widehat{BOM}\Rightarrow \widehat{EOM}+\widehat{MOI}=\frac{1}{2}(\widehat{AOM}+\widehat{MOB})\Rightarrow \widehat{EOI}=90^o[/tex]
Tam giác EOI vuông tại O có [tex]OM\perp EI\Rightarrow EM.IM=OM^2=R^2\Rightarrow EA.EF=R^2[/tex] không đổi