(a+tb)^2=a^2+2ab*t+t^2*b^2
这是关于t的二次函数
使它最小就可以使|(a+tb)|最小
显然,t=-ab/b^2
b*(a+tb)=ab+tb^2把t代入
=ab+(-ab)
＝0
所以b与a+tb垂直