展开 西尔维斯特不等式等号成立条件