Vì AE là tia phân giác của BAC
=> BAE = EAC = BAC/2
Xét △BAE và △EAC
Có: BEA = EAC
AE là cạnh chung
B = C (gt)
=> △BAE = △EAC (g.c.g)
=> BEA = AEC (2 góc tương ứng)
Mà BEA + AEC = 180o (2 góc kề bù)
=> BEA = AEC = 90o
=> BC ⊥ AE
Mà Ay // BC (gt)
=> Ay // AE (từ vuông góc đến song song)