>>136
もう一方の条件式からa↑・b↑=

|t*a↑+(1/t)*b↑|^2
を展開して相加相乗平均の関係式を使う