塞瓦定理应用举例