不等式証明のコツ2:斉次式化

斉次式化

条件付きの対称な不等式の証明問題は,全ての項の次数を一致させる(斉次式にする)と見通しがよくなることが多い。

数学オリンピックの不等式証明問題の多くが,対称な条件を持っています。

つまり,x+y+z=1x+y+z=1xyz=1xyz=1 のもとで不等式を証明せよ,という問題です。

そのような問題では,条件をうまく利用して不等式を同値な斉次式に変換(斉次式化)してから証明すると楽になることが多いです。

斉次式とは

斉次式とは,全ての項の次数が等しい多項式のことです。

同次式,斉次多項式,同次多項式などとも言います。

斉次式の例
  • x2+y2+z2+xy+yz+zxx^2+y^2+z^2+xy+yz+zx
  • x3+3xyzx^3+3xyz
斉次式でない例
  • x+y+z+1x+y+z+1

なお,この記事では以下のような「多項式ではないがすべての項が同じ次数っぽい式」も斉次式と呼ぶ場合があります。

斉次式っぽい式の例
  • x2+y2+z2xyzx+y+zx^2+y^2+z^2-\dfrac{xyz}{x+y+z}
    → 最後の項が多項式ではないので,厳密には「斉次多項式」ではないが,すべての項が「2次」っぽい

  • xy+yz+zxx\sqrt{y}+y\sqrt{z}+z\sqrt{x}
    → 同じく多項式ではないが,すべての項が「32\dfrac{3}{2} 次」っぽい

不等式が斉次式っぽいと嬉しい事があり,証明の見通しがよくなります。

斉次式だとなぜ嬉しいのか

嬉しい事1:自由にスケーリングできる

例えば,両辺が2次の斉次式である,x2+y2+z2xyzx+y+zx^2+y^2+z^2\geq\dfrac{xyz}{x+y+z} という不等式は x,y,zx, y, z を全て aa 倍すると左辺も右辺も a2a^2 倍され,不等式の形は変わりません。

つまり,不等式が正しいかどうかは x,y,zx,y,z の比率のみで決まるのです。

よって,「任意の x,y,zx, y, z」について不等式を証明しなくても x,y,zx,y,z が任意の比率のとき」に証明すれば十分であることが分かります。

例えば,x=1,y=2,z=3x=1,y=2,z=3 が不等式を満たすかどうかは x=16,y=26,z=36x=\dfrac{1}{6},y=\dfrac{2}{6},z=\dfrac{3}{6} が不等式を満たすかどうかと同値なので,x+y+z=1x+y+z=1 の場合だけ考えればよいとも言えます。

このように加えた条件を規格化条件と言います。適切に規格化することによって式が簡単になります。

規格化条件には,例えば x+y+z=1x+y+z=1xyz=1xyz=1x2+y2+z2=1x^2+y^2+z^2=1 などが使われます。

嬉しい事2:Schurの不等式やMuirheadの不等式が使える。

斉次式の場合に使える有名な不等式として,Schurの不等式やMuirheadの不等式が使えます。

嬉しい事3:相加相乗平均の不等式やシュワルツの不等式なども使いやすい

非斉次の場合よりも式が綺麗な場合が多いので,見通しよく計算できます。

以上,斉次式の嬉しい事を紹介しましたが,この記事で紹介するのは「条件付き不等式証明の斉次式化」ということで,すでに変数が規格化されている問題を扱うので,主に嬉しい事2,3が大事になってきます。

斉次式化することで証明する不等式の例

問題1

a+b=1,a,b0a+b=1, a, b\geq 0 のもとで a2a+1+b2b+113\dfrac{a^2}{a+1}+\dfrac{b^2}{b+1}\geq\dfrac{1}{3} を証明せよ。

方針

この程度の不等式なら bb を消去して aa だけの式にして分母を払って証明してもよいですが,対称性を保ったまま変形したほうが見通しがよくなるので,1=a+b1=a+b を用いて強引に斉次式にします。

解答

a+b=1a+b=1 を用いて両辺が1次の斉次式となる同値な不等式に変形する:

a22a+b+b22b+aa+b3\dfrac{a^2}{2a+b}+\dfrac{b^2}{2b+a}\geq\dfrac{a+b}{3}

分母を払って整理すると,以下の不等式と同値であることが分かる:

a3+b3a2bab20a^3+b^3-a^2b-ab^2\geq0

これは対称式であり簡単に因数分解できて証明が完了する:

(ab)2(a+b)0(a-b)^2(a+b)\geq 0

問題2

abc=1,a,b,c0abc=1, a, b, c\geq 0 のもとで a+b+ca2+b2+c2a+b+c\leq a^2+b^2+c^2 を証明せよ。

方針

左辺が1次で右辺が2次なので条件式を用いて左辺の次数を1増やします。出てきた不等式を見て3変数の対称な不等式のコツ:3つに分解するを思い出せば自然に相加相乗平均の不等式を用いることが分かるでしょう。

解答

abc=1abc=1 より左辺に (abc)13(abc)^{\tfrac{1}{3}} を掛けて2次の斉次式にする:

a43b13c13+a13b43c13+a13b13c43a2+b2+c2a^{\tfrac{4}{3}}b^{\tfrac{1}{3}}c^{\tfrac{1}{3}}+a^{\tfrac{1}{3}}b^{\tfrac{4}{3}}c^{\tfrac{1}{3}}+a^{\tfrac{1}{3}}b^{\tfrac{1}{3}}c^{\tfrac{4}{3}}\leq a^2+b^2+c^2

相加相乗平均の不等式を用いて左辺を1項ずつ上から抑える:

a2+a2+a2+a2+b2+c26a8b2c26=a43b13c13\dfrac{a^2+a^2+a^2+a^2+b^2+c^2}{6}\\\geq\sqrt[6]{a^8b^2c^2}\\=a^{\tfrac{4}{3}}b^{\tfrac{1}{3}}c^{\tfrac{1}{3}}

同様に,

a2+4b2+c26a13b43c13\dfrac{a^2+4b^2+c^2}{6}\geq a^{\tfrac{1}{3}}b^{\tfrac{4}{3}}c^{\tfrac{1}{3}}

a2+b2+4c26a13b13c43\dfrac{a^2+b^2+4c^2}{6}\geq a^{\tfrac{1}{3}}b^{\tfrac{1}{3}}c^{\tfrac{4}{3}}

以上3つの不等式を足しあわせて求める不等式を得る。

問題3

a+b+c=1,a,b,c0a+b+c=1, a, b, c\geq 0 のもとで a3+b3+c3+6abc14a^3+b^3+c^3+6abc\geq\dfrac{1}{4} を証明せよ。

方針

今までの問題と同様に斉次式にしてから整理していきます。最後はSchurの不等式を知っていれば一瞬です。

解答

両辺を4倍して右辺を (a+b+c)3(a+b+c)^3 倍する:

4a3+4b3+4c3+24abc(a+b+c)34a^3+4b^3+4c^3+24abc\geq (a+b+c)^3

右辺を展開して整理:

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

また,Schurの不等式より,

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

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

私は,斉次式のことを知らない高校時代に「斉次式なので xyz=1xyz=1 としてよい」という主張がなかなか理解できずに苦しんだ記憶があります。