One More Assertion to Fermat’s Last Theorem

Show more

1. Introduction

In our earlier classes, we have studied about factors, roots, powers, radicals and Pythagorean Theorem. Pythagorean Theorem says two squared numbers form a squared number. In other ways we can say, one certain number would be the root of the sum of two squared numbers. But this is not true for cubed and above numbers. Fermat thought like so. Around 1637, Fermat wrote his Last Theorem in the margin of his copy “*It* *is* *impossible* *to* *separate* *a* *cube* *into* *two* *cubes*, *or* *a* *fourth* *power* *into* *two* *fourth* *powers*, *or* *in* *general*, *any* *power* *higher* *than* *the* *second*, *into* *two* *like* *powers*”. With *n*, *x*, *y*, *z* Î N (meaning that *n*, *x*, *y*, *z* are all positive numbers) and *n* > 2, the equation *x ^{n}* +

Over the next two centuries (1637-1839), the conjecture was proved for only the primes 3, 5, and 7, although Sophie Germain innovated and proved an approach that was relevant to an entire class of primes. In the mid-19th century, Ernst Kummer extended this and proved the theorem for all regular primes, leaving irregular primes to be analyzed individually. Separately, around 1955, Japanese mathematicians Goro Shimura and Yutaka Taniyama suspected a link might exist between elliptic curves and modular forms, two completely different areas of mathematics. Known at the time as the Taniyama-Shimura conjecture (eventually as the modularity theorem), it stood on its own, with no apparent connection to Fermat’s Last Theorem. It was widely seen as significant and important in its own right, but was (like Fermat’s theorem) widely considered completely inaccessible to proof. In 1984, Gerhard Frey noticed an apparent link between these two previously unrelated and unsolved problems. An outline suggesting this could be proved was given by Frey. The full proof that the two problems were closely linked was accomplished in 1986 by Ken Ribet, building on a partial proof by Jean-Pierre Serre, who proved all but one part known as the “epsilon conjecture”. On hearing that Ribet had proven Frey’s link to be correct, English mathematician Andrew Wiles, who had a childhood fascination with Fermat’s Last Theorem and had a background of working with elliptic curves and related fields, decided to try to prove the Taniyama-Shimura conjecture as a way to prove Fermat’s Last Theorem. In 1993, after six years of working secretly on the problem, Wiles succeeded in proving enough of the conjecture to prove Fermat’s Last Theorem. Wiles’s paper was massive in size and scope. A flaw was discovered in one part of his original paper during peer review and required a further year and collaboration with a past student, Richard Taylor, to resolve. As a result, the final proof in 1995 was accompanied by a smaller joint paper showing that the fixed steps were valid.

I think Fermat may not be had or known the usage of elliptical curves, Galois field, reducible and irreducibility. He conjectured that statement by what he known when he was alive. In 1994, Andrew wiles gave an assertion for Fermat’s conjecture by using The Taniyama-Shimura-Weil conjecture, Modular theorem and elliptic curves. It may be different thing of Fermat’s knowledge when he was stated that conjecture on 1637. Fermat generalized Pythagorean triplet. If he put n = 2 in his conjecture, we would have no ambiguity to Pythagorean triplet. Euler also tried to generalize Pythagorean triplet but it disproven by 20^{th} century mathematicians. I too followed Euler’s way before I found the quadruplet 1^{3} + 6^{3} + 8^{3} = 9^{3}. In my previous paper titled “Some Extensions on Numbers” (advances in pure mathematics—published on Nov 2019). I tried to settle with Pythagoreantriplet, Fermat’s last theorem and Euler’s conjecture by prime numbers. With the help of following I tried to prove Fermat’s last theorem. Such as [1]. L. J. Lander, T. R. Parkin, and John Selfridge—gave a counter example to Euler’s sum of powers conjectures—AMS journal (1967)-pages (101-103), [2] Balasubramani Prema Rangasamy—Some Extensions on Numbers—Advances in Pure Mathematics—2019. pp. 944-958. [3], Wikipedia—gave some important introduction to know the extract of Fermat’s last theorem and Euler’s conjecture and [4] India-Tamil nadu SCERT high school mathematics books from 6^{th} standard to 10 standard gave ideas about rational, irrationals, radicals, powers and decimals.

