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

Линейная алгебра. Аналитическая геометрия. Магазинников Л.И., Магазинников А.Л

..pdf
Скачиваний:
159
Добавлен:
16.03.2016
Размер:
1.38 Mб
Скачать

6.7. Билинейные и квадратичные формы

71

x и y из Rn сопоставить число B(x, y), причём это правило удовлетворяет условиям:

B(αx1

+ βx2

, y) = αB(x1

, y) + βB(x2

, y),

(6.9)

B(x, µy1 + νy2) = µB(x, y1) + νB(x, y2),

 

где α, β, µ, ν любые числа, а x, y, x1, x2, y1, y2 любые векторы из Rn.

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

Пусть {ei} = (e1, e2, . . . , en) произвольный базис Rn и x = ξiei, y = ηj ej , два произвольных вектора из Rn, тогда B(x, y) =

= B(ξiei, ηj ej ) = ξiηj B(ei, ej ). Обозначив B(ei, ej ) = bij , получим

B(x, y) = ξiηj bij

(6.10)

общий вид билинейной формы. Запишем соотношение (6.10) при n = 3:

B(x, y) = ξ1η1b11 + ξ1η2b12 + ξ2η1b21 + ξ1η3b13 + ξ3η1b31+ +ξ2η3b23 + ξ3η2b32 + ξ2η2b22 + ξ3η3b33.

Числа bij называются коэффициентами билинейной формы.

Из этих чисел можно составить матрицу

 

,

B =

b21

b22

. . .

. . . b2n

 

b11

b12

. . . . . .

b1n

 

 

b·n·1·

b·n·2·

.· .· .·

.· .· .·

b·nn· ·

 

 

 

 

 

 

 

называемую матрицей билинейной формы относительно базиса ei. Выясним, как изменяется матрица билинейной формы при изменении базиса. Пусть fj = cij ei, C = [cij ] формулы перехода от бази-

са {ei} к базису {fj }. Коэффициенты билинейной формы B(x, y)

в новом

 

˜

а её матрицу

через

˜

базисе обозначим bij ,

B. Находим

bij = B(fi, fj ) = B(ci ek , cj em) = ci cj B(ek , em) = ci cj bkm, т.е.

˜

k

m

k m

k m

 

 

˜

k m

 

 

 

 

 

 

(6.11)

 

i, j, k, m = 1, n.

 

 

bij = ci cj bkm,

 

Соотношения (6.11) эквивалентны матричному равенству

 

 

˜

 

T

BC.

 

(6.12)

 

 

B = C

 

 

Теорема 7. Ранг r матрицы билинейной формы не изменяется при изменении базиса.

Справедливость теоремы 7 следует непосредственно из соотношения (6.12).

72 6. Функции в линейных пространствах

Теорема 8. Если матрица билинейной формы невырождена в одном базисе, то она невырождена и во всех остальных.

Действительно, из (6.12) получаем

 

˜

T

2

(6.13)

|B| = |C

 

| · |B| · |C| = |B| · |C| .

Эта теорема является следствием теоремы 7.

Теорема 9. Знак определителя матрицы билинейной формы не изменяется при изменении базиса.

Это утверждение следует из (6.13).

Билинейная форма B(x, y) называется симметричной, если B(x, y) = B(y, x) для любых двух векторов x и y из Rn.

Если билинейная форма B(x, y) симметрична, то относительно любого базиса {ei} имеем B(ei, ek ) = B(ek , ei), т.е. bik = bki, следовательно, B = BT .

Функция B(x, x) одного векторного аргумента x, заданная на линейном пространстве Rn, получающаяся из симметричной билинейной формы B(x, y) при x = y, называется квадратичной формой. Полагая в (6.10) x = y, ηj = ξj , получаем общий вид квадратичной

формы

B(x, x) = ξiξj bij .

(6.14)

Соотношение (6.14) можно принять за новое определение квадратичной формы. При n = 3 квадратичная форма в полной записи имеет вид

B(x, x) = b111)2 + b222)2 + b333)2 + 2b12ξ1ξ2+ +2b13ξ1ξ3 + 2b23ξ2ξ3.

При этом учтено, что bik = bki, и приведены подобные члены. Вид квадратичной формы

B(x, x) = b111)2 + b222)2 + . . . + bnnn)2

называется каноническим.

Теорема 10. Всякая квадратичная форма, заданная в Rn, путём перехода к новому базису может быть приведена к каноническому виду.

Теорему примем без доказательства.

Широкое применение находят квадратичные формы, заданные

вевклидовых линейных пространствах En. Квадратичную форму

