已知a b 是两个非零已知向量,当a+tb(t属于R)的模取最小值时,求t的值以及证明b与a+tb(t属于R)垂直