Cho đường tròn tâm O, đường kính BC, A là một điểm nằm trên đường tròn sao cho dây AB bé hơn dây AC. Trên đoạn OC lấy điểm D (D khác O, C). Từ D kẻ đường thẳng vuông góc với BC, đường thẳng này cắt hai đường thẳng BA và AC lần lượt tại E và F.
a) Chứng minh các tứ giác ABDF, AECD nội tiếp.