Toán Lớp 9: Cho tam giác ABC nội tiếp đường tròn (O). Biết AB = 4cm, BC = 8,5cm và CA = 7,5cm. 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. a) Chứng minh tam giác ABC vuông và tính độ dài đường cao vẽ từ đỉnh góc vuông của tam giác ABC. b) Chứng minh rằng EF = 2AH. c) Chứng minh rằng HA là tiếp tuyến của đường tròn (O).