拉格朗日定理（第四平方和定理）