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)