You are here
Home ›example of Fermat's last theorem
Primary tabs
example of Fermat’s last theorem
Fermat stated that for any the Diophantine equation has no solution in positive integers. For this follows from the following
Theorem 1.
has no solution in positive integers.
Proof.
Suppose we had a positive such that holds. We may assume . Then must be odd, and have opposite parity. Since is a primitive Pythagorean triple, we have
| (1) |
where , are coprime and have opposite parity. Since is a primitive Pythagorean triple, we have coprime , of opposite parity satisfying
| (2) |
From it follows that , which implies . Since is a square, each of is a square.
Setting , , leads to
| (3) |
where . Thus, equation 3 gives a solution where . Applying the above steps repeatedly would produce an infinite sequence of positive integers, each of which was the sum of two fourth powers. But there cannot be infinitely many positive integers smaller than a given one; in particular this contradicts to the fact that there must exist a smallest for which (1) is solvable. So there are no solutions in positive integers for this equation. ∎
A consequence of the above theorem is that the area of a right triangle with integer sides is not a square; equivalently, a right triangle with rational sides has an area which is not the square of a rational.
Mathematics Subject Classification
11F80 Galois representations14H52 Elliptic curves
11D41 Higher degree equations; Fermat's equation
- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
new Education: Project: PlanetMath Outlines Series by unlord
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by unlord
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759
new image: AbstrExample3.jpg by m759
new image: four-diamond_figure.jpg by m759
May 16
new problem: Curve fitting using the Exchange Algorithm. by jeremyboden


