向量证明矩形性质