Векторное произведение двух векторов

Ориентация тройки некомпланарных векторов

Рассмотрим упорядоченную и некомпланарную тройку векторов , и . Откладываем их представители от произвольной точки О: . Если из точки С видим, что кратчайший поворот вокруг точки О от точки А до точки В совершается против часовой стрелки, то упорядоченную тройку векторов , и называем правой, а в противном случае левой.

Если две ориентированные тройки векторов обе правые или левые, то будем говорить, что они одной ориентации.

На рисунке показана правая тройка векторов (1) и левая тройка (2).

Представление о правой и левой тройке векторов можно получить, рассматривая первые три пальца, соответственно, правой и левой руки.

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

Определение. Под векторным произведением двух коллинеарных векторов понимаем нулевой вектор. Под векторным произведением двух неколлинеарных векторов и понимаем новый вектор , который задается следующими условиями:

1. | | = | | | |sinj,

2. ^ , ^ ,

3. Упорядоченная тройка векторов , , – правая.

Обозначения: = [ , ] или = ´ .

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

Свойство 1. [ , ] = − [ , ] .

Доказательство. Так как угол j между векторами неориентированный, то правый и левый векторы рассматриваемого равенства имеют одинаковую длину | | | | sinj.

Покажем, что направления рассматриваемых векторов одинаковое.

Действительно, [ , ] ^ и [ , ] ^ . С другой стороны, [ , ] ^ и [ , ] ^ . Следовательно, [ , ] êê [ , ].

Так как упорядоченная тройка векторов , , [ , ] – правая, то упорядоченная тройка векторов , , [ , ] – левая. С другой стороны, упорядоченная тройка векторов , , [ , ] – правая.

Следовательно,

[ , ] ¯ [ , ], а [ , ] −[ , ] .

Векторы, имеющие одинаковую длину и одинаковое направление, равны. Свойство доказано.

Свойство 2. l[ , ] = [l , ] = [ , l ].

Доказательство. Если l = 0 или , то равенства выполняются, так как каждый из рассматриваемых векторов является нулевым вектором.

Рассматриваем ненулевые случаи. Докажем, что l[ , ] = [l , ]. Для этого докажем равенство их длин и совпадение направлений.

|l[ , ]| = |l||[ , ]| = |l| | | | | sinj, где j – угол между векторами и .

|[l , ]| = |l || | sina, где a – угол между векторами l и .

Обратим внимание на то, что a = j, если l > 0 и a = p – j, если l < 0. В любом случае, sina = sinj и, следовательно, |l[ , ]| = |[l , ]|.

Рассмотрим направления этих векторов:

l[ , ] [ , ], если l > 0 и l[ , ] ¯ [ , ], если l < 0.

С другой стороны, если l > 0, то l и [l , ] [ , ], а если

l < 0, то l ¯ и [l , ] ¯ [ , ]. В том и другом случае получили:

l[ , ] [l , ].

Свойство доказано.

Свойство 3. [ , + ] = [ , ] + [ , ].

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

1. Рассмотрим случай, когда ^ , ^ и | | = 1. Откладываем представители векторов , , и + от произвольной точки О: , и . В плоскости ОВС рассмотрим поворот вокруг точки О на 90° по часовой стрелке, если смотреть из точки А. При этом образом точек О, В, С и D будут точки О, В¢, С¢ и D¢. Кроме того, мы получим правые тройки векторов , , ¢, , , ¢ и , , ¢.

В силу построения имеем

¢ = [ , ] , ¢ = [ , ] и ¢ = [ , ] .

Так как

¢ = ¢ + ¢,

то

[ , ] = [ , ] + [ , ].

Таким образом,

[ , + ] = [ , ] + [ , ].

Если вектор не единичный, то его можно представить в виде = | | , где – единичный вектор, сонаправленный с . Тогда предыдущее равенство можно записать в виде

[ , + ] = [ , ] + [ , ].

Умножая обе части равенства на | |, получим:

| | [ , + ] = | | [ , ] + | | [ , ]

и, соответственно,

[ , + ] = [ , ] + [ , ].

2. Пусть условия случая 1 не выполнены. Тогда откладываем представители векторов , , и + от произвольной точки О: , и и через точку О проводим плоскость s, перпендикулярную направленному отрезку . Спроектируем ортогонально на плоскость s точки В, С и D. При этом получим, соответственно, точки В₀, С₀ и D₀.

Как и в случае 1 находим

¢ = [ , ₀] , ¢ = [ , ₀] и ¢ = [ , ₀] .

Так как

¢ = ¢ + ¢,

то

[ , ₀] = [ , ₀] + [ , ₀].

( На рисунке показан только фрагмент с вектором )

С другой стороны, [ , ₀] = [ , ] = ¢.

Действительно, вектор ¢ перпендикулярен каждому из векторов , ₀и . Ориентация упорядоченных троек векторов , ₀, ¢ и , , ¢ – правая. Рассмотрим их длины.

|[ , ]| = | || |sin j, где j – угол между векторами и .

|[ , ]| = | || ₀|.

Обозначим угол a между векторами ₀и . Тогда sin j = cos a.

С другой стороны,

| |sin j = | |cos a = | ₀|.

Следовательно,

|[ , ₀]| = |[ , ]| = | ¢|.

Аналогично,

|[ , ₀]| = |[ , ]| = | ¢|,

|[ , ₀]| = |[ , ]| = | ¢|.

Следовательно,

[ , ] = [ , ] + [ , ]

или

[ , + ] = [ , ] + [ , ].

Свойство доказано.

Замечание. Пусть - упорядоченная ортонормированная тройка векторов. Тогда

[ , ] = , ] = , ] = , , ] = , , ] = , ] = ,

[ , ] = – , [ , ] = – , ] = – ,

Свойство 4. Пусть в базисе { } заданы векторы ( ), ( ). Тогда

[ , ] = .

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

[ , ] = [ ] = [ , ] +[ , ] + [ , ] + +[ , ] + [ , ] + [ , ] + [ ] + [ ] + [ ] =

= , ] + , ] + , ] + , ] + ] + ] =

= – – + + – =

= ( – ) – ( – ) + ( – ) =

= – + = .

Свойство доказано.

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

Доказательство. Если ||‌ , то параллелограмм вырождается, и его площадь рана нулю. При этом и [ , ] = . Следовательно, свойство верно.

Свойство доказано.

Пример 1. На представителях векторов , построен параллелограмм ABCD. Найти площадь треугольника ABD.

Решение.

Ранее мы показали, что площадь параллелограмма можно находить, используя свойства векторного произведения двух векторов. Согласно этому свойству, имеем: = | |. Находим векторное произведение