Sunday, March 18, 2012

"Proof" of Fermat's Last Theorem

One problem with the proliferation of "open access" journals is the decrease in quality. A good example is this "proof" of Fermat's Last Theorem by a guy who seems to specialize in rather eccentric papers. This paper was passed around to great laughter at the van der Poorten memorial conference in Australia. (The list of keywords alone is funny to a professional mathematician.)

This journal - the Journal of Mathematical and Computational Science - and its editorial board should be ashamed of publishing this junk.

130 comments:

Jonathan Lubin said...

I had a long correspondence with one of these folks. A fine retired gentleman who made one mistake after another in an attempt to use basic high-school math to prove FLT. I kept telling him that although I would never say never, the tools that he was using were simply of too feeble mathematical content to be likely to prove anything. He persisted till I gave up answering his e-mails.

SLC said...

Wasn't this proved by a mathematician some time in the 1990s?

isohedral said...

Should I infer that you are opposed to the basic idea of an open-access journal, or are you simply pointing out that open-access can lead to a proliferation of bad ones? (I happen to believe that open-access journals are a great idea, but they place ever more responsibility for integrity on the editors.)

Jeffrey Shallit said...

SLC:

Yes, Fermat's last theorem was proved by Andrew Wiles (with some help from Richard Taylor).

That's the problem with false proofs of true theorems: it's not easy to produce a counterexample.

Jeffrey Shallit said...

isohedral:

I edit a true open-access journal - that is, free to both authors and readers - so evidently no, I am not opposed to them.

There are a number of problems with many open access journals as they are currently set up. One is that most such journals have no provisions for waiving the author fees for those without a grant or those in 3rd world countries where the fee to publish might represent an average year's salary.

Anonymous said...

Thanks for the amusing link. (Surely he is credible, look at how diligent his research review was, why, he asks us to "see [1] or [3] or [4] or [5] or [6] or [7] or [8] or [9] or [10] or [11] or [12] or [13] or [15] or [18] or [19] or [20] or [21]"!)

However, I don't know why you focused on the openness of the journal's access. Closed journals are just as capable of publishing junk. Just look at Chaos, Solitons & Fractals.

Jeffrey Shallit said...

Journals that make their money through author charges, rather than through institutional subscriptions, have less reason to insure quality, and more reason to accept nearly everything submitted.

James Cranch said...

Indeed, one might properly regard the Chaos, Solitons and Fractals issue as also being caused by a departure from sane journal-funding strategies.

If Elsevier sold journals individually, loads of people would want Advances in Mathematics (for example) and pretty much nobody would want Chaos, Solitons and Fractals, and it would not seem like such a big deal at all.

Anonymous said...

Apparently the author was charged $100 for publishing this paper. Forty papers have been published so far, and $4000 is a decent profit for putting up a web site. (It's clear from this paper that the level of copy-editing provided is minimal, if it's nonzero at all.)

Sadly, I recognize several names on the editorial board, probably people who have not closely looked into the standards of this journal:
http://scik.org/index.php/jmcs/announcement/view/5

Anonymous said...

Strangely, I know about one third of the editors... I am not sure they are aware of what is going on.

isohedral said...

I didn't realize your journal was open access. I'd be interested in chatting with you about that at some point, particularly since I just took over as editor of a non open access journal in January. Do you have a web page up that explains the mechanics (policies, payments, copyediting, etc) for the journal?

Jeffrey Shallit said...

Iso:

There are no payments! As I explained, it is completely free to both authors and readers.

You can see information about copyediting on the Journal's home page: http://www.cs.uwaterloo.ca/journals/JIS/ .

Takis Konstantopoulos said...

The paper is ridiculous. Thanks for the laugh. I shared it with my colleagues in the math department at Uppsala today and also linked it on my blog.

Incidentally, please be informed that the Goldbach conjecture has now been proven to hold:
Ikorong Anouk Gilbert Nemron. A proof of the Goldbach conjecture and the strong attachment to the Fermat's last conjecture. South Asian Journal of Mathematics, Vol. 1(2), 68- 80, 2011.

Joel Reyes Noche said...

I note that Ikorong Anouk Gilbert Nemron is part of the editorial board of the South Asian Journal of Mathematics.

Anonymous said...

Nemron is not the only editor of the South Asian Journal of Mathematics who has published a "proof" of the Goldbach conjecture in the South Asian Journal of Mathematics:

http://www.sajm.com.nu/sajm2012_2_2_16gandhi.pdf

A Google search for "Ikorong Anouk Gilbert Nemron" yields several papers more or less identical to his FLT paper "proving" other famous results.

Is Nemron actually a member of the Centre de Calcul de Enseignement et de Recherche of the Université de Paris VI (Pierre et Marie Curie)?

Anonymous said...

The South Asian Journal of Mathematics seems to be full of weird papers, such as http://www.sajm.com.nu/sajm2012_2_2_11gueye.pdf. Aside from what must be translation issues (switching between "prime" and "first"), some things just seem inexplicable. For example, n^2 is used to denote squaring, but n^* is used for cubing.

Takis Konstantopoulos said...

Well, his address is ...@ccr.jussieu.fr. Replacing this by www.ccr.jussieu.fr brings us to web page of a department which looks like computing support division. In other words, he's probably a computing officer (centre du calcul, in french, probably means computing [support]). So, my guess is, he's a computer hacker with lots of free time and/or good copy/paste skills.

"A good mathematical joke is better, and better mathematics, than a dozen mediocre papers." - J. E. Littlewood [taken from the quotes page of UC Berkeley Prof. Emeritus Paul Chernoff]

In this case the joke and the (less than less of a) mediocre paper are identical.

Anonymous said...

See the note on http://people.cs.uchicago.edu/~razborov/.

Anonymous said...

See Wile's Proof of Fermat's Last Theorem at http://www.coolissdues.com/mathematics/Wile'sproofofFLT.html

Anonymous said...

If you find Andrew Wiles proof is difficult, Pl. read on the intenet(open access pdf)CMNSEM,Vol.2 ,No.3,March 2011(General proof),CMNSEM,Vol.1,No.6,September2010(correct and simple use of method of infinite desscent of Fermat, in Case.N=3)CMNSEM,Vol.Vol.1,No.3,April 2010(except trivial typos,wonderful proofs seem OK)Extremely short simple proof for n=7 in CMNSEM,VOl.1,No.9,December 2011,However, a mistake may be seen in n=5 case published in the same journal.

Jeffrey Shallit said...

Simple proofs for specific exponents have long been known and aren't of that much interest.

I had never heard of CMNSEM before. It is apparently the Canadian Journal on Computing in Mathematics, Natural Sciences, Engineering and Medicine. It does not appear to have very much of interest in it.

The journal lists no editorial board and the accompanying web pages are written in ungrammatical English. Not very impressive.

Anonymous said...

Thanks a lot for valuable information on open acesss journals and Fermat's last theorem.The Author,Ikrong Anouk Gilbert Nemrong has already proved Fermat's last theorem seperately-A Complete Simple Proof of the Fermat's last theorem,International Mathematical Porum,Vol.7,2012,np.20,953-971. The paer (wonderful one,if it is OK) in the Joiral of mathematical and computer science had been reviewed within ten days!

Anonymous said...

