Discussion about math, puzzles, games and fun. Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ π -¹ ² ³ °

You are not logged in.

- Topics: Active | Unanswered

Pages: **1**

**Stangerzv****Member**- Registered: 2012-01-30
- Posts: 232

Can anyone help me to find the proof that the only whole number solution for alpha as in the equation below is 1. Otherwise please find any other solutions (counter-examples)

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 107,156

Hi;

n = 0 and a = 0 is also a solution.

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.**** Always satisfy the Prime Directive of getting the right answer above all else.**

Offline

**Stangerzv****Member**- Registered: 2012-01-30
- Posts: 232

Hi bobbym, I am looking for other than the trivial solutions.

Offline

**ShivamS****Member**- Registered: 2011-02-07
- Posts: 3,648

But it is a counter example that alpha can be a whole number other than 1.

Offline

**Stangerzv****Member**- Registered: 2012-01-30
- Posts: 232

Ok:) Can someone get a counter examples for other than 0 and 1. I am looking for a proof, I think there shouldn't be any solution other than 0 or 1 but stumble upon finding the proof.

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 107,156

Those are the only solutions, I think. The demonstration of that is done with moduli.

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.**** Always satisfy the Prime Directive of getting the right answer above all else.**

Offline

**Stangerzv****Member**- Registered: 2012-01-30
- Posts: 232

I think the equation could be factorized as follows:

For even n:

and other than alpha=0 or 1, the equation below holds.

Just need to find the proof.

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 107,156

Here is the skeleton of the idea:

is only a whole number when n is even.

This is easy to prove because when n is even it can be written in this form,

where n =1,2,3,... Then

Now when 2^n-1 is congruent to 1 mod 3 then 2^n+1 is divisible by 3. It can not be anything else but congruent to 1 or 0 mod 3 and we are done.

For the part when n is odd, I am stuck.

When n is even then the LHS of 1) is congruent to 5 mod 8. All squares are either 0,1 or 4 congruent to mod 8 so there are no solutions.

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.**** Always satisfy the Prime Directive of getting the right answer above all else.**

Offline

**Stangerzv****Member**- Registered: 2012-01-30
- Posts: 232

Thanks bobbym but can you get the proof in the mathematical symbols, it would be a great help. I need this part for my Fermat's last theorem proof for n=3. I am using my sums of power formulation and exhaustive method to find an alternative proof (simple one) until I stumble upon this part.

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 107,156

Hi;

If you just need Fermats for n = 3 why not just look up Euler's proof for n = 3?

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.**** Always satisfy the Prime Directive of getting the right answer above all else.**

Offline

**Stangerzv****Member**- Registered: 2012-01-30
- Posts: 232

hi bobbym

I know there exist the proof for n=3 but I am working for a simple and short proof and this proof is not the same like the way the proof for n=3 done by Euler etc. I have reduced the fermat's last theorem into polynomials using my sums of power formulation and I am trying to work it out for smaller power and later on the generalize proof for all n.

*Last edited by Stangerzv (2014-05-18 04:56:25)*

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 107,156

I only have a partial proof of that idea in post #8. Check the post. I am stuck on the last part. I will continue with it when I get back or maybe someone else can get it.

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.**** Always satisfy the Prime Directive of getting the right answer above all else.**

Offline

**Stangerzv****Member**- Registered: 2012-01-30
- Posts: 232

Hi bobbym, thanks for the even one. I am not sure my method is ok or not, lets say,

for odd n

then

Since n=odd,

can never be a perfect square.*Last edited by Stangerzv (2014-05-18 22:22:20)*

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 107,156

Hi;

I have not been able to work the odd case so I am not being critical but I do not see how your last post proves it.

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.**** Always satisfy the Prime Directive of getting the right answer above all else.**

Offline

**Stangerzv****Member**- Registered: 2012-01-30
- Posts: 232

Hi bobbym

Okay, I have edited it. This is what happened if you play around with the infinity. I am always skeptic with it, but seeing Ramanujan and Euler played with it and made remarkable things. Maybe I can also using it

too.

*Last edited by Stangerzv (2014-05-18 22:27:16)*

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 107,156

Hi;

That looks okay, it is obvious the 2^n/3 is not an integer and therefore not a square of an integer.

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.**** Always satisfy the Prime Directive of getting the right answer above all else.**

Offline

**anonimnystefy****Real Member**- From: Harlan's World
- Registered: 2011-05-23
- Posts: 16,018

Hi cmowla

You cannot really use derivatives like that.

Here lies the reader who will never open this book. He is forever dead.

Taking a new step, uttering a new word, is what people fear most. ― Fyodor Dostoyevsky, Crime and Punishment

The knowledge of some things as a function of age is a delta function.

Offline

**Stangerzv****Member**- Registered: 2012-01-30
- Posts: 232

Another problem is to find the proof that the only whole number solution for alpha is 1 when n=1 for the following equation:

Otherwise please find the counter-examples.

*Last edited by Stangerzv (2014-05-20 23:53:06)*

Offline

**ShivamS****Member**- Registered: 2011-02-07
- Posts: 3,648

You have to state the question better, maybe like nontrivial solutions only.

alpha = 0, n = 0

*Last edited by ShivamS (2014-05-21 00:29:04)*

Offline

**Stangerzv****Member**- Registered: 2012-01-30
- Posts: 232

Ok..find the non-trivial solutions (i.e. n, alpha=1). I need to find the proof because I am sure there is no other solution exist. Any help?

Offline

**Stangerzv****Member**- Registered: 2012-01-30
- Posts: 232

So far I managed to get through up to this stage:

For divisibility by 3, let n=3x-2, then

Therefore,

Trivial solution is x=1 and alpha=1

There should be no other whole number solution other than the trivial solution.

Offline

**cmowla****Member**- Registered: 2012-06-14
- Posts: 61

*Last edited by cmowla (2014-05-24 19:50:24)*

Offline

**Stangerzv****Member**- Registered: 2012-01-30
- Posts: 232

n=0 is not a trivial because when n=0,

Offline

**cmowla****Member**- Registered: 2012-06-14
- Posts: 61

Stangerzv wrote:

n=0 is not a trivial because when n=0,

Okay, but besides my misuse of terminology, you can still use what I wrote. Any comment (or "thank you") for the rest of what I wrote?

BTW, I don't know why you put this thread in the "This is Cool" sub-forum. It should have been placed in the "Help Me!" sub-forum.

*Last edited by cmowla (2014-05-24 21:34:34)*

Offline

**Stangerzv****Member**- Registered: 2012-01-30
- Posts: 232

Hi cmowla

This is part of new way to find an alternative proof for Fermat's Last Theorem, I have stumbled at this part for power n=3.

Offline

Pages: **1**