Нехай задано дугу графіка функції , яку будемо вважати
неперервною та неперервно диференційовною на відрізку (рис. 15)
Рис. 15.
Розіб’ємо відрізок довільно обраними точками ділення на частинні :
.
Відмітимо на графіку функції точки з абсцисами відповідно . З’єднаємо їх відрізками прямих ліній. Дістанемо ламану лінію , яку вписано в дугу . Позначимо периметр цієї ламаної через .
Означення. Якщо існує і не залежить від способу вписування ламаної скінченна границя периметра цієї ламаної, коли найбільший її відрізок прямує до нуля, то крива називається спрямною, а величина цієї границі називається довжиною дуги і позначається
. (15.1)
Позначимо , , – довжину відрізка . Очевидно, що
.
За теоремою Лагранжа на інтервалі існує точка така, що
.
Тоді
,
.
Це є інтегральна сума для функції . Оскільки неперервна, функція також неперервна, і тоді існує границя (15.1):
.
Отже дістали формулу:
. (15.2)
Приклад 1. Обчислити довжину дуги напівкубічної параболи на відрізку (рис. 16).
Рис. 16.
Маємо: . Отже
.
Приклад 2. Обчислити довжину графіка функції на відрізку .
Маємо: . Отже
.
Якщо криву задано параметрично: , де – неперервно диференційовні на проміжку функції, то:
. (15.3)
Приклад. Обчислити довжину однієї арки циклоїди, яка має параметричні рівняння:
.
Циклоїда – це лінія, яку описує точка на колі радіуса , яке котиться вздовж прямої лінії. У якості параметра виступає кут поворота кола (рис. 17).
Рис. 17.
За формулою (15.3) маємо:
.
Якщо криву задано у полярній системі координат , де – неперервно диференційовна на функція, то можна довести, що
. (15.4)
Приклад. Обчислити довжину дуги логарифмічної спіралі за умовою (рис. 18).
Рис. 18.
Внаслідок того, що , дістаємо: , отже за формулою (15.4) матимемо:
через те, що . Зауважимо, що інтеграл, який тут виникає – невласний 1-го роду.