산술기하평균 공식

산술기하평균 공식은 무엇인가

산술기하평균 공식은 두 양수의 평균을 서로 다른 방식으로 비교하는 부등식입니다. 양수 a, b에 대하여 산술평균은 (a+b)/2이고 기하평균은 √ab입니다. 핵심 결론은 (a+b)/2 ≥ √ab이며, 왼쪽의 산술평균이 오른쪽의 기하평균보다 항상 크거나 같다는 뜻입니다. 기호를 외우기 전에 두 평균이 무엇을 말하는지 이해하면 문제에서 식을 고르는 일이 훨씬 쉬워집니다.

산술평균은 두 수를 더한 뒤 둘로 나눈 값이라서 수직선 위의 가운데를 나타냅니다. 반면 기하평균은 두 수를 곱한 뒤 제곱근을 취한 값이라서 곱의 크기를 균형 있게 반영합니다. 예를 들어 4와 9의 산술평균은 6.5이고 기하평균은 6입니다. 두 수가 서로 멀어질수록 두 평균의 차이가 벌어지며, 같은 수라면 두 평균은 정확히 일치합니다.

공식을 사용할 때 가장 먼저 확인할 조건은 양수입니다. √ab가 실수로 정의되려면 보통 a와 b가 양수여야 하고, 제곱근을 취한 뒤 부등식 방향을 다룰 때도 이 조건이 안전장치가 됩니다. 교과 과정에서 산술기하평균이라고 하면 특별한 말이 없는 한 양수 두 수를 전제로 생각하면 됩니다. 음수나 영이 포함되는 문제는 조건을 따로 읽고 적용 범위를 다시 점검해야 합니다.

공식의 모양과 등호 조건

가장 자주 쓰는 형태는 a+b ≥ 2√ab입니다. 이는 양변에 2를 곱한 식일 뿐이므로 (a+b)/2 ≥ √ab와 완전히 같은 내용입니다. 문제에서 합 a+b가 보이면 이 형태가 편하고, 평균을 직접 비교하거나 분수의 최솟값을 다룰 때는 평균 형태가 자연스럽습니다. 한 가지 문장을 여러 모양으로 바꾸어 보는 연습을 해 두면 식 변형에 끌려가지 않고 필요한 도구를 선택할 수 있습니다.

등호는 a=b일 때에만 성립합니다. 이 조건은 부등식의 덤이 아니라 최대·최소 문제의 답을 결정하는 핵심 정보입니다. 산술평균과 기하평균이 같아지는 순간은 두 수가 완전히 균형을 이룰 때입니다. 따라서 어떤 해가 최댓값이나 최솟값을 실제로 만드는지 물으면, 계산 결과와 함께 두 변수의 값이 같아지는지 반드시 확인해야 합니다.

예컨대 x와 y가 양수이고 x+y=20이라면 √xy ≤ 10입니다. 여기서 xy의 최댓값은 100이며, x=y=10일 때 얻습니다. 합이 고정되어 있을 때 곱을 가장 크게 하고 싶다면 두 수를 같게 만드는 것이 원칙입니다. 반대로 곱이 고정된 양수의 합을 가장 작게 하는 문제에서도 같은 균형 조건이 등장합니다. 산술기하평균은 이 두 상황을 짧은 한 줄로 정리해 줍니다.

제곱식을 이용한 대표 증명

증명의 출발점은 모든 실수의 제곱이 0 이상이라는 사실입니다. (a-b)² ≥ 0에서 전개하면 a²-2ab+b² ≥ 0을 얻고, 이를 정리하면 a²+2ab+b² ≥ 4ab가 됩니다. 왼쪽은 (a+b)²이므로 (a+b)² ≥ 4ab입니다. a와 b가 양수이면 a+b와 √ab도 음수가 아니어서 양변의 제곱근을 안전하게 취할 수 있습니다.

