Cho tam giác ABC vuông tại A có đường phân giác AD. Qua D kẻ đường thẳng vuông góc với AB tại E. Qua D kẻ đường thẳng vuông góc Ac tại F. Chứng minh tứ giác AEDF là hình vuông