Параллелограмм, у которого равные диагонали, является прямоугольником. Раз половины диагоналей равны, то равны и сами диагонали. Доказано.
