Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]


Скалярное произведение векторов и его свойства

Скалярное произведение векторов и его свойства


Скалярным произведением двух ненулевых векторов называется число, равное произведению длин этих векторов на косинус угла между ними. Если хотя бы один из двух векторов нулевой, то угол между ними не определён, а скалярное произведение считается равным нулю. Скалярное произведение векторов \vec{a} и \vec{b} обозначается


\bigl\langle\vec{a}, \vec{b}\bigr\rangle= \bigl|\vec{a}\bigr|\cdot \bigl|\vec{b}\bigr|\cdot\cos\varphi,
(1.7)

где \varphi — величина угла между векторами \vec{a} и \vec{b}.


Скалярное произведение вектора самого на себя \langle\vec{a},\vec{a}\rangle=|\vec{a}|^2 называется скалярным квадратам.


Углы между векторами

Пример 1.13. Найти скалярные произведения \langle\vec{a},\vec{b}\rangle,\langle\vec{b},\vec{a}\rangle,\langle\vec{a},\vec{c}\rangle,\langle\vec{b},\vec{c}\rangle,\langle\vec{a},\vec{d}\rangle,\langle\vec{b},\vec{d}\rangle,\langle\vec{c},\vec{d}\rangle, если известно, что |\vec{a}|=1,~|\vec{b}|=2,|\vec{c}|=4,|\vec{d}|=1, угол \varphi между векторами \vec{a} и \vec{b} равен \frac{\pi}{3}, \vec{c}\uparrow\downarrow\vec{b}, а вектор \vec{d} образует с вектором \vec{a} угол \delta=\frac{5\pi}{6} (рис.1.36).


Решение. По определению находим


\langle\vec{a},\vec{b}\rangle=|\vec{a}|\cdot|\vec{b}|\cdot\cos\varphi=1\cdot2\cdot\cos\frac{\pi}{3}=1;\qquad \langle\vec{b}, \vec{a}\rangle= |\vec{b}|\cdot|\vec{a}|\cdot\cos\varphi=2\cdot1\cdot\cos\frac{\pi}{3}=1.

Так как векторы \vec{b} и \vec{c}противоположно направленные, то угол \psi между векторами \vec{a} и \vec{c} равен \frac{2\pi}{3}. Поэтому


\langle\vec{a},\vec{c}\rangle=|\vec{a}|\cdot|\vec{c}|\cdot\cos\psi=1\cdot4\cdot\cos\frac{2\pi}{3}=-2.

Угол между противоположно направленными векторами \vec{b} и \vec{c} равен \pi, поэтому


\langle\vec{b},\vec{c}\rangle=|\vec{b}|\cdot|\vec{c}|\cdot\cos\pi=2\cdot4\cdot\cos\pi=-8.

Вектор \vec{d} ортогонален вектору \vec{b} (и вектору \vec{c}), так как величина угла между ними равна \frac{5\pi}{6}-\frac{\pi}{3}=\frac{\pi}{2}, а \cos\frac{\pi}{2}=0. Поэтому \langle\vec{b},\vec{d}\rangle=\langle\vec{c},\vec{d}\rangle=0.


Угол \delta между векторами \vec{a} и \vec{d} равен \frac{5\pi}{6}, поэтому \langle\vec{a},\vec{d}\rangle=1\cdot1\cdot\cos\frac{5\pi}{6}=-\frac{\sqrt{3}}{2}.




Геометрический смысл скалярного произведения векторов


Рассмотрим ортогональную проекцию \overrightarrow{\operatorname{pr}}_{\vec{b}}\vec{a} ненулевого вектора \vec{a} на ось, задаваемую вектором \vec{b}\ne\vec{o} (рис. 1.37). Согласно пункту 1 замечаний 1.4, алгебраическое значение \operatorname{pr}_{\vec{b}}\vec{a} длины проекции равно произведению длины вектора \vec{a} на косинус угла между векторами \vec{a} и \vec{b}:


\operatorname{pr}_{\vec{b}}\vec{a}=|\vec{a}|\cdot\cos\varphi.