In this paper, I try to prove Fermat’s statement by reverse order, which means no two cubes forms cube, no two fourth power forms a fourth power, or in general no two like powers forms a single like power greater than the two. I used roots, powers and radicals to assert Fermat’s last theorem. Also I tried to generalize Fermat’s conjecture for negative integers, with the help of radical equivalents of Pythagorean triplets and Euler’s disproven conjecture.

2. Euler’s Disproved Conjecture

“It is impossible to exhibit three fourth powers whose sum is a fourth power”, “four fifth powers whose sum is a fifth power, and similarly for higher powers”. But

In 1967, L. J. Lander, T. R. Parkin, and John Selfridge conjectured that if

$\underset{i=1}{\overset{n}{\sum}}{a}_{i}^{k}}={\displaystyle \underset{j=1}{\overset{m}{\sum}}{b}_{j}^{k}$,

where *a _{i} *≠ b

Above conjecture disproved Euler’s conjecture.

We can state above conjecture as,

Theorem 1: For any $t\in R$,

$\underset{i=1}{\overset{n}{\sum}}t{a}_{i}^{k}}={\displaystyle \underset{j=1}{\overset{m}{\sum}}t{b}_{j}^{k}$,

where *a _{i}* ≠ b

Proof:

Let

$\underset{i=1}{\overset{n}{\sum}}{a}_{i}^{k}}={\displaystyle \underset{j=1}{\overset{m}{\sum}}{b}_{j}^{k}$,

where *a _{i} *≠ b

Then,

${a}_{1}^{k}+{a}_{2}^{k}+{a}_{3}^{k}+\cdots +{a}_{n}^{k}={b}_{1}^{k}+{b}_{2}^{k}+{b}_{3}^{k}+\cdots +{b}_{m}^{k}$

For any number t,

$t{a}_{1}^{k}+t{a}_{2}^{k}+t{a}_{3}^{k}+\cdots +t{a}_{n}^{k}=t{b}_{1}^{k}+t{b}_{2}^{k}+t{b}_{3}^{k}+\cdots +t{b}_{m}^{k}$

$t\left({a}_{1}^{k}+{a}_{2}^{k}+{a}_{3}^{k}+\cdots +{a}_{n}^{k}\right)=t\left({b}_{1}^{k}+{b}_{2}^{k}+{b}_{3}^{k}+\cdots +{b}_{m}^{k}\right)$

$\underset{i=1}{\overset{n}{\sum}}t{a}_{i}^{k}}={\displaystyle \underset{j=1}{\overset{m}{\sum}}t{b}_{j}^{k}$ (1)

Corollary 1: If the sum of *k* *k*^{th} powers of positive integers is itself a *k*^{th} power
$\underset{i=1}{\overset{k}{\sum}}{a}_{i}^{k}}={b}^{k$. Also for any number, we can find
$\underset{i=1}{\overset{k}{\sum}}t{a}_{i}^{k}}=t{b}^{k$.

Proof:

Let

$\underset{i=1}{\overset{n}{\sum}}{a}_{i}^{k}}={\displaystyle \underset{j=1}{\overset{m}{\sum}}{b}_{j}^{k}$,

where *a _{i}* ≠ b

Then,

${a}_{1}^{k}+{a}_{2}^{k}+{a}_{3}^{k}+\cdots +{a}_{n}^{k}={b}_{1}^{k}+{b}_{2}^{k}+{b}_{3}^{k}+\cdots +{b}_{m}^{k}$

For any $n>\left(m=1\right)$

${a}_{1}^{k}+{a}_{2}^{k}+{a}_{3}^{k}+\cdots +{a}_{n}^{k}={b}_{1}^{k}$ $\Rightarrow {\displaystyle \underset{i=1}{\overset{k}{\sum}}{a}_{i}^{k}}={b}^{k}$

For any $t\in R$,

$t{a}_{1}^{k}+t{a}_{2}^{k}+t{a}_{3}^{k}+\cdots +t{a}_{n}^{k}=t{b}^{k}$

$t\left({a}_{1}^{k}+{a}_{2}^{k}+{a}_{3}^{k}+\cdots +{a}_{n}^{k}\right)=t{b}^{k}$

$\underset{i=1}{\overset{n}{\sum}}t{a}_{i}^{k}}=t{b}^{k$ (2)

Ex:

For any number n,

1) We can write Pythagorean triplets

