Find all solutions to 3^a - 1 = 2b^2 - B.M.O. problem

  • Thread starter al-mahed
  • Start date
In summary, the problem of finding solutions to the equation 3^{2k+1} - 1 = 2b^2, where a is odd and b is even, is still unsolved and the current approach involves factoring the equation and using advanced techniques such as converting it to a Pell equation. A simpler proof has not yet been found.
  • #1
al-mahed
262
0
That's a problem I saw at another math forum. It is said to be the last problem of the last phase of the national Brazilian mathematical olympiad. The case "a is even" is solved, but the case "a is odd" is resisting. I'd apreciate if you could give me any hints about it. I wrote the following proof, though I think at the end more steps are needed to give an absolute proof.

_____________________________________________________________________________

Let [itex]a = 2k+1[/itex], we have [itex]3^{2k+1} - 1 = 2b^2 ==> 3^{2k+1} - 3 = 2b^2-2 ==>3(3^{2k} - 1) = 2(b^2-1)[/itex]
so
[itex]3(3^k - 1)(3^k+1) = 2(b-1)(b+1)[/itex]

of course there's 2 trivial solutions where k = 0 (a=1) and b = 1, or a = 0 and b = 0, and there is no integer k, but let's suppose that k>0

as [itex]gcd(3^k - 1,\:3^k+1) = 2 ==> (3^k - 1)(3^k+1)\equiv 0\\: mod\\: 8 ===>[/itex] b is odd [itex]==> b = 2n+1 ==>[/itex]

[itex]b^2 = 4n(n+1)+1 ==>\: 3^{2k+1} - 1 = 2[4n(n+1)+1] ==>\: 3^{2k+1} = 8n(n+1)+3 ==>[/itex]

[itex]==>\: 3^{2k} = (3^k)^2=\frac{8n(n+1)}{3}+1[/itex] since [itex](3^k)^2[/itex] is a perfect odd square, then

[itex](3^k)^2 =\frac{8m(m+1)}{2}+1 =\frac{8n(n+1)}{3}+1==>\: 3m(m+1)=2n(n+1)[/itex] where m is a given positive integer

that's certainly false, I've tried to prove it but seems to be really tricky

It is obvious that [tex]\frac{n(n+1)}{3}[/tex] cannot be a triangular number, but it is so obvious that I cannot solve it in a simple manner.
 
Physics news on Phys.org
  • #2
The case of a=5, gives b=11. We then have, k=2, n=5, which fulfills 3^(k^2) = 8n(n+1)/3 +1, or 81= 8*5*6/3+1 or 81= 80+1.

For triangle number 10, we have 10 = 4*5/2 = 5*6/3.
 
  • #3
robert Ihnot said:
The case of a=5, gives b=11. We then have, k=2, n=5, which fulfills 3^(k^2) = 8n(n+1)/3 +1, or 81= 8*5*6/3+1 or 81= 80+1.

For triangle number 10, we have 10 = 4*5/2 = 5*6/3.

Yes, you're absolutely correct! This small example skipped me. But is it the only one? Perhaps there is another easier way to find the solution.

In fact [tex]\frac{n(n+1)}{3}[/tex] can be triangular infinitely many times, what I was trying to say is that when it is triangular the square [tex]\frac{8n(n+1)}{3}+1[/tex] is not only divisible by 3, or maybe it is not divisible by 3 at all (perhaps 10 is the only solution).

I think this way to prove it is too complicated.

thank you for your imput
 
  • #4
Unfortunately trying small cases doesn't really uncover a pattern (which makes this a olympiad problem I guess). For diophantine equations, if using clever factorizations or inequalities to force solutions doesn't work, then perhaps try some more advanced tools. You could try converting this to a "[URL [Broken] equation[/URL] and consider a convenient mod to uncover solutions. I haven't tried that yet, but I haven't found an elegant way to do this.
 
Last edited by a moderator:
  • #5
Thank you for your hints, in fact I was trying a different strategy now:

lets write the equation as [tex]\frac{3^a-1}{3-1}=b^2[/tex]

we already demosntrated that if a=2k+1 then b=2n+1, so

==> [tex]\frac{3^{2k+1}-1}{3-1}=1+3+9+...+3^{2k}=(2n+1)^2=4n(n+1)+1[/tex] ==>

==> [tex]1+3+9+...+3^{2k}=4n(n+1)+1 \ ==> \ 3+9+...+3^{2k}=4n(n+1)[/tex]

there are 2k terms on the sum at the left

rewriting

[tex](3+9)_1+(27+81)_2+...+(3^{2k-1}+3^{2k})_k=4n(n+1)\ ==>[/tex]

[tex]\ ==> \frac{(3+9)_1}{4}+\frac{(27+81)_2}{4}+...+\frac{(3^{2k-1}+3^{2k})_k}{4}=n(n+1)[/tex]

if we notice that [tex]3^r+3^{r+1}=3^r(3+1)=4*3^r[/tex] then we can write the above as

[tex]\ ==> \frac{3^1(1+3)_1}{4}+\frac{3^3(1+3)_2}{4}+...+\frac{3^{2k-1}(1+3)__k}{4}=n(n+1)[/tex]

