A quadrilateral is a parallelogram if a pair of its opposite sides are parallel and congruent.
AC is a transversal and also AB║CD, therefore
∠BAC=∠DCA(Alternate angles)
In ΔADC and ΔCBA, we have
AB=CD(Given)
∠BAC=∠DCA(Alternate angles)
AC=CA(Common)
ΔADC≅ΔCBA by the SAS rule.
Hence, by CPCT, DA=BC and DC=AB
Thus, a pair of opposite side is parallel and congruent in quadrilateral ABCD, therefore ABCD is a parallelogram.
Hence proved.