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.