산술 기하 평균 증명은 수학에서 가장 기본적이면서도 강력한 부등식의 하나입니다. 두 양수의 산술평균은 항상 기하평균보다 크거나 같고, 두 수가 같을 때만 등호가 성립합니다. 이 원리는 최댓값과 최솟값 문제에서 매우 유용하게 쓰이며, 공식을 단순히 외우는 대신 그 의미와 증명 과정을 이해하면 문제 풀이의 정확도가 크게 올라갑니다. 먼저 핵심 내용을 표로 정리해 보겠습니다.
| 항목 | 내용 |
|---|---|
| 공식 | (a+b)/2 ≥ √(ab) |
| 조건 | a ≥ 0, b ≥ 0 |
| 등호 조건 | a = b |
| 활용 | 합이 일정할 때 곱의 최댓값, 곱이 일정할 때 합의 최솟값 |
이 표에서 보듯이 산술 기하 평균 증명은 단순히 두 수의 관계를 나타내는 것 이상으로, 수학적 문제 해결의 도구가 됩니다. 저도 처음 이 공식을 배울 때는 그냥 공식만 외우고 문제에 적용했었습니다. 그런데 어느 날 최솟값을 구하는 문제에서 등호 조건을 확인하지 않고 무작정 적용했다가 엉뚱한 값을 얻은 적이 있습니다. 그때부터 왜 이런 부등식이 성립하는지 궁금해졌고, 증명 과정을 하나씩 따라가 보면서 비로소 확실하게 이해할 수 있었습니다. 오늘은 그 경험을 바탕으로 여러분께 쉬운 설명과 함께 다양한 증명 방법을 소개해 드리겠습니다.
완전제곱을 이용한 증명
가장 기본적인 증명은 완전제곱식의 성질을 이용하는 방법입니다. 모든 실수의 제곱은 0 이상이므로 (√a – √b)² ≥ 0이 성립합니다. 이 식을 전개하면 a – 2√(ab) + b ≥ 0이 되고, 정리하면 a + b ≥ 2√(ab)가 됩니다. 양변을 2로 나누면 (a+b)/2 ≥ √(ab)를 얻습니다. 등호가 성립하는 경우는 √a – √b = 0, 즉 a = b일 때입니다. 이 증명은 매우 짧고 명확해서 누구나 쉽게 따라올 수 있습니다.
사진을 한 장 보여 드리겠습니다. 이 사진은 산술 기하 평균 증명의 핵심 아이디어를 시각적으로 나타낸 것으로, 완전제곱의 관계를 도식화한 것입니다.
반원을 이용한 기하학적 증명
산술 기하 평균 증명은 기하학적으로도 아름답게 설명할 수 있습니다. 길이가 a+b인 선분을 지름으로 하는 반원을 그리면, 반지름은 (a+b)/2로 산술평균과 같습니다. 이 지름 위에서 a와 b가 만나는 지점에 수선을 세워 반원과 만나는 점의 높이를 구하면 √(ab)가 됩니다. 반원의 높이는 항상 반지름보다 작거나 같으므로, 자연스럽게 (a+b)/2 ≥ √(ab)가 성립합니다. 그리고 점이 원의 중심에 있을 때, 즉 a = b일 때 높이가 반지름과 같아져 등호가 성립합니다. 이렇게 눈으로 확인하면 왜 산술평균이 더 큰지 직관적으로 이해할 수 있습니다.
미분을 이용한 증명
미분을 활용한 증명은 함수의 최솟값을 구하는 방식으로 접근합니다. f(x) = ln x 라는 함수를 생각해 보면, 로그 함수는 오목한 성질을 가지므로 임의의 두 점에서 평균값이 함수값의 평균보다 크거나 같습니다. 이를 정리하면 자연스럽게 산술 기하 평균 부등식이 유도됩니다. 물론 미분을 사용하려면 미적분을 알고 있어야 하지만, 결과는 동일합니다. 이 방법은 여러 수로 확장할 때 특히 유용하며, n개의 양수에 대해서도 일반화할 수 있습니다.
실전 적용과 주의할 점
이 부등식을 문제에 적용할 때 반드시 확인해야 할 세 가지가 있습니다. 첫째, 모든 항이 0 이상인지 확인해야 합니다. 음수가 섞이면 기하평균이 정의되지 않습니다. 둘째, 최솟값을 구할 때는 두 항의 곱이 일정해야 하고, 최댓값을 구할 때는 두 항의 합이 일정해야 합니다. 셋째, 등호 조건이 실제로 가능한지 확인해야 합니다. 예를 들어 x + 4/x의 최솟값을 구할 때 x와 4/x의 곱이 4로 일정하므로 부등식을 적용할 수 있고, x = 2일 때 등호가 성립하여 최솟값 4를 얻습니다. 저도 처음에는 이 세 가지를 꼼꼼히 챙기지 않아서 틀린 적이 많았는데, 이제는 항상 체크리스트처럼 확인한 후 적용하고 있습니다.
또한 이 부등식은 코시-슈바르츠 부등식과 함께 수학 경시대회에서 자주 쓰입니다. 두 부등식을 함께 이해하면 최댓값과 최솟값 문제를 미분 없이 빠르게 해결할 수 있어 시간을 절약할 수 있습니다. 실제로 저는 시험에서 미분을 쓰기 전에 먼저 산술 기하 평균 증명을 활용할 수 있는지 확인하는 습관을 들였고, 덕분에 계산 실수를 줄이고 정확도를 높일 수 있었습니다.
세 수 이상으로의 확장
산술 기하 평균 증명은 두 수에만 적용되는 것이 아닙니다. 세 개의 양수 a, b, c에 대해서도 (a+b+c)/3 ≥ ∛(abc)가 성립하며, 등호는 a = b = c일 때입니다. 예를 들어 1, 2, 9의 경우 산술평균은 4이고 기하평균은 약 2.62이므로 성립함을 확인할 수 있습니다. 일반적으로 n개의 양수에 대해서도 동일한 관계가 성립합니다. 이 확장된 형태는 최적화 문제에서 자주 활용되며, 모든 변수가 같을 때 극값을 얻는다는 사실을 보여줍니다.
정리하며
산술 기하 평균 증명은 완전제곱, 반원, 미분, 코시-슈바르츠 등 다양한 방법으로 접근할 수 있으며, 각 방법은 서로 다른 수학적 관점을 제공합니다. 공식을 암기하는 데 그치지 않고 증명의 원리를 이해하면, 조건을 정확히 적용하고 등호 조건을 확인하는 습관이 생깁니다. 앞으로 최댓값과 최솟값 문제를 만나면 이 부등식을 먼저 떠올려 보시길 권합니다. 저도 꾸준히 연습하면서 이 개념이 얼마나 강력한지 다시 한번 느끼고 있습니다. 여러분도 산술 기하 평균 증명을 마스터하여 수학 문제 해결의 자신감을 얻으시길 바랍니다.
자주 묻는 질문
Q: 산술 기하 평균 증명은 언제 사용하나요?
A: 두 양수의 합이나 곱이 일정할 때 최솟값이나 최댓값을 구하는 문제에서 아주 유용하게 씁니다. 미분 없이 빠르게 결과를 얻을 수 있어요.
Q: 등호 조건을 왜 꼭 확인해야 하나요?
A: 등호가 성립해야 실제로 최솟값 또는 최댓값을 얻을 수 있기 때문입니다. 등호 조건을 만족하는 변수 값이 존재하지 않으면 부등식으로 구한 값은 단순한 하한 또는 상한에 불과해요.
Q: 음수인 항이 있으면 어떻게 되나요?
A: 기하평균은 제곱근을 포함하므로 음수에서는 정의되지 않습니다. 따라서 반드시 모든 항이 0 이상일 때만 적용할 수 있어요. 음수가 섞이면 다른 방법을 사용해야 합니다.