вевклидовых пространствах относительно ортогонального базиса можно определить равенством B(x, x) = (x, Bx), где B некоторый симметрический линейный оператор B : En → En.

Возникает вопрос, можно ли квадратичную форму привести к каноническому виду путём перехода к другому ортонормированному базису. Положительный ответ содержится в теореме 11.

6.7. Билинейные и квадратичные формы

73

Теорема 11. В евклидовом линейном пространстве En существует ортонормированный базис (f1, f2, . . . , fn), в котором квадратичная форма имеет канонический вид.

Доказательство. Заметим, что при переходе от одного ортонормированного базиса к другому матрицы квадратичной формы и линейного оператора изменяются по одному закону, так как в этом случае CT = C−1, где C матрица перехода. Следовательно, если матрицы линейного оператора и квадратичной формы совпадают в одном ортонормированном базисе, то они совпадают и во всех остальных.

Возьмём симметрический линейный оператор A, матрица которого в ортонормированном базисе {ei} совпадает с матрицей B квадратичной формы. По свойству 4 симметрического линейного оператора (см. п. 6.5) существует ортонормированный базис {fj }, состоящий из собственных векторов этого оператора. В базисе {fj } матрица опе-

ратора A имеет диагональный вид

 

0

,

 

 

A˜ =

 

0 λ2 . . . . . .

 

 

 

 

 

λ1

0 . . . . . .

0

 

где λ1

, λ2

, . . . , λn

 

 

·0· ·

·0· ·

.· .· .·

.· .· .·

·λ·n·

 

 

 

 

 

 

 

 

 

 

 

 

собственные числа данного линейного оператора.

Матрица квадратичной формы B(x, x) в этом же базисе совпадает с

˜, но тогда квадратичная форма примет канонический вид, причём

A

её коэффициенты совпадут с числами λ1, λ2, . . . , λn. Теорема доказана.

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

1.По квадратичной форме B(x, x) составляем симметричную матрицу B = [bik ].

2.Находим собственные числа λ1, λ2, . . . , λn матрицы B и записываем канонический вид квадратичной формы

B(x, x) = λ11)2 + λ22)2 + . . . + λnn)2.

3. Находим собственные векторы матрицы B. При этом если какое-нибудь собственное число λi имеет кратность m, то ему будет соответствовать система из m собственных линейно независимых векторов. Полученную систему из m векторов ортогонализируем методом, описанным в п. 3.7. Проделав такую операцию с каждым собственным вектором, получим ортогональный базис. Пронормировав его, найдём искомый ортонормированный базис.

74 6. Функции в линейных пространствах

4. Записываем выражение новых координат η1, η2, . . . , ηn через

старые ξ1, ξ

2, . . . , ξn и наоборот (см. формулы 1.29).

 

 

 

Пример.

Привести к главным осям

квадратичную

форму

Q(x) = 2(x1)2 + (x2)2 − 4x1x2 − 4x2x3.

2

2

0

#

 

Решение. Записываем матрицу A = "

−2

1

−2

данной

 

 

0

−2

0

 

 

квадратичной формы и находим собственные числа этой матрицы,

решая уравнение

 

 

 

+ 3λ2 + 6λ − 8 =

 

 

 

 

 

 

22λ

1− λ −2 = −λ3

 

 

 

 

 

 

 

 

 

2

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

2

 

λ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(λ + 2)(λ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

5λ + 4) = 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Имеем λ1 = 4, λ2 = 1,

Записываем канонический вид квад-

λ3 = −12.2

 

 

2 2

3

2

.

 

 

 

 

 

 

ратичной формы Q(x) = 4(y )

+ (y )

− 2(y

)

 

 

 

 

 

 

Находим единичные собственные векторы матрицы A:

 

 

f1 =

3 , −3

, 3

, f2 =

3 ,

3 , −

3 , f3

=

 

3 ,

3 ,

3 ,

 

 

 

2

 

2

1

 

2

 

1

 

2

 

 

 

1

 

2

 

2

 

образующие новый ортонормированный базис. По формулам (3.18)

получаем

y3

= 3

2

1

−2

x3

.

 

 

y1

 

1

2

−2

1

x1

 

 

y

 

1

2

2

x

 

2

 

 

 

 

 

2

 

x = ϕ(t), y = ψ(t), z = η(t),

7.Приложение линейной алгебры

кзадачам аналитической геометрии

7.1.Основные задачи аналитической геометрии. Понятие уравнения линии и поверхности

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

Пусть на плоскости задана некоторая кривая L и выбрана декартова система координат (0, x, y).