마지막 식에서 √를 취하면 a+b ≥ 2√ab가 나오며, 양변을 2로 나누면 산술기하평균 공식이 완성됩니다. 이 증명은 외워야 할 별도의 마술이 아니라, 두 수의 차이를 제곱해 보면 항상 음수가 될 수 없다는 아주 단순한 관찰입니다. 그래서 등호 조건도 자연스럽게 보입니다. (a-b)²이 0이 되는 경우, 즉 a=b일 때만 모든 과정에서 등호가 됩니다.

풀이를 쓸 때는 중간에 제곱근을 취하는 이유를 짧게 밝혀 주는 습관이 좋습니다. 양수 a, b에 대해 a+b>0이고 2√ab>0이므로 제곱 비교에서 원래의 크기 비교로 돌아갈 수 있다고 적으면 논리가 단단해집니다. 시험에서는 계산 줄을 무작정 늘리기보다 (a-b)² ≥ 0, 전개, 정리, 등호 조건의 순서를 또렷하게 제시하는 편이 실수를 줄입니다.

합이 일정할 때 곱의 최댓값 구하기

양수 x, y의 합이 S로 일정하다고 합시다. 산술기하평균을 적용하면 S/2=(x+y)/2 ≥ √xy입니다. 양변은 음수가 아니므로 제곱하여 xy ≤ S²/4를 얻습니다. 따라서 합이 정해진 두 양수의 곱은 S²/4를 넘을 수 없습니다. 그리고 x=y=S/2일 때 등호가 성립하므로, 이 상한은 실제 최댓값입니다.

숫자로 확인해 보면 합이 8인 두 양수에서 4와 4의 곱은 16입니다. 2와 6의 곱은 12이고, 1과 7의 곱은 7입니다. 합을 한쪽으로 더 치우치게 만들수록 곱은 작아집니다. 직사각형의 둘레가 일정할 때 넓이가 최대인 모양이 정사각형이라는 사실도 같은 원리로 설명할 수 있습니다. 가로와 세로가 같아지는 순간이 가장 균형 잡힌 배치입니다.

문제에 x(S-x)처럼 한 변수로 된 곱이 나와도 바로 전개만 할 필요는 없습니다. 두 항 x와 S-x가 양수인지 확인한 뒤, 합이 S로 고정되어 있다는 구조를 읽어 내면 산술기하평균이 빠른 길이 됩니다. 단, 변수의 범위가 양수를 보장하는지 확인해야 합니다. 범위가 닫힌 구간이거나 영을 포함한다면 끝점도 따로 비교하는 것이 정확한 풀이입니다.

곱이 일정할 때 합의 최솟값 구하기

이번에는 xy=P인 양수 x, y를 생각해 봅시다. 산술기하평균 공식에서 (x+y)/2 ≥ √xy=√P이므로 x+y ≥ 2√P입니다. 즉 곱이 일정한 양수 두 개의 합은 2√P보다 작아질 수 없습니다. 등호는 x=y=√P일 때 성립합니다. 곱을 고정한 채 두 수를 비슷하게 만들수록 합이 줄어든다는 의미입니다.

예를 들어 xy=36이면 x+y의 최솟값은 12입니다. 실제로 x=y=6일 때 합이 12이고, 4와 9를 택하면 합은 13으로 커집니다. 여기서 최솟값을 구했다는 말은 단지 12라는 수를 발견했다는 뜻이 아닙니다. x와 y가 모두 6일 때 그 값이 가능하다는 등호 조건까지 보여야 합니다. 부등식 문제에서 등호 조건은 답의 존재를 확인하는 마지막 열쇠입니다.

분수식에도 이 생각을 옮길 수 있습니다. 예를 들어 양수 x에 대해 x+9/x를 보면 x와 9/x의 곱은 9로 일정합니다. 따라서 x+9/x ≥ 6이고, x=3일 때 최솟값 6을 얻습니다. 복잡해 보이는 식을 두 양수의 합으로 분리한 다음 그 곱이 일정한지 찾는 것이 핵심입니다. 분모가 있는 문제는 정의역 x>0 또는 x<0을 먼저 확인하는 습관이 필요합니다.

실전 적용 순서와 자주 하는 실수

