I bumped into Fermat’s Last Theorem the other day, probably the most famous margin note in history:
Where ,
,
and
are all positive integers. The equation has no solutions for
.
But the theorem always constrains ,
and
to be positive. Why?
Here’s what I found plugging in and
scenarios into the formula.
First, if is even,
so this returns us to the positive Integer version of Fermat’s Last Theorem.
Conversely, if is odd and we have both
and
, then:
This is just the negative version of Fermat’s Last Theorem, so it follows again there’s no solution for .
Next, I discovered an infinite number of solutions for the equation to any odd power. If we set , this leads to:
Let’s just declare that solution “trivial” and move on. So the final leftover scenario is this:
Which can be rearranged to this:
And this, of course, is just another rewrite of Fermat’s Last Theorem.
So throwing away the trivial case that with
it quickly becomes clear that the theorem is true for all negative numbers with
. Which still makes me wonder why the theorem is always stated “for positive
,
and
“?
PS. When I was initially googling to find other work on this question nothing relevant popped up (leaving me to figure out how negative numbers work in the theorem myself). However, I found other interesting proofs. Here’s a simple proof extending Fermat’s Last Theorem to all positive rationals and
:
Write Fermat’s Last Theorem with rationals:
Multiply through by which recovers the original Fermat’s Last Theorem:
My reasoning for negative Integers applies equally well to the negative Rationals.
So, throwing out trivial solutions, Fermat’s Last Theorem is true for all Integers and Rationals, not just the positive ones.
Warning: Declaration of Social_Walker_Comment::start_lvl(&$output, $depth, $args) should be compatible with Walker_Comment::start_lvl(&$output, $depth = 0, $args = Array) in /home/jqqi7nt29y32/domains/researchpipeline.com/html/wordpress/wp-content/plugins/social/lib/social/walker/comment.php on line 0
Warning: Declaration of Social_Walker_Comment::end_lvl(&$output, $depth, $args) should be compatible with Walker_Comment::end_lvl(&$output, $depth = 0, $args = Array) in /home/jqqi7nt29y32/domains/researchpipeline.com/html/wordpress/wp-content/plugins/social/lib/social/walker/comment.php on line 0
Dear author, there is a small flaw in the post. Please note that FERMAT’S LAST THEOREM is true for all integers, except for 0, as using 0 might allow us to break his theorem. Regards, VARSHA SURESH
Thanks for clarifying, Varsha!
Dear author, i have a proof for this theorem, which i suppose to be true. Is there anyway through which i can share my proof with you? Please do let me know. Thank you.
Sure! Can you present the proof as a comment here?