展开 三角形面积推导过程用了什么思想