${3}^{2}+{4}^{2}={5}^{2}$ ; As ${6}^{2}+{8}^{2}={10}^{2}$ ; ${9}^{2}+{12}^{2}={15}^{2}$ ; $\cdots $ ; ${\left(3n\right)}^{2}+{\left(4n\right)}^{2}={\left(5n\right)}^{2}$.

${5}^{2}+{12}^{2}={13}^{2}$ ; As ${10}^{2}+{24}^{2}={26}^{2}$ ; ${15}^{2}+{36}^{2}={39}^{2}$ ; $\cdots $ ; ${\left(5n\right)}^{2}+{\left(12n\right)}^{2}={\left(13n\right)}^{2}$.

2) Taxi cab number: ${12}^{3}+{1}^{3}=1729={10}^{3}+{9}^{3}$

My way of taxi cab number: ${1}^{3}+{6}^{3}+{8}^{3}+{10}^{3}=1729$ and 1 + 8 Plato’s number = 1729.

${\left(12n\right)}^{3}+{n}^{3}=1729{n}^{3}={\left(10n\right)}^{3}+{\left(9n\right)}^{3}$.

3) Plato’s number: ${3}^{3}+{4}^{3}+{5}^{3}={6}^{3}$

As ${6}^{3}+{8}^{3}+{10}^{3}={12}^{3}$ ; ${9}^{3}+{12}^{3}+{15}^{3}={18}^{3}$ ; $\cdots $ ; ${\left(3n\right)}^{3}+{\left(4n\right)}^{3}+{\left(5n\right)}^{3}={\left(6n\right)}^{3}$.

One of my Triplet:

${1}^{3}+{6}^{3}+{8}^{3}=1+216+512=729={9}^{3}$ (3)

as ${2}^{3}+{12}^{3}+{16}^{3}={18}^{3}$ ; ${3}^{3}+{18}^{3}+{24}^{3}={27}^{3}$ ; $\cdots $ ; ${n}^{3}+{\left(6n\right)}^{3}+{\left(8n\right)}^{3}={\left(9n\right)}^{3}$.

Here ${3}^{3}+{18}^{3}+{24}^{3}={27}^{3}$ is my number. Because one of the source triplet value is becoming resultant value.

i.e. $27+5832+13824={27}^{3}$

4) ${30}^{4}+{120}^{4}+{272}^{4}+{315}^{4}={353}^{4}$ as ${\left(30n\right)}^{4}+{\left(120n\right)}^{4}+{\left(272n\right)}^{4}+{\left(315n\right)}^{4}={\left(353n\right)}^{4}$

5) ${19}^{5}+{43}^{5}+{46}^{5}+{47}^{5}+{67}^{5}={72}^{5}$ as ${\left(19n\right)}^{5}+{\left(43n\right)}^{5}+{\left(46n\right)}^{5}+{\left(47n\right)}^{5}+{\left(67n\right)}^{5}={\left(72n\right)}^{5}$

For any Pythagorean triplets a, b & c we can say $c=\sqrt{{a}^{2}+{b}^{2}}$

Now we generalize above equation as

${c}^{-1}=\sqrt[-2]{{a}^{2}+{b}^{2}}$ (4)

