证明爱伦费斯特方程