Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Краткий курс математического анализа. Том 1

.pdf
Скачиваний:
928
Добавлен:
10.05.2015
Размер:
6 Мб
Скачать
☆

§ 17. Длина кривой

227

Кривая, являющаяся объединением конечного числа гладких кривых, называется кусочно-гладкой.

З а м е ч а н и е 2. Понятие кривой имеет в своей основе понятие траектории движущейся материальной точки. Если конец радиусавектора r(t) описывает траекторию движения этой точки, а пара-

метр t является временем движения, то производная ddtr равна мгновенной скорости в данный момент времени.

17.3. Определение длины кривой. Спрямляемые кривые.

Под длиной кривой понимается точная верхняя грань длин вписанных в эту кривую ломаных. Сформулируем это определение более подробно. Введем сначала понятие разбиения отрезка — понятие, которое будет неоднократно встречаться в дальнейшем.

О п р е д е л е н и е 2. Для отрезка [a, b] всякая система τ = {ti}ii==i0τ точек ti, i = 0, 1, 2, ..., iτ , таких, что

a = t0 < t1 < ... < tiτ = b,

называется его разбиением. Пусть задана кривая

Γ= {r(t) ; a t b}

ипусть τ = {ti}ii==i0τ — некоторое разбиение отрезка [a, b]. Положим

 

iτ

 

def

i

 

στ =

|r(ti) − r(ti−1)|,

(17.18)

 

=1

 

т. е. στ — это длина ломаной с вершинами в точках Mi, являющихся концами радиусов-векторов r(ti), i =

= 0, 1, ..., iτ , иначе говоря, ломаной, вписанной в кривую Γ (рис. 93).

О п р е д е л е н и е 3. Верхняя грань длин всевозможных ломаных, вписан-

ных в данную кривую, называется ее

длиной.

Таким образом, длина SΓ кривой Γ определяется формулой

def

(17.19)

SΓ = sup στ ,

τ

где верхняя грань берется по всевозможным разбиениям τ отрез-

ка [a, b]. Очевидно, 0 SΓ +∞.

Если SΓ < +∞, то кривая Γ называется спрямляемой.

8*

228Гл. 1. Дифференциальное исчисление функций одной переменной

Те о р е м а 1. Если кривая Γ = {r(t) ; a t b} непрерывно диф-

ференцируема, то она спрямляема и ее длина SΓ удовлетворяет неравенству

|r(b) − r(a)| SΓ c(b − a),

(17.20)

где

r (t) .

(17.21)

c = max

[a,b] |

|

 

Прежде всего заметим, что в силу непрерывности на отрезке [a, b] производной r (t) числовая функция |r (t)| также непрерывна на этом отрезке, а следовательно, ограничена и принимает на нем наибольшее

значение. Поэтому существует число c = max |r (t)| < +∞.

[a,b]

Возьмем какое-либо разбиение τ = {ti}ii==i0τ отрезка [a, b]. Тогда, используя очевидное векторное тождество

 

 

 

 

 

 

 

 

 

 

 

iτ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

r(ti) − r(ti−1)

 

 

 

 

 

 

 

 

r(b) − r(a) =

(17.22)

 

 

 

 

 

 

 

 

 

 

 

=1

 

 

 

и применяя теорему 1 из п. 16.2, получим

 

| −

 

 

| (17.22)

i=1 (r(ti) − r(ti−1)) i=1 |r(ti) − r(ti−1)|

 

 

 

 

iτ

 

 

 

iτ

 

 

 

 

iτ

iτ

 

r(b)

r(a)

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

|r (ξi)|(ti − ti−1) (17.21) c

(ti − ti−1) = c(b − a),

(17.23)

 

 

i=1

 

 

 

 

 

 

 

=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

iτ

 

где ti−1 < ξi

< ti

,

i =

1, 2,

...

, i .

Так как

i

=

 

 

 

τ

|r(ti) − r(ti−1)| (17.18) στ —

=1

длина вписанной в кривую Γ ломаной, соответствующей разбиению τ , то из неравенства (17.23) следует, что

|r(b) − r(a)| στ c(b − a).

Перейдя в этом неравенстве к верхней грани по всевозможным разбиениям τ отрезка [a, b], получим, в силу определения (17.19), неравенство (17.20)

r(b)

−

r(a)

|

S

 

=

sup σ

τ

c(b

−

a).

|

 

 

Γ

(17.19)

Γ

 

 

