Длина, площадь и кривизна в дифференциальной геометрии

Метрические понятия дифференциальной геометрии

Длина как исходное понятие

Длина кривой — первое и самое фундаментальное метрическое понятие. Для кривой r(t) = (x(t), y(t), z(t)) на [a, b]:

L = ∫_a^b |r'(t)| dt = ∫_a^b √(x'(t)² + y'(t)² + z'(t)²) dt

Инвариантность: длина не зависит от параметризации. Если заменить t = φ(u) (φ' > 0): L сохраняется — это и есть геометрический смысл длины.

Вариационный принцип: Среди всех кривых в пространстве между двумя точками кратчайшая — прямолинейный отрезок. Это минимизационная задача для функционала L[r] = ∫|r'| dt. На сфере кратчайшая — дуга большого круга. На поверхности — геодезическая.

Числовой пример: Спираль r(t) = (cos t, sin t, t) на t ∈ [0, 2π]: r' = (−sin t, cos t, 1). |r'| = √(sin²t + cos²t + 1) = √2. Длина: L = 2π√2 ≈ 8.886. Для сравнения: окружность r = 1 даёт L = 2π ≈ 6.28. Спираль длиннее, хотя проецируется в ту же окружность.

Кривизна и центр кривизны

Кривизна κ(s) = |r''(s)| количественно описывает, «насколько быстро» кривая отклоняется от прямолинейного движения.

Центр кривизны: O(s) = r(s) + (1/κ) ν(s). Это центр «наилучшего» приближающего круга (окружности кривизны) в данной точке.

Радиус кривизны: R = 1/κ. Малый R — острый изгиб. Большой R — плавный изгиб.

Формула кривизны в общих координатах: κ = |r' × r''|/|r'|³ (без натуральной параметризации)

Для плоской кривой y = f(x): κ = |f''(x)|/(1 + f'(x)²)^{3/2}

Пример: Парабола y = x²: f' = 2x, f'' = 2. κ(x) = 2/(1+4x²)^{3/2}. Максимальная кривизна при x = 0: κ₀ = 2 (R = 0.5). На вершине параболы — наибольший изгиб.

Эволюта и эвольвента

Эволюта — геометрическое место центров кривизны кривой r(s): E(s) = r(s) + (1/κ(s)) ν(s).

Эвольвента — обратное понятие: кривая, для которой данная является эволютой. Геометрически: если раскручивать нить, намотанную на эволюту, конец нити описывает эвольвенту.

Теорема: Эволюта является огибающей семейства нормалей к кривой.

Приложение: зубчатые передачи. Профиль зуба шестерни — эвольвента окружности. Это обеспечивает постоянную угловую скорость передачи при вращении (постоянное передаточное отношение), что критически важно для точных механизмов. Изобретена Эйлером в 1765 году; используется во всех современных редукторах.

Изопериметрическая задача

Классическая задача: среди всех замкнутых плоских кривых с фиксированной длиной L найти ту, которая охватывает наибольшую площадь.

Ответ: окружность. Площадь S = L²/(4π), максимальна для круга.

Изопериметрическое неравенство: L² ≥ 4πS. Равенство достигается только для окружности.

Числовой пример: Квадрат со стороной a: L = 4a, S = a². Проверка: L² = 16a², 4πS = 4πa² ≈ 12.57a². Действительно, 16 > 12.57 ✓. Квадрат «неэффективен» по охвату площади.

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

Если заданы непрерывные функции κ(s) > 0 и χ(s), то существует единственная (до движения) кривая с данными натуральными уравнениями. Это означает: все геометрически значимые свойства кривой определяются парой (κ(s), χ(s)).

Изгибание кривых: По основной теореме кривых Френе, κ(s) и χ(s) вместе однозначно (с точностью до движения) определяют кривую. Напротив, деформация кривой, сохраняющая длину дуги, может изменять κ(s) и χ(s): спираль и окружность имеют одинаковую длину, но разные кривизну и кручение. Узлы (knots) в 3D — топологические инварианты, связанные с интегралами от кривизны (число скрещиваний, инвариант Кауфмана).

Реальное приложение: компьютерная графика

Кривые Безье (1962, Renault) — кривые, управляемые контрольными точками. Дизайнеры форм автомобилей использовали их для плавных кривых кузова. Кривизна кривой Безье вычисляется из формулы κ = |r' × r''|/|r'|³ и визуализируется как «гребень кривизны» (curvature comb) — стандартный инструмент в CAD/CAM системах.

G1-непрерывность: касательные совпадают на стыке. G2-непрерывность: совпадают ещё и кривизны. G2 гарантирует «плавный» внешний вид — используется в аэрокосмическом дизайне.

Длина, площадь и кривизна в инженерии и науке

Формулы для длины и площади — не только абстрактная математика, но и инженерный инструмент. Расчёт поверхности теплообменников, площади крыльев летательных аппаратов, длины медицинских катетеров и трубопроводов требует точных формул интегральной геометрии. Кривизна поперечного сечения балки определяет её жёсткость при изгибе по формуле Навье: напряжение в балке пропорционально кривизне κ = M/(EI), где M — изгибающий момент, E — модуль упругости Юнга, I — момент инерции сечения. Именно поэтому двутавровые профили оптимальны: они максимизируют момент инерции при минимальной массе. Клотоида, для которой кривизна пропорциональна длине дуги, используется в проектировании дорог и железнодорожных путей: плавный переход от нулевой кривизны к постоянному значению обеспечивает комфорт пассажиров и безопасность движения. Современные системы автономного вождения используют алгоритмы планирования траекторий с ограниченной кривизной. Управление формой оптических линз через кривизну поверхности — основа производства очков, телескопов и микроскопов. В биомеханике кривизна позвоночника анализируется как мера отклонения от нормального лордоза и кифоза, что позволяет количественно оценить степень сколиоза по рентгеновским снимкам.

Задание: (а) Для эллипса r(t) = (a cos t, b sin t, 0): найдите κ(t). При каких t кривизна максимальна/минимальна? (б) Докажите изопериметрическое неравенство для правильного n-угольника: L = na, S = (na²/4)ctg(π/n). Как при n→∞ получается оценка для круга? (в) Для пространственной кривой r(t) = (t, t², t³): вычислите κ(0) и χ(0) по формулам r' × r''/|r'|³ и т.п.