정의
산술·기하 평균 부등식(Arithmetic–Geometric Mean Inequality, AM–GM Inequality)은 양의 실수 $a_1, a_2, \dots, a_n$에 대하여 다음과 같이 성립함을 나타낸다.
$$ \frac{a_1 + a_2 + \cdots + a_n}{n} ;\ge; \sqrt[n]{a_1 a_2 \cdots a_n}, $$
그리고 등호는 모든 $a_i$가 서로 동일할 때만 성립한다. 왼쪽은 산술 평균(Arithmetic Mean), 오른쪽은 기하 평균(Geometric Mean)이다.
주요 성질
| 성질 | 내용 |
|---|---|
| 동등 조건 | $a_1 = a_2 = \dots = a_n$ 일 때만 등호가 성립한다. |
| 확장 | 두 개의 수에 대해서는 $\frac{a+b}{2}\ge\sqrt{ab}$이며, $n$개의 수에 대해서는 위 식이 일반화된다. |
| 연속성 | 양의 실수에 대해 연속적인 함수로서, 변수의 수가 늘어나도 부등식은 유지된다. |
| 다른 평균과의 관계 | 조화 평균(Harmonic Mean)과 제곱 평균(Quadratic Mean, RMS) 사이에도 $\text{HM}\le\text{GM}\le\text{AM}\le\text{RMS}$ 가 성립한다. |
증명 방법 (대표적인 몇 가지)
-
유도법(Induction)
$n=2$인 경우 $\frac{a+b}{2}\ge\sqrt{ab}$는 $(\sqrt a-\sqrt b)^2\ge0$ 로 바로 증명된다. 이를 가정하고 $n$에 대해 가정하면, $2n$개의 수에 대해 $$ \frac{a_1+\dots+a_{2n}}{2n} =\frac{\frac{a_1+\dots+a_n}{n}+\frac{a_{n+1}+\dots+a_{2n}}{n}}{2} \ge\frac{\sqrt[n]{a_1\cdots a_n}+\sqrt[n]{a_{n+1}\cdots a_{2n}}}{2} \ge\sqrt[2n]{a_1\cdots a_{2n}} $$ 로 확대한다. -
콘벡스성 이용
로그 함수 $\ln x$는 정의역 $(0,\infty)$에서 엄격히 볼록(concave)하므로 Jensen 부등식을 적용하면 $$ \ln!\left(\frac{a_1+\dots+a_n}{n}\right) \ge \frac{1}{n}\sum_{i=1}^n \ln a_i $$ 가 되어 지수함수를 취하면 AM–GM 부등식이 얻어진다. -
라그랑주 승수법
고정된 곱 $a_1a_2\cdots a_n = c$ 하에서 산술 평균을 최소화하는 점을 찾으면, 대칭성에 의해 모든 $a_i$가 동일함을 알 수 있다. 이는 등호 조건과 일치한다.
역사적 배경
- 시초: 고대 그리스 수학자 히파소스(Hipparchus)와 이슬람 수학자 알-카시르(Al‑Kashi) 등이 유사한 형태의 부등식을 다루었다는 기록이 있다.
- 현대적 정식화: 18세기 말부터 19세기 초에 이르러 라인하르트(Euler)와 카를 프리드리히 가우스(Gauss) 등이 평균에 관한 일반적인 이론을 정립하면서 AM–GM 부등식이 명시적으로 기술되었다.
- 표준 명명: “Arithmetic–Geometric Mean Inequality”라는 명칭은 20세기 초 수학 교재에서 널리 사용되기 시작하였다.
응용 분야
| 분야 | 적용 예시 |
|---|---|
| 대수학 | 다항식 계수의 최소/최대값 추정, 실수 근의 존재 증명 |
| 해석학 | 적분 부등식(예: Hölder, Minkowski) 증명에 기본적인 도구로 활용 |
| 최적화 | 라그랑주 승수법이나 KKT 조건을 이용한 비선형 최적화 문제에서 변수 간 균형 조건을 유도 |
| 확률·통계 | 기댓값과 평균값 사이의 관계, 확률분포의 엔트로피 하한을 구할 때 사용 |
| 수치 해석 | 평균값을 반복적으로 계산하는 알고리즘(예: AGM 방법)으로 원주율 $\pi$ 계산 등에 활용 |
관련 개념
- 조화 평균(Harmonic Mean, HM)
- 제곱 평균(Quadratic Mean, RMS)
- Jensen 부등식
- Holder 부등식
- Muirhead 부등식
참고문헌
- Hardy, G. H.; Littlewood, J. E.; Pólya, G. Inequalities. Cambridge University Press, 1934.
- Bullen, P. S. Handbook of Means and Their Inequalities. Kluwer Academic Publishers, 2003.
- Cormen, T. H. et al. Introduction to Algorithms, 3rd ed., MIT Press, 2009 (AM–GM 부등식 활용 예시 포함).
요약
산술·기하 평균 부등식은 양의 실수 집합에 대해 산술 평균이 기하 평균보다 크거나 같다는 기본적인 부등식이며, 등호는 모든 원소가 동일할 때만 성립한다. 다양한 수학적 증명 방법과 광범위한 응용을 통해 현대 수학의 여러 영역에서 핵심적인 역할을 담당한다.