Поэтому SΓ < +∞, т. е. кривая Γ спрямляема.

Те о р е м а 2. Если кривая Γ = {r(t) = (x(t), y(t), z(t)) ; a t b}

непрерывно дифференцируема, то переменная длина дуги s = s(t), от начала кривой Γ до ее точки со значением параметра, равного t,

§ 17. Длина кривой

229

является возрастающей непрерывно дифференцируемой функцией

параметра t и

 

dt

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

=

dt

 

+

dt

 

 

+

dt

.

(17.24)

 

 

ds

 

 

dr

 

 

 

dx

2

 

 

dy

 

2

 

 

dz

 

2

 

 

 

 

 

 

 

 

 

 

 

обозначать конец радиус-векто-

 

Как и выше, будем

через M (t)

ра r(t). Пусть s(t) — длина дуги кривой Γ от точки M (a) до точ-

ки M (t), t [a, b], t + t [a, b], и

s = s(t +

t) − s(t0). Очевидно,

что | s| является длиной дуги с концами в точках M (t) и M (t + t).

Поэтому согласно теореме 1 для

r = r(t +

t) − r(t) имеет место

неравенство

 

 

 

| r| = |r(t + t) − r(t)| | s| c| t|,

(17.25)

где c — наибольшее значение |r (t)| на отрезке с концами в точках t и t + t. Обозначим через ξ = ξ(Δt) точку этого отрезка, в которой

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|r (ξ)| = c.

 

 

 

 

 

t = 0:

 

 

 

 

 

 

(17.26)

Поделим обе части равенства (17.25) на |

 

 

t|,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

t

 

c (17.26) |

 

 

|

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

 

 

 

s

 

 

 

= r (ξ) .

 

 

 

 

 

 

 

 

 

 

(17.27)

 

Функция s = s(t) возрастает

 

(с увеличением дуги ее длина возрас-

тает). Поэтому если

 

t > 0, то

 

 

s 0, а если

 

 

 

 

t < 0, то

s 0 и,

 

 

 

 

 

 

 

 

 

 

s

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s

 

 

 

s

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

rt

 

 

 

 

st

|r (ξ)|.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(17.28)

следовательно, всегда

 

 

t

 

0, иначе говоря,

 

 

 

t

 

=

t

.

 

 

 

 

 

 

 

Таким образом, неравенство (17.27) можно

записать

в виде

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 один

 

 

 

 

 

 

 

 

 

 

 

 

 

 

неравенства имеют при

 

t

→

 

Левая и правая части

этого

 

 

 

и тот же предел, равный |r (t)|.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В самом деле, в силу определения производной

 

 

 

 

 

 

 

 

 

 

 

 

 

t→0

 

 

t −

 

 

 

 

 

 

 

 

t→0

 

 

 

 

 

t −

 

 

 

 

 

 

 

 

| |

 

ξ

 

 

 

 

lim

 

r(t + t)

 

 

r(t)

ξ

=

[t, t + t]

 

 

t)

t > 0

=

 

 

r (t) .

 

 

 

Из выполнения

же условия

 

 

 

 

 

 

 

при

 

 

 

 

 

 

 

 

 

или условия

 

 

 

[t +

t, t]

при

t < 0

следует, что

lim ξ = t,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r (t)

|

 

 

 

 

t

0

 

 

 

 

а так как функция |

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

→ lim

 

r (ξ)

|

= r (t) .

 

 

 

 

 

непрерывна, то отсюда вытекает, что

t

 

0

|

 

 

 

 

 

 

 

|

 

 

 

|

А тогда из

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

→

lim

 

 

s

 

 

 

 

 

 

 

 

 

 

 

 

 

неравенства (17.28) получаем, что предел

 

 

 

 

 

 

 

существует и также

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t→

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

равен |r (t)|. Это означает, что существует производная s (t) и что

s (t) = |r (t)|.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если r(t) = (x(t), y(t), z(t)), то r (t) = (x (t), y (t), z (t)), а потому

 

 

s (t) = |r (t)| =

 

.

 

 

 

 

 

 

 

 

(x (t))2 + (y (t))2 + (z (t))2

 

 

 

 

 

(17.29)

Таким образом, для всякой гладкой кривой ее параметр является строго возрастающей непрерывно дифференцируемой функцией переменной длины дуги и производная этой функции нигде не обращается в нуль.
Следовательно, функция t = t(s) есть допустимое преобразование параметра в смысле п. 17.1 и, следовательно, на гладкой кривой в качестве параметра можно взять переменную длину ее дуг. Из сказанного вытекает также, что имеет смысл производная

