Chứng minh hệ thức: BD.BE = BC.BF

Cho đường tròn tâm O, đường kính AB có bán kính R tiếp tuyến Ax. Trên tiếp tuyến Ax lấy điểm F sao cho BF cắt đường tròn tại C tia phân giác của góc ABF cắt Ax tại E và cắt đường tròn tại D.
1.chứng minh OD//BC
2. chứng minh hệ thức: BD.BE bằng BC.BF
3. chứng minh tứ giác CDEF nội tiếp
4. Xác định số đo của góc abc để tứ giác AOCD là hình thoi. Tính diện tích hình thoi AOCD theo R