Chứng minh: Tứ giác AFDC là hình thang và tứ giác AEDF là hình chữ nhật

----- Nội dung ảnh -----
Bài 4. (2,5 điểm)
Cho tam giác ABC vuông tại A ( AB < AC ), AH là đường cao. Lấy điểm D thuộc đoạn thẳng CH (D khác H; C). Vẽ DE ⊥ AC, DF ⊥ AB (E thuộc AC, F thuộc AB)
a) Chứng minh: Tứ giác AFDC là hình thang và tứ giác AEDF là hình chữ nhật.
b) Tính $\overline{FDC} + \overline{C}$ và tính $\overline{FDC} + \overline{C} - EHF$.