Сопровождающий трёхгранник

Нормаль к данной кривой в данной точке, лежащую в соприкасающейся плоскости, называют главной нормалью (на рис. 27 вектор ). Нормаль, перпендикулярная соприкасающейся плоскости, называется бинормалью (на рис. 28 вектор ). Т.о. касательную, нормаль и бинормаль можно рассматривать как орты декартовой прямоугольной системы координат с началом в точке М. Роль же координатных плоскостей

Спрямляющая плоскость Рис. 28

в этом случае играют:

а) соприкасающаяся плоскость (векторы и ),

б) нормальная плоскость (векторы и ),

в) спрямляющая плоскость (векторы и ).

Совокупность вышеназванных трёх координатных осей трёх плоскостей, построенных в каждой точке кривой, называют сопровождающим трёхгранником.

Составим уравнения каждого из элементов трёхгранника. Пусть кривая задана уравнением. Тогда уравнение касательной имеет вид или .

Уравнение нормальной плоскости принимает вид

.

Эти уравнения были получены ранее, в §1.

Составим теперь уравнение соприкасающейся плоскости. Векторы и лежат в этой плоскости. Поэтому векторное произведение перпендикулярно этой плоскости.

Т.к.  , то .

Тогда уравнение соприкасающейся плоскости будет иметь вид:

.

Здесь, как и ранее, X, Y, Z – текущие координаты. Уравнение соприкасающейся плоскости можно записать и в векторном виде: , где – радиус-вектор, описывающий соприкасающуюся плоскость, – радиус-вектор кривой. Последнюю формулу можно переписать в виде смешанного произведения или в виде определителя третьего порядка .

Составим теперь уравнение бинормали. Т.к. это вектор, перпендикулярный соприкасающейся плоскости, то его можно записать в виде или .

Главная нормаль определяется векторным произведением: . Каждый из сомножителей в этой формуле можно выразить через . Тогда получим: .

Итак, единичные орты сопровождающего трёхгранника есть векторы , и . Если их рассмотреть как функции длины дуги s, то это будет:

Т.о. векторы , и образуют правую тройку векторов.