Кривизна и кручение пространственной кривой: аналитические формулы

Аналитическая формула кривизны

Кривизна (обычно обозначаемая греческой буквой каппа) характеризует степень изгиба кривой в каждой конкретной точке. Геометрически она равна величине, обратной радиусу соприкасающейся окружности (k = 1/R). Если пространственная кривая задана параметрическим радиус-вектором r(t), то для вычисления кривизны необходимо найти первую r'(t) и вторую r''(t) производные этого вектора по параметру t. Аналитическая формула гласит, что кривизна равна модулю векторного произведения первой и второй производных, разделенному на куб модуля первой производной: k = |[r' x r'']| / |r'|^3. Эта формула потрясающе универсальна: если векторы скорости и ускорения коллинеарны (параллельны), их векторное произведение равно нулю, кривизна обращается в нуль, и траектория математически строго признается прямолинейной.

Аналитическая формула кручения

Если кривизна измеряет отклонение от прямой, то кручение (обозначаемое буквой тау) измеряет скорость отклонения кривой от соприкасающейся плоскости (ее стремление вырваться в третье измерение). Для плоских кривых кручение тождественно равно нулю. Чтобы аналитически вычислить кручение для пространственной кривой, нам потребуется третья производная радиус-вектора r'''(t). Формула кручения опирается на смешанное произведение векторов: тау = (r', r'', r''') / |[r' x r'']|^2. Если векторы первой, второй и третьей производных компланарны (лежат в одной плоскости), их смешанное произведение (определитель матрицы 3x3) равно нулю, что алгебраически доказывает плоскостность данной кривой. Кручение может быть как положительным, так и отрицательным, определяя направление «закручивания» спирали по правилу правого или левого винта.

Натуральная параметризация

Приведенные выше формулы кажутся громоздкими из-за наличия сложных знаменателей. Аналитическая геометрия предлагает элегантный способ радикально упростить эти выражения путем перехода к натуральной параметризации. Если в качестве параметра кривой выбрать длину дуги s (пройденный путь вдоль траектории), то длина вектора первой производной r'(s) станет тождественно равна единице (так как скорость движения по дуге равна 1). В такой натуральной параметризации формулы становятся математически совершенными: кривизна равна просто модулю второй производной k = |r''(s)|, а кручение вычисляется как смешанное произведение без всяких знаменателей. Это доказывает, что сложность общих формул вызвана исключительно неравномерностью движения точки по параметру t, а не самой геометрией линии.

Фундаментальная теорема теории кривых

Кривизна k(s) и кручение тау(s) являются абсолютными инвариантами кривой. Это означает, что их значения зависят только от внутренней формы самой линии и абсолютно не меняются при любых переносах или поворотах системы координат. Фундаментальная теорема (закон конгруэнтности) дифференциальной геометрии утверждает: если задать две непрерывные функции (одна из которых строго положительна), то в трехмерном пространстве существует единственная кривая (с точностью до жесткого движения), для которой первая функция будет являться кривизной, а вторая — кручением. Эти две функции являются «генетическим кодом» любой трехмерной линии. В робототехнике этот закон используется для генерации плавных траекторий инструмента: инженеры задают желаемые графики изменения кривизны и кручения, а бортовой компьютер алгебраически восстанавливает по ним саму пространственную кривую через интегрирование уравнений Френе.