求证:已知a是非零向量,且b不等于c,证明a*b=a*c等价于a垂直(b-c)