Chứng minh CDEF nội tiếp

CHO TAM GIÁC ABC VUÔNG TẠI A. NỬA ĐG TRÒN ĐG KÍNH AB CẮT BC TẠI D. TRÊN CUNG AD LẤY E. NỐI BE KÉO DÀI CẮT AC TẠI F.
  CM:
a. CDEF NỘI TIẾP
b. BE.BF=AB^2/4.