Hình vẽ:
Vì AB // BD => \(\widehat{BAD}+\widehat{ADC}=\widehat{ABC}+\widehat{BCD}\)
mà ABCD là hthang cân (gt)
=> \(\widehat{ADC}=\widehat{BCD}\Rightarrow\widehat{BAD}=\widehat{ABC}\)
Xét \(\Delta ABD\) và \(\Delta BAC\) có:
AB: chung
\(\widehat{BAD}=\widehat{ABC}\left(cmt\right)\)
AD = BC (ABCD là hthang cân)
\(\Rightarrow\Delta ABD=\Delta BAC\left(cgc\right)\)
=> BD = AC (đpcm)