\(x_1\) and \(x_2\) are each positive integers. When \(x_1\) is divided by 3, the remainder is 1. When \(x_2\) is divided by 12, the remainder is 4. If \(y = 2x_1 + x_2\), which of the following must be true?\n\nI. \(y\) is even.\nII. \(y\) is divisible by 4.\nIII. \(y\) is divisible by 3.
View explanation
Correct answer: D
Similarly, the statement "when \( x_2 \) is divided by 12, the remainder is 4" can be translated mathematically as follows: There exists an integer m such that \( x_2 = 12m + 4 \).
Therefore:
$$\begin{aligned} y &= 2x_1 + x_2 \\ &= 2(3n + 1) + (12m + 4) \\ &= 6n + 2 + 12m + 4 \\ &= 6(n + 2m + 1) \end{aligned}$$
The expression \( (n + 2m + 1) \) must be an integer (since n and m are both integers). Therefore, y is equal to some integer multiplied by 6. This means that y is divisible by 6. Any number that is divisible by 6 must also be divisible by both 2 and 3. Hence, y must be both even and divisible by 3. Consequently, I and III must be true.
The correct answer is D.