Xét `Δ vuông BAD và Δ vuông BED` có :
`BD` chung
`\hat{B1} = \hat{B2}` (`BD` là phân giác)
`=> Δ vuông BAD = Δ vuông BED (c.h-g.n)`
`=> AB = EB => ΔABE cân`
`ΔABE` cân tại `A` nên đường phân giác `BD` cũng là đường trung trực => `BD` là đường trung tực đoạn `AE`