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

Unlock-Линейная алгебра Сикорская 1

.pdf
Скачиваний:
48
Добавлен:
09.04.2015
Размер:
5.18 Mб
Скачать

[τνr ]= τ ddsτ ,

но по свойству векторного произведения в выражении

dτ = d 2 ρ d 2 sdρ ds ds2 ds2

можно выбросить последнее слагаемое, как вектор, коллинеарный

 

[τν]

=

[dρd

2 ρ]

.

 

 

r

 

ds

2

 

 

 

 

Отсюда в силу условий τ 2 =1, ν 2 =1, τν = 0 , найдем

1

=

 

[dρd 2ρ]2

 

 

r

 

 

ds3

 

 

 

 

 

 

 

 

или в координатной форме

1

=

 

(dyd 2 z dzd 2 y)2 + (dzd 2 x dxd 2 z)2 + (dxd 2 y dyd 2 x)2

 

r

 

 

 

 

ds2

 

 

 

 

 

 

τ ; поэтому

(14.30)

. (13.31)

Например, вычислим радиус кривизны линии, определяемой уравнениями

x2

+

y2

+

z

2

1 = 0,

 

 

 

 

 

 

 

 

 

 

b2

c

 

a2

 

 

2

 

 

 

 

2

+ y

2

+ z

2

l

2

= 0.

x

 

 

 

 

Решение. Для данной системы уравнений дифференциалы координат определяются соотношениями

 

 

 

dx

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

dy

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

dz

 

 

 

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

1

1

 

 

 

 

1

 

1

1

 

 

1

 

1

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c2

 

 

 

 

 

 

 

 

 

 

a2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b2

 

 

 

 

x

 

 

c2

 

 

 

y

 

 

 

 

a2

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

отсюда

 

 

 

1

 

 

 

 

 

 

 

1

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

1 m

 

 

 

 

 

 

1

 

1

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx =

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

dy =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

dz =

 

 

 

 

 

 

,

 

 

 

 

 

 

c2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a2

 

y

 

 

 

 

 

 

b2

z

поэтому

b2

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ds2 = m2α12 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где для краткости принято

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

1

 

 

 

 

 

 

 

1

 

 

2

 

1

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

1 2

1

 

 

 

 

 

1

 

1

2

1

 

.

 

 

 

 

 

 

σ1 =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c2

 

 

 

 

 

 

 

 

 

 

 

 

a2

 

 

y2

 

 

 

 

b2

z2

 

 

 

 

 

 

 

 

 

 

b2

 

 

 

 

 

x2

 

 

 

 

c2

 

 

 

 

 

 

 

 

 

 

a2

 

 

 

 

 

 

 

 

 

 

Далее,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

m2

 

 

1

 

 

 

 

1

 

 

dm

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d 2 x = −

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c2

 

 

x3

 

 

 

 

 

 

 

 

 

c2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b2

 

 

 

 

 

 

 

 

 

 

 

 

b2

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1 2

 

 

m2

 

 

 

1

 

 

 

 

1

 

 

 

dm

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d 2 y = −

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a2

 

 

 

y3

 

 

 

 

 

 

 

 

a2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c2

 

 

 

 

 

 

 

 

 

 

c

2

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

329

 

1

 

1

2 m2

 

1

 

1

dm

 

d 2 z = −

 

 

 

 

+

 

 

 

 

.

 

b2

z3

 

b2

 

a2

 

 

a2

 

z

 

При подстановке выражений первых и вторых дифференциалов в формулу (13.31) члены с dm выпадают, а в окончательном результате сокращается множитель m , так что

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1 1

1

 

 

1

 

 

2 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a2

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c2

 

 

 

 

 

 

y

c2

 

 

 

 

 

2

 

y3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1 1

1

 

 

 

 

1

 

 

2 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

z3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

a2

 

 

 

 

 

b2 z

a2

 

 

 

 

 

2

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

σ13

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

это выражение легко привести к виду

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

=

 

σ12σ3 σ22

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

σ13

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

σ2

 

 

1

 

 

 

 

 

1

 

1

 

 

 

 

1

 

 

 

 

1

 

 

1

 

+

 

1

 

1

 

1

,

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c2

 

x4

 

 

a2

 

 

y4

 

b2

z4

 

 

 

b2

 

 

 

 

 

c2

 

 

 

 

 

 

 

 

 

a2

 

 

 

 

 

 

σ3

 

 

