Добавил:
СПбГУТ * ИКСС * Программная инженерия Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Рабкин Е. Л., Киселёва А. В., Тащиян Г. М. Векторная алгебра и квадратичные формы.pdf
Скачиваний:
46
Добавлен:
17.06.2020
Размер:
1.78 Mб
Скачать

9. РЕШЕНИЕ ТИПОВЫХ ПРИМЕРОВ

Задание 1.

Напоминаем, что координаты элемента – это коэффициенты в его разложении по базису.

1.1.Найти координаты заданного многочлена Р(х) в указанном базисе е0, е1, е2, , еп в пространстве многочленов степени не выше п.

1.2.Найти координаты заданной матрицы А в указанном базисе е1, е2,

е3, е4.

1.3. Найти координаты заданного 4-мерного вектора х в базисе линейной оболочки L(x1, x2, х3), где x1, x2, х3 – векторы; найти при этом те значения параметров λ, при котором х принадлежит данной линейной оболочке.

Вариант 1. х = (1, 2, 3, λ), х1 = (1, 1, 0, 1), х2 = (0, 1, 0, 1), х3 = (1, 0, 1, 1).

1.1. Задано:

п = 3; многочлен Р(х) = х3 + 2х – 5; базис е0 = х(1 – х), е1 = (1 – х)2, е2 = 1,

е3 = х3. Решение.

Обозначим координаты через с0, с1, с2, с3. Они находятся из равенства

Р(х) = с0е0 + с1е1 + с2е2 + с3е3, т. е. из равенства х3 + 2х – 5 = с0х(1 – х) + + с1(1 – х) + с2 + с3х3, или х3 + 2х – 5 = (с0 + с2) + (с0 – с1)х – с0х2 + с3х3. Два

многочлена равны тогда и только тогда, когда равны их коэффициенты при одинаковых степенях. Поэтому координаты находятся решением системы:

 

 

с0 с2 –5,

 

 

 

 

 

 

 

 

 

 

 

 

 

с1 2,

 

 

 

 

 

 

 

 

 

 

 

 

с0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с0 0,

 

 

 

 

 

 

 

 

 

 

 

 

 

с

1,

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

откуда с0 = 0, с1 = –2, с2 = –5, с3 = 1, т. е.

 

 

 

 

 

 

 

 

 

 

 

Р(х) = х3+ 2х – 5= 2е1 – 5е2 + е3 = (0, –2, –5, 1).

 

 

 

 

 

 

 

 

1.2. Задано:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 2

 

 

2 1

1

2

 

1 0

 

 

0 1

 

матрица A

 

в базисе e1

, e2

 

 

, e3

 

 

 

, e4

 

 

.

3 2

 

 

1 0

 

0 1

 

 

2 1

 

1

1

Решение.

Матрицы равны тогда и только тогда, когда равны все их соответствующие элементы. Поэтому равенство А = с1е1 + с2е2 + с3е3 + с4е4 в данном случае равносильно системе четырех уравнений:

67

2с1 с2 с3 1,с1 2с2 с4 2,с1 2с3 с4 3,с2 с3 с4 2.

Решая систему, находим: с1 = –10 ∕12, с2 = 13 ∕12, с3 = 19 ∕12, с4 = 8 ∕12.

А= (–5 ∕6, 13 ∕12, 19 ∕12, 3 ∕4).

1.3.Задано:

векторы х = (λ, 2, 3, 1), х1 = (1, 1, 0, 1), х2 = (0, 1, 1, 1), х3 = (2, 1, 1, 0).

Решение

Задача сводится к следующей: при каких λ совместна система с1х1 + + с2х2 + с3х3 = х, или (в координатах):

с1

2с3 ,

 

с2 с3 2,

с1

 

с3 3,

с2

с

с 1.

1

2

Решаем эту систему. Вычитая из 2-го уравнения 3-е и 4-е, получим: с1 = –1, с3 = 1, с2 = 2, λ = 1; таким образом х = (–1, 2, 1) при λ = 1 в базисе

х1, х2, х3.

Решать систему можно любым известным способом – методом Гаусса, по формулам Крамера, при помощи обратной матрицы и т. д. Например, по методу Гаусса, обозначая через А матрицу из координат данных векторов, получим

 

1 0 2

 

 

1 1 1 2

 

 

1 1 1

2

 

 

AT

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 1 1 2

 

0 1 1 3

 

 

 

0 1 1 3

 

 

 

 

 

 

 

 

 

 

 

 

0 0 1

1

 

 

 

0 1 1 3

 

 

1 1 0 1

 

 

 

 

 

 

1 1 0 1

 

1 0 2

 

 

 

0 1

1 2

 

 

 

1 1

 

1 2

 

1 1

 

1 2

 

 

 

 

 

 

0 1

 

1 3

 

 

0 1

1 3

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

0 0

1

1

 

 

0 0

1 1

 

 

 

 

 

 

 

 

 

 

 

 

0 0

 

2 1

 

0 0

0 1

 

 

Мы привели матрицу к трапециевидной форме, переставив 1-ю строку в конец, и, вычитая каждую строку из последующих строк с нужными коэффициентами. Отсюда: тот же результат, что и выше: чтобы последняя строка являлась линейной комбинацией остальных необходимо и достаточно, чтобы с1= –1, с3 = 1, с2 = 2, λ = 1. Попутно мы вновь установили, что оболочка L(x1, x2, x3) – трехмерна.

68

Замечание. Возможные ответы в разных вариантах этого задания: «при любых λ (и /или μ)», «при любых λ (и /или μ), кроме …», «ни при каких λ

(и/или μ)».

Задание 2

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

Задано: X = L(a, b, c, d), a = (0, 1, 2, 1), b = (2, 1, 0, 1), c = (1, 1, 1, 1), d = (1, 1, 0, 0);

Y = L(p, q, r), p = (3, 1, 0, 1), q = (0, 2, 1, 0), r = (0, 0, 1, 2).

Решение

Чтобы найти размерность и базис пространства X = L(a, b, c, d) – надо найти ранг матрицы из координат данных векторов, для чего привести ее к трапециевидной форме – переставив 4-ю строку на место 1-й и вычитая каждую строку из последующих с нужными коэффициентами:

0 1 2 1

 

1 1 0 0

1

1 0 0

1 1 0 0

 

1 1 0 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A 2 1 0 1

 

 

0 1 2 1

 

0

1 2 1

 

 

0 1 2 1

 

 

0 1 2 1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 1 1 1

 

 

2 1 0 1

 

0

1 0 1

 

0 0 2 2

 

 

0 0 1 1

 

1 1 0 0

 

1 1 1 1

 

0

0 1 1

 

 

0 0 1 1

 

 

0 0 0 0

 

Отсюда ясно, что dimX = dimL(a, b, c, d) = 3 и что в качестве базиса в этом пространстве можно взять векторы е1 = (1, 1, 0, 0), е2 = (0, 1, 2, 1),

е3 = (0, 0, 1, 1).

Аналогично находим размерность и базис пространства Y = L(p, q, r). Матрица из координат данных векторов – уже трапециевидная:

3

1 0 1

 

 

 

 

 

 

 

 

 

 

 

B

0

2 1 0

, и значит, dim Y = dim L(p, q, r) = 3, а данные вектора обра-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0 1 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

зуют базис в Y.

 

 

 

 

 

 

 

 

 

 

Очевидно, что X Y L(a,b,c, d , p, q, r) , поэтому, снова приводим мат-

рицу из координат базисов X и Y к трапециевидной форме:

 

 

 

 

1 1 0 0

 

1 1 0 0

 

1 1 0 0

 

1 1 0 0

 

 

 

 

 

0 1 2 1

 

 

0 1 2 1

 

 

0 1 2 1

 

 

0 1 2 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 0 1 1

 

 

0 0 1 1

 

 

0 0 1 1

 

 

0 0 1 1

 

 

 

C

 

 

 

 

 

 

.

 

 

 

 

3 1 0 1

 

 

0 2 0 1

 

 

