AMC 10 · 2021 · #25

학년 11 countingnumber-theory
permutations-basicmodular-arithmeticsymmetry-argumentvieta-formulas symmetry-argumentidentify-subproblems ↑ 선수 지식: permutations-basicmodular-arithmetic
📏 긴 풀이 💡 4 개 인사이트
문제
5 이상인 홀수마다 1부터 그 수까지의 정수 중 서로 다른 네 개를 순서 있게 골라 그 합이 그 홀수의 배수가 되는 경우의 수를 셉니다. 어떤 고정된 삼차식이 5 이상인 모든 홀수에서 그 개수와 같다고 합니다. 그 삼차식의 일차항 계수를 구하세요.

답을 골라 클릭하세요.

(A)
${-}6$
(B)
${-}1$
(C)
4
(D)
6
(E)
11
풀이 과정
전략 다르게 정리하기

조건에 맞는 순서쌍을 하나씩 찾아 세는 것은 불가능하다. 나눗셈 조건이 네 성분을 한꺼번에 얽어 놓기 때문이다. 그래서 도구 #15 (다르게 정리하기)가 핵심이다: 순서쌍을 개별로 살피는 대신 여러 개씩 묶어 묶음의 개수를 센다. 도구 #4 (변수 도입하기)가 묶는 규칙을 준다 — 네 성분 모두에 한꺼번에 더하고 법 m 으로 되감는 이동량 k 이다. 도구 #2 (빠짐없이 나열하기)로 전체 순서쌍 개수를 순열로 세고 그것을 묶음들에 나눠 준다. 도구 #9 (더 쉬운 문제로 줄이기)로 손으로 셀 수 있을 만큼 작은 m=5 에서 얻은 식을 검증한다. 도구 #13 (대수로 바꾸기)으로 곱 꼴의 개수식을 c₃x³+c₂x²+c₁x+c₀ 표준형으로 전개해 물어본 계수를 읽어낸다.

1STEP 1

먼저 모든 순서쌍 세기

먼저 모든 순서쌍을 셉니다.

T=m(m-1)(m-2)(m-3)
2STEP 2

네 성분을 함께 이동시키기

네 성분을 함께 이동시킵니다.

σ_k(a₁,a₂,a₃,a₄)=(a₁+k, a₂+k, a₃+k, a₄+k) mod m, k=0,1,…,m-1
3STEP 3

이동이 합에 미치는 영향 따라가기

이동이 합을 일정하게 바꿉니다.

S ↦ S+4k (mod m); 4k≡ -S (mod m) ⇔ k≡ -4⁻¹S (mod m) (해는 정확히 하나)
4STEP 4

전체를 묶음 크기로 나누기

묶음마다 정확히 하나가 조건을 만족합니다.

D(m)=(m(m-1)(m-2)(m-3))/m=(m-1)(m-2)(m-3)
5STEP 5

m=5 에서 식 검증하기

작은 값에서 식을 검증합니다.

D(5)=4!=24=(5-1)(5-2)(5-3)
6STEP 6

전개해서 c₁ 읽기

전개하면 일차항 계수는 11입니다.

q(x)=(x-1)(x-2)(x-3)=x³-6x²+11x-6 → c₁=11 → (E)
정답
11
값을 하나 더 확인한다. 식은 D(7)=6 · 5 · 4=120을 주고, 전개한 삼차식에 대입하면 q(7)=343-294+77-6=120 이므로 전개 과정의 계산이 맞다. 결과 자체도 그럴듯하다. 유효한 성분 집합 하나마다 배열이 24 가지이므로 D(m)은 반드시 4!=24의 배수여야 하는데, m=5 에서 24, m=7 에서 120=5 · 24로 모두 24의 배수이다. m 이 홀수라는 조건은 장식이 아니라 실제로 일하고 있다. m 이 짝수라면 gcd(4,m) ≠ 1이라 합동식 4k≡ -S 의 해가 없거나 여러 개가 되어 '묶음마다 하나' 논법이 무너진다. 마지막으로 선택지 자체가 경고다. 전개한 삼차식은 c₂=-6, c₀=-6 인데 선택지 (A) -6과 (D) 6이 바로 그 수와 부호를 바꾼 값이므로, 엉뚱한 계수를 읽는 것이 의도된 함정이다. 물어본 것은 x 의 계수이므로 답은 11, 선택지 (E)이다.
💡핵심 정리

네 성분 모두에 같은 수를 더하고 m 으로 되감아도 서로 다름은 유지되고 합은 4k 만큼 밀리므로, 이동으로 만들어지는 m 개짜리 묶음마다 합이 m 의 배수인 것이 정확히 하나뿐이다. 그래서 D(m)=(m-1)(m-2)(m-3)이고, 그 x 의 계수는 11이다.

  • 먼저 모든 순서쌍 세기
  • 네 성분을 함께 이동시키기
  • 이동이 합에 미치는 영향 따라가기
  • 전체를 묶음 크기로 나누기
  • m=5 에서 식 검증하기
  • 전개해서 c₁ 읽기