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

Методы теории функций в геометрии. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
12.08.2026
Размер:
989 Кб
Скачать

§3. Сопровождающий трехгранник

§3. Сопровождающий трехгранник

Определение. Сопровождающим трехгранником, связан-

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

щей плоскостью.

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

тема уравнений, определяющих производные по дуге от ра- диуса-вектора rr текущей точки кривой и от ортов τr,νr, β осей сопровождающего трехгранника.

Производные от τr,νr, β определяются тремя основными урав-

нениями:

(2.7), (2.8),

(2.12).

 

Дифференцируя по

s

тождество

r

r

r

 

dνr

 

dβ

r

r

 

dτr

dνr

r

r

r

r

ν = β ×τ ,

получим

 

=

 

×τ

+ β

×

 

или

 

= −Tν ×τ + β × Kν ,

ds

ds

ds

ds

 

 

dνr

r

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т.е.

 

 

= −Kτ +T β.

Получаем следующую систему диффе-

 

ds

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

 

 

 

drr

 

r

 

dτr

 

 

r

 

 

 

 

 

=τ

,

 

= Kν ,

 

 

 

ds

ds

 

 

r

 

 

 

 

 

r

 

(2.13)

 

 

 

 

 

 

r

 

 

dν

 

 

r

 

 

 

d β

 

r

 

 

= −Kτ

+T β,

 

 

= −Tν.

 

 

ds

ds

 

 

 

 

 

 

 

 

 

Рассмотрим на кривой

rr = rr(t ) точку

M (s), в которой

K 0, T 0. Вектор

rr = rr(s +

s)rr(s)

с началом в точке

 

 

 

 

 

 

 

 

 

 

 

31

ГлаваII. Дифференциальнаягеометрияпространственныхкривых

M (s) и концом в точке M (s +

s)

кривой разложим по фор-

муле Тейлора (1.19):

 

 

 

 

 

 

 

 

 

 

 

r

 

d

2 r

s

2

 

3 r

r

s

3

 

rr =

dr

s

+

r

 

+

d

r

+ξ3

 

 

, где lim ξ3 = 0.

 

 

2

2!

 

3

3!

 

ds 1!

 

ds

ds

 

 

s0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из дифференциальных уравнений движения сопровождающего трехгранника (2.13) получим

drr r

 

d 2rr

dτr

r

 

d 3rr

d (Kνr)

 

2 r

 

dK r

r

 

=τ

,

 

=

 

= Kν

,

 

=

 

= −K

r

+

 

ν

+ KT β.

ds

ds2

ds

ds3

ds

ds

В силу этого

r

 

s r

s2

r

s3

r

=

1! τ +

2!

Kν +

3!

Рассмотрим проекции вектора

 

2 r

dK r

r

r

 

 

K τ +

 

ν

+ KT β

+ξ3 .

ds

 

 

 

 

 

 

r на орты τr,νr, β :

прτr rr =τr rr =

s

+

s3 (K 2

+ξr3τr).

(2.14)

 

1!

 

3!

 

 

При достаточно малых

s

знак проекции (2.14) определя-

ется знаком главного члена, т. е. знаком

s . Это значит, что

 

 

 

 

1!

 

кривая в достаточно малой окрестности рассматриваемой точки располагается по обе стороны от нормальной плоскости:

r

 

s2

 

s3

dK

r r

 

 

 

прr r

=

 

K +

 

 

 

+ξν

 

.

 

(2.15)

 

 

 

 

 

ν

 

2!

 

3!

3

 

 

 

 

 

 

ds

 

 

 

 

 

При достаточно малых

s знак проекции (2.15) всегда бу-

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

 

s2

K

положите-

2!

 

 

 

 

 

 

 

 

 

 

лен независимо от знака s . Это значит, что в достаточно малой окрестности рассматриваемой точки M (s) кривая отгибается от спрямляющей плоскости в направлении орта ν :

32

§ 3. Сопровождающий трехгранник

r

=

s3

KT +

s3

r r

(2.16)

прβr r

3!

3!

ξ3β.

 

 

 

 

 

При достаточно малых

 

s проекция (2.16) меняет знак

одновременно с изменением знака

 

s . Это значит,

что в

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

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

 

dτr

 

 

 

 

 

 

dτr

 

r

 

drr

r

 

 

 

 

 

 

 

 

 

 

 

 

K =

 

 

0.

Тогда

 

 

= 0,

откуда τ

=

 

= C

,

а следова-

 

 

 

 

 

 

ds

 

 

 

 

 

 

ds

 

 

 

ds

1

 

 

 

 

r

r

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

тельно,

 

r