0 0 4 3

 

 

0 0 0 0

 

 

 

 

 

0 2 1 0

 

 

0 2 1 0

 

 

0 0 1 1

 

 

0 0 0 0

 

 

 

 

 

0 0 1 2

 

 

0 0 1 2

 

 

0 0 2 2

 

 

0 0 0 0

 

 

 

 

 

 

 

 

 

 

 

 

69

Итак, пространство X + Y тоже трехмерно, а потому пространства X, Y, X + Y, X∩Y совпадают, все они трехмерны, и базис любого из них является базисом всех остальных.

Задано: X = L(a, b, c, d), a = (0, 1, 2, 1), b = (2, 1, 0, 1), c = (1, 1, 1, 1), d = (1, 1, 0, 0);

Y = L(p, q, r), p = (3, 1, 0, 1), q = (0, 2, 1, 0), r = (3, 3, 1, 1).

Решение

Если пространство Х то же, что и в предыдущем примере, у Y p и q

те же, а r = (3, 3, 1, 1), то

3 1 0 1

3 1 0 1

3 1 0 1

 

B

0 2 1 0

 

 

0 2 1 0

 

 

0 2 1 0

 

,

 

 

 

 

 

 

 

 

 

 

 

3 3 1 1

 

 

0 2 1 0

 

 

0 0 0 0

 

 

 

 

 

 

 

 

 

и dimY = dim L(p, q, r) = 2. В качестве базиса Y можно взять e1 = p = (3, 1, 0, 1), e2 = q = (0, 2, 1, 0). При этом матрица С принимает вид

 

1 1 0 0

 

 

1 1 0 0

 

 

1 1 0 0

 

 

1 1 0 0

 

 

 

0 1 2 1

 

 

 

0

1 2 1

 

 

 

0 1 2 1

 

 

 

0 1 2 1

 

 

 

 

 

 

 

 

 

 

 

 

 

C

 

0 0 1 1

 

 

 

0

0 1 1

 

 

 

0 0 1 1

 

 

 

0 0 1 1

.

 

 

 

 

 

 

 

 

 

 

3 1 0 1

 

 

 

0 2 0 1

 

 

 

0 0 4 3

 

 

 

0 0 0 0

 

 

 

0 2 1 0

 

 

 

0

2 1 0

 

 

 

0 0 1 1

 

 

 

0 0 0 0

 

 

 

 

 

 

 

 

 

 

 

 

 

Вэтом случае тоже – dim(X + Y) = 3, а dim(X∩Y) = dim(X + Y) = dimX +

+dimY – dim(X + Y) = 3 + 2 – 3 = 2, а значит, Y X .

Задано: X = L(a, b, c, d), a = (0, 1, 2, 1), b = (2, 1, 0, 1), c = (1, 1, 1, 1), d = (1, 1, 0, 0);

Y = L(p, q, r), p = (3, 1, 0, 1), q = (1, 2, 2, 1), r = (4, 3, 2, 2).

Решение

Если пространство Х то же, что и в предыдущем примере, у Y вектор p

то же, а q = (1, 2, 2, 1) и r = (4, 3, 2, 2), тогда

 

3 1 0 1

 

 

1 2

2 1

 

1 2 2 1

 

B

 

1 2 2 1

 

 

 

0

5

6 2

 

 

 

0 5 6 2

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4 3 2 2

 

 

 

0

5

6 2

 

 

 

0 0 0 0

 

 

 

 

 

 

 

 

 

 

и dimY = dimL (p, q, r) = 2, а в качестве базиса Y можно взять e1΄= q = (1, 2, 2, 1), e2΄= (0, 5, 6, 2). При этом матрица С принимает вид:

1 1 0 0

 

1 1 0 0

 

1 1 0

0

 

1 1 0 0

 

 

0 1 2 1

 

 

0 1 2 1

 

 

0 1 2

1

 

 

0 1 2 1

 

 

 

 

 

 

 

 

 

C

0 0 1 1

 

 

0 0 1 1

 

 

0 0

1

1

 

 

0 0 1 1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 2 2 1

 

 

0 1 2 1

 

 

0 0

0

0

 

 

0 0 0 1

 

 

0 5 6 2

 

 

0 5 6 2

 

 

0 0 4

3

 

 

0 0 0 0

 

 

 

 

 

 

 

 

 

70

В этом случае тоже dim(X + Y) = 4, а dim(X ∩ Y) = dimX + + dimY – dim(X + Y) = 2 + 3 – 4 = 1. Базис в X + Y – тот же, что и в Х плюс вектор е4 = (0, 0, 0, 1). Пространство X ∩ Y – это множество тех элементов,

для которых разрешимо равенство k1а + k2b + k3c + k4d = k5 p + k6q + k7r, или, переходя к базисам:

с1e1 + с2e2 + с3e3 = с4 e1΄+ с5 e2΄.

(9.1)

Перейдя к координатам, видим, что X ∩ Y определяется системой четырех линейных однородных уравнений:

с1 с4 ,

c1 c2 2c4 5c5 ,2c2 c3 2c4 6c5 ,

c2 c3 c4 2c5.

Матрица этой однородной системы имеет вид

 

1 0 0 1

0

 

1 0 0 1 0

 

 

 

 

 

 

2

5

 

 

 

 

 

1 5

 

 

D

1 1 0

 

 

 

0 1 0

 

 

 

0 2 1

2

6

 

 

0 2 1

2 6

 

 

 

 

 

 

 

 

 

 

 

 

 

0 1 1 1 2

 

 

 

0 1 1 1 2

 

 

 

1 0 0 1

0

 

1 0 0 1 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 1 0

1

5

 

0 1 0

1 5

.

 

 

0 0 1 0

4

 

 

 

0 0 1 0 4

 

 

 

 

 

 

 

 

 

 

 

0 0 1 0

3

 

 

 

0 0 0 0 1

 

 

Отсюда видно, что c5 = 0, с4 = т можно взять произвольно, а остальные коэффициенты определяются через т однозначно: с3 = 0, c2 = m, c1 = m.

Равенство (9.1), определяющее X ∩ Y, принимает вид те1 + те2 = т e1΄, что легко проверяется. Значит, мы еще раз убедились, что X ∩ Y одномерно, а в качестве его базиса можно взять элемент e = е1 + е2 = e1΄= (1, 2, 2, 1), который получается при т = 1.

Задано: Х – множество решений 1-й системы, Y – множество решений 2-й системы.

x x 2x 3x x 0;

 

 

 

 

 

 

1

2

3

4 5

0;

2x1 2x2 x3

x4 4x5

0;

x1 4x2 x3 3x4 x5

 

4x2 2x3

2x4 x5

0;.

Х:

2x

3x

4x 3x

2x 0;

Y: x1

 

x

2x x 3x 3x

0.

1

2

3

4

5

 

1

 

 

 

 

3x x 5x 3x 0;

2 3

4

5

 

 

1

2

3

5

 

 

 

 

 

 

71

Решение

Для нахождения базиса и размерности Х найдем все решения данной системы по методу Гаусса, для чего преобразуем матрицу этой системы к трапециевидной форме:

 

1 1

2 3 1

 

 

1 1

2 3 1

 

 

1 1

2 3 1

 

 

 

 

 

1 3 1

 

 

 

0 5

3 6 2

 

 

 

0 1

8 3 4

 

 

A

1 4

 

 

 

 

 

 

 

 

 

2 3

4 3 2

 

 

0 1

8 3 4

 

 

0 0

43 21 22

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3 1 5 0 3

 

 

 

0 4 11 9 6

 

 

 

0 0 43 21 22

 

 

 

 

 

 

 

 

1 1

2 3 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 1

8

3

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

0 0

43 21

22

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 0

0

0

0

 

 

 

 

 

 

 

r(A) = 3; dimX = n – r = 2; два неизвестных можно взять произвольно: х4 = t1, x5 = t2; остальные неизвестные однозначно выразятся через t1 и t2, для чего перепишем данную систему в виде:

x x 2x 3t t

2

,

 

1