Ikorong Anouk Gilbert Nemron has already proved Dermat's last theorem seperately.(A Complete Simple Proof of Fermat's Last theorem,International mathematical Forum,Vol.7,2012,no.20,953-971),This is not Mathematics,I guess,but Logic,etc.. I don't understand.Another one.A Simple Proof and Short Proof of Fermat's last Theirem,Fayez Fok Al Adel,Advances in Applied Mathmatical Analysiss,Vol.3,No.1 (2008)7-15,I never seen any comment on this simple proof,Even though author asked to comment on this proof seperately.This year I did not see it on the internet,I don't know why. Journal is open or not , the correct proofs must be appreciated and recimmended by people like you since mathematically sound Andrew Wiles-Taylor proof is extremely difficult and lengthy. Fermat's marvelous proof(?) is also available noW. Author is a professor.Daniele De Pedis Anyway, your information is useful to Honest Researchers. Thank you.

Jeffrey Shallit said...

The Author,Ikrong Anouk Gilbert Nemrong has already proved Fermat's last theorem seperately

No, he hasn't.

Anonymous said...

It is, A proof of the Goldbach conjecture and the strong attachment to the Fermat's last conjecture by Ikrong....NEMRON ,the paper on the South Asian Journal of Mathematics, 2011,Vol.1,No.2,68-80 had been reviwed within ten daye. I am soory, it is not the journal of mathematical and computational science.Thanks to you , anyway, we know that all big problems in mathematics have solved!!.Thank you also for your cooment on the same person's proof of Fermat's last theorem.

Daniele De Pedis said...

An Anonymous (not me) has reported the notice about the pubblication of my demostration of Fermat's Last Theorem.
If you are interested in, you can found it on
http://arxiv.org/ftp/arxiv/papers/1105/1105.0669.pdf
Any comment/suggestion are welcome
daniele.depedis@roma1.infn.it

Anonymous said...

It is true that empty vessels make most noise.

Anonymous said...

Publishing of nonsense in the open access journals seem to be possible then and has been done as well.This acctually kill the moral of honest reserachers who do not want fame or anything.There are many valuable results in open access journals which we can study freely.This must be apprected while hackneying nonsense,

jamestmsn said...

See BealFermatPythagorasTriplets.htm

Robin Chapman said...

I'm sorry to come rather late to this discussion, but the "South Asian Journal of Mathematics" has just been drawn to my attention via another route, and a web search for that journal led here.

Over the last few years various vested interests have promoted the "author pays" model of publication under the weaselly phrase "open access" (or even "gold open access"). There have been warnings that the adoption of such a model would lead to a rash of poor papers being published in fly-by-night journals. What I have only now realised is that this is already happening.

As regards I. A. G. Nemron, looking at his abstracts for Concerning the Goldbach Conjecture and Fermat Last Assertion in Commmunications in Mathematics and Applications and A Curious Strong Resemblance between the Goldbach Conjecture and Fermat Last Assertion in Journal of informatics and Mathematical Sciences reveals them (the abstracts) to be virtually identical. Whether the papers are identical, I cannot comment, as both journals adhere to both the doctrines "author pays" and "readers pay".

paolo tassotti said...

The elementary "proof" posted on arxiv by Daniele De Pedis is flawed.

At a certain point he claims that gcd(A, B, C) = 1 implies that gcd(B+A, C-A)=1.

This is clearly false. A counterexample is:

A = 2
B = 13
C = 37

Anonymous said...

Thanks a lot to the genteman's comment on Daniell De pedis elementary proof.

Anonymous said...

I think no researcher will be interested in commenting on the so called elementary proofs of Fermat;s last theorem not given in refereed journals.It is utter waste of time.Many of these authors do not know Fermat riples do not satisfy Pythagoras' equation.This is, by no means a prof of Fermat's last theorem.Unfortunately, some of these proofs have been given by Professors.

Anonymous said...

Prof.Fayez Fok Al Adeh's proof of Fermat's last theorem is not simple at all to me,a university teacher, which has been published in the Journal of Advances in Applied Mathematucal Analysis. However,I am trying to understand it.

master said...

Answer to Paolo Tassotti.

Your counterexample is not valid, of course the A, B and C variables must fulfill the 's equation!
On the other hand, the property gcd(B+A, C-A)=1 is reported also in the P.Ribbemboin book- "Fermat's last theorem for amateur".
Clearly the statement must be interpreted as: "if there were three integers that satisfy the Fermat's equation then ..."

In any case, recently I have posted on http://arxiv.org/pdf/1105.0669.pdf a new version of my proposed "proof" much more simpler and general, any comment and/or suggestion are welcome.

Daniele De Pedis said...

My request message to the moderator.

On 12:21 PM, August 13, 2012 I have posted my answer to Paolo Tassotti concerning my "proof" of the Last Theorem. In that post,due to my inexperience about this blog, appear two errors:
1) The author of post is Master instead of my name "Daniele De Pedis"
2)on the first row is missing the name, that is:"...must fulfill the 's equation!" instead of "...must fulfill the 's equation!"

Please could you fix these two points ??

Thank for your help
Daniele De Pedis

Anonymous said...

By reading this Blog(very very yseful), I understand that CMNSEM(Canadian Journal of Computing in mathematics,Natural Science,Engineering and Msrdicine) does not contain the general proof of Fermat's last theorem. This is rather unfortunate.Simple and short analytical proof of Fermat's lasttheorem is there.This will certainly help to reduce the calculation of Prof.Daniele De Pedis(Wrong!) proof drastically.Would you please point out a simple proof of Fermat's last theorem for n=3 case that I( University firstyear student of a third world country) can understand.Thank you very much regarding your comment on CMNSEM as well.

Anonymous said...

Take it easy, whatever you have heard or read about CMNSEM.It has already published 'A simple and snort Analytical proof of Fermat's last theorem'.CMNSEM is a refereed journal.

Jeffrey Shallit said...

It has already published 'A simple and snort Analytical proof of Fermat's last theorem'

I rest my case.

Anonymous said...

I am going to killed.Long live CNMSEM!!

Anonymous said...

Thank you so much.Don't you like to comment on the validity of the proof in CMNSEM,Any way ,thank you so mych.Thanks to God ,you are a proffesor in Canada.

Unknown said...

Let me join this discussion since I'm also engaged in despicable business of proving FLT. Here is an address of the abstract of the offered proof. Just in case if it may interest somebody
http://www.fileden.com/files/2012/5/4/3300464/Abstract%20of%20short%20Proof%20PDF%281%29.pdf

R.A.D.Piyadasa said...

I am the euthor of A simple and short analytical proof of Fermat's last theorem in CNMSEM and some other as well.
Thanks to all.

R.A.D.P said...

I don't argue with the people. Howwever,proving Pythagorean triples do not satisdy the Fermat equation(General)eqyation is not the proof of Fermat's last theorem.
No one can nullify the papers I have published in CNMSEM.

Daniele De Pedis said...

Answer to Anonymous on 2:28 PM, August 13, 2012

If you have found any error in my proof posted on arXiv.org please report it to me, also by private email, if you wish, I will be grateful a lot!

In any case, on the first version of my paper: http://arxiv.org/vc/arxiv/papers/1105/1105.0669v1.pdf you can find an explicit proof for cases n=3 and n=5 based on my proposed technic.

R.A.D.P said...

