Cho hình thang vuông ABCD có

Câu hỏi: Cho hình thang vuông ABCD có $\hat{A}=\hat{D}=90°$. Qua điểm E thuộc cạnh AB, kẻ đường thẳng vuông góc với DE, cắt BC tại F. Chứng minh rằng ED=EF