Register to reply 
An algebraic proof of Fermat's conjecture 
Share this thread: 
#1
Jan3012, 11:33 PM

PF Gold
P: 5

I'm sure there are mistakes here so criticism is welcome. In the unlikely event someone would like to sponsor my article for ArXiv, please let me know.



#2
Jan3112, 04:34 AM

P: 688

Hi, suchness,
you have made a clean exposition of your argument, that's nice. I do have a question. The heart of the matter seems to be that, when n>2, it is presumed that[tex]{n \choose k} \frac {y^k + (1)^k c^k} {b^k}[/tex]cannot be an integer. I'm not sure I follow your reason here. Even if you assume y,c,b to be pairwise coprime, [itex]n \choose k[/itex] has no obligation, I think, to be coprime to b. And, for a large n and small k, [itex]n \choose k[/itex] could be larger than b^k. Actually, even if all fractions in the sum are proper fractions, why can't they end up adding to an integer? I am probably missing something, though. 


#3
Jan3112, 04:55 AM

PF Gold
P: 5

The remaining series together with the value of n would have to resolve to a value of either 0 for when n is an odd number and 2 when n is an even number. When n is odd and equal to 3 or greater, the series should resolve to a positive number and therefore prevent n plus the series being equal to 0. When n is an even number greater than 2, the series will also resolve to a positive number which together with n with be greater than 2. I think this can be shown by substituting c + (b) for y and showing that even if c^k/b^k is negative it will be canceled out by the first term of the binomial expansion of (c + (b))^k. Then the remaining terms of (b)^k plus the remainders of that binomial expansion multiplied by the value of the factorial terms would end in the results noted above. It occurred to me to explicitly proof this but I wasn't sure it was necessary. If you are suggesting that it is, I think you may be right and I will work on that first thing this morning once I get a bit more rest. Thank you. 


#4
Jan3112, 05:11 AM

P: 688

An algebraic proof of Fermat's conjecture
Given that the argument has been crystal clear up to the end, I think it would help to justify the last statement. It would lessen the burden on the reader and move it to the writer, where it belongs. By all means, go ahead!



#5
Jan3112, 10:28 AM

Mentor
P: 18,229

"The only value of n that satisfies the equation is 2"
Please prove this. 


#6
Jan3112, 10:35 AM

PF Gold
P: 5

I had thought that it would be unnecessary, but Dodo had already convinced me of my error. I will be working on this and will post when I either have something useful to add or it becomes obvious to me that I was premature.



#7
Jan3112, 10:36 AM

Mentor
P: 18,229

Furthermore, when you multiply with [itex]b^{n}[/itex]. I believe that you multiplied the second sum incorrectly. It should be
[itex]\sum_{k=1}^{n1} \binom{n}{k}(1)^{nk}b^{k}c^k[/itex] 


#9
Feb112, 06:36 PM

Sci Advisor
HW Helper
P: 2,020

It should be pointed out that all you did, up until the last step, is rearrange the equation. That alone should have made you skeptical about your proof, because certainly any proof will have to offer something more than just a rearrangement of terms.



#10
Feb112, 09:44 PM

PF Gold
P: 5

Since I'm not sure at this point if the approach I had attempted will be successful, I'll just say what I had intended that approach to be. The thing that makes the n=2 version of the functions in the generalized version of the Pythagorean theorem unique, is the fact that the second derivative is a constant.
I had hoped to be able to show that was a requirement for the validity of Fermat's conjecture by using binomial expansion to express the conjecture in terms of the difference of differences. 


#11
Feb212, 03:14 AM

P: 688

P.S. Arrangements like [itex](c^n  b^n)  (b^n  a^n)[/itex] would not necessarily represent a "difference of differences" in the sense you need, as a,b,c are not necessarily consecutive integers. 


#12
Feb212, 11:53 AM

PF Gold
P: 5

I don't mean to be terse or impolite, but that was one reason I used the word "attempted" in my previous post. It well may be that, a) the approach I attempted is not suitable to the task; and/or b) I have not implemented the approach properly.
However, with that being said, I think the fact that I have been able to reduce the conjecture to the point of requiring it to produce one of 2 constants is promising, and for that reason I continue to work on this. 


#13
Feb212, 01:50 PM

P: 688

No offense taken, and I hope I haven't been too harsh. I'm just being curious about a set of ideas that look interesting. I look forward to more!



Register to reply 
Related Discussions  
The Epsilon Conjecture In Fermat's Last Theorem  General Math  2  
Simple Proof of Fermat's Last Theorem and Beal's Conjecture  Linear & Abstract Algebra  5  
An Elementary Proof Of Both The Beal Conjecture And Fermat's Last Theorem.  Linear & Abstract Algebra  38  
Proof of Golbach's conjecture and the twin prime conjecture  Linear & Abstract Algebra  9  
The Lost Proof of Fermat  General Physics  6 