Краткий курс математического анализа. Том 1
.pdf
§ 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) |
|||||||||||||||||||||||||||||||||||||
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 |
|
|
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) |
||
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ν, лежащего, очевидно,

