Введение

Линия, касающаяся кривой в двух точках – геометрическое понятие.

В геометрии битангенсой к кривой C называется прямая L, касающаяся C в двух различных точках P и Q и имеющая то же направление, что и кривая C в этих точках. Иными словами, L является касательной к кривой в точках P и Q.

Битангенты алгебраических кривых

В целом, алгебраическая кривая имеет бесконечно много секансных прямых, но лишь конечное число битангент. Теорема Безу́ утверждает, что алгебраическая плоская кривая, имеющая битангенту, должна иметь степень не ниже 4. Исследование 28 битангент квартики было выдающимся достижением геометрии XIX века, установившим связь с 27 прямыми на кубической поверхности.

Битангенты многоугольников

Четыре битангенты двух непересекающихся выпуклых многоугольников могут быть эффективно найдены алгоритмом, основанным на бинарном поиске, в котором поддерживается указатель бинарного поиска в списках ребер каждого многоугольника и один из указателей перемещается влево или вправо на каждом шаге в зависимости от точки пересечения касательных к ребрам, на которые указывают оба указателя. Этот расчет битангент является ключевой подпрограммой в структурах данных для динамического поддержания выпуклых оболочек. Опишите алгоритм для эффективного перечисления всех битангентных отрезков, которые не пересекают ни одну из других кривых в системе множества непересекающихся выпуклых кривых, используя метод, основанный на псевдотриангуляции. Битангенты могут быть использованы для ускорения подхода с использованием графа видимости при решении задачи поиска кратчайшего евклидова пути: кратчайший путь среди набора многоугольных препятствий может входить или выходить из границы препятствия только вдоль одной из его битангент, поэтому кратчайший путь можно найти, применив алгоритм Дейкстры к подграфу графа видимости, образованному ребрами видимости, лежащими на битангентах.

Связанные понятия

Битангент отличается от секущей прямой тем, что секущая прямая может пересекать кривую в двух точках пересечения. Также можно рассматривать битангенты, которые не являются прямыми; например, симметричный набор кривой представляет собой геометрическое место центров окружностей, касающихся кривой в двух точках. Битангенты к парам окружностей играют важную роль в построении кругов Малфатти, выполненном Якобом Штайнером в 1826 году, в задаче о ремне для вычисления длины ремня, соединяющего два шкива, в теореме Кейси, характеризующей наборы из четырех окружностей с общей касательной окружностью, и в теореме Монжа о коллинеарности точек пересечения определенных битангентов.