What I did?
First, i heard and read that no simple prrof for Fermat's last theorem for n=3.At the same time ,i understood that correcting Euler's proof (n=3 case)is very difficult.
Secondly ,my aim was to give a simple proof for the general case.
Finally , I wanted to know how peiple look at Andrew Wiles Proof.
Taking these into account I did work on tme theorem for about three years.I think the proofe given in CMNSEM are sufficient at present,I thank you very much for the following,
(1) Anonymous can ask you queations
(2) Your commnet on CMNSEM is fare while others 'Killing' it.
(3) Above all you are a proffesor in Canada I thank you again.

jamestmsn said...

For proof of FLT see http://www.coolissues.com/mathematics/Fermat/fermat.htm
Wile's proof of FLT violates the Pythagorean Theorem. see
http://www.coolissues.com/mathematics/Wile'sproofofFLT.html

Anonymous said...

For short proof of FLT see http://www.coolissues.com/mathematics/BealFermatPythagorasTriplets.html

Anonymous said...

Fermat's last theorem has been the most difficult and the most famous theorem in mathemtics.I have read the proofs of some people.All I read that unpublished in a refereed journal are incorrect.It is nonsense to argue with the authors of these proofs to my mind, since I had experienced once .Proof developed in CMNSEM is OK and based on simple mathematics.Any one can challenge against the validity of the proof.

paolo said...

I don't want to be too much annoying in debunking De Pedis's "proof", probably just a waste of time.
However, he tries to construct a univariate polynomial from the original trivariate statement saying "for each choice of the two other variables".
It could be legal unless, some paragraphs below, he mixes up the FLT's trivial solution with this polynomial having a single integer root.
This is clearly false because of the "for each choice of the other two variables" statement.

In any case he never use the property of the exponent "p" of being prime, and doesn't split the problem in the classic two cases (p | abc of not).
He neither takes into account the divisibility property of the binomial coefficient.
All symptoms of an hopeless attempt.

Anonymous said...

I don't know Paolo mrans Paulo Rebenboim.I have a great respect to the book of him,Fermat's Last
Theorem for Anateurs.Thanks a lot for your comment.

Daniele De Pedis said...

Answer to Paolo Tassotti post.

I don't understand the objection on first part of your post. Please could you "waste a little of your time" to explain better?

About the second part, the answers at all your objections are reported (as said in footnote 2) in the Rimbenboin book.

If you have found any error in my proof posted on arXiv.org please report it to me in clear statments, also by private email, if you wish, I will be grateful a lot!
"All symptoms of an hopeless attempt" are not proof of fault !!

Best regards

Anonymous said...

'A Simple and Short Analytical Proof of Fermar's Last Theorem' in CMNSEM is actually simple and correct and it must be re-written so that a high-scool student can understand.

McPgr said...

I'm again asking to look at concise (1 page) description of 4 steps of offered proof of FLT. Any basic flaw will be seen from it immediately. Its URL
http://www.fileden.com/files/2012/5/4/3300464/Abstract%20of%20short%20Proof%20PDF%281%29.pdf

Robin Chapman said...

Regarding the South Asian Journal
of Mathematics, a number of mathematicians, including A. Razborov,
A. Abebe and N. Billor were
listed as editors by the journal
without their knowledge or consent. (Their names have now been removed).

Anonymous said...

U have received an e-mail from a man sayung that CMNSEM is not a legitmate journal.What one means by this?

Jeffrey Shallit said...

The extreme breadth of the journal's coverage; the small editorial board with tiny geographical coverage and unimpressive reputations; the fact that reviews are done in two weeks; the use of Microsoft Word as the text preparation software; -- all these are red flags that something is rather odd about this journal.

R.A.D.P said...

I have published all of my papers on Fermat's last theorem in CMNSEM. I actually did not know any bad thing about CMNSEM.
In n=5 (with one of my students) we have made a mistake.Apart from that any one can challenge the validity of the proofs.

Anonymous said...

As far as I know CNMSEM is better tha the journal 'Advaces in pure mathematics' since ut has not published noncence.

R.A.D.P said...

We have corrected the case n=5 and now we have two proofs of Fermat's last theorem (FLT)for n=5 using the Identity of Fermat equation, x+y-z.
A fox, i have no any suitable word to call this man, has sent an E-mail to the authorities of my University saying that CNMSEM is not legtmate. Would you please tell us the open access journal that you edit.We are looking for the second simple proof of FLT similar to n=7 case in CMNSEM with one of my colleagues.R.A.D.P

Anonymous said...

Even CNMSEM saya 2 weeks review, they take moure than one month.

Anonymous said...

It is not nice to make fun of the intelectual capacities of someone. And he is not a system engineer, because the math he presented is on a post-graduate level , even if it has mistakes.

Anonymous said...

It is not clear who has been aimed at by the saying of anonymous of October 28.If it is Ikorong Anouk Gilbert Nemron,many will be against you because his work on Fermat's last theorem is so hilarious.

Anonymous said...

I must indorm everyone who is interested in Fermat's last theorem that,mainly, the Dean of the university of Kelaniya has decided that CNMSEM is not a refereed journal.I know that the proof of FLT in CNMSEM is correct.However, anyones comment is appreciated.


Anonymous said...

It is the Dean of the science faculty, professor in mathematics,(I dont know what he knows) as far as I know that
wanted to nullify all the papers related to FLT publisshed in CMNSEM by a lecturer of the department of mathematics of the University of Kelaniya.This is nasty and disgusting practice of this man.Let us see what will happen to the journal and proofs of FLT for many exponents.

Anonymous said...

CMNSEM is a refereed journal.
I Can prove.

Anonymous said...

Fermat,s last theorem(FLT) is the most notorious,difficult and famous theorem.If someone make(in finding a simple proof) a mistake in proving it there are a lot to laugh at it.Do these people appreciate the good work of it?.No.This is the truth.

Anonymous said...

The so called experts look at the marvelous proofs in CNMSEM with closed eyes. I an sure , the other (are being done ar present by the )proofs by the same author will make FLT very easy for all.

Anonymous said...

Harvey Friedman grand conjecture says simple mathemtics can
prove Fermat's last theorem. Also ,Colin Mactarty (philosopher)has reached the same conclusion.
One has proved Fermat's last theorem for all exponents using elementary mathematics and published in CMNSEM.Anyone can challenge the world against the validity of the proofs on behalf of the author of the papers.

R.A.D.Piyadasa said...

I try my best to find (one is already OK)three simple proofs of Fermat's last theorem.
R.A.D.

McPgr said...

Look at
http://www.fileden.com/files/2012/5/4/3300464/Abstract%20of%20short%20Proof%20PDF%281%29.pdf

R.A.D.Piyadasa said...

To prove Fermat's last theorem one needs Fundamental theorem of Arithmetic and Remainder theorem (A special form) only.R.A.D.P.
Structure of Fermat triples in Mcpgr proof and proof in CMNSEM Vol.1,No.2,March 2011,pp57-63 are ninety percent coincide.One set in step.1 is wrong in Mcpgr ,therefore.I am reading the full proof however.

R.A.D.P. said...

It is utter waste of time. I don't understand Mcpgr proof.

Anonymous said...

Take a look at:
http://www.mymathforum.com/viewtopic.php?f=40&t=40857

R.A.D.Piyadasa said...

By now,I have read four proofs of Fermat's last theorem.Unfortunately, all are wrong.I have given up reading such proofs for sometime.
"A simple and short analytical proof of Fermat;s last theorem 'is available now.CMNSEM,Vol.2,No3. March 2011,p.57-63.
Using the fundamental theorem of Arithmetic the theorem can be proved justifying Harvey Friedman conjecture and Colin McLarty prediction.However, by no means this underestimate Andrew Wiles work,to my mind.
I thank you very much for giving me a very good chance to tell the above to the world.
R.A.D.P

