Ta thấy góc EAO = góc FAO' (đối đỉnh) (1)
Lại có OE = OA (vì đều là bán kính của đường tròn (O)) → ΔOEA cân tại O
→ Góc EAO = góc AEO (2)
Từ (1) và (2) → Góc FAO' = góc AEO (cùng bằng góc EAO)
Suy ra tứ giác EOO'F nội tiếp (2 góc kề nhau cùng nhìn 1 đường thẳng)