Fermat's Last Theorem Proof in WSEAS

[Hurkyl]

To be fair, that doesn't necessarily imply his proof is incorrect -- the other possibility is that arithmetic/geometry are logically inconsistent.

Either way, it cannot be counted as a proof of FLT.

 

[cogito²]

Probably because he cannot for legal reasons redistribute now the journal has it.
Not that anyone here of sufficiently high standing in the math community is going to bother looking at it. A perhaps sad state of affairs but as it's a proof by picture by the sound of it I doubt it is at all rigorous, and probably badly written by maths standards - we have a notoriously short attention span for such things - after all if it's so easy why is the proof so disguised sort of attitude. See sci.math responses to james harris

I figured this much. I only said it in an attempt to get him to detail the proof a little more (and apparently it worked).

 

[jcfdillon]

I'm not sure I interpret everything correctly in my own method. But yes if x, y are held constant, the method should work because there is divergence found immediately in the "z" value when exponent n is allowed to vary over the positive reals. The use of positive real range for the exponent, in my approach, was just a way of exploring how z varies as a dependent variable, with x, y both constants as any given positive integers, or perhaps as any given positive real values, and with exponent n allowed to vary as an independent variable. I found that the z value varies inversely to n, but also found a simple method of illustrating these relationships geometrically in 2D, using a Pythagorean-styled diagram. Therefore, if the diagram is drawn and interpreted as stipulated, then it may represent a simple proof method in 2D geometry. This is not a small claim of course... (cont'd)

 

[jcfdillon]

So I understand that most mathematicians will obey statistical probability and ignore my work, and also will have extreme hostility toward it. In the above critique one person wrote an expression using the number 1 as the value for x, which I had thought was usually thought to be a "trivial" solution, whereas most people working on FLT concern themselves with "nontrivial" solutions and would not even consider the use of x = 1 in the given equation of FLT.

I had thought that most likely, the testing of real values as constants for (nontrivial) x, y will lead to the same contradiction found in my paper. However, I may be overreaching.. My paper did set x, y as constant integer values, as the first step in the stipulations of my proof method. I am not sure I can properly make all the claims I have mentioned on this website and my interpretations may be flawed. So if that is the case I apologize.

I was hoping some people might want to take my approach and run with it, test it out, and see if they can validate it. However, if people pop in, say here's the fallacy and use "trivial" solution values in combination with attacking my own overstatements, there's no way to make any progress.

The published paper is available but I am sorry it is not readily accessible to everyone. I think it might draw some critiques from actual readers of the paper but so far no one has presented me with any actual written critiques in any organized fashion.

If people here want to test it out on a blackboard and see where the method leads please feel free. I think if anyone draws these diagrams as I have described and then tests the behavior of the given and derived equations, the same divergence and dichotomy (contradiction) can be readily seen.

The general approach can be seen if you look at http://www.geocities.com/jcfdillon/crx.doc Then imagine that as diagrams increase in size with constants x,y and increasing real exponent n, for all resulting true FLT-form equations, ...(cont'd)

 

[matt grime]

There are seemingly non-trivial solutions in real x,y,z that your paper says can't exist, and in fact x=1 is not a trivial solution in any sense.

Your method has been shown to be wrong since it apparently implies, for instance that there is no cube root of 16 in the real numbers, which is obviously nonsense.

So not only is there a stastical knee-jerk reaction to your work, but said reaction seemingly turns out to be justified.

You may claim that x and y are integers (and z) but if you don't actually use any property of them being integer then that supposition is unnecessary.

 

[jcfdillon]

.. with averaged diagrams as shown, and with these diagrams overlapped with geometric equivalence (as with transparencies), using common origin 0, you can show that there will be two equation/curves requiring simultaneous solution:

z = (x^n + y^n)^(1/n)

z = (x^a + y^a)^(1/2)

such that a < 2 < n.

These curves can then be graphed for any specific given x, y constant values, and with n and z varying inversely to each other.

