Ответ:

Поскольку ABCD — ромб, его диагонали делятся точкой пересечения O пополам и перпендикулярны.

  1. Так как A₁ и C₁ — середины AO и CO, причём OA = OC, получаем OA₁ = OC₁. Значит, O — середина A₁C₁. Аналогично O — середина B₁D₁.
  2. Диагонали A₁C₁ и B₁D₁ лежат на диагоналях исходного ромба, поэтому они перпендикулярны.
  3. Диагонали нового четырёхугольника делятся пополам, следовательно, A₁B₁C₁D₁ — параллелограмм. Параллелограмм с перпендикулярными диагоналями является ромбом.

Что и требовалось доказать.