2

3

1

 

 

 

x2 8x3 3t1 4t2 ,

 

 

 

43x3 21t1 22t2.

 

 

 

Отсюда x3 = (21t1 + 22t2) /43; x2 = (39t1 + 4t2) /43; x3(48t1 – 5t2) /43. Взяв t1 = 1 и t2 = 0, найдем первый элемент базиса е1 = (21 /43, 39 /43, 48 /43, 1, 0),

а при t1 = 0 и t2 = 1 – второй: е1 = (22/43, 4/43, –5/43, 0, 1), в качестве базиса можно выбрать те же векторы, удлиненные в 43 раза, т. е. векторы е1 = (21, 39, 48, 43, 0), е2 = (22, 4, –5, 0, 43). Аналогично находится базис второго пространства:

2

2 1 1 4

1

4 2 2 1

1

4 2 2 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

B 1

4 2 2 1

 

 

0

6

3

5

2

 

 

0

6

3 5 2

 

,

 

2

1 3 3

 

 

0

6

3

5

2

 

 

0

0 0 0 0

 

 

1

 

 

 

 

 

 

r(В) = 2; dimY = n – r = 5 – 2 = 3; три неизвестных можно взять произвольно: х3 = t1, x4 = t2, x5 = t3 ; остальные неизвестные однозначно выразятся через t1 и t2, для чего перепишем данную систему в виде:

x 4x

2t 2t

2

t ,

 

1

2

1

3

 

 

6x2 3t1 5t2 2t3.

72

Отсюда x2 = (3t1 + 5t2 – 2t3) /6, x1 = (–4t2 + 7t3) /3; элементы базиса получатся, когда одно из произвольных чисел примет значение 1, а два

остальных – 0: е1 = (0, 1/2, 1, 0, 0), e2 = (–2/3, 5/6, 0, 1, 0), e3 = (7 /3, –1 /3, 0, 0, 1).

Итак, найдены базисы пространства X и Y. Как, зная базисы пространств X и Y, найти базисы X + Y и X ∩ Y, описано в предыдущих примерах.

Замечание. Очевидно, что если X и Y заданы как множество решений однородных систем линейных уравнений, то их X∩Y есть множество элементов, являющихся решениями и первой, и второй системы одновременно, т. е. являющихся решениями системы, составленной из всех уравнений обеих систем. Поэтому находить размерность и базис пространства X∩Y можно также методом Гаусса по теореме Кронекера – Капелли, как было описано выше.

Задано: Х и Y – пространства многочленов степени не выше четырех, Х – состоит из многочленов Р(х), удовлетворяющих равенствам P(1) = 0,

P΄΄(2) = 0, P΄΄(1) = 0,

Y – cостоит из четных многочленов, удовлетворяющих равенствам

4Р(1) – Р΄(2) = 0, 2P΄΄(2)–P΄΄(3) = 0.

Решение

Если пространства X и Y есть подпространства пространства многочленов степени не выше п, удовлетворяющих каким-то дополнительным линейным условиям, то коэффициенты этих многочленов удовлетворяют однородной системе линейных уравнений и могут быть исследованы методами, указанными выше.

Пусть рассматриваемые многочлены имеют вид

Р(х) = с0 + с1 х + с2 х2 + с3 х3+ с4 х4.

Тогда пространство Х состоит из тех многочленов, коэффициенты которых удовлетворяют системе уравнений:

с0 с1 с2 с3 с4 0,

2с2 12с3 48с4 х2 0,2с2 6с3 12с4 0.

(так как Р΄΄(x) = 2с2 + 6с3х + 12с4х2). Сокращая на 2, запишем систему в стандартной форме:

c c c c c

 

0,

 

0

1 2 3

4

 

Х:

 

c2 6c3 24c4 0,

 

 

c2 3c3 6c4 0.

 

 

73

Четность многочлена означает, что все коэффициенты при нечетных сте-

пенях равны 0: с1 = с3 = 0. Многочлены из Y имеют вид: Р(х) = с0 + с2х2 + с4х4, Р΄(x) = 2c2x + 4c4x3, P΄΄(x) = 2c2 + 12c4x2. Поэтому Y определяется систе-

мой уравнений:

с1 с3 0,

4с0 – 28с4 0,2с2 – 12с4 0.

Ее стандартная форма после сокращений принимает вид:

c1 0,

Y: c3 0,

c0 7c4 0,c2 12c4 0.

Решая эти системы методом Гаусса, получим:

1 1 1 1 1

 

1 1 1 1

1

 

1 1 1 1 1

 

 

0 0 1 6 24

 

 

0

0

1 6

24

 

 

0 0 1 6 24

 

A

 

 

 

 

.

 

0 0 1 3 6

 

 

0

0

0 3

18

 

 

0 0 0 1 6

 

 

 

 

 

 

 

Переставив столбцы (сделав 1-й столбец последним), получим матрицу трапециевидной формы, откуда r(A) = 3, dimX = n–r = 5 – 3 = 2, две переменные можно взять произвольно, например, с0 = t1, c4 = t2, тогда с3 = –6t2,

c2 = –6c3 – 24t2 = –12t2, c1= –c0 – c2 – c3 – c4 = –t1 +12t2 + 6t2 –t2 = 17t 2 – t1.

При t1 = 1, t2 = 0 получим 1-й элемент базиса: е1 = (1, –1, 0, 0, 0), при

t1 = 0, t2 = 1 получим 2-й элемент базиса: е2 = (0, 17, –12, –6, 1), таким образом, базисные многочлены е1(х) = 1 – х, е2(х) = 17х – 12х2 – 6х3 + х4.

Еще проще найти размерность и базис Y. Конечно, можно так же преобразовывать матрицу системы, определяющей Y, т. е. матрицу

 

0 1 0 0

0

 

 

 

0 0 0

1

0

 

 

B

 

,

 

 

 

7

 

 

1 0 0

0

 

 

 

0 0 1 0

12

 

 

но и так очевидно, что r(A) = 4, dimX = n–r = 5 – 4 = 1, одну переменную можно взять произвольно, например, с4 = t, тогда с0 = 7t, c1 = 0, c2 = 12t, c3 = 0, с4 = t, при t = 1 получим базовый элемент е1΄= (7, 0, 0, 0, 1) и, следовательно, базовый многочлен е1΄(х) = 7 – х4. Как теперь, зная размерности и базисы пространств X и Y, найти базисы X + Y и X ∩ Y, описано в предыдущих примерах.

74

Задание 3

Ортогонализовать набор данных элементов в данном унитарном пространстве:

а) набор векторов х1 , х2, х3, х4 в 4-мерном евклидовом пространстве; б) набор многочленов 1, х, х2, х3 в унитарном пространстве с данным

весом, т. е. в котором скалярное произведение вычисляется по формуле ( f (x), g(x)) ab p(x) f (x)g(x)dx , где a и b – данные числа, а р(х) > 0 – данная функция.

Замечание.

Как ортогонализовать данные элементы евклидова пространства – указано в примерах соответствующего разд. 5 этого пособия.

Задание 4

Даны 2 линейных оператора А и В в пространстве многочленов степени п, не выше указанной, вида Р(х) = с0 + с1х + с2х2 + с3х3 +…+ сп:

1) найти формулы, по которым действуют операторы АВ и ВА и их разность, т. е. коммутатор С = АВ – ВА;

2)найти в стандартном базисе е0 = 1, е1 = х, е2 = х2, е3 = x3, , еп = хп их матрицы, а также матрицы их произведения, т. е. операторов АВ и ВА, и разности матриц этих произведений, т. е. коммутатора С = АВ – ВА;

3)вычислить матрицу АВ – ВА и убедиться, что она действительно

совпадает с матрицей оператора С.

Задано: п = 3, АР = (2х2 + 3х – 2)Р΄΄+ (2х – 1)P΄+ 2Р;

BP = (x2 + x)P΄΄ 2xP΄+ Р.

Решение

1) Напоминаем формулу Лейбница для вычисления производных

n