In the second equation, we find the "constant" 2 appearing in the exponent 1/2; also we have the exponent a, which is some specific positive real value representing the exponent in the system when we consider z^2 for higher exponent n. In other words when the exponent is allowed to increase beyond 2 in FLT, we find by geometric construction and interpretation that the lesser exponent a appears in the system as a result of the exponent ranging smoothly from 0 to 2 to higher exponent n. In the geometric construction with constants x, y we then have a situation in which the dependent variable z is forced to (but cannot) provide simultaneous solution to the given and derived equations.

 

[jcfdillon]

One interesting fact that I discovered, and which led me to think along the lines of using averages to complete the proof, is that there cannot be any solutions for the Fermat equation when the exponent is an integer 2 or greater, and with x = y.

If x = y in the given equation of FLT, then

2(x^n) = z^n

[2^(1/n)]x = z

2^(1/n) = z/x

But for any solution to FLT with all integers, z/x must be rational, whereas, is it not true that for any n > 1, the value

2^(1/n)

is irrational?

 

[jcfdillon]

I certainly didnt discover this fact first, but discovered it for myself, i should say..!

 

[shmoe]

So I understand that most mathematicians will obey statistical probability and ignore my work, and also will have extreme hostility toward it.

I've read parts of your multiple posts. When I see things like "How can z exist as both square root of z^2 and nth root of z^n? Answer: It cannot." I tend to stop reading, and I suspect you won't find many mathematicians who will take you seriously with statements like this.

 

[matt grime]

Your discorver two posts back that you don't claim is original? Well, some of us might have pointed out that it was flippin' obvious otherwise sqrt(2) is rational (integer even). If you didn't sport even that, then as shmoe says, we ain't going to bother taking you seriously.

 

[jcfdillon]

There are seemingly non-trivial solutions in real x,y,z that your paper says can't exist, and in fact x=1 is not a trivial solution in any sense.

I think solutions using 1 in certain cases of any problem considering "infinite" or open-ended ranges, will be considered trivial solutions. The following definition of "trivial" is quoted from MathWorld:

Trivial


Related to or being the mathematically most simple case. More generally, the word "trivial" is used to describe any result which requires little or no effort to derive or prove. The word originates from the Latin trivium, which was the lower division of the seven liberal arts in medieval universities (cf. quadrivium).

According to the Nobel Prize-winning physicist Richard Feynman (Feynman 1997), mathematicians designate any theorem as "trivial" once a proof has been obtained--no matter how difficult the theorem was to prove in the first place. There are therefore exactly two types of true mathematical propositions: trivial ones, and those which have not yet been proven.

**********
Your method has been shown to be wrong since it apparently implies, for instance that there is no cube root of 16 in the real numbers, which is obviously nonsense.

I did not say there is no cube root of 16 in the real numbers. But why not test specific real numbers using my method, such as x = SQRT(2) and y = pi, (both held as constants, estimated to some specific degree of accuracy) and allow the exponent n to range through the positive reals in the given equation of FLT. Then z must vary inversely, decreasing as the exponent n increases, and the same dichotomy arises as detailed above.

******************

So not only is there a stastical knee-jerk reaction to your work, but said reaction seemingly turns out to be justified.

***********

I am just saying I don't blame people for not wanting to learn about my simple paper, when they know that so many FLT proof attempts have failed, and the one accepted proof is fiendishly complex. So my paper is akin to blasphemy.

***********


You may claim that x and y are integers (and z) but if you don't actually use any property of them being integer then that supposition is unnecessary.

If a dichotomous or divergent phenomenon is proven and shown for the Fermat equation, using constants x, y, then indeed it does not matter whether x, y are integers or positive real numbers of any kind, as long as x, y are held constant.

The proof's requirement for integer values to be considered and used, is simply the way the problem is stated and how it was historically defined by Fermat. However if the same dichotomy causing failure of solutions in integers for higher exponents, can be shown to exist using x, y as positive reals, then there is no need to specify or require that x, y, n, z must be integers simultaneously, in the completed proof. (Prove first for integers, then test the same method for x, y as some constant reals). This makes my proof unusual because via complete 2D geometric generalization we find the same dichotomous or chaotic behavior in the system using x, y as constants whether integers or not (but they must be held constant, by my proof method).

