Cho hình bình hành ABCD với góc BAD < 90 độ. Đường phân giác của góc BCD cắt đường tròn ngoại tiếp tam giác BCD tại O khác C. kẻ đường thẳng d đi qua A và vuông góc với CO. Đường thẳng d lần lượt cắt các đường thẳng CB, CD tại E và F. Chứng minh rằng O là tâm đường tròn ngoại tiếp tam giác CEF.