Cho tam giác vuông ABC vuông tại A có AB < AC. Tia phân giác của góc ABC cắt AC tại D. Qua D kẻ DE vuông góc với BC.
a. Chứng minh tam giác ABD bằng tam giác EBD.
b. Tia ED cắt tia BA tại F. Chứng minh BF = BC.
c. Chứng minh AE // CF.
d. Chứng minh DC^2 - DA^2 = (BC - BA)^2