실전에서는 먼저 양수 조건을 표시하고, 다음으로 합이 고정인지 곱이 고정인지 찾습니다. 합이 고정되면 곱의 최댓값, 곱이 고정되면 합의 최솟값을 의심해 볼 수 있습니다. 그 뒤 a+b ≥ 2√ab 또는 (a+b)/2 ≥ √ab 가운데 식의 모양에 맞는 형태를 고릅니다. 마지막으로 등호가 가능한 변수값을 대입해 실제로 목표값이 나오는지 확인하면 풀이가 완결됩니다.

가장 흔한 실수는 등호 조건을 빼먹는 것입니다. 부등식으로 범위를 얻은 뒤 그 경계값을 만들 수 없다면 최댓값이나 최솟값이라고 결론 내릴 수 없습니다. 또 음수까지 허용되는 식에 양수용 공식을 그대로 적용하는 실수도 주의해야 합니다. 제곱근이 있는 식은 정의역을 먼저, 분수가 있는 식은 분모가 0이 아닌지를 먼저 살피는 순서가 안전합니다.

산술기하평균 공식은 단순 암기 항목이 아니라 균형을 찾는 도구입니다. 두 수의 합이나 곱이 고정된 상황에서 가장 좋은 값은 대개 두 수가 같아지는 지점에서 나옵니다. 공식, 양수 조건, 등호 조건을 한 묶음으로 기억하면 최대·최소 문제와 분수 부등식 문제를 훨씬 안정적으로 풀 수 있습니다. 짧은 예제를 직접 바꾸어 계산하며 언제 균형이 깨지고 값이 달라지는지 확인해 보세요.

세 수 이상으로 넓혀 생각하는 방법

산술기하평균의 생각은 두 수에서 끝나지 않습니다. 양수 a, b, c에 대해서는 (a+b+c)/3 ≥ ³√abc가 성립합니다. 세 수의 산술평균은 세 수의 곱의 세제곱근보다 작지 않다는 뜻입니다. 합이 일정한 세 양수의 곱이 언제 최대가 되는지 묻는 문제에서는 세 수를 모두 같게 만들면 된다는 결론으로 이어집니다. 다만 세 수 공식은 두 수 공식을 단순히 기호만 바꾼 것이 아니라 평균의 개수에 맞춰 3과 세제곱근이 등장한다는 점을 기억해야 합니다.

예를 들어 x+y+z=12인 양수 세 수의 곱 xyz의 최댓값은 4×4×4=64입니다. 평균은 4이므로 ³√xyz ≤ 4가 되고, 양변을 세제곱하면 xyz ≤ 64가 됩니다. x=y=z=4에서 등호가 성립하므로 최댓값이 확정됩니다. 두 수 문제에서 배운 균형 원리가 세 수에도 똑같이 이어진다는 것을 볼 수 있습니다. 변수의 개수가 늘어날수록 식은 길어지지만, 균등한 분배가 최적이라는 직관은 오히려 더 분명해집니다.

여러 항의 식을 다룰 때는 모든 항이 양수인지, 평균을 몇 개의 항으로 나누어야 하는지, 등호가 동시에 가능한지를 차례로 확인합니다. 어떤 항에 계수가 붙어 있다면 같은 항을 여러 번 더한 것으로 해석하거나 가중치가 있는 평균을 사용해야 할 수도 있습니다. 따라서 공식만 기계적으로 대입하기보다 문제의 항들을 같은 역할끼리 묶는 과정이 중요합니다. 이 기본 점검을 해 두면 산술기하평균을 적용할 수 없는 구조를 억지로 다루는 일을 피할 수 있습니다.

연습으로 공식을 내 것으로 만들기

공식을 익히는 가장 좋은 방법은 같은 구조의 수를 바꾸어 보는 것입니다. 합이 10인 양수 두 수의 곱을 구하는 문제에서는 5와 5를 먼저 떠올리고, 곱이 25인 두 양수의 합을 구하는 문제에서는 5와 5를 먼저 떠올려 보세요. 그 다음 일부러 1과 9, 2와 8처럼 불균형한 쌍을 넣어 곱이나 합이 어떻게 변하는지 계산하면 등호 조건의 의미가 선명해집니다. 계산 결과가 공식의 방향과 맞는지 스스로 검산하는 습관도 자연스럽게 생깁니다.

