已知非零向量 向量a垂直向量b 向量b垂直向量c 则向量a垂直向量c