Cho nửa đường tròn (O) đk AB và 1 điểm C trên nửa đường tròn. Gọi D là 1 điểm trên đk 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 tại I. Chứng minh:
a. I là trung điểm của EF
b. Đường thẳng OC là tiếp tuyến của đường tròn ngoại tiếp tam giác ECF.