Cho hình thang vuông ABCD có góc A = góc D = 90 độ. Qua điểm

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