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

Cho hình thang vuông ABCD có  A^=D^=90°, AB=AD=CD2. 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.