1

 

 

 

 

 

1

 

4

1

 

 

 

 

1

 

 

 

 

1

 

 

4

1

 

+

 

1

 

1

 

4

1

 

.

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x6

 

 

a2

y6

 

 

b2

 

 

z6

 

 

 

 

b2

 

 

c2

 

 

 

c2

 

 

 

 

 

 

 

a2

 

 

 

 

 

 

 

13.7 Подвижной триедр

С каждой точкой кривой можно связать три направления, именно, касательную τ , главную нормаль ν и, наконец, направление, перпендикулярное к двум предыдущим (а следовательно, перпендикулярное к соприкасающейся плоскости), которое мы назовем бинормалью кривой. Бинормаль будем обозначать единичным вектором β и направление ее возьмем так, чтобы в данной

точке кривой три попарно ортогональных вектора τ , ν , β образовали левую

тройку (как и координатные оси).

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

Согласно определению главных направлений кривой в точке M мы будем иметь между ними следующие соотношения: во-первых, каждый из указанных векторов τ , ν , β будет единичным, поэтому скалярный квадрат каждого из них равен единице:

τ 2 =1,

ν 2 =1,

β 2 =1;

(13.32)

в силу их ортогональности скалярные произведения по два должны обращаться в нуль:

νβ = 0 ,

βτ = 0 ,

τν = 0 ,

(13.33)

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

330

круговом порядке:

ν =[βτ ],

β =[τν].

 

 

 

τ =[νβ],

 

 

(13.34)

Наконец, тройное их произведение будет равно единице:

 

 

τνβ =1.

 

 

точке M можно

(13.35)

Через каждые

два главных

направления в

провести

плоскость (рисунок 114). Плоскость, содержащая векторы τ , ν

и ортогональная к

β , называется соприкасающейся

плоскостью.

Плоскость

через

ν и β ,

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

Рисунок 114

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

13.8 Кручение кривой

Соприкасающаяся плоскость, направление которой определяется вектором β , для пространственной кривой будет изменяться по мере продвижения по кривой. Это изменение, характеризующее уклонение малого элемента кривой MM от соприкасающейся плоскости в точке M , может быть определено

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

вектором кручения кривой в данной точке M . Его величина, очевидно, будет

dβ

 

= lim

µ

,

 

ds

 

s

 

s0

 

где µ- угол близких бинормалей кривой.

Установим направление вектора кручения. Так как

β 2 =1,

β

dβ

= 0 ,

ds

 

 

 

то он, прежде всего, перпендикулярен к бинормали.

331

Далее, возьмем соотношение

τβ = 0

и продифференцируем его по s , тогда

 

 

 

β

 

dτ

 

+τ

dβ

= 0

или

τ

dβ

= 0 ,

 

ds

 

 

ds

 

 

 

 

 

ds

 

 

 

так как

 

 

 

 

 

 

 

 

 

 

β

dτ

 

=

βν

= 0 .

 

 

 

 

ds

 

 

 

 

 

 

 

 

 

 

r

 

 

 

 

Итак, вектор кручения ddsβ перпендикулярен к бинормали и к касательной,

следовательно, он имеет направление по главной нормали (в ту или другую из ее сторон). Поэтому, очевидно

dβ

=

ν

,

(13.36)

ds

 

t

 

 

 

 

где t может принимать как положительные, так и отрицательные значения.

Если поворот вектора β к вектору β + ∆β происходит в положительном направлении (от ν к β и далее) на (положительный) угол µ, то тогда стрелка

вектора

dβ

 

противоположна стрелке вектора ν и

1

отрицательно. В этом случае

ds

t

 

µ

 

1 .

 

 

 

 

lim

= −

 

 

 

 

 

 

 

 

 

 

 

 

 

s0

s

t

 

β к вектору β + ∆β

 

 

 

Если же поворот

вектора

 

 

происходит в отрицательном

направлении (от β к ν ), тогда стрелка вектора

dβ

 

совпадает со стрелкой вектора

 

1

 

 

 

 

 

 

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

 

ν и t положительно, но µ

отрицательно, поэтому опять имеем

 

lim

µ

= −

1 .

 

 

 

 

 

(13.37)

 

 

 

 

 

 

s0

s

t

 

 

 

 

 

 

Итак, соотношение (13.37) будет иметь место в любом случае, как бы ни располагалась кривая вблизи точки M . Величина 1t называется кручением

