기하평균

\(n\)이 \(2\) 이상인 자연수이고 \(x_1 ,\) \(x_2 ,\) \(\cdots ,\) \(x_n\)이 모두 \(0\) 이상인 실수라고 하자. 그러면 다음 부등식이 성립한다. \[\sqrt[n]{x_1 x_2 \cdots x_n} \le \frac{x_1 + x_2 + \cdots + x_n}{n}\tag{1}\] 여기서 등식이 성립할 필요충분조건은 \(x_1 = x_2 = \cdots = x_n\)인 것이다. 라그랑주 승수법(method of Lagrange’s multiplier)을 이용하여 이것을 증명해 보자. 증명을 마칠 때까지 첨수 \(i\)는 \(n\) 이하의 자연수를 나타내는 것으로 약속한다. …