Cho tam giác ABC vuông tại A. Trên cạnh BC lấy điểm D sao cho BA=BD. Từ D kẻ đường thẳng vuông góc với BC, cắt AC tại E. Gọi F là giao điểm của DE và BA. Chứng minh EF=EC