Cho nửa đường tròn (O) đường kính AB và một điểm C nằm trên nửa đường tròn. Gọi D là một điểm trên đường kính AB, qua D kẻ đường vuông góc với AB cắt BC ở F, cắt AC ở E. Tiếp tuyến của nửa đường tròn ở C cắt EF ở I. Chứng minh:

a) I là trung điểm của EF

b) Đường thẳng OC là tiếp tuyến đường tròn ngoại tiếp tam giác ECF