Definition 1: Let $a,k,n\in C$ then

$\sqrt[k]{a}=\sqrt[kn]{{a}^{n}}$ (5)

Definition 2: Let ${a}_{i},b\in Z$, for any $k\in {Z}^{+}$ such that $b=\sqrt[k]{{\displaystyle \sum {a}_{i}^{k}}}$.

Proof: Let ${a}_{1}^{k},{a}_{2}^{k},{a}_{3}^{k},\cdots ,{a}_{i}^{k}\in Z$ then from

L. J. Lander, T. R. Parkin, and John Selfridge conjecture

where *a _{i}* ≠ b

We can say

${a}_{1}^{k}+{a}_{2}^{k}+{a}_{3}^{k}+\cdots +{a}_{i}^{k}={b}_{1}^{k}+{b}_{2}^{k}+{b}_{3}^{k}+\cdots +{b}_{j}^{k}$

For m = 1,

${a}_{1}^{k}+{a}_{2}^{k}+{a}_{3}^{k}+\cdots +{a}_{i}^{k}={b}_{1}^{k}$

$\underset{i=1}{\overset{n}{\sum}}{a}_{i}^{k}}={b}^{k$

$\sqrt[k]{{\displaystyle \underset{i=1}{\overset{n}{\sum}}{a}_{i}^{k}}}=b$ (7)

Definition 3: Let ${a}_{i},b\in Z$, for any $k\in Z$ such that

${b}^{-1}=\sqrt[-k]{{\displaystyle \sum {a}_{i}^{k}}}$ (8)

Ex 1: let ${a}_{1}=30,{a}_{2}=120,{a}_{3}=272$ & ${a}_{4}=315$ then

${a}_{1}^{4}=810000,{a}_{2}^{4}=207360000,{a}_{3}^{4}=5473632256\&{a}_{4}^{4}=9845600625$.

Now,

$\begin{array}{c}{a}_{1}^{4}+{a}_{2}^{4}+{a}_{3}^{4}+{a}_{4}^{4}=810000+207360000+5473632256+9845600625\\ =15527402881\end{array}$

${30}^{4}+{120}^{4}+{272}^{4}+{315}^{4}={353}^{4}$

$\sqrt[4]{{30}^{4}+{120}^{4}+{272}^{4}+{315}^{4}}=353$.

Let we see some example:

1) ${30}^{4}+{120}^{4}=810000+207360000=208170000={\left(120.117\right)}^{4}$

2) ${272}^{4}+{315}^{4}=5473632256+9845600625=15319232881={\left(351.810\right)}^{4}$

3) ${353}^{4}+{30}^{4}=15527402881+810000=15528212881={\left(353.004\right)}^{4}$

4) ${353}^{4}+{120}^{4}=15527402881+207360000=15734762881={\left(354.172\right)}^{4}$

5) ${30}^{4}+{315}^{4}=810000+9845600625=9846410625={\left(315.006\right)}^{4}$.

3. Facts

1) Rational numbers × Rational numbers = Rational numbers

2) Rational numbers × Irrational numbers = Irrational numbers

3) Irrational numbers × Rational numbers = Irrational numbers

4) Irrational numbers × Irrational numbers = may be Rational numbers.

5) Integer × integer = Integer

6) Integer × decimal = Integer or decimal

7) decimal × integer = Integer or decimal

8) Decimal × decimal = decimal.

4. Prime Bases on Fermat’s Last Theorem

Let we see following summations.

Let ${p}_{i}$ are prime numbers then

$2+3+5+7+11+13=41$ ;

For squared primes:

$4+9=13={\left(3.6055\cdots \right)}^{2}={\left(3+0.6055\cdots \right)}^{2}$ ;

$4+9+25=38={\left(6.1644\cdots \right)}^{2}={\left(5+1.1644\cdots \right)}^{2}$ ;

$4+9+25+49=87={\left(9.3273\cdots \right)}^{2}={\left(7+2.3273\cdots \right)}^{2}$ ;

