Векторна функція скалярного аргументу. Похідна, її геометричний і механічний зміст. Кривизна кривої
Взяті попарно вектори визначають три площини, які проходять через дану точку просторової кривої і складають границі супровідного тригранника (рис. 7.9).
Площина, яка містить вектори та , називається нормальною площиною; площина, що містить вектори і , співдотичною площиною просторової кривої; площина, яка містить вектори та - її спрямною площиною.
4. Кручення просторової кривої.
Формули Серре-ФренеСпівдотична площина просторової кривої при переміщенні вздовж кривої не залишається постійного напрямку; зміну її напрямку можна охарактеризувати зміною напрямку перпендикулярного до неї вектора - одиничного вектора бінормалі.
Зміна напрямку вектора характеризується вектором , який називають вектором другої кривизни або вектором кручення просторової кривої. Модуль цього вектора дорівнює границі відношення кута суміжностей бінормалей (кута, на який повертається бінормаль при переході від даної до сусідньої точки кривої) до довжини відповідної дуги кривої, коли довжина дуги прямує до нуля:
тобто швидкості обертання вектора при переміщенні точки по кривій. Знайдемо вектор .
Диференціюємо рівність :
Звідси випливає, що є вектор, що перпендикулярний до вектора ( за означенням векторного добутку) і до вектора , як до одиничного вектора). Значить колінеарний вектору Позначивши довжину вектора через , тобто , будемо мати
Скалярний множник при в правій частині формули називають крученням просторової кривої. д - кручення, радіус кручення.
Знайдемо вектор. Для цього диференціюємо рівність:
називаються формулами Серре-Френе, це основні формули геометрії просторових кривих.
Виведемо формули для кривизни та кручення просторової кривої, яка задана векторним рівнянням .
Перша із формул Серре-Френе дає
оскільки . Домножимо другу із формул Серре-Френе скалярно на вектор:
В координатній формі ці формули мають такий вигляд
Якщо вектор заданий як функція довільного параметру ( а не довжини дуги ), то формули і (7.36) набувають вигляду:
Вектори, колінеарні одиничним векторам та будемо позначати та . Щоб написати рівняння дотичної, головної нормалі, бінормалі та будь-якої із площин супроводжуючого тригранника, достатньо лише в канонічних рівняннях прямої
і в рівнянні площини, яка проходить через дану точку
взяти за координати вибраної на просторовій кривій точки, а за та або відповідно та - координати того із векторів або , який визначається напрямком шуканої прямої або нормалі до шуканої площини: або для дотичної та нормальної площини, і - для головної нормалі та спрямної площини, або - для бінормалі та співдотичної площини.
Нехай просторова крива задана векторним рівнянням , або, що те саме, рівнянням
За вектор , який має напрямок дотичної до кривої, можна взяти вектор.