不等式証明のコツ３：Ravi変換

更新日時 2021/03/07

Ravi変換

三角形の各辺の長さが変数の不等式証明問題は，Ravi変換と呼ばれる以下の置き換えを用いるとほとんどの場合でうまくいく。

Ravi変換： $a=x+y, b=y+z, c=z+x$

Ravi変換を用いるとうまくいく理由
斉次式化することで証明する不等式の例

Ravi変換を用いるとうまくいく理由「三角形の各辺の長さを
a,b,ca, b, ca,b,c
 とおくとき以下の不等式を証明せよ」
という問題は数学オリンピックで頻出です。大学入試問題でもまれに出題されます。
「三角形の各辺の長さ」なので，△不等式が条件として課せられることになります：
a+b−c>0,b+c−a>0,c+a−b>0a+b-c>0, b+c-a>0, c+a-b>0a+b−c>0,b+c−a>0,c+a−b>0
しかし，
三角不等式の制約を直接扱おうとすると泥沼にハマることが多いので，
a+b−c=2y,b+c−a=2z,c+a−b=2x⋯(1)a+b-c=2y, b+c-a=2z, c+a-b=2x\cdots(1)a+b−c=2y,b+c−a=2z,c+a−b=2x⋯(1)
と置くことで，制約を
x,y,z>0x, y, z>0x,y,z>0
 と扱いやすい形に変換します。
(1)(1)(1)
 を
a,b,ca, b, ca,b,c
 について解いたものがRavi変換になります。
つまり，三角不等式というめんどくさい制約のもとで f(a,b,c)≥0f(a, b, c)\geq 0f(a,b,c)≥0 を示す問題より，変数が0より大きいという簡単な制約のもとで f(x+y,y+z,z+x)≥0f(x+y, y+z, z+x)\geq 0f(x+y,y+z,z+x)≥0 を示す問題の方が一般的に簡単なのです。

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

1964年国際数学オリンピックロシア（旧ソ連）大会の第2問です。

問題1

$a, b, c$ が三角形の各辺の長さのとき，

$a^2(b+c-a)+b^2(c+a-b)+c^2(a+b-c)\leq 3abc$

を証明せよ。

方針

三角形の辺の長さの不等式証明問題は，まずRavi変換を試しましょう。整理すると「和 $\geq$ 積」という形が出てくるので相加相乗平均が使えることに気づきます。

解答

Ravi変換を用いると， $x, y, z>0$ のもとで以下の不等式を示せばよい：

$2z(x+y)^2+2x(y+z)^2+2y(z+x)^2\leq 3(x+y)(y+z)(z+x)$

整理する：

$x^2y+xy^2+y^2z+yz^2+z^2x+zx^2\geq 6xyz$

これは相加相乗平均の不等式より成立。

別解

目標の不等式を展開する：

$a^3+b^3+c^3+3abc\geq a^2b+ab^2+b^2c+bc^2+c^2a+ca^2$

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

※実は，この不等式は $a, b, c$ が三角形の各辺の長さでなくても非負なら成立します。

そういう意味で，問題1は少しつまらないかもしれません。次の問題は1983年の国際数学オリンピックの問題です。

問題2

$a, b, c$ が三角形の各辺の長さのとき，

$a^2b(a-b)+b^2c(b-c)+c^2a(c-a)\geq 0$

を証明せよ。

方針

Ravi変換を用いて整理するところまでは機械的にできます。巡回式ですが対称式ではないのでSchurの不等式は使えません。

解答

Ravi変換を用いると， $x, y, z>0$ のもとで以下の不等式を示せばよい：

$(x+y)^2(y+z)(x-z)+(y+z)^2(z+x)(y-x)+(z+x)^2(x+y)(z-y)\geq 0$

巡回式であることに注意しながら気合で整理する：

$xy^3+yz^3+zx^3\geq xyz(x+y+z)$

両辺 $xyz$ で割る

$\dfrac{y^2}{z}+\dfrac{z^2}{x}+\dfrac{x^2}{y}\geq x+y+z\cdots(A)$

この不等式は以下のようにシュワルツの不等式を用いて示せる：

$(z+x+y)(\dfrac{y^2}{z}+\dfrac{z^2}{x}+\dfrac{x^2}{y})\geq(y+z+x)^2$

シュワルツの不等式を使う部分は，シュワルツの有名な応用パターンの1つ：「分数の和を下から抑える」なのでできるようになっておきましょう。

また，シュワルツの不等式を思いつかなくても，3つに分解して示す方針で考えてもよいです。つまり，相加相乗平均の不等式より， $\dfrac{y^2}{z}+z\geq 2y$ なので，そのような不等式を3つ足し合わせることで不等式 $(A)$ は証明できます。

ただ，相加相乗平均をこのように用いるのもなお技巧的に感じられるかもしれません。以下のように考えれば自然に上の不等式が導かれる。

不等式 $\dfrac{y^2}{z}\geq ay+(1-a)z$ が成立する $a$ を発見できれば，そのような不等式を3つ足し合わせることで目標の不等式は証明される。そこで，そのような $a$ を全力で発見するために上の不等式を整理して平方完成する：

$(y-\dfrac{a}{2}z)^2+(-1+a-\dfrac{a^2}{4})z^2\geq 0$

$-1+a-\dfrac{a^2}{4}\geq 0$ ならよいので， $a=2$ とすればok.

Tag:幾何不等式の解法パターンまとめ

Tag:国際数学オリンピックの過去問

この記事の編集者

マスオ

高校数学の美しい物語の管理人。「わかりやすいこと」と「ごまかさないこと」の両立を意識している。著書に『高校数学の美しい物語』『超ディープな算数の教科書』。記事の誤植やわかりにくい等のご指摘はお気軽にメールください！