= C1s +C2

,

т. е. конец радиуса-вектора r

описывает

прямую. Таким образом, кривая с нулевой кривизной является прямой линией.

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

кручение

 

кривой тождественно

равно нулю: T 0.

Тогда

 

d βr

Tνr = 0, откуда β = Cr

Умножая это равенство скалярно

 

 

 

ds

 

 

 

 

0.

 

 

 

 

 

r

 

 

 

 

 

и βr ,

на τr =

dr

 

и учитывая перпендикулярность векторов τ

ds

 

 

 

 

 

d (Cr0rr)

 

r

 

 

получим

 

 

= 0, откуда

C r

= D , т. е. конец радиуса-ве-

 

 

 

 

 

 

 

ds

 

0

 

 

 

 

 

 

 

 

 

 

 

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

33

ГлаваII. Дифференциальнаягеометрияпространственныхкривых

§ 4. Инвариантные формулы

Величины τr, K,νr, β,T легко выражаются через производные от радиуса-вектора r текущей точки кривой по ее дуге:

r

 

drr

 

 

dτr

 

r

 

1 dτr

r

r

r

 

d β

 

 

 

 

 

τ

=

 

, K =

 

 

 

 

, ν

=

 

 

 

, β =τ

×ν ,

T = −ν

 

 

.

ds

ds

K

ds

ds

Однако применение этих формул, когда кривая отнесена к произвольному параметру t , приводит к громоздким выкладкам. Поэтому обычно выражают эти величины через производные от радиуса-вектора r по произвольному параметру t , к которому отнесена кривая. Это можно сделать путем непосредственного преобразования формул. Однако можно поступить и иначе — применить новый метод, при помощи кото-

рого снова автоматически придем к величинам τr, K,νr, β,T и при этом получим необходимые общие формулы для их вычисления. Величины τr, K,νr, β,T имеют геометрический ха-

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

Рассмотрим кривую, отнесённую к произвольному параметру t : rr = rr(t ). Перейдём к новому параметру u , положив

t =ϕ(u). Причем будем предполагать, что

dt

0 и при воз-

 

 

 

 

 

du

растании

параметра t параметр u также возрастает, т. е.

 

dt

> 0.

Последовательным дифференцированием вектор-

 

 

 

du

 

 

 

функции по параметру и получаем следующие формулы пре- образования производных:

34

§ 4. Инвариантные формулы

 

 

 

 

 

 

 

 

 

 

 

drr

=

drr

 

dt

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

du

 

 

 

 

 

dt du

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d 2rr

=

d 2rr

 

dt 2

+

 

drr d 2t

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

du

2

 

dt

2

 

 

 

 

 

 

dt du

2

 

 

 

 

 

 

 

 

 

 

 

du

 

 

 

 

 

 

 

 

 

 

d 3rr

d 3rr

dt 3

 

 

 

 

 

d 2rr dt d 2t

 

 

 

drr d 3t

 

 

=

 

 

 

 

 

+

3

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

.

du

3

dt

3

 

dt

2

 

du du

2

 

dt du

3

 

 

 

du

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2.17)

(2.18)

(2.18)

Используя эти формулы, получим выражения, не меняющиеся при преобразованиях параметра. Из уравнения (2.17) следует

 

 

drr

 

=

 

 

drr

 

 

 

dt

 

.

 

 

 

(2.19)

 

 

 

 

 

 

 

 

 

 

 

du

 

 

dt

 

 

 

du

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Разделив уравнение (2.17) на уравнение (2.19), находим

 

drr

:

 

drr

 

=

drr

:

 

 

drr

 

 

.

 

 

 

 

 

 

 

 

du

 

 

du

 

 

 

 

dt

 

 

 

dt

 

 

 

Откуда следует, что вектор

 

drr

:

 

 

drr

 

является инвариантным

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

вектором. Он не изменяется при преобразованиях парамет-

ра. Его называют инвариантным вектором первого порядка,

так как он выражается только через производную первого порядка.

Для определения его геометрического смысла выберем ду- гу s в качестве параметра. Тогда полученный инвариантный

 

drr

 

 

drr

 

r

 

 

 

 

 

вектор выразится следующим образом:

 

:

 

 

 

 

=τ.

Следо-

ds

ds

вательно, он является ортом касательной. Приходим к инвари- r r

антной формуле для орта касательной: τr = drdt : drdt .

Инварианты второго порядка получаются из формул (2.17) и (2.18) преобразования производных первого и второго порядков. Перемножив векторно эти формулы, находим

35

ГлаваII. Дифференциальнаягеометрияпространственныхкривых

drr

 

d 2rr

drr

 

