AMC 10 · 2017 · #21

학년 9 algebra
rational-root-theorempolynomial-rootsdivisibility-rulesfactors bound-inequality-then-enumeratesystematic-enumeration ↑ 선수 지식: polynomial-rootsdivisibility-rules
📏 중간 풀이 💡 3 개 인사이트
문제
어떤 집합의 원소를 계수로 하는 다항식의 정수 근이 그 집합에 다시 들어간다. 최종 집합의 크기를 세어라.

답을 골라 클릭하세요.

(A)
4
(B)
5
(C)
7
(D)
9
(E)
11
풀이 과정
전략 가능성 지우기

규칙이 끝이 없어 보인다 — 근의 후보는 모든 정수이고, 집합이 언제 멈출지 알 수 있는 이유도 눈에 띄지 않는다. 그래서 문제는 반대 방향의 두 반쪽으로 나뉘고, 둘 다 해결해야 한다. 천장을 정하는 쪽에서 도구 #3(가능성 지우기)이 가장 무거운 일을 한다. 다항식의 근에 관한 나눗셈 사실 하나만 있으면, 새로 들어오는 수는 이미 들어 있는 수를 나눠야 한다는 것이 밝혀지고, 그 순간 전체 과정이 짧고 분명한 정수 목록 안에 갇힌다. 무한한 탐색이 유한한 탐색으로 바뀌는 것이다. 도달 가능성을 따지는 쪽에서는 도구 #11(거꾸로 풀기)을 쓴다. 그 짧은 목록의 수 하나하나에 대해 원하는 근에서 출발해서, 이미 집합에 있는 수만 계수로 써서 그 근을 갖는 다항식을 설계한다. 도구 #2(빠짐없이 나열하기)는 수를 하나 넣을 때마다 집합을 기록해 두 반쪽을 정직하게 유지한다. 어떤 구성이 합법이려면 그 계수들이 사용 시점에 이미 들어와 있어야 하기 때문이다. 천장과 구성이 같은 집합에서 만나면, 개수는 짐작이 아니라 증명이 된다.

1STEP 1

근은 계수를 나눈다

정수 근은 언제나 계수를 나눈다.

p(x) = x^k(a_k + a_k+1x + … + a_nxⁿ-k) → a_k = -x(a_k+1 + a_k+2x + … + a_nxⁿ-k-1) → x ∣ a_k
2STEP 2

10의 약수 안에 갇힌다

그것이 모든 것을 아홉 값에 가둔다.

10의 약수: ± 1, ± 2, ± 5, ± 10; D = {-10,-5,-2,-1,0,1,2,5,10}, |D| = 9
3STEP 3

두 부호와 -10 만들기

간단한 다항식이 처음 개를 만든다.

10x + 10 = 0 → x = -1; (-x¹⁰ - x⁹ - … - x + 10)|_x=1 = -10 + 10 = 0; x + 10 = 0 → x = -10
4STEP 4

2에 닿으면 나머지는 따라온다

한 핵심 값에 닿으면 나머지가 열린다.

2³ + 2 - 10 = 0; x + 2 = 0 → x = -2; 2x - 10 = 0 → x = 5; x + 5 = 0 → x = -5
5STEP 5

목록만이 아니라 순서까지 확인하기

만드는 순서도 맞아야 한다.

{0,10} → -1 → 1 → -10 → 2 → -2 → 5 → -5
6STEP 6

더 넣을 것이 없다

최종 집합의 원소는 9개다, 보기 (D).

S = {-10,-5,-2,-1,0,1,2,5,10}, |S| = 9 → (D)
정답
9
두 반쪽이 만난다는 것이 진짜 검증이다. 나눗셈 논증은 S가 아홉 개의 수 {-10,-5,-2,-1,0,1,2,5,10}를 넘을 수 없다고 말하고, 명시적인 다항식들은 그 아홉 개를 모두 만들어 내므로, 개수는 위아래에서 동시에 9로 고정된다. 각 구성은 대입 검산을 통과한다. 10(-1) + 10 = 0, 계수 -1 열 개와 10 하나는 x = 1에서 합이 0, (-10) + 10 = 0, 2³ + 2 - 10 = 0, (-2) + 2 = 0, 2(5) - 10 = 0, (-5) + 5 = 0이다. 오답들은 정확히 너무 일찍 멈춘 지점들이다. {-1,0,1,10}까지 모으고 멈추면 4, -10까지 넣고 멈추면 5, 2와 -2까지 넣었지만 2x - 10이 5를 열어 준다는 것을 놓치면 7이다. 11은 아예 불가능한데, 10의 약수가 아닌 원소가 있어야 하기 때문이다. 한 가지 더: 최종 집합은 0을 빼면 부호를 바꿔도 그대로인데, 이는 1이 원소가 되는 순간 x + m이 언제나 m을 -m으로 바꿔 주므로 강제되는 성질이다. 그래서 원소 개수는 홀수 — 0 하나에 ± 짝 네 쌍 — 이고 9와 맞아떨어진다.
💡핵심 정리

천장을 먼저 찾아라 — 새 수는 반드시 이미 있는 수를 나눠야 하므로 10의 약수를 벗어날 수 없다 — 그다음 그 아홉 개를 실제 다항식으로 전부 만들고 멈추면 된다.

  • 근은 계수를 나눈다
  • 10의 약수 안에 갇힌다
  • 두 부호와 -10 만들기
  • 2에 닿으면 나머지는 따라온다
  • 목록만이 아니라 순서까지 확인하기
  • 더 넣을 것이 없다