Диагонали ромба пересекаются под прямым углом. Если на диагоналях ромба от точки их пересечения отложены четыре равных отрезка, то в полученном четырехугольника получится, что диагонали равны, взаимно перпендикулярны, точкой пересечения делятся пополам и делят углы четырехугольника пополам (то, что делят углы пополам видно из того, что диагоналями четырёхугольник делится на 4 равных равнобедренных прямоугольных треугольника, у которых катеты -это половина диагоналей, а гипотенуза - сторона четырехугольника; следовательно углы при гипотенузе равны по 45 градусов). Углы полученного четырехугольника - прямые. Все это относится к свойствам квадрата, значит четырёхугольник -квадрат, что и требовалось доказать.
начертим отрезок с заданными координатами его концов (x1; y1) и (x2; y2). На оси X и Y из концов отрезка опустим перпендикуляры. Отметим красным цветом отрезки, которые являются на оси координат проекциями от исходного отрезка. После этого перенесем параллельно к концам отрезков отрезки-проекции. Получаем треугольник (прямоугольный). Гипотенузой у данного треугольника станет сам отрезок АВ, а его катетами являются перенесенные проекции.
Вычислим длину данных проекций. Итак, на ось Y длина проекции равна y2-y1, а на ось Х длина проекции равна x2-x1. Применим теорему Пифагора: |AB|² = (y2 - y1)² + (x2 - x1)². В данном случае |AB| является длиной отрезка.