от произведения: (uv)(n) Cnku(k )v(n k ) , где считается, что и(0) = и, v(0) = v.

k0

Вчастности, (uv)΄΄= u΄΄v + 2u΄v΄+ uv΄΄.

По правилам дифференцирования суммы и произведения получаем:

АВР = А(ВР) = (2х2 + 3х–2)(ВР)΄΄+ (2x – 1)(ВP)΄+ 2(ВР) =

=(2х2 + 3х – 2)[(x2 + x)P΄΄2xP΄+ Р]΄΄+ (2x – 1)[(x2 + x)P΄΄2xP΄+ Р]΄+

+2[(x2 + x)P΄΄– 2xP΄+ Р] = (2x2 + 3x – 2) [2P΄΄+ 2(2x + 1)P΄΄΄+ (x2 + x)P(4)

4P΄΄ 2xP΄΄΄+ P΄΄] + (2x – 1)[(2x + 1)P΄΄+ (x2 + x)P΄΄΄2P΄2xP΄΄+ Р΄] +

+2[(x2 + x)P΄΄– 2xP΄+ Р] = (2x2 + 3x – 2) [–P΄΄+ (2х + 2)P΄΄΄+ (x2 + x)P(4)] +

+(2x 1)[–Р΄+ P΄΄+ (x2 + x)P΄΄΄] + 2[(x2 + x)P΄΄– 2xP΄+ Р] =

=(2x2 + 3x – 2)(x2 + x)P(4) + [(2х+2)(2x2 + 3x – 2)+(2x –1)(x2+ x)]P΄΄΄+

+[–(2x2 + 3x – 2) + (2x – 1) + 2(x2 + x)]P΄΄+ [ –(2x1) –4x]P΄ + 2P =

75

=(2х4 + 5х3 + х2 2х)Р(4) + (6х3 + 11х2+ х–4)Р΄΄΄+ (x + 1)P΄΄+

+(6x + 1)P΄+ 2P.

Итак, оператор АВ действует на любой многочлен Р(х) по формуле:

АВР = (2х4 + 5х3 + х2 – 2х)Р(4) + (6х3 + 11х2 + х–4)Р΄΄΄+ (x + 1)P΄΄+

+ (–6x + 1)P΄ + 2P.

Аналогично: ВАР = В(АР) = (x2 + x)(АP)΄΄2x(АP)΄+ АР =

=(х2 + х)[(2х2+ 3х–2)Р΄΄+ (2x – 1)P΄+ 2Р]΄΄2x[(2х2 + 3х – 2)Р΄΄+

+(2x – 1)P΄+ 2Р]΄+ (2х2 + 3х – 2)Р΄΄+ (2x – 1)P΄+ 2Р =

=(x2+ x)[4P΄΄+ 2(4x + 3)P΄΄΄+ (2x2 + 3x–2)P(4) + 4P΄΄+ (2x – 1)P΄΄΄+ 2P΄΄]

2x[(4x + 3)P΄΄+ (2x2 + 3x – 2)P΄΄΄+ 2P΄+ (2x – 1)P΄΄+ 2P΄] +

+(2х2 + 3х – 2)Р΄΄+ (2x – 1)P΄+ 2Р = (x2 + x)[10P΄΄+ (10x + 5)P΄΄΄+

+(2x2 + 3x – 2)P(4)] 2x[4P΄+ (6x + 2)P΄΄+ (2x2 + 3x – 2)P΄΄΄] +

+(2х2+ 3х – 2)Р΄΄+ (2x – 1)P΄+ 2Р = (2x4+ 5x3+ x22x)P(4) +

+(6x3+ 9x2 + 9x)P΄΄΄ + (9x – 2)P΄΄+ (–6x – 1)P΄+ 2P.

Оператор ВА действует на любой многочлен Р(х) по формуле:

ВАР = (2х4 + 5х3 + х2 – 2х)Р(4) + (6х3 + 9х2 + 9х)Р΄΄΄+ + (9x – 2)P΄΄+ (–6x – 1)P΄+ 2P.

Из полученных равенств следует, что коммутатор этих операторов, т. е. оператор С = АВ – ВА действует на любой многочлен Р(х) по формуле:

СР = (АВ – ВА)Р = (2х2 8х – 4)Р΄΄΄+ (–8x + 3)P΄΄+ 2Р΄.

2) Напоминаем, что столбцами матрицы оператора служат координа-

ты образов базисных векторов. Поэтому:

А(е0) = А(1) = (2х2 + 3х – 2)1΄΄+ (2x – 1)1΄+ 2 = 0 + 0 + 2 = (2, 0, 0, 0); А(е1) = А(х) = (2х2 + 3х – 2)х΄΄+ (2x – 1)х΄+ 2х = 0 + (2х – 1) + 2х =

= (–1, 4, 0, 0);

А(е2) = А(х2) = (2х2 + 3х – 2)(х2)΄΄+ (2x – 1)(х2)΄+ 2х2 = 4х2 + 6х – 4 + + 4х22х + 2х2 = –4 + 4х + 10х2 = (–4, 4, 10, 0);

А(е3) = А(х3) = (2х2 + 3х – 2)(х3)΄΄+ (2x – 1)(х3)΄+ 2х3 = (2х2 + 3х – 2)6х + + (2x – 1)3х2 + 2х3= –12х + 15х2 + 20х3 = (0, –12, 15, 20);

матрица оператора А в рассматриваемом базисе имеет вид:

 

2

1

4

0

 

 

0

4

4

12

 

A

.

 

0

0

10

15

 

 

 

 

0

0

0

20

 

76

Аналогично:

B(е0) = (x2+ x)1΄΄2х1΄+ 1 = (x2 + x)0 – 2x0 + 1 = 1 = (1, 0, 0, 0). B(е1) = (x2 + x)х΄΄2x(х)΄+ х = 0 – 2х + х = BP = –x = (0, –1, 0, 0).

B(е2) = (x2 + x)(х2)΄΄2x(х2)΄+ х2 = (x2 + x)2 – 2x(2х) + х2 = –x2 + 2х = = (0, 2, –1, 0).

B(е3) = (x2 + x)(х3)΄΄2x(х3)΄ + х3 = (x2 + x)6х – 2x(3х2) + х3 = 6х3 + + 6х26x3 + х3 = х3 + 6х2 = (0, 0, 6, 1).

1

0

0

0

 

 

0

1

2

0

 

Матрица В такова: B

.

 

0

0

1

6

 

 

 

 

0

0

0

1

По тем же правилам находим матрицы операторов АВ, ВА, С:

АВ(е0) = (2х4 + 5х3 + х22х)1(4) + (6х3 + 11х2 + х – 4)΄΄΄+ (x + 1)1΄΄ + + (–6x + 1)1΄ + 2 = 0 + 0 + 0 + 0 + 2 = 2 = (2, 0, 0, 0);

АВ(е1) = (2х4 + 5х3 + х2 2х)(х)(4) + (6х3 + 11х2 + х–4)(х)΄΄΄+ (x + 1)(х)΄΄+ + ( –6x + 1)(х)΄ + 2х = 0 + 0 + 0 – 6х + 1 + 2х = 1 – 4х = (1, –4, 0, 0);

АВ(е2) = (2х4 + 5х3 + х2– 2х)(х2)(4) + (6х3 + 11х2 + х – 4)(х2)΄΄΄ + + (x + 1)(х2)΄΄ + (–6x + 1)(х2)΄ + 2х2 = 0 + 0 + 2(х + 1) – 12х2 + 2х + 2х2 =

= 2 + 4х – 10х2 = (2, 4, –10, 0); АВ(е3) = (2х4 + 5х3 + х2– 2х)(х3)(4) + (6х3 + 11х2 + х – 4)(х3)΄΄΄ +

+(x + 1)(х3)΄΄ + (–6x + 1)(х3)΄ + 2х3 = 0 + 6(6х3 + 11х2 + х – 4) + 6х(х + 1) +

+3х2(1 – 6х) + 2х3 = 24 + 12х + 75х2 + 20х3 = (–24, 12, 75, 20);

 

