利用微积分推导理想气体绝热方程