Cho tam giác ABC vuông tại A (AB > AC) nội tiếp trong đường tròn (O) có đường kính BC. Kẻ dây AD vuông góc với BC. Gọi E là giao điểm của DB và CA. Qua E kẻ đường thẳng vuông góc với BC, cắt BC ở H, cắt AB ở F. Chứng minh rằng:
a. Tam giác EBF cân
b. Tamm giác HAF cân
c. HA là tiếp tuyến của đường tròn (O)