Bài hình:
a) $\widehat{BFC}=\widehat{BEC}=90^{\circ}\Rightarrow$ $BCEF$ là tứ giác nội tiếp
Gọi $N$ là giao điểm của $AO$ và $EF$, ta có: $\widehat{GAC}+\widehat{AEF}=\widehat{GBC}+\widehat{ABC}=\widehat{ABG}$ (do $BCEF$ là tứ giác nội tiếp)
Mà: tam giác $ABG$ nội tiếp đường tròn đường kính $AG$ nên tam giác $ABG$ vuông ở $B$, suy ra $\widehat{ABG}=90^{\circ}$, suy ra $\widehat{GAC}+\widehat{AEF}=90^{\circ}$
Vậy $AO$ vuông góc $EF$
b) Đầu tiên gọi $G'$ là điểm đối xứng của $H$ qua $M$, suy ra $BHCG'$ là hình bình hành nên góc $BG'C$ bằng góc $BHC$ và bằng $180^{\circ}-\widehat{BAC}$, suy ra $A,B,G',C$ cùng thuộc một đường tròn nên $G$ trùng $G'$
Đến đây ta có: $OM$ là đường trung bình của tam giác $AGH$ nên $2OM.AD=AH.AD$
Dễ CM: $AH.AD=AF.AB$ do cặp tam giác $AFH$ và $ADB$ đồng dạng với nhau (g.g)