Cho nửa đường tròn tâm O, đường kính AB. Qua điểm C thuộc nửa đường tròn, kẻ tiếp

Ta có: AE // OC

Suy ra: \[\widehat {OCA} = \widehat {EAC}\]( hai góc sole trong) (1)

Ta có: OA = OC (= R)

Suy ra: ∆OAC cân tại O

Þ\[\widehat {OCA} = \widehat {OAC}\](2)

Từ (1) và (2) suy ra:\[\widehat {EAC} = \widehat {OAC}\]

Þ AC là tia phân giác của góc OAE

Vậy AC là tia phân giác của \[\widehat {BAE}\].