Cho tam giác ABC vuông tại A (AB < AC). Gọi E là trung điểm của BC. Từ E lần lượt kẻ ED vuông góc AC tại D, EF vuông góc với AB tại F.
a) Chứng minh tứ giác ADEF là hình chữ nhật.
b) Gọi K là điểm đối xứng của E qua F. Chứng minh tứ giác AEBK là hình thoi.
c) Qua D vẽ đường thẳng vuông góc với BC cắt AB tại M. Đường thẳng vuông góc với AC tại C cắt MD tại I. Chứng minh tứ giác MCIA là hình bình hành.
d) Chứng minh BD vuông góc với AI.