Cho hình thang vuông ABCD có góc A = góc D = 90 độ, AB=AD=CD/2

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.