AMC 10 · 2013 · #20

학년 6 number-theory
prime-factorizationfactorialprime-numbers extremal-constructionidentify-subproblems ↑ 선수 지식: prime-factorizationfactorial
📏 중간 풀이 💡 3 개 인사이트
문제
2013을 분자와 분모가 각각 팩토리얼들의 곱인 분수로 나타낸다. 즉 2013 = (a₁! a₂! ... a_m!)/(b₁! b₂! ... b_n!)이고, a들은 감소하지 않는 양의 정수, b들도 감소하지 않는 양의 정수다. 여기서 a₁은 분자에서 가장 큰 수, b₁은 분모에서 가장 큰 수다. 이런 모든 표현 중에서 a₁ + b₁이 가장 작아지는 것을 고른다. 그때 |a₁ - b₁|의 값을 구하라.

답을 골라 클릭하세요.

(A)
1
(B)
2
(C)
3
(D)
4
(E)
5

AMC 10 2013 problem © Mathematical Association of America (MAA AMC). Reproduced for educational use.

풀이 과정
전략 극단의 원리

'가장 작게'라는 말은 곧장 극단의 원리를 가리킨다. 여전히 성립하는 가장 작은 a₁과 가장 작은 b₁을 쫓아가면 된다. 열쇠는 소인수다. 팩토리얼 n!은 n이 소수 p까지 올라가야만 그 소수 p를 담으므로, 2013 안의 가장 큰 소수가 a₁을 정하고, 딸려 오는 가장 큰 불필요한 소수가 b₁을 정한다. 문제를 'a₁은 얼마나 작을 수 있나'와 'b₁은 얼마나 작을 수 있나'로 쪼갠 뒤, 실제 표현 하나를 만들어 그 최솟값에 도달함을 확인한다.

1STEP 1

2013을 소인수분해하기

2013 = 3 x 671, 671 = 11 x 61이므로 2013 = 3 x 11 x 61, 가장 큰 소인수는 61이다.

2013 = 3 × 11 × 61
2STEP 2

소수 61이 a₁ = 61을 강제한다

팩토리얼 n!이 소수 61을 담으려면 n이 61 이상이어야 하므로, 가능한 가장 작은 a₁은 61이다.

61 ∣ 2013 → a₁ ≥ 61, min a₁ = 61
3STEP 3

61!이 59를 끌고 와 b₁ = 59를 강제한다

61!은 2013에 없는 소수 59도 품으니 분모가 그것을 지워야 한다. 곧 b₁ = 59, a₁ + b₁ = 120이 하한이다.

61! 는 59를 포함, 59 ∤ 2013 → b₁ ≥ 59, a₁ + b₁ = 120
4STEP 4

120에 도달하는 표현 만들기

그 하한은 실제로 닿는다. (61! 11! 3!)/(59! 10! 5!) = 3660 x 11/20 = 2013이고 두 줄 모두 순서에 맞는다.

61! 11! 3!/59! 10! 5! = (60 · 61) · 11 · 1/20 = 3660·11/20 = 2013
5STEP 5

차를 구하기

최솟값에서 a₁ = 61, b₁ = 59로 정해지므로 |a₁ - b₁| = |61 - 59| = 2, 즉 (B)다.

|a₁ - b₁| = |61 - 59| = 2
정답
2
두 기준점은 양쪽 끝에서 나온다. 61은 2013 안의 가장 큰 소수라 분자에 반드시 나타나야 하고, 59는 61!이 어쩔 수 없이 끌고 오지만 2013은 원하지 않는 가장 큰 소수라 분모에 반드시 나타나야 한다. a₁ > = 61과 b₁ > = 59 두 경계가 모두 딱 맞고, 명시적 표현 (61! 11! 3!)/(59! 10! 5!) = 2013이 둘 다 도달됨을 확인해 주므로 |61 - 59| = 2는 확실하다.
💡핵심 정리

수 안의 가장 큰 소수가 위쪽 팩토리얼을 정하고, 그것이 딸려 오게 하는 가장 큰 불필요한 소수가 아래쪽 팩토리얼을 정한다.

  • 2013을 소인수분해하기
  • 소수 61이 a₁ = 61을 강제한다
  • 61!이 59를 끌고 와 b₁ = 59를 강제한다
  • 120에 도달하는 표현 만들기
  • 차를 구하기