Cho tam giác ABC vuông tại A có AB < AC. Gọi D và E lần lượt là trung điểm của các cạnh AC và BC, kẻ EF ⊥ AB tại F. a) Chứng minh ADEF là hình chữ nhật.