大学数学基礎解説

Nesbittの不等式とその一般化

不等式

662

今回は数学オリンピックを受ける人なら知っているであろう不等式である、Nesbittの不等式の証明と、その(一つの)一般化について書きたいと思います。

Nesbittの不等式

まず、Nesbittの不等式は次のようなものでした。

Nesbittの不等式

正の数 $a, b, c$ に対し
$\frac{a}{b + c} + \frac{b}{c + a} + \frac{c}{a + b} ≧ \frac{3}{2}$
が成り立つ。(等号成立は $a = b = c$ のとき)

$3$ 変数の対称式なので、大小関係を設定したり、分母を払ってCauchy-Schwarzの不等式を使ったりすれば導出することができますが、一般化することを考えて対称性を保った方法で導出する方法を紹介したいと思います。

左辺を
$\begin{aligned} \frac{a}{b + c} + \frac{b}{c + a} + \frac{c}{a + b} & = (\frac{a}{b + c} + 1) + (\frac{b}{c + a} + 1) + (\frac{c}{a + b} + 1) - 3 \\ = \frac{a + b + c}{b + c} + \frac{a + b + c}{c + a} + \frac{a + b + c}{a + b} - 3 \\ = (a + b + c) (\frac{1}{b + c} + \frac{1}{c + a} + \frac{1}{a + b}) - 3 \end{aligned}$
と変形する。
ここで $a + b = α, b + c = β, c + a = γ$ と置くと、 $α, β, γ > 0$ であり、 $a + b + c = \frac{α + β + γ}{2}$ となるので、
$\begin{aligned} \frac{a}{b + c} + \frac{b}{c + a} + \frac{c}{a + b} & = \frac{1}{2} (α + β + γ) (\frac{1}{α} + \frac{1}{β} + \frac{1}{γ}) - 3 \\ = \frac{1}{2} (\frac{α}{α} + \frac{α}{β} + \frac{α}{γ} + \frac{β}{α} + \frac{β}{β} + \frac{β}{γ} + \frac{γ}{α} + \frac{γ}{β} + \frac{γ}{γ}) - 3 \\ = \frac{1}{2} (3 + \frac{β}{α} + \frac{α}{β} + \frac{γ}{β} + \frac{β}{γ} + \frac{α}{γ} + \frac{γ}{α}) - 3 \\ ≧ \frac{1}{2} (3 + 2 + 2 + 2) - 3 \\ = \frac{3}{2} \end{aligned}$
ただし、4行目の不等号には相加相乗平均を用いた。等号成立は、 $α = β = γ$ つまり $a = b = c$ のとき。

今回の証明は左辺の各項に $1$ を加えることで $a + b + c$ という共通因数を作るところがポイントです。Nesbittの不等式は $3$ 変数なので、愚直に展開して相加相乗平均を足し合わせることで最小値を求めることができましたが、次に述べる一般化は $n$ 変数になるので、もう少しうまい方法をとりたいと思います。

一般化

Nesbittの不等式の一般化というとShapiroの不等式というものが割と有名ですが、今回は、分母の数を増やしていこうと思います。つまり、次のことが成り立ちます。

一般化

正の数 $a_{1}, a_{2}, \dots, a_{n} (n ≧ 2)$ に対し
$\frac{a_{1}}{a_{2} + a_{3} + \dots + a_{n}} + \frac{a_{2}}{a_{1} + a_{3} + \dots + a_{n}} + \dots + \frac{a_{n}}{a_{1} + a_{2} + \dots + a_{n - 1}} ≧ \frac{n}{n - 1}$
が成り立つ。(等号成立は $a_{1} = a_{2} = \dots a_{n}$ のとき)

$n = 3$ とすればNesbittの不等式になるので、これは確かに一般化になっています。
こうなると、分母を払うことが難しいので先ほどのような方法が役に立ちます。
まず、証明の前に一つ今回使う定理を紹介します。

AM-HM不等式

正の数 $a_{1}, a_{2}, \dots, a_{n}$ に対し
$\frac{\sum_{k = 1}^{n} a_{k}}{n} ≧ \frac{n}{\sum_{k = 1}^{n} \frac{1}{a_{k}}}$
が成り立つ。(等号成立は $a_{1} = a_{2} = \dots = a_{n}$ のとき)

これは、 $n$ 変数相加相乗調和平均の相乗平均の部分を無視したものです。 $n = 3$ のときに、これを用いると先ほどの証明の $(α + β + γ) (\frac{1}{α} + \frac{1}{β} + \frac{1}{γ})$ が $3^{2} = 9$ 以上であることが直ちに分かります。この不等式を用いて、 $n$ 変数のNesbittの不等式の一般化を証明します。

左辺の $k$ 番目 $(k = 1, 2, \dots, n)$ の項 $\frac{a_{k}}{a_{1} + a_{2} + \dots + a_{n} - a_{k}}$ に $1$ を加えると、 $(a_{1} + a_{2} + \dots + a_{n}) \frac{1}{a_{1} + a_{2} + \dots + a_{n} - a_{k}}$ となるので、左辺は
$\frac{a_{1}}{a_{2} + a_{3} + \dots + a_{n}} + \frac{a_{2}}{a_{1} + a_{3} + \dots + a_{n}} + \dots + \frac{a_{n}}{a_{1} + a_{2} + \dots + a_{n - 1}} = (\sum_{k = 1}^{n} a_{k}) (\sum_{k = 1}^{n} \frac{1}{a_{1} + a_{2} + \dots + a_{n} - a_{k}}) - n$
となる。
ここで $b_{k} = a_{1} + a_{2} + \dots + a_{n} - a_{k}$ と置くと、 $b_{k} > 0$ であり $\sum_{k = 1}^{n} a_{k} = \frac{\sum_{k = 1}^{n} b_{k}}{n - 1}$ となるので、
$\begin{aligned} \frac{a_{1}}{a_{2} + a_{3} + \dots + a_{n}} + \frac{a_{2}}{a_{1} + a_{3} + \dots + a_{n}} + \dots + \frac{a_{n}}{a_{1} + a_{2} + \dots + a_{n - 1}} & = \frac{1}{n - 1} (\sum_{k = 1}^{n} b_{k}) (\sum_{k = 1}^{n} \frac{1}{b_{k}}) - n \\ ≧ \frac{n^{2}}{n - 1} - n \\ = \frac{n}{n - 1} \end{aligned}$
ただし、2行目の不等号にはAM-HM不等式を用いた。等号成立は $b_{1} = b_{2} = \dots = b_{n}$ つまり $a_{1} = a_{2} = \dots = a_{n}$ のとき。

というわけで、一般化したNesbittの不等式を証明することができました。証明しておいてなんですが、この不等式を使う機会ってあるんですかね?

投稿日：2021年1月5日

この記事を高評価した人

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

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

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

すもぐり

6098

他の人のコメント

コメントはありません。

読み込み中

すもぐり

Nesbittの不等式とその一般化

Nesbittの不等式
一般化