塞瓦定理应用例题