Break It Down

4 a b 2 = c \large 4^{a}-b^{2}=c

There are a finite number of ordered triples ( a , b , c ) (a,b,c) that can satisfy the above equation, where a , b , a,b, and c c are all primes .

Find the sum of all distinct primes that are a part of a solution set for the above equation.

Details and Assumptions:

  • If the two solutions were ( 4 , 5 , 6 ) , ( 4 , 6 , 8 ) (4,5,6), (4,6,8) , then the answer would be 4 + 5 + 6 + 8 = 23. 4+5+6+8=23.

  • 1 1 is not {\color{#D61F06} \text{not}} a prime number.


The answer is 12.

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

Brandon Monsen
Oct 10, 2016

Relevant wiki: Diophantine Equations - Solve by Factoring

4 a b 2 = ( 2 a + b ) ( 2 a b ) = c 4^{a}-b^{2}=(2^{a}+b)(2^{a}-b)=c . Since c c is a prime, 2 a b 2^{a}-b must be equal to 1 1 , and so we get that b = 2 a 1 b=2^{a}-1 .

We now get that c = 2 a + 1 1 c=2^{a+1}-1 by substituting b b into the factored version of the original equation.

This means that b b and c c are Mersenne Primes , more importantly, consecutive Mersenne Primes.

Either a a or a + 1 a+1 , will be even, and in this case 2 2 j 1 = p 2^{2j}-1=p for some integer j j and some prime p p . This can be factored once more into ( 2 j + 1 ) ( 2 j 1 ) = p (2^{j}+1)(2^{j}-1)=p . Once again, since p p is prime this means that 2 j 1 = 1 2^{j}-1=1 , so j = 1 j=1 and either a , a + 1 = 2 a,a+1=2 .

If a + 1 = 2 a+1=2 , then a = 1 a=1 , which is not prime. So a = 2 a=2 is the only possible solution for our initial equation. Solving for the other two variables yields a = 2 , b = 3 , c = 7 a=2,b=3,c=7 , all of which are primes.

This is our only ordered triple, so our answer is 2 + 3 + 7 = 12 2+3+7=\boxed{12} .

Nice solution! I think the part after you found that 2 a 1 = b 2^a - 1 = b and 2 a + 1 1 = c 2^{a+1}-1 = c are both Mersenne Primes, instead of using case check, we can also use the second theorem listed here to deduce that both a a and a + 1 a+1 must be prime. The only consecutive primes are 2 2 and 3 3 hence the only solution is a = 2 a=2 which leads to the solution ( 2 , 3 , 7 ) (2,3,7) .

Christopher Boo - 4 years, 8 months ago

I did the factorization the other way round so i got b-2^a=1 or a=2,b=5 and c=9; so silly

Arijit Dey - 3 years, 12 months ago

4^5 - 29^2 = 183 5 is prime, as is 29, as is 183. Another distinct solution.

Robbie Wippich - 4 years, 8 months ago

Log in to reply

183 has a digit sum of 12, which is a multiple of 3, so 183 must also be a multiple of 3. It is 61 × 3 = 183 61 \times 3 = 183

Brandon Monsen - 4 years, 8 months ago
Daniel Ferreira
Oct 31, 2016

Desenvolvendo,

4 a b 2 = c ( 2 2 ) a b 2 = c 2 2 a b 2 = c ( 2 a + b ) ( 2 a b ) = c 1 , c e ˊ p r i m o . \\ \mathsf{4^a - b^2 = c} \\\\ \mathsf{(2^2)^a - b^2 = c} \\\\ \mathsf{2^{2a} - b^2 = c} \\\\ \mathsf{(2^a + b) \cdot (2^a - b) = c \cdot 1, \qquad \underline{c} \ \acute{e} \ primo.}

Comparando os factores, { 2 a b = 1 ( i ) 2 a + b = c ( i i ) \begin{cases} \mathsf{2^a - b = 1 \qquad (i)} \\ \mathsf{2^a + b = c \qquad (ii)} \end{cases} .

Ora, da equação ( i ) \mathsf{(i)} , tiramos que 2 a \mathsf{2^a} e b \mathsf{b} são dois números consecutivos, não necessariamente primos. Por conseguinte, de ( i i ) \mathsf{(ii)} , tiramos que a soma desses dois consecutivos resulta num número primo; isto nos leva ao seguinte questionamento: a soma de dois números consecutivos é primo? Sim, todavia, precisamos de dois primos consecutivos e isso só ocorre com 2 e 3. Isto posto,

2 a + b = c 2 2 + 3 = c 4 + 3 = c c = 7 \\ \mathsf{2^a + b = c} \\\\ \mathsf{2^2 + 3 = c} \\\\ \mathsf{4 + 3 = c} \\\\ \boxed{\mathsf{c = 7}}

Por fim, 2 + 3 + 7 = 12 \mathsf{2 + 3 + 7 = \boxed{\mathsf{12}}} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...