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: Tam giác HAF cân