모든 STEP 힌트를 공개하면 풀이를 열 수 있습니다.
a1=−45<0이고 공차 d는 자연수이므로 {an}은 증가하는 등차수열이에요. 어느 항부터는 양수가 됩니다.
(가) ∣am∣=∣am+3∣인 자연수 m이 있어야 해요.
m과 m+3은 서로 다르고, 증가 수열에서 지표가 3만큼 차이 나면 부호가 바뀌는 구간에 걸리는 경우가 자연스러워요. 그때 am<0, am+3>0이면 ∣am∣=∣am+3∣는 −am=am+3, 즉
am+am+3=0
이에요.
an=−45+(n−1)d를 대입하면
{−45+(m−1)d}+{−45+(m+2)d}=0
−90+(2m+1)d=0
(2m+1)d=90⋯⋯㉠
이에요. m이 자연수이면 2m+1은 3 이상인 홀수이고, ㉠에서 d=2m+190이므로 d는 짝수여야 해요.
90=2×32×5의 약수 중 짝수이면서 ㉠을 만족시키는 d는
d∈{2, 6, 10, 18, 30}
이에요. (각각 2m+1=45, 15, 9, 5, 3에 대응합니다.)
(나) 등차수열의 합 공식에 a1=−45를 넣으면
k=1∑nak=2n{−90+(n−1)d}>−100
이 모든 자연수 n에서 성립해야 해요. 양변에 2를 곱해 정리하면
n{−90+(n−1)d}>−200⋯⋯㉡
이에요.
gd(n)=n{(n−1)d−90}라 두면, d>0일 때 이 식은 아래로 볼록한 이차함수에 대응하고, 자연수 n에서의 최솟값은 연속적인 꼭짓점 n=2d90+d 근처의 몇 개의 n에서만 확인해도 충분해요.
- d=2: n=23 근처에서 g2(23)=23×(−44)=−1012<−200이므로 (나) 불만족.
- d=6: n=8에서 g6(8)=8×(−48)=−384<−200이므로 불만족.
- d=10: n=5에서 g10(5)=5×(−54)=−270<−200이므로 불만족.
- d=18: 꼭짓점 근처 n=3에서 g18(3)=3×(−54)=−162>−200이고, 다른 n에서도 ㉡이 성립함을 확인할 수 있어요.
- d=30: 꼭짓점 근처 n=2에서 g30(2)=2×(−60)=−120>−200이고, 마찬가지로 만족해요.
따라서 (가), (나)를 모두 만족하는 자연수 d는 18과 30뿐이에요. 구하는 합은
18+30=48
이에요.
따라서 정답은 ②예요.