Anonymous said...

Investigate one paper, and you find a network of publishers and authors working together, http://www.journalshub.com/all-journal.php, example: American Journal of Math .. http://www.journalshub.com/journal-detail.php?journals_id=127
then google for Diploma Mills, Vanity Press, and cross reference the references.

R.A.D.Piyadasa said...

Thank you very much for your information,Anonymous.R.A.D.P.

telfer cronos said...

I predicted "the death of the university" after being failed on a CELTA course in 2008.

A few weeks ago, I noticed that the rentacoder site was offering work for an assignment to be written. I e-mailed the lecturer to say that I did not want to make trouble for the person using rentacoder, but that this signalled to me the decline of civilisation as we know it.

I am very puzzled by blogs I have seen today on Fermat's Last Theorem.

There is Orwellian mention of an "open access journal". Does this mean that the journal is free to access on internet? I see now evidence that such a journal would be of poor quality.

50 years ago, we were told "publish or perish". We knew that 90% of the papers being published were rubbish.

Perhaps this is a blessing, as there is less to read. So it may be even more of a blessing if it turns out that at 99% of what is published today is rubbish.

telfer cronos said...

Reading a blog on Fermats's Last Theorem. I can't get from one line to the next of Wiles's paper.But these blogs have at least the advantage of being easy to read. Maybe Wiles could republish his work in a way that is accessible to someone with only high school maths.

Piyadasa Ranawaka said...

I will be very happy if Andrew Wiles publish
or republish his work in such a way that a High School Student can understand the proof.Then I can study something else.
R.A.D.Piyadasa

Jeffrey Shallit said...

I will be very happy if Andrew Wiles publish
or republish his work in such a way that a High School Student can understand the proof.


You're going to be waiting a long time.

Piyadasa Ranawaka said...

Thank you very much Prof Jeffrey.
I take your word.
Wish you a very happy New year as well.
R.A.D.Piyadasa

Piyadasa Ranawaka said...

Second elementary proof of Fermat's last theorem is OK.Only high school mathematics is used.I am going to publish it.
R.A.D.Piyadasa

Thảo Trần said...

Here is one of some simple proofs of Fermat's last theorem as follows:

1.

X^p + Y^p ?= Z^p (X,Y,Z are integers, p: any prime >2) (1)

2. Let‘s divide (1) by (Z-X)^p, we shall get: (X/Z-X)^p +( Y/Z-X)^p ?= (Z/Z-X)^p (2)

3. That means we shall have:

X’^p + Y’^p ?= Z’^p and Z’ = X’+1 , with X’ =(X/Z-X), Y’ =(Y/Z-X), Z’ =(Z/Z-X) (3)

4. From (3), we shall have these equivalent forms (4) and (5): Y’^p ?= pX’^(p-1) + …+pX’ +1 (4)
Y’^p ?= p(-Z’)^(p-1) + …+p(-Z’) +1 (5)

5. Similarly, let’s divide (1) by (Z-Y)^p, we shall get: (X/Z-Y)^p +(Y/Z-Y)^p ?= (Z/Z-Y)^p (6)

That means we shall have these equivalent forms (7), (8) and (9):

X”^p + Y”^p ?= Z”^p and Z” = Y”+1 ,with X” =(X/Z-Y), Y” =(Y/Z-Y), Z” =(Z/Z-Y) (7)

From (7), we shall have:

X”^p ?= pY’’^(p-1) + …+pY’’ +1 (8)
X”^p ?= p(-Z”)^(p-1) + …+p(-Z”) +1 (9)

Since p is a prime that is greater than 2, p is an odd number. Then, in (4), for any X’ we should have only one Y’ (that corresponds with X’) as a solution of (1), (3), (4), (5), if X’ could generate any solution of Fermat’s last theorem in (4).

By the equivalence between X’^p + Y’^p ?= Z’^p (3) and X”^p + Y”^p ?= Z”^p (7), we can deduce a result, that for any X” in (8), we should have only one Y” (that corresponds with X’’ ) as a solution of (1),(7),(8),(9), if X” could generate any solution of Fermat’s last theorem.

X” cannot generate any solution of Fermat’s last theorem, because we have illogical mathematical deductions, for examples, as follows:

i) In (8), (9), if an X”1 could generate any solution of Fermat’s last theorem, there had to be at least two values Y”1 and Y”2 or at most (p-1) values Y”1, Y”2,…, Y”(p-1),
that were solutions generated by X”, of Fermat’s last theorem. (Please note the even number (p-1) of pY”^(p-1) in (8)). But we already have a condition stated above, that for any X” we should have only one Y” (that corresponds with X”) as a solution of (1),(7),(8),(9), if X” could generate any solution of Fermat’s last theorem.
Fermat’s last theorem is simply proved!

ii) With X”^p + Y”^p ?= Z”^p, if an X”1 could generate any solution of Fermat’s last theorem, there had to be correspondingly one Y” and one Z” that were solutions generated by X”, of Fermat’s last theorem. But let’s look at (8) and (9), we must have Y” = -Z”. This is impossible by further logical reasoning such as, for example:
We should have : X”^p + Y”^p ?= Z”^p , then X”^p ?= 2Z”^p or (X”/Z”)^p ?= 2. The equal sign, in (X”/Z”)^p ?= 2, is impossible.
Fermat’s last theorem is simply again proved, with the connection to the concept of
(X”/Z”)^p ?= 2. Is it interesting?

Sincerely yours,


Pham Duc Sinh.

Jeffrey Shallit said...

Is it interesting?

No.

Thảo Trần said...

Thank you for letting me post the proof.

I suddenly thought of Fermat's last theorem at a night without sleep, while studying Quantum Physics and Maxwell equations years ago. And I believe and am rather sure that Fermat's last theorem was not just a hard-to-solve problem like many of us had thought of.

In fact, Fermat's last theorem is a base for setting up calculation methods for Quantum Physics and Wave equations if we merge the concept of continuity limit of real irrational numbers into rational numbers.

Please just correlate the notion of integers, rational numbers (the quantum is one, or some rational number!)to the basic concept of Quantum Physics (quantum-quanta).

And the concept of wave tranmission to the concept of continuity of real-irrational numbers!

If we apply the reasonings in the above proof of Fermat's last theorem to real-irrational numbers, we of course shall find out that the current concept of real-irrational numbers is still to be re-examined!

That is interesting, I think, because the concept of real-irrational numbers is basic for number theory, geometry, differential equations,trigonometry,...

Sinh

George said...

Sinh,

It appears to me as if your "proof" never uses the fact that X, Y, and Z are integers! So there is clearly a problem with it.

Posting it in ASCII makes it difficult to decipher. You also are missing some parenthesis, you write (X/Z-X) when you mean (X/(Z-X)). I am sorry to have wasted my time on it.

Thảo Trần said...

Hi George,

1.I do not know why you pose the question that I did not start with integers!

You can see that there are definition that X,Y,Z are integers, on the start of the proof! Then we have equivalent,to-be-solved equations with rational numbers.

Then is it OK to reason the proof in rational numbers, whatever they are different to integers!

We can also have reasonings for integers. But it is a little bit long to be explained. Then I avoid making it.

