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}\].