증명 연습도 짧게 반복하면 좋습니다. (u-v)² ≥ 0에서 시작하여 u²+v² ≥ 2uv를 만든 뒤, 필요한 식의 형태로 옮겨 보세요. 예를 들어 u+v ≥ 2√uv를 직접 쓰고, u+4/u ≥ 4 같은 분수식으로 연결해 보는 방식입니다. 한 번에 어려운 경시 문제를 풀기보다, 왜 제곱이 등장하는지와 왜 양수 조건이 필요한지를 자기 말로 설명할 수 있을 때까지 기본형을 다지는 편이 오래 갑니다.

마지막 체크는 항상 세 가지입니다. 첫째, 평균을 이루는 수가 양수인가를 확인합니다. 둘째, 부등식으로 얻은 경계가 문제에서 원하는 최대 또는 최소의 방향과 맞는지 살핍니다. 셋째, 등호가 성립하는 값을 대입해 경계값을 실제로 만들 수 있는지 확인합니다. 이 순서를 지키면 산술기하평균 공식은 암기 카드 속 한 줄이 아니라, 조건을 읽고 최적값을 찾는 믿을 만한 풀이 도구가 됩니다.

문제 문장을 식으로 번역하는 연습

산술기하평균 문제는 문장 속 조건을 식으로 정확하게 옮기는 순간 절반이 풀립니다. ‘둘레가 일정한 직사각형’이라는 말은 가로와 세로의 합이 일정하다는 뜻이고, ‘넓이가 일정한 직사각형’이라는 말은 가로와 세로의 곱이 일정하다는 뜻입니다. ‘양의 실수 x에 대하여’라는 표현은 x와 어떤 분수항이 양수가 되는지 확인하라는 신호입니다. 문장을 읽자마자 합, 곱, 양수 조건에 밑줄을 긋는 습관을 들이면 어떤 공식을 선택할지 빠르게 판단할 수 있습니다.

가령 가로가 x이고 세로가 12-x인 직사각형의 넓이를 최대화한다고 합시다. 조건에서 0<x<12가 필요하고, 넓이는 x(12-x)입니다. 두 인수의 합이 12이므로 산술기하평균에 의해 x(12-x)≤36입니다. 등호는 x=12-x, 즉 x=6에서 성립하므로 정사각형일 때 넓이가 최대라는 결론을 얻습니다. 이 과정에서 미분을 쓰지 않아도 되는 이유는 이미 합이 고정된 두 양수의 곱이라는 구조가 정확히 드러났기 때문입니다.

반대로 xy=16이고 x+y의 최솟값을 묻는다면, 문제는 곱이 고정된 두 양수의 합입니다. x+y≥2√16=8이라고 쓴 뒤 x=y=4일 때 등호가 성립한다고 적으면 풀이가 끝납니다. 같은 숫자라도 무엇이 고정되었는지에 따라 구하는 값과 부등식의 사용 방향이 달라집니다. 이 차이를 놓치면 공식은 맞게 썼는데도 문제의 질문에 답하지 못하는 일이 생깁니다. 먼저 구조를 말로 정리하고 그 다음 식을 쓰는 순서가 실수를 막아 줍니다.

조건이 여러 개라면 산술기하평균으로 얻은 후보가 모든 조건을 만족하는지도 확인해야 합니다. 예를 들어 정수 조건, 범위 조건, 서로 다른 수 조건이 추가되면 a=b라는 등호 조건이 허용되지 않을 수 있습니다. 그런 경우 부등식은 최적값의 방향을 알려 주지만 실제 최댓값이나 최솟값은 다른 후보에서 나올 수 있습니다. 공식이 주는 경계와 문제의 허용 범위를 함께 보는 태도가 중요합니다. 특히 자연수 문제에서는 연속적인 최적점 주변의 정수를 비교하는 한 단계가 더 필요할 수 있습니다.

공식 사용 뒤 검산하는 방법

