外積の成分表現より、
B×C=(ByCz−CyBz、
BzCx−CzBx、BxCy−CxBy)
これを成分として、Aとの外積を計算する。
A×(B×C)=
(Ay(BxCy−CxBy)−(BzCx−CzBx)Az、
Az(ByCz−CyBz)−(BxCy−CxBy)Ax、
Ax(BzCx−CzBx)−(ByCz−CyBz)Ay)
x成分について計算する
x成分=(Ay(BxCy−CxBy)
−(BzCx−CzBx)Az
=BxAyCy+BxCzAz
−(CxAyBy+CxBzAz)
=Bx(AxCx+AyCy+AzCz)
−Cx(AxBx+AyBy+AzBz) (AxBxCxを加えた)
内積の成分表現になっているので、
=BxA・C−CxA・B
同様にy、z成分も計算される。
y成分=ByA・C−CyA・B
z成分=BzA・C−CzA・B
よって、
A×(B×C)=(BxA・C−CxA・B、
ByA・C−CyA・B、BzA・C−CzA・B)
=(BxA・C+ByA・C+BzA・C)
−(CxA・B、CyA・B、CzA・B)
=(Bx、By、Bz)A・C−(Cx、Cy、Cz)A・B
=B(A・C)−C(A・B)
=(A・C)B−(A・B)C