あ、でも>>260は
②
a↑+tb↑=(3-t,1+2t)ってやってるんだね。
なら
|a↑+tb↑|^2=(3-t)^2+(1+2t)^2ってやればいい