кривой в точке M , а величина t называется радиусом кручения.

Формула (13.37) означает, что скорость вращения бинормали в каждой точке кривой равна ее кручению в этой точке, взятому с обратным знаком.

Для плоской кривой вектор β имеет постоянное направление (и длину, так как он всегда единичный), а потому

dβ

= 0 ,

1

= 0

ds

t

 

 

и обратно. Следовательно, кручение плоской кривой равно нулю.

Что касается вычисления самого кручения кривой или его радиуса в общем случае, то здесь неудобно пользоваться тем же приемом, какой применяли при вычислении радиуса кривизны. Действительно, если на основании формулы

332

(13.37) написать, что

1

dβ

2

 

=

 

 

,

t 2

 

 

ds

 

то из этого соотношения известна лишь абсолютная величина t (но знак неизвестен). По этой причине нужно получить рациональное выражение для кручения. Из формулы (13.26) имеем

ν= rρ′′,

апотому

β=[τν]= r[ρρ′′];

подставив это выражение для β в формулу (13.36), получим

νt = r[ρρ′′]+ drds [ρρ′′];

умножим теперь обе части этого соотношения скалярно на ν = rρ′′, тогда

1t = r 2 ρ′′[ρρ′′′]= −r 2 ρρ′′ρ′′′

или же

1

 

r

2

′ ′′

′′′

 

 

= −

 

ρ ρ ρ

 

.

(13.34)

t

 

 

 

ρ′′2

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

dy

 

 

 

 

dz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ds

 

 

 

 

 

 

ds

 

 

 

 

 

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d 2 x

 

 

 

d 2 y

 

d 2 z

 

 

 

 

 

 

 

 

 

 

 

 

 

ds2

 

 

 

ds2

 

 

 

ds2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d 3 x

 

 

 

d 3 y

 

d 3 z

 

 

 

 

 

1

= −

 

 

 

 

ds3

 

 

 

 

ds3

 

 

 

ds3

 

 

 

 

.

(13.35)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

d 2 x

 

2

 

 

d 2 y

2

 

 

d

2 z 2

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

2

 

 

 

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

ds

 

 

z являются функциями произвольного

Если ρ или его координаты x , y ,

параметра, то обобщенные формулы для кручения, как нетрудно проверить, примут вид:

1

= −

dρ d 2 ρ d 3ρ

,

 

 

 

 

 

(13.36)

t

 

[dρ d 2 ρ]2

dx

dy

dz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d 2 x

d 2 y

d 2 z

 

 

 

1

= −

 

 

d 3 x

d 3 y

d 3 z

 

.

(13.37)

t

(dyd 2 z dzd 2 y)2 +

(dzd 2 x dxd 2 z)2

+ (dxd 2 y dyd 2 x)2

Как кривизна, так и кручение кривой первоначально определены

333

независимо от какой-либо координатной системы, поэтому выражения кривизны и кручения через декартовы координаты и их производные должны оставаться неизменными при переходе к любой другой декартовой системе координат (прямоугольной). Таким образом, координатные выражения кривизны и кручения являются инвариантами кривой по отношению к любому преобразованию координат.

13.9 Формулы Френе-Серре

Мы уже имеем выражение производных от двух главных векторов τ и β :

dτ

=

ν

,

dβ

=

ν

;

ds

 

r

ds

 

t

 

 

 

 

 

 

составим теперь производную от третьего вектора

ν =[βτ ].

Дифференцируя указанное его выражение и заменяя производные остальных векторов их значениями, получим

 

dν

 

 

dβ

 

 

dτ

 

ν

 

 

ν

 

β

 

 

τ

.

 

 

 

 

 

=

 

 

τ + β

 

 

 

 

=

 

 

τ

 

+ β

 

 

 

= −

 

 

 

 

 

 

ds

 

 

 

 

 

 

 

t

t

 

 

 

 

 

ds

 

 

ds

 

r

 

 

 

r

 

 

 

 

 

 

 

 

Итак, окончательно

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dτ

 

=

 

ν

,

 

dν

= −

β

τ

,

 

 

 

 

 

dβ

 

=

ν

;

(13.37)

 

ds

 

 

 

 

 

t

t

 

 

 

 

 

ds

 

 

t

 

 

 

r

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

полученные соотношения, выражающие производные главных векторов, разложенные по направлениям последних, называются формулами Френе-Серре. Формулы Френе-Серре играют весьма существенную роль при исследовании свойств пространственных линий.

