a) ta có: `hat{ABD}``=` `hat{BDC}` (so le trong và `text{AB//CD}`)
mà `hat{ADB}``=` `hat{BDC}` (`DB` là tia phân giác `hat{ADC}`)
do đó: `hat{ADB}``=` `hat{ABD}`
`⇒ ΔABD` cân tại `A`
`⇒ AB= AD`
b) ta có: `AB= AD` (giả thiết)
`⇒ ΔABD` cân tại `A`
`⇒` `hat{ABD}``=` `hat{ADB}`
mặt khác: `hat{ADB}``=` `hat{BDC}` (`DB` là phân giác `hat{ADC}`)
`⇒` `hat{ABD}``=` `hat{BDC}`
`text{⇒ AB//CD}`
vậy tứ giác `ABCD` là hình thang
@Sum