Определение. Пусть g - некоторая кривая, P - точка на ней, Q Î g - близкая к P точка. Пусть p - плоскость, проходящая через P. Обозначим d =½ PQ½, d - расстояние от Q до этой плоскости. Если = 0, то плоскость p называется соприкасающейся плоскостью к кривой g в точке P.
Смысл этого определения в следующем: соприкасающаяся плоскость - это та плоскость, которая плотнее всего прилегает к кривой. Следующее определение эквивалентно данному.
Определение. Пусть g - некоторая кривая, P - точка на ней. Выберем две близкие к P точки Q и R на кривой. Если при Q-® P и R-® P плоскость
PQR стремится занять определенное положение p, то плоскость p называется соприкасающейся плоскостью к кривой g в точке P.
Теорема 2. Если кривая g дважды дифференцируема и регулярна в точке P, то она имеет в этой точке соприкасающуюся плоскость. Если c (t) - параметризация класса C2 кривой g и P = c (to), то соприкасающаяся плоскость будет параллельна векторам c ¢(to) и c ²(to). Если эти векторы не коллинеарны, то соприкасающаяся плоскость единственна, а если c ¢(to)½½ c ²(to), то любая плоскость, проходящая через касательную к кривой g в точке P, будет соприкасающейся плоскостью к кривой (без доказательства).
Можно определить соприкасающуюся плоскость, как параллельную векторам c ¢(to) и c ²(to), а потом доказать, что именно она наиболее плотно прилегает к кривой.
Если c ¢(to) c ²(to), то соприкасающаяся плоскость в точке P = c (to) задается уравнением
x - xo y - yo z - zo1¢ c2¢ c3¢ = 0. (7)
c1² c2² c3²
Определение. Прямая перпендикулярная к соприкасающейся плоскости к кривой g в точке P называется бинормалью к кривой g в точке P. Нормаль к кривой g в точке P, лежащая в соприкасающейся плоскости называется главной нормалью. Поскольку c ¢(to) и c ²(to) параллельны соприкасающейся плоскости, то вектор c ¢(to)´ c ²(to) будет вектором нормали к ней, а значит, он будет направляющим вектором бинормали. Значит, бинормаль задается уравнением.
= =.
c2² c3² c3² c1² c2² c3²
Главная нормаль перпендикулярна касательной и бинормали. Поэтому её направляющий вектор перпендикулярен c ¢ и c ¢´ c ². Значит, направляющий вектор главной нормали - это (c ¢´ c ²)´ c ¢. Для того, чтобы
составить уравнение главной нормали надо сначала вычислить этот вектор в данной точке.
Определение. Плоскость перпендикулярная главной нормали к кривой g в точке P называется спрямляющей плоскостью к кривой g в точке P.
Для спрямляющей плоскости вектор (c ¢´ c ²)´ c ¢ будет вектором нормали. Для того, чтобы составить уравнение спрямляющей плоскости надо сначала вычислить вектор (c ¢´ c ²)´ c ¢ в данной точке.
Единичные направляющие векторы касательной, главной нормали и бинормали принято обозначать соответственно t, n, b. Тогда, для того, чтобы они образовывали правую тройку необходимо, чтобы выполнялось n = t ´ b - именно в этом порядке. Тогда
t =, b =, n =. (8)
Говорят, что вместе с точкой P = c (to) эти векторы, вычисленные в данной точке, образуют подвижной репер кривой {P, t, n, b } или репер Френе. Именно в этом репере удобнее всего исследовать поведение кривой в окрестности точки P.
Изобразим теперь кривую вместе с репером Френе и всеми прямыми и плоскостями, относящимися к кривой.