Từ điểm A nằm ngoài đường tròn O, vẽ các tiếp tuyến AB, AC. Gọi D là điểm đối xứng với B qua O, vẽ cát tuyến AEF, DE và DF cắt AO tại M và N. Chứng minh rằng OM = ON.