5.4 — Глава II, §5. Векторы5.4 — Chapter II, §5. Vectors
Это тот самый параграф, где вектор окончательно перестаёт быть чисто геометрическим объектом («стрелка в пространстве») и становится тройкой чисел (a_x, a_y, a_z) — теми же координатами, которые позже составят строку/столбец матрицы (§1). Формула a = a_x·i + a_y·j + a_z·k — это разложение вектора по базису (термин не введён явно, но по сути это он): три взаимно перпендикулярных орта i, j, k достаточны, чтобы построить любой вектор трёхмерного пространства их линейной комбинацией — прямая аналогия с тем, как в 5.1 сам вектор раскладывался на «длину × орт».This is the section where a vector finally stops being a purely geometric object (an "arrow in space") and becomes a triple of numbers (a_x, a_y, a_z) — the very same coordinates that will later make up a row/column of a matrix (§1). The formula a = a_x·i + a_y·j + a_z·k is a decomposition of the vector along a basis (the term isn't introduced explicitly, but that's exactly what it is): three mutually perpendicular unit vectors i, j, k suffice to build any vector in three-dimensional space as their linear combination — a direct parallel to how, in 5.1, a vector itself was decomposed into "magnitude × versor."
Рассмотрим в пространстве прямоугольную систему координат Oxyz. Выделим на координатных осях Ox, Oy и Oz единичные векторы (орты), обозначаемые i, j, k соответственно.Consider a rectangular coordinate system Oxyz in space. On the coordinate axes Ox, Oy, and Oz, mark off the unit vectors, denoted i, j, k respectively.
Выберем произвольный вектор a пространства и совместим его начало с началом координат: a = OM. Найдём проекции вектора a на координатные оси. Проведём через конец вектора OM плоскости, параллельные координатным плоскостям. Точки пересечения этих плоскостей с осями обозначим соответственно через M1, M2 и M3. Получим прямоугольный параллелепипед, одной из диагоналей которого является вектор OM. Тогда пр_x a = |OM1|, пр_y a = |OM2|, пр_z a = |OM3|. По определению суммы нескольких векторов находим a = OM1 + M1N + NM. А так как M1N = OM2, NM = OM3, тоChoose an arbitrary vector a in space and place its start at the origin: a = OM. Find the projections of a onto the coordinate axes. Through the endpoint of OM, draw planes parallel to the coordinate planes. Denote the intersection points of these planes with the axes by M1, M2, and M3. This yields a rectangular parallelepiped, one of whose diagonals is the vector OM. Then proj_x a = |OM1|, proj_y a = |OM2|, proj_z a = |OM3|. By the definition of the sum of several vectors, a = OM1 + M1N + NM. And since M1N = OM2, NM = OM3, this gives
a = OM1 + OM2 + OM3. (5.1)
НоBut
OM1 = |OM1| · i, OM2 = |OM2| · j, OM3 = |OM3| · k. (5.2)
Обозначим проекции вектора a = OM на оси Ox, Oy и Oz соответственно через a_x, a_y, a_z, т. е. |OM1| = a_x, |OM2| = a_y, |OM3| = a_z. Тогда из равенств (5.1) и (5.2) получаемDenote the projections of the vector a = OM onto the axes Ox, Oy, Oz by a_x, a_y, a_z respectively, i.e. |OM1| = a_x, |OM2| = a_y, |OM3| = a_z. Then from equalities (5.1) and (5.2) we obtain
a = a_x·i + a_y·j + a_z·k. (5.3)
Эта формула является основной в векторном исчислении и называется разложением вектора по ортам координатных осей. Числа a_x, a_y, a_z называются координатами вектора a, т. е. координаты вектора есть его проекции на соответствующие координатные оси. Векторное равенство (5.3) часто записывают в символическом виде: a = (a_x; a_y; a_z).This formula is fundamental in vector calculus and is called the decomposition of a vector along the coordinate-axis unit vectors. The numbers a_x, a_y, a_z are called the coordinates of the vector a, i.e. the coordinates of a vector are its projections onto the corresponding coordinate axes. Vector equality (5.3) is often written symbolically as: a = (a_x; a_y; a_z).
Рис. 12. Вектор a = OM как диагональ прямоугольного параллелепипеда: M₁, M₂, M₃ — проекции M на оси Ox, Oy, OzFig. 12. The vector a = OM as the diagonal of a rectangular parallelepiped: M₁, M₂, M₃ are the projections of M onto the axes Ox, Oy, Oz
Обратите внимание на элегантность вывода: он не постулирует разложение, а строит его из уже готовых кирпичей — суммы трёх векторов (правило треугольника из 5.2, применённое дважды подряд) и определения проекции как коэффициента при орте (5.3). Ничего принципиально нового не вводится — просто три предыдущих параграфа (5.1–5.3) складываются вместе в одну финальную формулу.Notice the elegance of the derivation: it doesn't postulate the decomposition, it builds it from already-available pieces — the sum of three vectors (the triangle rule from 5.2, applied twice in a row) and the definition of projection as the coefficient of a unit vector (5.3). Nothing fundamentally new is introduced — the previous three sections (5.1–5.3) simply combine into one final formula.
Зная проекции вектора a, можно легко найти выражение для модуля вектора. На основании теоремы о длине диагонали прямоугольного параллелепипеда можно написать |OM|² = |OM1|² + |OM2|² + |OM3|², т. е.Knowing the projections of the vector a, the expression for its magnitude follows easily. Based on the theorem for the length of the diagonal of a rectangular parallelepiped, one can write |OM|² = |OM1|² + |OM2|² + |OM3|², i.e.
|a|² = a_x² + a_y² + a_z². (5.4)
ОтсюдаFrom this
|a| = √(a_x² + a_y² + a_z²),
т. е. модуль вектора равен квадратному корню из суммы квадратов его проекций на оси координат.i.e. the magnitude of a vector equals the square root of the sum of the squares of its projections onto the coordinate axes.
Формула (5.4) — не что иное, как теорема Пифагора, применённая дважды подряд (сначала в основании параллелепипеда, к a_x и a_y, затем к результату и a_z по вертикали) — этот же приём естественным образом обобщается на любую размерность и является геометрическим прообразом евклидовой нормы вектора в линейной алгебре и анализе данных.Formula (5.4) is nothing other than the Pythagorean theorem applied twice in a row (first in the base of the parallelepiped, to a_x and a_y, then to the result and a_z vertically) — the same trick generalizes naturally to any dimension and is the geometric ancestor of the Euclidean norm of a vector in linear algebra and data analysis.
Пусть углы вектора a с осями Ox, Oy и Oz соответственно равны α, β, γ. По свойству проекции вектора на ось (свойство 1, см. 5.3) имеемLet the angles of the vector a with the axes Ox, Oy, and Oz be α, β, γ respectively. By the property of the projection of a vector onto an axis (Property 1, see 5.3),
a_x = |a| · cos α, a_y = |a| · cos β, a_z = |a| · cos γ. (5.5)
Или, что то же самое,Or, equivalently,
cos α = a_x/|a|, cos β = a_y/|a|, cos γ = a_z/|a|.
Числа cos α, cos β, cos γ называются направляющими косинусами вектора a.The numbers cos α, cos β, cos γ are called the direction cosines of the vector a.
Подставим выражения (5.5) в равенство (5.4), получимSubstituting expressions (5.5) into equality (5.4), we get
|a|² = |a|²·cos²α + |a|²·cos²β + |a|²·cos²γ.
Сократив на |a|² ≠ 0, получим соотношениеDividing by |a|² ≠ 0, we obtain the relation
cos²α + cos²β + cos²γ = 1,
т. е. сумма квадратов направляющих косинусов ненулевого вектора равна единице.i.e. the sum of the squares of the direction cosines of a nonzero vector equals one.
Легко заметить, что координатами единичного вектора e являются числа cos α, cos β, cos γ, т. е. e = (cos α; cos β; cos γ). Итак, задав координаты вектора, всегда можно определить его модуль и направление, т. е. сам вектор.It's easy to see that the coordinates of the unit vector e are the numbers cos α, cos β, cos γ, i.e. e = (cos α; cos β; cos γ). So, given the coordinates of a vector, one can always determine its magnitude and direction — i.e. the vector itself.
Это тождество — тот же самый факт «сумма квадратов направляющих косинусов = 1», что уже неявно присутствовал в 5.1 через равенство a = |a|·a⁰: орт a⁰ — это в точности вектор с координатами (cos α, cos β, cos γ), а условие «единичный вектор» (модуль равен 1) через формулу (5.4), применённую к a⁰, автоматически даёт cos²α + cos²β + cos²γ = 1. Иначе говоря, направляющие косинусы — это не отдельное новое понятие, а координаты орта, которые мы уже видели раньше, только названные по-новому.This identity is the same fact — "sum of squares of direction cosines = 1" — that was already implicit in 5.1 through the equality a = |a|·a⁰: the versor a⁰ is exactly the vector with coordinates (cos α, cos β, cos γ), and the condition "unit vector" (magnitude 1), via formula (5.4) applied to a⁰, automatically gives cos²α + cos²β + cos²γ = 1. In other words, direction cosines aren't a separate new concept — they're the coordinates of the versor we've already seen before, just under a new name.
Модуль по формуле (5.4): |a| = √(2² + (-1)² + 2²) = √(4 + 1 + 4) = √9 = 3.Magnitude via formula (5.4): |a| = √(2² + (-1)² + 2²) = √(4 + 1 + 4) = √9 = 3.
Направляющие косинусы по формуле (5.5): cos α = a_x/|a| = 2/3, cos β = a_y/|a| = -1/3, cos γ = a_z/|a| = 2/3.Direction cosines via formula (5.5): cos α = a_x/|a| = 2/3, cos β = a_y/|a| = -1/3, cos γ = a_z/|a| = 2/3.
Проверка основного тождества: cos²α + cos²β + cos²γ = (2/3)² + (-1/3)² + (2/3)² = 4/9 + 1/9 + 4/9 = 9/9 = 1 ✓.Check of the fundamental identity: cos²α + cos²β + cos²γ = (2/3)² + (-1/3)² + (2/3)² = 4/9 + 1/9 + 4/9 = 9/9 = 1 ✓.
Орт этого вектора: a⁰ = (2/3; -1/3; 2/3). Отрицательный cos β = -1/3 означает, что угол β между вектором и осью Oy тупой (см. Следствие 5.1 из 5.3) — вектор направлен «против» положительного направления оси Oy.The versor of this vector: a⁰ = (2/3; -1/3; 2/3). The negative cos β = -1/3 means the angle β between the vector and the axis Oy is obtuse (see Corollary 5.1 from 5.3) — the vector points "against" the positive direction of the Oy axis.
Три произвольно взятых числа из отрезка [-1, 1] в общем случае не являются направляющими косинусами какого-либо вектора — они обязаны удовлетворять тождеству cos²α + cos²β + cos²γ = 1. Например, тройка (1/2, 1/2, 1/2) не подходит: 1/4+1/4+1/4 = 3/4 ≠ 1. Это тождество — жёсткое ограничение (аналог того, что строки ортогональной матрицы должны быть единичной длины), а не следствие того, что каждый косинус по отдельности лежит в допустимом диапазоне.Three arbitrarily chosen numbers from [-1, 1] generally are not the direction cosines of any vector — they must satisfy the identity cos²α + cos²β + cos²γ = 1. For example, the triple (1/2, 1/2, 1/2) doesn't work: 1/4+1/4+1/4 = 3/4 ≠ 1. This identity is a hard constraint (analogous to the rows of an orthogonal matrix needing unit length), not a consequence of each cosine individually falling in the valid range.
В этом параграфе a = (a_x; a_y; a_z) — это координаты вектора, определённые как его проекции на оси. В следующем параграфе (5.5) появятся координаты точки M(x; y; z), определённые через координаты радиус-вектора OM. Они связаны (совпадают, если вектор отложен из начала координат), но концептуально это разные объекты: одна и та же тройка чисел описывает либо положение точки в пространстве, либо «сдвиг» (вектор), в зависимости от контекста.In this section, a = (a_x; a_y; a_z) are the coordinates of a vector, defined as its projections onto the axes. The next section (5.5) will introduce the coordinates of a point M(x; y; z), defined via the coordinates of the position vector OM. They're related (they coincide if the vector is laid off from the origin), but conceptually these are different objects: the same triple of numbers describes either a point's position in space, or a "shift" (a vector), depending on context.
источникsource
Вывод разложения по ортам (5.1)–(5.3), модуль вектора (5.4), направляющие косинусы (5.5) и основное тождество — по изданию: Письменный Д. Т. Конспект лекций по высшей математике: полный курс. — 9-е изд. — М.: Айрис-пресс, 2009. — 608 с. — Глава II, §5.4 «Разложение вектора по ортам координатных осей. Модуль вектора. Направляющие косинусы», с. 44–45. Числовой пример, связь с ортом из §5.1 и раздел «Грабли» — авторское дополнение.The derivation of the decomposition along unit vectors (5.1)–(5.3), the magnitude of a vector (5.4), direction cosines (5.5), and the fundamental identity — from: Pismenny D. T. Lecture Notes on Higher Mathematics: Complete Course. — 9th ed. — Moscow: Iris-press, 2009. — 608 p. — Chapter II, §5.4 "Decomposition of a Vector along Coordinate-Axis Unit Vectors. Magnitude of a Vector. Direction Cosines," pp. 44–45. The numerical example, the connection to the versor from §5.1, and the "Gotchas" section are original additions.