Gọi M là điểm đối xứng của A qua F. Chứng minh tử giác EDMF là hình bình hành

Bal 4. (3,5 diểm) Cho tam giác ABC vuông tại A (AB < AC) và đường cao AD. Từ
D kẻ DE vuông góc với AB tại E, DF vuông góc với AC tại F.
c) Gọi M là điểm đối xứng của A qua F.
Chứng minh tử giác EDMF là hình bình hành.
d) Gọi I là giao điểm của AD và EF;K là trung điểm của BC. Qua A kẻ tia Ax
vuông góc với IK, tia Ax cắt đường thẳng BC tại H.
Chứng minh bốn điểm H, E, I, F thẳng hàng.