2. Thank you for pointing out that I did mistakes in writing
(Z/Z-X).It has to be (Z/(Z-X)). I am sorry.

I have bad eyesight and tend to abbreviate the formulas for convenience. I often make mistakes in typing!

But it does not change the thought line, does it?

Do you never make mistakes in writing mathematic formulas? I believe that people usually make.

Thảo Trần said...

Hi George,

Here is the typing correction.

One of some simple proofs of Fermat's last theorem as follows:

1.

X^p + Y^p ?= Z^p (X,Y,Z are integers, p: any prime >2) (1)

2. Let‘s divide (1) by (Z-X)^p, we shall get:
(X/(Z-X))^p +(Y/(Z-X))^p ?= (Z/(Z-X))^p (2)

3. That means we shall have:

X’^p + Y’^p ?= Z’^p and Z’ = X’+1 ,with X’ =X/(Z-X), Y’ =Y/(Z-X), Z’ = Z/(Z-X) (3)

4. From (3), we shall have these equivalent forms (4) and (5): Y’^p ?= pX’^(p-1) + …+pX’ +1 (4)
Y’^p ?= p(-Z’)^(p-1) + …+p(-Z’) +1 (5)

5. Similarly, let’s divide (1) by (Z-Y)^p, we shall get:
(X/(Z-Y))^p +(Y/(Z-Y))^p ?= (Z/(Z-Y))^p (6)

That means we shall have these equivalent forms (7), (8) and (9):

X”^p + Y”^p ?= Z”^p and Z” = Y”+1 ,with X” =X/(Z-Y), Y” =Y/(Z-Y), Z” = Z/(Z-Y) (7)

From (7), we shall have:

X”^p ?= pY’’^(p-1) + …+pY’’ +1 (8)
X”^p ?= p(-Z”)^(p-1) + …+p(-Z”) +1 (9)

Since p is a prime that is greater than 2, p is an odd number. Then, in (4), for any X’ we should have only one Y’ (that corresponds with X’) as a solution of (1), (3), (4), (5), if X’ could generate any solution of Fermat’s last theorem in (4).

By the equivalence between X’^p + Y’^p ?= Z’^p (3) and X”^p + Y”^p ?= Z”^p (7), we can deduce a result, that for any X” in (8), we should have only one Y” (that corresponds with X’’ ) as a solution of (1),(7),(8),(9), if X” could generate any solution of Fermat’s last theorem.

X” cannot generate any solution of Fermat’s last theorem, because we have illogical mathematical deductions, for examples, as follows:

i) In (8), (9), if an X”1 could generate any solution of Fermat’s last theorem, there had to be at least two values Y”1 and Y”2 or at most (p-1) values Y”1, Y”2,…, Y”(p-1),
that were solutions generated by X”, of Fermat’s last theorem. (Please note the even number (p-1) of pY”^(p-1) in (8)). But we already have a condition stated above, that for any X” we should have only one Y” (that corresponds with X”) as a solution of (1),(7),(8),(9), if X” could generate any solution of Fermat’s last theorem.
Fermat’s last theorem is simply proved!

ii) With X”^p + Y”^p ?= Z”^p, if an X”1 could generate any solution of Fermat’s last theorem, there had to be correspondingly one Y” and one Z” that were solutions generated by X”, of Fermat’s last theorem. But let’s look at (8) and (9), we must have Y” = -Z”. This is impossible by further logical reasoning such as, for example:
We should have : X”^p + Y”^p ?= Z”^p , then X”^p ?= 2Z”^p or (X”/Z”)^p ?= 2. The equal sign, in (X”/Z”)^p ?= 2, is impossible.
Fermat’s last theorem is simply again proved, with the connection to the concept of
(X”/Z”)^p ?= 2.

George said...

Sinh,
In your "proof", nowhere do you need to use the fact that X,Y and Z are integers. Therefore, your proof also shows that X^p + Y^p = Z^p has no solutions when p>2 is prime and X, Y and Z are arbitrary real numbers! This is certainly false, therefore, your "proof" must be incorrect.

Thảo Trần said...

George,

It is very interesting to discuss this. I wrote to Jeffrey Shallit that we can also apply this proof to real-irrational numbers, and find out abnormal new results for real-irrational number.

When the proof can be applied to whatever type of number, it is correct with that type of number! The main things to be checked are in the logical reasonings and the variables, too.

Please read:

ii) With X”^p + Y”^p ?= Z”^p, if an X”1 could generate any solution of Fermat’s last theorem, there had to be correspondingly one Y” and one Z” that were solutions generated by X”, of Fermat’s last theorem. But let’s look at (8) and (9), we must have Y” = -Z”. This is impossible by further logical reasoning such as, for example:
We should have : X”^p + Y”^p ?= Z”^p , then X”^p ?= 2Z”^p or (X”/Z”)^p ?= 2. The equal sign, in (X”/Z”)^p ?= 2, is impossible.

With your question, we can rewrite that:

With X" and Z" are rational numbers (they come from the definition that X,Y,Z are integers), the equal sign in (X”/Z”)^p ?= 2 is impossible.

(The problem (X”/Z”)^p ?= 2 has been one of the basic excercises to be proved in number theory and to be examined for the concept of real-irrational numbers).

I am happy and delighted that I can disscuss Fermat's last theorem with you.

WE WOULD HAVE A LOT TO DISCUSS IN NUMBER THEORY, GEOMETRY, DIFFERENTIAL AND INTEGRAL CALCULUS,..., DIFFERENTIAL EQUATIONS,..., ALGEBRA,...,TRIGONOMETRY,..., QUANTUM PHYSICS,...ETC
I CAN ASSURE YOU THAT!

(And I still avoid working with complex-imaginery numbers. I have different thoughts in definitions of complex-imaginery numbers!)

Thảo Trần said...

And this is another version of the proof:

Fermat's last theorem has an equivalent theorem (we accept the case X^4 +Y^4 ?= Z^4. It has been proved):

X^p+Y^p ?= Z^p (X,Y,Z are rational numbers, p : any prime>2). (1)

From (1)we can use the reasonings
of the above to prove that (1) is equivalent to the following theorem:

X’^p + Y’^p ?= Z’^p and Z’ = X’+1
X',Y',Z' are rational numbers.

That means:
Y’^p ?= pX’^(p-1) + …+pX’ +1 (3).

We need checking (2) and (3) only with Y'(integers) and X' (real rational numbers that cannot be reduced to integers), then we can see that the equal sign in (3) is impossible.

Thảo Trần said...

George,

If you are still in doubt that the current concepts of real irrational numbers are still to be re-examined, let me post an exercise of real numbers that I have read in a number textbook as follows:

Let a,b,c,d are rational numbers, e is real irrational number, prove that if a+ce= b+de, then we must have a=b and c=d.

Proof:
(a-b) ?= (d-c)e. Then we can easily see that a=b and c=d, otherwise e ?= (a-b)/(d-c). An irrational number cannot be equal to a rational number by definition.

We can see that, even with basic calculations such as addition and multiplication, irrational numbers behave not quite the same as rational numbers . This exercise reminds us the independence concept of vectors in linear algebra.

Then, the posted proof of Fermat's last theorem shows us that there is actually a new hidden difference between rational and irrational numbers.

If we want to deny a proof, we must point out the false and illogical reasoning or false, illogical variables used in the proof.
We cannot arbitrarily apply a proof or function used for rational numbers to irrational numbers, right?

