19.Доказательство
Вектор а x вектор а= |a|.|a|.sin0=|a|.|a|.0=0
20. Смешанное произведение векторов:
Смешанное произведение
Сме́шанное
произведе́ние 
векторов 
— скалярное
произведение вектора 
на векторное
произведение векторов 
и 
:
.
Иногда его называют тройным скалярным произведением векторов, по всей видимости из-за того, что результатом является скаляр (точнее — псевдоскаляр).
Геометрический смысл: Модуль смешанного произведения численно равен объёму параллелепипеда, образованного векторами .
Свойства
Смешанное произведение кососимметрично по отношению ко всем своим аргументам:
т. е. перестановка любых двух сомножителей меняет знак произведения. Отсюда следует, что
Смешанное произведение в правой декартовой системе координат (в ортонормированном базисе) равно определителю матрицы, составленной из векторов
и
:
Смешанное произведение в левой декартовой системе координат (в ортонормированном базисе) равно определителю матрицы, составленной из векторов и , взятому со знаком «минус»:
В частности,
Если какие-то два вектора коллинеарны, то с любым третьим вектором они образуют смешанное произведение, равное нулю.
Если три вектора линейно зависимы (т. е. компланарны, лежат в одной плоскости), то их смешанное произведение равно нулю.
Геометрический смысл — Смешанное произведение по абсолютному значению равно объёму параллелепипеда (см. рисунок), образованного векторами и ; знак зависит от того, является ли эта тройка векторов правой или левой.
Квадрат смешанного произведения векторов равен определителю Грама, определяемому ими[1]:215.
Три вектора, определяющие параллелепипед.
Смешанное произведение удобно записывается с помощью символа (тензора) Леви-Чивита:
(в последней формуле в ортонормированном базисе все индексы можно писать нижними; в этом случае эта формула совершенно прямо повторяет формулу с определителем, правда, при этом автоматически получается множитель (-1) для левых базисов).
Вычисление.
Задание. Вычислить объем
пирамиды,
построенной на векторах 
, 
, 
Решение. Найдем
смешанное произведение заданных
векторов, для это составим определитель,
по строкам которого запишем координаты
векторов 
, 
и 
:
Выражение векторного произведения через координаты сомножителей
Пусть в пространстве выбран ортонормированный базис i, j, k. Наложим на этот базис еще одно дополнительное условие, а именно: из конца вектора k поворот от i к j по кратчайшему направлению должен быть виден против часовой стрелки.
Определение 10.27
Упорядоченную тройку некомпланарных
векторов 
будем
называть правой
тройкой векторов,
если из конца третьего вектора 
поворот
от первого вектора 
ко
второму вектору 
по
кратчайшему направлению виден против
часовой стрелки. Если поворот виден по
часовой стрелке, то тройку называют левой
тройкой векторов.
Оказывается, если векторы правой тройки изменять непрерывно, но так, чтобы в любой момент времени они были не компланарны, то в любой момент такой деформации эта тройка векторов будет правой тройкой. Аналогичным свойством обладает и левая тройка векторов.
Отметим также, что определение векторного произведения и правой (левой) тройки вектров связаны с наличием в пространстве "физических" объектов: часов, человека и т. п. В абстрактном векторном пространстве, где такие объекты отсутствуют, определить, какая тройка -- правая, а какая -- левая, невозможно. Можно только все некомпланарные тройки векторов разбить на два класса такие, что при непрерывной деформации тройки одного класса, при которой в любой момент векторы тройки не компланарны, тройка все время остается в своем классе.
Итак, пусть в трехмерном пространстве задан ортонормированный базис i, j, k, векторы которого образуют правую тройку векторов. Такой базис будем называть правым.
Используя
определение векторного произведения,
легко проверить следующую таблицу
умножения 
:
a \ b |
i |
j |
k |
i |
0 |
k |
- j |
j |
- k |
0 |
i |
k |
j |
- i |
0 |
Предложение 10.24 Пусть 
, 
.
Тогда
Доказательство.
По условию 
, 
.
В силу предложений
10.20 и 10.21 получим
|
(10.5) |
По тем же правилам
По
таблице умножения 
.
Аналогично находим 
, 
.
Подставив полученные результаты в
формулу (10.5),
получим
Запомнить полученную формулу довольно тяжело. Чтобы облегчить этот процесс, введем еще два дополнительных объекта -- матрицу и определитель.
Матрицей
второго порядка будем
называть таблицу из четырех чисел,
которая обозначается 
, матрицей
третьего порядка называется
таблица из 9 чисел -- 
Определителем матрицы
второго порядка будем называть число 
.
Определитель второго порядка
обозначается 
.
Определителем матрицы третьего порядка будем называть число
Сформулируем словами правило вычисления определителя третьего порядка.
Берем первый элемент первой строки. Мысленно вычеркиваем строку и столбец с этим элементом. Умножаем этот элемент на определитель, оставшийся после вычеркивания. Затем пишем знак "-" и берем второй элемент первой строки. Мысленно вычеркиваем строку и столбец с этим элементом и пишем оставшийся определитель. Затем пишем знак "+" и третий элемент первой строки. Снова вычеркиваем строку и столбец с этим элементом и пишем оставшийся определитель.
В дальнейшем мы увидим, что столь сложно введенное понятие определителя оказывается очень полезным при решении систем линейных уравнений, определении линейной зависимости векторов и во многих других задачах.
Теорема.
Для
компланарности трех векторов 
и 
трехмерного
пространства необходимо и достаточно,
чтобы их смешанное произведение равнялось
нулю.
Доказательство.
Пусть 
,
докажем что векторы
и
компланарны.
Так
как 
,
то векторы 
и
перпендикулярны
в силу необходимого и достаточного условия
перпендикулярности двух векторов.
С другой стороны, по определению
векторного произведения вектор
перпендикулярен
и вектору 
и
вектору 
.
Следовательно, векторы
и
компланарны,
так как перпендикулярны одному вектору
.
Пусть
теперь векторы
и
компланарны,
докажем равенство нулю смешанного
произведения 
.
Так как векторы и компланарны, то вектор перпендикулярен каждому из них, следовательно, скалярное произведение вектора на равно нулю, что означает равенство нулю смешанного произведения .
Итак, теорема полностью доказана.
Покажем применение доказанного условия компланарности трех векторов к решению задач.
Пример.
Компланарны
ли векторы 
,
заданные в прямоугольной системе
координат.
Решение.
Вычислим
их смешанное произведение по координатам:
Так как мы получили ноль, то условие компланарности выполнено, следовательно, заданные векторы компланарны.
Ответ:
векторы компланарны.