Разложение по стандартному базису
Рассмотрим
в пространстве декартову систему
координат
.
Обозначим через
вектора единичной длины, направленные
по осям
соответственно. Эту упорядоченную
тройку векторов называютсястандартным
базисом(см. рис.). Этот набор векторов
ортонормирован в том смысле, что

Стандартный
базис на плоскости состоит из двух
векторов
.
Теорема.Для любого вектора
существуют единственный набор чисел
называемый координатами вектора
относительно стандартного базиса и
такой, что

Доказательство.
Сначала заметим, что если
-- параллелепипед с основанием
,
то

Итак,
пусть нам дан произвольный вектор
реализованный в начале координат.
Опустим перпендикуляры из конца вектора
,
точки
на оси
. Получим точки
соотвественно. Достроим пирамиду
до прямоугольного параллелепипеда
и применим соотношение (8):
.
Так как
,
то
для подходящего и единственным образом
определенного числа
(см. замечание после определения
произведения вектора на число). Аналогично,
и
.
Собирая все вместе, получаем (7)□
В
координатах арифметические операции
над векторами выражаются следующим
образом. Пусть вектора
имеют координаты
и
соответственно. Тогда координаты
векторов
и
будут

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

Теорема.Пусть
и известны координаты точек
и
–
и
соответственно. Тогда

Доказательство.
Имеет место равенство
.Из определения координат вектора
вытекает, что координаты вектора,
реализованного в начале координат,
совпадают с координатами концевой
точки. Следовательно,

Аналогично доказываются оставшиеся два равенства. □
Орт и направляющие косинусы
Длина
вектора
выражается через его координаты следующим
образом

Эта формула есть простое следствие теоремы Пифагора.
Пусть
- углы, которые образует ненулевой
вектор
с осями
соответственно. Тогда
назовемнаправляющими косинусами
вектора
.
Вектор,
сонаправленный с ненулевым вектором
,
и имеющий единичную длину, назовемортоми обозначим
.
Нетрудно
видеть, что, если
-- ненулевой вектор, то координаты орта
имеют вид
,
причем они совпадают с направляющими
косинусами вектора
:

Зная длину и направляющие косинусы, можно найти координаты вектора по формулам

Скалярное произведение геометрических векторов
Скалярным
произведением векторов
называется произведение длин этих
векторов на косинус угла между ними:

Если один из векторов нулевой, то и скалярное произведение равно 0.
Это
произведение называется скалярным,
поскольку двум векторам сопоставляется
число -- скалярная величина. Отметим
свойства скалярного произведения. Сразу
из определения следует симметричность:
скалярное произведение не зависит от
порядка сомножителей:
.
Скалярным
квадратом называется скалярное
произведение вектора на самого себя:
.
Имеет место положительная определенность
и невырожденность скалярного произведения:
если
,
то
.
В частности, длина вектора выражается через скалярное произведение следующим образом:

Угол между ненулевыми векторами также выражается через скалярное произведение, ибо

Если векторы ортогональны, т. е. лежат на перпендикулярных прямых, то скалярное произведение равно нулю. Очевидно, верно и обратное утверждение. Таким образом, мы получаем критерий ортогональности:

В частности, имеет место ортонормированность стандартного базиса:

Для
доказательства следующего свойства
реализуем вектора
в одной точке O, и прямую ℓ, на которой
лежит вектор
,
превратим в ось Ox, выбрав положительное
направление по вектору
.
Будем обозначать
координаты векторов
на оси Ox. Тогда

Мы применили формулу (14) предыдущего параграфа, а также применили правило покоординатного сложения векторов. Итак, мы доказали билинейность:


Действительно,
равенство
верно в силу симметричности скалярного
произведения, а равенство
доказывается, как и выше:

Вычисление
скалярного произведения в координатах.
Если
и
,
то

Доказательство. Применяем билинейность и учитываем (4).
Следствие.Если вектора
ненулевые, то

В
частности, вектора
ортогональны тогда и только тогда, когда

