Приведем тождества, которые будут использоваться в дальнейшем. Первое из них, не связанное, правда, с определителем, имеет вид: (1.7)
; (1.13)
; (1.14)
; (1.15)
. (1.16)
Тождество (1.14) следует из определения определителя (1.11). Перепишем его в виде:
,
и поскольку вектор
– любой, то
.
Умножив это равенство скалярно на
справа, приходим к (1.14).
Тождество (1.15) линейно относительно
, поэтому можно взять в качестве
одну диаду
. Левая часть примет вид:
,
и по тождеству (1.14) с учетом того, что
получаем (1.15).
Тождество (1.16) получается из (1.15).
«Несущественная» часть
доказывается, если переписать ее в виде
.
Так как тензор
кососимметричный, представим его в виде
где
по тождеству (1.15) с учетом того, что
равен
.






