1) $a_{n+1}$로부터 $a_n$을 구하는 역추적 규칙을 세운다:
• $a_n$이 짝수이면: $a_{n+1} = \frac{1}{2}a_n \implies a_n = 2a_{n+1}$ (항상 짝수 자연수)
• $a_n$이 홀수이면: $a_{n+1} = a_n + 3 \implies a_n = a_{n+1} - 3$ (단, $a_n > 0$이고 홀수이어야 함)
2) $a_5 = 4$로부터 $a_4$를 구한다:
• 짝수: $a_4 = 2(4) = 8$
• 홀수: $a_4 = 4 - 3 = 1$ (홀수 만족)
따라서 $a_4 \in \{1, 8\}$이다.
3) $a_3$을 구한다:
• $a_4 = 1$인 경우: 짝수 $\implies 2$, 홀수 $\implies 1 - 3 = -2$ (음수 불가) $\implies a_3 = 2$
• $a_4 = 8$인 경우: 짝수 $\implies 16$, 홀수 $\implies 8 - 3 = 5$ (홀수 만족) $\implies a_3 \in \{5, 16\}$
따라서 $a_3 \in \{2, 5, 16\}$이다.
4) $a_2$를 구한다:
• $a_3 = 2$: 짝수 $\implies 4$, 홀수 $\implies 2 - 3 = -1$ (불가) $\implies a_2 = 4$
• $a_3 = 5$: 짝수 $\implies 10$, 홀수 $\implies 5 - 3 = 2$ (짝수이므로 불가) $\implies a_2 = 10$
• $a_3 = 16$: 짝수 $\implies 32$, 홀수 $\implies 16 - 3 = 13$ (홀수 만족) $\implies a_2 \in \{13, 32\}$
따라서 $a_2 \in \{4, 10, 13, 32\}$이다.
5) $a_1$을 구한다:
• $a_2 = 4$: 짝수 $\implies 8$, 홀수 $\implies 4 - 3 = 1$ (홀수 만족) $\implies a_1 \in \{1, 8\}$
• $a_2 = 10$: 짝수 $\implies 20$, 홀수 $\implies 10 - 3 = 7$ (홀수 만족) $\implies a_1 \in \{7, 20\}$
• $a_2 = 13$: 짝수 $\implies 26$, 홀수 $\implies 13 - 3 = 10$ (짝수이므로 불가) $\implies a_1 = 26$
• $a_2 = 32$: 짝수 $\implies 64$, 홀수 $\implies 32 - 3 = 29$ (홀수 만족) $\implies a_1 \in \{29, 64\}$
6) 가능한 $a_1$의 전체 집합은 $\{1, 7, 8, 20, 26, 29, 64\}$이다.
• 최댓값: $M = 64$
• 최솟값: $m = 1$
따라서 최댓값과 최솟값의 합은 $M + m = 64 + 1 = 65$이다.
최종 정답: $65$