■対称式と巡回式(その3)

 3次方程式:

  f(x)=(x-a)(x-b)(x-c)=0

が与えられたとき,3変数基本対称式は

  S1=a+b+c

  S1,1=ab+bc+ca

  U=abc=U

で表される.

 このとき,3次斉次不等式:

[定理]27U^2-18S1S1.1U+4S1^3U+4S1,1^3-S1^2S1,1^2≦0

が成り立つ.等号はa=bまたはb=cまたはc=aのときに限る.

[証明]左辺=-(a-b)^2(b-c)^2(c-a)^2≦0

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

 これを書き直すと

[系]T2,1^2≧4S3,3+4US3+12U^2

[系]T4,2+2UT2,1≧2S3,3+2US3+6U^2

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