已知a.b两个非零向量,证明当b垂直(a+xb)时,向量a+xb的模的最小值