已知向量a,b为非零向量,求证向量a垂直于向量b与|向量a+向量b|=|向量a-向量b|可以互推.