Умножив обе части этого равенства на |\vec{b}|, получим |\vec{b}|\cdot\operatorname{pr}_{\vec{b}}\vec{a}=|\vec{a}|\cdot|\vec{b}|\cdot\cos\varphi.. Сравнивая с (1.7), делаем вывод: скалярное произведение ненулевых векторов \vec{a} и \vec{b} равно произведению длины вектора \vec{b} на алгебраическое значение длины ортогональной проекции вектора \vec{a} на ось, задаваемую вектором \vec{b}:


\bigl\langle\vec{a}, \vec{b}\bigl\rangle\,= |\vec{b}|\cdot \operatorname{pr}_{\vec{b}}\vec{a}\,.
(1.8)

Ортогональная проекция вектора на ось

Эта формула остается справедливой и в случае \vec{a}= \vec{o}, так как \operatorname{pr}_{\vec{b} }\vec{o}=0.


Аналогично (см. пункт 2 замечаний 1.4) доказывается формула \langle\vec{a},\vec{b}\rangle=|\vec{a}|\cdot\overrightarrow{\operatorname{pr}}_{\vec{a}}\vec{b} и делается вывод о том, что скалярное произведение ненулевых векторов \vec{a} и \vec{b} равно произведению длины вектора \vec{a} на алгебраическое значение длины ортогональной проекции вектора \vec{b} на ось, задаваемую вектором \vec{a}.




Алгебраические свойства скалярного произведения


Для любых векторов \vec{a},\vec{b},\vec{c} и любого действительного числа \lambda:


1. \langle\vec{a}, \vec{b}\rangle= \langle\vec{b}, \vec{a}\rangle;


2. \langle\vec{a}+ \vec{b},\vec{c} \rangle= \langle\vec{a}, \vec{c}\rangle+ \langle\vec{b},\vec{c}\rangle;


3. \langle\lambda\cdot\vec{a}, \vec{b}\rangle= \lambda\cdot\langle\vec{a},\vec{b}\rangle;


4. \langle\vec{a},\vec{b}\rangle\geqslant0, причем из равенства \langle\vec{a},\vec{b}\rangle=0 следует, что \vec{a}=\vec{o}.


Первое свойство определяет симметричность скалярного произведения, второе и третье — аддитивность и однородность по первому множителю, четвертое свойство — неотрицательность скалярного квадрата. Эти свойства аналогичны свойствам произведения чисел: первое свойство соответствует закону коммутативности умножения чисел, второе — закону дистрибутивности умножения по отношению к сложению, третье — закону ассоциативности умножения. Поэтому рассматриваемая операция и называется произведением векторов. Поскольку ее результатом является число (скаляр), то такое произведение векторов называется скалярным.


Свойства 1 и 4 следуют непосредственно из определения. Докажем, например, аддитивность скалярного произведения по первому множителю (свойство 2): \langle\vec{a}+\vec{b},\vec{c}\rangle=\langle\vec{a},\vec{c}\rangle+\langle\vec{b},\vec{c}\rangle. Если вектор \vec{c} — нулевой, то все скалярные произведения равны нулю по определению, т.е. для \vec{c}=\vec{o} имеем верное равенство. Пусть \vec{c}\ne\vec{o}. Учитывая, что проекция суммы векторов равна сумме проекций (то же относится и к алгебраическим значениям длин ортогональных проекций), можно записать \operatorname{pr}_{\vec{c}}(\vec{a}+\vec{b})=\operatorname{pr}_{\vec{c}}\vec{a}+\operatorname{pr}_{\vec{c}}\vec{b}.


Умножая обе части на |\vec{c}|\ne0, получаем |\vec{c}|\cdot\operatorname{pr}_{\vec{c}}(\vec{a}+\vec{b})=|\vec{c}|\cdot\operatorname{pr}_{\vec{c}}\vec{a}+|\vec{c}|\operatorname{pr}_{\vec{c}}\vec{b}.


Учитывая (1.8), последнее равенство равносильно \langle\vec{a}+\vec{b},\vec{c}\rangle=\langle\vec{a},\vec{c}\rangle+\langle\vec{b},\vec{c}\rangle, что и требовалось доказать. Однородность скалярного произведения по первому множителю (свойство 3) доказывается аналогично, используя соответствующее свойство ортогональных проекций векторов.




