0108132人目の素数さん
2017/09/23(土) 11:30:08.53ID:NoROM9hj(2)
(a+b)(b+c)(c+d)(d+a)-(a+b+c+d)(abc+bcd+cda+dab)=(ac-bd)^2 ≧ 0,
等号成立は ac=bd
s = a+b+c+d,
t = ab+ac+ad+bc+bd+cd,
u = abc+bcd+cda+dab,
v = abcd,
とおく。
Newtonの不等式
(t/6)/(s/4)≧(u/4)/(t/6)≧ v/(u/4),
から t を消して
u ≧(16vvs)^(1/3),
変数の1つが飛びぬけて大きいとき、(3)は負。
∴(2)≧(1),(3)
(1)と(3)の大小は定まらず。