AMC 10 · 2023 · #25

학년 12 algebra
complex-polar-formbinomial-theoremtangent-addition-formulacomplex-numbers easier-related-problempattern-recognitionidentify-subproblems ↑ 선수 지식: binomial-theoremcomplex-numbers
📏 긴 풀이 💡 4 개 인사이트
문제
어떤 각의 2023배의 탄젠트를 원래 각의 탄젠트에 대한 하나의 큰 분수로 쓸 수 있다고 합니다. 분자는 홀수 거듭제곱만, 분모는 1에서 시작하는 짝수 거듭제곱만 씁니다. 2023개의 계수가 모두 정수이고 그런 나열이 정확히 하나뿐이라고 합니다. 그 나열의 마지막 계수를 구하세요.

답을 골라 클릭하세요.

(A)
-2023
(B)
-2022
(C)
-1
(D)
1
(E)
2023
풀이 과정
전략 대수로 바꾸기

2023이라는 수는 겁을 주기 위한 장치일 뿐 본질이 아니다. 문제의 구조는 그 값에 전혀 기대지 않으므로, 첫 수순은 2023을 3, 5, 7로 바꿔 놓고 탄젠트 덧셈정리가 무엇을 내놓는지 보는 것이다. 작은 경우들은 문제가 말하는 모양이 실제로 나타남을 확인해 주고, 최고차 계수에 대한 후보 패턴까지 건네준다. 다만 세 경우에서 얻은 패턴은 추측일 뿐이므로, 두 번째 수순으로 그 뒤에 있는 장치를 찾는다. 각에 n을 곱하는 일은 복소수를 n제곱하는 일과 같고, 양변을 cosⁿ x로 나누면 삼각함수 등식 전체가 (1 + itan x)ⁿ 하나로 무너진다. 그러면 이항정리가 모든 계수를 한꺼번에 이름 붙여 준다. 계수는 부호를 번갈아 단 이항계수이고, 그중 최고차 계수가 가장 쉽다. C(2023, 2023) = 1이기 때문이다. 계획의 마지막 조각은 작은 경우들로는 결코 해결되지 않는 별도의 문제, 곧 정수 나열이 둘 이상 있을 수 없음을 보이는 일이다. 그래야 구한 계수를 '그' a_i라고 부를 수 있다.

1STEP 1

탄젠트에 이름 붙이기

탄젠트에 짧은 이름을 붙입니다.

t = tan x, tan 2023x = N(t)/D(t), deg N = 2023, deg D = 2022, D(0) = 1
2STEP 2

작은 배수로 시험하기

세 배에서 같은 질문을 던집니다.

tan 2x = 2t/(1 - t²), tan 3x = (tan 2x + t)/(1 - ttan 2x) = (2t + t(1 - t²))/((1 - t²) - 2t²) = (3t - t³)/(1 - 3t²)
3STEP 3

두 경우 더 보기

두 경우를 더 보면 패턴이 잡힙니다.

tan 5x = (5t - 10t³ + t⁵)/(1 - 10t² + 5t⁴), tan 7x = (7t - 35t³ + 21t⁵ - t⁷)/(1 - 21t² + 35t⁴ - 7t⁶)
4STEP 4

각의 곱셈은 거듭제곱

각을 곱하는 것이 복소수의 거듭제곱입니다.

(cos x + isin x)ⁿ = cos nx + isin nx ⟹ (1 + it)ⁿ = (cos nx + isin nx)/(cosⁿ x) ⟹ tan nx = (Im[(1 + it)ⁿ])/(Re[(1 + it)ⁿ])
5STEP 5

이항정리로 계수 얻기

이항정리가 모든 계수를 줍니다.

(1 + it)ⁿ = Σ_k=0ⁿC(n, k)i^kt^k, i²j = (-1)^j, i²j+1 = (-1)^ji ⟹ a_k = (-1)^⌊ k/2⌋C(2023, k)
6STEP 6

나열이 하나뿐임 확인

분자와 분모가 서로소라 유일합니다.

D(t) + iN(t) = (1 + it)²⁰²³, D(t) - iN(t) = (1 - it)²⁰²³ ⟹ gcd(N, D) = 1 ⟹ B = D, M = N
7STEP 7

최고차 계수 읽어내기

마지막 계수는 마이너스 1입니다.

a₂₀₂₃ = (-1)^⌊ 2023/2⌋C(2023, 2023) = (-1)¹⁰¹¹ · 1 = -1
정답
-1
서로 다른 세 가지 확인이 모두 맞아떨어진다. 첫째, 유도한 공식이 작은 경우를 그대로 재현한다. n = 3에서는 (3t - t³)/(1 - 3t²), n = 7에서는 (7t - 35t³ + 21t⁵ - t⁷)/(1 - 21t² + 35t⁴ - 7t⁶)이 나오는데, 둘 다 덧셈정리로 손으로 구한 것과 일치한다. 둘째, n = 3, 5, 7, 9, 11의 최고차 계수는 -1, +1, -1, +1, -1로 n에 대해 주기 4로 순환하고, x = 0.3 같은 시험값을 넣어 양변을 계산하면 이 다섯 경우 모두 등식이 수치적으로 확인된다. 2023 ≡ 3 (mod 4)이므로 3, 7, 11과 같은 자리이고, 순환이 요구하는 값은 -1이다. 셋째, 오답 선택지가 전부 알아볼 만한 실수에 대응한다. 2023은 a₁ = C(2023, 1)로 분자의 최고차가 아니라 최저차 계수이고, -2023은 거기에 부호만 붙인 것이다. 1은 크기는 맞지만 2023이 4의 배수보다 1 큰 수였을 때의 부호이며, -2022는 어떤 계수로도 등장하지 않는다. 1이 아니라 -1에 도착했다는 것이 1011의 홀짝을 제대로 다뤘다는 확인이다.
💡핵심 정리

각에 n을 곱하는 것은 1 + itan x를 n제곱하는 것과 같다. 그래서 배각 공식의 계수는 전부 부호가 붙은 이항계수일 뿐이다.

  • 탄젠트에 짧은 이름 붙이기
  • tan 3x에 같은 질문 던지기
  • 두 경우 더 보면 패턴이 잡힌다
  • 각을 곱하는 것은 거듭제곱하는 것
  • 이항정리가 모든 계수에 이름을 붙인다
  • 다른 나열이 없음을 확인하기
  • 최고차 계수 읽어내기