d 2rr

dt 3

 

×

 

 

=

 

×

 

 

 

 

.

du

du

2

dt

dt

2

 

 

 

 

 

 

du

Откуда следует, что

drr

×

d 2rr

 

=

 

 

drr

×

d 2rr

 

 

dt 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

du

du

2

dt

dt

2

 

 

 

 

 

 

 

 

 

 

 

 

du

(2.20)

(2.21)

Разделив скаляр (2.21) на куб скаляра (2.19), получим инвариантный скаляр

 

 

drr

×

d 2rr

 

 

 

 

 

drr

×

d 2rr

 

 

 

 

 

 

 

 

 

du

du2

 

 

 

 

 

dt

dt

2

 

 

 

 

 

 

 

 

=

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

3

 

 

 

 

 

 

r

3

 

 

 

 

 

 

 

dr

 

 

 

 

 

 

 

 

 

dr

 

 

 

 

 

 

 

 

 

 

du

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

называемый инвариантным скаляром второго порядка. Для определения его геометрического смысла выберем за новый параметр дугу s данной кривой. Тогда этот скаляр примет вид

 

 

drr

×

d 2rr

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ds

ds

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

dτ

 

 

r

r

 

 

 

 

 

 

 

 

 

=

τ

×

 

 

=

τ

× Kν

= K.

 

 

 

 

r

3

 

 

ds

 

 

 

 

dr

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

drr

×

d 2rr

 

 

 

 

 

 

 

 

dt

dt

2

 

 

 

K =

 

 

 

 

.

 

 

 

drr

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

Разделив почленно вектор (2.20) на скаляр (2.21), получим инвариантный вектор

36

§ 4. Инвариантные формулы

drr

×

d 2rr

 

 

 

 

drr

×

d 2rr

du

 

2

 

 

 

 

dt

2

 

 

 

 

du

 

 

=

 

 

dt

 

.

r

 

r

 

 

 

r

 

r

 

 

 

 

 

 

dr

×

d 2r

 

 

 

 

dr

×

d 2r

 

 

 

du

du

2

 

 

 

 

dt

dt2

 

 

 

 

 

 

 

 

 

 

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

drr

d 2rr

 

r

dτr

 

 

× Kνr

 

ds

× ds2

 

τ

× ds

 

τr

r

r

r

=

r

r

=

r

r

= β,

dr d 2r

 

dτ

 

τ

× Kν

 

ds

× ds2

 

τ

× ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т. е. рассматриваемый инвариантный вектор является ортом бинормали. Получаем инвариантную формулу для орта β :

r

 

drr

×

d 2rr

 

dt

 

2

 

 

 

β =

 

 

dt

 

.

 

r

 

r

 

 

 

 

 

 

dr

×

d 2r

 

 

 

 

dt

dt

2

 

 

 

 

 

 

 

 

 

Перемножив векторно β и τ , получим инвариантную формулу для орта главной нормали:

 

 

 

 

 

r

× d

2 r

 

 

r

r

r

r

 

dr

2r

 

× dr

 

 

dt

 

dt

 

dt

ν

= β

×τ

=

 

r

 

 

r

 

 

r

.

 

 

 

 

 

dr

×

d 2 r

 

 

dr

 

 

 

 

 

 

dt

dt2

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Перемножая скалярно векторы (2.20) и (2.18) и учитывая, что смешанное произведение с двумя одинаковыми сомножителями равно нулю получим

drr

 

d 2 rr

 

d 3rr drr

 

d 2rr

dt 6

d 3rr

 

 

×

 

 

 

 

 

 

=

 

×

 

 

 

 

 

 

 

 

.

 

du

2

du

3

dt

dt

2

 

dt

3

du

 

 

 

 

 

 

 

 

du

 

 

 

37

ГлаваII. Дифференциальнаягеометрияпространственныхкривых

Разделив полученный скаляр на скалярный квадрат вектора (2.20), получим скаляр

 

r

× d

2 r

d

3 r

 

 

r

× d

2 r

d

3 r

 

dr

r2

 

r3

 

dr

2r

 

r3

 

du

 

du

 

 

du

=

 

dt

 

dt

 

 

dt

,

 

 

r

 

 

2

r

 

2

 

 

 

r

 

 

2

r

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

× d

r2

 

 

 

 

 

× d

2r

 

 

 

 

dr

 

 

 

 

 

 

dr

 

 

 

 

 

 

du

 

du

 

 

 

 

 

 

dt

 

dt

 

 

 

 

 

 

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

Для определения его геометрического смысла выберем в качестве параметра дугу s рассматриваемой кривой. Тогда

 

 

r

 

