>>438

まづ 0≦a,b,c,d≦3 を示す。 コーシーより
　3(12-a^2) = (1+1+1)(b^2 + c^2 + d^2) ≧ (b+c+d)^2 = (6-a)^2,
　0 ≧ 3(a^2 -12) + (6-a)^2 = 4a(a-3),
　0≦a≦3,
　b,c,d についても同様。

次に　0≦x≦3 で　2x^2 +4x -3 ≦ 4x^3 -x^4 ≦ 4x^2, を示す。
　(4x^3 -x^4) - (2x^2 +4x-3) = (x+1)(3-x)(x-1)^2 ≧ 0,
　4x^2 - (4x^3 -x^4) = x^2･(2-x)^2 ≧ 0,

x=a,b,c,d について和をとると
　2*12 +4*6 -3*4 ≦ 与式 ≦ 4*12,
　36 ≦ 与式 ≦ 48,
左等号成立は {3,1,1,1}
右等号成立は {2,2,2,0}

くそ〜、テンション上がっちまった...