赛瓦定理应用