一个简单的程序,有一个什么定理,编成代码,直接就能运行,求多边形体积