Cho đường tròn (O) có đường kính là AB. Trên AB lấy một điểm D nằm ngoài đoạn thẳng AB và kẻ  DC là tiếp tuyến của đường tròn (O) (với C là tiếp điểm). Gọi E là hình chiếu hạ từ A xuống đường thẳng CD và F là hình chiếu hạ từ D xuống AC. 

Chứng minh: 

a) Tứ giác EFDA là tứ giác nội tiếp.
b) AF là tia phân giác của góc EAD.
c) Tam giác EFA và BDC là hai tam giác đồng dạng.
d) Hai tam giác ACD và ABF có cùng diện tích với nhau.