Cho nửa đường tròn (O; R) đường kính BC. Lấy điểm A trên tia đối của tia BC. Kẻ tiếp tuyến AF, Bx của nửa đường tròn (O) (với F là tiếp điểm). Tia AF cắt tia Bx của nửa đường tròn tại D. Khi đó tứ giác OBDF là:
Hình vẽ minh họa
Ta có: (tính chất tiếp tuyến).
Tứ giác OBDF có nên nội tiếp được trong một đường tròn.