引力势能计算公式的推导?为什么要把零势面定义在无穷远处?