Vẽ đường tròn ngoại tiếp tam giác ABC, AE cắt đường tròn ngoại tiếp tại D.
Khi đó D là điểm chính giữa cung nhỏ BC nên [TEX]MD \perp BC[/TEX]
Ta chứng minh được [tex]\Delta ABE \sim \Delta ADC\rightarrow AB.AC=AE.AD=AE.ED+AE^2[/tex]
Lại có: [tex]\Delta AEF \sim \Delta MED\Rightarrow AE.ED=ME.EF\Rightarrow AB.AC=AE.ED+AE^2=ME.EF+AE^2=ME.EF+EH.EF=MH.EF[/tex]