実解析においてベルヌーイの不等式(ベルヌーイのふとうしき、Bernoulli's inequality)とは、 1 + x冪乗に対して近似を与える不等式である。数学者のヤコブ・ベルヌーイにちなんでこの名で呼ばれている。

ベルヌーイの不等式を図解したもの。のグラフを赤、を青で示した。ここではである。

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

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

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

不等式の証明 編集

r = 0 のとき、

 

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

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

 

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

 

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

一般化 編集

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

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

 

0 ≤ r ≤ 1 の場合:

 

がそれぞれ成立する。

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

関連不等式 編集

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

 

ここで e = 2.718...である。これは、不等式 (1 + 1/k)k < e を示すことで得られる。

参考文献 編集

  • Carothers, N. (2000). Real Analysis. Cambridge: Cambridge University Press. p. 9. ISBN 978-0-521-49756-5 
  • Bullen, P.S. (1987). Handbook of Means and Their Inequalities. Berlin: Springer. p. 4. ISBN 978-1-4020-1522-9 
  • Zaidman, Samuel (1997). Advanced Calculus. City: World Scientific Publishing Company. p. 32. ISBN 978-981-02-2704-3 

外部リンク 編集