>>37
|b↑|^2 t^2 + 2t a↑・b↑　が t の2次式になるかどうかで場合分けしている
|b↑|^2 = 0 のときは高々1次関数となるが
1次関数だとすべての t で ≧0 とはなり得ないので a↑・b↑= 0 となることが要求される
2次式となるほうはわかるだろう