定积分的应用 完全非弹性碰撞 质速关系式 三角代换法 高等数学 洛伦兹变换 椭圆面积 分部积分法