Segel, Problem 1.2.11 (In Progress)

Show that (a ^ b)^2 . (c ^ d) = (a . c)(b . d) - (a . d(b . c

Calculations:

(a ^ b) = Eijk*e^(i)*ai*bj, where i,j,k are subscripts, ^ = permutation symbold, and ^(i) = raise to the power of i
(c ^ d) = Epqk*e^(i)*ck*dp, where p,q,k are subscripts, ^ = permutation symbold, and ^(i) = raise to the power of i
(a ^ b) . (c ^ d) = (Eijk*e^(i)*ai*bj)(Epqk*e^(i)*ck*dp)
EijkEpqk = a three by three matrix:
dip diq dik
djp djq djk
dkp dkq dkk, where d = delta
= ddipddjq - djpdiq

(a ^ b) . (c ^ d = (dipdjq - djpdiq)*ai*bj*ck*dp
= (dipdjq*ai*bq*ck*dp) - (djpddiq*ai*bj*ck*dp)
...

Problem posted 6/29/05 -- LAL