Tam giác ABC có đường phân giác AD, qua D kẻ đường thẳng song song AC, cắt AB tại E. Qua D kẻ đường thẳng song song AB cắt AC tại F. Chứng minh tứ giác AEDF là hình thoi