Very Original Proofs of Two Famous Problems: “Are There Any Odd Perfect Numbers?” (Unsolved until to Date) and “Fermat’s Last Theorem: A New Proof of Theorem (Less than One and a Half Pages) and Its Generalization” ()
1. Introduction
1.1. Are There Odd Perfect Numbers?
In number theory, a perfect number is a positive integer that is equal to the sum of its positive divisors, excluding the number itself. For instance, 6 has divisors 1, 2 and 3 (excluding itself), and
, so 6 is a perfect number.
This definition is ancient appearing as early as Euclid’s Element’s (VII.22) where it is called perfect number. Around 300BC, Euclid proved a rule of their formation (IX.36) according to which the number
is an even perfect number, when for p prime the number q is a prime of the form
, what is now called a Mersenne prime. Two millennia later, Euler proved that all the even perfect numbers are of this form:
. This is known as the “Euclid-Euler” theorem.
The first four perfect numbers 6, 28, 496 and 8128 were the only ones known in the first Greek mathematics, and the mathematician Nikomachos announced 8128 as early as 100 AD [1]. Later, to this day, many other researchers have been able to add other numbers to the list of perfect numbers.
Most numbers are not perfect. Although there are a surprisingly large number of results in terms of their form, two very simple questions, as to their wording, remain unresolved to this day: 1) Are there odd perfect numbers? 2) Are there infinite perfect numbers? Both of these questions-problems seem so simple, but have resisted thousands of attempts to answer with proofs or counter-examples. The first problem is one of the subject of present work while the second may be the subject of a subsequent our research.
It is unknown whether there is any odd perfect number, although various results have been obtained. In 1496, Jacques Lefebvre stated that Euclid’s rule gives all the perfect numbers, thus implying that no odd perfect number exists. Euler stated: “Whether (…) there are any odd perfect numbers is a most difficult question”. More recently, Carl Pomerance presented a heuristic argument suggesting that indeed no odd perfect number should exist. All perfect numbers are also Ore’s harmonic numbers, and it has been conjectured as well that there are no odds. Also, numbers up to 101500 have been checked without success, making the existence of odd perfect numbers appear unlikely. According to date research, if any odd perfect numbers exist, it must satisfy the following conditions:
[3],N is not divisible by 105 [4], N is of the form
,
or
[5]. Euler showed that an odd perfect number, if it exists, must be of the form:
, where p is a prime of the form
, (Fermat’s
theorem). Also, many similar results have derived by other researchers.
These few, in order to motivate the reader to search for more information related to the perfect numbers, so that he can understand easily the originality of the proof that is presented in this article compared to the ones of other previous researchers.
Also we did not use the old definition of a perfect number, as described at the beginning, but the definition of the full sum of its natural divisors, that given later. Defined as
the sum of all its natural divisors (includingN itself). Note that when the sum of its natural divisors includes the number itself, the definition of a perfect number is expressed as follows: a number is perfect if
.
So, if the number d is a natural divisor of the of the odd positive integerN and
the number
is a natural divisor of the numberN and constitute a pair of
his natural divisors. Also, if m the multitude of all pairs of the natural divisors of numberN, besides of the trivial pair, it’s applies:
We can distinguish the following cases:
A)
and
the only non trivial pairs of the natural divisors
of N.
B)
and
one pair of the m non trivial pairs of the natural
divisors ofN, such that, the divisor
to be the smallest of all the divisors.
1.2. Fermat’s Last Theorem: A New Proof of Theorem and Its Generalization
The Fermat’s last theorem (known historically by this title) has been an unsolved puzzle in mathematics for over three centuries. The theorem itself is a deceptively simple formulation in mathematics, while Fermat is discovered 30 years after his death famously stated that the problem had been solved around 1637. His claim was a clear statement on the sidelines of a book, but Fermat died without to leaving any proof of his claim. This claim eventually became one of the most famous unsolved problems of mathematics. Efforts to prove it, led to an increased interest in number theory and over time Fermat’s latest theorem gained top spot as one of the most popular unsolved problems in mathematics [6] [7].
I was informed of its existence before it was solved by Professor Andrew Wiles [8]. For several years I never tried to solve it. At some point twelve years ago, I thought I would can to solve it in a different way from Professor Andrew Wiles, believing that he might have a brief solution. One morning in my office, I started to analyze the problem and within a short time I invented the double inequality (1.5) and at that moment with great enthusiasm I exclaimed like Archimedes: I solved Fermat’s last theorem!
One of the most important steps was the invention of the variable
. I thought that a tracker should be found that runs through all natural numbers from one to infinity with the speed of light, performing instantaneous checks on all possible combinations that can verify the Equations (1.1) and (2.1). As will be seen below, this is perfectly achieved with the ratios:
for the problem 3.1 or
for the problem 3.2.
The variable
is inserted with replacements of number z with the sum
or
for the problem 3.1 and number
with the sum
or
for the problem 3.2, where
it is positive integer. It should be noted that when the Equations (1.1) and (2.1) are verify, it applies that
. The double inequalities (1.5) and (2.5) are the keys to the solutions presented in this article.
We distinguish the following Cases A).
for the problem 3.1 or
for the problem 3.2 and B).
for the problem 3.1 or
for the problem 3.2.
The proofs presented in this article starts from a zero basis. In other words, I consider that Equations (1.1) and (2.1) when the exponent n equals the number 1 have infinite integer solutions (trivial) and of course this case is ignored, whereas when the exponentn is greater than number one or
it’s examined for whom of the exponents Equations (1.1) and (2.1) can have integer solutions and for whom of the exponents do not have, (as is clear, is ignored even the same the Fermat’s assumption).
2. Are There Any Odd Perfect Numbers? (Unsolved until to Date)
2.1. Proof of the Problem
Every odd positive integerN is given by the formula
,
. All natural divisors of the number N are positive odd integers and appear in pairs.
Thus, if the number d is a natural divisor of the numberN, then the number
is also a natural divisor of the numberN. The pair of numbers 1 and
is the trivial pair, from all pairs of the natural divisors of numberN. Therefore, for any positive odd integerN the sum
of its natural divisors is equal to:
(1)
where, m the multitude of pairs of the natural divisors of numberN, besides of the trivial pair
.
If the number
,
is perfect then the sum
of its natural divisors is equal to:
(2)
By combining the Conditions (1) and (2) we have:
(3)
Therefore, in order to be perfect a positive odd integer it must to be satisfied Condition (3).
We distinguish the following cases:
A).
and
the only non trivial pair of the natural divisors of
N.
Given Condition (3) we have the following sub-cases:
1) If
, then due to Condition (3):
, where
,
(4)
In order the root d (as shown in the Condition (4)) to be a positive integer, it must to be a positive integer and the mathematical expression:
.
We will prove that this is not possible, because it applies the below condition:
. Indeed assuming that:
, then equivalently we have:
. This condition, because
,
(due to Condition (4)), it’s true.
Therefore,
,
, it’s true and that:
(5)
It follows from Condition (5) that mathematical expression:
cannot be a positive integer because it is contained between the consecutive positive integers (
) and (
).
So, in this sub-case, Condition (3) is not satisfied,
,
.
2) If
or
, due to Condition (3):
, which it’s absurd, because
,
,
.
Therefore, in both sub-cases of case A, Condition (3) is not satisfied,
,
.
B). Generalized proof of the problem
First (1st) generalized proof: We consider that
and
a pair
from the m non trivial pairs of the natural divisors of N, such that the divisor
to be the smallest of all the divisors ofN, which are included in these pairs.
Given Condition (3) we have:
(6)
Also, if we set:
,(1*) where k appropriate integer,
(7)
(1*) From now on by the expression, “where k appropriate integer”, we will
mean thatk is given by the mathematical formula:
.
By combining the Conditions (6) and (7) we have:
,
,
(8)
where k appropriate integer,
.
In order the root
(as shown in the Condition (8)) to be a positive integer, it must to be a positive integer and the mathematical expression:
.
We will prove that this is not possible, because it applies the below condition:
. Indeed, assuming that:
, then equivalently we have:
(9)
Condition (9) from the right is satisfied. In order the same condition to be satisfied and from the left it must to be true that:
(10)
So, assuming that:
and taking into account divisor
as is
defined above and since
, where k appropriate integer,
,
we have:
. Given the
Condition (7) and because
or
(2*),
we have equivalently the following continuation:
or
(3*), which
it’s true, since due to Condition (8) it applies that,
,
.
Because Condition (10) or
implies Condition
(which is true) and since Condition
as true implies that:
either
, we will continue the proof further, after the paragraph (3*), assuming that the second of the two previous conditions, is true, or:
.
(2*) Let
, where the natural numbers
,
are the first members of the pairs
,
, of the
natural divisors of the number N, i.e. of all pairs besides of the trivial pair
and it applies that:
,
, then we have:
, because
, since
(see paragraph (4*)). From the last condition, equivalently we have:
, which it’s true, therefore it’s true and that:
.
(3*) Condition
can be reached and as follows: Assuming that
and because
, we have:
or n ≥ 3 which it’s true, since due to Condition (8) it applies that
,
. Although this way is easier we preferred the previous way, which it is more extensive we to show that the choice, the divisor
, to be the smallest of all the non-trivial divisors of N is correct. As is easily understood, from the previous analysis and especially from the Condition (3), the smaller non-trivial divisor
leads to the smallest possible value of k, which increases the probability the condition
to be, true (just as we would like).
Next assuming that:
, where k appropriate integer,
and
,
, we have:
{
and
or
}
{
and
}
or
, which it’s false, since
.
Because there may be objections from some to this result, since the value
is one while the distinct positive values of k, i.e.
are infinitely many we will consider that this result it’s an indication that the Condition
is false and we will continue further our proof for
. So, given and Condition (3), we have:
,
(4*) (11)
(4*) The positive odd numbers 9, 15, 21, 25, 27, 33, 35, 39, 45, 49, 51, 55, 57 are composite positive integers and all of them are less than the number 63 and have only a pair of non trivial natural divisors and (for all) it applies that:
and
. The first odd positive integer which has more of one pairs of non trivial natural divisors is the number 63. For this odd positive integer number it
applies that:
,
and
.
Now, we consider Inequality
, where
,
,
: Also, given equation
, the following applies:
and so its
roots are:
and
.
Therefore, if where x we put
and because
takes values within the
roots or
, then it applies that:
and so Condition (11) is not satisfied. While,
if we consider that
, then it applies that:
and so Condition (11) is satisfied. But that’s absurd because we consider that
, while in fact it applies that:
.
Therefore, Condition
is false and it’s true that:
or
, where
,
and k appropriate integer,
.
So, consequently it applies that:
(12)
It follows from the Condition (12) that mathematical expression:
cannot be a positive integer because it’s contained between the consecutive integers
and
.
Therefore, in the case B, Condition (8) and consequently Condition (3), is not satisfied
,
.
Second (2nd) generalized proof (continues from Condition (9) onwards):
The second generalized proof is presented here, because it’s also original and undoubtedly confirms the correctness of the first proof.
According to Equation (8), the divisor
to be a positive integer, the mathematical expression
must be perfect square of positive integer number. We remind you here, that k is an appropriate integer, where
.
At first, we assume that:
, where l a positive integer. For this equation to make sense, in conjunction with Equation (8), it must to be: a) the difference
even integer and thel odd integer or b) the numberl even integer and the difference
odd integer.
a) If
and
, where
positive integers, then we have:
.
Because the number 4 divides the numbers
that is the first member of the last equality and
which is term of the second member, it must also to divides and the number
which also is term of the same member. Therefore it should be valid that:
, where
a positive integer and consequently:
.
Also, because
, so finally we have:
or
. From the last equality, if
then
, which it’s absurd, because an even integer cannot be equal to an odd integer. While, if
then
, that is, the number k is an odd positive integer.
b) If
and
, where
positive integers, then we have:
then
.
Because the number 4 divides the numbers
that is the first member of the last equality and
which is term of the second member, it must also to divides and the number 2n which also is term of the same member. Therefore it should be valid that:
, where
a positive integer and consequently
. Also, because
, so finally we have:
or
.
From the last equality, if
then
which it’s absurd, because an odd integer cannot be equal to an even integer. While, if
then
, i.e. the number k is again an odd positive integer.
Now, we will prove that the fact thatk is always an odd integer leads us in absurd, as follows:
1) If
and
, where
positive integers, then we have:
.
Because, according to our hypothesis, the mathematical expression
is perfect square of a positive integer, then the mathematical expression
which is its equivalent, as the difference
is an even number, must be perfect square of a positive odd integer. Therefore, the following equality will apply:
, where
a positive integer. From the last condition equivalently, we have:
(13)
We will prove that Equality (13) is not possible. For this, we work as follows:
- If
then we have:
or
, which is absurd, since
. So, it is
.
- If
then we have:
or
, which is absurd, since
. Therefore will be:
.
Let
positive integer such that
, then by substitution in the Equation (13) we have:
. From the last equality of the two polynomials, if we equate the coefficients of the terms with the same degree, we have:
,
and
.
From the second equation it arises that
, then by substitution in the third equation, we have:
, which is absurd because
, since
.
Therefore, the equation:
, is not applies and consequently it applies that:
.
This means that:
, which is absurd because it contradicts our original assumption that:
.
2) If
and
, where
positive integers, then we have:
or
. Because the mathematical expression
is perfect square of a positive integer, then the mathematical expression
which is its equivalent, as the difference
is an odd number, must be perfect square of a positive even integer. This means that and the mathematical expression:
, must be perfect square of a positive integer. We will prove that this is not possible, because it valid the below condition:
.
Indeed, assuming that:
, then equivalently we have:
(14)
Condition (14), from the right is satisfied. We will examine whether the same condition is satisfied and by the left.
At the first we observe that:
, because according to our hypothesis it holds that
, so condition (9) is not satisfied. Note, that if
Condition (9) is satisfied and consequently it applies that:
and so the mathematical expression:
cannot be a positive integer, because it’s contained between the consecutive integers
and
. Therefore, if
it applies that
, which is contrary to our hypothesis.
Then, given that
, we have:
or
.
From the last condition if
, equivalently we have:
or
, which is true. While on
the contrary if
, we have:
or
, which is false, since
. So it’s true that
.
Therefore, Condition (14) or
it’s true and consequently it applies that:
. It follows from the last condition that mathematical expression:
cannot be a positive integer because it’s contained between the consecutive integers
and
.
So, it applies that:
. This means that:
, which is absurd because it contradicts our original assumption that:
.
Therefore, in all cases it applies that:
, so Condition (8) and consequently Condition (3) is not satisfied,
,
.
Important comment (a posteriori that is after the completion of the proof):
The fact that the condition
is false is also substantiated as follows:
a) If
and
, since
, we have:
or
, which is absurd.
b) If
and
, because
and
(see paragraph (4*) a little above), then
or
. So, since
, it applies that:
, which is absurd.
Therefore, in all the cases, condition
is false and it’s true that:
.
2.2. Comments-Remarks
1) According to the above when,
or
, in the sum of
non trivial pairs of the natural divisors of N, divisor d is calculated twice. Ifd, is calculated once, we will have:
i) If
and
the only non trivial pair of the natural divisors of N and
, then due to Condition (3):
. That is absurd
because an odd integer cannot be equal to an even integer (since number d, is odd integer).
ii) If
and
one pair of the m non trivial pairs of divisors of N and
, then due to Condition (3):
.
Given Condition (7) equivalently, we have:
, where,
and k' appropriate integer,
or
.
That is absurd because an odd integer cannot be equal to an even integer (since number
, is odd integer).
2) Condition (5) has proved for
. So, if
or
we have:
For
,
and
For
,
and
3) If
,
, the number 1 can be considered as an odd perfect number if in the sum
, divisor 1is calculated twice. So, we have:
.
Conclusion: From the above it is concluded that there are not positive odd perfect numbers. Maybe only the number 1, if in the sum
, divisor 1 is calculated twice, can be considered as the only odd perfect number.
3. “Fermat’s Last Theorem: A New Proof of Theorem and Its Generalization”
3.1. A New Proof of Fermat’s Last Theorem (Classical Problem)
If
are positive integers that differ from each other then the following equation:
, where
,
(1.1)
when
have no positive integer solutions.
Proof of Theorem
We consider positive integers
that differ from each other and assume that they verify the Equation (1.1) for a natural number
. Also, we assume without loss of the generality, that:
(1.2)
Given Equation (1.1) and condition (1.2), based on the above hypothesis, we have:
(1.3)
(1.4)
By combining the conditions (1.3) and (1.4) we have:
(1.5)
Note: The double inequality (1.5) is necessary but not sufficient, i.e. the converse is not always the case. For example, we consider that
and
. We have:
and
.
If we replace the number z with the sum
or
, where
is a positive integer, then for the positive integers
that according to hypothesis we originally made, verify Equation (1.1) for a natural number
, it is true that:
or
(1.6)
(1.6)
or
(1.7)
Given Condition (1.7) and the original hypothesis it’s true that:
(1.8)
We distinguish the following cases:
Α)
If
. Due to (1.6)
(1.9)
Considering Bernoulli’s inequality for
, it applies:
(1.10)
By combining the Conditions (1.9) and (1.10) we have:
(1.11)
Due to condition (1.11) the double inequality (1.5) is not satisfied and therefore in this case Equation (1.1) has no positive integer solutions, for any natural number n greater than the number one or
.
Β)
Since in case A. Equation (1.1) doesn’t have positive integer solutions, obviously if they exist, this will be the case in case B when condition
is applied. So, we have:
or
(1.12)
Now, we will prove that when positive integers
verify Equation (1.1) for a natural number
, number y is greater than the product of number 3 by the number
or
.
We work as follows:
a) If
or
, assuming that
, we distinguish two areas:
and
. Thus, given the latter areas, we have.
a.1) If
, assuming that the trinity
verify Equation (1.1) for a natural number
, then because from
and from
or
, it applies the following:
Since
or
or
. Now, assuming
that the trinity
verify Equation (1.1) for a natural number
, such that
and
, we have:
or
, which is absurd, since if
it is
. So, it applies that
,
. Thus, the area
is not valid and therefore condition
is false.
a.2) If
, assuming also that the integers
, verify Equation (1.1), it applies that:
. This means that the number x is an odd integer and because due to Condition (1.8) it applies that:
, it follows that
. So,
and in this sub-case no trinity
that satisfying Equation (1.1) can be formed. Thus, the area
is not valid and therefore condition
is false.
b) If
, assuming again that
or
, we have:
or
So, Condition (1.5) is not satisfied and Equation (1.1) has not positive integer solutions. Thus and in this case condition
is false.
Therefore, in all cases condition
is false and it’s true that:
or
(1.13)
Next, we will prove that when positive integers
verify Equation (1.1) for a natural number
, number
is less than the difference
or
.
Indeed, given the Conditions (1.12), (1.13) and considering separately the intervals
and
, we have:
1) If
or
, assuming that
and since
, we have:
or
, which it is absurd, since
. So, condition
is false.
2) If
assuming again that
and since
, we have:
. From the last condition, because
, equivalently we have:
or
, which is absurd, since
. So, condition
is false.
Therefore, in all cases, condition
is false and it’s true that:
(1.14)
Given Condition (1.14), we have:
(5*) (1.15)
(5*) Be careful not to get confused. Condition (1.15), which corresponding to Condition (1.15), has nothing to do with the present proof, it’s simply written here to exist link to the continuation of proof of problem 3.1, as this recently given by the author of the present article in a previous its paper [9] and is now listed on the Appendix 2 (the old proof continues from this point onwards after, as it was in its original publication, adding some clarifications).
We distinguish the following sub-cases:
B1.
or
and B2.
In the first sub-case we will prove that Equation (1.1) can have positive integer solutions while in the second sub-case we will prove that Equation (1.1) has no positive integer solutions.
B1.
or
(Equation (1.1) can have positive integer solutions)
Proof: Given the Conditions (1.12) and (1.13), we have:
. So, because
, equivalently we have:
or
. It applies also and that:
or
(because
).
Therefore, in this case, due to the last conditions double inequality (1.5) is satisfied, so Equation (1.1) can have positive integer solutions (which indeed exist, known since the Greek antiquity as Pythagorean Triads).
B2.
(Equation (1.1) has no positive integer solutions)
Proof: If
(1.16)
Also, if
due to Condition (1.12), we have:
or
(1.17)
Next, we will prove and we that:
, despite the fact that, Euler was the first which proved it. For this, assuming that the positive integers
verify Equation (1.1) for
, then it applies that:
. From the last condition, equivalently, we have:
or
and
. Because the area
is excluded(6*) and given from the last condition that
and due to the conditions (1.13), (1.17) it applies that
, also equivalently we have:
or
or
, which is false(7*), because it is
and is allowed only the value
, for which Equation (1.1) has no integer solutions. Thus condition
is false, so it’s true that:
or
.
Consequently due to Condition (1.16), it is true that:
(1.18)
(6*) Proof why the area
is excluded: If
, it applies that:
, where
is a positive real number
which, if we exclude the first two terms, is equal to the sum of the remaining 2 terms
of the binomial:
. At first we will prove that
. Indeed, assuming that
and due to (1.13), (1.17) it’s
, we have:
, which it’s true. So, if
and
, it’s true that
and consequently it applies that:
or
.
Thus, condition (1.5) is not satisfied and Equation (1.1) has no positive integer
solutions. Therefore, the area
is not valid and is excluded.
(7*) Proof that Condition
is false: Let the positive integers
verify Equation (1.1) for
and
, then we have:
(1.19)
- If
, where
a positive integer, given Condition (1.19), we have:
or
, which is absurd, because one of the consecutive integers y and
is even and divides the odd integer
.
- If
, where
a positive integer, then again from condition (1.19), we have:
or
. From the last equality, because it applies that
and
and one of the consecutive integers y and
is even and divides the number
, that is the second member of the last equality, it will also divides and the odd integer
(this number, is the largest of the factors of number
), which that is also absurd. So, in all sub-cases, condition
is false because it implies that:
.
Please, at this point, pay special attention to the following remark: What about the trinities
for which, it applies that:
,
and
. An example of such a trinity is the following:
,
and
.
Thus, the question arises whether in this case Equation (1.1) can have positive integer solutions for
. To this question we answer as follows: Because
, we have:
, where
is positive real
number which, if we exclude the first two terms, is equal to the sum of the
remaining 3 terms of the binomial:
. At first we will prove that
. Indeed, assuming that
due to (1.13), (1.17) it’s
, we have:
, which it’s true, since
. Therefore, if
it’s true that
and consequently it applies that:
or
,
.
So, in this case, condition (1.5) is not satisfied and Equation (1.1) has no positive integer solutions.
Thus, all these
trinities, for which it is true that:
and
, when
are ignored. So, condition (1.18) it applies for all the rest
trinities.
Finally, given the Conditions (1.12), (1.13), (1.17), (1.18),
and all the trinities
except of the trinities for which it’s true that:
and
, we have:
or
and
.
Therefore, in sub-case B2, due to the last condition the double inequality (1.5) is not satisfied and also Equation (1.1) has no positive integer solutions.
Conclusion 3.1: From the above it is concluded that Equation (1.1), when
can have positive integer solutions, while when
doesn’t have positive integer solutions. In the second case, Fermat’s last theorem is verified.
3.2. Generalization of Fermat’s Last Theorem (New Theorem)
If
are positive integers that differ from each other (m finite number), then for
the following equation:
, where
,
(2.1)
when
, have no integer solutions. For
, Fermat’s last theorem taking place.
Proof of New Theorem
We consider positive integers
that differ from each other (m finite number) and assume that verify Equation (2.1) for a natural number
. Also, we assume without loss of the generality, that:
(2.2)
Taking into account Equation (2.1) and Condition (2.2), on the basis of the above hypothesis we have:
or
(2.3)
or
(2.4)
By combining Conditions (2.3) and (2.4) we have:
(2.5)
Note: The double inequality (2.5) is necessary but not sufficient, i.e. the converse is not always the case. For example we consider that
,
and
. We have,
and
.
If we replace the number
with the sum
or
, where
is a positive integer, for the positive integers
that according to the hypothesis we originally made, verify Equation (2.1) for a natural number
, it is true that:
(2.6)
We distinguish the following cases:
Α)
If
. So, due to (2.6) we have:
(2.7)
Considering Bernoulli’s inequality for
, it applies:
(2.8)
By combining the Conditions (2.7) and (2.8) we have,
(2.9)
Due to the Condition (2.9), the double inequality (2.5) is not satisfied and therefore in this case Equation (2.1) has no positive integer solutions, for any natural number n greater than the number one or
.
B)
Because in case A. Equation (2.1) doesn’t have positive integer solutions, obviously if they exist, this will be in case B when condition B is applied. So, we have:
or
(2.10)
Now, we will prove that when the positive integers
verify Equation (2.1) for a natural number
, the number
is greater than the product of number m by the number
or
.
For this we work as follows:
a)
. In this case, assuming that
, we distinguish two areas:
and
,
. So, given the latter areas, we have:
a.1) If
, assuming that the positive integers
verify Equation (2.1) for a natural number
, then since from
and from
or
, it applies the following:
a.1.1)
and
.
Let the positive integers
verify Equation (2.1)
, λ ≥ 2 and
. At the first, we will prove that:
. Indeed, if
, which it applies
, so is true and that:
. Then, we will prove that:
. Now, assuming that:
, given that
and due to the conditions (2.11), (2.17) it applies that
we have:
which it’s true, since
. So, condition
it’s true. Therefore, it applies that:
or
(because n = 2). Thus, in this case, condition (2.5) is not satisfied
and Equation (2.1) has no positive integer solutions. So, the area
is not valid.
a.1.2)
and
.
Since
or
or
. Then, if the positive integers
verify Equation
(2.1) for a natural number
and given that
and
, we have:
, where
is a
positive real number which, if we exclude the first three terms, is equal to the
sum of the remaining
terms of the binomial:
.
Now, assuming that
or
since
or
and
, equivalently we have:
or
, which is false since
(8*),
.
Therefore, condition
is false and it’s true that:
. So, consequently it that:
or
. Therefore, due to the last condition the double
inequality (2.5) is not satisfied and so Equation (2.1) has not positive integer solutions and the area
also is not valid.
a.2) If
,
, assuming that the positive integers
verify Equation (2.1) for a natural number
, it applies the following:
a.2.1)
and
. At first, because when
, as proved in problem 3.1, condition
is false, we consider for the continuation in this paragraph that
. So, in this case, we have:
. From the last condition it follows that the sum
is an odd positive integer or
,
where
a positive integer. Also since
, equivalently we have:
. The sets of positive integers
that can to satisfy the conditions
and
have, as the
case may be, in the positions
the integers:
or
or
, so the following shall apply respectively:
-
,
which is absurd because
,
.
-
, which is absurd because
,
.
-
,
which is absurd
, because in this case it applies that
, while when
it applies that
and the inequality is satisfied. But, if
the only set of positive integers
that can be formed is:
and it applies that:
. Thus, in all sub-cases, condition
does not apply.
From the above analysis, is inferred that when
and
, Equation (2.1) is not verified. Therefore, in this case condition
is false.
a.2.2)
and
,
. In this sub-case, we have:
, where
.
Now, we will prove that:
. So, assuming that:
or
, since
or
, equivalently we have:
or
, which it is false because
(8*),
.
Therefore, Condition
is false and it’s true that:
. So, consequently it applies that:
or
,
. Therefore, Condition (2.5) is not satisfied and
Equation (2.1) has not positive integer solutions and in this sub-case condition
also is false.
(8*) Proof that
: Given Equation
, the following applies:
and so its roots are:
. So, if
is
and
consequently
,
.
b) If
, assuming again that
or
, we have:
or
, so condition (2.5)
is not satisfied and Equation (2.1) has not positive integer solutions. Thus, in this case, condition
is false.
Therefore, in all cases condition
it’s false and so it’s true that:
or
(2.11)
Then, we will prove that when the positive integers
verify Equation (2.1) for a natural number
, the number
is less than the difference
or
.
Indeed, taking into account Conditions (2.10), (2.11) and considering separately the intervals
and
, we have:
1) If
, given the conditions (2.11) or
,
or
and assuming that
, we have:
or
, which is absurd since
. So, condition
is false.
2) If
, assuming again that
and taking into
account Condition (2.10), we have:
. From the
last condition since
, equivalently we have:
or
, which is absurd, since
. So, condition
is false and it’s true that:
.
Therefore, when Equation (2.1) is verified for a natural number
it’s true that:
(2.12)
Given condition (2.12) we have:
(9*) (2.13)
(9*) Be careful not to get confused. Condition (2.13), which corresponding to the Condition (2.20), has nothing to do with the present proof, it’s simply written here to exist link to the continuation of proof of problem 3.2, as this recently given by the author of the present article in a previous its paper [9] and is now listed on the Appendix 2 (the old proof continues from this point onwards after, as it was in its original publication, adding some clarifications).
We distinguish the following sub-cases:
B1.
and B2.
In the first sub-case we will prove that Equation (2.1) can have positive integer solutions while in the second sub-case we will prove that Equation (2.1) has no positive integer solutions.
B1.
(Equation (2.1) can have positive integer solutions)
Proof: At the first we will prove that:
. Indeed, since due to condition (2.11) it is
, we have:
. Developing the binomial
it applies:
, where
. Next, we will prove that:
.
So, assuming that:
or
and considering
separately the sub-intervals: a)
and b)
, we have:
a)
. Because
, given condition
, we have
equivalently:
or
, which is absurd, since
.
b)
. Because
or
so, given again condition
, equivalently we have:
or
, which it’s absurd, because
since
and
. Therefore, condition
or
is false and it’s true that:
. So, based on the
previous analysis it’s true that:
(2.14)
Considering Bernoulli’s inequality for
, it follows that:
or
(2.15)
Finally, by combining the Conditions (2.14) and (2.15) it’s true that:
and
or
. Also, it is true and the follows condition:
or
Therefore, in this sub-case, due to the last conditions the double inequality (2.5) always is satisfied and so Equation (2.1) can have positive integer solutions.
B2.
(Proof that Equation (2.1) has no positive integer solutions)
Proof: If
(2.16)
Also if
, due to Condition (2.10), we have:
or
(2.17)
Now, assuming that the positive numbers
verify
Equation (2.1) for
, then it’s applied that:
. From last condition, equivalently we have:
, where
,
. Next, also equivalently we have:
or
and
. Given that:
, it applies that:
or
. So, because the area
is excluded(10*), given that
and due to the Conditions (2.11), (2.17) it is
, equivalently we have:
or
,
which isfalse(11*), because it is
and is allowed only the value
for which Equation (2.1) is not verified. Therefore, condition
is false, so it’s true that:
.
Consequently due to Condition (2.16), is true that:
(2.18)
(10*) Proof why the area
is excluded: If
, it applies that:
, where
is a positive real number which, if we exclude the first two terms, is equal to the
sum of the remaining
terms of the binomial:
. At the first, we will prove that:
. So, assuming that:
, equivalently we have:
, which obviously it’s true
, so it’s true and that:
. Next, we will prove that:
.
Indeed, given condition:
and due to the conditions (2.11), (2.17) it’s
, we have:
. Also, it applies that:
. Based on the previous analysis we have:
. So, it’s true that:
or
. Consequently, we have:
or
. Therefore, condition (2.5) is not satisfied and Equation (2.1) has no positive integer solutions. So, the area
is not valid
and is excluded.
(11*) Proof that Condition
is false:
Let the positive integers
verify Equation (2.1) for a natural
and
, then it applies that:
.
Given the last condition, because the numbers
and
are consecutive integers it arises that one will be odd and the other even integer, so the difference
will be an odd integer and therefore the sum
will also be an odd integer or
, where
a positive
integer. Therefore, if for convenience we set:
, the previous one equation is written as follows:
(2.19)
- If
, from Condition (2.19), we have:
, which is absurd, since an odd integer cannot be equal to an even integer (
,
as since
the product
divides the integer
), so if
it applies that:
.
Given Condition (2.19), equivalently we have:
.
Because the second member of the last equation is an even positive integer or
, where
a positive integer and since
the product
divides the integer
or
, also equivalently
we have:
(2.20)
- If
, from (2.20)
or
divides
. So, because
divides
or
(
) divides
, which is absurd because, as the number
divides
which is term of the number
, it must also to divides and the number 1. So, if
it applies that:
.
- If
, again from (2.20) equivalently, we have:
,
which is absurd because the second member of the last equality is an odd integer or
, where
a positive integer and one of the consecutive integers x and
is even and divides the odd integer
.
So, if
it applies that:
. Therefore, in all cases or for
it applies that:
. Thus, and for
and
it applies that:
. So, condition
it’s
also false.
Please, at this point, pay special attention to the following: What about the sets of the positive numbers
for which it applies that:
,
and
. Thus,
the question arises whether in this case Equation (2.1) can have positive integer solutions for
. To this question we answer as follows:
Because
, we have the following:
Now, at the first we will prove that:
. Indeed, if
, equivalently we have:
, which it’s true, so it’s true and that:
. Then, assuming that
, given condition
and due to the conditions (2.11), (2.17) it’s
, we have:
, which it’s true, since
. So, it’s true and that:
.
Therefore, consequently it applies that:
or
,
. So, in this case, condition (2.5) is not satisfied
and Equation (2.1) has no positive integer solutions.
Thus, all these sets of the positive numbers
for which
it’s true that:
and
, if
are ignored.
So, Condition (2.18), it applies for all the rest sets of the positive numbers
.
Finally, given the Conditions (2.10), (2.11), (2.15), (2.17), (2.18) and that
, we have:
or
and
.
Therefore, in this sub-case double inequality (2.5) is not satisfied and so Equation (2.1) has no positive integer solutions.
Conclusion 3.2: From the above it is concluded that Equation (2.1) when
can have integer solutions, while when
have no integer solutions. In the second case for
, answer to Fermat’s Last Theorem is given.
4. A Very Brief Solution to “Fermat’s Last Theorem”
Here we present to you the shortest solution that has ever been achieved to “Fermat’s last theorem”, the most famous mathematical problem of the world.
The problem:
If
positive integers,
, the following Equation:
,
,
(3.1)
when
have no positive integer solutions.
Proof: Let
positive integers,
, that verify Equation (3.1) for a natural number
. Then, assuming that
, without loss of the generality, we have:
or
(3.2)
Note: Condition (3.2) is necessary but not sufficient i.e. the converse is not always the case.
If we set:
, where
is a positive integer, it’s true that:
or
(3.3)
From (3.3)
or
(3.4)
Given Condition (3.4) and the original hypothesis it’s true that:
(3.5)
Now, we will prove that if
, the Condition (3.2) never is satisfied. Indeed, assuming that the positive integers
verify Equation (3.1) for a natural number
, then by combining the Conditions (3.2) and (3.3), we have:
(3.6)
where
is a positive real number which, if we exclude the first two terms, is equal to the sum of the remaining
terms of the development of the
binomial:
. Given Condition (3.6), because
, we have:
or
(3.7)
Also, given Condition (3.7), because the area
is excluded(12*), equivalently we have:
or
, which is false(13*), since
, so is allowed only the value
, for which Equation (3.1) is not verified. Therefore, if
, the Condition (3.2) never is satisfied and so Equation (3.1) has no positive integer solutions or
,
.
(12*) Proof why the area
is excluded: If
, then it applies that:
, where
as previous defined. At the first, we will prove that
. Indeed, if
and due to Condition (3.7) it’s
, we have:
or
, which it’s true, since
. Therefore,
and
it’s true that
. Consequently it applies that:
or
. Therefore, Condition (3.2) is not satisfied and Equation (3.1) has no integer solutions. Thus, the area
is not valid and is excluded.
(13*) Proof that Condition
is false:
Let the positive integers
verify Equation (3.1) for
and
, then it applies that:
,
where
. Now, we will prove that:
. Indeed, if
, because
(14*) or
, then we have:
, which is true, since
. So, it’s true
and that:
. Therefore,
is
. Then, from the equation:
, since
and
, it follows that:
or
, which is absurd. So,
,
and Condition
it’s false.
(14*) We consider that
, because due to the Conditions (3.4) and (3.5) it’s valid that
and the
is an odd integer, as arises from equation:
, since the numbers
and
are consecutive integers, so one will be odd and the other even integer and consequently the difference
will be an odd integer. So and the numbers
and
will also are odd integers. Therefore, it applies that:
,
and
.
Note: A wonderful second proof that the condition
it’s false, is given in the case B2) of the problem 3.2, a little above. Also, to the Annex 1 is presented a
second proof why the area
is excluded.
5. General Conclusions
The proofs of the two problems which presented in this article are brief and very simple as their wording. They are achieved without the use of abstract algebra or elements from other fields of modern mathematics of the twentieth century. For this reason, they can be easily understood by any mathematician or anyone who knows basic mathematics. That means they have pedagogical value.
It is also worth mentioning that the proofs of the two problems were achieved without the use of a computer. When it comes to the conjecture of the odd perfect numbers, modern researchers have been trying to prove it by using computer-assisted methods. Although computers have changed the way we approach Mathematics, their overuse at the expense of mathematical thinking is an abuse and this should be seriously taken into consideration by the scientific community.
Also, it’s very important, that Fermat’s last theorem is generalized to an arbitrarily large number of variables. This generalization is essentially a new theorem in the field of number theory very useful for researchers of this field, because it can give answers to many open problems of the number theory.
Finally, the proofs presented here are completely original and were not based on the work of other researchers.
Appendix 1
A second proof why the area
is excluded, which is concerned
the problem “A very brief solution to Fermat’s last theorem”.
If
, it applies that:
, where
is a positive real number which, if we exclude the first two terms, is equal to the sum of the remaining
terms of the development of the binomial:
. Also, since
and due to Condition (3.7) it applies that:
or
, we have:
or
. On the contrary, if
then equivalently we have:
or
, which is false, since
. So, it’s true that:
,
and consequently:
or
.
Therefore, condition (3.2) is not satisfied and Equation (3.1) has no positive
integer solutions. Thus, the area
is not valid and is excluded.
Appendix 2
Problem 1. Fermat’s Last Theorem (Classical Problem)
Continuity of the proof, as it is had given recently by the author of this article and now it is set out here, adding some clarifications.
Based on Condition (1.15), we distinguish the following sub cases:
Β1.
We have:
(because
)
(due to (1.12)), we have:
or
. Equation (1.1) has positive integer solutions when
. So,
. While on the contrary, Equation (1.1), has no positive integer solutions when
or
. So,
.
Β2.
. We have:
(because
)
(due to (1.12)), we have:
*** or
. So we’re being led to the same conclusion as Β1.
***The inequality
, was written this way, with the following
reasoning:
Assuming that:
or
,
. This means,
because
is a positive integer, that
for all natural numbers n that are greater than or equal to 2 or
. So Equation (1.1) has solutions for every
, therefore and when
, which is absurd, because
and as known Euler was the first to prove it. Also, the same we prove and we, at the problems 3.1 and 3.2, in the case B2, in my article that is published in AMP magazine. Even, in the same article there is more comprehensible and strong proof for the condition
or (1.14).
For this, condition
is false. (Honestly, I wonder why it is not
understood. Is there, a stronger absurd than this?)
Thus, for the same, at this point, we present a second proof that is perhaps more rigorous mathematically and non-disputable.
Assuming that
or
are apply the following: Let
positive integers that verify Equation (1.1) for a natural number
,
and
, where
is positive real number which, if we exclude the first two terms, is equal to the sum of the remaining
terms of development of the binomial:
.
Then, assuming that
, because
, we have:
, which it’s true, since
. So, and the condition
it’s true. Therefore, it applies that:
or
. Thus, condition (1.5) is not
satisfied and Equation (1.1) has no positive integer solutions. So, condition
is false.
That is why inequality
is rejected. Therefore we consider the inequality
is acceptable and so we ended up in the inequality:
.
Conclusion 1: From the above it is concluded that Equation (1.1), when
have positive integer solutions, whereas when
does not have positive integer solutions. In the second case, Fermat’s last theorem is verified.
Problem 2. Generalization of the “Fermat’s Last Theorem” (New Theorem)
Continuity of the proof, as it is had given recently by the author of this article and now it is set out here, adding some clarifications.
Based on Condition (2.20) we distinguish the following sub cases:
Β1.
We have:
(if
or
)
(due to (2.10)) we have:
or
(2.21)
Based on Condition (2.21) we have:
- When
, Equation (2.1) has positive integer solutions. So,
or
. Because
or
, finally it applies that
.
- While on the contrary,
the Equation (1.1) has no positive integer solutions.
So,
or
.
Β2.
We have:
(if,
or
)
(due to (2.10)) we have:
*** or
. So we’re being led to the same conclusion as Β1.
***The inequality
, was written this way, with the
following reasoning:
Assuming that:
or
,
and
. This means, because
is a positive integer, that
for all natural numbers n that are greater than or equal to 2 or
and for all the positive integers m that are greater than or equal to 3 or
. So Equation (2.1) has solutions for every
and
, therefore and when
and
, which is absurd, because
and as known Euler was the first to prove it. Also, the same we prove and we, at the problems 3.1 and 3.2, in the case B2, in my article that this published in AMP magazine. Even, in the same article there is more comprehensible and strong proof for the condition
or (2.19).
For this, condition
is false. (Honestly, I wonder why it
is not understood. Is there, a stronger absurd than this?)
Thus, at this point for the same, we present a second proof that is perhaps more rigorous mathematically and non-disputable.
Assuming that
or
, then are apply
the following: Let
positive integers that verify Equation
(2.1) for a natural number
,
and
, where
is positive real number
which, if we exclude the first two terms, is equal to the sum of the remaining
terms of development of binomial:
.
Then, assuming that
, because
, we have:
, which it’s true, since
. Therefore, condition
it’s true and consequently it applies that:
. So, because
, condition (2.5) is not satisfied and Equation (2.1) has no positive integer solutions. Thus, condition
it’s false.
That is why inequality
is rejected. Therefore we consider the inequality
is acceptable and so we ended up in the inequality
.
Conclusion 2: From the above it is concluded that the Equation (2.1) when
have integer solutions, whereas when
have no integer solutions. In the second case, for m = 3, answer to Fermat’s Last Theorem is given.
Analysis of Results
1) From condition
, if
we have:
. We observe that the proof of Fermat’s last theorem is taking place. This is a very strong indication that its generalization is correct.
2) According to the previous analysis is
, because if the opposite is true or
, Equation (2.1) do not have integer positive
solutions.
Therefore, in this case we have:
i) If
or
and Equation (2.1) has no positive integer solutions.
ii) Whereas, if
it is
and so Equation (2.1) can have positive integer solutions.
3) What happens if
or
and
?
3.1)
and
,
or
,
.
First we will prove that if
and n a natural number, it is true that:
.
Proof: If
.
Considering the real function
,
, we have:
,
.
So the function
is genuine decreasing. Therefore, it’s true that:
,
and consequently:
,
. Finally, as a consequence of the last condition, it is also true and that:
, where
,
.
Then, given that
,
and Condition (2.10), we have:
or
or
.
3.2) When
and
,
or
and
taking account condition (2.10) or
or
, we have:
or
or (because
and
):
. Also, it’s true and the
condition:
or
.
Therefore, due to the last conditions when
the double inequality (2.5) can be satisfied and so Equation (2.1) can have positive integer solutions.
For example if
,
,
,
,
,
and
. We have,
,
and
.