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

Ilin_Poznyak_-_Matanaliz

.pdf
Скачиваний:
743
Добавлен:
02.06.2015
Размер:
14.78 Mб
Скачать

§ 2 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ КРИВЫХ 431

(см. рис. 12.6) будет вектором нормали к плоскости PQM. Так

как кривая L дважды дифференцируема, то по формуле Тейлора

 

д.т =

r'(t)д.t + ~r"(t)д.t2 + а· д.t2,

(12.8)

где о: -

бесконечно малая при д.t ---7 о векторная функция. Из

формул (12.6)-(12.8) вытекает, что

 

 

 

m =

[r'(t)r"(t)] + 2[r'(t)a] =

n + jЗ,

(12.9)

где jЗ

= 2[r'(t)a] -

бесконечно малая при

д.t ---7

о векторная

функция. Из соотношения (12.9) следует, что при М ---7 Р век­

тор m стремится к n, а следовательно, стремится к нулю и

угол <р между плоскостями PQM и К. Поэтому плоскость к

является соприкасающейся плоскостью к кривой в точке Р. Утверждение доказано.

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

Пусть R-радиус-вектор переменной точки S этой плоскости.

Векторы PS = R - r(t), r'(t) и r"(t) параллельны соприкасаю­

щейся плоскости и поэтому R - r(t) = ur'(t) + vr"(t). Отсюда

мы получаем искомое уравнение соприкасающейся плоскости

R = r(t) + ur'(t) + vr"(t),

(12.10)

в котором u и v - аргументы векторной функции R, а t - фик­ сированное значение параметра на кривой L, определяющее точку Р.

Получим уравнение соприкасающейся плоскости в другой

форме. Так как векторы R - r(t), r'(t),

r"(t)

компланарны, то

вектор R удовлетворяет следующему уравнению:

(R - r(t))r'(t)r"(t) =

о.

(12.11)

Если Х, У, Z -координаты вектора R (координаты переменной точки S плоскости К), а x(t), y(t), z(t) -координаты вектора r(t), то в координатной форме уравнение (12.11) запишется сле­

дующим образом:

Х - x(t)

У - y(t)

Z - z(t)

 

х'(t)

у'(t)

z' (t)

= о.

(12.12)

х"(t)

у"(t)

z" (t)

 

 

Уравнение (12.12), очевидно, представляет собой уравнение со­

прикасающейся плоскости.

3 а м е ч а н и е. Соприкасающаяся плоскость определена на­

ми геометрически с помощью предельного перехода, и поэтому

в случае ее существования она будет единственна. Отсюда и из

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

432 ОСНОВЫ ТЕОРИИ КРИВЫХ И ПОВЕРХНОСТЕЙ ГЛ. 12

данной точке 7г кривой существует соприкасающаяся плоскость,

то при любой параметризации кривой вектор r"(t) параллелен

этой плоскости. Если рассматривать параметр t как время,

то r"(t) будет вектором ускорения при дви­

жении точки по кривой L по закону r(t). Та­

ким образом, при любом способе движения по

кривой вектор ускорения в данной точке рас­ положен в соприкасающейся плоскости кри­

вой в этой точке. Поэтому соприкасающуюся

плоскость называют также nлос'Костью ус'КО­

рении.

Прямая, проходящая через точку Р кри­ вой L перпендикулярно касательной в этой точке, называется нормалью. Нормаль, рас-

аположенная в соприкасающейся плоскости,

Рис. 12.7

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

вой, а нормаль, перпендикулярная соприка­

сающейся плоскости, - б и н о р м а лью кривой. Вывод урав­

нений этих прямых предоставляется читателю.

4. Кривизна кривой. Пусть Р - произвольная фиксиро­ ванная точка регулярной кривой L без особых точек и М - точ­

ка этой кривой, отличная от Р. Обозначим через t.p угол между

касательными в точках Р и М, а через l - длину дуги РМ 1)

(рис. 12.7).

К р и в и з н о й k1 кривой L в точке Р называется предел

отношения t.p / l при l -+ О (т. е. при М -+ Р).

Справедливо следующее утвер:ждение.

Регулярная (два:жды дифференцируемая) 'Кривая L без ос0-

Быlx mO"lex: имеет в 'Ка:ждои тО"l'Ке определенную 'Кривизну k1.

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

Р и М кривой отвечают соответственно значениям t и t + tlt

параметра.

