AB = CD по условию,
BC = AD по условию,
AC - общая сторона для треугольников АВС и CDA, ⇒
ΔАВС = ΔCDA по трем сторонам.
Из равенства треугольников следует, что
∠ВАС = ∠DCA, а эти углы накрест лежащие при пересечении прямых АВ и CD секущей АС, значит АВ║CD.