Cho tam giác ABC vuông tại C, biết \(\widehat{BAC}=\alpha\), \(AB=a\). Lấy 1 điểm D nằm bên trong tam giác ABC sao cho CD vuông góc với BD và \(\widehat{ACD}=\widehat{DBA}\). Gọi E là giao điểm của AB và CD.
a) Tính độ dài đoạn AE theo \(a,\alpha\).
b) gọi F là giao điểm của DB và AC, Chứng minh: \(FC^2=FD.FB\)