Xét (O) có:
`AE` là phân giác của `hat{BAC}`
`=> hat{CAE} = hat{EAB}`
`=> Sđ \stackrel\frown{CE} = Sđ \stackrel\frown{BE}`
Ta có:
`+ hat{ABE} = 1/2 Sđ \stackrel\frown{CE}` (Tính chất góc nội tiếp)
`+ hat{EBy} = 1/2 Sđ \stackrel\frown{BE}` (Tính chất góc tạo bở tia tiếp tuyến và dây cung)
`=> hat{ABE} = hat{EBy}`
`=> BE` là phân giác của `hat{CBy}`