Bert Brouwer said...

I wonder if there is proof that FLT can't be proven using goniometry. Otherwise that seems to me a much simpler way of approaching this problem.
Given any value of a, b and n>2, the angle between side a and b is always somewhere between 60 and 90 degrees, so at least this gives you an illustration of the problem, while you can also do some math with this using the cosine law.

Jeffrey Shallit said...

Very, very doubtful, since (a) such a technique is too puny to accomplish much and (b) doesn't distinguish adequately between the properties of integers and reals.

Bert Brouwer said...

...Which means that if some basic goniometry could be helpful in solving this problem, it would be 'mirabilem'.

Anyway, such a technique isn't too puny to demonstrate that FLT is at least plausible, which starts at having a look at the situation for n=1 and then I guess you can figure out the rest for yourself.

Alastair Bateman said...

Why may I ask are mathematicians so adamant that there is no relatively simple proof of FLT just because it does not yield easily to their abstract mathematics when the maths of Euclid is all that is needed.
We read that Pierre de Fermat had a 'EUREKA' moment and generated the equation z^n = y^n + x^n which now bears his name. NOT TRUE!! This was a creation by subsequent mathematicians as confirmed by the following statement of Andre Weil,: “Only on one ill-fated occasion did Fermat ever mention a curve of higher genus x^n + y^n = z^n ....... ".
Fermat's revelation was that the algorithm for splitting a power x^n was identical with that for splitting the square so that he ended up with the generic equation x^n = z^2 - y^2 which is valid for EVERY INTEGER FROM 1 TO INFINITY. It is as plain as the nose on ones face for any idiot to see that the only exponent that will make all 3 exponents the same is 2 so his statement and hence his theorem is proved. The above algorithm is none other than Euclid's Elements, book2, props 5&6, available to Fermat and the basis for my simpleton reconstruction of Fermat's proof which is posted on U-tube.
Why I ask has prop 8 of the same book been demoted to a rule, 'the quarters square rule' by mathematicians and then surreptitiously resurrected as Euclid's numbers when it suits them to explain Pythagorean triples. In case the mathematicians don't know it prop 8 is just 5&6 with a twist and actually more useful when it comes to explaining the powers.
What do the binomial polynomials centred around Pascal's triangle tell the mathematicians? Nothing? What do the factored polynomials alias the 'Binomial Numbers' tell the mathematicians? Again apparently nothing.
What they do tell one is that the basic property of the integers is 'unity' which is 'oneness' and of the powers it is 'squareness ' which is 'fourness' and that the progression from one level of exponentiation to the next is smooth and precise. And NO, it didn't require the modern 1993 proof to lay to rest the myth that somewhere out there in number space was a super massive 'Fermat Equation' waiting to jump out at us and cause a 'shockwave' of a tsunami' in the mathematical community as no mathematician worth his salt ever believed there was.

Jeffrey Shallit said...

You're absolutely right! How silly to think that mathematicians are the ones to consult when considering an equation! We should consult dentists and insurance salesman and crackpots instead!

Bert Brouwer said...

Consulting the Mathsiah would be my first choice. It is said that He has all the answers.

Alastair Bateman said...

May I take this opportunity to thank you for posting my previous comment.
Now let me think. The smallest pythagorean triple is 3^2 + 4^2 = 5^2 but hang on 4 is 2^2 so 4^2 is just (2^2)^2 which is umm.. 2^4 I think. Yes that's right. Now 2^4 is 2(2^3) which I believe is a rectangle of size 2 units by 8 units = 16 units which must be right since 4^2 equals 16. Now if I take 4 rectangles and form a square from them the square will be.. let's see... 8 +2 =10 ... that's right it will be 10^2 = 100 square units. Now the resulting internal square will be .... ehh .. 8 - 2 = 6 .... will be 6^2 = 36 square units. So 10^2 - 6^2 = 100 - 36 = 64. Now press the square root key on my Casio calculator and ... hey the answer's 8 which is a perfect square so 10^2 - 6^2 = 8^2.
Now doesn't the 'Difference of Squares' formula a^2 - b^2 =(a+b)(a-b) [EE,book2,props5&6] so that 10^2 - 6^2 = (10+6)(10-6) =(16)(4) = 64 =8^2 where the quantities in brackets look remarkably like the 4 rectangles I started with!
Now isn't forming 4 rectangles into a square just the 'Quarter Squares Rule' ... sorry I mean EE,book2,prop8 so that (8+2)^2 - (8-2)^2 = (4)(8)(2) =64 which of course is again just 10^2 - 6^2 = 8^2 which is just (4)5^2 - (4)3^2 = (4)4^2. The 'Quarter Squares Rule' should properly be called the 'Four Squares Rule' don't you think?
If however we evaluate the 'QSR' as ((8+2)/2)^2 - ((8-2)/2)^2 we get 5^2 - 3^2 which as we all know equals 4^2 so I am led to believe that EE,book2,props5&6 and EE,book2,prop8 are just two sides of the same coin. Nay, not believe, THEY ARE one and the same thing.
So 4^2 = 5^2 - 3^2 which is just the smallest pythagorean triple rearranged is identical with 2^4 = 5^2 - 3^2 which if my algebra is up to the task is just ... x^n = z^2 - y^2 ... and if my understanding of algebra is correct must apply to every integer from 1 to infinity. Hey, if I write x^n as (x^(n/2))^2 then I get ... (x^(n/2)^2 = z^2 - y^2 ... but isn't this just PYTHAGORUS'S EQUATION.
So how can I elevate ... x^n = z^2 - y^2 ... into ... x^n = z^n - y^n ... I know I'll ask an expert, a mathmagician ... " You can't Jimmy" ... "Why?" ... " Because the 'Modern Proof of 1993' say's so" ... "Funny I thought it was Fermat circa 1630 that said so" .. " Oh no they're adamant that he didn't have the least idea what he was talking about".
Well since the mathmagicians don't want to acknowledge the validity of ... x^n = z^2 - y^2 ... then I herewith claim priority for the algebraic form and hereby name it 'Bateman's Generic Algebraic Equation for the Triples of the Powers'. NOT BAD FOR A CRANK WOULDN'T YOU SAY!!
Q.E.D. Proof by demonstration.

Jeffrey Shallit said...

Sorry, but the equation x^n = z^2 - y^2 has nothing to do with Fermat's last theorem, and is of no interest (since every odd number or multiple of 4 is the difference of two squares).

Alastair Bateman said...

We beg to differ but as far as I am concerned Fermat said ”It is impossible to separate a cube into two cubes ......" which for me means that ... x^n = z^n - y^n ... because he found out that ... x^n = z^2 - y^2 ... prohibited it!! ' C'est la vie' and thank you for the comments.

Alastair Bateman said...

Sorry for the typo but my last comment should have said ....
We beg to differ but as far as I am concerned Fermat said ”It is impossible to separate a cube into two cubes ......" which for me means that ... x^n ≠ z^n - y^n ... because he found out that ... x^n = z^2 - y^2 ... prohibited it!! ' C'est la vie' and thank you for the comments.

Bert Brouwer said...

Alleged simple proofs of FLT are like death defying bugs that come crawling out of the cracks and think they've seen the light: no matter how many you kill, they just keep on coming.

McPgr said...

It can be proved that a=nuwv+nw^n; b=nuwv+v^n; c=nuwv+w^n+v^n to satisfy equation a^n+b^n=c^n. When n=2 it becomes an identity (2wv+2w^2)^2+(2wv+v^2)^2=(2wv=2w^2+v^2)^2 (with u=1). For powers >2 it becomes a polynomial equation that maybe can proved having no integral roots by experienced mathematician. I proved it maybe not the best way.

Alastair Bateman said...

Welcome to 'ASK A MATHEMATICIAN', not a butcher, a baker or candlestick maker but a mathematician.
Assume an all integer solution of a^n + b^ n = c^n exists and a,b,c are coprime and a > b.
Now (a^n)^2 - (b^n)^2 = (a^n + b^n)( a^n - b^n) : FACT.
Hence (a^n)^2 - (b^n)^2 = (c^n)( a^n - b^n).
By the distributive law of multiplication (a^n) (a^n) - (b^n) (b^n) = (c^n)( a^n) - (c^n)( b^n).
BUT c^n cannot equal both a^n & b^n at the same time hence 'REDUCTIO AD ABSURDUM'.
QUESTION: Where's the 'school boy error' or isn't there one?
PS: Have you named your website 'RECURSIVITY' for no particular reason or some deep mathematical reason?

McPgr said...

It can be shown that to be integrals in a^n+b^n=c^n it's required a=nuwv+nw^n; b=nuwv+v^n; c=nuwv+nw^n+v^n. When n=2 we obtain identity (2wv+2w^2)^2+(2wv+v^2)^2=
=(2wv+2w^2+v^2)^2 (with u=1). When n>2 it becomes a polynomial equation that I believe can be proved not having integral roots by proficient mathematician . I maybe proved it not in the most elegant way

Thảo Trần said...

Dear George, Jeffrey,

I wonder why when you are just in doubts of some simple proofs, you can say that such proofs are or will be proven wrong. We, of course, are often in doubts of many things, not only mathematics, and such doubts are necessary!

Moreover, if a technique is puny, it is right or wrong, not by being puny or not being puny. My attempted simple proof of Fermat's last theorem has been presented to be analyzed, and I should be very glad if you give me more analyses to the proof by pointing the wrong reasonings in the theorem.

Otherwise, we will always make a haste remark to any proof of any theorem that such proof is proven wrong just by saying that the proof is a)puny and b) doubtful.

