在多边形面积计算公式的探索中