$4+9+25+49+121=208={\left(14.4222\cdots \right)}^{2}={\left(11+3.4222\cdots \right)}^{2}$ ;

For cubed primes:

$8+27=35={\left(3.2710\cdots \right)}^{3}={\left(3+0.2710\cdots \right)}^{3}$ ;

$8+27+125=160={\left(5.4288\cdots \right)}^{3}={\left(5+0.4288\cdots \right)}^{3}$ ;

$8+27+125+343=503={\left(7.9528\cdots \right)}^{3}={\left(7+0.9528\cdots \right)}^{3}$ ;

$8+27+125+343+1331=1724={\left(12.2405\cdots \right)}^{3}={\left(11+1.2405\cdots \right)}^{3}$ ;

For fourth exponent primes:

$16+81=97={\left(3.1382\cdots \right)}^{4}={\left(3+0.1382\cdots \right)}^{4}$ ;

$16+81+625=722={\left(5.1836\cdots \right)}^{4}={\left(5+0.1836\cdots \right)}^{4}$ ;

$16+81+625+2401=3123={\left(7.4755\cdots \right)}^{4}={\left(7+0.4755\cdots \right)}^{4}$ ;

$16+81+625+2401+14641=17764={\left(11.5447\cdots \right)}^{4}={\left(11+0.5447\cdots \right)}^{4}$ ;

By this way we concluded,

${2}^{n}+{3}^{n}+{5}^{n}+{7}^{n}+{11}^{n}+{13}^{n}+\cdots +{p}_{i}{}^{n}={\left({p}_{i}+B.{b}_{1}{b}_{2}{b}_{3}{b}_{4}\cdots \right)}^{n}$

where $B.{b}_{1}{b}_{2}{b}_{3}{b}_{4}\cdots \in R$.

From the above recursion, we formulate the result then we get,

$\underset{i=1}{\overset{k}{\sum}}{p}_{i}^{n}}={\left({p}_{i}+B.{b}_{1}{b}_{2}{b}_{3}{b}_{4}\cdots \right)}^{n$, where $B.{b}_{1}{b}_{2}{b}_{3}{b}_{4}\cdots \in R$ (9)

Preposition 1: Let ${p}_{i}$ are prime numbers then $\sum {p}_{i}^{n}}\ne {q}^{n$. Where q is any prime.

Proof:

Let $\sum {p}_{i}^{n}}=P$ then

Case 1: If P is prime, result is obvious.

Case 2: If P is composite, we can write $P=st+k$. if $k\ne 0$ then result is obvious.