2

1

2 24

 

 

0

4

4

12

 

AB

.

 

0

0

10

75

 

 

 

 

0

0

0

20

 

ВА(е0) = (2х4 + 5х3 + х2– 2х)1(4) + (6х3 + 9х2 + 9х)1΄΄΄ + (9x – 2)1΄΄+ + (–6x1)1΄+ 2 = 0 + 0 + 0 + 0 + 2 = 2 = (2, 0, 0, 0);

ВА(е1) = (2х4 + 5х3 + х2– 2х)(х)(4) + (6х3 + 9х2 + 9х)(х)΄΄΄+ (9x – 2)(х)΄΄+ + (– 6x – 1)(х)΄ + 2х = 0 + 0 + 0–6х – 1 + 2х = –4х – 1 = (–1, –4, 0, 0);

ВА(е2) = (2х4 + 5х3 + х2– 2х)(х2)(4) + (6х3 + 9х2 + 9х)(х2)΄΄΄+ (9x – 2)(х2)΄΄+ + (–6x – 1)(х2)΄+ 2х2 = 0 + 0 + 18х – 4 – 12х2 – 2х + 2х2 = (–4, 16, –10, 0);

ВА(е3) = (2х4 + 5х3 + х2– 2х)(х3)(4) + (6х3 + 9х2 + 9х)(х3)΄΄΄+ (9x – 2)(х3)΄΄ + + (–6x – 1)(х3)΄ + 2х3 = 0 + 6(6х3 + 9х2 + 9х) + 6х(9x – 2) + 3х2(–1 – 6х) + 2х3 =

= (0, 42, 105, 20);

77

 

2

1

4

0

 

 

 

0

4

16

42

 

 

BA

 

;

 

0

0 10

105

 

 

 

 

 

 

0

0

0

20

 

 

C(e0) = (2х2 – 8х – 4)(1)΄΄΄+ (–8x + 3)(1)΄΄ + 2(1)΄ = 0 + 0 + 0 = (0, 0, 0, 0); C(e1) = (2х2 – 8х – 4)(x)΄΄΄+ (–8x + 3)(x)΄΄+ 2(x)΄ = 0 + 0 + 2 = (2, 0, 0, 0); C(e2) = (2х2 – 8х – 4)(x2)΄΄΄+ (–8x + 3)(x2)΄΄+ 2(x2)΄ = 0 16x + 6 + 4x =

(6, –12, 0, 0);

C(e3) = (2х2– 8х – 4)(x3)΄΄΄+ (–8x + 3)(x3)΄΄+ 2(x3)΄= 12x2– 48x – 24 – 48x2 + + 18x + 6x2 = –24 – 30x – 30x2 = (–24, –30, –30, 0);

 

0

2

6 24

 

 

0

0

12 30

 

C =

.

 

0

0

0 30

 

 

 

 

0

0

0 0

 

3) По правилу перемножения матриц найдем:

2 1 4 0

1 0

0 0

2 1

2 24

 

 

0

4

4 12

 

 

0 1

2 0

 

 

0

4

4 12

 

 

АВ=

 

.

 

 

;

 

0

0 10 15

 

 

0 0 1 6

 

 

0 0

10 75

 

 

 

 

 

 

 

 

 

 

0

0 0 20

 

 

0 0

0 1

 

0 0

0 20

 

 

1 0

 

0 0

2 1 4

0

2 1 4 0

 

 

 

0 1

2 0

 

 

0 4 4 12

 

 

0

 

4

16 42

 

 

ВА=

 

.

 

 

 

 

;

 

0 0

1 6

 

 

0

 

0 10

15

 

 

0

 

0

10 105

 

 

 

 

 

 

 

 

 

 

 

 

0 0

0 1

 

0 0 0 20

 

 

0

0

0 20

 

2

1

2 24

2 1 4 0

 

0

2

6 24

 

0 4

4 12

 

 

0

4 16 42

 

 

0

0

12 30

 

С = AB – BA

 

 

=

.

 

0

0

10 75

 

 

0

0 10 105

 

 

0

0

0 30

 

 

 

 

 

 

 

 

0

0

0 20

 

 

0

0 0 20

 

 

0

0

0 0

 

Задание 5

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

2)Привести к каноническому виду данное уравнение второго порядка от трех переменных; выяснить, какую поверхность оно задает; указать ее

78

полуоси или параметры; указать формулы перехода к канонической системе

координат; построить эту поверхность в канонической системе координат.

Задано: 1) 6x2– 4xy + 9y2 – 8x + 16y – 2 = 0.

Решение

Прежде всего, составим матрицу квадратичной формы из этого уравнения (напоминание о том, как она составляется в замечании к выполне-

 

6

2

 

нию задания 2)): А=

2

9

.

 

 

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

 

A

( )

 

6

2

 

= (6 – λ) (9 – λ) – 4 = λ2– 15λ + 50.

 

 

 

 

 

2

9

 

 

 

 

 

 

 

 

Находим собственные числа (т. е. корни этого уравнения): λ1 = 5, λ2 = 10. Так как они оба положительны, то рассматриваемая кривая – эллипс

(или точка, или мнимый эллипс)

Теперь находим соответствующие собственные векторы (напоминаем, что для этого в однородную систему линейных уравнений (А – λ)Х = 0 подставляем найденные собственные числа (тогда ее определитель ока-

жется равным нулю) и решаем ее). Обозначая

 

 

, получим, что для

X

 

 

 

 

 

λ1 = 5 эта система имеет вид:

 

 

 

2 0;

 

 

 

 

 

 

 

2 4 0.

 

 

 

Так как ее определитель равен 0, то она имеет бесчисленное множество решений. Значение одного из неизвестных можно выбрать произвольно. Например, взяв β = 1, найдем, что α = 2. Соответствующий собственный вектор: е1 = (2, 1).

Аналогично, для λ2 = 10 эта система имеет вид:

4 2 0;2 0.

При α = 1 находим, что β = –2. Соответствующий собственный вектор: е2 = (1, –2). Итак, полуоси нашего эллипса параллельны векторам е1 и е2. Орты этих векторов получатся, если их координаты разделить на длины,

т. е. на число 5 . Повернем оси координат так, чтобы эти орты стали ортами координатных осей новой системы координат. Формулы перехода имеют вид:

x

2x y

,

y

x 2 y

 

 

 

 

 

 

5

 

5

 

 

 

 

 

 

79

(коэффициенты в столбцах – координаты новых базисных ортов в исходном базисе). Подставляя эти равенства в данное уравнение, получим (учитывая, что при квадратах новых переменных коэффициентами станут собственные числа):

 

 

 

 

 

2

 

 

 

 

2

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2x

 

 

 

 

 

 

x

2 y

 

 

 

 

 

 

 

 

 

 

 

 

 

5x

10 y

8

 

 

 

 

 

 

 

 

16

 

 

 

 

2

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

40 y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5x

10 y

 

 

 

 

 

 

 

 

 

2 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

Выделяя полные квадраты, получим:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

 

4 y

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

2

2

 

10

y

 

 

 

 

 

 

8 2 0

, т. е.

5x

10

y

 

 

 

 

 

10 .

5x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

Таким образом, центр данного эллипса находится в точке О΄΄(0,

2 ).

5

Совершим параллельный перенос осей новой системы координат так, чтобы ее начало оказалось в этой точке, т. е. перейдем к канонической системе координат данного эллипса. Формулы преобразования координат в этом

 

 

 

 

 

2

 

 

 

 

y

 

 

2

 

 

 

 

 

 

 

.

случае имеют вид: x

x ,

y

y

5

 

, или (что то же) x

x ,

y

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Подставляя их в полученное уравнение данного эллипса и сокращая его на 5,

получим его каноническое уравнение:

2

2 y

2

2, или, деля его на 2:

x

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

y

2

1. Это и есть ответ к предложенному заданию.

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Полуоси данного эллипса: a

 

 

b 1.

 

 

 

 

 

 

 

 

 

 