cancel 1+3 with 4, we have

[tex](3^1)_{1}+(3^3)_{2}+...+(3^{2k-1})_{k}=n(n+1)[/tex]

we notice that n(n+1) is even, so as there are k terms on the sum at the left, and the terms are all odd, then k is even, because an odd quantity of odd numbers added is an odd number, so we must have an even number of terms, so k is even, let's call k = 2x

from here, we conclude that as a = 2k+1 = 4x+1, obviously a is of the form 4x+1 and we can factor the equation as follows

[tex]3^{4x+1}-1=2b^2 \ ==> \ 3^{4x+1}-3=2b^2-2 \ ==> \ 3(3^{4x}-1)=2(b^2-1) \ ==>[/tex]

[tex]\ ==> \ 3(3^{2x}-1)(3^{2x}+1)=2(b-1)(b+1) \ ==>[/tex]

[tex]\ ==> \ 3(3^x-1)(3^x+1)(3^{2x}+1)=2(b-1)(b+1)=2(2n)(2n+2)=8n(n+1)[/tex]

as [tex](3+9)_1+(27+81)_2+...+(3^{2k-1}+3^{2k})_k=4n(n+1)[/tex] therefore

[tex]\ ==>\ 2[(3+9)_1+(27+81)_2+...+(3^{2k-1}+3^{2k})_k]=3(3^x-1)(3^x+1)(3^{2x}+1)[/tex]

arranging the terms at the left properly, and noticing that 2 = 3^1-1

[tex](3^1-1)[3^1(1+3^1)_{1}+3^3(1+3^1)_{2}+...+3^{2k-1}(1+3^1)_{k}]=3(3^x-1)(3^x+1)(3^{2x}+1)[/tex]
[tex](3^1-1)(3^1+1)[3^1_{1}+3^3_{2}+...+3^{2k-1}_{k}]=3(3^x-1)(3^x+1)(3^{2x}+1)[/tex]

as k is even = 2x, we can line up the powers of 3 two-by-two again, and I'll now insert 2x where there is k written

[tex](3^1-1)(3^1+1)[(3^1+3^3)_{1}+(3^5+3^7)_{2}+...+(3^{4x-3}+3^{4x-1})_{x}]=3(3^x-1)(3^x+1)(3^{2x}+1)=[/tex]

[tex]=(3^1-1)(3^1+1)[3^1(1+3^2)_{1}+3^5(1+3^2)_{2}+...+3^{4x-3}(1+3^2)_{x}]=3(3^x-1)(3^x+1)(3^{2x}+1)=[/tex]

[tex](3^1-1)(3^1+1)(3^2+1)[3^1_{1}+3^5_{2}+...+3^{4x-3}_{x}]=3(3^x-1)(3^x+1)(3^{2x}+1)=[/tex]

[tex]3(3^1-1)(3^1+1)(3^2+1)[3^0_{1}+3^4_{2}+...+3^{4x-4}_{x}]=3(3^x-1)(3^x+1)(3^{2x}+1)[/tex]

so we have x terms there, the equality suggests that x = 1, but I cannot see how to proceed from here, any ideas?

best regards
 

1. What is the B.M.O. problem?

The B.M.O. problem stands for "British Mathematical Olympiad" problem. It is a challenging mathematical problem that was used in the British Mathematical Olympiad competition.

2. What is the goal of the B.M.O. problem?

The goal of the B.M.O. problem is to find all possible solutions to the equation 3^a - 1 = 2b^2, where a and b are positive integers. This equation is also known as the "Find all solutions to 3^a - 1 = 2b^2 - B.M.O. problem".

3. How can I approach the B.M.O. problem?

There are various approaches that can be used to solve the B.M.O. problem. One approach is to use the theory of number theory and modular arithmetic to find the solutions. Another approach is to use algebraic manipulation and factorization to simplify the equation and find the solutions.

4. Is there a specific method to solve the B.M.O. problem?

No, there is no specific method to solve the B.M.O. problem. As mentioned before, there are different approaches that can be used to find the solutions. It is up to the individual's preference and comfort with different mathematical concepts to choose which approach to use.

5. What are the possible solutions to the B.M.O. problem?

The possible solutions to the B.M.O. problem are all the positive integer values of a and b that satisfy the equation 3^a - 1 = 2b^2. These solutions can be found by using the chosen approach to solve the equation.

Similar threads

  • Linear and Abstract Algebra
Replies
2
Views
852
  • Precalculus Mathematics Homework Help
Replies
6
Views
988
  • Calculus and Beyond Homework Help
Replies
7
Views
2K
  • Precalculus Mathematics Homework Help
Replies
15
Views
1K
  • Linear and Abstract Algebra
Replies
2
Views
888
  • Precalculus Mathematics Homework Help
Replies
6
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
429
  • Precalculus Mathematics Homework Help
Replies
2
Views
1K
  • Precalculus Mathematics Homework Help
Replies
2
Views
712
  • Precalculus Mathematics Homework Help
Replies
17
Views
2K
Back
Top