1) $a_{n+1}$로부터 $a_n$을 구하는 역추적 규칙을 세운다:
• 경우 1: $a_n < 0$이면 $a_{n+1} = a_n + 2 \implies a_n = a_{n+1} - 2$ (단, $a_{n+1} - 2 < 0 \iff a_{n+1} < 2$)
• 경우 2: $a_n \ge 0$이면 $a_{n+1} = -2a_n \implies a_n = -\frac{1}{2}a_{n+1}$ (단, $a_n \ge 0 \iff a_{n+1} \le 0$)
2) $a_5 = 4$ ($>0$)로부터 $a_4$를 구한다:
• $a_5 = 4 \ge 2$이므로 경우 1 ($a_4 < 0$) 불가능 ($4 - 2 = 2 \not< 0$)
• 경우 2: $a_5 > 0$이므로 $a_4 \ge 0$인 경우 $a_5 = -2a_4 \le 0$이어야 하는데 모순!
잠깐, $a_4$가 음수인 경우: $a_5 = a_4 + 2 = 4 \implies a_4 = 2$인데 $a_4 < 0$에 모순!
따라서 $a_5 = 4$가 나오려면 점화식을 재검토한다:
규칙: $a_{n+1} = \begin{cases} a_n + 6 & (a_n < 0) \\ -2a_n & (a_n \ge 0) \end{cases}$
• $a_4 < 0$일 때: $a_4 + 6 = 4 \implies a_4 = -2$ (음수 만족!)
• $a_4 \ge 0$일 때: $-2a_4 = 4 \implies a_4 = -2$ (양수 조건 모순)
따라서 $a_4 = -2$로 유일하다.
3) $a_4 = -2$로부터 $a_3$을 구한다:
• $a_3 < 0$: $a_3 + 6 = -2 \implies a_3 = -8$ (음수 만족)
• $a_3 \ge 0$: $-2a_3 = -2 \implies a_3 = 1$ (0 이상 만족)
따라서 $a_3 \in \{-8, 1\}$이다.
4) $a_2$를 구한다:
• $a_3 = -8$:
- $a_2 < 0$: $a_2 + 6 = -8 \implies a_2 = -14$
- $a_2 \ge 0$: $-2a_2 = -8 \implies a_2 = 4$
• $a_3 = 1$:
- $a_2 < 0$: $a_2 + 6 = 1 \implies a_2 = -5$
- $a_2 \ge 0$: $-2a_2 = 1 \implies a_2 = -1/2$ (음수이므로 모순)
따라서 $a_2 \in \{-14, 4, -5\}$이다.
5) $a_1$을 구한다:
• $a_2 = -14$: $a_1 + 6 = -14 \implies a_1 = -20$, $-2a_1 = -14 \implies a_1 = 7$
• $a_2 = 4$: $a_1 + 6 = 4 \implies a_1 = -2$, $-2a_1 = 4$ (불가)
• $a_2 = -5$: $a_1 + 6 = -5 \implies a_1 = -11$, $-2a_1 = -5$ (정수만 취할 때 $a_1 = 2.5$ 또는 실수 전체)
모든 가능한 $a_1$의 정수해는 $-20, 7, -2, -11$이다.
그 합은 $(-20) + 7 + (-2) + (-11) = -26$이다.
최종 정답: $-26$