4
高校数学解説
文献あり

Tangent Line Trick :)

387
0
$$$$

はじめに

こんにちは.またまた不等式です.今回は $n-1$EV に関連したテクニックで,Tangent Line Trickと呼ばれています.簡単な内容です.

前提知識

  • 微分の基礎

Tangent Line Trick

いきなりですが本題です.
Tangent Line Trickとは,
$I\subset\mathbb R$は区間で,$f:I\rightarrow\mathbb R$,$a=\dfrac{a_1+a_2+\cdots+a_n}n$が一定であるとする.このとき,
$$f(a_1)+f(a_2)+\cdots+f(a_n)\ge nf(a)$$
を示すときに,
$$f(x)\ge f(a)+f'(a)(x-a)$$
を示すテクニックです.

もちろんですが$f$が常に凸であれば,Jensenの不等式やKaramataの不等式によって直ちに示されます.なので,$f$が凸でないようなときに効いてくるテクニックです.
tangent lineは接線を意味していて,$f(a)+f'(a)(x-a)$は,$f(x)$$x=a$で接する接線の方程式を表しています.

これだけではつかみずらいと思いますので例題を紹介します.

ELMO SLP A6 2013

$a,b,c>0,a+b+c=3$とする.
$$\sum_{\mathrm{cyc}}\dfrac{18}{(3-a)(4-a)}+2(ab+bc+ca)\ge15$$
を示せ.

問題は こちら を見てください.

解答
$2(ab+bc+ca)=9-(a^2+b^2+c^2)$であるから,
$$\sum_{\mathrm{cyc}}\left(\dfrac{18}{(3-a)(4-a)}-a^2\right)\ge6$$
を示せばよく,
$$\dfrac{18}{(3-a)(4-a)}-a^2\ge2 +\dfrac12(a-1)\ \Longleftrightarrow\ \dfrac12\cdot\dfrac{x(9-2x)(x-1)^2}{(3-x)(4-x)}\ge0$$
であるから,与えられた不等式は成り立つ.
JMO 本選 1997

$a,b,c>0$とする.
$$\dfrac{(b+c-a)^2}{(b+c)^2+a^2}+\dfrac{(c+a-b)^2}{(c+a)^2+b^2}+\dfrac{(a+b-c)^2}{(a+b)^2+c^2}\ge\dfrac35$$
を示せ.

問題は こちら を見てください.

解答
両辺は斉次で次数が等しいため,$a+b+c=1$として,
$$\dfrac{(1-2a)^2}{(1-a)^2+a^2}+\dfrac{(1-2b)^2}{(1-b)^2+b^2}+\dfrac{(1-2c)^2}{(1-c)^2+c^2}\ge\dfrac35$$
を示せばよく,
$$\dfrac{(1-2a)^2}{(1-a)^2+a^2}\ge\dfrac15-\dfrac{54}{25}\left(x-\frac13\right)\ \Longleftrightarrow\ \dfrac{2}{25}\cdot\dfrac{(3a-1)^2(6a+1)}{(1-a)^2+a^2}\ge0$$
であるから,与えられた不等式は成り立つ.


おわりに

最後まで見ていただきありがとうございました.
正直眠たくなるような内容だったと思いますが,割と重要な内容(かもしれない)です.$\sum f(a_i)$の形があれば,$f$の凸性を調べるとおもいますが,このようなテクニックを知っていなかったら焦ってしまうと思います.
特にBunching(Muirheadの不等式を用いて証明すること)より計算量は圧倒的に少ないので計算ミスをする可能性があることを考えれば知っておいたほうがいいと思われます.
例題を探しているときに感じましたが,Tangent Line Trickを用いて簡単に解けるようなものがなかなか見つけれませんでした.
Tangent Line Trickが使えないときは, $n-1$EV を考えたほうがいいでしょう.
それでは,ありがとうございました.

参考文献

投稿日:202254
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

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

コメント

他の人のコメント

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