西尔维斯特公式证明