Xét ∆ABE có AB = AE (gt)
`=>`∆ABE cân tại A
`=> hat{BEA}=(180°-hat{EAB})/2 ` (t/c tam giác cân)
Xét ∆ACD có AD = AC (gt)
`=>` ∆ACD cân tại A
`=> hat{ACD}=(180°-hat{DAC})/2` (t/c tam giác cân)
Mà `hat{DCA}=hat{EAB}` (đối đỉnh)
`=> hat{DCA}=hat{BEA}`
Mà 2 góc này ở vị trí slt
`=>` BE // CD
`=>` Tứ giác BEDC là hình thang