Vẽ đường tròn ngoại tiếp (O) của \(\Delta\)ABC. Tiếp tuyến tại B và C của (O) cắt nhau ở T.
Gọi HM cắt đường tròn (O) tại hai điểm K và D (K thuộc cung lớn BC), AH cắt (O) và (AEF) tại L và I (khác A).
Dễ chứng minh AD là đường kính của (O) và ^AKP = 900, suy ra K thuộc đường tròn (AEF)
Từ đó \(\Delta\)EKF ~ \(\Delta\)CKB (g.g). Dễ thấy ^IFE = ^IAE = ^LBC; ^IEF = ^IAF = ^LCB suy ra \(\Delta\)EIF ~ \(\Delta\)CLB
Do vậy \(\frac{KF}{KE}.\frac{IE}{IF}=\frac{KB}{KC}.\frac{LC}{LB}=\frac{KB}{KC}.\frac{DB}{DC}=\frac{KB}{KC}.\frac{DB}{BM}.\frac{CM}{DC}=\frac{KB}{KC}.\frac{KC}{KM}.\frac{KM}{KB}=1\)
Suy ra 2 tứ giác KFIE và KBLC điều hòa, dẫn đến K,I,S thẳng hàng và K,L,T thẳng hàng
Theo tính đồng dạng thì \(\Delta\)KIF ~ \(\Delta\)KLB và \(\Delta\)KFS ~ \(\Delta\)KBT kéo theo \(\Delta\)IKL ~ \(\Delta\)SKT (~\(\Delta\)FKB)
Vậy ST // IL, mà IL vuông góc với BC, T thuộc trung trực của BC nên S thuộc trung trực của BC hay SB = SC (đpcm).