Вычислим длины сторон четырехугольника ABCD.
Вычислим длины сторон четырехугольника ABCD.
т.е. , значит АВСД - ромб
Вычислим диагонали ромба АС и БД
Если диагонали ромба равны, то этот ромб, являющийся прямоугольником, — это квадрат, значит, ABCD — квадрат. Что и требовалось доказать.