Cho hình thang vuông ABCD có A^=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