2,

 

 

 

 

 

 

 

 

 

 

Формулы перехода от старого базиса к каноническому получаются

подстановкой формул параллельного переноса в формулы поворота:

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

2x

 

 

,

 

y

x

 

2 y

 

4

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

5

 

 

 

 

 

 

5

 

 

5

 

 

 

 

 

 

 

По отношению к старому базису центр эллипса имеет координаты

 

2

,

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Задано: 2) 17x2 + 14y2 + 14z2 – 4xy + 4xz + 8yz – 4x + 6z – 6 = 0.

Решение

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

Замечание. Напомним, что для использования общей теории надо переменные перенумеровать, например, считать, что x = x1, y = x2, z = x3. Со-

80

ставляя матрицу, надо на главной диагонали записать коэффициенты при квадратах переменных в этом уравнении, а в пересечении i-й строки и j-го столбца, а также в пересечении j-й строки и i-го столбца при i ≠ j, записать по половине коэффициента при произведении xi xj в данном уравнении.

Матрица квадратичной формы для данного уравнения имеет вид:

 

17 2

2

 

А= 2 14

4 .

 

2 4

14

 

 

 

Находим характеристический многочлен этой матрицы:

 

17

2

2

 

 

 

χА(λ) = det(A – λE) =

2

14

4

.

 

2

4 14

 

 

 

 

 

 

Для упрощения вычисления этого определителя вычтем удвоенную первую его строку из второй, а затем разложим по 3-му столбцу:

 

17

2 2

 

17 2 2

 

 

 

 

χА(λ) =

2 36

18 0

= ( 18)

2

1

0

=

 

2

4 14

 

2

4

14

 

 

 

 

 

 

 

 

 

