展开 斯坦纳定理向量证明