AMC 10 · 2021 · #16

학년 6 number-theory
gcdparitycaseworkprime-numbers caseworkbound-inequality-then-enumerate ↑ 선수 지식: gcd
📏 긴 풀이 💡 4 개 인사이트
문제
세 양의 정수의 합이 23입니다. 세 쌍의 최대공약수를 모두 더하면 9입니다. 두 조건을 동시에 만족하는 세 쌍이 여러 개일 수 있고 각각 제곱의 합을 만듭니다. 실제로 가능한 제곱의 합을 모두 구해 중복 없이 더하세요.

답을 골라 클릭하세요.

(A)
259
(B)
438
(C)
516
(D)
625
(E)
687
풀이 과정
전략 가능성 지우기

a, b, c 를 직접 훑는 것은 잘못된 쪽에서 문제를 잡는 것입니다. 삼중쌍이 수백 개인 데다 최대공약수 조건은 확인하기도 번거롭습니다. 해법은 대신 최대공약수 쪽을 훑는 것입니다. 도구 #4(변수 도입하기)로 그것들을 x, y, z 라 부르면, 두 번째 조건이 작은 양의 정수에 대한 깔끔한 식 x+y+z=9가 됩니다. 도구 #2(빠짐없이 나열하기)로 홀수 세 개를 더해 9를 만드는 방법을 전부 적어 보면 딱 세 가지뿐입니다. 그다음 도구 #3(가능성 지우기)이 두 번 큰일을 합니다. 홀짝 논증이 문제의 한쪽 가지를 한 줄에 없애고, 23이 소수라는 사실에 기댄 나눗셈 논증이 남은 세 모양 중 하나를 없앱니다. 두 모양만 살아남고, 도구 #7(작은 문제로 쪼개기)이 각각을 짧고 독립적인 삼중쌍 찾기로 바꿔 줍니다.

1STEP 1

세 최대공약수에 이름 붙이기

세 최대공약수에 이름을 붙입니다.

x = gcd(a,b), y = gcd(b,c), z = gcd(c,a), x + y + z = 9, 1 ≤ x, y, z ≤ 7
2STEP 2

합이 홀수라 셋 다 홀수

합이 홀수라 셋 다 홀수입니다.

b, c 짝수 → y 짝수; a 홀수 → x, z 홀수 → x + y + z ≡ 1 + 0 + 1 ≡ 0 (mod 2), 그런데 9는 홀수
3STEP 3

최대공약수가 만들 수 있는 세 모양

가능한 모양이 뿐입니다.

{x, y, z} = {1, 1, 7}, {1, 3, 5}, 또는 {3, 3, 3}
4STEP 4

소수 23이 3, 3, 3을 지움

23이 소수라 한 모양이 죽습니다.

p ∣ x 이고 p ∣ y → p ∣ a, b, c → p ∣ a+b+c = 23 → p = 23 > 7 모순
5STEP 5

1, 1, 7 모양은 7, 7, 9

첫 모양이 한 세 쌍을 줍니다.

7 ∣ a, 7 ∣ b, a + b ≤ 22 → a = b = 7, c = 9 gcd(7,7) + gcd(7,9) + gcd(9,7) = 7 + 1 + 1 = 9 ✓
6STEP 6

1, 3, 5 모양은 3, 5, 15

둘째 모양이 다른 세 쌍을 줍니다.

5 ∣ b 이고 3 ∣ b → 15 ∣ b, b ≤ 21 → b = 15 a + c = 8, 5 ∣ a, 3 ∣ c → a = 5, c = 3 gcd(5,15) + gcd(15,3) + gcd(3,5) = 5 + 3 + 1 = 9 ✓
7STEP 7

서로 다른 두 값 더하기

두 값을 더하면 438입니다.

7² + 7² + 9² = 49 + 49 + 81 = 179 3² + 5² + 15² = 9 + 25 + 225 = 259 179 + 259 = 438 → (B)
정답
438
먼저 가장 큰 함정을 잡아 주는 크기 확인입니다. a+b+c=23 인 양의 정수에서 a²+b²+c²는 수들이 최대한 고를 때 가장 작아 8²+8²+7² = 177이고, 최대한 치우칠 때 가장 커서 21²+1²+1² = 443입니다. 그래서 a²+b²+c² 값 하나는 반드시 177과 443 사이에 있습니다. 이 범위만 봐도 (C) 516, (D) 625, (E) 687은 값 하나가 되기에 너무 크고, (A) 259는 범위 안에 편하게 들어옵니다. 바로 그래서 (A)가 함정입니다. {3,5,15} 하나에서 나오는 값으로, 삼중쌍 하나를 찾고 두 번째를 더 찾지 않은 채 멈춘 사람이 고르게 됩니다. {7,7,9}가 거의 고르기 때문에 179가 최솟값 177 바로 위에 놓이고, {3,5,15}가 더 치우쳤기 때문에 259가 더 위에 놓이는 것도 좋은 신호입니다. 다음은 빠짐없음 확인입니다. 지우는 과정에서 찍은 곳이 한 군데도 없습니다. 홀수 셋을 더해 9를 만드는 방법은 세 가지뿐이고, 그중 하나는 23이 소수라는 사실로 걸러졌으며, 살아남은 각 모양 안에서는 나눗셈 조건과 a+b+c=23 때문에 자유도가 전혀 없었습니다. 살아남은 두 삼중쌍은 원래 조건에 직접 대입해 확인했으므로 179와 259는 진짜이고, 그 밖의 값은 나올 수 없습니다.
💡핵심 정리

홀짝부터 확인하십시오. 최대공약수 셋을 더한 값이 홀수인 9 라서 a, b, c 가 모두 홀수여야 하고, 이 사실 하나가 수백 개짜리 탐색을 손으로 끝낼 수 있는 세 경우로 줄여 줍니다.

  • 세 최대공약수에 이름 붙이기
  • 합이 홀수라 셋 다 홀수
  • 최대공약수가 만들 수 있는 세 모양
  • 소수 23이 3, 3, 3을 지움
  • 1, 1, 7 모양은 7, 7, 9
  • 1, 3, 5 모양은 3, 5, 15
  • 서로 다른 두 값 더하기