정의
베르누이 부등식은 실수 $x$와 실수 지수 $r$에 대해 다음과 같이 표현되는 기본적인 부등식이다.
$$ (1 + x)^{,r} ;\ge; 1 + r,x $$
이 부등식은 다음과 같은 조건 하에서 성립한다.
| 조건 | 부등식 성립 여부 |
|---|---|
| $x \ge -1$이며 $r$가 실수이고 $r \ge 1$ | 항상 성립 |
| $x \ge -1$이며 $r$가 정수이고 $r \ge 0$ | 항상 성립 |
| $-1 < x < 0$이고 $0 < r < 1$ | 부등식이 역전되어 $(1+x)^r \le 1 + r x$ 가 된다 |
역사
베르누이 부등식은 스위스의 수학자 야코프 베르누이(1654–1705)가 1691년 《Ars Conjectandi》에 제시한 것으로 알려져 있다. 그는 확률론 및 조합론 연구 과정에서 이 부등식을 이용하여 수열의 수렴성을 논증하였다.
증명 개요
- 귀납법: $r$가 자연수일 경우, $r=1$에서 부등식이 자명하게 성립함을 확인하고, $r=k$가 성립한다면 $r=k+1$에 대해서도 $(1+x)^{k+1}=(1+x)^k(1+x) \ge (1+kx)(1+x) \ge 1+(k+1)x$ 를 이용해 귀납적으로 증명한다.
- 미분법: $f(r)= (1+x)^r - 1 - r x$ 를 $r$에 대해 미분하면 $f'(r)= (1+x)^r \ln(1+x) - x$. 조건 $x \ge -1$와 $r \ge 1$에서 $f'(r) \ge 0$ 임을 보이면 $f(r)$는 비감소함을 이용해 부등식을 얻을 수 있다.
관련 개념
- 거듭제곱 평균 부등식(AM–GM inequality): 베르누이 부등식은 AM–GM 부등식의 특수 경우로 해석될 수 있다.
- 지수함수의 볼록성: $\exp$ 함수의 볼록성을 이용한 일반화 형태 $(1+x)^r \ge 1+rx$는 볼록성 정의와도 일치한다.
- 수열 및 급수의 수렴 판정: 베르누이 부등식은 $ (1+\frac{a_n}{n})^n$ 형태의 수열이 $e^{a_n}$에 수렴함을 보이는 데 활용된다.
응용
- 확률론: 대수의 법칙과 큰 수의 법칙 증명에서 상한·하한을 설정할 때 사용된다.
- 분석학: 함수의 근사와 오차 추정, 특히 테일러 전개에서 첫 번째 항만을 남기고 나머지 항을 부정적으로 평가할 때 이용된다.
- 수학적 최적화: 제약조건이 있는 비선형 최적화 문제에서 선형 근사를 제공한다.
참고 문헌
- J. Bernoulli, Ars Conjectandi (1691).
- T. M. Apostol, Mathematical Analysis, 2nd ed., Addison‑Wesley, 1974.
- G. H. Hardy, A Course of Pure Mathematics, 10th ed., Cambridge Univ. Press, 1952.
(본 내용은 현재까지 확인된 학술 자료에 근거한 객관적인 기술이며, 추가적인 세부 사항은 전문 수학 서적이나 논문을 참고한다.)