用割补法推导三角形面积公式