Maths Olympiad Prep

Library / /304 of 520

Number theory Difficulty 6.9 National olympiad Prove it

11621 \cdot 162 (1) Determine all positive integers nn such that 2n12^{n}-1 is divisible by 7.
(2) Prove that for all positive integers n,2n+1n, 2^{n}+1 is not divisible by 7.

Solution

[Solution] (1) If nn is a multiple of 3, then we can set n=3kn=3k (where kk is a positive integer),
2n1=23k1=8k1=(81)(8k1+8k2++1)\begin{aligned} 2^{n}-1 & =2^{3k}-1 \\ & =8^{k}-1 \\ & =(8-1)\left(8^{k-1}+8^{k-2}+\cdots+1\right) \end{aligned}

Therefore, 2n12^{n}-1 is divisible by 7.
If nn is not a multiple of 3, then we can set n=3k+1,n=3k+2n=3k+1, n=3k+2 (where kk is a non-negative integer).
 When n=3k+12n1=23k+11=223k1=28k1=2(7+1)k1.\begin{aligned} \text { When } n=3k & +1 \text {, } \\ 2^{n}-1 & =2^{3k+1}-1 \\ & =2 \cdot 2^{3k}-1 \\ & =2 \cdot 8^{k}-1 \\ & =2(7+1)^{k}-1 . \end{aligned}

Since (7+1)k(7+1)^{k} leaves a remainder of 1 when divided by 7, 2(7+1)k2(7+1)^{k} leaves a remainder of 2 when divided by 7, and 2(7+1)k12(7+1)^{k}-1 leaves a remainder of 1 when divided by 7. Thus, 2n12^{n}-1 leaves a remainder of 1 when divided by 7.

When n=3k+2n=3k+2, 2n12^{n}-1
=48k1=4(7+1)k1\begin{array}{l} =4 \cdot 8^{k}-1 \\ =4 \cdot(7+1)^{k}-1 \end{array}

Since 4(7+1)k4 \cdot(7+1)^{k} leaves a remainder of 4 when divided by 7, 4(7+1)k14 \cdot(7+1)^{k}-1 leaves a remainder of 3 when divided by 7. Thus, 2n12^{n}-1 leaves a remainder of 3 when divided by 7.

In summary, 2n12^{n}-1 is divisible by 7 if and only if nn is a multiple of 3.
(2) From (1), we know that when n=3k,3k+1,3k+2n=3k, 3k+1, 3k+2, the remainders of 2n2^{n} when divided by 7 are 1,2,41, 2, 4 respectively. Therefore, the remainders of 2n+12^{n}+1 when divided by 7 are 2,3,52, 3, 5 respectively. This means that for any positive integer nn, 2n+12^{n}+1 is never divisible by 7.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.