Краткий курс дифференциальной геометрии. Учебное пособие
.pdf
Глава 2. Плоские кривые
Вертикальная асимптота x = 52 . Находим:
|
x |
|
1 |
|
x |
2 |
|
x |
|
|
5 |
|
k = lim |
= |
; b = lim |
|
− |
|
= |
. |
|||||
2x −5 |
|
2x −5 |
|
4 |
||||||||
x→∞ |
2 |
x→∞ |
2 |
|
|
|
||||||
Следовательно, y = 12 x + 54 — наклонная асимптота.
График функции имеет вид (рис. 5):
y
O |
x |
|
Рис. 5
§ 5. Кривизна плоской кривой. Круг кривизны
Рассмотрим кривую (2.9)
rG = rG(t ).
Пусть JJGM = rG(t ) — обыкновенная точка кривой (2.9), т. е. rG′(t ) ≠ 0, а M1 — смежная точка кривой (рис. 6).
Определение 2.5. Углом смежности в точке M кривой
(2.9) называется угол между двумя смежными касательными к кривой в точках M и M1 (рис. 6).
21
Краткий курс дифференциальной геометрии
y
M1 α
M
α + α
O |
x |
Рис. 6
Пусть α и α + α — углы, образованные касательными к
кривой в точках M и M1 . Обозначим через s длину дуги
MM1.
Определение 2.6. Кривизной кривой (2.9) в точке M назы-
вается абсолютная величина предела
k = |
|
lim |
α |
|
|
|
dα |
|
|
. |
(2.44) |
|||
|
|
= |
|
|||||||||||
|
s |
|
ds |
|||||||||||
|
|
s→0 |
|
|
|
|
|
|
|
|||||
Кривизной со знаком называется величина: |
|
|||||||||||||
k = lim |
|
α |
|
= |
dα |
. |
(2.45) |
|||||||
|
|
s |
|
|
||||||||||
|
|
s→0 |
|
|
|
|
|
ds |
|
|||||
Следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
k = |
|
k |
|
. |
|
|
|
|
|
(2.46) |
||
|
|
|
|
|
|
|
|
|
||||||
22
Глава 2. Плоские кривые
Имеем: |
|
|
|
|
|
|
|
|
|
|
|
y′(t ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
tgα = |
dy |
= |
→α = arctg |
y′ |
. |
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
dx |
|
x′(t ) |
|
x′ |
|
|
|
|
|
|
||||||||||||||||||||||||||
Так как |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ds = dx2 + dy2 = (x′)2 + (y′)2 dt, |
||||||||||||||||||||||||||||||||||||
то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
d |
(arctg |
y′ |
) |
|
|
|
|
|
|
|
(arctg |
y′ |
)′ |
|
|
|
|
|
|
|
|||||||||||||
= |
|
|
x′ |
|
|
= |
|
x′ |
|
|
|
= |
|
|
||||||||||||||||||||||||
|
(x′)2 +(y′)2 dt |
|
(x′)2 +(y′)2 |
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
′ |
′′ |
|
|
|
′′ ′ |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
= |
|
x y |
|
− x y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|||||||||||||||
|
|
|
|
′ |
|
2 |
|
|
|
(y′) |
2 |
|
((x′) |
2 |
|
|
|
|
|
|
2 |
) |
1 |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
||||||||||||
|
|
|
(x ) |
|
|
|
1+ |
|
|
|
|
|
|
+ |
(y′) |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
(x′)2 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
Следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
′ |
′′ |
|
|
′′ ′ |
|
|
|
|
|
|
|
|
|
|
|
′ |
′′ |
|
|
|
|
′′ |
|
′ |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
k = |
|
|
|
x y |
|
|
− x y |
|
, k = |
|
x y |
|
− x y |
|
|
. |
||||||||||||||||||||||
|
((x′)2 +(y′)2 ) |
3 |
|
|
|
|
|
|
|
|
|
|
|
3 |
||||||||||||||||||||||||
|
|
2 |
|
|
|
|
|
|
|
((x′)2 +(y′)2 )2 |
|
|||||||||||||||||||||||||||
(2.47)
(2.48)
(2.49)
Определение 2.7. Радиусом кривизны кривой (2.9) в точке
M называется величина, обратная кривизне k кривой в этой точке, т. е.
|
|
|
|
ρ = |
|
1 |
. |
|
|
|
|
|
(2.50) |
|
|
|
|
|
|
|
|
|
|
||||
Из (2.49) следует, что |
|
|
k |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
||||
|
((x′)2 |
|
|
3 |
|
|
|
((x′)2 |
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
ρ = |
+(y′)2 )2 |
ρ = |
+(y′)2 )2 |
|
|
(2.51) |
|||||||
′ |
′′ |
′′ ′ |
, |
′ |
′′ |
′′ ′ |
|
. |
|||||
|
x y |
|
− x y |
|
|
|
|
x y |
|
− x y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ОбозначимG через t орт касательной к кривой в ее точке M , а через n — орт нормали к кривой в этой точке, направленной в сторону вогнутости кривой.
23
Краткий курс дифференциальной геометрии
Определение 2.8. Центром кривизны кривой в точке M
называется точка
|
|
C = rG(t )+ ρnG. |
(2.52) |
Выбирая направление орта касательной t так, чтобы при |
|||
t > 0 угол смежности α был положительным, |
получим |
||
k = k, ρ = ρ. |
G |
|
|
|
касательной выражается формулой |
|
|
Так как орт t |
|
||
|
|
t = i cosα + Gj sinα, |
(2.53) |
то при выбранном нами ее направлении орт n шется в виде:
nG = −i sinα + Gj cosα.
Учитывая, что tgα = xy′′, находим:
sinα = |
|
tgα |
= |
|
y |
′ |
|
|
|
|
|
|
|||||
|
1+tg2α |
|
(x′)2 +(y′)2 |
|
||||
|
|
|
|
|
|
|||
cosα = |
1 |
|
= |
|
x′ |
|
||
|
1+tg2α |
|
|
(x′)2 +(y′)2 |
|
|||
нормали запи-
(2.54)
;
(2.55)
.
Учитывая в (2.52) формулы (2.51), (2.54) и (2.55), получим
CG |
|
(x′) |
2 |
+(y′) |
2 |
|
|
(x′) |
2 |
+(y′) |
2 |
|
Gj. (2.56) |
= x − y′ |
|
|
iG |
+ y + x′ |
|
|
|
||||||
|
|
′ ′′ |
′′ ′ |
|
|
|
′ ′′ |
′′ ′ |
|
|
|
||
|
|
x y |
− x y |
|
|
|
x y |
− x y |
|
|
|
||
Определение 2.9. Соприкасающейся окружностью, или
кругом кривизны кривой в данной ее точке M , называется окружность (круг) с центром кривизны C кривой и радиусом ρ .
Теорема 2.1. Соприкасающаяся окружность кривой (2.9) в ее точке M , не являющейся точкой перегиба, есть предельное положение окружности, проходящей через точку M и
24
|
|
|
|
|
|
|
|
Глава 2. Плоские кривые |
|
две смежные точки M1 и M2 |
кривой, когда последние стре- |
||||||||
мятся к совпадению с точкой M . |
|
|
|
|
|
||||
Доказательство. Пусть R |
— радиус окружности, прохо- |
||||||||
дящей через точки M0 , M1 , M2 , |
а C (a, b) |
— ее центр. Тогда |
|||||||
F (x, y)≡ (x − a)2 +(y −b )2 − R2 = 0, |
|
||||||||
|
|
|
2 |
+(y1 −b ) |
2 |
− R2 = 0, |
(2.57) |
||
F (x1 , y1 )≡ (x1 − a) |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
F (x2 , y2 )≡ (x2 − a)2 +(y2 −b )2 − R2 = 0, |
|
||||||||
|
|
|
|
|
|
|
|
|
|
причем |
′′ |
|
|
′′ |
′ |
|
|
|
|
′ |
|
|
≠ 0. |
|
|
(2.58) |
|||
x y |
|
− x y |
|
|
|
||||
Трижды используя теорему Ролля и переходя к пределу при M1 → M , M2 → M , получим систему трех уравнений для оп-
ределения радиуса R и центра C0 (a, b) искомой окружности:
(x − a)2 +(y −b)2 − R2 |
|
= 0, |
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
(x − a)x′+(y −b)y′ = 0, |
|
|
|
|
|
|
|
|
||||||||||||||
(x − a)x′′+(y −b)y′′+ |
(x′)2 +(y′)2 = 0. |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Имеем: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
′ |
|
|
|
|
′ |
2 |
|
+(y |
′ |
|
2 |
|
|
|
|
a − x = −λy , |
→ |
λ = |
(x ) |
|
|
|
) |
|
|
|||||||||||
|
|
|
|
|
|
λx |
′ |
|
|
′ |
′′ |
′′ |
|
|
′ . |
|
||||||
|
|
b − y = |
|
|
|
|
|
|
x y |
|
− x y |
|
|
|
||||||||
Следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
a = |
x − y′ |
(x′)2 +(y′)2 |
b = |
y + x′ |
(x′)2 +(y′)2 |
|||||||||||||||||
|
|
′ ′′ |
|
|
′′ ′ ; |
|
′ ′′ |
|
|
′′ ′ |
; |
|||||||||||
|
|
|
|
x y |
|
− x y |
|
|
|
|
|
|
x y |
|
− x y |
|
||||||
|
|
((x′)2 |
+(y′)2 ) |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
R = |
|
2 |
, |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
′ |
|
′′ |
|
′′ ′ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
x y |
|
− x y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(2.59)
(2.60)
(2.61)
25
Краткий курс дифференциальной геометрии
т. е.
C0 ≡ C; R=ρ. |
(2.62) |
Ч. т. д.
§ 6. Формулы Френе плоской кривой
Выберем в качестве параметра t кривой длину ее дуги, отсчитываемой от фиксированной точки
|
|
drG |
rG = rG(s). |
|
|
(2.63) |
G |
|
|
G |
|
G |
|
Пусть t |
= |
|
— орт касательной в точке M , а t |
= t |
+ |
t — |
|
||||||
|
|
ds |
1 |
|
|
|
|
|
|
|
|
|
орт касательной в точке M1 (рис. 7).
|
|
|
M1 |
t1 |
|
|
|
|
A |
||
|
|
|
|
||
|
|
|
t1 |
t |
|
M0 |
M |
t |
α B |
||
O |
t |
||||
|
|
||||
|
|
|
s
Рис. 7
Помещая начала этих ортов в начало координат, получим равнобедренный треугольник OAB , с единичными длинами
боковых сторон и углом смежности |
|
α при вершине. Имеем |
||||
|
G |
|
|
α |
|
|
|
t |
= 2sin |
|
|
. |
(2.64) |
26 |
|
2 |
||||
|
|
|
|
|
||
|
|
|
|
|
|
|
Глава 2. Плоские кривые
Следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
dtG |
|
= lim |
|
tG |
|
= lim |
|
sin |
|
α |
|
|
|
α |
|
= |
|
dα |
|
= k. |
||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|||||||||||||||
|
ds |
s |
|
|
|
|
|
|
|
s |
|
ds |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
s→0 |
|
|
|
|
s→0 |
|
|
|
α |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
С другой стороны, дифференцируя t 2 |
|
=1, получим |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
G |
|
|
dt |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
= 0. |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
ds |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
Из (2.65) и (2.66) следует: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
dt |
|
|
|
G |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= kn. |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
ds |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Дифференцируя тождества |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
t nG = 0, nG2 =1, |
|
|
|
|
|
|
|||||||||||||||||||
получим: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dnG |
|
|
|
|
|
|
||
|
|
|
|
G |
G |
G dn |
|
|
|
|
|
|
G |
|
|
|
|
|
|
||||||||||||
|
|
|
(kn) n + t |
|
|
|
|
|
= |
0, n |
|
|
= 0. |
|
|
||||||||||||||||
|
|
|
|
ds |
ds |
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Пусть |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dn |
|
|
|
|
|
G |
|
|
|
|
G |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
=αt |
+ βn. |
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
ds |
|
|
|
|
|
|
|
|
|
||||||||||||||
Подставляя (2.70) в (2.69), получим: |
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
k +α = 0, |
β = 0. |
|
|
|
|
|
|
||||||||||||||||||
Формулы |
|
|
drG |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dnG |
|
|
|
|
|
|
||||
|
|
|
|
G |
|
dt |
|
|
|
|
|
G |
|
|
|
G |
|
|
|||||||||||||
|
|
|
|
|
= t , |
|
|
|
= kn, |
|
|
|
= −kt |
|
|
||||||||||||||||
|
|
|
|
ds |
|
ds |
|
|
ds |
|
|
|
|||||||||||||||||||
называются формулами Френе плоской кривой.
Имеем:
d 2rG |
G |
d 3rG |
|
dk G |
|
dnG |
|
dk G |
|
2 G |
||
|
= kn, |
|
= |
|
n |
+ k |
|
= |
|
n |
− k |
t . |
ds2 |
ds3 |
ds |
ds |
ds |
||||||||
(2.65)
(2.66)
(2.67)
(2.68)
(2.69)
(2.70)
(2.71)
(2.72)
(2.73)
27
Краткий курс дифференциальной геометрии
Совмещая точку M с началом отсчета дуг (s = 0), получим разложение функции rG = rG(s) в репере {M ; t ; nG} в окрестности точки M :
G |
G |
1 |
|
|
G |
|
2 |
|
1 |
|
dk |
G |
|
|
2 G |
|
3 |
+ O(s |
3 |
), |
|
||||||||||||||
r |
(s)= ts + |
|
|
kns |
|
|
+ |
|
|
|
|
|
|
|
|
|
n − k |
|
t |
s |
|
|
|
(2.74) |
|||||||||||
2 |
|
|
6 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
ds |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
т. е. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
G |
|
|
1 |
|
|
2 |
|
|
3 |
G |
|
|
1 |
|
2 |
|
|
1 dk |
|
3 |
G |
|
|
|
|||||||||||
r |
(s)= s − |
|
|
|
k |
|
s |
|
t |
|
+ |
|
|
|
ks |
|
+ |
|
|
|
|
|
|
s |
|
n +... |
(2.75) |
||||||||
6 |
|
|
|
|
|
|
|
|
|
6 ds |
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|||||||||||
Обозначим через ξ |
|
и η координаты смежной с M0 |
точки |
||||||||||||||||||||||||||||||||
кривой. Из (2.75) следует |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
ξ |
= s |
− |
1 |
k2 s3 +... |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(2.76) |
|||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
1 dk |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
ks |
2 |
|
|
|
s |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
η = |
|
|
|
|
+ |
|
|
|
|
|
|
+... |
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
6 ds |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Следовательно, |
в окрестности точки M0 |
малый участок |
|||||||||||||||||||||||||||||||||
кривой можно заменить частью соприкасающейся с ней пара-
болы с параметром p = |
1 |
: |
|
|
|
|
k |
|
|
|
|||
|
|
|
|
|
||
ξ2 |
= 2 |
1 |
η (рис. 8). |
(2.77) |
||
k |
||||||
|
|
|
|
|
||
n r′ M0
Рис. 8
28
Глава 2. Плоские кривые
§ 7. Эволюта и эвольвента |
|
Определение 2.10. Эволютой кривой |
|
rG = rG(t ) |
(2.78) |
называется кривая, описанная центрами кривизны данной кривой. Эвольвентой кривой (2.78) называется кривая, для которой данная кривая является эволютой.
Пусть M (X , Y ) — координаты текущей точки эволюты
кривой (2.78). Тогда из формулы (2.56) для определения центра кривизны кривой получаем параметрические уравнения ее эволюты:
|
(x′)2 +(y′)2 |
(x′)2 +(y′)2 |
|
|||
X = x − y′ |
′ ′′ |
′′ ′ |
; Y =y + x′ |
′ ′′ |
′′ ′ . |
(2.79) |
|
x y |
− x y |
|
x y |
− x y |
|
Обозначая через r1 радиус-вектор текущей точки эволюты, запишем ее уравнение в виде:
r = rG |
+ ρnG. |
(2.80) |
1 |
|
|
Дифференцируя (2.80) по параметру s с использованием формул Френе (2.72), получим:
drG1 |
G |
|
d ρ G |
G |
|
d ρ G |
|
||
|
= t |
+ |
|
n |
− ρkt |
= |
|
n. |
(2.81) |
ds |
ds |
ds |
|||||||
Следовательно:
1) касательная к эволюте совпадает с нормалью исходной кривой;
2) |
|
drG |
|
= |
|
d ρ |
|
→ |
|
ds |
|
= |
|
d ρ |
|
→ s |
− s |
= ρ |
B |
− ρ |
A |
, |
(2.82) |
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
1B |
1A |
|
|
|
|
т. е. разность радиусов кривизны исходной кривой в двух ее точках равна длине дуги эволюты, заключенной между соответствующими точками.
29
Краткий курс дифференциальной геометрии
Из этих утверждений следует, что если с исходной кривой сматывать в натянутом состоянии нить, то любая фиксированная точка M этой нити будет описывать эвольвенту исходной кривой (эволюты).
Таким образом, для данной кривой существует единственная эволюта и бесчисленное множество эвольвент.
§ 8. Натуральное уравнение плоской кривой
Определение 2.11. Натуральным уравнением кривой назы-
вается уравнение
ρ = ρ(s). |
(2.83) |
Теорема 2.2. Натуральное уравнение определяет кривую с точностью до ее произвольного расположения на плоскости.
Доказательство. Из уравнения
|
dα |
= |
|
1 |
|
||
|
ds |
ρ(s) |
|
||||
находим: |
|
|
|
|
|
||
α = ∫s |
|
ds |
|
+α0 . |
|||
|
ρ(s) |
||||||
|
s0 |
|
|
||||
Подставляя значение α в уравнения dx = cosαds; dy = sinαds,
полученные из формулы
drds = tG = iGcosα + Gj sinα,
находим:
x = ∫s |
cosαds + x0 ; |
y = ∫s |
sinαds + y0 , |
s0 |
|
s0 |
|
(2.84)
(2.85)
(2.86)
(2.87)
(2.88)
где x0 , y0 — координаты начальной точки M0 , которая соответствует значению s = s0 .
30