230Гл. 1. Дифференциальное исчисление функций одной переменной

За м е ч а н и е 1. Если длина σ дуг кривой Γ отсчитывается от ее конца, то σ = SΓ − s и, следовательно, dσds = −1, поэтому

 

 

 

 

 

 

 

dσ

=

dσ

 

ds

=

 

ds

=

r (t) .

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

ds dt

− dt

−|

|

 

 

З а м е ч а н и е

2. Если непрерывно

дифференцируемая кривая

Γ =

{

r(t) ; a

 

t

b

 

 

 

 

 

 

 

 

 

r (t) = 0

на отрезке

[a, b]

 

 

 

 

} не имеет особых точек (

 

),

т. е. Γ — гладкая кривая, то в силу теоремы 2 переменная длина дуги s = s(t), отсчитываемая от начала M (a) кривой Γ, является строго возрастающей непрерывно дифференцируемой функцией с производ-

ной, положительной во всех точках отрезка [a, b] : s (t) = |r (t)| > 0. А так как s(a) = 0, s(b) = SΓ, то обратная функция t = t(s) одно-

значна, строго возрастает, непрерывно дифференцируема на отрез-

ке [0, SΓ] и

dt

=

1

 

.

(17.30)

 

 

 

ds

 

 

 

 

 

 

ds

 

 

dt

 

 

 

 

 

 

 

 

 

dr

 

=

dr

dt .

(17.31)

 

 

 

 

 

 

 

 

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt ds

 

 

 

Вектор

dr

только числовым множителем

 

dt

отличается от каса-

 

 

 

ds

 

 

 

 

 

 

 

 

 

 

 

ds

тельного вектора

dr

= 0 и поэтому также направлен по касательной.

dt

Докажем, что вектор

dr

является единичным вектором.

 

 

 

 

 

 

ds

 

 

 

 

 

 

 

 

 

 

0 s S} параметром

