AMC 10 · 2003 · #24

학년 11 algebra
logarithm-propertiesam-gm-inequalityoptimization convert-to-algebraextreme-principle ↑ 선수 지식: logarithm-properties
📏 중간 풀이 💡 2 개 인사이트
문제
두 수 a와 b가 a ≥ b > 1을 만족한다. 이런 모든 쌍에 대하여 식 log_a(a/b) + log_b(b/a)가 가질 수 있는 가장 큰 값을 구하여라.

답을 골라 클릭하세요.

(A)
-2
(B)
0
(C)
2
(D)
3
(E)
4
풀이 과정
전략 변수 도입하기

식은 서로 무관한 두 수에 달린 것처럼 보이지만 실제로는 그렇지 않다. 이 식은 a와 b가 서로 어떻게 비교되는지에만 반응한다. 도구 #15(다르게 정리하기)는 몫의 로그를 차로 쪼개어 그 사실을 드러낸다. 그다음 도구 #4(변수 도입하기)가 살아남은 단 하나의 양 t = log_a b에 이름을 붙여 두 변수 문제를 한 변수 문제로 줄인다. 전체가 t만의 함수가 되면, 양수 t에 대해 t + 1/t ≥ 2라는 고전적인 사실로 도구 #14(극단의 원리)가 천장을 제공한다. 최댓값 주장은 천장만으로는 절반만 증명된 것이므로, 도구 #6(추측하고 확인하기)이 그 천장에 실제로 닿는 허용된 쌍을 제시해 마무리한다.

1STEP 1

몫의 로그를 쪼개기

각 몫을 쪼개고 밑 규칙을 쓰면 2 빼기 어떤 합으로 줄어든다.

log_a(a/b) + log_b(b/a) = 2 - (log_a b + log_b a)
2STEP 2

한 변수로 줄이기

두 로그는 서로 역수이므로 0 < t ≤ 1인 변수 t 하나가 전부를 감당한다.

t = log_a b = (ln b)/(ln a), 0 < t ≤ 1, 식 = 2 - (t + 1/t)
3STEP 3

괄호 안을 아래에서 막기

제곱이 음이 아님을 쓰면 합은 2 이상이므로 식은 0 이하다.

(√(t) - 1/√(t))² ≥ 0 ⟹ t + 1/t ≥ 2 ⟹ 2 - (t + 1/t) ≤ 0
4STEP 4

천장에 실제로 닿음을 보이기

등호는 두 수가 같을 때이고 이는 허용되므로 0이 실제로 달성된다, 보기 (B).

a = b = 2: log₂ 1 + log₂ 1 = 0 → (B) 0
정답
0
0보다 큰 선택지는 모두 불가능하다. 식이 2 - (t + 1/t)이고 양수 t에 대해 t + 1/t는 결코 2 아래로 내려가지 않기 때문이다. 그래서 (C), (D), (E)는 배제된다. 선택지 (A) -2는 식이 실제로 가질 수 있는 값이지만 최댓값은 아니다. 예를 들어 a = 4, b = 2이면 log₄ 2 + log₂ 1/2 = 1/2 - 1 = -1/2로 이미 -2보다 크고, b를 a에 가깝게 밀면 값은 0까지 올라간다. 또한 a를 b보다 훨씬 크게 잡으면 값을 얼마든지 작게 만들 수 있다. a = 2¹⁰⁰, b = 2이면 t = 1/100이고 값은 -98 부근이다. 즉 이 식에는 하한이 아예 없고 상한 0만 있다.
💡핵심 정리

식이 두 수의 비교에만 반응한다면 그 비교를 글자 하나로 이름 붙여라 — 그러면 어떤 수와 그 역수의 합은 결코 2보다 작아지지 않고, 두 수가 같을 때 정확히 2가 된다.

  • 몫의 로그를 쪼개기
  • 한 변수로 줄이기
  • 괄호 안을 아래에서 막기
  • 천장에 실제로 닿음을 보이기