Уравнение F (x, y) = 0 называется уравнением кривой L в выбранной системе координат, если координаты (x, y) любой точки кривой L удовлетворяют этому уравнению, и любое решение (x, y) уравнения F (x, y) = 0 определяет точку M (x, y), принадлежащую L.

Совершенно аналогично можно определить уравнение F (x, y, z) = 0 поверхности S относительно декартовой системы координат: уравнением поверхности S относительно данной декартовой системы координат называется уравнение F (x, y, z) = 0, которому удовлетворяют координаты любой точки, лежащие на этой поверхности, но не удовлетворяют координаты ни одной точки, не лежащей на поверхности.

Кривую L в пространстве можно задать как линию пересечения

двух поверхностей, т.е. в виде системы двух уравнений:

F1(x, y, z) = 0, F2(x, y, z) = 0,

где уравнения F1(x, y, z) = 0 и F2(x, y, z) = 0 определяют некоторые поверхности, проходящие через кривую L.

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

(

t1 ≤ t ≤ t2,

при котором положение точки на кривой характеризуется значением некоторого параметра t (в физике в качестве параметра t, как правило, принимается время).

Параметрические уравнения кривой можно записать в векторной форме

r = r(t) = ϕ(t)i + ψ(t)j + η(t)k

76

 

 

7. Приложение линейной алгебры

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

" y

# =

" ψ(t) # .

 

 

x

 

ϕ(t)

 

z

 

η(t)

Параметрически можно также задать и поверхность в виде

(x = ϕ(u, v), y = ψ(u, v), z = η(u, v)

или, что то же самое,

r = r(u, v) = ϕ(u, v)i + ψ(u, v)j + η(u, v)k,

" y

# =

" ψ(u, v) # .

x

 

ϕ(u, v)

zη(u, v)

При этом положение точки на поверхности определяется значением двух параметров: u и v.

Задачи аналитической геометрии:

1)по известным геометрическим свойствам кривой L или поверхности S записать их уравнения;

2)исходя из известных уравнений кривых или поверхностей, изучить геометрические свойства этих кривых или поверхностей.

Рассмотрим примеры задания некоторых кривых и поверхностей уравнениями.

Окружность. Записать уравнение окружности с центром в точке C(a, b) радиуса R.

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

Точка M (x, y) лежит на данной окружности тогда и только тогда,

когда |CM| = R, т.е.

 

(x − a)2 + (y − b)2 = R2

(7.1)

уравнение окружности с центром в точке C(a, b) радиуса R. Уравнение (7.1) можно переписать в виде

x2 + y2 − 2ax − 2ay + a2 + b2 − R2 = 0.

(7.2)

Параметрически окружность (7.1) можно задать в виде системы

x = a + R cos t,

0 ≤ t < 2π.

y = b + R sin t,

Мы решили задачу 1): по известным свойствам кривой получили её уравнение.

7.1. Основные задачи аналитической геометрии

77

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

a11x2 + a22y2 + 2a12xy + 2a01x + 2a02y + a00 = 0,

(7.3)

где aik = const, относительно декартовых координат точки определяет окружность, найдём её центр и радиус.

Сравнивая (7.2) и (7.3), видим, что уравнение (7.3) может определять окружность, если a12 = 0, a11 = a22 6= 0. В этом случае уравнение (7.3) можно записать в виде

 

 

 

 

 

 

x2 + y2 +

2a01

x +

2a02

y +

a00

= 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a11

 

 

a11

 

 

a11

 

 

 

 

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

 

a112

 

 

 

 

 

 

 

 

 

a11

 

2

 

 

 

a11

 

2

 

 

 

 

 

 

 

 

 

x +

a01

 

+

y +

a02

 

=

a012

+ a022 − a00a11

.

(7.4)

 

 

 

 

 

 

 

 

 

Если a012 + a022

− a00a11 > 0, то уравнение (7.4) определяет окруж-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a012

+ a022

a00a11

 

 

 

 

ность,

радиус

 

которой

равен

p

a11

 

 

, а центр

её

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|

|

 

 

 

 

 

 

имеет координаты

a01

a02

. Если

a012

+ a022 − a00a11 =0,

то

 

, −

 

 

a11

a11

уравнению (7.4) удовлетворяют

координаты

 

единственной

точки

a01

 

a02

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, −

 

. Если же a012 + a022 − a00a11 < 0, то уравнению (7.4)

a11

a11

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

только в случае, если a12 = 0, a11 = a22 =6 0, a201 + a202 − a00a11 > 0. Частично мы решили задачу 2): зная уравнение (7.3), выяснили,

при каких условиях оно определяет окружность. Полное решение этой задачи, т.е. исследование случаев, когда a12 6= 0, a11 6= a22, будет проведено позднее, после изучения эллипса, гиперболы и параболы.