Те о р е м а 3. Если на кривой Γ = {r(s) ;

является длина дуги и кривая непрерывно дифференцируема, то

 

 

 

 

 

 

 

 

 

ds = 1.

(17.32)

 

 

 

 

 

 

 

 

 

dr

 

 

 

 

 

 

 

Из формулы (17.24) при t =

s имеем

 

 

 

 

 

 

 

 

 

ds

= ds = 1.

 

 

 

 

dr

 

 

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку на гладкой кривой можно взять за параметр длину дуги, то формула (17.32) имеет место для гладких кривых.

Разъясним геометрический смысл равенства (17.32).

Отрезок, соединяющий две точки кривой, называется хордой, стягивающей дугу кривой с концами в этих точках. Пусть кривая Γ глад-

§ 17. Длина кривой

231

кая и r(s), 0 s S, — ее векторное представление, в котором в качестве параметра выбрана переменная длина дуги кривой s [0, S].

Длина хорды, соединяющей концы радиусов-векторов r(s0) и r(s0 + s), s0 [0, S], s0 + s [0, S], равна длине | r| вектора r = r(s0 + s) − r(s0) (рис. 94). В силу равенства (17.32) для предела

отношения

||

rs||

при

 

s → 0 имеем

lim

r

 

= lim

 

 

r

 

=

 

dr

 

= 1,

t→0

|| s||

 

s→0

 

 

s

 

 

ds

 

(17.33)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т. е. отношение длины

 

хорды

к длине

стягиваемой ею дуги стремится к единице, когда s → 0.

З а м е ч а н и е 3. Координатами всякого единичного вектора являются его направляющие косинусы, т. е. косинусы

углов, которые он образует с осями координат. Поэтому если обозначить через α, β и γ углы, которые образует с координатными осями

переменных x, y и z единичный вектор

dr

, то

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dr

 

= (cos α, cos β, cos γ).

(17.34)

 

 

 

 

 

С другой стороны,

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dr

=

dx

 

dy

 

dz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

,

 

.

 

(17.35)

 

 

 

 

 

 

ds

ds

ds

ds

 

Сравнив формулы (17.34) и (17.35), получим

 

 

 

dx

= cos α,

 

dy

= cos β,

 

dz

= cos γ.

(17.36)

 

ds

 

 

 

ds

 

 

 

 

 

 

ds

 

 

 

 

 

 

 

 

 

З а м е ч а н и е 4. Если плоская кривая является графиком функции y = f (x), a x b, т. е. параметром кривой является переменная

x, то x = 1, и поэтому

dxds = 1 + y 2 .

З а м е ч а н и е 5. Если кривая Γ гладкая и в качестве параметра на ней взята переменная длина дуги s, 0 s S, то единичный касатель-

ный вектор τ = ddsr является непрерывной функцией переменной s. Если какая-то функция является непрерывной функцией пара-

метра кривой, то будем говорить, что она непрерывна вдоль кривой. Теперь можно сказать, что на ориентированной гладкой кривой имеется непрерывный вдоль нее единичный касательный вектор. При изменении ориентации кривой, т. е. при переходе к параметру

s = S

−

s, касательный вектор меняет свое направление. Действи-

 

 

ds

 

dr dr ds

 

dr

 

тельно, поскольку

 

= −1, то

τ =

 

=

 

 

 

= −

 

= −τ .

ds

ds

ds

ds

ds

232 Гл. 1. Дифференциальное исчисление функций одной переменной

Таким образом, ориентации гладкой кривой однозначным образом соответствует выбор непрерывного единичного касательного вектора вдоль кривой τ или τ .

Пусть Γ — плоская кривая и на плоскости фиксирован базис i, j. В этом случае каждому касательному вектору τ и τ соответствует единственный перпендикулярный к нему единичный вектор ν и соответственно ν (нормаль к кривой) такой, что пары векторов τ , ν и τ , ν ориентированы так же как пара i, j векторов базиса (т. е. так, что определители преобразования этих пар положительны). Очевидно, что ν = −ν, и нормали ν и ν также являются непрерывными функциями вдоль кривой Γ. Из сказанного ясно, что при фиксированной системе координат ориентация плоской кривой может быть задана непрерывной вдоль этой кривой единичной нормалью.

§18. Кривизна кривой

18.1.Определение кривизны и радиуса кривизны кривой.

Важной характеристикой кривой является ее кривизна. Определим это понятие.

О п р е д е л е н и е 1. Абсолютная величина (длина) скорости вра-

щения единичного касательного вектора к кривой в данной ее точке относительно переменной длины дуги называется кривизной кривой в этой точке.

Если Γ = {r(t) ; a t b} — гладкая кривая, a s = s(t) — переменная длина ее дуги, отсчитываемая от начала кривой Γ, то вектор

τ =

dr

 

(18.1)

ds

 

 

является единичным касательным

вектором

(теорема 3 в п. 17.3)

к кривой Γ. Поэтому кривизна кривой в данной ее точке, обозначаемая обычно через k, согласно данному определению задается формулой

k =

dτds

.

(18.2)

 

 

 

 

 

 

Отсюда в силу соотношения (18.1) следует,

что

k =

ds2

.

(18.3)

 

 

d2r

 

 

 

 

 

 

 

 

 

Из этой формулы видно, что определение (18.2) имеет смысл тогда, когда функция r(s) является по крайней мере дважды дифференцируемой.

Величина, обратная кривизне, называется радиусом кривизны кривой в данной точке и обозначается через R. Таким образом,

R =

1

.

(18.4)

 

 

k

 

§ 18. Кривизна кривой

233

П р и м е р. Покажем, что для окружности ее радиус совпадает с радиусом кривизны, и поэтому ее кривизна одна и та же во всех точках и равна обратной величине радиуса.

Рассмотрим окружность радиуса R

 

с центром в точке O. Пусть A — фикси-

 

рованная точка окружности. Угол α, об-

 

разованный радиусом-вектором r неко-

 

торой точки окружности (обозначим

 

ее B) с осью OA и угол, образованный

 

единичным касательным к окружности

 

в точке B вектором τ с касательным

 

вектором в точке A, равны как углы со

 

взаимно перпендикулярными сторонами

 

(рис. 95).

 

 

Если s — длина дуги окружности, от-

 

считываемая от точки A в направлении возрастания угла α, то α = s

и, следовательно,

 

R

1 .

 

dα =

(18.5)

ds

R

 

Для единичной окружности длина ее дуги совпадает со значением

соответствующего ей угла α, и так как |τ | = 1, то

 

 

dτ

 

=

1

18 6

 

 

 

 

 

( . )

dα

(17.32) .

Поэтому для окружности радиуса R имеем

 

 

 

 

 

 

 

 

 

 

(18.6)

1

 

k =

 

dτ

 

=

 

dτ

 

dα

 

=

.

 

 

 

 

 

 

 

 

 

 

 

ds

 

 

 

dα

 

ds

 

(18.5)

R

18.2.Формула для кривизны. Пусть

Γ= {r(t); a t b}

(18.7)

(18.8)

— дважды дифференцируемая кривая без особых точек. Тогда существует дважды непрерывно дифференцируемое преобразование параметра t к переменной длине s дуги кривой Γ : t = t(s), 0 s SΓ (см. замечание 2 в п. 17.3), причем

 

 

 

 

 

 

 

 

 

 

 

 

 

=

r r

 

 

 

s

(t) = (s )

= ( r

)

= ( r

2 )

 

,

 

 

|r |

 

dr

 

(17.24) |

 

|

 

 

 

 

 

 

вектор τ =

является единичным касательным к кривой Γ вектором

ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и имеет производную

 

dτ

= d2r

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

(18.9)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ds

 

ds2

 

 

 

 

 

 

 

 

234 Гл. 1. Дифференциальное исчисление функций одной переменной

а следовательно, для рассматриваемой кривой в каждой ее точке определена кривизна k (см. (18.2)) и для нее справедлива форму-

ла (18.3).

Те о р е м а 1. Если Γ = {r(t) ; a t b} — дважды дифференцируемая кривая без особых точек, то в каждой точке кривой существует кривизна k и для нее справедлива формула

k =

|r × r |

.

(18.10)

 

|r |3

 

Штрихом здесь и в дальнейшем обозначаются производные по параметру t, производные же по длине дуги будут обозначаться че-

рез

d

.

 

 

 

 

 

 

 

 

 

ds

 

 

 

Касательный вектор τ =

dr

единичный, т. е. имеет постоянную

ds

 

 

 

 

dτ

 

длину, равную единице. Поэтому его производная

ему перпен-

ds

 

 

 

 

 

 

дикулярна (см. лемму из п. 16.2). Длина векторного произведения

τ

 

dτ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

| =

1

 

 

dτ

 

=

 

×

ds

равна произведению длин сомножителей |τ

 

и

ds

(18.2) k на

значение синуса угла между ними, т. е. на единицу, так как указанный

угол прямой. Поэтому

 

 

 

 

 

 

τ × dτds

= k.

 

 

 

 

 

 

 

 

(18.11)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

По правилу дифференцирования сложной функции имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

τ =

dr

 

= r dt

=

r

,

 

 

 

 

 

 

 

(18.12)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ds

s

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d2r

 

 

 

 

 

 

 

 

 

 

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dτ

 

 

 

 

 

 

d r

 

 

 

 

r

 

dt

 

s r

s r

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

=

 

 

 

 

=

 

 

 

 

=

 

s−3

 

.

 

 

(18.13)

 

 

 

 

 

 

ds

ds2

ds

s

s

ds

 

 

 

 

Следовательно,

 

=

 

 

 

 

 

 

 

 

 

 

 

− s r

= |r × r |

= |r × r |, (18.14)

 

k = τ

 

 

dτ

 

 

 

r

 

 

 

s r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ds

 

(18.12)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

18 11

×

 

 

s

×

 

 

 

 

s

3

 

|

 

 

 

 

s

3

 

 

|r |

3

 

 

 

(

. )

 

 

 

(18.13)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ибо r

 

× r

= 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из формулы (18.10) можно получить формулу, выражающую кривизну через производные координатных функций: если i, j и k — единичные векторы координатных осей переменных x, y, z и

r(t) = x(t) i + y(t) j + z(t) k,

(18.15)

то

 

r = x i + y j + z k, r = x i + y j + z k,

(18.16)

|r | =

 

,

 

x 2 + y 2 + z 2

(18.17)

§ 18. Кривизна кривой

 

 

235

r × r =

x

y

z

,

(18.18)

 

 

i

j

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

z

 

 

 

 

x

 

 

 

откуда

 

 

 

 

 

 

 

|r × r | = (y z − y z )2 + (z x − z x )2 + (x y − x y )2 . (18.19)

Подставив (18.17) и (18.19) в формулу (18.10), получим искомое выражение для кривизны.

18.3. Главная нормаль. Соприкасающаяся плоскость. Для того чтобы изучить расположение кривой относительно ее касательной в окрестности точки касания, полезно ввести понятие главной нормали.

О п р е д е л е н и е 2. Если в некоторой точке кривой ее кривизна не

равна нулю (k = 0), т. е. существует производная

dτ

= 0, то единич-

ds

ный вектор в направлении вектора

dτ

называется вектором главной

 

 

 

 

 

 

 

ds

 

нормали (короче, главной нормалью) и обозначается через ν.

 

Так как

dτ

 

= k (см. (18.2)), то

 

ds

 

 

 

 

 

dτ

 

 

 

 

 

 

= kν, |ν| = 1.

(18.20)

 

 

ds

Эта формула называется формулой Френе 1).

