Cauchy Reverse Technique

Cauchy Reverse Technique は,分数の和を下からおさえるときに使える不等式証明のテクニックです。

Cauchy Reverse Technique の雰囲気

「Cauchy」という名前がついていますが,使うのはコーシーシュワルツの不等式ではなく相加相乗平均の不等式です。

とりあえず例題で雰囲気を掴んでください。

読者の方に教えて頂いた問題です。

例題1

x,y,zx,y,z が正の実数のとき以下の不等式を証明せよ。

x3x2+y2+y3y2+z2+z3z2+x2x+y+z2 \dfrac{x^3}{x^2+y^2}+\dfrac{y^3}{y^2+z^2}+\dfrac{z^3}{z^2+x^2}\geq\dfrac{x+y+z}{2}

解答

相加相乗平均の不等式より,

x3x2+y2=xxy2x2+y2xxy22xy=xy2\begin{aligned} \dfrac{x^3}{x^2+y^2}&=x-\dfrac{xy^2}{x^2+y^2}\\ &\geq x-\dfrac{xy^2}{2xy}\\ &=x-\dfrac{y}{2} \end{aligned}

同様な式を3つ作って足し合わせると目標の不等式を得る。

1行目の変形は xx を変数,yy を定数と見て多項式の割り算をしています。

CRTについての考察

Cauchy Reverse Technique は名前が長いのでCRTと略します。

  • CRTは,分母が複数の項からなるときに使える技です。
    K=AB+CK=\dfrac{A}{B+C} というような項があると,分母が複数の項からなるので直接計算するのが厳しいです。そこで,分母を単項式にするような評価が欲しいので B+C2BCB+C\geq 2\sqrt{BC} を用いると KK を上からおさえることができます。
    しかし下から押さえたいときには工夫する必要があります。 その工夫がCRTです。つまり,多項式の割り算などを用いて符号を「反転」させてから相加相乗平均の不等式を用います。

  • CRTは巡回式に強い技です。
    CRTは分数の和を下からおさえたいときに使えるテクニックですが,同様なテクニックにシュワルツの不等式の応用公式があります。
    後者(シュワルツ)の方が使う機会が多いですが,主に対称式の場合のテクニックです。CRTは巡回式の不等式証明で威力を発揮することが多いです。実際にさきほどの例も巡回式です。

CRTの応用例

ブルガリアの代表選抜試験の問題です。

例題2

a+b+c=3a+b+c=3a,b,c0a,b,c\geq 0 のとき以下の不等式を証明せよ:。

a1+b2+b1+c2+c1+a232 \dfrac{a}{1+b^2}+\dfrac{b}{1+c^2}+\dfrac{c}{1+a^2}\geq\dfrac{3}{2}

方針

割り算の逆の操作を行って強引に符号を反転させた上でCRTを用います。その後不等式を整理して不等式証明のコツ2:斉次式化を用います。

解答

a1+b2=a+ab2ab21+b2=aab21+b2aab2\begin{aligned} \dfrac{a}{1+b^2} &=\dfrac{a+ab^2-ab^2}{1+b^2}\\ &=a-\dfrac{ab^2}{1+b^2}\\ &\geq a-\dfrac{ab}{2} \end{aligned}

よって,同様な式を3つ足し合わせると (左辺)312(ab+bc+ca)(\text{左辺}) \geq 3-\dfrac{1}{2} (ab+bc+ca) となる。これが 32\dfrac{3}{2} より大きいことを示す。つまり,ab+bc+ca3ab+bc+ca\leq 3 を示せば良い。

a+b+c=3a+b+c=3 を用いて斉次式化すると,ab+bc+ca13(a+b+c)2ab+bc+ca\leq \dfrac{1}{3}(a+b+c)^2 これは展開して整理すると有名不等式a^2+b^2+c^2≧ab+bc+caとなる。

ネタを提供してくださった読者の方に感謝!