AMC 10 · 2018 · #11

학년 6 number-theory
prime-numbersmodular-arithmeticperfect-squares caseworkpattern-recognition ↑ 선수 지식: prime-numbersmodular-arithmetic
📏 중간 풀이 💡 3 개 인사이트
문제
다섯 식 p²+16, p²+24, p²+26, p²+46, p²+96 각각에 대해, 모든 소수 p에 대하여 소수가 되지 않는 식이 어느 것인지 정한다. 그중 네 식은 어떤 소수 p에 대해서는 소수가 되고, 정확히 한 식만은 어떤 소수 p를 넣어도 합성수이다. 그 한 식을 찾는다.

답을 골라 클릭하세요.

(A)
$p^2+16$
(B)
$p^2+24$
(C)
$p^2+26$
(D)
$p^2+46$
(E)
$p^2+96$

AMC 10 2018 problem © Mathematical Association of America (MAA AMC). Reproduced for educational use.

풀이 과정
전략 가능성 지우기

도구 #3 (가능성 지우기): 이 문제는 양쪽이 비대칭이다. 어떤 보기를 떨어뜨리려면 그것을 소수로 만드는 소수 p 하나만 잡으면 되고, 정답을 가리려면 모든 p에 대해 합성수일 수밖에 없는 이유가 필요하다. 도구 #5 (패턴 찾기): 그 강제 이유는 소수와 3에 관한 깔끔한 사실에서 나온다 — 3을 제외한 모든 소수는 3의 배수와 이웃해 있다. 도구 #4 (변수 도입하기): p를 기호로 둔 채 p²+26을 변형하면 모든 소수에 대해 동시에 성립하는 숨은 약수 3이 드러나며, 이는 몇 번의 수치 검증으로는 결코 증명할 수 없다.

1STEP 1

일을 두 갈래로 나누기

"항상 소수 아님"은 모든 p 주장이다. 네 보기는 예시 하나로 지우고, 정답은 모든 p에 통하는 고정 약수가 필요하다.

2STEP 2

소수는 3의 배수에 붙어 있다

p-1, p, p+1 중 하나는 3의 배수인데 p≠3인 소수면 p가 아니므로 (p-1)(p+1)은 3의 배수다.

p-1, p, p+1 중 하나는 3의 배수 → p ≠ 3 일 때 3 ∣ (p-1)(p+1)
3STEP 3

(C)를 변형해 3을 드러내기

(C)를 변형: p²+26 = (p-1)(p+1) + 27. 두 조각 모두 3의 배수(27=3·9)이므로 3 ∣ p²+26.

p²+26 = (p-1)(p+1) + 27, 3 ∣ (p-1)(p+1), 3 ∣ 27 → 3 ∣ p²+26
4STEP 4

늘 3의 배수, 늘 합성수

모든 소수 p에서 p²+26 > 3이고 3의 배수(p=3이면 35=5·7)이므로 모든 소수 p에서 합성수다.

p=3: 3²+26 = 35 = 5· 7; p ≠ 3: 3 ∣ p²+26 이고 p²+26 > 3
5STEP 5

나머지 네 식은 소수가 될 수 있다

나머지 네 보기는 각각 소수가 되는 p가 있지만(예: A p=5→41), p²+26만 모든 소수에 버틴다 — 답 (C).

41, 73, 71, 457 은 모두 소수 → p²+26 만이 항상 소수가 아님 → (C)
정답
p²+26
(C)를 다른 소수로 더 확인해 보자: p=5 → 51 = 3· 17, p=7 → 75 = 3· 25, p=11 → 147 = 3· 49 — 모든 값이 3의 배수로 증명과 일치한다. 한편 (A),(B),(D),(E)는 각각 진짜 소수(41,73,71,457)에 도달하므로 올바르게 제외된다. 문제가 약속한 대로 정확히 한 보기만 살아남고, 그것은 (C)이다.
💡핵심 정리

3이 아닌 소수는 항상 3의 배수 옆에 있고, p²+26=(p-1)(p+1)+27은 3으로 나누어지는 두 조각으로 이루어져 있다 — 그래서 늘 3의 배수이고, 따라서 절대 소수가 아니다.

  • 일을 두 갈래로 나누기
  • 소수는 3의 배수에 붙어 있다
  • (C)를 변형해 3을 드러내기
  • 늘 3의 배수, 늘 합성수
  • 나머지 네 식은 소수가 될 수 있다