Divisible problem

Algebra Level 2

Is 2 n + 1 + ( 1 ) n 2^{n+1}+(-1)^n divisible by 3 for every positive integer n n ?

No Yes

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Jordan Cahn
Mar 15, 2019

If n n is even then 2 n + 1 + ( 1 ) n 2 + 1 0 m o d 3 2^{n+1}+(-1)^n \equiv 2+1 \equiv 0 \bmod 3 . If n n is odd then 2 n + 1 + ( 1 ) n 1 + 2 0 m o d 3 2^{n+1}+(-1)^n \equiv 1+2 \equiv 0 \bmod 3 .

Chew-Seong Cheong
Mar 15, 2019

Let f ( n ) = 2 n + 1 + ( 1 ) n f(n) = 2^{n+1}+(-1)^n . When n n is odd, let n = 2 m 1 n=2m-1 , where m m is a positive integer. Then f ( n ) = 2 2 m 1 f(n) = 2^{2m} - 1 . Since gcd ( 2 , 3 ) = 1 \gcd(2,3)=1 , we can apply Euler's theorem and

f ( n ) 2 2 m m o d ϕ ( 3 ) 1 where ϕ ( ) denotes the Euler’s totient function, 2 2 m m o d 2 1 and since 3 is a prime, ϕ ( 3 ) = 3 1 = 2. 0 (mod 3) \begin{aligned} f(n) & \equiv 2^{2m\ \bmod \color{#3D99F6}\ \phi(3)} - 1 & \small \color{#3D99F6} \text{where }\phi (\cdot) \text{ denotes the Euler's totient function,} \\ & \equiv 2^{2m\ \bmod \color{#3D99F6}\ 2} - 1 & \small \color{#3D99F6} \text{and since 3 is a prime, }\phi (3) = 3-1 = 2. \\ & \equiv 0 \text{ (mod 3)} \end{aligned}

Therefore, f ( n ) f(n) is divisible by 3 when n n is odd.

When n n is even, let n = 2 m n=2m . Then f ( n ) 2 2 m + 1 + 1 2 ( 2 m + 1 ) m o d 2 + 1 2 + 1 0 (mod 3) f(n) \equiv 2^{2m+1} + 1 \equiv 2^{(2m+1) \bmod 2} + 1 \equiv 2+1 \equiv 0 \text{ (mod 3)} . Again f ( n ) f(n) is divisible by 3 when n n is even.

Yes , f ( n ) 2 n + 1 + ( 1 ) n f(n) 2^{n+1}+(-1)^n is divisible by 3 for every positive integer n n .


Reference: Euler's totient function

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...