Математика / Матрицы, определители

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

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

Опубликовано: 12 мая 2026 г.Обновлено: 12 мая 2026 г.

Формула

u\cdot v=0

orthogonality-dot-product Нулевой вклад вдоль направления

Схема показывает два вектора под прямым углом и подпись u*v=0 рядом с угловым маркером.

Скалярное произведение превращает проверку прямого угла в одно числовое равенство.

Обозначения

$u$: первый вектор, вектор
$v$: второй вектор, вектор
$u\cdot v$: скалярное произведение векторов, число
$0$: нулевое значение скалярного произведения, число

Условия применения

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

Ограничения

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

Подробное объяснение

Скалярное произведение измеряет, насколько один вектор имеет компоненту в направлении другого. Если произведение положительно, направления имеют острый угол; если отрицательно, тупой; если равно нулю, направленной компоненты нет. Поэтому равенство u*v=0 является алгебраической записью взаимной перпендикулярности в евклидовом пространстве.

В координатах R^n стандартное скалярное произведение равно сумме попарных произведений координат. Эта сумма может обнулиться даже тогда, когда все координаты ненулевые. Смысл нуля не в отсутствии координат, а в том, что вклад вдоль одного направления полностью компенсируется. Именно поэтому ортогональность хорошо работает в многомерных задачах: не нужно визуализировать пространство, достаточно вычислить число.

Ортогональность является входом в более крупные конструкции. Ортонормированный базис состоит из взаимно ортогональных единичных векторов, проекция строится так, чтобы ошибка была ортогональна выбранному подпространству, а метод наименьших квадратов заменяет невозможное уравнение условием ортогональности остатка. Поэтому формула u*v=0 выглядит короткой, но связывает геометрию прямого угла, координатные расчеты и прикладные методы линейной алгебры.

Как пользоваться формулой

Уточните, какое скалярное произведение используется в задаче.
Перемножьте соответствующие координаты двух векторов.
Сложите полученные произведения.
Сравните сумму с нулем.
Если сумма равна нулю, зафиксируйте ортогональность; если нет, векторы не ортогональны.

Историческая справка

Идея перпендикулярности появилась в геометрии задолго до современной алгебры, но запись через скалярное произведение стала частью более позднего векторного языка. В XIX веке Грассман развивал общий язык протяженных величин, подпространств и независимых направлений, а Гамильтон исследовал алгебраические системы для геометрических величин. Позднее векторный анализ и курс линейной алгебры объединили геометрический прямой угол с координатной формулой суммы попарных произведений. Поэтому современная запись u*v=0 является не именованной формулой одного автора, а удобной точкой встречи евклидовой геометрии, аналитических координат и абстрактного языка пространств со скалярным произведением.

Историческая линия формулы

Современная проверка ортогональности через скалярное произведение связана с развитием аналитической геометрии, векторного исчисления и теории линейных пространств. В рамках справочника уместны связи с Грассманом и Гамильтоном как с фигурами, повлиявшими на язык векторов и многомерных величин.

Герман Грассман 1809-1877 Уильям Роуэн Гамильтон 1805-1865

Пример

Пусть u=(2,-1,3), v=(1,5,1). Скалярное произведение равно 2*1+(-1)*5+3*1=2-5+3=0. Значит векторы ортогональны. Это не требует рисовать трехмерную картинку: проверка полностью алгебраическая. Если заменить v на w=(1,4,1), получим u*w=2-4+3=1, поэтому w уже не ортогонален u. В задачах на подпространства такая проверка особенно удобна: чтобы доказать, что вектор лежит в ортогональном дополнении к span{u}, достаточно показать нулевое скалярное произведение с u. Если базис подпространства состоит из нескольких векторов, проверку проводят с каждым базисным вектором.

Частая ошибка

Частая ошибка - проверять равенство координат нулю по отдельности. Для ортогональности нужен ноль у суммы попарных произведений, а не у каждой координаты. Вторая ошибка - забыть знак отрицательной координаты: именно компенсация положительных и отрицательных вкладов часто дает ноль. Третья ошибка - применять обычное координатное произведение в задаче, где задано другое скалярное произведение. Еще одна ошибка - говорить об угле с нулевым вектором: алгебраическое равенство сохраняется, но геометрический угол не имеет смысла.

Практика

Задачи с решением

Проверить пару векторов

Условие. Проверьте ортогональность u=(3,1,-2) и v=(2,-4,1).

Решение. Считаем u*v=3*2+1*(-4)+(-2)*1=6-4-2=0. Скалярное произведение равно нулю.

Ответ. Векторы ортогональны.

Подобрать координату

Условие. При каком a векторы u=(1,a,2) и v=(3,2,-5) ортогональны?

Решение. Нужно 1*3+a*2+2*(-5)=0. Получаем 3+2a-10=0, значит 2a=7.

Ответ. a=7/2.

Дополнительные источники

MIT OpenCourseWare 18.06SC, Orthogonal Vectors and Subspaces
Jim Hefferon, Linear Algebra, Orthogonal Projection
Interactive Linear Algebra, Margalit and Rabinoff, Orthogonality

Связанные формулы

Математика

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

$a\cdot b=\sum_{i=1}^{n}a_i b_i$

Скалярное произведение складывает попарные произведения координат двух векторов и дает число. Через него находят длину, угол между векторами, ортогональность и проекции.

Математика

Косинус угла между векторами

$\cos\varphi=\frac{a\cdot b}{\|a\|\,\|b\|}$

Косинус угла между двумя ненулевыми векторами равен скалярному произведению, деленному на произведение их длин. Формула переводит координаты в геометрический угол.

Математика

Ортогональное дополнение подпространства

$W^{\perp}=\{x:\ x\cdot w=0\ \text{для всех }w\in W\},\quad \dim W+\dim W^{\perp}=n$

Ортогональное дополнение W^perp состоит из всех векторов, перпендикулярных каждому вектору подпространства W. В R^n его размерность дополняет размерность W до n.

Математика

Ортонормированный базис

$e_i\cdot e_j=\delta_{ij}$

Базис называется ортонормированным, если его векторы имеют длину 1 и попарно ортогональны. Краткая запись e_i*e_j=delta_ij объединяет оба условия в одной формуле.