MathLabs

第5問

a2+b2+c2+d2=1a^2+b^2+c^2+d^2=1 を満たす実数 a,b,c,da,b,c,d に対し、(a−b)(b−c)(c−d)(d−a)(a-b)(b-c)(c-d)(d-a) の最小値と、その最小値を与える (a,b,c,d)(a,b,c,d) をすべて求めよ。
ステップ 1/4: 平行移動と定数倍で和を0に帰着する
At the minimum, a+b+c+d=0\text{At the minimum, }a+b+c+d=0
詳しい解説

P=(a−b)(b−c)(c−d)(d−a)P=(a-b)(b-c)(c-d)(d-a) を負にする 44 つ組は明らかに存在するので、PP の最小値は真に負である。もし s=(a+b+c+d)/4≠0s=(a+b+c+d)/4\ne0 なら、各変数を −s-s だけ平行移動しても差(したがって PP)は変わらず、a2+b2+c2+d2a^2+b^2+c^2+d^2 は 1−4s2<11-4s^2<1 に真に減少する。この平行移動した組を (1−4s2)−1/2>1(1-4s^2)^{-1/2}>1 倍すれば平方和は再び1に戻り、負の数 PP は (1−4s2)−2>1(1-4s^2)^{-2}>1 倍されてさらに小さくなる。よって最小値を与える組では必ず a+b+c+d=0a+b+c+d=0 が成り立つ。