(1) Determine all positive integers such that is divisible by 7.
(2) Prove that for all positive integers is not divisible by 7.
Solution
[Solution] (1) If is a multiple of 3, then we can set (where is a positive integer),
Therefore, is divisible by 7.
If is not a multiple of 3, then we can set (where is a non-negative integer).
Since leaves a remainder of 1 when divided by 7, leaves a remainder of 2 when divided by 7, and leaves a remainder of 1 when divided by 7. Thus, leaves a remainder of 1 when divided by 7.
When ,
Since leaves a remainder of 4 when divided by 7, leaves a remainder of 3 when divided by 7. Thus, leaves a remainder of 3 when divided by 7.
In summary, is divisible by 7 if and only if is a multiple of 3.
(2) From (1), we know that when , the remainders of when divided by 7 are respectively. Therefore, the remainders of when divided by 7 are respectively. This means that for any positive integer , is never divisible by 7.