답을 구한 뒤에는 작은 수를 넣어 부등식의 방향을 검산해 보세요. a=1, b=9이면 산술평균은 5이고 기하평균은 3이므로 5≥3이 맞습니다. a=4, b=4이면 두 평균이 모두 4가 되어 등호 조건도 확인됩니다. 이렇게 극단적으로 다른 두 수와 같은 두 수를 각각 대입하면 부등호 방향과 등호 조건을 동시에 점검할 수 있습니다. 머릿속에서만 확인하지 말고 한두 줄 계산해 보는 것이 부호 실수를 발견하는 가장 빠른 방법입니다.

분수식에서는 치환 후의 두 항을 다시 곱해 보는 검산이 유용합니다. x+9/x에서 x와 9/x의 곱이 정말 9인지 확인하면 √9=3, 따라서 합이 6 이상이라는 결론을 안정적으로 얻습니다. 어떤 풀이에서는 계수 때문에 2x와 8/x처럼 항을 나누어야 할 수도 있습니다. 이때 두 항의 곱이 16인지, 평균을 계산할 때 2로 나누었는지까지 차례대로 점검하면 계산이 깔끔해집니다. 식의 모양을 억지로 외우기보다 두 양수의 합과 곱을 직접 확인하는 편이 낫습니다.

산술기하평균은 최적화 문제를 짧게 만드는 강력한 도구지만, 모든 부등식 문제의 만능 열쇠는 아닙니다. 항이 음수가 될 수 있거나, 합과 곱 어느 쪽도 고정되지 않거나, 등호 조건이 범위 밖에 있을 때는 다른 방법이 필요합니다. 그럼에도 양수, 합 또는 곱의 고정, 균형 상태라는 세 신호가 보이면 가장 먼저 떠올릴 만한 공식입니다. 조건을 확인하고, 부등식을 적용하고, 등호를 검증하는 세 단계를 반복하면 공식을 정확하고 자신 있게 활용할 수 있습니다.

공식의 감각을 기르려면 숫자뿐 아니라 도형으로도 생각해 볼 수 있습니다. 넓이가 같은 여러 직사각형 가운데 정사각형이 가장 둘레가 짧고, 둘레가 같은 여러 직사각형 가운데 정사각형이 가장 넓다는 사실은 균형의 가치를 보여 줍니다. 가로와 세로를 서로 바꾸어 한쪽을 늘리면 다른 쪽은 줄어들고, 두 길이가 같을 때 가장 안정적인 결과가 나옵니다. 산술기하평균은 이 직관을 정확한 부등식으로 표현한 것입니다. 그림을 떠올리면 등호 조건을 단순한 암기 문장이 아니라 자연스러운 결론으로 받아들이기 쉬워집니다.

학습 노트에는 대표 형태와 함께 적용 조건을 나란히 적어 두는 것이 좋습니다. ‘a,b>0이면 a+b≥2√ab, 등호는 a=b’라고 한 줄로 정리한 뒤, 바로 아래에 ‘합 고정이면 곱 최대, 곱 고정이면 합 최소’라고 덧붙여 보세요. 다음에는 x+16/x≥8처럼 스스로 만든 한 줄 예제를 붙이면 공식이 실제 문제와 연결됩니다. 오답을 정리할 때는 계산 결과보다 조건을 놓쳤는지, 등호를 쓰지 않았는지를 기록하는 편이 효과적입니다. 같은 실수의 원인을 알면 다음 문제에서 더 빠르게 고칠 수 있습니다.

시간이 부족한 시험에서는 공식의 방향을 다시 유도하느라 멈추지 않도록, 같은 수에서는 평균들이 같고 서로 멀어질수록 산술평균이 더 크다는 그림을 떠올려 보세요. 이 감각은 선택지 검산에도 도움이 됩니다. 산술평균보다 기하평균이 커지는 결과나, 두 수가 달라졌는데도 등호가 성립한다는 결과는 즉시 의심할 수 있습니다. 다만 직관은 확인을 대신하지 않습니다. 최종 답안에는 양수 조건과 등호 조건을 식으로 남겨 두어야 논리와 채점 기준을 모두 만족합니다.