Пример 1. Найдите центр и радиус окружности

 

x2 + y2 + 2x − 4y − 4 = 0.

(а)

Решение. Выделяя полные квадраты, уравнение (a) можно записать в виде

(x + 1)2 + (y − 2)2 = 9.

(б)

Сравнивая (7.1) и (б), видим, что центр имеет координаты (−1; 2), а радиус R = 3.

Парабола. Параболой называется множество всех точек плоскости, равноудалённых от данной точки F и данной прямой этой же плоскости.

78

7. Приложение линейной алгебры

Данная точка F называется фокусом параболы, а данная прямая директрисой параболы. Выберем декартову систему координат следующим образом: ось OX проведём через фокус F перпендикулярно директрисе (рис. 7.1). Начало координат поместим в точку, равноудалённую от фокуса и директрисы. Обозначим расстояние между фокусом и директрисой через p. Величину p называют параметром параболы.

 

 

 

 

 

 

 

 

 

 

 

 

При

таком

выборе

 

 

системы

 

 

 

 

 

 

 

 

 

 

 

координат

 

для

 

всех

 

 

точек

ди-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ректрисы

 

x = −

 

 

,

 

а

 

фокус

F

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

имеет координаты

 

 

 

p

, 0

 

. Пусть

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M (x, y)

произвольная точка па-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

раболы.

Тогда

по

 

 

определению

 

 

 

 

 

 

 

 

 

 

 

параболы

имеет

 

место

 

равенство

 

 

 

 

 

 

 

 

 

 

 

|AM| = |MF|, где

 

A

 

 

 

 

p

, y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

точка директрисы. Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рис. 7.1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

2

 

 

 

 

 

p

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r x +

 

 

 

= r

 

 

 

− x

 

 

 

+ y2.

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

 

 

 

 

 

Из равенства корней следует равенство

подкоренных

выражений,

 

 

 

p

 

2

 

p

 

 

2

 

 

 

 

p2

p2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т.е.

x +

 

 

=

 

 

 

− x

 

+ y2 или x2 + px +

 

=

 

− px + x2 + y2,

2

 

 

2

 

 

4

4

2

 

px. Это соотношение равносильно условию

 

AM = MF ,

т.е. y

 

= 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|

 

 

 

 

 

 

 

|

 

 

|

 

 

|

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

так как мы не совершали операций, которые могли бы привести к потере решений и к появлению других решений. Таким образом, мы получили искомое уравнение параболы y2 = 2px, называемое каноническим.

Легко доказать, что уравнение (7.3) может определять параболу, если a11a22 − a212 = 0. Это следует из того, что определитель матрицы квадратичной формы не изменяется при изменении базиса, но для квадратичной формы B(x, y) = y2 этот определитель равен нулю. При выполнении условия a11a22 − a212 = 0 кривая, определяемая уравнением (7.3), может распасться на пару параллельных или совпавших прямых.

Пример 2. Докажите, что уравнение y2 −6y +6+x = 0 определяет параболу. Найдите значение её параметра p и координаты вершины.

Решение. Выделяя полный квадрат, получаем (y −3)2 + x −3 = 0. Если положить y1 = y − 3, x1 = −x + 3, то уравнение приводится к виду y12 = x1. Сравнивая последнее уравнение с каноническим уравнением параболы, находим, что 2p = 1 и p = 1/2. Вершина параболы находится в точке (3, 3).

лельной оси OX.

7.1. Основные задачи аналитической геометрии

79

Сфера. Записать уравнение сферы с центром в точке C(a, b, c) радиуса R.

Как известно, сферой называется множество всех точек пространства, равноудалённых от данной фиксированной точки.

Если M (x, y, z) произвольная точка сферы, то |MC| = R, следовательно:

(x − a)2 + (y − b)2 + (z − c)2 = R2

(7.5)

уравнение сферы.

Аналогично тому, как это сделано для окружности, можно дока-

зать, что произвольное уравнение второго порядка

 

 

 

 

 

a11x2 + a22y2 + a33z2 + 2a12xy + 2a13xz + 2a23yz +

(7.6)

+ 2a01x + 2a02y + 2a03z + a00 = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

определяет

сферу,

если

a11 = a22 = a33 6= 0,

a12 = a13 = a23 = 0,

 

 

 

 

 

 

 

 

 

 

 

 

 

a01

a02

a02

a012 + a022 + a032 − a00a11 > 0, с центром в точке −

 

, −

 

, −

 

 

a11

a11

a11

 

 

 

a2

2

+ a2

