Maths Olympiad Prep

Library / /6 of 97

Number theory Difficulty 7.2 National olympiad, round 2 Find the answer

Find the smallest prime number pp that cannot be represented in the form 3a2b|3^{a} - 2^{b}|, where aa and bb are non-negative integers.

A number or a short expression. Spacing and $ signs are ignored.

Solution

We need to find the smallest prime number p p that cannot be represented in the form 3a2b |3^a - 2^b| , where a a and b b are non-negative integers.

First, we verify that all primes less than 41 can be expressed in the form 3a2b |3^a - 2^b| :

- For p=2 p = 2 : 2=3021 2 = |3^0 - 2^1|
- For p=3 p = 3 : 3=3120 3 = |3^1 - 2^0|
- For p=5 p = 5 : 5=3122 5 = |3^1 - 2^2|
- For p=7 p = 7 : 7=3223 7 = |3^2 - 2^3|
- For p=11 p = 11 : 11=3225 11 = |3^2 - 2^5|
- For p=13 p = 13 : 13=3323 13 = |3^3 - 2^3|
- For p=17 p = 17 : 17=3324 17 = |3^3 - 2^4|
- For p=19 p = 19 : 19=3325 19 = |3^3 - 2^5|
- For p=23 p = 23 : 23=3326 23 = |3^3 - 2^6|
- For p=29 p = 29 : 29=3327 29 = |3^3 - 2^7|
- For p=31 p = 31 : 31=3425 31 = |3^4 - 2^5|
- For p=37 p = 37 : 37=3426 37 = |3^4 - 2^6|

Now, we check for p=41 p = 41 :

### Case 1: 3a2b=41 3^a - 2^b = 41
- Since 3a0(mod3) 3^a \equiv 0 \pmod{3} , we have 2b2(mod3) -2^b \equiv 2 \pmod{3} , implying 2b1(mod3) 2^b \equiv 1 \pmod{3} . This occurs when b b is even.
- Since 2b0(mod4) 2^b \equiv 0 \pmod{4} , we have 3a1(mod4) 3^a \equiv 1 \pmod{4} , implying a a is even.
- Let a=2j a = 2j and b=2k b = 2k . Then (3j)2(2k)2=41 (3^j)^2 - (2^k)^2 = 41 , which factors as (3j2k)(3j+2k)=41 (3^j - 2^k)(3^j + 2^k) = 41 .
- Since 41 is prime, 3j2k=1 3^j - 2^k = 1 and 3j+2k=41 3^j + 2^k = 41 . Adding these gives 3j=21 3^j = 21 , which is not possible.

### Case 2: 2b3a=41 2^b - 3^a = 41
- Since 3a0(mod3) 3^a \equiv 0 \pmod{3} , we have 2b2(mod3) 2^b \equiv 2 \pmod{3} , implying b b is odd.
- Since 2b0(mod4) 2^b \equiv 0 \pmod{4} , we have 3a1(mod4) -3^a \equiv 1 \pmod{4} , implying 3a3(mod4) 3^a \equiv 3 \pmod{4} , so a a is odd.
- Let a=2j+1 a = 2j + 1 and b=2k+1 b = 2k + 1 . Then 2b3a1(mod8) 2^b - 3^a \equiv 1 \pmod{8} .
- Checking values, we find 2b4(mod8) 2^b \equiv 4 \pmod{8} , which is not possible since b b is odd.

Since both cases have no solutions, we conclude that 41 cannot be represented in the form 3a2b |3^a - 2^b| .

The answer is 41\boxed{41}.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.