Задача: отрезки AC и BD лежат на взаимно перпендикулярных прямых и пересекаются в точке O, которая является их общей серединой. Доказать, что AB = BC = CD = AD.
Пояснение и решение
- Пусть AC и BD пересекаются в точке O и O является серединой обоих отрезков. Тогда OA = OC и OB = OD.
- Так как AC и BD лежат на перпендикулярных прямых, линии OA и OB тоже перпендикулярны (OA лежит на AC, OB — на BD). Значит угол AOB равен 90°, и аналогично OBOC и т.д.
Используем теорему Пифагора в четырех треугольниках, образованных диагоналями:
- В треугольнике AOB: AB^2 = OA^2 + OB^2.
- В треугольнике BOC: BC^2 = OB^2 + OC^2.
- В треугольнике COD: CD^2 = OC^2 + OD^2.
- В треугольнике DOA: DA^2 = OD^2 + OA^2.
Поскольку OA = OC и OB = OD, получаем:
- AB^2 = OA^2 + OB^2
- BC^2 = OB^2 + OA^2
- CD^2 = OA^2 + OB^2
- DA^2 = OB^2 + OA^2
Следовательно AB^2 = BC^2 = CD^2 = DA^2, значит AB = BC = CD = AD (длины неотрицательные, равенство квадратов длин значит равенство самих длин).
Вывод: все стороны равны, то есть ABCD образует равнобедренный многоугольник со всеми сторонами равными (ромб).