Замечания 1.9


1. Свойства аддитивности и однородности скалярного произведения означают линейность скалярного произведения по первому множителю:


\bigl\langle\alpha\cdot\vec{a}+\beta\cdot\vec{b},\vec{c}\bigl\rangle=\alpha\cdot\langle\vec{a},\vec{c}\rangle+\beta\cdot\langle\vec{b},\vec{c}\rangle

для любых векторов \vec{a},\vec{b},\vec{c} и любых действительных чисел \alpha и \beta.


2. В силу коммутативности скалярное произведение линейно и по второму множителю, т.е. линейно по любому множителю.


3. Для любых векторов \vec{a},\vec{b} справедливо неравенство Коши — Буняковского


\bigl\langle\vec{a},\vec{b}\bigl\rangle^2\leqslant\langle\vec{a},\vec{a}\bigl\rangle\cdot\langle\vec{b},\vec{b}\rangle.

Это неравенство выражает условие ограниченности косинуса угла между ненулевыми векторами. В самом деле, поскольку |\cos\varphi|\leqslant1, то из (1.7)


\cos^2\varphi={\left(\frac{\langle\vec{a},\vec{b}\rangle}{|\vec{a}|\cdot|\vec{b}|}\right)\!}^2=\frac{\langle\vec{a},\vec{b}\rangle^2}{|\vec{a}|^2\cdot|\vec{b}|^2}=\frac{\langle\vec{a},\vec{b}\rangle^2}{\langle\vec{a},\vec{a}\rangle\cdot\langle\vec{b},\vec{b}\rangle}\leqslant1

и, следовательно, справедливо доказываемое неравенство. Заметим, что неравенство Коши — Буняковского выполняется как равенство только для коллинеарных векторов, т.е. при \cos\varphi=\pm1.


4. Из неравенства Коши — Буняковского следует неравенство треугольника (длина стороны треугольника меньше суммы длин двух других его сторон и больше модуля их разности):


\bigl||\vec{a}|-|\vec{b}|\bigl|\leqslant|\vec{a}+\vec{b}|\leqslant|\vec{a}|+|\vec{b}|.

Докажем последнее неравенство |\vec{a}+\vec{b}|\leqslant|\vec{a}|+|\vec{b}|. Используя неравенство |\langle\vec{a},\vec{b}\rangle|\leqslant|\vec{b}|\cdot|\vec{b}|, которое следует из неравенства Коши — Буняковского, оценим скалярный квадрат суммы векторов:


\Bigl|\vec{a}+\vec{b}\,\Bigl|^2=\langle\vec{a}+\vec{b},\vec{a}+\vec{b}\rangle=\langle\vec{a},\vec{a}\rangle+2\cdot\langle\vec{a},\vec{b}\rangle+\langle\vec{b},\vec{b}\rangle\leqslant|\vec{a}|^2+2\cdot|\vec{a}|\cdot|\vec{b}|+|\vec{b}|^2=\Bigl(|\vec{a}|+|\vec{b}|\Bigl)^2,

т.е. \Bigl|\vec{a}+\vec{b}\,\Bigr|^2\leqslant\Bigl(|\vec{a}|+|\vec{b}|\Bigr)^2, что равносильно доказываемому неравенству.




Геометрические свойства скалярного произведения


С помощью скалярного произведения можно находить основные метрические величины: длины отрезков (или, что то же самое, длины векторов) и величины углов.


1. Длина вектора а находится по формуле: |\vec{a}|=\sqrt{\langle\vec{a},\vec{a}\rangle}.


2. Величина \varphi угла между ненулевыми векторами находится по формуле:


\cos\varphi=\frac{\langle\vec{a},\vec{b}\rangle}{|\vec{a}|\cdot|\vec{b}|}=\frac{\langle\vec{a},\vec{b}\rangle}{\sqrt{\langle\vec{a},\vec{a}\rangle}\cdot\sqrt{\langle\vec{b},\vec{b}\rangle}}

Отсюда заключаем, что:


