Simone
二维向量叉乘公式a（x1，y1），b（x2，y2），则a×b＝（x1y2－x2y1），不需要证明的就是定义的运算。
三维叉乘是行列式运算，也是叉积的定义，把第三维看做0代入就行了。
代数规则
1、反交换律：a×b=-b×a
2、加法的分配律：a×（b+c）＝a×b+a×c。
3、与标量乘法兼容：（ra）×b=a×（rb）＝r（a×b）。
4、不满足结合律，但满足雅可比恒等式：a×（b×c）＋b×（c×a）＋c×（a×b）＝0。
5、分配律，线性性和雅可比恒等式别表明：具有向量加法和叉积的R3构成了一个李代数。
6、两个非零向量a和b平行，当且仅当a×b=0。
