已知:如图,在梯形$ABCD$中,$AD// BC,$对角线$AC=BD.$
求证:$AB=DC.$
证明:过点$D$作$DE// AC,$交$BC$的延长线于点$E.$
∵$AD// BC,$即$AD// CE,$$DE// AC,$
∴四边形$ACED$是平行四边形,
∴$AC=DE.$
∵$AC=BD,$
∴$BD=DE,$
∴$∠ DBC=∠ E.$
∵$DE// AC,$
∴$∠ ACB=∠ E,$
∴$∠ ACB=∠ DBC.$
$ $在$△ ABC$和$△ DCB$中,
$ \begin {cases}AC=DB, \\∠ ACB=∠ DBC, \\BC=CB,\end {cases}$
∴$△ ABC≌△ DCB(\mathrm {SAS}),$
∴$AB=DC.$