Для того, чтобы доказать, что ABCD — параллелограмм, докажем, что его противоположные стороны AB и CD равны и параллельны.
Действительно,
поскольку ABFG — параллелограмм, AB=FG и AB||FG. С другой стороны,
поскольку DCFG — параллелограмм, CD=FG и CD||FG. Но тогда из равенств
AB=FG и CD=FG следует равенство AB=CD, а из условий AB||FG, CD||FG
следует AB||CD. Таким образом, четырехугольник ABCD является
параллелограммом, что и требовалось.