Чтобы доказать, что прямоугольник, у которого диагонали взаимно перпендикулярны, является квадратом, рассмотрим следующий ход рассуждений.
Прямоугольник является параллелограммом. Параллелограмм с диагоналями, которые взаимно перпендикулярны, является ромбом. Таким образом, в нашем случае все стороны данного прямоугольника равны. Это происходит потому, что в ромбе все стороны, как известно, равны.
Таким образом, по определению прямоугольник является квадратом, что и требовалось доказать.
Так что мы пришли к выводу, что прямоугольник с взаимно перпендикулярными диагоналями действительно является квадратом.