向量梯形证明