Cho tam giác ABC vuông cân tại A. Lấy điểm D thuộc nửa mặt phẳng bờ AB không chứa C sao cho tam giác DAB vuông cân tại D; điểm E (khác A) không thuộc đoạn AD. Đường thẳng qua E, vuông góc với BE cắt AC tại F. Chứng minh rằng EF=EB