AMC 10 · 2007 · #20

학년 9 geometry-2dnumber-theory
coordinate-geometryslope-interceptoptimization extreme-principleconvert-to-algebra ↑ 선수 지식: coordinate-geometrysystems-of-equations
📏 긴 풀이 💡 4 개 인사이트
문제
평행선 쌍이 잘라 낸 두 평행사변형의 넓이가 알려져 있다. 네 상수가 모두 양의 정수다. 네 상수 합의 최솟값을 구하여라.

답을 골라 클릭하세요.

(A)
13
(B)
14
(C)
15
(D)
16
(E)
17
풀이 과정
전략 극단의 원리

문제가 최솟값을 묻고 있으므로 마무리는 도구 #14가 맡는다. 최솟값 주장에는 두 부분이 있다. 어떤 정당한 네 쌍도 뚫을 수 없는 하한, 그리고 그 하한에 실제로 닿는 증인이다. 둘 중 하나라도 빠지면 답은 증명되지 않은 채로 남는다. 그 앞은 모두 준비 작업이다. 두 도형은 같은 두 기울기로 같은 방식으로 만들어졌으니, 그림 두 개를 각각 분석하지 말고 작은 문제 하나를 한 번만 풀어(도구 #7) 재사용하자. 그 작은 문제는 y=ax+p₁, y=ax+p₂, y=bx+q₁, y=bx+q₂가 자르는 평행사변형의 넓이이다. 그 공식을 얻기 위해 도형을 그려 보고(도구 #1), 계산을 싸게 만들어 주는 구조 하나를 알아채자. 절편이 같은 두 직선은 y축 위에서 만나므로 대각선 하나가 통째로 y축에 놓이고, 평행사변형은 밑변을 공유하는 두 삼각형으로 쪼개진다. 공식을 손에 넣으면 기하는 사라지고 정수만 남는다(도구 #13). c,d 중 작은 쪽과 간격 |a-b|에 이름을 붙이면(도구 #4) 두 넓이 조건이 하나의 정수방정식이 되고, 그 해집합을 전부 적어 낼 수 있게 된다. 정직한 최소화가 가능해지는 지점이 바로 여기다.

1STEP 1

꼭짓점이 어디 있는지 찾기

직선 쌍을 풀면 꼭짓점이 정해진다.

ax+c=bx+d ⟹ x=(d-c)/(a-b), ax+d=bx+c ⟹ x=(c-d)/(a-b)
2STEP 2

대각선을 넓이로 바꾸기

각 넓이가 상수만의 깔끔한 이 된다.

넓이=2·1/2·|c-d|·(|c-d|)/(|a-b|)=((c-d)²)/(|a-b|)
3STEP 3

두 넓이를 비교하기

둘을 비교하면 두 상수 사이의 가 고정된다.

((c-d)²)/m=18, ((c+d)²)/m=72 ⟹ (3d-c)(3c-d)=0 ⟹ {c,d}={t,3t}, 2t²=9m
4STEP 4

3의 배수임을 강제하기

나누어떨어짐 논증이 하나를 3의 배수로 만든다.

2t²=9m, gcd(2,9)=1 ⟹ 9 ∣ t² ⟹ 3 ∣ t; t=3k ⟹ m=2k²
5STEP 5

더 작은 값이 불가능함을 증명하기

모든 부분을 제한하면 하한 16이 나온다.

S=(a+b)+(c+d)=(2s+2k²)+12k ≥ 2+2k²+12k ≥ 2+2+12=16
6STEP 6

16에 닿는 네 쌍 제시하기

구체적인 네 쌍이 거기에 닿으므로 답은 16, 보기 (D).

(a,b,c,d)=(3,1,9,3): ((9-3)²)/(|3-1|)=36/2=18, ((9+3)²)/(|3-1|)=144/2=72, a+b+c+d=16
정답
16
홀짝만 따져도 다섯 선택지 중 셋이 즉시 죽는다. a+b와 a-b는 항상 홀짝이 같은데 a-b=± 2k²은 짝수이므로 a+b도 짝수이고, 절편 쪽은 c+d=4t로 역시 짝수이다. 그러므로 모든 정당한 네 쌍에서 a+b+c+d는 짝수이고, 13, 15, 17은 아예 나올 수 없다. 남는 것은 14와 16이다. 14는 정확히 (a,b,c,d)=(2,0,9,3)이 주는 값으로, 한 무리의 직선이 수평이 된 같은 그림이다. 즉 '양의 정수'라는 말을 읽고도 b를 0까지 내려 보낸 사람을 위한 함정이다. b ≥ 1이고 |a-b|=2이므로 쌍 {1,3}이 강제되고 16이 그대로 남는다. 근처의 정당한 합들도 이 간격을 확인해 준다. k=1을 유지한 채 {a,b}={2,4}를 잡으면 18, {3,5}를 잡으면 20이고, k=2로 가면 {c,d}={6,18}과 |a-b|=8이 강제되어 적어도 2+8+24=34가 된다. 이긴 네 쌍에서 기하도 들어맞는다. a=3,b=1,c=9,d=3일 때 첫 평행사변형의 꼭짓점은 (0,9),(3,12),(0,3),(-3,0)이고 y축 대각선의 길이가 6, 먼 꼭짓점이 양쪽으로 3만큼 떨어져 있어 2·1/2 · 6 · 3=18이다. 두 번째는 꼭짓점이 (0,9),(6,15),(0,-3),(-6,-9)이고 대각선이 12, 꼭짓점이 6만큼 떨어져 있어 2·1/2 · 12 · 6=72이다.
💡핵심 정리

두 그림에 모두 쓸 수 있는 넓이 공식을 하나 유도한 뒤, '가장 작은 값' 문제는 두 번 마무리하라. 더 작은 값이 불가능함을 증명하고, 주장한 값에 실제로 닿는 예를 하나 만들어라.

  • 꼭짓점이 어디 있는지 찾기
  • 대각선을 넓이로 바꾸기
  • 두 넓이를 비교하기
  • 3의 배수임을 강제하기
  • 더 작은 값이 불가능함을 증명하기
  • 16에 닿는 네 쌍 제시하기