Методы теории функций в геометрии. Учебное пособие
.pdf
§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 |
|
|
s→0 |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Из дифференциальных уравнений движения сопровождающего трехгранника (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 |
|
|
|
|
|
|
|
