vector писал(а):
Собственно, тождество(векторное):
[[a,b],[c,d]]=c(abd)-d(abc)
По формуле двойного векторного произведения имеем: [a,[b,c]]=b(a,c)-c(a,b). У учетом переобозначений a->[a,b], b->c, c->d получаем:
[[a,b],[c,d]] = c([a,b],d) - d([a,b],c) = c(a,b,c) - d(a,b,c).