13.10 Натуральные уравнения кривой

 

Когда радиусы кривизны и кручения кривой r и t

даны как функции s , то

соотношения

t = t(s)

 

r = r(s),

(13.22)

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

Радиусами кривизны и кручения r(s) и t(s), заданными в функциях дуги s , определяется единственная кривая, если не считать ее произвольного перемещения (переноса и поворота) в пространстве.

На этом основании уравнения

r = r(s),

t = t(s)

называют натуральными уравнениями кривой. Натуральные уравнения кривой вполне характеризуют (определяют) кривую независимо от какой-либо системы координат.

334

13.11 Вопросы для самоконтроля

1 Запишите общий вид уравнения кривой на плоскости, заданной в декартовой системе координат (в полярной системе координат).

2Параметрическое уравнение кривой (запишите уравнение, объясните смысл параметра).

3Какая линия называется алгебраической?

4Как определяется порядок линии, определяемой алгебраической функцией?

5Каким числом точек определяется кривая n -го порядка?

6В скольких точках пересекаются линии порядков m и n ?

7Запишите уравнение касательной к кривой, заданной уравнениями в параметрической форме.

8

Запишите

уравнение

касательной

к

кривой,

заданной

уравнением

y = f ( x ).

 

 

 

 

 

 

 

9

Запишите

уравнение

касательной

к

кривой,

заданной

уравнением

F (x, y)= 0 .

 

 

 

 

 

 

10 Какие точки кривой называются особыми точками?

11 Запишите уравнение касательной, параллельной оси Ox .

12 Запишите уравнение касательной, параллельной оси Oy .

13 Сформулируйте определение нормали к кривой в заданной точке. 14 Какой угол называют углом смежности?

15 Запишите формулу кривизны K кривой в заданной точке. 16 Чему равна средняя кривизна для окружности?

17 Сформулируйте определение радиуса кривизны кривой в данной точке. 18 Запишите формулу для вычисления кривизны кривой.

19 Запишите формулу для вычисления радиуса кривизны кривой.

20 Какое уравнение кривой называют натуральным?

21Сформулируйте определение эволюты кривой.

22Как связаны между собой эволюта и нормали кривой?

23Сформулируйте определение эвольвенты.

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

25Дайте определение вектора кривизны кривой в заданной точке.

26Сформулируйте определение биноминали кривой.

27Какие направления называются главными направлениями в данной точке линии?

28Какая величина называется кручением кривой в точке M ?

29Сформулируйте определение нормальной плоскости.

30Сформулируйте определение спрямляющей плоскости.

31Сформулируйте определение подвижного триедра кривой.

32Запишите зависимость межу скоростью вращения биноминали в каждой точке кривой и кручением в этой точке.

33Чему равно кручение плоской кривой?

34Запишите формулы Френе-Серре.

35Запишите натуральные уравнения пространственной кривой.

335

Глава 14 Аналитическое изображение поверхностей и их образование

14.1 Способы аналитического изображения поверхностей

Поверхность относительно декартовой системы координат может быть

определена одним уравнением:

 

F (x, y, z)= 0

(14.1)

между декартовыми (прямоугольными) координатами произвольной ее точки. Уравнение (14.1) может быть дано в форме, разрешенной относительно одной из координат

z = f (x, y).

(14.2)

Если функция F

- алгебраическая, то поверхность, изображаемая

соответствующим уравнением вида (14.1), называется алгебраической; в этом случае степень ее левой части, приведенной к целому рациональному виду, называется порядком поверхности. Порядок поверхности указывает на число

точек пересечения поверхности с произвольной прямой. Алгебраическая

поверхность может быть изображена уравнением в однородных координатах

F (x, y, z, t)= 0 ,

(14.3)

где левая часть будет целой однородной функцией координат x ,

y , z , t .

Поверхности неалгебраические называются трансцендентными.

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

в функциях двух каких-либо параметров u и v :

 

x = x(u, v),

 

 

(14.4)

y = y(u, v),

z = z(u, v);

 

такой способ задания поверхности равносилен ее заданию уравнением (14.1). В самом деле, пусть дано уравнение (14.1), если принять x и y соответственно

равными двум любым функциям x(u, v) и y(u, v) каких-либо параметров u и v ,

то уравнение (14.1) определит z как функцию тех же параметров, и поверхность изобразится уравнениями вида (14.4).

