Cho tam giác DEF vuông tại D, EK là tia phân giác của góc DEF ( K thuộc DF ). Trên tia EF lấy điểm H sao cho EH=ED.
a) Chứng minh tam giác EDK=tam giác EHK, từ đó chứng minh HK vuông góc với EF
b) Từ H kẻ đường thẳng vuông góc với DF, nó cắt DF tại I. Chứng minh HI // ED