AMC 10 · 2010 · #20

학년 6 number-theoryalgebra
sequences-arithmeticgcdprime-factorization systematic-enumerationbound-inequality-then-enumerate ↑ 선수 지식: sequences-arithmetic
📏 긴 풀이 💡 3 개 인사이트
문제
정수로 된 두 수열이 같은 값에서 시작하고, 같은 자리의 두 항의 곱이 정해진 수가 된다. 그것이 가능한 가장 큰 자리를 구하여라.

답을 골라 클릭하세요.

(A)
2
(B)
3
(C)
8
(D)
288
(E)
2009
풀이 과정
전략 빠짐없이 나열하기

도구 #4 (변수 도입하기): 두 수열 모두 1에서 시작하므로 걸음 크기 x와 y에 이 문제의 자유도가 전부 담긴다. 그러면 a_n과 b_n은 1+(n-1)x와 1+(n-1)y가 되고, 이 꼴은 날카로운 사실 하나를 말해 준다. 어느 n번째 항이든 1을 빼면 n-1의 배수가 된다. 도구 #2 (빠짐없이 나열하기): 2010을 두 수의 곱으로 쪼개는 방법은 몇 가지뿐이므로, 모든 쪼갬을 적어 놓고 양쪽에서 1씩 뺀 뒤 두 수를 동시에 나눌 수 있는 가장 큰 n-1을 읽어 내면 된다. 도구 #14 (극단의 원리): 최댓값을 묻는 문제이므로 두 가지가 따로 필요하다. 아무도 넘을 수 없는 천장과, 그 천장에 실제로 닿는 수열 하나다. 나열이 천장을 주고, 수열을 직접 만드는 것이 그 천장에 닿음을 증명한다. 도구 #15 (다르게 정리하기): a_n과 b_n 대신 a_n-1과 b_n-1을 바라보는 순간 문제 전체가 열린다. 도구 #3 (가능성 지우기): 일곱 가지 쪼갬을 적어 놓고 하나씩 지워 나가는 것이, 천장을 짐작이 아니라 빈틈없는 결론으로 만든다.

1STEP 1

두 걸음 크기에 이름 붙이기

두 걸음 크기가 두 수열을 모두 설명한다.

a_n=1+(n-1)x, b_n=1+(n-1)y, 1 ≤ x ≤ y
2STEP 2

1을 빼서 배수를 드러내기

1씩 내리면 공통 약수가 드러난다.

a_n-1=(n-1)x, b_n-1=(n-1)y ⟹ (n-1) ∣ gcd(a_n-1, b_n-1)
3STEP 3

1 곱하기 2010 쪼갬 지우기

한쪽으로 치우친 쪼갬은 즉시 배제된다.

x ≥ 1→ a_n ≥ n, b_n ≥ n→ n² ≤ 2010→ n ≤ 44, 그리고 a_n ≥ 2
4STEP 4

2010의 약수 쌍 모두 나열하기

확인할 약수 쌍은 일곱 개뿐이다.

(2,1005), (3,670), (5,402), (6,335), (10,201), (15,134), (30,67)
5STEP 5

내린 쌍마다 최대공약수 구하기

가장 큰 공통 약수가 자리를 8로 제한한다.

gcd(14,133)=7 이 최댓값 ⟹ n-1 ≤ 7 ⟹ n ≤ 8
6STEP 6

n = 8에 닿는 수열 만들기

실제 수열 한 쌍이 그 자리에 닿는다.

a₈=1+7 · 2=15, b₈=1+7 · 19=134, 15 · 134=2010 → n=8 (C)
7STEP 7

빠뜨린 경우가 없는지 확인하기

빠뜨린 경우가 없으므로 8이 답이다, 보기 (C).

n-1∈{1,7} ⟹ n∈{2,8}
정답
8
만든 예가 직접 확인된다. 1,3,5,…는 a₈=15, 1,20,39,…는 b₈=134이고 15 · 134=2010이며, 요구대로 1 < 3 ≤ 20이다. 큰 선택지는 크기만으로 죽는다. a_n ≥ n, b_n ≥ n이 n² ≤ 2010을 강제하므로 n ≤ 44이고, 인수분해를 하지 않아도 288과 2009가 탈락한다. 선택지 (A) 2는 예컨대 a₂=2, b₂=1005로 실제로 가능하지만 최댓값은 아니다. 선택지 (B) 3은 눈여겨볼 이유로 실패하는 함정이다. n-1=2라면 a_n-1과 b_n-1이 모두 짝수여야 하고 따라서 a_n과 b_n이 모두 홀수여야 하는데, 2010은 짝수이므로 한쪽 인수는 반드시 짝수다. 답 8은 크기 천장 44보다 넉넉히 아래에 있고, 최대공약수 표가 2 위로 허용하는 유일한 값이다.
💡핵심 정리

두 수열 모두 1에서 시작하므로, 2010의 약수 쌍에서 양쪽을 1씩 빼 보자. 그렇게 내린 쌍들에서 찾을 수 있는 가장 큰 공약수가 바로 수열이 걸을 수 있는 걸음 수다.

  • 두 걸음 크기에 이름 붙이기
  • 1을 빼서 배수를 드러내기
  • 1 곱하기 2010 쪼갬 지우기
  • 2010의 약수 쌍 모두 나열하기
  • 내린 쌍마다 최대공약수 구하기
  • n = 8에 닿는 수열 만들기
  • 빠뜨린 경우가 없는지 확인하기