To: maze,
Quoting maze:
It's hard to give a good analysis of the proof, because, as written, there are a lot of holes in it. Now, we have pointed out some of those and to your credit you have made some decent arguments as to why they might not really be a problem (why they are "aviodable"). But then each patch up brings new issues, etc.
If you wish for us to give a good critique of the proof, I would recommend you rewrite it, using the following format:
Let z > 2 and assume there is a solution.
...proof...
contradiction. (eg: you have equations that must be true but also can't be true)
Therefore there is no solution for z > 2. QED
Note that there is no need to even bother considering z=1 or z=2 since they can be shown true with simple examples 1+2=3 and 32+42=52.
Well, I wouldn't go so far as to say that it's got "a lot of holes".
Basically, we encountered two "issues".
The "indeterminate forms" was one "issue",
and establishing that the values of x, y, z in the unfactored case
must be different from the values of x, y, z in the factored case
in order to maintain terms that are positive integers was the other "issue".
Both "issues" have now been demonstrated as being "non-lethal" to the proof.
There are no other issues!
Can I at least get a "tentative" agreement that this result is at least "interesting"?
To quote "Dr. Evil", can somebody "throw me a bone?"
You see, from my point of view, a
"formal proof" of
The Beal Conjecture And Fermat's Last Theorem
isn't even necessary,
because the moment that we factor the equation:
c^z-b^y=a^x,
we get:
\left(c^\frac{z}{2}+b^\frac{y}{2}\right)\left(c^\frac{z}{2}-b^\frac{y}{2}\right)=a^x,
and since the above two equations can also be viewed as:
T\left(\frac{c}{T}\right)^{\left(\frac{\frac{z\ln(c)}{\ln(T)}-1}{\frac{\ln(c)}{\ln(T)}-1}\right)}-\left(\frac{T}{T}\right)b^y=\left(\frac{T}{T}\right)a^x
and:
\left(T\left(\frac{c}{T}\right)^{\left(\frac{\frac{\frac{z}{2}\ln(c)}{\ln(T)}-1}{\frac{\ln(c)}{\ln(T)}-1}\right)}+\left(\frac{T}{T}\right)b^\frac{y}{2}\right)\left(\left(\frac{T}{T}\right)c^\frac{z}{2}-\left(\frac{T}{T}\right)b^\frac{y}{2}\right)=\left(\frac{T}{T}\right)a^x,
where a, b, c are co-prime,
it is
obvious that T=c
must be allowable,
and that this, in turn,
requires that we
first "cancel out"
the expressions involving logarithms at z=1 and z=2
so that the logarithms
no longer exist.
Oops, I proved it again!
You see, the properties of logarithms themselves require that
both the Beal Conjecture and Fermat's Last Theorem be true!
Thus, no lawer like "step by step argument" is required,
because the properties of logarithms automatically and inherently
don't allow x, y, z all greater than 2.
It's just a "straightforward result"! An unavoidable consequence of logarithms!
I keep looking at it, and I keep asking myself.. "what's there to argue?"
It is what it is!
The moment some high school kid factors c^z-b^y=a^x,
substitutes a couple of "Blazys terms" and asks:
"How can I get rid of those logarithms so that I can let T=c?"
he or she solves the worlds most famous math problem!
His or her teacher might insist that T=c be prohibited,
but then that kid would be right, and the teacher would be wrong!
Every teacher that I showed this to initially disagreed with me,
but now agrees...so there is hope.
It may take a while for this to "sink in" to the hearts and minds of the "math community",
but it is, in fact, a real "mindblower" when you finally realize, as I did,
that the solution the worlds most famous math problem is nothing more than
a straightforward and hitherto unsuspected and undiscovered property of logarithms!
This is only one reason that I believe, to the very core of my being,
that my "Blazys terms" deserve further investigation.
In fact, it's a
tragedy that they are so poorly understood.
Come on, when all is said and done, isn't it
wonderfull that in the end,
it turns out that both the Beal Conjecture and Fermat's Last Theorem
can be demonstrated as being true using only
"their own terms"
rather than some very, very, very distantly related concepts and constructs
involving "modular forms", "eliptical curves" and even "imaginary numbers"?
Shouldn't such good news be welcomed rather than "swept under a rug"?
Don.