=(λ – 18)∙{[2∙10 + (14 – λ)[(17 – λ)(–1) + 4] = (λ – 18)[20 + (14 – λ) (λ – 13)] =

=–(λ – 18)(λ2– 18)(λ2– 27λ + 162) = –(λ – 18)(λ – 9)(λ – 18) = –(λ – 18)2 (λ – 9).

Таким образом, собственные числа матрицы данной квадратичной формы таковы: λ1 = λ2 = 18, λ3 = 9 (первое число – кратности 2). Значит, квадратичная форма после поворота осей координат примет вид: 18x 2 18y 2 9z 2 , и,

значит, данная поверхность является эллипсоидом (или точкой, или мнимым эллипсоидом). Но как совершить этот поворот? Находим собственные векторы е1, е2, е3, соответствующие найденным собственным числам.

 

 

 

 

 

Обозначая

 

 

 

, получим, что для λ1= 18 эта система имеет вид:

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 2 0

 

 

 

 

 

 

(9.2)

 

 

 

 

2 4 4 0 .

 

 

 

 

 

 

 

 

 

 

2 4 4 0

 

Все три уравнения пропорциональны (ранг матрицы системы равен 1), поэтому значения двух (п – r = 3 – 1 = 2) из неизвестных можно выбрать произвольно (собственное подпространство, соответствующее λ1, двумерно,

81

и это естественно, так как корень характеристического уравнения λ1= 18, имеет кратность 2). Например, взяв β = 1, γ = 0, найдем, что α = –2, а взяв β = 0, γ = 1, найдем, что α = 2. Таким образом, λ1= 18 соответствуют два линейно независимых собственных вектора: е1 = (–2, 1, 0) и е2 = (2, 0, 1), и их можно взять за базис в рассматриваемом собственном подпространстве. Однако этот базис не ортогональный (не декартов). Чтобы новый базис тоже был декартовым, полученные векторы надо ортогонализовать. Это можно сделать, например, по Граму:

e1΄=e1, e2΄=

(e1, e1) e1

 

5 e1

5e2 4e1 (2, 4, 5) .

 

(e2 , e1) e2

 

4 e2

 

То же можно найти и непосредственно без теории Грама: е2΄= e1 + ke2. Подберем k так, чтобы оказалось, что e2΄ e1΄= e1, т. е. чтобы (e1΄, e2΄) = 0,

5

т. е. чтобы (е1, е1 + ke2) = 0, (e1, e1) + k(e1, e2) = 0,5 – 4k = 0, k = 4 , е2΄= e1 + ke2 = = (–2, 1, 0) + 54 (2, 0, 1) = 14 (2, 4, 5), что пропорционально (коллинеарно)

найденному выше.

Аналогично, для λ3 = 9 эта система имеет вид:

8 2 2 0;2 5 4 0;

2 4 5 0.

По построению, ее определитель равен 0 (что очевидно: при сложении первого уравнения, разделенного на 2, со вторым получается третье уравнение). При α = 1 находим, что β = 2, γ = –2, e3΄ = (1, 2, –2). Нормируя найденные векторы, получаем базис повернутой системы координат:

 

 

 

2

 

 

1

 

 

 

 

 

 

2

 

 

4

 

 

5

 

 

1

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

,

 

 

, .

e1

5

,

5

, 0

 

,

e2

 

,

 

 

,

 

 

 

,

e3

3

3

 

 

 

 

 

 

 

 

 

 

 

 

3 5 3 5

 

3 5

 

 

3

 

 

 

 

Матрица перехода к этому «новому» базису – это матрица, столбцами которой являются координаты этих «новых» базисных векторов. Поэтому формулы преобразования координат к этому базису имеют вид:

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2z

 

 

 

 

 

 

 

 

 

2z

5

 

 

5

 

x 6x

2 y

 

5 ,

y

3x

4 y

 

,

z

5y

 

. (9.3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

5

 

 

3

5

 

 

 

3

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если эти формулы подставить в данное уравнение, то (по теории) получим уравнение той же поверхности в «повернутой» системе координат:

82

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 y

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2z

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

5y

5

 

 

 

 

 

 

 

18y

9z

4

6x

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

6

0 ,

 

 

18x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

или, собирая подобные члены:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

22 y

 

16z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

18y

9z

 

 

 

24x

 

 

 

 

 

 

 

6

0 .

 

 

 

 

 

 

 

 

 

18x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Выделяя полные квадраты, получим:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

8

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

11y

 

 

 

 

 

 

 

 

 

 

121

 

 

 

 

 

121

 

 

 

 

 

 

 

 

 

 

4x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

18 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

18 y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

405

45

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

14580

810

 

 

 

9

 

5

 

 

 

 

 

 

27

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

16z

 

64

 

 

 

 

64

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

27

 

 

 

 

 

 

 

 

 

 

 

 

 

81

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

729

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

11

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

8

 

 

 

2

 

1153

 

 

 

 

 

 

18 x

 

 

 

 

 

 

 

 

 

 

 

 

18 y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

162

 

 

 

 

 

9

 

5

 

 

 

54

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

27

 

 

 

 

 

 

 

 

Параллельный

 

 

 

перенос

 

 

 

 

новых

 

 

 

 

 

осей

 

 

 

в

 

 

 

новое

 

начало

точку

O

2 ,

 

 

11

 

 

,

 

8

 

 

 

(координаты в «повернутой»

системе координат)

 

 

 

 

 

 

 

 

 

 

 

 

 

27

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

54

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

осуществляется по формулам:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

11

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

54

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

x

 

 

9

5

 

,

 

y

 

 

 

y

 

 

 

 

 

 

 

5

,

 

 

 

 

z

 

 

z

 

 

27

 

,

 

(9.4)

и в этой новой системе данное уравнение (после деления на 9)имеет вид:

2

 

2

 

2

 

1153

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 y

z

1458

. Деля на число в правой части, получаем канони-

2x

 

 

ческое уравнение данного эллипсоида:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

y

2

 

z

2

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

1.

 

 

 

 

 

1153 2916

 

1153 2916

1153 1458

 

Это и есть ответ.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Полуоси данного эллипсоида таковы:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a=

1153

,

b

 

1153

 

,

c=

 

1153

;

 

 

 

 

 

 

 

2916

2916

 

1458

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

формулы перехода от исходной системы координат к канонической получим, подставляя (9.4) в (9.3):

 

 

2 y

 

z

 

 

 

 

 

 

 

4 y

 

 

2z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

13

 

 

5

 

8

 

 

5

 

2

 

43

 

 

6x

 

 

 

3x

 

 

 

 

 

 

y

z

 

x

 

 

 

 

 

 

 

 

, y

 

 

 

 

 

 

 

 

 

 

 

 

, z

 

 

 

.

 

 

 

 

 

 

 

81

 

 

 

 

 

 

 

 

 

81

3

3

162

 

3 5

 

 

 

 

 

3

 

5

 

 

 

 

83

Отсюда видно, что координаты нового начала координат, или, что то же, координаты центра данного эллипсоида в исходной системе координат, таковы:

 

13

 

8

 

 

43

 

 

O

 

 

,

 

,

 

 

.

(9.5)

 

81

 

81

 

 

162

 

 

Замечание 1. Каноническое уравнение кривой или поверхности 2-го порядка определяются однозначно. Если все собственные числа различны, то и каноническая система координат тоже определяется однозначно. Если же собственные числа одинаковы, то однозначность нарушается: в этом случае фокусы сливаются, поверхность является поверхностью вращения (в 2-мерном случае – окружностью), и (ортогональные между собой) оси координат можно выбирать произвольно вокруг оси вращения. Например, в 2-мерном случае уравнение Ax2+ Ay2+ 2Dx + 2Ey + F = 0: т. е. равносильное уравнение

 

2D

 

D2

 

2E

 

E2

 

D2 E2

 

F

x2

 

x

 

 

 

y2

 

 

y

 

 

 

 

 

 

 

 

A

A

2

A

2

A

2

A

2

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

D 2

 

E 2

 

2

 

 

 

 

 

 

или

 

 

 

 

 

x

 

 

 

 

y

 

 

R

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

A

 

 

 

 

 

 

 

 

 

2

 

D2 E2

F

 

 

 

 

 

 

2

2

 

2

 

если число R

 

 

 

 

 

 

 

 

 

0

задает окружность

x

y

R

 

с цен-

 

 

A2

 

 

 

A

 

 

 

 

 

D

 

 

E

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

тром в точке

O

 

,

 

 

 

, но это каноническое уравнение окружности

 

 

 

 

 

 

 

A

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

sin

D

 

 

 

cos

E

 

 

 

 

 

x x cos y

A

,

y x sin y

A

,

вчастности, и при φ = 0.

Впредыдущем примере для нахождения канонического базиса мы могли положить в (9.2) не β = 1 и γ = 0, а β = 1 и γ = 2, тогда α = 2. Если же

положить β = 2 и γ = 1, то α = –2. Таким образом, λ1 = 18 соответствуют два линейно независимых собственных вектора: е1 = (2, 1, 2) и е2 = (–2, 2, 1), вместе с третьим собственным вектором e3 = (1, 2, –2) они образуют базис. Этот базис оказывается ортогональным. Поэтому, нормируя его, сразу можно записать базис повернутой декартовой системы координат:

 

 

2

 

1

 

2

 

 

 

 

2

 

2

 

1

 

 

1

 

2

 

2

 

 

 

 

,

 

,

 

 

,

 

 

 

,

 

,

 

 

,

 

 

,

 

,

 

 

, .

e1

3

3

 

e2

3

3

 

e3

3

3

 

 

 

 

3

 

 

 

 

 

 

3

 

 

3

 

 

 

 

84

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

x

2

x

2

y

1

z , y

1

x

2

y

2

z , z

2

x

1

y

2

z ,

 

 

 

 

 

 

 

 

 

3

3

3

3

3

3

3

3

3

Если эти формулы подставить в данное уравнение, то (как и ранее, по теории) получим уравнение той же кривой в «повернутой» системе координат:

 

 

 

2

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

2z

 

 

 

 

 

 

 

 

 

 

18y

9z

 

 

4

 

2x

2 y z

 

 

 

6

 

2x

 

 

6

0

,

 

 

 

18x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

или, собирая подобные члены:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

14 y

 

16z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

18y

9z

 

 

 

 

4x

 

 

 

6 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

18x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Выделяя полные квадраты, получим:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

1

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

7 y

 

 

 

 

 

49

 

 

 

 

 

 

49

 

 

 

 

 

 

 

 

 

 

 

2x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

18

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

18

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

27

 

 

 

729

 

 

81

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

27

 

 

 

2916

 

162

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

16z

 

 

 

 

 

 

64

 

 

 

 

 

 

64

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9 z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

27

 

 

 

 

 

 

 

 

 

81

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

729

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

2

 

 

 

 

 

 

 

 

 

 

 

 

7

 

2

 

 

 

 

 

 

 

 

 

 

 

 

8

2

 

 

1153

 

 

 

 

 

 

 

 

или

 

 

18 x

 

 

 

 

 

 

18 y

 

 

 

 

 

 

 

 

 

 

 

9 z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 .

 

 

 

 

 

 

 

 

 

 

 

54

 

 

 

27

 

 

162

 

 

 

 

 

 

 

 

 

 

 

 

 

 

27

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Параллельный

 

перенос

 

 

новых

осей

 

 

 

в

 

 

новое

начало

точку

 

 

1

,

7

 

 

 

 

8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

O΄

 

 

 

 

,

 

 

 

 

 

 

 

(координаты

 

 

 

в

«повернутой»

 

 

системе

координат)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

27

 

54

 

27

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

осуществляется по формулам:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

y

 

 

 

 

 

7

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

27 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x x

 

 

 

 

 

y

 

 

 

 

54

,

 

 

 

z

 

 

 

 

 

 

27

,

 

 

 

 

 

 

 

 

и в этой новой системе данное уравнение (после деления на 9) имеет вид: 2x 2 2 y 2 z 2 14581153 , т. е. то же, что и при использовании другого базиса. Формулы преобразования координат к этому новому каноническому базису имеют вид:

x

2

x

2

y

1

z

13

,

y

1

x

2

y

2

z

8

,

z

2

x

1

y

2

z

43

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

3

3

81

3

3

3

81

3

3

3

162

Убеждаемся, что новое начало находится в той же точке (9.5). Замечание 2. В случае кратности собственного числа можно избежать

ортогонализации собственных векторов, соответствующих кратному собственному числу, если воспользоваться симметричностью данной матрицы и, значит, тем, что ее собственные векторы для разных собственных чисел ортогональны. А именно, в разобранном примере для λ3 = 9 система имеет вид:

85

8 2 2 0;2 5 4 0;2 4 5 0.

По построению, ее определитель равен 0 (что очевидно: при сложении первого уравнения, разделенного на 2, со вторым получается третье уравнение). При α = 1 находим, что β = 2, γ = –2, e3΄= (1, 2, –2). Значит, третий базисный вектор можно найти как векторное произведение найденных двух: e2΄= [e1, e3΄]. Нормируя найденные векторы, получаем базис повернутой системы координат:

 

 

 

2

 

 

1

 

 

 

 

 

 

2

 

 

4

 

 

5

 

 

1

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

,

 

.

e1

5

,

5

, 0

 

,

e2

 

,

 

 

,

 

 

 

,

e3

3

3

 

 

 

 

 

 

 

 

 

 

 

3 5 3 5

 

3 5

 

 

3

 

 

 

Замечание 3. Центр кривой или поверхности 2-го порядка, а значит, и формулы параллельного переноса осей координат в начало канонической системы, можно находить с самого начала ее исследования (до отыскания собственных чисел матрицы квадратичной формы и до поворота осей координат; что делать сначала – поворот осей или перенос осей в новое начало – полностью определяется вкусом исследователя). Для этого обозначим координаты центра исследуемой поверхности через O΄(x0, y0, z0); тогда формулы перехода к новой системе координат (с осями, параллельными осям исходной системы, но с новым началом) имеют вид:

x = x΄+ x0, y = y΄+ y0, z = z΄+ z0;

(9.6)

подставим эти формулы в данное уравнение поверхности; полностью подставлять не обязательно, так как нас интересуют только коэффициенты при первых степенях новых координат. Эти коэффициенты надо приравнять к нулю. Получим систему уравнений для координат центра поверхности. Решая ее, находим координаты центра.

В частности, подставляя формулы (9.6) в рассматриваемое уравнение

17x2 + 14y2 + 14z2 – 4xy + 4xz + 8yz – 4x + 6z – 6 = 0, приравняем нулю ко-

эффициенты при x΄, y΄, z΄. Получим систему трех уравнений с тремя неизвестными:

34x0 – 4y0 4z0 – 4 0,28y0 – 4x0 8z0 0,

28z0 4x0 8y0 6 0.

Эту систему решаем любым способом. Например, по методу Гаусса: составляем расширенную матрицу этой системы и приводим ее к трапециевидной форме (предварительно сократив уравнения на 2):

86

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

17 2 2

2

1

7 2 0

 

1

7 2

0

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

2 14 4

 

 

 

 

 

 

 

 

 

 

A

0

0

117 36 2

0

1 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

2 4 14

3

 

0

18 18 3

 

 

 

43

 

 

 

 

 

 

 

 

 

0

0 81

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

– 2-ю строку прибавили к 3-ей, сократили ее на 2 и записали как 1-ю строку; затем прибавили полученную строку, умноженную на 17, к 1-й строке и записали результат как 2-ю строку; на следующем этапе сократили 3-ю строку на 18, результат, умноженный на –117, прибавили ко 2-й строке и поменяли местами 2-ю и 3-ю строку. Опять убеждаемся, что центр поверхности расположен в той же точке (9.5).

Замечание 4. Все три собственных числа одинаковы только в случае, если матрица квадратичной формы в каноническом базисе (а, значит, и в любом другом) имеет вид А = λЕ, т. е. только у сферы.

Задание 6

1)Выяснить, является ли данная функция f(x) элементом пространства

Lp(a,b), где р, а, b – данные числа, и если является – найти норму этого элемента.

2)Выяснить, является ли данная последовательность {cn} элементом

пространства lp, где р – данное число, и если является – найти норму этого элемента.

Предварительное замечание. Если функция непрерывна на [a, b] или имеет там лишь конечное число точек разрыва, причем все они 1-го рода, то она принадлежит Lp(a, b) при всех допустимых р, а, b. Если же функция является бесконечно большой величиной в окрестности точки х0, надо выяс-

нить, сходится ли соответствующий несобственный интеграл ab| f (x) |p dx .

Для этого обычно сравнивают его с

b

dx

(т. е. подбирают α так, чтобы

 

 

 

 

a

| x x |

 

 

 

 

 

 

0

 

 

 

 

в окрестности точки х либо выполнялось неравенство | f (x) |p

C

 

,

 

 

 

 

0

 

 

 

| x x

|

 

 

 

 

 

 

 

 

 

 

0

 

 

причем с условием α < 1 (тогда рассматриваемый интеграл сходится, и f(x) принадлежит Lp(a,b)), либо выполнялось противоположное неравенство с условием α > 1 (тогда интеграл расходится, и f(x) не принадлежит Lp(a,b)), либо находят такое α, при котором обе функции эквивалентны, т. е. при

котором

| f (x) |

p

~

C

 

(тогда оба интеграла сходятся или расходятся

 

 

 

 

| x x

|

 

 

 

 

0

 

 

одновременно).

87

Аналогично, последовательность {cn}, у которой все члены, начиная с некоторого номера, равны нулю, входит в lp при всех р, если же она содержит бесконечно много ненулевых членов, то нужно выяснить, сходится

ли ряд | cn |p . Для этого его обычно сравнивают с обобщенным гармони-

n 1

 

 

 

1

 

ческим рядом

(напоминаем, что этот ряд сходится тогда и только то-

 

n 1 n

 

гда, когда α > 1) или с геометрической прогрессией aqn (напоминаем,

n 1

что этот ряд сходится тогда и только тогда, когда |q| < 1, причем в этом

случае его сумма S вычисляется по формуле

S

a

).

 

1 q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Задано: 1) f (x) 4 tg x ;

2

0,

 

 

 

L

 

.

 

 

 

 

 

 

 

 

 

2

 

 

 

Решение

Для ответа на поставленный вопрос необходимо выяснить, сходится

2

ли I1= tg xdx . В окрестности конца отрезка подынтегральная функция

0

является бесконечно большой величиной. Легко проверить, что там она эк-

вивалентна функции

1

 

 

, и, следовательно, интеграл от нее, а, зна-

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

чит, и I1, сходится. Чтобы вычислить I1, а также норму данной функции,

сделаем подстановку z2= tgx,

x = arctgz2, dx

2zdz

, тогда

I 2

z2dz

.

 

 

 

 

 

1 z4

1

1 z4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dz

 

 

ших вычислений. Рассмотрим еще один интеграл

I2

2

 

 

 

. Тогда

 

 

 

 

 

1 z4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

z2 1 dz

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

1

 

 

 

 

dz

 

 

 

 

d z

 

 

 

 

 

 

 

 

 

 

 

z

2

 

 

 

 

 

z

 

 

I

I

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1 z4

 

 

 

 

1

z

2

 

 

 

 

 

 

 

 

1 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

0

 

 

 

z

2

 

 

 

 

 

0

z

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

0

 

 

 

dt

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

2

 

 

2

t

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

88

Получился табличный интеграл

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

2

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

I

2

2

 

 

 

 

 

 

 

 

 

 

arctg

 

 

 

2

2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

t2 2

 

 

 

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Делая подстановку

 

 

 

 

 

 

в любом из этих двух интегралов, убежда-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) 4

 

 