Such haste remarks and conclusions are, of course, sometimes right and sometimes wrong, but they are not the way mathematicians apply in their work!
is it essential in mathematics?

Thảo Trần said...

Dear George, Jeffrey,

I wonder, why when you are in doubt of some proof, you think that such proof may be wrongly proven by just saying that it is a) puny and b) doubtful.
We, of course, are often in doubts of many things in life and it is necessary.

My attempted simple proof have been presented to be analyzed and I should be very glad if you would give it more analyses.

Please give me more review to the reasonings of the proof.
1+2 ?=3 is puny, but is it a essential part of mathematics?
Thank you very much.

Jeffrey Shallit said...

Please give me more review to the reasonings of the proof.

No, thanks. I have a limited amount of time to spend on things for which the prospect of success is so tiny. There are many, many amateurs who think they have proved Fermat's last theorem. So far, every amateur has failed. With such puny methods, the chances you have succeeded are virtually nil.

Alastair Bateman said...

I would have loved a reply to my PS simply because there is a simple numerical recursive algorithm for the differences of adjacent numbers raised to the same power starting at a^0 which if fed back into the algorithm gives the differences between adjacent numbers raised to the next higher power and so I was wondering whether this would have any implications for FLT for the mathematicians.
So the challenge for anyone wishing to take it on is to find the algorithm starting with nothing more than a column of zero's. By applying some simple algebra to the results it is possible to derive the polynomials for the 'Binomial Numbers'... see 'Wolfram MathWorld'... which could fit the bill for the polynomials that result from the identities given by McPgr.
I will if no one succeeds supply the algorithm.

Bert Brouwer said...

I guess there's only one way to silence the debate about simple proofs of FLT ones and for all: that is proving that for some principle reason it can't be done the easy way, let's say by proving that you can't make something like a distuingishing "cosine law for triplets" that could then be compared with FLT.

Thảo Trần said...

Dear George, Jeffrey,

Perhaps we should be reminded that in the time that Fermat was living, the notion and concept of irrational numbers did not exist or were very primitive.

Mathematicians then built up irrational numbers and still now disregard the eery behaviour of irrational in the problem such as a+be ?= c+de (a,b,c,d: rational,e: irrational) and then treat calculus of irrational numbers in addition, subtraction, multiplication and division as the same as to calculus of rational numbers.

I know that almost all mathematicians (and very much possibly including me) have failed in the attempts of proving Fermat's last theorem. But I should be very glad when someone would point out the wrong reasonings in the proof. Otherwise, we would just again reject and deny any proof by just thinking that it is puny and doubtful.

Wiles proof is related with elliptic curves. We can see that the equation in my proof has a form:
Y'^p ?= pX'(p-1) +...+1. Is it related with elliptic curves somehow?

Alastair Bateman said...

Jeffrey Shallit said....
"There are many, many amateurs who think they have proved Fermat's last theorem. So far, every amateur has failed. With such puny methods, the chances you have succeeded are virtually nil. ....."

That is all except mine of course since my proof is none other than PYTHAGORUS'S EQUATION and at the end of the day all the modern proof has to say is that Pythagorus's theorem reigns supreme but we mere mortals knew that all the time!!!

In response to Bert Brouwer's ongoing negative and senseless remarks I would suggest that he gets his behind out of his chair and prove his own banal offering but he should understand that his resulting drivel won't baffle, confuse or put anyone off their self established truths!!

Gerry said...

Alastair, have you noticed that nowhere in your "proof" do you use the hypothesis, n > 2? That means you have succeeded in proving that there are no relatively prime integers such that a + b = c, a truly remarkable result.

Bert Brouwer said...

Personally I feel perfectly happy to sit back and relax and watch this wild goose chase for many decades to come. But if Mr. Shallit himself wants to prove his own 'theorem' that some puny technique won't do the trick, because it doesn't distinguish adeqautely between the properties of integers and reals, then I would of course be glad to know.

IThinkWithMy Liver said...

Motherf***** of god... I'm sorry, am I not allowed to curse on your blog Dr Shallit. I blew a gasket reading whatshisname's elementary "proof" of FLT.

This idiot reminds me of an elderly Indian gentleman I know down the block who pretends he is a great wise physics-poet sage. The ironic thing is, he actually had earned some degree in physics, long ago, 50 years ago, enough to get a lifelong job in applying physics to the medical field: developing CAT scans & PET scans.

But, I can tell, he never had beyond calculus 50 years ago, of which he remembers nothing.

And his poetry sucks, too.

Anyway, I've gotten so jaded & now fearful of ALL peer-reviewed journals, fearing NONE of them seriously peer review works, that I would not know to which ones to submit a piece of math (which I don't have at present anyway).

In which journal did Wiles publish his proof of the Taniyama-Shimura Theorem? Surely THAT journal has to be reputable, no?

IThinkWithMy Liver said...

My question to amateurs who think they have proved all the big name theorems (by elementary means) or outstanding big name conjectures that are constantly mentioned throughout pop media, without FIRST going through the rigors of proving much LESS glamorous much LESS ambitious theorems along the way?

There are HUNDREDS of unsolved "lesser" conjectures in math, needing & deserving to be solved.

