МФТИ 2012 Умнов АЕ АГ+ЛА Стр001-544
.pdfГлава 5 . Преобразования плоскости |
149 |
3°. Наконец, пусть размер A и B есть 2 × 2 , тогда матрица C будет иметь размер 2 × 2.
Замечания об умножении матриц
Из определения произведения матриц непосредственно следует, что для матриц подходящих размеров:
1)умножение матриц некоммутативно, то есть в общем слу-
чае A B ¹ B A ,
2)умножение матриц ассоциативно
A ( B C ) = ( A B ) C ,
3)умножение матриц обладает свойством дистрибутивно-
сти A ( B + C ) = A B + A C .
Отметим еще раз, что произведение двух матриц существует толь-
ко тогда, когда число столбцов первого сомножителя равно числу строк второго.
Легко убедиться, что умножение (как справа, так и слева) любой
|
матрицы |
A |
на подходящего размера единичную матрицу |
E |
|
||||||||||||||||||||||||||||||||||||||||||||
|
(см. § 1.1) дает в результате ту же самую матрицу |
|
. |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
A |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Определение |
|
Матрица |
|
A |
|
−1 |
называется обратной квадратной |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
5.1.2. |
|
|
матрице |
|
A |
|
|
, если выполнены равенства |
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
A |
|
|
|
|
−1 |
|
|
|
A |
|
|
|
= |
|
|
|
A |
|
|
|
|
|
|
|
A |
|
|
|
−1 = |
|
|
|
E |
|
|
|
. |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
150 Аналитическая геометрия и линейная алгебра
Обратная матрица существует не для произвольной квадратной
|
матрицы. Для существования матрицы, обратной к |
A |
, необходимо |
||||||||||||||||||
|
и достаточно, чтобы выполнялось условие det |
|
|
|
|
A |
|
|
|
¹0 6. |
|
|
|
|
|||||||
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
Определение |
|
Матрица |
A |
, для которой det |
A |
= 0 , называется |
||||||||||||||
|
5.1.3. |
|
|
вырожденной, а матрица, для которой det |
|
A |
|
¹ 0 , |
|||||||||||||
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
– невырожденной. |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
Лемма |
Если обратная матрица существует, то она единствен- |
5.1.1.на.
Доказательство.
Предположим, что невырожденная матрица A имеет две об-
ратные: |
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
A |
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
и |
|
|
|
|
|
|
|
|
2 |
|
|
|
. Тогда из равенств |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
−1 = |
|
|
|
E |
|
|
|
|
|
|
|
|
|
|
и |
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
−1 = |
|
|
|
|
|
|
|
|
|
E |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
следует, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
−1 - |
|
|
|
|
|
A |
|
|
|
|
|
|
|
A |
|
|
|
−1 = |
|
|
|
E |
|
|
|
|
|
|
|
|
|
- |
|
|
|
|
|
E |
|
|
|
= |
|
|
|
|
O |
|
|
|
. |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
−1 |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
Умножая слева обе части данного равенства на |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, полу- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
чаем |
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−1 ) = |
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
O |
|
|
|
|
|
|
|
O |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
A |
|
- |
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
и, учтя, что |
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
A |
|
|
= |
|
|
|
|
|
|
E |
|
|
|
|
, приходим к равенству |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
−1 |
- |
|
|
|
|
A |
|
|
|
|
|
−1 = |
|
|
|
|
|
|
|
|
|
O |
|
|
|
|
|
|
. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Лемма доказана.
6 Правило нахождения определителя квадратной матрицы порядка n приво- дится в главе 6.
Глава 5 . Преобразования плоскости |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
151 |
||||||||||||||||||||||||||||||||||||||||||||||||||
В |
частном |
случае, |
|
|
|
|
|
|
|
|
когда |
|
|
|
|
A |
|
|
|
|
|
= |
|
a11 |
|
|
|
|
|
a12 |
|
|
|
и если |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a21 |
|
|
|
|
|
a2 2 |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
det |
|
A |
|
¹ 0 , матрица |
|
|
A |
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
имеет вид |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
A |
|
|
|
−1 |
= |
|
1 |
|
|
|
|
× |
|
|
|
|
|
a22 |
|
- a12 |
|
|
|
. |
(5.1.1) |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
det |
|
A |
|
|
|
|
|
|
- a21 |
|
|
|
a11 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
Для квадратных матриц порядка |
|
n справедливы7 следующие ра- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
венства: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
det ( |
|
A |
|
|
|
|
|
B |
|
|
|
) = det ( |
|
|
|
|
A |
|
|
|
) det ( |
|
|
|
|
B |
|
|
|
) ; |
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
det |
|
A |
|
−1= |
1 |
|
|
|
|
, если det |
|
A |
|
¹ 0 . |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
det |
|
A |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
Пример |
|
|
Используя матричные операции, систему линейных урав- |
5.1.2.нений
a11x1 + a12 x2 = b1 ,a21x1 + a22 x2 = b2
можно записать в виде |
|
|
A |
|
|
x |
= |
|
b |
|
, где |
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
x |
|
= |
|
x1 |
|
|
|
|
; |
|
|
|
b |
|
= |
|
b1 |
|
|
|
|
; |
|
A |
|
|
= |
|
a11 |
a12 |
|
|
|
, |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
b2 |
|
|
|
|
|
|
|
|
a21 |
a22 |
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(если |
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
−1 |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
а ее |
|
решение |
|
|
существует |
|
|
|
|
|
|
) – |
в виде |
||||||||||||||||||||||||||||||||||
|
|
x |
|
= |
|
A |
|
|
|
−1 |
|
b |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример Формулы перехода от одной декартовой системы коорди-
5.1.3.нат к другой (1.8.2) с помощью матричных операций мо- гут быть записаны в виде
7 Для n = 2 эти соотношения проверяются непосредственно по определе- нию 1.1.9, случай произвольного n рассматривается в главе 6.
152 |
|
|
|
|
|
Аналитическая геометрия и линейная алгебра |
||||||||||||||||||||||
|
|
→ |
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
g′ |
|
|
|
|
|
|
|
|
|
g |
|
|
|
|
ξ |
|
|
|
|
|
ξ′ |
|
β |
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
1 |
|
||||
|
|
→ |
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|||
|
|
|
|
|
= |
|
S |
|
T |
|
|
; |
|
ξ |
|
= |
|
S |
|
ξ′ |
+ |
β |
|
, |
||||
|
g′ |
|
|
|
|
|
|
g |
2 |
|
|
|
2 |
|
|
2 |
||||||||||||
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
||||
|
|
→ |
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
ξ |
3 |
|
|
|
|
ξ′ |
|
β |
3 |
|
|
|
g′ |
|
|
|
|
|
|
|
|
|
g |
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|||
|
3 |
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где |
|
|
|
– |
|
матрица перехода. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема |
Имеет место соотношение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
5.1.1. |
( |
|
A |
|
B |
|
)T = |
|
B |
|
|
|
T |
|
|
|
A |
|
|
|
T . |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство.
Будем предполагать, что размеры матриц A и B таковы,
что произведения матриц, указанные в формулировке теоремы, существуют.
Пусть числа αik , βkj , γ i j суть элементы матриц A , B
и C = A B соответственно. Тогда, согласно определе-
нию 5.1.1,
l
γ ij = ∑αik βkj . k =1
Но, с другой стороны, по определению 1.1.8 операции транс- понирования
l l l
γ iTj = γ j i = ∑α j k βk i = ∑αTk j βiTk = ∑βiTk α Tk j , k =1 k =1 k =1
откуда, учитывая определение 5.1.1, делаем заключение о справедливости утверждения теоремы.
Теорема доказана.
Глава 5 . Преобразования плоскости |
153 |
|||||||||||||||||||||||||||||||||||
|
Заметим, |
что согласно правилу транспонирования произведения |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
g1′ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
g1 |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
= |
|
S |
|
|
|
|
T |
|
|
|
|
→ |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
матриц равенство |
g |
′ |
|
|
|
|
|
|
|
|
|
|
|
|
g |
2 |
|
|
|
|
может быть записано в виде |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
g |
′ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
g |
3 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
→′ |
→′ |
→′ |
|
|
|
= |
|
|
|
|
→ |
|
|
|
→ |
|
→ |
|
|
|
|
S |
|
. |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
g1 |
g 2 |
g3 |
|
|
|
|
|
|
|
g1 |
|
|
|
g 2 |
g3 |
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Для дальнейших рассуждений нам будет полезно следующее вспо- могательное утверждение.
Лемма |
|
Пусть произведение |
квадратной |
матрицы |
|
Q |
|
на |
||||||||||||||||||||||||||
5.1.2. |
|
произвольный |
n -компонентный |
столбец |
|
x |
|
есть |
||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
нулевой |
n -компонентный столбец, тогда матрица |
||||||||||||||||||||||||||||||
|
|
|
|
|
Q |
|
|
|
|
|
|
нулевая. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
Доказательство. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ω11 |
ω12 |
... |
ω1n |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
Пусть |
|
Q |
|
|
|
= |
|
|
|
|
|
ω21 |
ω22 |
... |
ω2n |
|
|
|
. Выберем в качестве |
|
x |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
... |
|
|
|
... ... ... |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ωn1 |
ωn2 |
... |
ωnn |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
столбец вида |
|
|
|
|
1 |
|
|
|
|
, где единица стоит в строке с номером i. |
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
154 Аналитическая геометрия и линейная алгебра
|
|
0 |
|
|
ω1i |
|
|
|
|
|
|
|
0 |
|
|
|
||||||||
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||
|
|
... |
|
|
... |
|
|
|
|
|
|
|
... |
|
|
|
||||||||
Тогда |
|
|
|
Q |
|
|
|
|
|
1 |
|
= |
ωii |
|
|
|
= |
|
|
|
0 |
|
|
и в силу произвольности i при- |
|
|
|
|
|||||||||||||||||||||
|
|
... |
|
|
... |
|
|
|
|
|
|
|
... |
|
|
|
||||||||
|
|
0 |
|
|
ωni |
|
|
|
|
|
|
|
0 |
|
|
|
ходим к заключению о справедливости утверждения леммы.
Лемма доказана.
Теорема Для невырожденных |
|
одинакового |
|
размера квадрат- |
||||||||||||||||||||
5.1.2. |
ных матриц |
|
|
A |
|
|
и |
|
B |
|
справедливо соотношение |
|||||||||||||
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||
|
( |
|
A |
|
B |
|
) −1 = |
|
B |
|
|
|
−1 |
|
|
|
A |
|
−1 . |
|||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство.
1°. Пусть произведение матрицы ( A B ) −1 на некото-
рый n-компонентный столбец x есть столбец c . То-
гда |
( |
|
A |
|
|
B |
|
) −1 |
|
x |
= |
c |
или, что то же самое, |
||||
|
x |
|
= |
|
A |
|
|
B |
|
|
c |
|
|
(см. определения 5.1.1 и 5.1.2). |
|||
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2°. С другой стороны, из последнего равенства получаем, что
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
−1 |
|
|
|
x |
|
|
= |
|
B |
|
|
|
|
|
c |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
и аналогично |
|
B |
|
− |
1 |
|
|
|
|
|
|
|
|
A |
|
−1 |
|
|
|
|
|
|
|
|
|
|
= |
|
c |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
3°. Вычитая почленно равенства |
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
( |
|
A |
|
B |
|
) −1 |
|
x |
|
|
|
= |
|
c |
|
и |
|
|
B |
|
|
|
|
|
|
A |
|
|
|
|
|
|
x |
|
|
|
= |
|
c |
|
, |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Глава 5 . Преобразования плоскости |
155 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
в силу дистрибутивности матричного произведения при- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
ходим к соотношению |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
( ( |
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
B |
|
|
|
|
|
|
|
) −1 − |
|
|
|
|
|
B |
|
|
|
−1 |
|
|
|
A |
|
|
|
−1 ) |
|
|
|
|
x |
|
|
|
= |
|
|
|
o |
|
|
|
, |
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
которое по лемме 5.1.2 ввиду произвольности |
|
столбца |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
x |
|
означает, что матрица |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
A |
|
|
|
|
|
|
|
B |
|
|
|
) −1 − |
|
|
|
B |
|
|
|
−1 |
|
|
|
A |
|
|
|
−1 |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
нулевая. |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
Теорема доказана. |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
Задача |
Проверить тождество ( |
|
|
|
A |
|
|
|
−1 )T = ( |
|
|
|
A |
|
|
|
T )−1 . |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
5.1.1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Определение Невырожденная квадратная матрица Q , для кото-
5.1.4.рой Q −1 = Q T , называется ортогональной.
Свойства ортогональных матриц, играющих важную роль во мно- гих приложениях, можно сформулировать в виде следующих теорем.
Теорема |
Для ортогональной матрицы |
|
|
Q |
справедливо равен- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
5.1.3. |
ство det |
|
Q |
|
= ±1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
Доказательство. |
|
|
Q |
|
|
|
−1 = |
|
|
|
Q |
|
|
|
T |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
Умножая равенство |
|
|
|
|
|
|
|
|
|
|
|
|
последовательно справа и |
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
слева на |
|
|
Q |
|
, в силу определения 5.1.2 приходим к соотноше- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
нию |
|
|
Q |
|
|
|
T |
|
|
|
Q |
|
|
|
= |
|
|
|
Q |
|
|
|
|
|
|
|
Q |
|
|
|
T = |
|
|
|
E |
|
|
|
. Откуда находим, что |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
det2 |
|
Q |
|
|
|
= 1 , поскольку |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
156Аналитическая геометрия и линейная алгебра
-определитель произведения квадратных матриц одинакового размера равен произведению опреде- лителей сомножителей;
-определитель матрицы не меняется при ее транс- понировании;
-det E = 1.
Теорема доказана.
Теорема Каждая ортогональная матрица второго порядка |
Q |
, |
||||||||||||||||||||||||||||||||||||||||||||||||||
5.1.4. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Q |
|
= 1, может быть представлена в |
||||||||||||||||||||||||||||||||||
|
для которой det |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
виде |
|
cos ϕ |
− sin ϕ |
|
|
|
, где ϕ – некоторое число, |
а ка- |
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
sin ϕ |
|
|
cos ϕ |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
ждая ортогональная матрица с det |
|
|
Q |
|
|
|
= −1 – |
|
в виде |
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
cos ϕ |
|
|
|
|
sin ϕ |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
sin ϕ |
|
|
− cos ϕ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
Доказательство. |
|
|
|
|
|
Q |
|
= |
|
|
ω11 |
|
|
ω12 |
|
|
|
|
ортогональная, |
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
Пусть матрица |
|
|
|
|
|
|
|
|
|
|
|
|
тогда |
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
ω |
|
|
|
ω |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
21 |
|
|
22 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
должны быть справедливы равенства |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
Q Q |
|
= |
|
|
|
ω |
|
|
|
|
|
|
|
ω |
|
|
|
ω |
ω |
|
|
|
|
|
|
|
= E |
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
T |
|
|
|
|
|
ω11 |
|
|
|
|
|
ω12 |
|
ω11 |
ω21 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
21 |
|
|
|
|
|
|
|
22 |
|
12 |
|
|
|
22 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
и, следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
ω2 |
+ ω2 |
|
|
|
|
|
ω ω |
21 |
|
+ ω ω |
22 |
|
= |
|
1 0 |
|
. |
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
ω ω |
11 |
|
|
|
12 |
|
|
|
|
|
|
|
|
|
|
|
|
11 |
|
|
|
12 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
21 |
+ ω ω |
22 |
|
|
|
|
|
|
|
|
ω2 |
+ ω2 |
|
|
|
|
|
|
|
|
|
|
|
0 1 |
|
|
|
|
|||||||||||||||||||||
|
|
11 |
|
|
|
|
12 |
|
|
|
|
|
|
|
|
|
|
|
|
|
21 |
|
22 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Глава 5 . Преобразования плоскости |
157 |
Последнее матричное равенство может быть записано в виде системы скалярных условий
ω112 + ω122 = 1 ,ω11ω21 + ω12ω22 = 0 ,ω221 + ω222 = 1 ,
причем из этих равенств, как было показано при доказательстве теоремы 5.1.3, следует, что det Q = ±1 . Рассмотрим вначале
случай det Q = 1.
Если из суммы первого и третьего уравнений системы вычесть удвоенное равенство ω11ω22 − ω12 ω21 = 1, то мы получим
(ω112 + ω122 ) + (ω221 + ω222 ) − 2(ω11ω22 − ω12 ω21 ) = 0
или (ω |
− ω |
22 |
)2 + (ω |
|
+ ω |
21 |
)2 |
= 0 , откуда следует, что |
||||||
11 |
|
|
12 |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
ω11 = ω22 , |
|
|
|||||||
|
|
|
|
|
ω |
|
= −ω |
21 |
. |
|
||||
|
|
|
|
|
|
12 |
|
|
|
|
|
|||
Наконец, |
из |
условий |
ω2 |
|
+ ω2 |
= 1 ; ω2 |
+ ω2 = 1 имеем |
|||||||
|
|
|
|
|
|
11 |
|
|
12 |
|
|
21 |
22 |
|
оценки 0 ≤ ω2 |
≤ 1 ; 0 ≤ ω2 |
≤ 1, которые позволяют ввести |
||||||||||||
|
|
11 |
|
|
|
|
21 |
|
|
|
|
|
|
|
|
|
ω11 |
= cos ϕ |
|
|
|
|
|
|
|
|
|||
обозначения |
ω21 |
= sin ϕ , |
приводящие к |
требуемому виду |
матрицы Q , поскольку из полученных соотношений также следует, что ω112 + ω221 = 1.
Случай det Q = −1 рассматривается аналогично.
Теорема доказана.
158 |
Аналитическая геометрия и линейная алгебра |
Следствие Матрица перехода от одного ортонормированного
5.1.1.базиса на плоскости к другому ортогональная.
Доказательство.
В § 1.8 было показано, что S – матрица перехода от одной
ортонормированной системы координат на плоскости к дру- гой − может иметь один из двух следующих видов:
cos ϕ |
− sin ϕ |
|
|
|
или |
|
cos ϕ |
sin ϕ |
|
|
|
, |
|
|
|
|
|
||||||||
sin ϕ |
cos ϕ |
|
|
|
|
sin ϕ |
− cos ϕ |
|
|
|
где ϕ – угол между первыми базисными векторами. Но тогда
матрица перехода S ортогональная в силу теоремы 5.1.4.
Следствие доказано.
§5.2. Операторы и функционалы. Отображения
ипреобразования плоскости
Вводимое в курсе математического анализа понятие функции (как правила, устанавливающего однозначное соответствие между числом, принадлежащим области определения, и числом, принадлежащим множеству значений) может быть естественным образом обобщено на случай, когда область определения и область значений не являются числовыми множествами.
Определение |
ˆ |
Будем говорить, что задан оператор A , действую- |
5.2.1.щий на множестве Ω со значениями в множест-
ве Θ , если указано правило, по которому каждому элементу множества Ω поставлен в соответствие единственный элемент из множества Θ .