（以下省略向量标识）|u|²=a²+t²b²+2ta·b=|b|²(t²+2t*a·b/|b|²)+a²=|b|²(t+a·b/|b|²)²+a²-(a·b)²/|b|²故当t=-a·b/|b|²时|u|²有最小值，即|u|有最小值。此时a·b+t|b|²=0，即b·(a+tb)=0，亦即b⊥u。得证。
这道题在高中做过很多次，生化的方法是正确的！