d

2 r

 

 

 

d

3 r

 

r

 

 

r

 

 

 

 

2 r

 

 

 

 

 

 

r

 

dr

×

 

r

 

r

 

 

dτ

 

 

d τ

 

(τr× Kνr)

d (Kν )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

τ ×

 

 

 

 

 

 

 

 

 

 

 

 

ds

2

ds

3

 

 

 

 

 

 

 

 

 

 

 

 

ds

ds

2

 

 

 

 

 

 

 

 

 

 

ds

 

 

 

 

 

 

 

=

 

 

 

 

 

 

=

 

 

 

 

 

ds

=

 

 

 

r

 

 

 

2 r

 

 

2

 

 

 

 

r

 

 

 

r

 

2

 

 

 

r

 

r

)

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

× d r2

 

 

 

 

 

 

 

 

 

dτ

 

 

 

 

τ

× Kν

 

 

 

 

dr

 

 

 

 

 

 

 

 

 

τ

×

ds

 

 

 

 

 

(

 

 

 

 

 

 

 

ds

 

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

r

dK

 

 

r

 

 

 

 

dνr

 

r

 

dνr

 

 

r

 

r

 

r

 

 

 

=

 

 

β

 

 

 

 

ν

+ K

 

 

 

= β

 

 

 

 

 

= β (Kτ

+T β )=T.

 

 

K

ds

 

ds

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно, рассматриваемый инвариант является кручением. Получаем следующую инвариантную формулу для вычисления кручения:

 

 

r

× d

2 r

d

3 r

 

 

dr

2r

 

r3

 

T =

 

dt

 

dt

 

 

dt

.

 

 

r

 

 

2

r

 

2

 

 

 

 

 

 

 

 

 

 

× d

2r

 

 

 

 

 

dr

 

 

 

 

 

 

 

dt

 

dt

 

 

 

 

 

 

38

Глава III

ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ ПЛОСКИХ КРИВЫХ

§ 1. Дифференциальные уравнения плоской кривой

Рассмотрим плоскую кривую rr = rr(t ). Плоскость, в ко-

торой расположена кривая, примем за координатную плос- кость Oxy . Тогда радиус-вектор r текущей точки М кривой

разложится по двум ортам i и j осей Ox и Oy : rr = xi + yjr.

Третья проекция z при этом будет тождественно равна ну- лю. У плоской кривой соприкасающаяся плоскость совпада- ет с плоскостью, в которой лежит линия, т. е. с плоскостью Oxy . Главная нормаль лежит в этой плоскости, а бинормаль

ей перпендикулярна. Орт бинормали β плоской линии по-

стоянен, и кручение T тождественно равно нулю: T 0. Таким образом, основные формулы (2.7), (2.8), (2.10) для плоской линии примут вид

 

drr r

dτr

r

 

d β

 

 

 

 

 

 

=τ ,

 

 

= Kν ,

 

 

 

 

= 0.

 

 

 

 

ds

ds

 

ds

 

 

 

 

Дифференцируя тождества νr = β ×τr

с учетом постоян-

r

 

dνr

r

dτr

r

r

r

При-

ства вектора β , получим

 

= β ×

 

= β × Kν = −Kτ.

ds

ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

39

Глава III. Дифференциальная геометрия плоских кривых

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

drr r

dτr

r

dνr

r

d β

 

 

 

=τ ,

 

= Kν ,

 

= −Kτ ,

 

= 0.

(3.1)

ds

ds

ds

ds

§ 2. Кривизна плоской кривой

Обозначим через α угол, составленный ортом касательной τr с первым координатным ортом i , отсчитываемый от век-

тора ir против хода часовой стрелки. Тогда

τr = i cosα + rj sinα.

Получаем следующее выражение для кривизны:

K = ddsτr = (sinαir + cosα rj )ddsα = ddsα .

Обычно для плоской кривой рассматривают кривизну со знаком K% , полагая K% = ddsα . Таким образом, кривизна со

знаком плоской кривой равна производной по дуге от угла касательной с осью Ox . Она будет положительной, если α увеличивается с ростом s , а в противоположном случае — отрицательной.

Найдем координатную формулу для вычисления кривизны со знаком K% плоской линии, заданной параметрической сис- темой уравнений x = x(t ), y = y (t ). Производная от радиуса-

вектора

r

r

r

есть вектор

r

= xi

+ yj

текущей точки кривой

r

r

 

r

 

 

 

 

&

&

 

&

направленный по касательной к кривой. Тангенс

r

= xi

+ yj,

угла α,

образованного касательной с осью Ox,

равен отноше-

40

 

 

 

 

 

 

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