벡터 삼중적
\vec{a}\times(\vex{b}\times\vex{c})=(\vec{a}\cdot\vec{c})\vec{b}-(\vec{a}\cdot\vec{b})\vec{c}
그냥 전개해서 증명해도 되지만
Weistern님의 블로그에 게시된 방법도 있다.
http://sciphy.tistory.com/557