Гипотроп — геометрическая кривая¶

Гипотроп — плоская алгебраическая кривая, описываемая точкой, жёстко связанной с отрезком постоянной длины, который скользит своими концами по двум пересекающимся прямым. Относится к классу рулетт — кривых, порождаемых движением одной фигуры относительно другой. Название происходит от греческих слов ὑπό (под, снизу) и τρόπος (поворот, направление) и указывает на родство с трохоидой: гипотроп можно рассматривать как частный случай движения точки, связанной с вращающимся стержнем.

¶Определение и построение

Пусть две прямые пересекаются под углом. Отрезок фиксированной длины $l$ перемещается так, что его концы всё время остаются на этих прямых. Тогда любая точка $M$, неизменно связанная с отрезком и отстоящая от его концов на расстояния $a$ и $b$ ($a + b = l$), при движении отрезка описывает кривую, называемую гипотропом.

Если точка $M$ лежит на самом отрезке, кривая называется гипотропой; если вне его — гипотропоидой. В частном случае, когда прямые перпендикулярны, а точка делит отрезок пополам, гипотроп вырождается в окружность или эллипс в зависимости от расположения точки относительно отрезка.

Кривая симметрична относительно биссектрисы угла между направляющими прямыми. Число её ветвей и форма зависят от величины угла и положения точки $M$.

¶Математическое описание

В декартовой системе координат, где направляющие прямые совпадают с осями, уравнение гипотропа для точки, делящей отрезок в отношении $a : b$, имеет вид уравнения четвёртого порядка. В параметрической форме координаты точки записываются через угол наклона отрезка $\varphi$:

• $x = a \cos\varphi \cdot f(\varphi)$,
• $y = b \sin\varphi \cdot g(\varphi)$,

где функции $f$ и $g$ определяются геометрией угла между прямыми. Для прямого угла выражения упрощаются, и кривая описывается уравнением вида

$$(x^2 + y^2)^2 = a^2 x^2 + b^2 y^2,$$

что соответствует овалу Кассини при определённых соотношениях параметров. При $a = b$ получается лемниската Бернулли — классический пример гипотропа с самопересечением в начале координат.

¶Связь с другими кривыми

Гипотроп принадлежит к обширному семейству кривых, порождаемых движением стержня:

Гипотроп тесно связан с эллипсом: множество точек, делящих отрезок в постоянном отношении при перпендикулярных направляющих, образует эллипс. При отклонении от этого условия кривая приобретает более сложную форму с несколькими лепестками.

¶История изучения

Кривые этого типа исследовались в XVII–XVIII веках в связи с задачами о движении стержня и построением механических приборов. Лемниската Бернулли, открытая Якобом Бернулли в 1694 году, стала первым детально изученным частным случаем. Термин «гипотроп» встречается в работах по кинематике и начертательной геометрии XIX века, где такие кривые применялись при проектировании шарнирных механизмов.

Систематическое описание гипотропов дано в курсах аналитической геометрии и теории механизмов. В русскоязычной литературе кривая упоминается в справочниках по специальным функциям и в руководствах по кинематике плоских механизмов.

¶Применение

Гипотропы находят применение в нескольких областях:

• Теория механизмов и машин — при анализе траекторий точек шатуна и кулисных механизмов, где стержень скользит по направляющим.
• Приборостроение — в расчётах кулачковых и рычажных передач, где требуется предсказать форму траектории рабочей точки.
• Начертательная геометрия — как учебный пример построения кривых по заданному закону движения.
• Математическое моделирование — при аппроксимации траекторий в задачах робототехники и механики манипуляторов.

В отличие от широко распространённых эллипса и окружности, гипотроп редко встречается в чистом виде в технике, однако его частные случаи лежат в основе работы ряда механизмов с возвратно-поворотным движением.

¶Свойства

Основные характеристики гипотропа:

1. Кривая алгебраическая, её порядок зависит от угла между направляющими и положения точки.
2. Обладает симметрией относительно биссектрисы угла между прямыми.
3. Может иметь точки самопересечения (узлы), число которых зависит от параметров.
4. При стремлении угла между прямыми к нулю кривая вырождается в прямую или окружность.
5. Длина дуги и площадь выражаются через эллиптические интегралы, что затрудняет их элементарное вычисление.

¶Родственные понятия

Гипотроп следует отличать от гипоциклоиды — кривой, описываемой точкой окружности, катящейся внутри другой окружности. Несмотря на созвучие приставок, эти кривые принадлежат разным семействам: гипоциклоида порождается вращением, а гипотроп — скольжением по прямым. Объединяет их общий принцип: обе являются рулеттами, то есть результатом движения одной геометрической фигуры относительно другой.

Близким понятием является также гипотрохоида — обобщение, в котором точка не обязательно лежит на самом стержне. В зарубежной литературе термин «hypertrochoid» иногда используется для кривых, порождаемых движением стержня по пересекающимся прямым, что создаёт терминологическую путаницу.