塞瓦定理向量形式