埃伦菲斯特方程证明