19
高校数学解説
文献あり

n-1EV :(

1624
0
$$$$

この記事は,正確性を保証できません.ご注意ください.

はじめに

こんにちは.今回も不等式ですが,今回は$\textbf{使える}$テクニックです.
紹介するのは,「n-1EV」または「n-1 Equal Value Principle」と呼ばれているものです.
軽く説明すると,ある多変数の式の最小値や最大値を考える時にある一変数の式を考えるだけで良くなります.もちろん我々は多変数より一変数のほうが扱いやすいですよね.なのでかなり嬉しい主張です!!
しかし注意が必要です.微分などの計算量が普通より多くなります.

前提知識

  • 凸関数や凹関数の基礎
  • 変曲点
  • 微分の基礎

ちょっとした準備

優数列

$a=(a_1,a_2,\cdots,a_n)\in\mathbb R^n,b=(b_1,b_2,\cdots,b_n)\in\mathbb R^n$は非増加な数列であるとする.$a\succ b$であるとは,以下の2つをみたすことを言う.

  • 全ての$1\le k< n\ に対して,$$\displaystyle{\sum_{i=1}^ka_i\ge\sum_{i=1}^kb_i}$.
  • $\displaystyle{\sum_{i=1}^n}a_i=\sum_{i=1}^nb_i$.

$a\succ b$であることを,「$a$$b$の優数列である」といい

Karamataの不等式

$f:\mathbb R\rightarrow\mathbb R$は区間$I\subset\mathbb R$で凸であるとし,非増加な2つの数列,$a=(a_1,a_2,\cdots,a_n),b=(b_1,b_2,\cdots,b_n)$は,$a_i,b_i\in I(i=1,2,\cdots,n)$$a\succ b$をみたす.このとき,
$$f(a_1)+f(a_2)+\cdots+f(a_n)\ge f(b_1)+f(b_2)+\cdots+f(b_n)$$
が成り立つ.

$f$が凹なら,$-f$は凸であるから,不等号はひっくり返る.

この不等式は証明を省きます.
証明を知りたい方は, こちら を参考にするとよいでしょう.
※追記 この先は狭義凸,凹のみ考えます.また,その時の等号成立条件は$a=b$(全ての項がそれぞれ等しい)です.

$n-1$EV

では本題に行きましょう.

$n-1$EV

$a_1,a_2,\cdots,a_n$は実数で,$a_1+a_2+\cdots+a_n=S$は一定であるものとし,$f:\mathbb R\rightarrow\mathbb R$は一つだけ変曲点を有しているものとする.このとき,
$$f(a_1)+f(a_2)+\cdots+f(a_n)$$
が最大値または最小値をとるとき,$n-1$個の$a_i$は等しい.

$n-1$EVは変数が$\mathbb R$全体を動くときのみ成り立つが,そうでないときにも成り立つことがあります.
詳しくは この動画 を見てください.

※追記 上限,下限でも成り立ちます

証明


$f(x)$の変曲点を$k$とおく.$x\ge k$のとき,$f(x)$が凸となるときの最大値の場合について考える.
まずは,全てが$k$以下にならないとき,$a_1\ge a_2\ge\cdots\ge a_l\ge k\ge a_{l+1}\ge\cdots\ge a_n\ $として一般性を失わない.
まず,Karamataの不等式より以下の二つの不等式が成り立つ.
$$\sum_{i=1}^lf(a_i)\le(l-1)f(k)+f\left(a_1+\cdots+a_l-(l-1)k\right)\\ (l-1)f(k)+\sum_{i=l+1}^nf(a_i)\le(n-1)f\left(\frac{(l-1)k+a_{l+1}+\cdots+a_n}{n-1}\right)$$
これらより,
$$\sum_{i=1}^nf(a_i)\le f(a_1+\cdots+a_l-(l-1))+(n-1)f\left(\frac{(l-1)k+a_{l+1}+\cdots+a_n}{n-1}\right)$$
が成り立つ.ここで,$X=\dfrac{(l-1)k+a_{l+1}+\cdots+a_n}{n-1}$とおけば,$a_1+\cdots+a_l-(l-1)k=S-(n-1)X$であり,
$$\left\{\sum_{i=1}^nf(a_i)\Biggm\vert a_i\in\mathbb R,a_1+a_2+\cdots+a_n=S\right\}\supset \Biggl\{f(S-(n-1)X)+(n-1)f(X)\Biggm\vert X\le k\Biggr\}=\Biggr\{f(a_1+\cdots+a_l-(l-1)k)+(n-1)f\left(\frac{(l-1)k+a_{l+1}+\cdots+a_n}{n-1}\right)\Biggm\vert a_i\in\mathbb R,a_1+a_2+\cdots+a_n=S\Biggl\}$$
をみたす.
よって, $\displaystyle{\sum_{i=1}^nf(a_i)}$が最大値をとる時、
$$\sum_{i=1}^nf(a_i)=f(S-(n-1)X)+(n-1)f(X) $$
が成り立ち,これは$n-1$個の$a_i$が等しいことを意味する.

$k\ge a_1\ge a_2\ge\cdots\ge a_n $であるとき,Karamataの不等式より,
$$\sum_{i=1}^nf(a_i)\le nf\left(\frac Sn\right)$$
が成り立ち,$n-1$個の$a_i$が等しいことを意味する.
以上より,$x\ge k$のとき,$f(x)$が凸となるときの最大値をとる場合は示された.
その他の場合は,同様に示される.

これだけではよくわからないと思いますので,例題を解いて慣れていきましょう.

IMO 2001

$a,b,c$は正数である.
$$\frac a{\sqrt{a^2+8bc}}+\frac b{\sqrt{b^2+8ca}}+\frac c{\sqrt{c^2+8ab}}\ge1$$
を示せ.

出典は こちら .

解答


$e^x=\dfrac{bc}{a^2},e^y=\dfrac{ca}{b^2},e^z=\dfrac{ab}{c^2}$とおけば,$x+y+z=0$の下で,
$$\frac1{\sqrt{1+8e^x}}+\frac1{\sqrt{1+8e^y}}+\frac1{\sqrt{1+8e^z}}\ge1$$
を示せばよい.
$f(x)=\dfrac1{\sqrt{1+8e^x}}$とおけば,
$$f(x)+f(y)+f(z)\ge1$$
となる.ここで,
$$f''(x)=\frac{4e^x(4e^x-1)}{(1+8e^x)^{\frac52}}$$
であるから$f$は1つだけ変曲点を有する.よって,$n-1$EVより,$0< t$に対して,
$$\frac2{\sqrt{1+8t}}+\frac t{\sqrt{t+8}}\ge1$$
を示せばよい.後は単純な計算なので省く

Vietnam 1998

正数$x_1,x_2,\cdots,x_n$$\displaystyle{\sum_{i=1}^n\dfrac1{1998+x_i}=\dfrac1{1998}}$をみたす.
$$\dfrac{\sqrt[n]{x_1x_2\cdots x_n}}{n-1}\ge1998$$
を示せ.

出典は こちら .

解答


$y_i=\dfrac{1998}{1998+x_i}$とおけば,$\displaystyle{\sum_{i=1}^ny_i}=1$の条件の下で,
\begin{equation*} \prod_{i=1}^n\left(\frac1{y_i}-1\right)\ge(n-1)^n \end{equation*}
を示せばよい.
両辺$\log$をとって,$f(x)=\log\left(\dfrac1{x}-1\right)$とおくと,
$$f(y_1)+f(y_2)+\cdots+f(y_n)\ge nf\left(\frac1n\right)$$
となる.ここで,
$$f''(x)=\dfrac{1-2x}{(x^2-x)^2}$$
であるから$f$は1つだけ変曲点を有する.よって$n-1$EVより,$0< t< 1$に対して,
$$(n-1)\log\left(\dfrac1t-1\right)+\log\left(\dfrac1{1-(n-1)t}-1\right)\ge n\log(n-1)$$
を示せばよい.あとは単純な計算なので省く.


ネタバレありの感想


$$f(y_1)+f(y_2)+\cdots+f(y_n)\ge nf\left(\frac1n\right)$$
を示すときにもし,考える範囲で常に凸なら,Karamataの不等式により一発で解けます.
変曲点が$\frac12$でなんとなくで成り立ちそうだなともあまり感じれません.そう考えると$n-1$EVは最小値が与えられていなくても解ける万能なテクニックなようにも感じられますね.

おわりに

最後まで見ていただきありがとうございました.
実はこの主張は,凸(resp. 凹)なら端点で最大値(resp. 最小値)をとるなどのことをふまえれば,ほんのちょっとだけ当たり前な意味にみえます.($\mathbb R$でしかなかなか使えないことも)

できるだけ丁寧に取り扱ったつもりですがわかりにくいところが多いかもしれません.
この記事を書く上で参考にした文献が母国語ではないためかなり理解がしずらかったと感じています.
この記事は,正確性を保証できませんのでご参考までに.
怖いので,いっぱい保険をかけておきます.
それでは,ありがとうございました.

参考文献

投稿日:2022418
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

kk2
kk2
57
8419
2006年に生まれました

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中