Find the largest prime!

Let p p be a prime number, such that for any positive integer n n , p 5 2 n + 1 + 2 n + 4 + 2 n + 1 p\mid 5^{2n+1}+2^{n+4}+2^{n+1}

Find the largest possible value of p p .

If you think there's no such a prime number, enter 0 0 .


The answer is 23.

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.

3 solutions

Áron Bán-Szabó
Jul 30, 2017

5 2 n + 1 + 2 n + 4 + 2 n + 1 = 5 2 5 n + 18 2 n 5^{2n+1}+2^{n+4}+2^{n+1}=5*25^n+18*2^n

For n = 1 n=1 , the value of expression is equal to 161 = 7 23 161=7*23 . So the answer is 0 , 7 0, 7 or 23 23 . If we prove that it is always divisible by 23 23 , then the answer is 23 23 .

5 2 n + 1 + 2 n + 4 + 2 n + 1 = 5 2 5 n + 18 2 n = 5 2 5 n 5 2 n + 5 2 n + 18 2 n = 5 ( 2 5 n 2 n ) + 23 2 n \begin{aligned} 5^{2n+1}+2^{n+4}+2^{n+1} & =5*25^n+18*2^n \\ & = 5*25^n-5*2^n+5*2^n+18*2^n \\ & = 5*(25^n-2^n)+23*2^n \end{aligned}

Since a b a n b n a-b\mid a^n-b^n , where a , b , n a, b, n are three positive integers, 5 ( 2 5 n 2 n ) + 23 2 n 5*(25^n-2^n)+23*2^n is divisible 25 2 = 23 25-2=23 .

Therefore the answer is 23 \boxed{23} .

Nice! :) I would like to add a tip of advice, however. There is a common type of solution on Brilliant where the solution seems to hinge on already knowing what the answer is. It seems like that is the case when you say, "If we prove that it is always divisible by 23 23 , then the answer is 23 23 ." Although I see that your train of thought was, "If we can show that 23 23 , the maximum of our possible choices, divides the expression, then that will be our answer," it is best to prove first that 7 7 does not [always] divide the expression, then to move on to proving that 23 23 always divides it and is hence the answer.

Zach Abueg - 3 years, 10 months ago
Neil Patram
Aug 1, 2017

Rearrange the expression like this:

5 * 5^(2n) + 16 * 2^n + 2 * 2^n

Then reduce the power of the 5 term to get:

5 * 25^n + 16 * 2^n + 2 * 2^n

Then add like terms to get:

5 * 25^n + 18 * 2^n

Now, it's good to note that for n=1 and n=2, this expression is divisible by 23. But we want to check it for all n, so let's take it mod 23 (kind of). Note that 25 and 2 are both congruent to 2 (mod 23). That means:

5 * 25^n + 18 * 2^n

is congruent to:

5 * 2^n + 18 * 2^n

(mod 23).

When you add like terms, you get 23 * 2^n, which is obviously congruent to 0 (mod 23). So that proves that the expression is always divisible by 23 .

Note: This probably looks like a mess to you. I really need to learn how to use LaTeX.

Taking n=0 gives the result of 23, which is prime. So p=23 or p=1, but the latter is not prime, so p must be 23. There's 1 problem though... If you set n=1 you get 163 which isnt divisible by 23. So it doesn't hold for any n.

If that is the case, then n n must be labeled "nonnegative" in the problem, not "positive."

Zach Abueg - 3 years, 10 months ago

Log in to reply

Nm I made a miscalculation. It gives 161 which is divisible by 23.

Peter van der Linden - 3 years, 10 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...