Bài 13: Cho tam giác ABC vuông tại A, AB > AC. Vẽ AH vuông góc với BC tại H. Trên tia HC lấy điểm D sao cho HD = HA. Đường thẳng vuông góc với BC tại D cắt AC tại E. Vẽ EF vuông góc với AH tại F.
a) Chứng minh: ED // FH
b) Chứng minh: , từ đó suy ra EF = DH.
c) Chứng minh: . Từ đó chứng minh: .
d) Chứng minh AB = AE và tính số đo các góc của tam giác ABE.