用向量的叉乘求三角形面积的理论依据是什么?