Cho hình thang vuông ABCD có 

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