埃伦费斯特定理证明热力学