The correct option is B n19, n38−1
n can be either of the form 3k or 3k+1 or 3k+2 for some k∈N
Case (1):
Let n=3k
n19=319k19
and n38=338k38
Then n19−1,n19+1,n38−1,n38−1 are not multiples of 3.
Case (2):
Let n=3k+1
n19=(1+3k)19
=1+19⋅3k+⋯
=1+3p1, p1∈N
n38=(1+3k)38
=1+38⋅3k+⋯
=1+3p2, p2∈N
Then n19−1 and n38−1 are multiples of 3
and n19+1 and n38+1 are not multiples of 3.
Case (3):
Let n=3k+2
n19=(2+3k)19
=219+19⋅218⋅3k+⋯
=219+3q1, q1∈N
=(3−1)19+3q1
n38=(2+3k)38
=238+38⋅237⋅3k+⋯
=238+3q2, q2∈N
=(3−1)38+3q2
Now, (3−1)n=3n+n3n−1(−1)1+⋯+(−1)n
Therefore, when n is odd, the remainder when (3−1)n is divided by 3 is 2.
When n is even, the remainder when (3−1)n is divided by 3 is 1.
∴n19 leaves a remainder of 2 when divided by 3.
∴n19+1 is a multiple of 3 but n19−1 is not.
Also, n38 leaves a remainder of 1 when divided by 3.
∴n38−1 is a multiple of 3 but n38+1 is not.
Taking different pairs in combination, we conclude that {n19,n38−1} always contains a multiple of 3 for any n∈N