若a,b是两个非零向量 则a+b的模等于a-b的模 是a垂直b的充要条件.