用定义法证明向量a与b的叉乘的模等于由a,b组成的平行四边形的面积(张量的内容)