Cho đường tròn tâm O bán kính R và dây AB bất kỳ. Gọi M là điểm chính giữa của cung nhỏ AB. E và F là hai điểm bất kỳ trên dây AB. Gọi C và D tương ứng là giao điểm của ME, MF của đường tròn (O). Chứng minh ∠EFD + ∠ECD = 180°