Рассмотрим ромб ABCD с равными диагоналями AC и BD. Для начала заметим, что диагонали ромба пересекаются под прямым углом (по определению ромба). Пусть точка пересечения диагоналей обозначена как O.
Так как диагонали ромба равны, то треугольники AOB и BOC равнобедренные (по свойству равных диагоналей в ромбе), следовательно, углы AOB и BOC равны между собой. Но так как эти углы в сумме составляют прямой угол, они равны по 45 градусов каждый.
Теперь рассмотрим треугольники AOB и COD. Они также равнобедренные, поскольку диагонали ромба пересекаются под прямым углом. Следовательно, углы AOB и COD также равны между собой, то есть 45 градусов.
Таким образом, углы AOB, BOC, COD и DOA равны между собой, и каждый из них равен 90 градусов. Это означает, что у ромба все углы равны между собой и составляют 90 градусов. По определению квадрата, это свойство принадлежит именно квадрату.
Следовательно, если у ромба диагонали равны, то он является квадратом.