— ненулевые векторы \vec{a} и \vec{b} перпендикулярны \left(\varphi=\frac{\pi}{2}\right) тогда и только тогда, когда их скалярное произведение равно нулю: \vec{a}\perp\vec{b}~\Leftrightarrow~\langle\vec{a},\vec{b}\rangle=0;


— угол между ненулевыми векторами \vec{a} и \vec{b} острый \left(\varphi<\frac{\pi}{2}\right) тогда и только тогда, когда их скалярное произведение положительно;


— угол между ненулевыми векторами \vec{a} и \vec{b} тупой \left(\varphi>\frac{\pi}{2}\right) тогда и только тогда, когда их скалярное произведение отрицательно.


3. Алгебраическое значение длины ортогональной проекции вектора \vec{a} на ось, задаваемую вектором \vec{b}\ne\vec{o}\colon\operatorname{pr}_{\vec{b}}\vec{a}=\frac{\langle\vec{a},\vec{b}\rangle}{|\vec{b}|}.


4. Ортогональная проекция вектора \vec{a} на ось, задаваемую вектором \vec{b}\ne\vec{o}\colon\overrightarrow{\operatorname{pr}}_{\vec{b}}\vec{a}=\frac{\langle\vec{a},\vec{b}\rangle}{\langle\vec{b},\vec{b}\rangle}\cdot\vec{b}.


Если ось задается единичным вектором \vec{e}, то \overrightarrow{\operatorname{pr}}_{\vec{e}}\vec{a}=\langle\vec{a},\vec{e}\rangle\cdot\vec{e}.


Свойства 1 и 2 следуют непосредственно из определения скалярного произведения. Третье и четвертое свойства вытекают из геометрического смысла скалярного произведения (см. (1.8)) и п.1 замечаний 1.4.




Пример 1.14. Доказать тождества


1)~\langle\vec{a},\vec{b}\rangle=\frac{1}{4}\!\left(\Bigl|\vec{a}+\vec{b}\Bigl|^2-\Bigl|\vec{a}-\vec{b}\Bigl|^2\right);\quad 2)~\Bigl|\vec{a}+\vec{b}\Bigl|^2+\Bigl|\vec{a}-\vec{b}\Bigl|^2=2\cdot|\vec{a}|^2+2\cdot|\vec{b}|^2.

Решение. Используя коммутативность и линейность скалярного произведения, запишем равенства


\langle\vec{a}+\vec{b},\vec{a}+\vec{b}\rangle=\langle\vec{a},\vec{a}\rangle+2\cdot\langle\vec{a},\vec{b}\rangle+\langle\vec{b},\vec{b}\rangle;\qquad \langle\vec{a}-\vec{b},\vec{a}-\vec{b}\rangle= \langle\vec{a}, \vec{a}\rangle-2\cdot\langle\vec{a}, \vec{b}\rangle+ \langle\vec{b},\vec{b}\rangle.

Заменяя скалярные квадраты векторов квадратами их длин (см. геометрическое свойство 1), получаем


\bigl|\vec{a}+\vec{b}\bigl|^2=|\vec{a}|^2+2\cdot\langle\vec{a},\vec{b}\rangle+|\vec{b}|^2;\qquad \bigl|\vec{a}-\vec{b}\bigl|^2=|\vec{a}|^2-2\cdot\langle\vec{a},\vec{b}\rangle+|\vec{b}|^2.

Если из первого равенства вычесть второе, то придем к тождеству (а). Если же сложить оба равенства, то получим тождество (б).


Доказанные равенства выражают следующие свойства параллелограмма, построенного на векторах \vec{a} и \vec{b} (\vec{a}+\vec{b} и \vec{a}-\vec{b} — его диагонали):


а) скалярное произведение векторов равно одной четвертой от разности квадратов диагоналей параллелограмма, построенного на множителях;

б) сумма квадратов диагоналей параллелограмма равна сумме квадратов его сторон.



Продолжение
Выражение скалярного произведения через координаты векторов
Математический форум (помощь с решением задач, обсуждение вопросов по математике).
Кнопка "Поделиться"
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.

Часовой пояс: UTC + 3 часа [ Летнее время ]


Яндекс.Метрика

Copyright © 2010-2022 MathHelpPlanet.com. All rights reserved