If some specific z value is found, solving FLT for some given positive reals x, y, then we still have the problem associated with the derived exponent a which is associated with an inner-nested diagram. Then one might say that the exponent a is both independent and dependent in the system; because exponent "a" is a primordial component of the exponent range from 0 to 2 to n, and a < 2 < n, and in the geometric construction, this primordial exponent a causes chaotic behavior in the system because z cannot simultaneously satisfy the given and derived equations. (The derived equation is from the geometric construction, which is generalized -- fully generalized -- and thus accurately represents all true FLT-form equations.)

 

[jcfdillon]

I've read parts of your multiple posts. When I see things like "How can z exist as both square root of z^2 and nth root of z^n? Answer: It cannot." I tend to stop reading, and I suspect you won't find many mathematicians who will take you seriously with statements like this.

This is hilarious. You act as though I don't know that a number can be square root of its square and also nth root of its nth power. The problem is not with individual terms like z^n, but with its existence in the given equation of FLT, which is more complex.

The given equation of FLT is:

x^n + y^n = z^n

so

z = (x^n + y^n)^(1/n)

Now z is the nth root of z^n.

z is also square root of z^2.

The problem arises in the fact that, in my proof method, z and n are inversely related, due to my stipulation of holding x, y constants.

This is the background of what I said. If you want to ignore stipulations in a proof method, you are not reading fairly at all.

 

[matt grime]

But there are infinitely (uncountably) many positive real solutions to the equation

x^n+y^n=z^n

for all n in N.

So your proof which allegedly shows these don't exist, is wrong. That is the reason why no one appears to be taking it seriously your proof can be used to show that something is false when it is actually true.

I don't understand what on Earth your getting at with claiming a counter example with x=1 is trivial, and therefore not something to be considered. It is a counter example to a claim you made. It is *trivial* in the sense that it easy to show, however x=1 was not picked for any special reason other than it was a simple small example. (n=1 is trivial in the sense of FLT.)

 

[jcfdillon]

Your discorver two posts back that you don't claim is original? Well, some of us might have pointed out that it was flippin' obvious otherwise sqrt(2) is rational (integer even). If you didn't sport even that, then as shmoe says, we ain't going to bother taking you seriously.

I don't have a math degree, it was interesting to me that this relationship was there when x = y--, and it seemed relevant to my proof method when I noticed it in '96-- that was prior to going back to a diagram found in 1980 and simply averaging the thing! A simple step, but it had apparently never been done before, and best of all it led to a fully geometrically generalized approach for illustrating, diagramming and analyzing FLT.

How the heck did my paper get listed #1 in a journal headquartered in Greece. I still find it hard to believe, but the strength of the method is such that it can do all this even with a bunch of typos and inexpert preparation of diagrams and graphs on my part.

 

[matt grime]

I don't have a math degree,

No, I don't think that comes as a surprise.

Do you agree that your proof states that there are no real solutions to

z^3=2^3+2^3?

I just want to get this straight, because that's the conclusion some people have drawn.

 

[jcfdillon]

But there are infinitely (uncountably) many positive real solutions to the equation

x^n+y^n=z^n

for all n in N.

So your proof which allegedly shows these don't exist, is wrong. That is the reason why no one appears to be taking it seriously your proof can be used to show that something is false when it is actually true.

I don't understand what on Earth your getting at with claiming a counter example with x=1 is trivial, and therefore not something to be considered. It is a counter example to a claim you made. It is *trivial* in the sense that it easy to show, however x=1 was not picked for any special reason other than it was a simple small example. (n=1 is trivial in the sense of FLT.)

If there are so many of these equations out there with solutions why not provide one, using some small numbers. I suggested sqrt(2) = x, and pi = 7. then, if you find a value for z with n > 2,

z = [sqrt(2)^n + pi^n]^(1/n)


For a simple solution we can find this value with n = 7:

