バーチ・マーナハンの状態方程式