What makes you think that math does NOT require the long years of practice & trial & error & building up & learning from what others have done, doing the tedious boring exercises?

Why would you think math is the exception? Why would you not think that about playing sports or mastering a musical instrument or becoming a five-star general in the army after your first day in basic training?

Sigh.

IThinkWithMy Liver said...

To Bert Brouwer (I assume & hope no relationship to the famous Luitzen Brouwer who proved Brouwer's Fixed Point Theorem):
guess who will be first to find an elementary proof of FLT?

Andrew Wiles: the one who first proved FLT the long slow hard highly advanced technical way. If ANYONE would know how to find an elementary proof of FLT, it will be Andrew Wiles & Gerhard Frey & Richard Taylor.

Bert Brouwer said...

IThinkWithMy Liver can also sit back and relax, because I'm indeed not related to Luitzen Brouwer.
I notice that he has already answered his own question he asked me:
Guess who will be first to find an elementary proof of FLT?
I will take his answer on faith, so I guess the only thing left for me to do is to say "Amen" to that... although (since it is a believe without proof) one can never know for sure of course. Who knows, maybe one day a martial arts instructor with a good spatial visualization ability and some elementary knowlegde of math is up to the task as well.

Alastair Bateman said...

Thank you for your comment Gerry and for the slap on the back of the head which I needed since 'Reductio Ad Absurdum' is actually 'Proof Ad Absurdum' because the difference equations either side of the equality do not require the numbers to be the same i.e. 900 - 800 = 600 - 500 is valid. So my insisting that the difference of two squares should be the difference of the same two squares is rubbish and it is valid for it to be equal to the difference of two rectangles which have a common side.
However the foregoing has no bearing on the validity of the equation x^n = z^2 - y^2 ... which is a proof of FLT as far as I am concerned.

Alastair Bateman said...

Here as promised is the simple numerical recursive algorithm for the differences of the powers starting with nothing but a column of zeros which result from (z^0 -y^0) =(1-1) =0 which we then feed into the following algorithm. The resulting answers are feed back into the algorithm after the exponent of the first term has been increased by 1.
For (z^1 -y^1/(z-y) : 0^0 +1x0 =1: 1^0 +2x0 =1: 2^0 +3x0 =1: 3^0 +4x0 =1: 4^0 +5x0 =1:
For (z^2 -y^2)/(z-y) : 0^1 +1x1 =1: 1^1 +2x1 =3: 2^1 +3x1 =5: 3^1 +4x1 =7: 4^1 +5x1 =9:
For (z^3 -y^3)/(z-y) : 0^2 +1x1 =1: 1^2 +2x3 =7: 2^2 +3x5 =19: 3^2 +4x7 =37: 4^2 +5x9 =61:
For (z^4 -y^4)/(z-y) : 0^3 +1x1 =1: 1^3 +2x7 =15: 2^3 +3x19 =65: 3^3 +4x37 =175: 4^3 +5x61 =369:
So what we have produced are the first differences of the finite difference tables and it is plain for ANYONE to see that these can be simply extended to apply to the infinity of powers applied to the infinity of integers. From the cubic onwards the differences are divergent which after feedback become more and more and more divergent. Now (z^n -y^n) = d1+d2+d3+... dm; that is the sum of the differences between z^n & y^n so why would anybody expect d1+d2+d3+... dm, the partial sum of a divergent series to equal x^n. Apparently the 'mathmagicians' did when they did their computer searches upto an exponent size of 4 million.
Incidentally, the factored polynomial equations which are the binomial numbers can be derived directly from the arithmetic which exhibits the duality to be expected from interchange of the x's & y's i.e. 3^3 +4x37 =175 = 4^3 +3x37. I'll leave the algebra to you.
Also from the 'DoS' equation we have the two identities as solutions to 'Fermat's' equation [1] {(a^2)^n -(b^2)^n}/(a^n-b^n) =(a^n+b^n) & [2] {(a^2)^n -(b^2)^n}/(a^n+b^n) =(a^n-b^n) neither of which look to be likely candidates for c^n do they?
True , the foregoing is only factual observation and not analytic proof but it does give a lay person like myself an understandable insight into what is going on, which the modern proof doesn't and never could, plus the knowledge that contrary to the denial and attempted ridicule by the disciples of 'modern abstract mathematics', the tools and knowledge did exist for a person of Fermat's ability to prove his now famous statement.
Also I ask, "Why did it take the mathematicians so long to prove such a simple and trivial statement in light of the simple foregoing observations and loads, loads more besides?"

Jeffrey Shallit said...

Alastair:

I have no interest in your incoherent ravings. Post them elsewhere.

Piyadasa Ranawaka said...

Who is the idiot has been meant by Thinkwithmyliver?Wonderful rascal having all knowledge knowing evetyhing.

Piyadasa Ranawaka said...

Hello,Ithinkwithmyliver,I want to know who is the idiot you mean.I wonder weather you have a brain since you think with liver.

Piyadasa Ranawaka said...

I take this opportunity to thank you for your comment on my general proof of Fermat's theorem.I got read the main points in the CMNSEM paper by an expert{prof. In Number Theory).Proof is OK and elementary.
Thank you again and may I kindly request you not to response to rascals.

Thảo Trần said...

Although this is again puny, but I have not found the fault in this proof. Please help me find such.

X^p +Y^p ?= Z^p (1)

(X+Y-Y)^p+ Y^p ?= Z^p (2)
X^p +(Y+X-X)^p ?= Z^p (3)

or we shall have:

(X+Y)^p -Z^p-p(X+Y)^(p-1)Y+...+
P(X+Y)Y^(p-1) ?=0 (4)

(X+Y)^p -Z^p-p(X+Y)^(p-1)X+...+
P(X+Y)X^(p-1) ?=0 (5)

Let's put (X+Y)=K, we shall have:
K^p -Z^p-pK^(p-1).Y+...+
pKY^(p-1) ?=0 (6)

K^p -Z^p-pK^(p-1)X+...+
pKX^(p-1) ?=0 (7)

Both (6) and (7) have the same form as:
K^p -Z^p-pK^(p-1)U+...+
pKU^(p-1) ?=0 (8).

Then if (6) had a solution Y=U,
(7) would too have a solution X=U =Y.

And (1) would have a corresponding solution: U^p+U^P ?=Z^p.

This is impossible for (1) with integers such as X=U=Y, Z.

McPgr said...

To Thao Tran
It looks like you're manipulating with the same equation. Here's example for n=3 (presented in standard form)
(X+Y)^3-3(X+Y)^2*X+3(X+Y)*X^2-Z^3=0
(X+Y)^3-3(X+Y)^2*Y+3(X+Y)*Y^2-Z^3=0
After subtraction we obtain
3(X+Y)^2(X-Y)=3(X+Y)(X^2-Y^2)

Thảo Trần said...

Dear McPgr,

How can you be sure that we have
(X+Y)^3-3(X+Y)^2*X+3(X+Y)*X^2-Z^3=0
(X+Y)^3-3(X+Y)^2*Y+3(X+Y)*Y^2-Z^3=0 ?
We, of course , always have
(X+Y)^3-3(X+Y)^2*X+3(X+Y)*X^2-Z^3= C
(X+Y)^3-3(X+Y)^2*Y+3(X+Y)*Y^2-Z^3=C.

McPgr said...

To Thao Tran
Subtracting left hand parts of your equations one from another you obtain zero. They are the same. There's just manipulating with characters.