广义相对论的数学证明