西尔维斯特方程唯一解证明