ネスビットの不等式

整数
スポンサーリンク

 

ネスビットの不等式とは

ネスビット(Nesbitt)の不等式とは以下の不等式。シャピロの不等式の\(n=3\)の場合にあたる。

 

ネスビットの不等式

\(a>0\)、\(b>0\)、\(c>0\)のとき

$$\displaystyle\frac{a}{b+c}+\displaystyle\frac{b}{c+a}+\displaystyle\frac{c}{a+b}\geq \displaystyle\frac{3}{2}$$

 

シャピロの不等式

\(a_{k}\geq 0\)、\(a_{n+1}=a_{1} , a_{n+2}=a_{2}\)のとき

$$\displaystyle\sum_{k=1}^{n} \displaystyle\frac{a_{k}}{a_{k+1}+a_{k+2}}\geq \displaystyle\frac{n}{2}$$

\(n\)は12以下の偶数または23以下の奇数。

 

証明

証明方法はたくさんありますが2つ紹介します。

 

証明1

\((左辺)-(右辺)\geq 0\)を示す。

見やすくするために両辺に \(2(a+b)(b+c)(c+a)\) をかける。

 

\(2(a+b)(b+c)(c+a)[(左辺)-(右辺)]\)

\(=2(a+b)(b+c)(c+a)\biggl(\displaystyle\frac{a}{b+c}+\displaystyle\frac{b}{c+a}+\displaystyle\frac{c}{a+b}-\displaystyle\frac{3}{2}\biggr)\)

\(=2a(a+b)(c+a)+2b(a+b)(b+c)+2c(b+c)(c+a)-3(a+b)(b+c)(c+a)\)

\(\geq 2(a^3+b^3+c^3)-(a^2 b+ab^2+b^2 c+bc^2+c^2 a+ca^2)\geq 0\) を示す。

 

\(a>0\)、\(b>0\)、\(c>0\)の条件から \((a-b)^2(a+b)\geq 0\) は成立。

変形すると \(a^3+b^3-a^2 b-ab^2\geq 0\) を得る。

同様にして \(b^3+c^3-b^2 c-bc^2\geq 0\) 

\(c^3+a^3-c^2 a-ca^2\geq 0\) 

 

この3式を足すと

\(2(a^3+b^3+c^3)-(a^2 b+ab^2+b^2 c+bc^2+c^2 a+ca^2)\geq 0\) 

が得られる。

 

証明2

\(2(左辺-右辺)=2\biggl(\displaystyle\frac{a}{b+c}+\displaystyle\frac{b}{c+a}+\displaystyle\frac{c}{a+b}-\displaystyle\frac{3}{2}\biggr)\)

 

\(=\displaystyle\frac{(a+b)+(c+a)-(b+c)}{b+c}+\displaystyle\frac{(b+c)+(a+b)-(c+a)}{c+a}\)

\(+\displaystyle\frac{(b+c)+(c+b)-(a+b)}{a+b}-3\)

 

\(=\displaystyle\frac{a+b}{b+c}+\displaystyle\frac{c+a}{b+c}-1+\displaystyle\frac{b+c}{c+a}+\displaystyle\frac{a+b}{c+a}-1+\displaystyle\frac{c+a}{a+b}+\displaystyle\frac{b+c}{a+b}-1-3\)

 

\(\geq 2\sqrt{\displaystyle\frac{a+b}{b+c}\cdot\displaystyle\frac{b+c}{a+b}}+2\sqrt{\displaystyle\frac{b+c}{c+a}\cdot\displaystyle\frac{c+a}{b+c}}+2\sqrt{\displaystyle\frac{c+a}{a+b}\cdot\displaystyle\frac{a+b}{c+a}}-6\)

 

\(=2+2+2-6=0\) 

タイトルとURLをコピーしました