Cho tam giác ABC vuông tại A, điểm D là trung điểm của BC. Gọi M là điểm đối xứng với D qua AB, E là giao điểm của DM và AB. Gọi N là điểm đối xứng với D qua AC, F là giao điểm của DN và AC. Tứ giác AEDF là hình gì? Vì sao?