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{DAC}=hat{EAB}` (đối đỉnh)
`⇒hat{BEA}=hat{ACD}`
Mà 2 góc này ở vị trí slt
`⇒` BE // CD
`⇒` Tứ giác BEDC là hình thang