■増加列の長さの平均(その4)
[参]安藤哲哉「不等式」数学書房
には,(3次)ムーアヘッドの不等式
M(3,0,0)=(a^3+b^3+c^3)/3
M(2,1,0)=(a^2b+a^2c+ac^2+ab^2+b^2c+bc^2)/6
M(1,1,1)=abc
M(3,0,0)≧M(2,1,0)≧M(1,1,1)
(3次)シューアの不等式
a^k(a−b)(a−c)+b^k(b−a)(b−c)+c^k(c−a)(c−b)≧0
から証明できる不等式が掲げられている.
S(2,1,0)=S2,1=a^2b+b^2c+c^2a
T(2,1,0)=T2,1=a^2b+ab^2+b^2c+bc^2+c^2a+ca^2
U(1,1,1)=U=abc
という記号を用いることにするが,(3次)シューアの不等式は
S3+3U≧T2,1
Sn+3+3USn≧Tn+2,1
もっと一般に,
a^k(a−b)(a−c)+b^k(b−a)(b−c)+c^k(c−a)(c−b)≧0
が成り立つ.
===================================