Дано: отрезки AC и BD лежат на взаимно перпендикулярных прямых, они пересекаются в точке O и являются их общими серединами. Значит OA = OC и OB = OD, и OA ⟂ OB (то же относится к OC ⟂ OD).
Пусть OA = OC = a, OB = OD = b.
В треугольнике AOB угол AOB равен 90° (OA лежит на AC, OB на BD, они перпендикулярны). Поэтому по теореме Пифагора: AB^2 = OA^2 + OB^2 = a^2 + b^2.
В треугольнике BOC угол BOC тоже 90° (BO ⟂ OC). Тогда: BC^2 = OB^2 + OC^2 = b^2 + a^2 = a^2 + b^2.
Из равенства OA = OC получаем AB^2 = BC^2, следовательно AB = BC (положительные длины).
Аналогично для треугольников COD и DOA: CD^2 = CO^2 + DO^2 = a^2 + b^2, AD^2 = AO^2 + OD^2 = a^2 + b^2. Поэтому CD^2 = AD^2 и CD = AD.
Имеем AB = BC и CD = AD, а также AB^2 = BC^2 = CD^2 = AD^2. Значит: AB = BC = CD = AD.
Вывод: стороны AB, BC, CD и AD равны между собой. Геометрически точки A, B, C, D образуют квадрат с центром O, где диагонали AC и BD являются взаимно перпендикулярными и пересекаются в их общем середине.