Вычислим sint.p и [. Так как кривая L регулярна, то r'(t) i- о

в любой точке L, и поэтому

 

 

sin

=

l[r'(t)r'(t+6t)]1

(12.13)

 

t.p

Ir'(t)llr'(t+ 6t)l'

 

 

t+.6.t

Ir'(T*)ltlt = Ir'(t)ltlt+ I5tlt,

 

l = J Ir'(T)1dT =

(12.14)

t

где 15 -+ О при tlt -+ О.

Отметим, что при преобразованиях выражения для l мы вос­ пользовались формулой c~eДHeгo значения для интеграла и не­

прерывностью функции r (t).

1) Так как кривая L регулярна, ТО любая ее дуга РМ спрямляема.

§ 2

НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ КРИВЫХ

433

Преобразуем выражение (12.13) для sin<p. По формуле Тей­

лора

r'(t + flt) = r'(t) + r"(t)flt + aflt,

а --7 О при flt --7 о.

с помощью этой формулы выражение (12.13) для sin<p прини­

мает следующий вид:

 

 

 

sin

=

l[r'(t)r//(t)]1 + fJ flt

 

 

(12.15)

 

 

 

 

 

 

Ir'(t)1 2

+i

'

 

 

 

 

 

 

 

 

 

 

 

 

 

где (3

--7 О и I --7 О при flt

--7

о.

 

 

 

 

 

 

 

 

Обращаясь к формулам

(12.14) и (12.15) и используя при

i- о тождество

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~ _ _ _ _si_n_'P

 

 

 

 

 

 

 

 

 

 

 

l

sin'P

1

 

 

 

 

 

 

( при <Р = о отношение т равно нулю), получим

 

 

 

 

 

 

 

 

~ _

~ l[r'(t)r//(t)]1 + fJ

 

 

(12.16)

 

 

 

1

 

sin'P

Ir'(t)13 + It

 

 

 

 

 

 

 

 

 

 

 

 

 

где (3 и fL стремятся к нулю при flt --

7 о. Так как <р --

7 О при flt

--7

--7

о,

то ---J!- --7 1 при flt

--7 о. Поэтому из соотношения (12.16)

 

 

sШ'Р

 

 

 

 

 

 

 

 

 

 

 

 

следует, что при flt --7 о, т. е. при М --7 Р, предел t существует

и равен l[r'(t)r//(t)]I. Утверждение доказано.

 

 

 

 

 

 

 

Ir'(t)13

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак, при условиях утверждения кривизна k1 существует и

может быть найдена по формуле

 

 

 

 

 

 

 

 

 

 

 

 

k

=

l[r'(t)r//(t)]1

 

 

 

(12.17)

 

 

 

 

 

1

 

Ir'(t)13·

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3 а м е ч а н и е.

Если в качестве параметра на кривой выб,ра­

на длина дуги [,

так что r =

r(l),

то Ir'(l)1 = 1 и вектор r

(l)

ортогонален вектору r'(l)

1). в этом случае, очевидно, формула

(12.17) примет следующий вид:

 

 

 

 

 

 

 

 

 

 

 

 

 

k1 = Ir"(l)l·

 

 

 

(12.18)

1 ) Если длина дуги является

параметром,

то ИЗ

формулы

i3.1

=

 

1+6./

 

 

 

 

 

 

 

 

 

 

 

 

=

J

Ir' (Т) IdT В силу ПРОИЗВОЛЬНОСТИ

l и i3.l

следует,

что

Ir' (1) I

=

1 в

 

/

точке кривой. Дифференцируя соотношение r'2(1)

 

 

 

 

любой

=

1, получим

2r'(I)r//(I) = О, т. е. вектор r//(l) ортогонален вектору r'(l).

434 ОСНОВЫ ТЕОРИИ КРИВЫХ И ПОВЕРХНОСТЕЙ ГЛ. 12

5. Кручение кривой. Пусть Р - произвольная фиксиро­ ванная точка регулярной кривой L без особых точек и М - точ­

ка этой кривой, отличная от Р. Обозначим через t.p угол между

соприкасающимися плоскостями в точках Р и М, а через [- длину дуги РМ.

А б с о л 10 т н ы м 'к Р У 'Ч, е н и е м Ik 2 1 кривой L в точке Р называется предел отношения t.p/l при l ---+ О (т. е. при М ---+ Р).

Справедливо следующее утверждение.

Регулярная (трижды дифферен'И,ируемая) 'Кривая L без осо­

бых то'Ч,е'К имеет в 'Каждой то'Ч,'Ке, где 'Кривизна отли'Ч,на от нуля, определенное абсолютное 'Кру'Ч,ение.

Перейдем к доказательству этого утверждения.

Пусть точки Р и М кривой L отвечают соответственно зна­

чениям t и t +b..t параметра. Нормали к соприкасающимся плос­

костям в Р и М определяются векторами [т'т//]р и [т'т//]м 1).

По формуле Тейлора с учетом равенства [т'т//] = О получим

[т'т//]м = [т'т//]р + ([r'r//])pb..t + ab..t =

= [т'т//]р + [r'rlll]pb..t + ab..t, (12.19)

где а ---+ О при b..t ---+ О.

ДЛЯ вычисления предела t.p / l при l ---+ О нам понадобится

значение синуса угла t.p между нормалями к соприкасающимся

плоскостям в точках РиМ. Для этой цели найдем модуль век­

торного произведения [т'т//]р и [т'т//]м и произведение модулей этих векторов. С помощью (12.19) получим

[[т'т//]р[т'т//]м] = [[т'т//]р([т'т//]р + [r'rlll]pb..t + ab..t)].

Отсюда, используя распределительное свойство векторного про­

изведения и известную формулу [а[Ьс]] = b(ac)-с(аЬ) для двой­

ного векторного произведения, найдем

[[т'т//]р[т'т//]м] = r'p(r'r//rlll)pb..t + f3b..t,

где (3 = [[т'т//]ра], и поэтому (3 ---+ о при b..t ---+ О. Из последнего

выражения для [[т'т//]р[т'т//]м] получаем следующую формулу:

I[[т'т//]р[т'т//]м] I = Ir'pll(r'r//rlll)plb..t + {b..t,

(12.20)

где { ---+ о при b..t ---+ О.

Путем аналогичных рассуждений получается также следую­

щая формула:

 

l[r'r//]pl'l[r'r//]M]1 = [T'T//]~ + JLb..t,

(12.21)

где JL ---+ О при b..t ---+ О.

1) Выражения [Т'т"]р и [Т'Т"]М означают, что векторное произведение

[Т'Т"] вычислено в точках Р и М соответственно.

§ 2

НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ КРИВЫХ

435

Из формул (12.20) и (12.21) получаем нужное нам выраже-

ние для sш ср:

sint.p = (Ir'I·I(r'r"rlll)1+r)~t.

[т'т"]2 + Il~t

Отметим, что в этом выражении значения производных вектор­

ной функции r (t) вычислены в точке Р.

Обращаясь к выражению (12.14) для [, используя только что

полученную формулу для sin t.p и известный предел ...J!- --+ 1 при

SШ'{J

t.p --+ О, мы убедимся, что предел t при l --+ О существует и равен

I(т'т"r lll )I

[т'т"Р

Итак, в условиях утверждения абсолютное кручение Ik2 1 су­

ществует и может быть найдено по формуле

 

k

=

I(т'т"r lll )I

(12.22)

1 21

 

[Т'т"Р·

Определим к; р у 'Ч, е н и е

k2 кривой с помощью равенства

k2

=

+ (r ,r "r "') .

(12.23)

 

 

[т'т"Р

 

Докажем, что к;ру'Ч,ение k 2 не зависит от выбора nараметриза­

'Ции к;ривой и поэтому является определенной геометри'Ч,еск;ой

харак;теристик;ой данной к;ривой 1).

Перейдем к другой параметризации кривой при помощи па­

раметра 7.

Обозначая дифференцирование по параметру 7 точкой, по­ лучим по правилу дифференцирования сложной функции сле­

дующие формулы:

 

 

,

.,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r =

Т7,

 

 

 

 

 

 

 

 

 

т" = :;'7,2

+ {члены, линейно выражающиеся через Т},

 

r

111

=

...,3

 

{~

 

 

 

 

 

 

.

.. }

.

 

r 7

+ члены, линеино выражающиеся через r

и r

Из этих формул вытекают соотношения

 

 

 

 

 

 

 

 

 

 

(

,

"111)

( ...... )'6

['

"]2

=

[... ]2

7

,6

.

 

 

 

 

 

r

 

r r

=

тт r 7,

r r

 

тт

 

 

 

Таким образом,

 

 

(r'r"r lll ) _ (1'1'.';;)

 

 

 

 

 

 

 

 

 

 

 

 

k

-

 

 

 

 

 

 

 

 

 

 

 

 

2

-

[т'т"Р

[1'1'] 2

 

 

 

 

 

 

Мы убедились, что k 2 не зависит от выбора параметризации

кривой.

1) Абсолютная величина Ik21 определена геометрически. Поэтому от пара­

(г'г"r"l )

метризации может зависеть лишь знак выражения

[т'т"Р .

436

ОСНОВЫ ТЕОРИИ КРИВЫХ И ПОВЕРХНОСТЕЙ

ГЛ. 12

 

6. Формулы Френе. Натуральные уравнения кривой.

В п. 3 этого параграфа мы ввели понятия нормали и бинорма­

ли кривой. Эти прямые вместе с касательной являются ребра­

ми трехгранного угла, называемого е с т е с т в е н н ы м т ре х­

г р а н н и к о м. Пусть параметром l на кривой L является дли­

на дуги. Тогда r'(l) = t-единичный вектор касательной к L.

Выберем единичный вектор n главной нормали коллинеарным

вектору r"(l) 1), а в качестве единичного вектора бинормали

возьмем вектор

Ь= [tn].

(12.24)

Таким образом, векторы t, n, Ь образуют правую тройку, т. е.

(tnb) > О. Векторы t, n и Ь являются функциями длины ду­

ги. Найдем разложения производных t', n', ь' этих функций по

векторам t, n и Ь. Так как t =

r'(l), то t' = r"(l). Поэтому век­

тор t' коллинеарен n:

 

 

t' =

о:n.

k 1 (о: = It'l=

Согласно замечанию п. 4 этого параграфа о:

= Ir"(l)1 = k 1 ), и поэтому

 

 

t' =

k 1 n.

(12.25)

Обратимся теперь к вектору Ь. Так как этот вектор единичный,

то вектор ь' ортогонален Ь. Докажем, что вектор ь' ортогона­

лен также и t.

Дифференцируя тождество (Ы) =

О, получим

(b't) + (Ы') =

О. Так как, согласно (12.25), (Ы') =

k1 (Ьn) =

= О, то (b't) =

О, а это и означает, что вектор ь' ортогонален t.

Из проведенных рассуждений вытекает, что вектор ь' коллине­

арен n, т. е

ь' = /3n.

(12.26)

Докажем, что /3 = -k2 . Пусть <р-угол между соприкасаю­

щимися плоскостями кривой В точках, отвечающих значениям

параметра l и l + tll. Очевидно, угол между векторами b(l) и b(l +tll) также равен <р, поскольку вектор Ь ортогонален сопри­

касающейся плоскости. Поэтому, учитывая, что lim ~l = k2 ,

61-+0 L...>.

получим

Ib'l= lim Ib(I+61)-Ь(I)1 =

lim I.J!...-I = Ik2

61-+0

61

61-+0 61

Следовательно, так как 1/31

= Ib'l,справедливо соотношение 1/31 =

= Ik2 1. Пусть векторы ь' и n одинаково направлены. Из формулы

1) Согласно замечанию п. 4 этого параграфа вектор т"(1) ортогонален век­

тору t и лежит в соприкасающейся плоскости кривой.

§ 2 НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ КРИВЫХ 437

(12.26) следует, что в этом случае (3 = Ib'l,т. е. 1(31 > о. Ясно, что

в этом случае векторы r'(l), r"(l) и rlll(l) образуют

тройку противополож-

ного смысла по отноше­

нию к тройке t, n, Ь

(рис. 12.8), и поэтому

(r'r"r lll ) < о, т. е.

k2

<

<

о.

Так

как

(3

>

О

и

1(31

=

Ik2 1,

то

(3

=

= -k2 . В случае, ког-

да векторы ь' и n про­

тивоположно направле­

ны, рассуждая анало­

b'~-~ СОnРU1Сасающаяся

 

nJЮС'i;'Остъ

Поворот бuнор.ма.лu

t=r'(l)

npL;, возрйстЙЙUL;, 1

 

т"(1)

Поворот главной

йор.мйлu nри воз­

раСЩДНUL;, 1

гично, легко убедиться,

Рис. 12.8

что (3 < о, а k2 > о. Так

 

как 1(З1 = Ik2 1,

то и в этом случае (3 =

-k2 . В случае, если (3 = о,

равенство (3 =

-k2 очевидно. Итак, мы доказали, что

 

 

(12.27)

Из формул (12.26) и (12.27) вытекает нужное нам выражение

для ь'

(12.28)

Найдем теперь выражение для n'. Используя правило диффе­ ренцирования векторного произведения и формулы (12.25) и

(12.28), получим

n' = [ы]' = [b't] + [ы'] = -k2 [nt] + k1 [bn] = -k1 t + k2 b.

Объединяя в одну таблицу формулы (12.25), (12.28) и только что найденное выражение для n', получим следующие формулы,

называемые фор м у л а м и Фре н е 1) :

t'=k1 n,

n' = -k1 t + k2 b,

(12.29)

ь' = -k2 n.

 

Формулы Френе называют также основными формулами

теории кривых.

Из формул Френе следует, что если известны кривизна k 1 и кручение k 2 кривой L, то могут быть найдены производные век­

торных функций t, n и Ь (т. е. скорости изменения этих функ­ ций). Это, естественно, наводит на мысль о том, что кривизна и

кручение определяют кривую L, что действительно имеет место. Именно, справедливо следующее утверждение.

1) Жан Френе - французский математик (1801-1880).

438

ОСНОВЫ ТЕОРИИ КРИВЫХ И ПОВЕРХНОСТЕЙ

ГЛ. 12

Пустъ k 1 (l) и k 2 (l) - любые дифферен'И,ируемые фунn'И,ии, nри­

'Чем k 1 (l)

> О. Тогда существует едU1-lственная с то'Чностъю до

положения в пространстве nривая, для nоторой k 1 (l)

и k 2 (l)

являются соответственно nривизной и nру'Чением.

 

Мы не будем доказывать это утверждение. Отметим лишь,

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

единственности решения системы обыкновенных дифференци­

альных уравнений.

Так как, согласно сформулированному утверждению, кри­

визна k1 (l) и кручение k2 (l) полностью определяют кривую, то

систему уравнений

обычно называют н а т у р а л ь н ы м и (внутренними) у р а в­

не н и я м и кривой.

§3. Некоторые сведения из теории поверхностей

вгл. 5 мы познакомились с рядом важных сведений о по­

верхностях: нами было введено понятие поверхности, понятие

регулярной и гладкой поверхности без особых точек, понятия

касательной плоскости и нормали к поверхности.

В этом параграфе мы укажем еще ряд важных свойств ре­

гулярных поверхностей.

1. Первая квадратичная форма поверхности. Изме­

рения на поверхности. Пусть Ф - регулярная поверхность без

особых точек, т(и, v) -радиус-вектор этой поверхности. Как из­

вестно, в этом случае [TuTvJ i- О.

Первой квадратичной формой 1 поверхности Ф называется

выражение

(12.30)

Наименование «квадратичная форма» связано с тем, что вы­

ражение

1 = dT 2 = u du + Tv dv)2 = T~ du 2 + 2TuTv du dv + т; dv 2

представляет собой nвадрати'Чную форму от дифферен'И,иалов

du и dv.

Первая nвадрати'Чная форма является nоложителъно опре­ деленной формой: она обращается в нуль только при du = dv =

= О, а для остальных значений du и dv положительна. Действи­

тельно, если dT 2 = О, то dT = тu du + Tv dv = О. Поэтому, если du и dv одновременно не обращаются в нуль, то из равенства

тu du +Tv dv = О следует, что тu И Tv коллинеарны, т. е. [TuTvJ = = О, а этого не может быть, так как по условию [TuTvJ i- О.

ДЛЯ коэффициентов первой квадратичной формы используются

§ 3

НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ПОВЕРХНОСТЕЙ

439

обозначения

 

 

T~ = Е, rurv = Р, т; = с.

(12.31)

С помощью этих обозначений выражение (12.30) для первой ква­

дратичной формы может быть записано в следующем виде:

1 = dr 2 = Е du2 + du dv + G dv 2 .

(12.32)

Итак, на регулярной поверхности Ф, определяемой радиусом­

век;тором r = т(и, v), определена первая к;вадрати'Чная форма 1 посредством соотношения (12.32). При этом коэффициенты указанной формы могут быть вычислены по формулам (12.31).

С nомощъю первой к;вадрати'Чной формы можно nроводитъ измерения на поверхности: вы'Числятъ длины дуг линий и углы между линиями, измерятъ площади областей.

Пусть L - регулярная линия на поверхности Ф, определяе-

мая параметрическими уравнениями 1)

и = u(t), v = v(t), to ~ t ~ tl,

(12.33)

причем u(t) и v(t) - дифференцируемые функции с непрерыв­

ными производными.

Известно, что длина l дуги кривой L, определяемой радиу­

сом-вектором r = r(u(t), v(t)), может быть найдена по формуле

 

 

tl

 

 

 

 

 

l = Jlr'(t)1 dt

 

(12.34)

 

 

to

 

 

 

(см. формулу (11.21) вып. 1).

 

Idr(u, v)l,

 

Так как Ir'(t)1dt = r'(u(t), v(t)) dt =

то из форму­

лы (12.34)

получаем

 

 

 

 

 

tl

JIdr(u, v)1 =

J j

dr 2 = Jv1

 

l =

J Ir'ldt =

(12.35)

 

to

L

L

L

 

(последние три интеграла в (12.35) представляют собой криво­ линейные интегралы первого рода). Итак, зная первую квадра­ тичную форму, можно вычислять с помощью (12.35) длины.

1) Ясно, что задание и и v в виде функций (12.33) некоторого парамет­

ра t определяет на поверхности кривую, задаваемую векторной функцией r(u(t), v(t)). Вопрос о том, любая ли гладкая линия L на поверхности Ф

может быть задана параметрическими уравнениями вида (12.33), решается утвердительно, например, следующим образом. Пусть x(t), y(t), z(t) - пара­

метрические уравнения L. Тогда и и v как функции параметра t могут быть

определены из уравнений x(t) = х(u, и), ylt) = у(u, и), z(t) = z(u, и). Ре­

шение вида (12.33) гарантируется условием [rur v ] # о, ИЗ которого следует:

например, что I~~

~:I# о. Последнее условие гарантирует разрешимость

системы x(t) = х(u,

и), y(t) = у(u, и) относительно и и и.

440 ОСНОВЫ ТЕОРИИ КРИВЫХ И ПОВЕРХНОСТЕЙ ГЛ. 12

Перейдем теперь к измерениям углов на поверхности. Пусть поверхность Ф задана посредством векторной функ­

ции т = т(и, v).

Н а п р а в л е н и е du: dv на поверхности Ф в ее точке Р

определяется как направление вектора dT = Tudu + Tvdv в этой

точке 1).

Рассмотрим в точке Р два направления du : dv и ди : ISv. Угол

'Р между этими направлениями определяется по известной из

аналитической геометрии формуле для косинуса угла 'Р между

векторами dT = Tudu + Tvdv и дт = тuди + TvISV:

(dr·Jr) cos (n = -----;,=---;===

r VJТ2V1Т2

Из этой формулы, учитывая соотношения (12.31), получаем для

cos 'Р следующее выражение:

EduJu + F(duJv + dvJu) + GdvJv

COS'P = yfEdu 2 + 2Fdudv + Gdv2yfЕЙu2 + 2Рйuйи+ GJv 2 (12.36)

Угол между кривыми L 1 и L 2 на поверхности Ф, пересекающи­ мися в точке Р, определяется как угол между направлениями

касательных к L 1 и L 2 в точке Р. Отметим, что если кривая на

поверхности определяется параметрическими уравнениями и =

= u(t), v = v(t), то направление du : dv в точке этой кривой

определяется вектором

dT = Tudu + Tvdv = (тuи' + Tvv')dt.

Итак, зная первую квадратичную форму, можно с помощью

(12.36) вычислять углы между направлениями на поверхности.

Вопрос об измерении площадей областей на поверхности был подробно рассмотрен нами в гл. 5.

Напомним, что если область П на поверхности определяется

посредством задания параметров и и v в области s1 их измене­

ния, то площадь (J" области П может быть вычислена по формуле

(J" = JJ vEG - р2 du dv.

!1

(см. формулу (5.18)).

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

Все факты, которые могут быть получены путем измерений на поверхности с помощью первой квадратичной формы отно­

сятся к так называемой B1-tуmреН/I-tеu геометрии nоверхностеЙ.

Две различные поверхности могут иметь одну и ту же внут­ реннюю геометрию. Простейшим примером таких поверхностей

1) Очевидно, этот вектор расположен в касательной плоскости в точке Р.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]