Cho nửa đường tròn (O; R) có BC là đường kính. Lấy điểm A trên tia đối của tia CB. Kẻ tiếp tuyến AF, Bx của nửa đường tròn (O) (F là tiếp điểm), tia AF cắt tia Bx tại D. Chứng minh OBDF là tứ giác nội tiếp.