数量积形式的三角形面积公式推导