Cho đường tròn (O,R) và hai đường kính AB,CD bất kì. Tiếp tuyến tại A của đường tròn (O) cắt các đường thẳng BC và BD 

a) Tứ giác CDEF nội tiếp

CBD^=90° (góc nội tiếp chắn nửa đường tròn)

⇒EFB^=ABC^ (vì cùng phụ ABF^ )

ΔOBC có OB=OC=R nên ΔOBC cân tại O⇒ABC^=OCB^.

Suy ra: EFB^=OCB^⇒ tứ giác CDFE nội tiếp (có góc trong bằng góc ngoài tại đỉnh đối diện)