2

 

 

 

 

 

 

емся, что

I1

= I2

=

 

 

 

 

 

 

, и

 

 

норма

 

tg x

 

 

такова:

 

 

2

 

 

 

 

0,

 

 

 

 

 

 

 

 

 

в L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|| 4

tg x ||

 

2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Задано: 1)

 

f (x) 4 tg x ;

 

 

 

 

0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пространству

4

 

0,

 

 

 

эта

функция

не

принадлежит,

 

так как

 

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

2

 

 

 

 

 

 

 

 

2

 

cost

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|

f (x) |4 dx

tg xdx

 

 

dt

 

расходится, поскольку sin t~t в окрестности

sin t

 

0

 

 

 

 

0

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

нуля (для перехода от 2-го интеграла к 3-му сделана подстановка x

2 t ).

 

Задано: 2)

cn

 

 

 

1

 

 

 

 

 

 

 

, р = 2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4 n(n 1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение

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

 

 

1

 

 

| cn |2

 

 

 

. Так как последовательность членов данного ряда

 

 

 

 

 

 

n(n 1)

n 1

n 1

 

 

эквивалентна последовательности членов гармонического ряда, который расходится, то рассматриваемый ряд тоже расходится, и {cn} не входит в l2.

Задано: 2) cn

 

1

 

 

, р = 4.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

n(n 1)

 

 

 

 

 

 

 

 

Решение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

Необходимо выяснить, сходится ли ряд | cn |4

 

.

 

n(n 1)

 

 

 

 

 

 

 

 

 

 

n 1

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

Разложим каждую дробь на сумму простейших по формуле

 

 

 

 

1

 

 

1

 

1

,

 

 

 

 

 

 

n(n 1)

 

 

 

 

 

 

 

 

 

n

n 1

 

 

 

и вычислим частные суммы этого ряда:

89

n

1

 

1

 

1

 

1

 

1

 

1

 

 

1

 

1

 

 

1

 

 

Sn

1

 

 

 

 

 

 

 

 

1

 

,

n(n 1)

2

 

 

 

 

n

n 1

n 1

k 1

 

2

3

3

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а это значит, что ряд сходится, и его сумма S lim Sn 1. Таким образом,

 

 

n

 

 

 

 

 

 

 

 

 

 

{cn} входит в l4, и норма равна || cn ||4 4 | cn |4

4 1 1.

 

n 1

 

 

 

90