AMC 10 · 2004 · #23

학년 11 algebra
complex-numberspolynomial-rootsvieta-formulas contradiction-elementaryeasier-related-problem ↑ 선수 지식: parity
📏 긴 풀이 💡 3 개 인사이트
문제
차수가 2004인 다항식이 실수 계수를 가지며 서로 다른 복소근을 2004개 갖는다. 근 중 하나는 0이고, 실수부의 합과 허수부의 합이 같다. 제시된 다섯 양 중 넷은 반드시 0이 된다. 강제되지 않는 하나를 찾아라.

답을 골라 클릭하세요.

(A)
$c_0$
(B)
$c_{2003}$
(C)
$b_2b_3...b_{2004}$
(D)
$\sum_{k = 1}^{2004}{a_k}$
(E)
$\sum_{k = 1}^{2004}{c_k}$
풀이 과정
전략 가능성 지우기

이 문제는 두 부분으로 되어 있고, 둘 다 해야 한다. 첫째, 네 선택지가 0으로 고정됨을 보인다. 각각은 하나의 구조적 사실에서 나온다(0이라는 근, 켤레 대칭, 근의 합과 (c₂₀₀₃)을 잇는 비에트 관계, 실근 개수에 대한 홀짝 계산). 둘째, 그리고 이 절반이 빠뜨리기 쉽다. 살아남은 선택지가 정말로 0이 아닐 수 있음을, 모든 조건을 만족하면서 (P(1) ≠ 0)인 다항식을 실제로 만들어 증명한다. 넷을 지우는 것은 어디를 볼지 알려 줄 뿐, 다섯째가 실현 가능함을 증명하지는 않는다. 같은 설정의 차수 4짜리 축소 모형은 다섯 예측을 한꺼번에 값싸게 점검하는 방법이다.

1STEP 1

켤레쌍이 두 합을 없앤다

실수 계수가 근을 켤레로 짝지어 허수부가 상쇄되고 두 합이 모두 0이 된다.

Σ_k=1²⁰⁰⁴ b_k = 0 ⟹ Σ_k=1²⁰⁰⁴ a_k = 0 ⟹ Σ_k=1²⁰⁰⁴ z_k = 0
2STEP 2

근 0이 상수항을 없앤다

0과 1을 대입하면 제시된 두 양이 다항식의 값임이 드러난다.

c₀ = P(0) = 0, Σ_k=1²⁰⁰⁴ c_k = P(1)
3STEP 3

비에트가 다음 계수를 고정한다

비에트가 다음 계수를 근의 합과 잇고 그 합이 0이라 그것도 사라진다.

P(x) = c₂₀₀₄Π_k=1²⁰⁰⁴(x - z_k) ⟹ c₂₀₀₃ = -c₂₀₀₄Σ_k=1²⁰⁰⁴ z_k = 0
4STEP 4

홀짝이 두 번째 실근을 강제한다

홀짝 세기가 두 번째 실근을 강제해 곱에 0인 인수가 들어간다.

#{비실근} 은 짝수 ⟹ #{실근} 도 짝수 ⟹ ∃ i ≥ 2, b_i = 0 ⟹ b₂b₃… b₂₀₀₄ = 0
5STEP 5

계수 합이 0이 아닌 다항식 만들기

구체적인 다항식이 계수 합을 0이 아니게 만드므로 답은 계수의 합, 보기 (E).

P(x) = x(x-2)(x-3)…(x-2003) (x + 2007005), P(1) = 2002! · 2007006 ≠ 0
정답
Σ_k = 1²⁰⁰⁴{c_k}
문제를 줄여서 다섯 주장을 한꺼번에 시험한다. 같은 조건의 차수 4: 근 (0, 2, 3, -5) — 서로 다르고, 실수이고, 0을 포함하며, 합이 0이다. 그러면 (P(x) = x(x-2)(x-3)(x+5) = x⁴ - 19x² + 30x)이다. 예측을 그대로 읽어 보자. (c₀ = 0)((A) 성립), (c₃ = 0)((B) 성립), (Σ a_k = 0)이고 (Σ b_k = 0)((D) 성립), (b₂, b₃, b₄) 중 하나가 0이므로 곱이 0((C) 성립), 그리고 (Σ c_k = 1 + 0 - 19 + 30 + 0 = 12 = P(1) ≠ 0). 강제된 0이 넷, 빠져나가는 것이 하나로 주장한 그대로이다. 선택지 지우기만으로는 증명되지 않는 점을 분명히 해 두자. (Σ c_k = 0)이라는 증명이 떠오르지 않았다는 사실은 그것이 0이 아닐 수 있다는 증명이 아니다. 오직 명시적 구성만이 이를 결정한다.
💡핵심 정리

네 선택지를 지우는 것은 다섯째를 가리킬 뿐이다. 어떤 양이 0이 아닐 수 있다고 말하려면, 실제로 0이 아닌 예를 하나 만들어야 한다.

  • 켤레쌍이 두 합을 없앤다
  • 근 0이 상수항을 없앤다
  • 비에트가 다음 계수를 고정한다
  • 홀짝이 두 번째 실근을 강제한다
  • 계수 합이 0이 아닌 다항식 만들기