То, что вектор ν называется нормалью, оправдывается тем обстоятельством, что вектор ν как вектор, параллельный производ-

ной dτds единичного вектора τ , перпендикулярен касательному векто-

ру τ (см. лемму в п. 16.2).

Отметим два свойства главной нормали.

1◦. Направление главной нормали не зависит от выбора ориентации кривой.

В самом деле, если σ — переменная длина дуги кривой Γ, отсчитываемая в противоположном, чем длина дуги s, направлении, и,

следовательно, если σ = SΓ − s, то, заметив, что dσds = −1, получим

 

 

 

 

 

dr

dr dσ

 

 

 

dr

 

 

 

 

 

 

 

=

 

 

 

=

−

 

 

 

 

 

 

ds

dσ

ds

dσ

а поэтому

= ds

ds

= dσ

−dσ

 

ds2

 

d2r

 

d

 

 

dr

 

 

d

 

 

dr

,

dσ = d2r ds dσ2 .

1) Ж. Френе (1816–1900) — французский математик.

236 Гл. 1. Дифференциальное исчисление функций одной переменной

Таким образом, вектор

dτ

=

d2r

не зависит от выбора начала

 

 

 

ds

 

ds2

 

 

отсчета дуг на кривой, т. е. не зависит от ее ориен-

