Ta có: MA = MN (tính chất đối xứng tâm)
ME = MF (tính chất đối xứng tâm)
Tứ giác AENF có hai đường chéo cắt nhau tại trung điểm của mỗi đường nên nó là hình bình hành
Suy ra: AF // NE
Mà NE ⊥ AB (chứng minh trên)
Suy ra: AF ⊥ AB tại A
Vậy FA là tiếp tuyến của đường tròn (O).