AMC 10 · 2015 · #24

학년 11 probability
complex-numbersbinomial-theoremtrigonometric-ratiosprobability-basic caseworkcomplementary-counting ↑ 선수 지식: complex-numbersprobability-basic
📏 긴 풀이 💡 4 개 인사이트
문제
한 목록에서 두 값을 뽑아 만든 복소식의 거듭제곱이 실수여야 한다. 그 확률을 구하여라.

답을 골라 클릭하세요.

(A)
$\frac{3}{50}$
(B)
$\frac{4}{25}$
(C)
$\frac{41}{200}$
(D)
$\frac{6}{25}$
(E)
$\frac{13}{50}$
풀이 과정
전략 변수 도입하기

cos(aπ)와 sin(bπ)를 삼각함수 그대로 두면 네제곱의 구조가 보이지 않는다. 두 값을 x, y로 이름 붙이고 전개한 뒤 인수분해하면 허수부가 곱의 꼴이 되고, 곱이 0이 되는 경우는 어떤 인수가 0일 때뿐이다. 이렇게 하면 '실수가 된다'는 모호한 조건이 빠짐없는 네 개의 정확한 방정식으로 바뀐다. 어려운 지점은 그다음의 |x| = |y|다. 여기서 소수로 값을 비교하는 것은 소용이 없다. cosπ/5 ≈ 0.809와 sin2π/5 ≈ 0.951처럼 눈대중으로는 같은지 다른지 증명할 수 없기 때문이다. 그래서 이 방정식을 분수 a, b에 관한 정확한 조건으로 바꾼다. 여코사인 관계식과 '코사인이 같으려면 각이 반사와 한 바퀴 차이까지 일치해야 한다'는 사실을 쓰면 된다. 조건이 'a+b 또는 a-b가 홀수의 절반'으로 정리되고 나면, 나머지는 a와 b의 기약분모가 전부 결정한다. 마지막으로 0이 되는 경우와 크기가 같아지는 경우가 겹치므로, 나누기 전에 겹침을 합쳐야 한다.

1STEP 1

20개짜리 후보 집합 만들기

후보 집합에 값이 20개다.

|S| = 2+2+4+4+8 = 20, 20 × 20 = 400 개의 순서쌍
2STEP 2

네제곱 전개하기

전개하면 허수부가 분리된다.

(x+iy)⁴ = (x⁴ - 6x²y² + y⁴) + i (4x³y - 4xy³), x = cos(aπ), y = sin(bπ)
3STEP 3

허수부 인수분해하기

그것이 가지 단순한 조건으로 인수분해된다.

4x³y - 4xy³ = 4xy(x-y)(x+y) = 0 ⇔ x = 0 또는 y = 0 또는 |x| = |y|
4STEP 4

두 종류의 0 찾기

그중 둘은 쉬운 영점이다.

cos(aπ) = 0 ⇔ a ∈ {1/2, 3/2}, sin(bπ) = 0 ⇔ b ∈ {0, 1}
5STEP 5

0이 들어간 쌍 세기

그것이 76 쌍을 설명한다.

40 + 40 - 4 = 76 = 400 - 18 × 18
6STEP 6

크기가 같다는 조건을 정확한 계산으로 바꾸기

셋째는 정확한 산술이 된다.

|cos(aπ)| = |sin(bπ)| ⇔ a+b ≡ 1/2 (mod 1) 또는 a-b ≡ 1/2 (mod 1)
7STEP 7

분모로 걸러내기

분모로 걸러 24 쌍이 더해진다.

(q,s) = (1,2): 4, (q,s) = (2,1): 4, (q,s) = (4,4): 16 ⟹ 24
8STEP 8

겹침을 합치고 나누기

합치고 나누면 6/25, 보기 (D).

(76 + 20)/400 = 96/400 = 6/25
정답
6/25
양쪽 판정을 직접 확인해 본다. a = 1/4, b = 3/4이면 cos(aπ)와 sin(bπ)가 모두 √(2)/2이므로 밑은 √(2)/2(1+i)이고 네제곱은 1/4(1+i)⁴ = 1/4(-4) = -1, 예측대로 실수다. a = 1/5, b = 2/5이면 두 값 모두 0이 아니고 a+b = 3/5, a-b = -1/5은 홀수의 절반이 아니므로 판정은 '실수 아님'이다. 소수로 봐도 0.809 ≠ 0.951이라 일치한다. 크기도 말이 된다. 0이 되는 갈래만으로 확률이 이미 76/400 = 0.19 이상이 되므로, 어려운 부분을 계산하기도 전에 3/50 = 0.06과 4/25 = 0.16은 불가능하다. 게다가 3/50 = 24/400은 크기가 같은 경우만 세고 0인 쌍을 통째로 빠뜨린 값이다. 새로 얻은 20쌍을 더하면 0.19가 0.24로 올라가고, 6/25 = 0.24가 이와 맞는다. 13/50 = 104/400이 되려면 존재하지 않는 8쌍이 더 있어야 하고, 41/200 = 82/400이 되려면 분모가 4인 덩어리가 16쌍이 아니라 6쌍이어야 한다.
💡핵심 정리

먼저 전개하고 인수분해하라. 허수부가 곱의 꼴이 되면 실수라는 조건은 인수 하나가 0이라는 말이 되고, 그 작은 방정식들은 각각 소수 비교가 아니라 분수에 대한 정확한 판정으로 바뀐다.

  • 20개짜리 후보 집합 만들기
  • 네제곱 전개하기
  • 허수부 인수분해하기
  • 두 종류의 0 찾기
  • 0이 들어간 쌍 세기
  • 크기가 같다는 조건을 정확한 계산으로 바꾸기
  • 분모로 걸러내기
  • 겹침을 합치고 나누기