тации. Главная нормаль

 

 

 

 

 

ν =

1

 

dτ

, k = 0,

(18.21)

 

 

 

k

ds

имеет то же направление, что и вектор

dτ

, поэто-

 

 

 

 

 

 

 

 

 

 

ds

му она также не зависит от ориентации кривой.

2◦. Главная нормаль с точностью до беско-

нечно малых более высокого порядка,

чем s2,

s → 0, направлена в сторону отклонения кривой от касательной (рис. 96).

Разложим векторную функцию r = r(s) в окрестности точки s0 по формуле Тейлора:

 

 

 

 

 

 

dr(s

)

 

 

 

1 d2r(s

)

 

2

2

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

0

 

 

 

 

r = r(s0 + s) − r(s0) =

 

 

 

 

 

 

s +

 

 

 

 

s

 

+ o(Δs

),

Δs → 0.

 

 

 

ds

 

 

2

ds2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d2r

 

 

 

 

 

 

(18.22)

Отсюда, вспомнив, что

dr

 

= τ ,

 

= kν,

получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ds (18.1)

 

ds2 (18.21)

 

 

 

 

 

 

r = sτ +

1

k s2ν + o(Δs2), Δs → 0.

 

(18.23)

2

 

Поскольку

1

k s2 > 0,

то разность r −

 

sτ , т. е. отклонение

2

 

кривой от касательной, с точностью до o(Δs2),

s → 0, направлена

по вектору ν:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r − sτ =

1

k s2ν + o(Δs2),

Δs → 0.

 

 

 

2

 

 

О п р е д е л е н и е 3. Всякая прямая, проходящая через точку кри-

вой и перепендикулярная касательной в этой точке, называется нормалью к кривой в данной точке. Нормаль к кривой, параллельная вектору ν, называется главной нормалью.

Таким образом, главной нормалью называют как вектор ν, так и параллельную ему прямую, проходящую через соответствующую точку кривой.

О п р е д е л е н и е 4. Плоскость, проходящая через касательную и главную нормаль в данной точке кривой, называется соприкасающейся плоскостью в этой точке.

Эта плоскость обладает тем свойством, что дважды непрерывно дифференцируемая кривая в окрестности каждой своей точки, в которой кривизна не равна нулю, лежит «почти» в соприкасающейся плоскости. Это означает, что конец радиуса-вектора r(s0 + s) отстоит от

конца радиуса-вектора r(s0) + sτ + 12 k s2ν, лежащего, очевидно,