z = (11.3137085 + 3020.293228)^(1/7)

z = 3.143271116

this is a little bit more than the original constant value of y = pi


(cont'd)

 

[shmoe]

This is hilarious. You act as though I don't know that a number can be square root of its square and also nth root of its nth power.

I'm only going by what you wrote.

z = (x^n + y^n)^(1/n)

Now z is the nth root of z^n.

z is also square root of z^2.

The problem arises in the fact that, in my proof method, z and n are inversely related, due to my stipulation of holding x, y constants.

I did read this and there is no condraction here. x and y are fixed, z is now considered a function of n (or vice versa), big deal.

 

[jcfdillon]

oops.. hasty typing.

 

[jcfdillon]

If there are so many of these equations out there with solutions why not provide one, using some small numbers. I suggested sqrt(2) = x, and pi = y. then, if you find a value for z with n > 2,

z = [sqrt(2)^n + pi^n]^(1/n)


For a simple solution we can find this value with n = 7:

z = (11.3137085 + 3020.293228)^(1/7)

z = 3.143271116

this is a little bit more than the original constant value of y = pi


(cont'd)

 

[mathwonk]

helloooo? where is this going? I suspect what we have here is another casualty of "calculator math", (and a failure to communicate).

by the way i also have an elementary proof of riemann's hypothesis, using only matchsticks, but there was not room in this "quick reply" box to hold it.

 

[jcfdillon]

anyway... let's see here...

suppose we have z = 3.143271116, as calculated.

Then in my proof method


z = (x^7 + y^7)^(1/7) (a real number, and this seems acceptable, at first..)

however also

z = (x^a + y^a)^(1/2)

with

a < 2 < n

And z cannot simultaneously provide solution for these two equations:

z = (x^7 + y^7)^(1/7)

z = (x^a + y^a)^(1/2)

because exponent "a" is a primordial component of exponent "n." (This value "a" can be calculated, is found to be a positive real, but the graphing of these equations and curves simultaneously shows the dichotomy:

the only common solution point of these curve/equations is at exponent 2 in the system, which is the excluded maximum of the system due to the fact that z and n are inversely related in the system.

 

[matt grime]

Erm. What the heck are you getting at? Please answer my question.

 

[jcfdillon]

In other words, finding real "z" seems innocuous at first, but this derived value z, when n > 2, must also fit the equation found via geometric analysis in the averaged diagram system, which is the second equation of my paper:

z = (x^a + y^a)^(1/2)

Via geometric equivalence, which is how we can derive and estimate "a" in the system, z is forced to fit these two equations simultaneously due to the stipulation of the proof method, that we hold x, y as constants.

Therefore, real or integer values show the same dichotomy and contradiction in the method, which again is extrapolatable and fully generalizable (via the averaged Pythagorean-styled diagram system) to all positive reals x, y, n, z.

One may stipulate that we consider only the natural numbers, but this proof actually goes beyond that. I have a section of my proof where via graphing it is shown that this method can be extended (perhaps) throughout the negative reals as well, though this needs work. hey don't we all

 

[mathwonk]

is there a "mercy rule" here like in softball?

 

[jcfdillon]

ok anyway the inclusion of positive reals seems problematic as people wrote above, and i agree it is weird, why can't we just have that real number there, and there's your solution, as in the very simplest case

3^3 + 4^3 = z^3

then

z = 4.497941445 (approx)

and there's your solution!

However, if my method works for integers (as it does seem to) there is still no reason why a real number should be an acceptable solution here, because the proof method, as mentioned, doesn't even really focus on what an integer is, or what the requirements are, specifically for an integer solution as compared to this real solution, which looks acceptable.

The problem again is that the real number z estimated above, must again exist as simultaneous solution within the diagram system I have developed, with the stipulation that x, y remain as constants (here they are constants 3, 4 respectively).

(The diagram sizes increase directly with increasing n, which is legal because we stipulate that the geometrically equivalent square area diagrams, nested on shared axes and origin 0 shared also, increase not by varying x, y but only by varying exponent n)

(cont'd)

 

[jcfdillon]

So, the method used, which seems to ignore the integer requirement of FLT, does so safely because the same method can work with any constant positive reals x, y, using this method..

So by ignoring the integer requirement via full generalization, we prove not only for all integer cases but also for all positive reals, which of course contain the positive integers as a subset.

Anyway to sum up, if we test some specific integers x, y, we find a particular "real" solution, which doesn't satisfy FLT for all-integers. If we test constant positive reals x, y, we may find an integer or a non integer, but this will not satisfy FLT for all integers; but further if we test x, y positive reals (nonintegers) we find some specific positive value (let us suppose it is integer or noninteger) but it still cannot satisfy the given and derived equations simultaneously. This is why I think that the FLT solution z values cannot even be considered "real" in the sense that the value of pi or sqrt(2) is found to an infinite degree of precision of extended decimal estimates. Because the z value in FLT is not stable as shown by iterating the given equation with

z = (x^n + y^n)/[z^(n-1)]

We find z diverging more and more with each iteration, whenever exponent n is even fractionally greater than 2.

 

[matt grime]

Look, here's the very simple explanation for you:
You are claiming that if there were *any real solutions to

x^n+y^n=z^n

then they'd have to satisfy something that clearly nothing satisfies (your averaging, thing).

Now, clearly there are infinitely many real valued triples satisfying x^n+y^n=z^n

$$( r2^{4/3},2r,2r)=(z,x,y)$$ for the case n=3 and for any r in R, for instance.

so your "proof" is completely wrong.

The claim is that at no point do you actually require that x,y, or z are integers in your proof, and merely stating that you assume they are does not mean your "proof" doesn't apply to other reals as well. Do you dispute that?

 

[jcfdillon]

In my proof as published I state that x, y are to be held constant as any positive integer values. (This is a clear stipulation of my proof.)

The idea that the positive reals can be tested and can show the same dichotomy came later, but I am not saying that real solutions (as estimated real numbers or estimated rational numbers), cannot be "found." These values however, will not satisfy the system of diagrams and simultaneous equations inherent to FLT and which are illustrated in my paper. -- Not because I ignore the obvious (that a calculation of this value can be made-- but because of a requirement of a real number, that it must at least be equal to itself-- and with higher n in FLT, this is not dependably the case, via chaotic interactions.

The sense that these found values will not work, is that they cannot, in geometric construction and interpretation, simultaneously satisfy the two curve/equations, except at the excluded maximum of the system where z = z_xy2, whereas, by the stipulations we have:

z_xyn < z_xy2 < z_xya

such that

a < 2 < n.

Because this works for all positive reals, we might exclude the requirement of integers in the proof approach to FLT, but this is not traditional and in writing this in '97 I never thought it could cover the reals.

The requirement of my method is that x, y be held constant; then the dichotomy can be shown readily by this method.

 

[matt grime]

"These values however, will not satisfy the system of diagrams and simultaneous equations inherent to FLT and which are illustrated in my paper. -- Not because I ignore the obvious (that a calculation of this value can be made-- but because of a requirement of a real number, that it must at least be equal to itself-- and with higher n in FLT, this is not dependably the case, via chaotic interactions."

Can we put this somewhere special please? I think it deserves to go down in posterity.

 

[jcfdillon]

Gee thanx, .. Smithsonian perhaps.

Anyway, .. that's the way I explain it, I talked with a friend who had studied chaos theory and he thought it was an indication of "chaos" that the iterations led to diverging values, values of z bouncing in the positive and negative directions, with each iteration.

Simple iterated equations as in fractals exhibit this behavior, so it seems that the Fermat equation also does this, as is already well known I suppose.

The structure of the diagrams and system of diagrams in 2D is just a simple way of illustrating and analyzing this problem. It's no big deal but was just missed for a long time. I started in 1980, had the first diagram in 10 days, but didnt see any further using that method until '97 unfortunately, which is when I tried the averaged diagrams.

 

[Hurkyl]

This is going noplace -- thread locked.