塞瓦定理及应用