logo

ベルヌーイの不等式の証明 📂レンマ

ベルヌーイの不等式の証明

要旨

α>0\alpha > 0 とすると、すべての x[1,)x \in [ - 1, \infty ) に対して、次の二つの不等式が成り立つ。

  • [1]: α(0,1]    (1+x)α1+αx\alpha \in (0, 1] \implies (1 + x )^{\alpha } \le 1 + \alpha x
  • [2] α(1,]    (1+x)α1+αx\alpha \in (1, \infty] \implies (1 + x )^{\alpha } \ge 1 + \alpha x

解説

不等式の形をよく見ると、α\alpha の大きさによるが、片方は乗算で、もう片方は累乗である。もちろん条件によるが、乗算であれ累乗であれ、不快な計算を好きな方に変えることができるのはとてもいいことだ。

証明

戦略:平均値の定理を使うだけでほぼ終わる。[2]の証明は **[1]とほぼ同じなので省略する。

[1]

関数 f:[1,)Rf : [ -1 , \infty) \to \mathbb{R}f(t):=tαf(t) := t^{\alpha} のように定義すると、f(t)=αtα1f’ (t) = \alpha t^{ \alpha -1 } である。平均値の定理により、111+x1 + x の間に、 f(1+x)f(1)=αxcα1 \begin{align} f(1+x) - f(1) = \alpha x c^{\alpha - 1} \label{1} \end{align} を満たす cc が存在する。


ケース 1. 0<x0 < x

c(1,1+x)c \in (1, 1+ x) なので c>1c>1 であり α10\alpha - 1 \le 0 なので cα11 c^{\alpha -1} \le 1 両辺に x>0x > 0 を掛けると xcα1x x c^{\alpha -1} \le x


ケース 2. 1x0-1 \le x \le 0

c(1+x,1)c \in (1 + x, 1) なので c1c \le 1 であり α10\alpha - 1 \le 0 なので cα11 c^{\alpha - 1} \ge 1 両辺に x0x \le 0 を掛けると xcα1x x c^{\alpha -1} \le x どちらの場合でも、(1)\eqref{1} によると (1+x)α=f(1+x)=f(1)+αxcα1f(1)+αx=1+αx \begin{align*} \displaystyle (1 +x)^{\alpha} =& f(1+x) \\ =& f(1) + \alpha x c^{ \alpha - 1 } \\ \le & f(1) + \alpha x \\ =& 1 + \alpha x \end{align*}

一方、すべての x>0x > 0 に対して、1+x<ex1 + x < e^{x} なので、e[1,)e \in [ 1, \infty ) に対する次の系を得る。

(1+x)αexα(1 + x )^{ \alpha } \le e^{ x \alpha }