Теорема.

Если у четырехугольника пара противоположных сторон параллельны и равны, то четырехугольник – параллелограмм.

Пусть ABCD – данный четырехугольник. AD параллельно BC и AD = BC.
Тогда Δ ADB = Δ CBD по первому признаку равенства треугольников (∠ ADB = ∠ CBD, как внутренние накрест лежащие между прямыми AD и BC и секущей DB, AD=BC по условию, DB – общая).
Следовательно, ∠ ABD = ∠ CDB, а эти углы являются внутренними накрест лежащими для прямых AB и CD и секущей DB. По теореме признаке параллельности прямых AB и CD параллельны. Значит, ABCD – параллелограмм. Теорема доказана.