Cho hình thang vuông ABCD, góc A=D=90 độ; AB=AD=DC/2. E thuộc AB, từ e kẻ đường vuông góc với DE, giao BC tại F. CMR: ED=EF