>>897
|p↑|^=|a↑+tb↑|^2
の最小値を求めるだけ
|a↑|も|b↑|もa↑・b↑も値が分かる