Abstract:The existence of a perfect odd number is an old open problem of number theory. An Euler's theorem states that if an odd integer $ n $ is perfect, then $ n $ is written as $ n = p ^ rm ^ 2 $, where $ r, m $ are odd numbers, $ p $ is a prime number of the form $ 4 k + 1 $ and $ (p, m) = 1 $, where $ (x, y) $ denotes the greatest common divisor of $ x $ and $ y $. In this article we show that the exponent $ r $, of $ p $, in this equation, is necessarily equal to 1. That is, if $ n $ is an odd perfect number, then $ n $ is written as $ n = pm ^ 2. $
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the existence and form of odd perfect numbers. Specifically, the author aims to prove that if an odd number \(n\) is a perfect number, then it must have a specific form \(n = pm^{2}\), where \(p\) is a prime number of the form \(4k + 1\) and \(m\) is an odd number.
### Background and Problem Description
A perfect number is a positive integer \(n\) such that the sum of all its positive divisors is equal to \(2n\), that is:
\[
\sigma(n)=2n
\]
where \(\sigma(n)\) represents the sum of all positive divisors of \(n\). All known perfect numbers are even, and according to Euclid's theorem, an even perfect number can be expressed as:
\[
n = 2^{p - 1}(2^{p}-1)
\]
where \(2^{p}-1\) is a Mersenne prime. However, whether there exists an odd perfect number remains an unsolved mathematical problem.
### Euler's Theorem and Main Results
Euler's theorem states that if there exists an odd perfect number \(n\), then it can be expressed as:
\[
n=p^{r}m^{2}
\]
where \(p\) is a prime number of the form \(4k + 1\), \(r\) and \(m\) are odd numbers, and \(\gcd(p,m) = 1\).
The main contribution of this paper is to prove that in the above representation, the exponent \(r\) must be equal to 1, that is, an odd perfect number \(n\) can be more simply expressed as:
\[
n = pm^{2}
\]
### Proof Process
By Euler's theorem, assume that \(n\) is an odd perfect number, then we have:
\[
\sigma(p^{r}m^{2})=2p^{r}m^{2}
\]
This can be further written as:
\[
(1 + p+\cdots+p^{r})\sigma(m^{2})=2p^{r}m^{2}
\]
After rearranging the above formula, we get an equation about \(p\):
\[
(a - b)p^{r}+ap^{r - 1}+\cdots+ap + a=0
\]
where \(a=\sigma(m^{2})\) and \(b = 2m^{2}\). By analyzing the roots of this equation, the author proves that \(r\) must be equal to 1. Otherwise, if \(r>1\), a contradiction will be derived.
### Conclusion
Therefore, if there exists an odd perfect number \(n\), then it can be expressed as \(n = pm^{2}\), where \(p\) is a prime number of the form \(4k + 1\) and \(m\) is an odd number. This result simplifies the understanding of the structure of odd perfect numbers and provides a basis for further research.
### Related Literature
The paper cites several related literatures, which provide various properties and constraints about odd perfect numbers, for example:
- An odd perfect number has at least nine different prime factors.
- An odd perfect number is greater than \(10^{1500}\).
- Each odd perfect number has at least one prime factor greater than \(10^{6}\).
- The form of an odd perfect number can only be \(12k + 1\) or \(36m+9\).
These results together form the constraints on the existence of odd perfect numbers.