■増加列の長さの平均(その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

が成り立つ.

===================================