Câu 4 (3,0 điểm).
Cho đường tròn (O) có tâm là O và bán kính bằng R. Hai điểm phân biệt B, C cố định nằm trên (O) sao cho BC = a < 2R. Gọi A là điểm bất kì thuộc cung lớn BC của (O), A không trùng với B, C. Gọi D là chân đường phân giác trong kẻ từ A của tam giác ABC. Hai điểm E, F lần lượt là tâm đường tròn ngoại tiếp các tam giác ADB và ADC.
a) Chứng minh rằng hai tam giác AEO và ADC đồng dạng.
b) Tính diện tích tứ giác AEOF theo a và R .
c) Chứng minh rằng khi điểm A thay đổi thì E di chuyển trên một đường thẳng cố định.