Official Solution:
If \(n\) is a non-negative integer and the remainder when \(3^n\) is divided by 4 is a multiple of 3, then which of the following must be true?
I. \(n^2\) divided by 4 yields the reminder of 1
II. \((-2)^n\) is less than 0
III. \(n\) is a prime number
A. \(I\) only
B. \(II\) only
C. \(III\) only
D. \(I\) and \(II\) only
E. \(II\) and \(III\) only
Let's explore the possible remainders obtained by dividing \(3^n\) by 4 for different values of \(n\):
\(3^0=1\).The remainder when 1 is divided by 4 is 1, which is NOT a multiple of 3;
\(3^1=3\). The remainder when 3 is divided by 4 is 3, which is a multiple of 3;
\(3^2=9\). The remainder when 9 is divided by 4 is 1, which is NOT a multiple of 3;
\(3^3=27\). The remainder when 27 is divided by 4 is 3, which is a multiple of 3;
...
Since we are told that the remainder when \(3^n\) divided by 4 gives a multiple of 3, then we can conclude that
\(n\) is odd.
I. \(n^2\) divided by 4 yields the reminder of 1. Since \(n\) is odd, then \(n^2=odd^2=(2k+1)^2=4k+4k+1\), which when divided by 4 yields the reminder of 1. Hence, this statement is true.
II. \((-2)^n\) is less than 0.
Since \(n\) is odd, then \((-2)^n=(-2)^{odd}\). Negative number in odd power is always negative. Hence, this statement is also true.
III. \(n\) is a prime number.
Since not all odd number are primes, then this option is not necessarily true.
Answer: D