a)
`AC////BE`
`AB////CE` (do `AB////CD`)
`⇒ABCE` là hình bình hành
`⇒AC=BE `
mà `AC=BD`
`⇒BE=BD`
`⇒ΔBED `cân tại `B`
b)
`AC=BD`
`⇒ABCD` là hình thang cân
`⇒AD=BC`
`⇒\hat{BCD}=\hat{ADC}`
Xét `ΔACD` và `ΔBDC`
`AD=BC`
`\hat{BCD}=\hat{ADC}`
`DC` chung
`⇒ ΔACD = ΔBDC`
