重力势能、动能定理如何推导出来的?