a

a

 

 

 

 

 

 

 

 

 

 

 

радиуса R =

p 01 + a02 a11

03

00

11

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

2

2

|

|

 

 

 

уравнению (7.6) удовлетво-

Если a01

+ a02 + a03

− a00a11 = 0, то

2

2

2

− a00a11 < 0

ряют только координаты точки C. При

a01 + a02

+ a03

уравнению (7.6) не удовлетворяют координаты ни одной точки пространства. Имеем так называемую мнимую сферу.

Цилиндрическая поверхность. Пусть даны некоторая кривая L и ненулевой вектор l. Цилиндрической поверхностью называется поверхность, образованная всеми прямыми, параллельными вектору l и пересекающими кривую L. При этом кривую L называют направляющей, а соответствующие прямые образующими цилиндрической поверхности. Покажем, что уравнение F (x, y) = 0 в пространстве определяет цилиндрическую поверхность, образующие которой параллельны оси OZ, а направляющей является кривая в координатной плоскости OXY , определяемая уравнением F (x, y) = 0. Действительно, если координаты точки M0(x0, y0) удовлетворяют уравнению F (x, y) = 0, то этому уравнению удовлетворяют координаты точки M (x0, y0, z) при любом z, т.е. все точки прямой, проходящей через точку M0(x0, y0, 0) параллельно оси OZ. Отсюда и следует, что поверхность F (x, y) = 0 есть цилиндрическая с образующими, параллельными оси OZ. Например, уравнение x2 + y2 = 1 в пространстве определяет круговой цилиндр, а уравнение y2 = 2px параболиче-

ский цилиндр.

 

 

Аналогично уравнение F (y, z) = 0

определяет цилиндрическую

F (y, z) = 0,

 

поверхность с направляющей x = 0

 

и образующей, парал-

80

7. Приложение линейной алгебры

Коническая поверхность. Пусть дана в пространстве некоторая кривая L и точка M0(x0, y0, z0). Поверхность, образованная движением прямой, проходящей через точку M0 и пересекающей кривую L, называется конической поверхностью. Точка M0 называется вершиной конической поверхности.

Пусть дано уравнение F (x, y, z) = 0. Функция F (x, y, z) называется однородной степени m (m > 0), если при любом t выполняется условие F (tx, ty, tz) = tmF (x, y, z). Соответствующее уравнение F (x, y, z) = 0 также называется однородным. Например, уравнение F (x, y, z) = x2 + y2 − z2 = 0 однородное степени 2. Можно доказать, что однородное уравнение F (x, y, z) = 0 определяет коническую поверхность с вершиной в начале координат. Доказать самостоятельно после изучения п. 7.5.

Поверхности вращения. Пусть на плоскости XOY задана линия F (x, y) = 0. При вращении кривой вокруг оси OX мы получим поверхность, называемую поверхностью вращения. Если точка M0(x, y, 0) лежала на кривой F (x, y) = 0, то при вращении вокруг оси OX она опишет окружность с центром в точке C(x, 0, 0), ради-

ус которой равен |y|. Пусть M (X, Y, Z) точка поверхности. Тогда

x = X, y = ± Y 2 + Z2. Поэтому уравнение поверхности вращения

будет иметь вид F (X, ± Y 2 + Z2) = 0. Например, вращая параболу y2 = 2px вокруг оси OX, получим поверхность y2 + z2 = 2px, называемую эллиптическим параболоидом вращения.

7.2. Полярная система координат

Кроме декартовой системы координат, в математике применяется и ряд других. В этом подразделе познакомимся с одной из них.

Полярная система координат состоит из точки, называемой полюсом, и проходящей через неё оси, называемой полярной осью.

y

 

 

 

 

 

 

Числа (r, ϕ) называются по-

 

6

 

 

M

 

лярными координатами точки M ,

 

 

 

 

 

 

 

 

 

 

*.

 

если r = |OM|, а ϕ угол между

 

 

 

r

 

 

полярной осью и вектором OM,

 

.

 

 

 

 

отсчитанный по правилам триго-

 

ϕ

 

 

-

нометрии (рис. 7.2). Будем счи-

O

 

 

 

 

 

x

тать, что 0 ≤ r < ∞, 0 ≤ ϕ < 2π.

 

 

 

 

 

 

 

Поместим начало декартовой

 

 

Рис. 7.2.

 

 

 

системы в полюс O, а ось OX на-

 

 

 

 

 

 

 

правим по полярной оси. Тогда

можно выразить декартовы координаты через полярные формулами: p

x = r cos ϕ, y = r sin ϕ. В этом же случае соотношения r = x2 + y2,