Довжина кривої
Довжиною кривої в метричному просторі називається варіація відображення, що задає криву, тобто довжина кривої — це величина, що дорівнює
де точна верхня грань береться по всіх розбиттях відрізка .
Для евклідового простору це означає, що довжина кривої визначаєтья як точна верхня границя для вписаних в криву ламаних.
Пов'язані визначення
Якщо довжина кінцева, то кажуть, що крива спрямна, інакше — неспрямна.
Формули
Якщо крива класу в , тоді її довжина дорівнює:
- У загальному випадку — .
- У — .
- Якщо крива задана у як , то її довжина дорівнює .
- У полярних координатах для плоскої кривої:
Історія
Історично обчислення довжини дуги називалося спрямляння кривої. Задача спрямляння виявилася набагато складнішою, ніж обчислення площі, і в античні часи єдине успішне спрямлення було виконано для кола. Декарт навіть висловлював думку, що «відношення між прямим і кривим невідомо, і навіть, думаю, не може бути пізнане людьми». Першим досягненням стало спрямлення параболи Нейла (1657), виконане Ферма і самим Нейлом. Незабаром було знайдено довжину арки циклоїди (Рен, Гюйгенс). Грегорі (ще до відкриття математичного аналізу) створив загальну теорію знаходження довжини дуги, яка негайно була використана для різних кривих.