`ABCD` là hình thang $(gt)$
`⇒AB`$//$`CD`
`⇒\hat{BAC}=\hat{ACD}` (hai góc so le trong)
Xét `ΔADC` và `ΔCBA` có:
`CD=AB` $(gt)$
`\hat{ACD}=\hat{BAC}` `(cmt)`
`AC`: cạnh chung
`⇒ΔADC=ΔCBA` `(c.g.c)`
`⇒AD=BC` (hai cạnh tương ứng)
`\hat{DAC}=\hat{ACB}` (hai góc tương ứng)
Mà hai góc này ở vị trí so le trong do `AC` cắt `AD` và `BC`
`⇒AD`$//$`BC`