Schurの不等式の証明と例題

Schur の不等式

x,y,z0x, y, z\geq0 に対して,

xr(xy)(xz)+yr(yz)(yx)+zr(zx)(zy)0x^r(x-y)(x-z)+y^r(y-z)(y-x)+z^r(z-x)(z-y)\geq 0

等号成立条件は,

  • r>0r>0 のときは,x=y=zx=y=z or x,y,zx, y, z のうち1つが0で残りの2つが等しい場合。
  • r0r\leq 0 のときは,x=y=zx=y=z

Schurの不等式は,相加相乗平均の不等式やシュワルツの不等式と比べ直感的に説明できないので取っ付きにくいです。しかし,扱いに慣れれば強力な武器になります。数学オリンピックの不等式証明問題ではSchurの不等式を知らないと非常に厳しい問題もあり,必要な前提知識と言えます。

Schurの不等式の証明

Schurの不等式は一見複雑ですが,証明は簡単です。

r>0 の場合の証明

Schurの不等式は x,y,zx, y, z について対称なので xyzx\geq y\geq z としても一般性を失わない。

このように大小関係をつければ,左辺第3項は非負であることが分かる。

よって残りの2項を評価すればいいが,(xy)(x-y) でくくれて,

(xy){xr(xz)yr(yz)}(x-y)\{x^r(x-z)-y^r(y-z)\} も仮定した大小関係から非負であることが分かる。

r≦0の場合の証明

Schurの不等式は x,y,zx, y, z について対称なので xyzx\geq y\geq z としても一般性を失わない。

このように大小関係をつければ,左辺第1項は非負であることが分かる。

よって残りの2項を評価すればいいが,(yz)(y-z) でくくれて,

(yz){zr(xz)yr(xy)}(y-z)\{z^r(x-z)-y^r(x-y)\} も仮定した大小関係から非負であることが分かる。

よく用いられるSchurの不等式の形

Schurの不等式は以下の形で用いられることが多いです。覚えておくとよいでしょう:

xr+2+yr+2+zr+2+xryz+xyrz+xyzrxr+1y+yr+1x+yr+1z+zr+1y+zr+1x+xr+1zx^{r+2}+y^{r+2}+z^{r+2}+x^ryz+xy^rz+xyz^r\\\geq x^{r+1}y+y^{r+1}x+y^{r+1}z+z^{r+1}y+z^{r+1}x+x^{r+1}z

特に,r=1r=1 の場合が頻出なので,この形を見たらピンときましょう:

x3+y3+z3+3xyzx2y+y2x+y2z+z2y+z2x+x2zx^{3}+y^{3}+z^{3}+3xyz\geq x^{2}y+y^{2}x+y^{2}z+z^{2}y+z^{2}x+x^{2}z

3変数3次斉次式の不等式の証明は,「相加相乗平均,シュワルツ,r=1r=1 の場合のSchurの不等式」を使えばほぼ確実にできます。

3変数斉 nn 次式の不等式の証明は,「相加相乗平均,シュワルツ,r=n2r=n-2 の場合のSchurの不等式」を使えばできることが多いです。

Schurの不等式の例題

問題1

a+b+c=1,a,b,c>0a+b+c=1, a, b, c> 0 のとき 5(a2+b2+c2)6(a3+b3+c3)+15(a^2+b^2+c^2)\leq 6(a^3+b^3+c^3)+1 を証明せよ。

方針

条件を用いて不等式を斉次式化するという定石を使います。斉次式化して整理するとSchurの不等式に帰着されます。

解答

証明すべき不等式は以下の不等式と同値である:

5(a2+b2+c2)(a+b+c)6(a3+b3+c3)+(a+b+c)35(a^2+b^2+c^2)(a+b+c)\leq 6(a^3+b^3+c^3)+(a+b+c)^3

両辺を展開する:

5(a3+b3+c3)+5(a2b+ab2+b2c+bc2+c2a+ca2)7(a3+b3+c3)+3(a2b+ab2+b2c+bc2+c2a+ca2)+6abc5(a^3+b^3+c^3)+5(a^2b+ab^2+b^2c+bc^2+c^2a+ca^2)\\ \leq 7(a^3+b^3+c^3)+3(a^2b+ab^2+b^2c+bc^2+c^2a+ca^2)+6abc

整理する:

a3+b3+c3+3abca2b+ab2+b2c+bc2+c2a+ca2a^3+b^3+c^3+3abc\geq a^2b+ab^2+b^2c+bc^2+c^2a+ca^2

これは r=1r=1 の場合のSchurの不等式そのものである。

問題2

ab+bc+ca=3,a,b,c>0ab+bc+ca=3, a, b, c> 0 のとき a3+b3+c3+6abc9a^3+b^3+c^3+6abc\geq 9 を証明せよ。

方針

今回は条件式の左辺が2次で,斉次式化しようとすると不等式が複雑になってしまいます。とりあえずSchurの不等式を使ってみると,ラッキーなことに因数分解できることが分かります。

解答

r=1r=1 の場合のSchurの不等式より,

示すべき不等式の左辺は,

(a3+b3+c3+3abc)+3abca2b+ab2+b2c+bc2+c2a+ca2+3abc=(a+b+c)(ab+bc+ca)=3(a+b+c)(a^3+b^3+c^3+3abc)+3abc\\ \geq a^2b+ab^2+b^2c+bc^2+c^2a+ca^2+3abc\\ =(a+b+c)(ab+bc+ca)\\ =3(a+b+c)

よって,a+b+c3a+b+c\geq 3 を示せば良い。

ここで,有名な不等式 a2+b2+c2abbcca0a^2+b^2+c^2-ab-bc-ca\geq 0 より,

(a+b+c)23(ab+bc+ca)=9(a+b+c)^2\geq 3(ab+bc+ca)=9

となり目標の不等式が示された。

なお,
a2+b2+c2abbcca12{(ab)2+(bc)2+(ca)2}0a^2+b^2+c^2-ab-bc-ca\\ \dfrac{1}{2}\{(a-b)^2+(b-c)^2+(c-a)^2\}\\ \geq 0

である。

Tag:数学オリンピック突破のための有名不等式まとめ