7.1. Скалярное произведение. |
43 |
Лекция 7. Скалярное произведение двух векторов: геометрические свойства, алгебраические свойства, выражение скалярного произведения в декартовой системе координат.
7.1. Скалярное произведение.
7.1.1. Определение скалярного произведения.
Определение. Скалярным произведением двух векторов называется чис-
ло, равное произведению длин этих векторов на косинус угла между ними. .
Скалярное произведение векторов a и b будем обозначать символом ab = a·b. Если угол между векторами a и b равен ϕ, то по определению скалярное произведение этих двух векторов выражается формулой
ab = |a||b| COS ϕ |
(7.1) |
Сформулируем другое определение скалярного произведения двух векторов, эквивалентное данному определению. Для этого воспользуемся понятием проекции вектора b на ось, определяемую вектором a. В соответствии с обозначениями введенными в лекции 5 будем обозначать проекцию вектора b на ось, определяемую вектором a, символом прAb. На основании теоремы о свойствах проекции, получим
прAb = |b| COS ϕ |
(7.2) |
Сопоставление равенств (7.1) и (7.2) приводит нас к следующему выражению для скалярного произведения:
ab = |a| прAb |
(7.3) |
Конечно, в проведенных рассуждениях можно было бы поменять ролями векторы a и b. При этом мы пришли бы к следующему выражению для скалярного произведения:
ab = |b| прBa |
(7.4) |
Выражения (7.3) и (7.4) приводят нас к следующему определению скалярного произведения.
Определение. Скалярным произведением двух векторов называется чис-
ло, равное произведению длины одного из этих векторов на проекцию другого вектора на ось, определяемую первым из указанных векторов. .
Понятие скалярного произведения векторов родилось в механике. Если вектор a изображает силу, точка приложения которой перемещается из
44
начала в конец вектора b, то работа w указанной силы определяется равенством
w = ab = |a||b| COS ϕ |
(7.5) |
т. е. равна скалярному произведению векторов a и b.
7.1.2. Геометрические свойства скалярного произведения.
Справедлива следующая теорема.
Теорема 7.1. Необходимым и достаточным условием ортогональности двух векторов является равенство нулю их скалярного произведения.
Доказательство. Необходимость. Пусть векторы a и b ортогональны, ϕ - угол между ними. Тогда COS ϕ = 0 и в силу формулы (7.1) скалярное произведение ab равно нулю.
Достаточность. Пусть скалярное произведение ab равно нулю. Докажем, что векторы a и b ортогональны. Прежде всего исключим тривиальный случай, когда хотя бы один из векторов a или b является нулевым (нулевой вектор имеет неопределенное направление, и его можно считать ортогональным любому вектору). Если же оба вектора a и b ненулевые, то |a| > 0 и |b| > 0, и поэтому из равенства ab = 0 и из формулы (7.1) вытекает, что COS ϕ = 0, т. е. векторы a и b ортогональны.
Теорема 7.2. Два ненулевых вектора a и b составляют острый (тупой) угол тогда и только тогда, когда их скалярное произведение положительно (отрицательно).
Доказательство. Так как векторы a и b, то в силу формулы (7.1) знак скалярного произведения совпадает со знаком COS ϕ. Но если угол ϕ не превосходит π, то COS ϕ положителен тогда и только тогда, когда ϕ - острый угол, и отрицателен тогда и только тогда, когда ϕ - тупой угол.
7.1.3. Алгебраические свойства скалярного произведения.
Скалярное произведение векторов обладает следующими четырьмя свойствами:
1.ab = ba (переместительное свойство);
2.(αa)b = α(ba) (сочетательное свойство относительно числового множителя );
3.(a + b)c = ac + bc (распределительное свойство относительно суммы векторов);
4.aa > 0, если a - ненулевой вектор, и aa = 0, если a - нулевой вектор.
Убедимся в справедливости этих свойств. Свойство 1. непосредственно вытекает из формулы (7.4). Для доказательства свойства 2. воспользуемся определением скалярного произведения через проекции векторов,
7.1. Скалярное произведение. |
45 |
т. е. формулой (7.4). Учитывая, что проекция вектора на ось обладает линейным свойством прB(αa) = αпрBa (см. лекцию 5), получим
(αa)b = |b| · прB(αa) = α|b|прBa = α(ab) |
(7.6) |
Тем самым свойство 2. доказано.
Для доказательства свойства 3. можно снова воспользуемся формулой (7.4) и линейным свойством проекции вектора на ось.
Для доказательства свойства 4. заметим, что непосредственно из формулы (7.1) вытекает, что aa = |a|2, т. е. скалярный квадрат вектора равен квадрату длины этого вектора. Отсюда, в частности, вытекает, что скалярный квадрат aa положителен, когда вектор a ненулевой, и равен нулю, когда вектор a нулевой.
Доказанные свойства имеют фундаментальное значение. Они позволяют при скалярном перемножении векторных многочленов выполнять действия почленно, не заботясь при этом о порядке векторных множителей и сочетая числовые множители.
7.1.4.Выражение скалярного произведения в декартовых координатах.
Теорема 7.3. Если два вектора a и b определены своими декартовыми прямоугольными координатами
a = (x1, y1, z1), b = (x2, y2, z2), |
(7.7) |
то скалярное произведение этих векторов равно сумме попарных произведений их соответствующих координат, т. е.
|
|
|
(7.8) |
|
a · b = x1x2 + y1y2 + z1z2 |
|
|
|
|
|
|
Доказательство. Если векторы a и b определены декартовыми прямоугольными координатами, то это означает, что они могут быть представлены в ортонормированном базисе (e1, e2, e3) (см. Лекцию 5) как
a = x1e1 + y1e2 + z1e3, |
|
b = x2e1 + y2e2 + z2e3, |
(7.9) |
где eiej = δij . В дальнейшем для простоты вместо (e1, e2, e3) будем использовать обозначения (i, j, k): базисные векторы (i, j, k) как и (e1, e2, e3) являются попарно ортогональными и имеют единичную длину, так что
ii = 1, ij = 0, ik = 0,
ji = 0, jj = 1, jk = 0,
ki = 0,
kj = 0, (7.10) kk = 1.
Далее, учитывая, что a = x1i + y1j + z1k, b = x2i + y2j + z2k и опираясь на установленную возможность почленного скалярного перемножения
46 |
|
векторных многочленов, получим |
|
a · b = x1x2ii + x1y2ij + x1z2ik + y1x2ji + y1y2jj + |
|
+y1z2jk + z1x2ki + z1y2kj + z1z2kk = |
|
= x1x2 + y1y2 + z1z2. |
(7.11) |
|
|
Следствие 1. Необходимым и достаточным условием ортогональности векторов a = x1i + y1j + z1k, b = x2i + y2j + z2k является равенство
x1x2 + y1y2 + z1z2 = 0. |
(7.12) |
Это следствие непосредственно вытекает из теоремы 7.3 и формулы (7.11).
Следствие 2. Угол ϕ между векторами a = x1i + y1j + z1k, b = x2i + y2j + z2k определяется по формуле
COS ϕ = |
|
x1x2 |
+ y1y2 |
+ z1z2 |
(7.13) |
||
|
|
|
|
|
|||
px12 + y12 + z12px22 + y22 + z22 |
|||||||
|
|
В самом деле, угол между векторами определяется по форму-
ле COS ϕ = a · b и, если воспользоваться формулой (7.8) для
|a||b|
скалярного произведения и формулой для длины вектора, то получим (7.13).