Xét `triangle ABE` và `triangle AEF` có
`AE` chung
`hat{ABE}=hat{AFE}=90^o`
`hat{BAE}=hat{FAE}` (Vì AE là phân giác `hatA`)
`=> triangle ABE = triangle AEF` (g-c-g)
`=> AF=AB` (2 cạnh tương ứng)
`=> hat{AEF}=hat{AEB}` (2 góc tương ứng)
`=> AE` là phân giác `hat{BEF} (đpcm)
Chúc bn học tốt