若非零向量ab使得|a+b|=|a|-|b|成立的一个充分不必要条件