Chứng minh rằng đoạn thẳng EF có độ dài không đổi. Chứng minh rằng OMKN là tứ giác nội tiếp

cho đường tròn tâm O đường kính AB cố định. Ax và Ay là hai tia thay đổi luôn tạo với nhau góc 60độ và lần lượt cắt đường tròn (O) tại M và N. Đường thẳng BN cắt Ax tại E, đường thẳng BM cắt Ay tại F. Gọi K là trung điểm của đoạn thẳng EF.
a. Chứng minh rằng đoạn thẳng EF có độ dài không đổi
b. Chứng minh rằng OMKN là tứ giác nội tiếp
c. Khi AMN là tam giác đều, gọi C là điểm trên đường tròn (O) khác A, khác N. Đường thẳng qua M và vuông góc với AC cắt NC tại D. Xác định vị trí của điểm C để diện tích am giác MCD là lớn nhất