Наоборот, когда даны уравнения (14.4), то, исключая из них параметры u и v придем, вообще говоря, к одному соотношению между x , y , z вида (14.1).

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

(14.1) и уравнениями (14.4), то функции

z(u, v)

x(u, v),

y(u, v),

должны удовлетворять тождественно (при всяких значениях u и v ) соотношению

F (x(u, v), y(u, v), z(u, v))0 .

Когда поверхность определена уравнениями (14.4), то можно считать, что

336

точка поверхности определяется связанным вектором OM = ρ , причем

ρ = ix(u, v) + jy(u, v) + kz(u, v) ,

т. е. вектор

ρ является функцией двух параметров u и v . Таким

образом

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

 

ρ = ρ

(u, v),

(14.5)

где вектор ρ есть функция двух скалярных параметров u и v .

Если в уравнении (14.5) одному из параметров, например u , дать какоелибо определенное значение u = c1 , то вектор ρ , оставаясь зависящим от одного

параметра v , опишет своим концом некоторую линию на поверхности; эту линию (вдоль которой меняется v ) можем для краткости называть линией u = c1 . Меняя

значение c1 получим на поверхности различные линии семейства u = const ;

аналогичным образом получим второе семейство линий v = const .

Отдельная точка на поверхности будет отмечена, когда задано значение параметра u и значение параметра v . Эта точка может быть рассматриваема как пересечение некоторой линии семейства u = const с некоторой линией семейства v = const . Поэтому параметры u и v называются координатами точек на данной поверхности («криволинейные» или «гауссовы координаты»). Линии же семейства u = const и v = const называются координатными линиями на поверхности.

Когда даются параметрические уравнения поверхности (14.4) или (14.5), то это значит, что на поверхности выбрана определенная сеть двух координатных семейств линий. Какая-либо линия на данной поверхности получится, если к

уравнению (14.5) добавить некоторое соотношение

 

f (u, v)= 0

(14.6)

или же считать, что в уравнении (14.5) параметры u

и v являются заданными

функциями некоторого третьего переменного. Для линии v = const вектор

ддρu = ρ1

будет определять направление касательной к этой линии; равным образом вектор

ддρv = ρ2

будет определять направление касательной к линии u = const .

14.2 Касательная плоскость и нормаль к поверхности

Возьмем какую-нибудь линию на поверхности (14.5) и предположим, что вдоль нее параметры u и v являются заданными функциями ее дуги s ; тогда вектор, изображающий направление касательной к этой линии, выразится следующим образом

dρ

=

дρ du

+

дρ dv

ds

 

дu ds

 

дv ds

или

 

 

 

 

337

dρ

= ρ du

+ ρ

dv .

(14.7)

ds

1 ds

 

2 ds

[ρ1ρ2 ], ортогональный к касательным к двум

Возьмем

теперь

вектор

координатным линиям v = const и u = const . Очевидно, что

[ρ1ρ2 ]ddsρ = ρ1ρ2 ρ1 duds + ρ1ρ2 ρ2 duds = 0 ,

следовательно, [ρ1ρ2 ]ddsρ = 0 , каковы бы ни были функции u(s) и v(s).

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

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

Так как касательная к прямой есть сама прямая, то из указанного определения касательной плоскости к поверхности следует, что если поверхность содержит некоторую прямую, то касательная плоскость к поверхности в какойлибо точке ее прямой содержит целиком эту прямую. Так, например, касательная плоскость к поверхности цилиндра (или конуса) будет содержать целиком образующую, проходящую через выбранную точку. Аналогично, касательная плоскость к поверхности однополостного гиперболоида (или гиперболического параболоида) в какой-либо его точке содержит обе его образующие, проходящие через выбранную точку.

Обозначая через r связанный вектор, определяющий какую-либо точку касательной плоскости. Очевидно, что вектор r ρ лежит в касательной плоскости и перпендикулярен к ее нормали, а потому касательная плоскость в точке ρ поверхности изобразится уравнением

 

 

r ρ)[ρ1ρ2 ]= 0

 

 

(

(14.8)

или же уравнением

 

 

(r ρ)ρ1ρ2 = 0 .

(14.9)

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

X x

Y y

Z z

 

 

 

дx

 

 

дy

 

 

дz

 

= 0

(14.10)

 

дu

 

дu

 

дu

 

 

 

 

 

 

дx

 

дy

 

дz

 

 

 

дv

 

дv

 

дv

 

 

или

338