广义相对论_弗里德曼方程的推导