Để chứng minh tứ giác $EFOH$ là tứ giác nội tiếp, ta cần chứng minh $\angle EHF = \angle EOF$.
Ta có $\angle EHA = \angle HAB$ (do $SA$ và $SB$ là hai tiếp tuyến của đường tròn $O$), suy ra $\angle AHB = 90^\circ$.
Do đó, $\angle EHF = \angle EHA + \angle AHF = \angle HAB + \angle AOF = \angle EOF$ (do $OA$ và $OB$ là đường kính của đường tròn $O$).
Vậy, tứ giác $EFOH$ là tứ giác nội tiếp.
Để chứng minh $AM \cdot AB = AF \cdot AE$, ta sử dụng định lí Euclid về tích của các đoạn thẳng từ một điểm đến đường thẳng cắt nó.
Áp dụng định lí này cho đường thẳng $AH$ và đường tròn $O$, ta có:
$AM \cdot AB = AH^2 - OH^2$
$AF \cdot AE = AH^2 - HE \cdot HF$
Vì tứ giác $EFOH$ là tứ giác nội tiếp, nên $HE \cdot HF = OE \cdot OF$.
Do đó, $AM \cdot AB = AH^2 - OH^2 = AH^2 - OE \cdot OF = AF \cdot AE$.
Vậy, ta đã chứng minh được $AM \cdot AB = AF \cdot AE$.