Cho nửa đường tròn tâm O đường kính AB. Trên đoạn OA lấy điểm H ( H khác A và O), đường thẳng kẻ qua H vuông góc với AO cắt nửa đường tròn tại C. kẻ HE vuông góc với AC tại E, HF vuông góc với BC tại F. Chứng minh rằng:
a) CH = EF
b) tứ giác AEFB nội tiếp
c) EF vuông góc với OC.