`a)`
Xét `\triangle BDE` và `\triangle DEC` có :
`DE` chung
`BD = DC` (gt)
`BE = EC` (gt)
`=> \triangle BDE = \triangle CDE (c.c.c)`
`=> \hat{BDE} = \hat{CDE}` (hai góc tương ứng)
`=> DE` là tia phân giác của `\hat{BDC}`
`b)`
`\triangle BDC` cân tại `D` (do `BD = CD`)
Mà `DE` là đường phân giác của `\triangle BDC` (do `DE` là tia phân giác của `\hat{BDC}`)
`=> DE` là đường trung trực của `\triangle BDC`
`=> DE` là đường trung trực của `BC`