Case 3: If P is composite and $k=0$, then we can write $P=st$. If $s,t$ are distinct primes then result is obvious. But if $s=t$ we get $\sum {p}_{i}^{n}}={q}^{n$. This result contradict with (9). So $\sum {p}_{i}^{n}}\ne {q}^{n$. Where q is any prime.

5. Integer Bases on Fermat’s Last Theorem

Let we see following summations of n^{th} exponent integers.

Let ${a}_{i}$ are integers then

$1+2+3+4+5+6+7=21$ ;

For squared integers:

${2}^{2}+{3}^{2}=4+9=13={\left(3.6055\cdots \right)}^{2}={\left(3+0.6055\cdots \right)}^{2}$ ;

${5}^{2}+{9}^{2}=25+81=106={\left(10.2956\cdots \right)}^{2}={\left(9+1.2956\cdots \right)}^{2}$ ;

${25}^{2}+{79}^{2}=625+6241=6866={\left(82.8613\cdots \right)}^{2}={\left(79+3.8613\cdots \right)}^{2}$ ;

${35}^{2}+{959}^{2}=1225+919681=920906={\left(959.6384\cdots \right)}^{2}={\left(959+0.6384\cdots \right)}^{2}$ ;

For cubed integers:

${2}^{3}+{3}^{3}=8+27=35={\left(3.2710\cdots \right)}^{3}={\left(3+0.2710\cdots \right)}^{3}$ ;

${15}^{3}+{49}^{3}=3375+117649=121024={\left(49.4641\cdots \right)}^{3}={\left(49+0.4641\cdots \right)}^{3}$ ;

$\begin{array}{c}{194}^{3}+{79}^{2}=7301384+493039=7794423\\ ={\left(198.2719\cdots \right)}^{3}={\left(194+4.2749\cdots \right)}^{3}\end{array}$ ;

;

For fourth exponent integer:

;

;

;

;

;

By this way we concluded,

where.

From the above recursion, we formulate the result then we get,

. where. (10)

From the above summations we concluded that, n^{th} root of summation of n^{th} exponent numbers is nearly greater than or equal to the biggest number of such n^{th} exponent numbers.

6. Irrationality of Numbers

We know is always irrational, where p is prime. So we can say is irrational and is always rational, where and a is rational.

Theorem 2: For any and a number we can say.

Proof:

Let then

.

When we considering exponent,

Let then

This is true when or 1

But this is contradict with. Hence.

When we considering base,,

Let then

This is true when or 1.

But this is contradict with. Hence

(11)

7. Fermat’s Last Theorem

No three positive integers *a*, *b*, and *c* satisfy the equation *a ^{n}* +

Proof:

Let then for any positive integer such that. Where.

To prove above,

Let where then we can say. Now we check the possibilities for “c” getting an integer value.

Case 1: Let then. Now,

where k is an integer and are decimal values.

Due to irrationality of we cannot get c is an integer.

Case 2: Let then and also we can say where h is any integer.

Now,

where k is an integer and are decimal values. So we cannot get c is an integer.

Case 3: Let then and also we can say where j is any integer.

Now,

where k is an integer and are decimal values. So we cannot get c as an integer.

From the above cases we concluded that, ‘c’ never gets integer value. ■

Using above result we can state,

Theorem 3: No three integers *a*, *b*, and *c* satisfy the equation *a ^{n}* +

Proof:

Case 1: Let, and, for any, we get as negative integer. i.e.. So we get Using case 2, we get where t is an integer

Now,

where k is an integer and are decimal values. So we cannot get c as positive integer.

Case 2: Let, and, for any, we get as negative integer. i.e.. So we get Using case 3, we get where v is an integer

Now,

where k is an integer and are decimal values. So we cannot get c as positive integer.

Case 3: Let and let, for any, we get Using case 1, Now,

where k is an integer and are decimal values.

Due to irrationality of we cannot get c is an integer.

Case 4: Let and, for any, we get also we can say Where x is any integer. Now,

where k is an integer and are decimal values. So we cannot get c as positive integer.

Case 5: Let and, for any, we get also we can say Where y is any integer. Now,

where k is an integer and are decimal values. So we cannot get c as a positive integer.

For any in cases 1 to 5, we get

1) Case 1 implies the result of case 2 of FLT proof.

2) Case 2 implies the result of case 3 of FLT proof.

3) Case 3 implies the result of case 1 of FLT proof.

4) Case 4 implies the result of case 3 of FLT proof.

5) Case 5 implies the result of case 2 of FLT proof. ■

8. Conclusions

1) Due to irrationality of in, we could not get c as an integer. So Fermat’s theorem is always true.

2) It is also true for negative integers.

3) Generally n^{th} root of 2^{nd} sum of n^{th} power of numbers is always non integer, where n > 2.

References

[1] Lander, L.J. and Parkin, T.R. (1967) A Counter Example to Euler’s Sum of Powers Conjectures. AMS Journal, 21, 101-103.

https://doi.org/10.1090/S0025-5718-1967-0220669-3

[2] Rangasamy, B.P. (2019) Some Extensions on Numbers. Advances in Pure Mathematics, 9, 944-958.

https://doi.org/10.4236/apm.2019.911047

[3] Wikipedia. Some Base Works for Fermat’s Last Theorem and Euler’s Conjecture.