Def 1. Двойное векторное произведение векторов , , это произведение вида .
Выразим двойное векторное произведение через скалярное.
Пусть Þ ^ и ^ . Тогда, в силу ^ Þ лежит в плоскости векторов и Þ . Умножим это равенство скалярно на . Имеем .
Пусть вектор не перпендикулярен одновременно векторам и (в противном случае в обоих случаях). Тогда Þ , такое что , .
Тогда
.
Для того, чтобы найти , вычислим левую и правую части в некотором базисе. Пусть вектор направлен вдоль вектора , лежит в плоскости векторов и , определяется из условия, что , , образуют правую тройку. Тогда , , .
Имеем
, .
.
.
Отсюда видно, что . Итак, справедлива формула:
.
Пример 1. Доказать тождество Якоби:
.
Имеем
,
,
.
Суммируя эти равенства, получим тождество Якоби.
Пример 2. Вычислить .
Имеем: ()
.