Определение смешанного произведения, его геометрический смыслDefinition of the scalar triple product, its geometric meaning

Рассмотрим произведение векторов a, b и c, составленное следующим образом: (a × b) · c. Здесь первые два вектора перемножаются векторно, а их результат скалярно на третий вектор. Такое произведение называется векторно-скалярным, или смешанным, произведением трёх векторов. Смешанное произведение представляет собой некоторое число.Consider the product of vectors a, b, and c, formed as follows: (a × b) · c. Here the first two vectors are multiplied by the cross product, and the result is multiplied by the third vector via the dot product. Such a product is called the vector-scalar, or mixed (scalar triple), product of three vectors. The scalar triple product is a number.

Обратите внимание на порядок операций, закодированный в самом названии: сначала × (векторное), потом · (скалярное) — единственный порядок, при котором выражение вообще имеет смысл. Выражение a × (b · c) бессмысленно, поскольку b · c — число, а векторное произведение определено только для двух векторов (см. 7.1), не для вектора и числа.Notice the order of operations encoded in the very name: first × (cross), then · (dot) — the only order in which the expression makes sense at all. The expression a × (b · c) is meaningless, since b · c is a number, and the cross product is defined only for two vectors (see 7.1), not for a vector and a number.

Выясним геометрический смысл выражения (a × b) · c. Построим параллелепипед, рёбрами которого являются векторы a, b, c и вектор d = a × b. Имеем:Let's determine the geometric meaning of the expression (a × b) · c. Construct a parallelepiped whose edges are the vectors a, b, c, and the vector d = a × b. We have:

(a × b) · c = d · c = |d| · пр_d c,

где |d| = |a × b| = S — площадь параллелограмма, построенного на векторах a и b (см. приложения из 7.4); пр_d c = H для правой тройки векторов и пр_d c = -H для левой, где H — высота параллелепипеда. Получаем:where |d| = |a × b| = S is the area of the parallelogram built on a and b (see the applications from 7.4); пр_d c = H for a right-handed triple of vectors and пр_d c = -H for a left-handed one, where H is the height of the parallelepiped. This gives:

(a × b) · c = S · (±H) = ±V,

где V — объём параллелепипеда, образованного векторами a, b и c.where V is the volume of the parallelepiped formed by vectors a, b, and c.

Этот результат — почти дословный «трёхмерный ремейк» доказательства площади параллелограмма из 7.1: там модуль векторного произведения был площадью, потому что «основание × высота, где высота — это |b|sin φ»; здесь смешанное произведение — объём, потому что «площадь основания × высота, где высота — это проекция c на нормаль к основанию». Оба доказательства раскладывают геометрическую фигуру (параллелограмм, параллелепипед) на «основание» и «перпендикулярную составляющую» — стандартный приём для вычисления площади/объёма через компоненты, которые проще вычислить по отдельности.This result is an almost word-for-word "three-dimensional remake" of the parallelogram-area proof from 7.1: there, the magnitude of the cross product was an area because "base times height, where the height is |b|sin φ"; here, the scalar triple product is a volume because "base area times height, where the height is the projection of c onto the normal to the base." Both proofs decompose the geometric figure (parallelogram, parallelepiped) into a "base" and a "perpendicular component" — a standard trick for computing area/volume via components that are easier to compute separately.

Знак смешанного произведения — не побочный эффект, а самостоятельная содержательная информация: он в точности повторяет роль знака определителя из 2.1 (объём/площадь со знаком, отражающим ориентацию). Отсюда прямое следствие, разбираемое в 8.2: смешанное произведение равно нулю тогда и только тогда, когда векторы компланарны — параллелепипед, «сплющенный» в плоскую фигуру, имеет нулевой объём, точно так же, как определитель матрицы с линейно зависимыми строками равен нулю (см. 3.1).The sign of the scalar triple product isn't a side effect — it's independent, substantive information: it exactly mirrors the role of the determinant's sign from 2.1 (signed volume/area reflecting orientation). This immediately implies a fact worked out in 8.2: the scalar triple product is zero if and only if the vectors are coplanar — a parallelepiped "flattened" into a planar figure has zero volume, exactly as the determinant of a matrix with linearly dependent rows is zero (see 3.1).

Следовательно, (a × b) · c = a · (b × c). Это позволяет записывать смешанное произведение векторов (a × b)c в виде abc без знаков векторного, скалярного умножения (это свойство подробно доказывается в 8.2, свойство 2 — здесь оно упомянуто, чтобы объяснить обозначение).Hence, (a × b) · c = a · (b × c). This allows the scalar triple product of vectors (a × b)c to be written as abc, without the symbols for the cross and dot products (this property is proven in detail in 8.2, Property 2 — it's mentioned here just to explain the notation).

Это обозначение — не просто экономия символов, а содержательное утверждение: не важно, где именно поставить «×» и «·» в цепочке из трёх векторов, результат один и тот же (при сохранении порядка самих векторов a, b, c). Единственное, что действительно определяет результат — это порядок самих трёх векторов, а не расстановка операций между ними; это станет ещё яснее в 8.2, где обсуждается, как перестановка самих векторов (а не операций) влияет на знак.This notation isn't just a saving of symbols — it's a substantive statement: it doesn't matter exactly where the "×" and "·" are placed in the chain of three vectors, the result is the same (as long as the order of the vectors a, b, c themselves is preserved). The only thing that really determines the result is the order of the three vectors themselves, not the placement of the operations between them; this becomes even clearer in 8.2, which discusses how permuting the vectors themselves (not the operations) affects the sign.