>>143
ときどき落ちてるが、指数忘れんなよ

|a↑|=1より、|b↑|=1/2, a↑・b↑=-1/4

|t*a↑+(1/t)*b↑|^2
=t^2*|a↑|^2 + 2a↑・b↑ + 1/(t^2)*|b↑|^2
=t^2 + 1/(4t^2) -1/2
>=2√(t^2*(1/(4t^2))) -1/2　　（相加相乗平均の関係）
=1 -1/2
=1/2
等号成立はt^2=1/(4t^2)、つまりt=1/√2のとき

∴t=1/√2 のとき |t*a↑+(1/t)*b↑| は最小値 1/√2 をとる