Доказать что если диагонали прямоугольника перпендикулярны то он является квадратом

Квадрат — это прямоугольник у которого все стороны равны.
Пусть диагонали AC и BD прямоугольника ABCD перпендикулярны и пересекаются в точке O. Диагонали прямоугольника равны и в точке пересечения делятся пополам, значит, OA=OB=OC=OD. Рассмотрим треугольники AOB и BOC. Треугольники являются прямоугольными и равны по двум катетам, поскольку AO=BO=CO. Тогда гипотенузы этих треугольников также равны, то есть, AB=BC. В прямоугольнике противоположные стороны равны, то есть, AB=CD, BC=AD. Но тогда все стороны прямоугольника равны, что и требовалось.