a, Xét `ΔABD` và `ΔACE` có :
`AB = AC` ( giả thiết ) , `\hat{A} chung , \hat{B_1} = \hat{C_1}`
Từ đó suy ra : `ΔABD = ΔACE ( g - c - g )`
`⇒ AE = AD`
b, Do `BDEC` là thang cân `⇒ DE//BC`
`⇒ \hat{D_1} = \hat{B_2}` ( so le trong )
Do `\hat{B_2} = \hat{B_1} ⇒ \hat{B_1} = \hat{D_1}`
Do `ΔEBD` cân `⇒ ED = EB`
Vậy `...`