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΄΄+ [ –(2x – 1) –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+ x2– 2x)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х2– 2х + 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х2–6x3 + х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 + х2– 2х)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΄΄+ + (–6x – 1)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