a) Xét (O) có AE là tia phân giác của góc BAC
=> ^BAE=^CAE
=> sđBE=sđCE
=> BE=CE (liên hệ giữa cung và dây cung)
=> tam giác BEC cân tại E (đpcm)

b) Tứ giác ABEC nội tiếp (O)
=> ^BAC+^BEC=180 độ (2 góc đối nhau)
<=> ^BEC=180 độ - ^BAC
Tam giác ABC có ^BAC+^ABC+^BCA=180 độ
=> =180 độ - ^BAC=^ABC+^BCA
Suy ra Góc BEC = góc ABC + góc ACB (đpcm)
c) AE là tia phân giác của góc BAC
=> ^BAE=^CAE
Hay ^BAF=^CAE
Tứ giác ABEC nội tiếp (O)
=> ^ABC=^AEC (2 góc nt chắn cung AC)
Hay ^ABF=^AEC
Xét tam giác ABF và tam giác AEC có:
^ABF=^AEC
^BAF=^CAE
=> tam giác ABF ~ tam giác AEC (g-g)
=> AB/AF=AE/AC
<=> AB.AC=AE.AF (đpcm)