1 A1 2 A 2 ... n A n B (**).
(*)+(**)= ( 1 1 ) A1 ( 2 2 ) A2 ... ( n n ) An B ,т.е. ( 1 1 , 2 2 ,..., n n ) -
решение системы (1).
б)Пусть r =n (значит m n ), докажем, что сумма (1) – определена.
Пусть решений два, тогда 1 A1 2 A 2 ... n A n B , 1 A1 2 A 2 ... n A n B ,хотя
бы одно i i , тогда ( 1 1 ) A1 ( 2 2 ) A2 ... ( n n ) An 0 ,но так как ранг мат-
рицы А равен n ,то все столбцы матрицы А линейно независимы, значит линейная ком-
бинация этих столбцов = 0, только когда все коэффициенты = 0, т.е. ( 1 1 ) 0 ,
… ( n n ) 0 - противоречие => 1 решение.(ч.т.д.)
Замечание: Неопределённая сумма имеет б.много решений, т.к. из (*) и (**)следует,
что ( k 1 1 , k 2 2 ,..., k n n ) , где k=0,1,-1,2,-2,… -является решениями.
Важно отметить: Общее решение неоднородной СЛУ равно сумме общего решения
соответствующей ОСЛУ и произвольного но фиксированного решения СЛУ. Отсюда
следует что если е1,е2…еn-r - ФСР (ОСЛУ) и е0 - произвольное фиксированное решение
СЛУ то общее решение СЛУ имеет вид е 0 С 1 e1 С 2 e 2 ... C n r e n r , где
С1,С2…Cn-r – произвольные числа.
Сформулированное утверждение следует из следующих очевидных утверждений : 1)
Сумма любого решения неоднородной СЛУ и соответствующей ей ОСЛУ является ре-
шением неоднородной СЛУ.
2) Разность двух произвольных решений неоднородной системы двух уравне-
ний является решением соответствующей ОСЛУ.
Матричная форма доказательств этих утверждений самая короткая.
M 1 M 2 ( x 2 x1 , y 2 y1 , z 2 z1 )
Следствие 2: Для того чтобы два вектора были коллинеарны необхо-
димо и достаточно чтобы их координаты были пропорциональны.
Доказательство: Пусть вектор a
параллелен вектору b следовательно
b ( а ) (**) a ( x 1 , y 1 , z 1 ) b ( x 2 , y 2 , z 2 ) . Векторное равенство (**) равносильно:
x2 y 2 z 2
Если все координаты отличны от 0 то
x
2 x 1 x1 y1 z1 .
y 2 y1
z 2 z1
29. Вывод формул выражающих координаты точки в одной ДСК через координа-
ты этой же точки в другой ДСК.
O , ( e1 , e 2 ) O ' , ( e1 ' , e 2 ' )
В старой системе: O' (1 ' , 2 ' ) e '1 ( 11 , 21 ) e ' 2 ( 12 , 22 ) .
OM O' M OO ' 1e1 2 e2 x ' e1 ' y ' e2 ' 1e1 2 e2
x ' (11e1 21e2 ) y ' (12 e1 22 e2 ) (11 x' 12 y '1 )e1
( 21 x ' 22 y ' 2 )e2
OM x e 1 y e 2 ( 11 x ' 12 y ' 1 ) e 1 ( 21 x ' 22 y ' 2 ) e 2
В силу единственности разложения вектора по базису получим: . Эти
x 11x'12y'1
y x' y'
21 22 2
формулы выражают старые координаты точки М через ее новые координаты.
О ' ( 1 , 2 , 3 ) e '1 ( 11 , 21 , 31 ) e ' 2 ( 12 , 22 , 32 ) e ' 3 ( 13 , 23 , 33 )
x , y , z старые
M тогда связь между новыми и старыми координатами:
x ' , y ' , z ' новые
x 11x'12 y'13z'1
y 21x'22 y'23z'2
z 31x'32 y'33z'3
2 2
5) a a a | a |
Выражение скалярного произведения через координаты перемножаемых векторов:
Пусть в пространстве задана ДПСК. Составим таблицу скалярных произведений базис-
ных векторов.
i i 1 i j 0 ik 0
j i 0 j j 1 j k 0
k i 0 k j0 k k 1
Пусть a xi y j zk b x'i y ' j z 'k
a b ( x i y j z k )( x ' i y ' j z ' k ) xx ' yy ' zz '
a b xx ' yy ' zz '
Необходимое и достаточное условие перпендикулярности двух ненулевых векторов:
xx ' yy ' zz ' 0
2
a a a x2 y2 z2 a x2 y2 z2
Если a x , y , z и вектор a составляет с осями координат углы ( a , i ) (a , j)
x a cos
( a , k ) тогда y a cos . cos , cos , cos называются направляющими cos век-
z a cos
тора a .
2 2 2 2
a 1 a 1 cos cos cos
Если то
2 2 2
cos cos cos 1 .
Пусть задана координата двух точек М x , y, z и М ' x ' , y ' , z ' тогда
2
МM ' x ' x , y ' y , z ' z МM ' ( x ' x ) 2
( y ' y ) 2
( z ' z ) 2
1
S AB BC sin( AB , BC )
2
3) [ a , b ] [ b , a ]
Доказательство: [ a , b ] [b , a ]
4) [( a ), b ] [ a , b ] (а)
[ a , ( b )] [ a , b ] (б)
Доказательство: Докажем равенство (а). При α=0 или a параллельном b утвержде-
ние очевидно. Пусть α≠0 и a не параллельно b .
Правая часть: [ a , b ] [ a , b ] a b sin
Левая часть: 1. α >0 [( a ), b ] a b sin a b sin
2. α <0 [( a ), b ] a b sin a b sin( ) a b sin
Векторы в обеих частях коллинеарны так как и тот и другой перпендикулярны векторам
a и b , осталось доказать что эти векторы соноправленны. Если α >0 то эти векторы
направлены также как и [ a , b ] . Если α <0, то каждый из этих векторов направлен про-
тивоположно вектору [ a , b ] (ч.т.д.)
Равенство (б) следует из (а) и свойства (3): [ a , b ] [ b , a ]
5) Дистрибутивность: [ a b , с ] [ a , с ] [ b , с ] (а' )
[a , b с ] [a , b ] [a , с ] (б' )
Доказательство: Докажем равенство (а’). Пусть С единичный вектор(орт
С
С
С ). . Сначала докажем равенство
С
[ a b , с ] [ a , с ] [b , с ] (*) .
От точки О отложим векторы a и С . Через точку О
проведем плоскость перпендикулярную С .
Повернем OA ' по часовой стрелке на 90 градусов если смотреть с
С . OA ' ' OA ' a c sin
конца вектора .
a , c , OA ' ' - правая тройка. OA ' ' a , c . Значит
OA ' ' [ a , c ] . Докажем равенство(*). Повернем тре-
угольник OA’B’ на угол 90 градусов если смотреть с кон-
ца вектора С . OA ' ' [ a , c ]
A '' В ' ' [b , c ] OВ ' ' [ a | b , c ] OB ' ' OA ' ' A ' ' В ' '
[ a b , с ] [ a , с ] [b , с ] (*) доказана. Теперь обе
c
части равенства (*) умножим на :
[a b , с ] [a , с ] [b , с ] (ч.т.д.)
Теорема 2: Для того чтобы три вектора a , b , с были компланарны( линейно зависи-
мы) необходимо и достаточно чтобы [ a , b ] c 0 (1)
Доказательство: Пусть a , b , с –компланарны, Если бы эти векторы были не ком-
планарны, тогда на этих векторах можно построить параллелипипед. Объём которого
равен V=а,b*c0- а это противоречит (1). Получили противоречие a , b , с –
компланарны.(ч.т.д.)
Из теорем 1 и 2 следует что [ a , b ] c a [ b , c ] т.к. модули и левой и правой частей
равны объему одного и того же параллелепипеда и тройки a , b , c , a , b , c векторов
имеют одинаковую ориентацию. Поэтому в дальнейшем смешанное произведение бу-
дем обозначать просто a , b , c . Смешанное произведение меняет знак при перестановке
двух сомножителей нечетное число раз, т.к. каждая перестановка двух сомножителей
меняет ориентацию тройки векторов.
Теорема 3: Смешанное произведение векторов a , b , c выражается через их коорди-
наты a ( 1 , 2 , 3 ) , b ( 1 , 2 , 3 ) , с ( 1 , 2 , 3 ) в произвольном базисе ( е 1 , е 2 , е 3 )
1 2 3
следующей формулой: a b c 1 2 3 (е1 , е2 , е3 ) (3)
1 2 3
a b [( 1 e1 2 e 2 3 e 3 ) ( 1 e1 2 e 2 3 e 3 )]
св.4 св.5
Доказательство: ( 1 2 2 1 )[ e1 , e 2 ] ( 2 3 3 2 )[ e 2 , e 3 ]
( 3 1 1 3 )[ e 3 , e 1 ] (@)
с 1 e1 2 e 2 3 e 3
[ a , b ] c @ ( 1 e1 2 e 2 3 e3 ) ( 1 2 2 1 ) 3 [ e1 , e2 ] e3
( 2 3 3 2 ) 1 [ e 2 , e3 ] e1 ( 3 1 1 3 ) 2 [ e3 , e1 ] e2 ( 1 2 3
1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 ) e1 , e2 , e3
(ч.т.д.)
1 2 3
1 2 3 ( е1 , е 2 , е3 )
1 2 3
Если базис ( е1 , е 2 , е 3 ) правый ортонормированный то ( е1 , е 2 , е 3 ) 1 и тогда
1 2 3
ab c 1 2 3
1 2 3
Необходимое и достаточное условие компланарности( линейной зависимости) трех
1 2 3
векторов можно теперь записать в координатном виде 1 2 3 0
1 2 3
A
е1 (1, 0 ,
)
C
B
Переход к новой СК: е 2 ( 0 ,1, )
C
1
е3 ( 0 ,0 , )
C
D
Новое начало СК в старой системе O ' ( 0 , 0 , C ) . Уравнение плоскости будет иметь
уравнение(т.е. уравнение (1) переходит в новой СК в уравнение) Z’=0. Значит и уравне-
ние(1) определяет плоскость. (ч.т.д.)
Уравнение (1) и (2) называются общими уравнениями плоскости и прямой на плоско-
сти соответственно.