ベルヌーイの不等式のソースを表示

[[File:Bernoulli inequality.svg|right|thumb|ベルヌーイの不等式を図解したもの。<math>y=(1 + x)^r</math>のグラフを赤、<math>y=1 + rx</math>を青で示した。ここでは<math>r=3</math>である。]]
[[実解析]]において'''ベルヌーイの不等式'''（ベルヌーイのふとうしき、Bernoulli's inequality）とは、 1 + ''x'' の[[冪乗]]に対して近似を与える不等式である。数学者の[[ヤコブ・ベルヌーイ]]にちなんでこの名で呼ばれている。

任意の[[整数]] ''r'' ≥ 0 と全ての[[実数]] ''x'' ≥ −1 に対し、次が成立する。

:<math>(1 + x)^r \geq 1 + rx\!</math>

指数 ''r'' が[[偶数]]の場合、この不等式は全ての実数 ''x'' に対して成り立つ。さらに厳しい条件のものとしては、任意の整数 ''r'' ≥ 2 と全ての実数 ''x'' ≥ −1 （ただし、''x'' ≠ 0）に対し、次が成立する。

:<math>(1 + x)^r > 1 + rx\!</math>

ベルヌーイの不等式は他の不等式を証明する際に重要な場面で用いられることがある。これは以下に示すように、[[数学的帰納法]]を使って証明することができる。

== 不等式の証明 ==
''r'' = 0 のとき、

:<math>(1+x)^0 \ge 1+0x \, </math>

となり、これは 1 ≥ 1 なので与式は成立する。

次に、''r'' = ''k'' の場合に与式が成立すると仮定する。

:<math>(1+x)^k \ge 1+kx. \, </math>

この両辺に ( 1 + ''x'' )　をかければ、( 1 + ''x'' ) ≥ 0 なので

:<math>
\begin{align}
& {} \qquad (1+x)(1+x)^k \ge (1+x)(1+kx)\quad \\
& \iff (1+x)^{k+1} \ge 1+kx+x+kx^2\\
& \iff (1+x)^{k+1} \ge 1+(k+1)x+kx^2.
\end{align}
</math>

となる。右辺 = 1 + (''k'' + 1)''x'' + ''kx''<sup>2</sup> ≥ 1 + (''k'' + 1)''x'' である（''kx''<sup>2</sup> ≥ 0 なので）。したがって、 (1 + ''x'')<sup>''k'' + 1</sup> ≥ 1 + (''k'' + 1)''x'' となり、 ''r'' = ''k'' + 1 の場合でも与式が成立することが示され、数学的帰納法により全ての ''r''に対して成立することが示された。

== 一般化 ==
指数 ''r'' は任意の実数に拡張することができる。 ''x'' > −1 であるならば、

''r'' ≤ 0 もしくは ''r'' ≥ 1 の場合：

:<math>(1 + x)^r \geq 1 + rx\!</math>

0 ≤ ''r'' ≤ 1 の場合：

:<math>(1 + x)^r \leq 1 + rx\!</math>

がそれぞれ成立する。

この一般化は[[微分法]]を用いて証明することができる。先述した厳しい条件の式は、''x'' ≠ 0 かつ ''r'' ≠ 0, 1 であるときに成立する。

== 関連不等式 ==
以下に述べる不等式は、 1 + ''x'' の冪乗に対する上側からの見積もりを与える。全ての実数 ''x'', ''r'' > 0 に対し、次が成立する。

:<math>(1 + x)^r \le e^{rx}\!</math>

ここで ''e'' = [[ネイピア数|2.718...]]である。これは、不等式 (1 + 1/''k'')<sup>''k''</sup> < ''e'' を示すことで得られる。

== 参考文献 ==
* {{Cite book| author = N. L. Carothers| last = Carothers| first = N.| title = Real Analysis| year = 2000| publisher = Cambridge University Press| location = Cambridge| isbn = 978-0-521-49756-5| page = 9 }}
* {{Cite book| author = P. S. Bullen| last = Bullen| first = P.S.| title = Handbook of Means and Their Inequalities| year = 1987| publisher = Springer| location = Berlin| isbn = 978-1-4020-1522-9| page = 4 }}
* {{Cite book| author = Samuel Zaidman| last = Zaidman| first = Samuel| title = Advanced Calculus| year = 1997| publisher = World Scientific Publishing Company| location = City| isbn = 978-981-02-2704-3| page = 32 }}

== 外部リンク ==
* {{高校数学の美しい物語|877|ベルヌーイの不等式}}
* {{MathWorld|title= Bernoulli Inequality |urlname= BernoulliInequality}}
* [https://demonstrations.wolfram.com/BernoulliInequality/ Bernoulli Inequality] by Chris Boucher, [[Wolfram Demonstrations Project]].
* {{Cite web|title=Introduction to Inequalities|url=http://www.mediafire.com/?1mw1tkgozzu |author=Arthur Lohwater|year=1982|accessdate=2012-01-04|publisher=Online e-book in PDF format}}

{{DEFAULTSORT:へるぬういのふとうしき}}
[[Category:不等式]]
[[Category:ヤコブ・ベルヌーイ]]
[[Category:数学に関する記事]]