Search This Blog

25.3.20

Summing Odd Fractions to One, and Odd Perfect Numbers

(This blog post is lifted verbatim from this MSE question, and the answers and a comment contained therein.)

The title says it all.

Question

What exactly is the relationship between Egyptian/unit fractions with odd denominators, and odd perfect numbers?

Motivation

In a comment underneath the question Summing Odd Fractions to One:

From the list $\frac{1}{3},\frac{1}{5},\frac{1}{7},\frac{1}{9},\frac{1}{11}$..... is it possible to choose a limited number of terms that sum to one?
This can be done with even fractions: $\frac{1}{2},\frac{1}{4},\frac{1}{8},\frac{1}{12},\frac{1}{24}$

it is stated that:

This would be true if an odd perfect number existed :) MSE user idok

Is this claim true/valid?


Such a representation of a fraction as the sum of fractions with numerator 1 and different denominators is called Egyptian fraction, because that was the way fractions were written in ancient Egypt. It's clear that for 1, we must have an odd number of summands, because otherwise the numerator of the sum would be even and the denominator odd. As it turns out, the minimal number is 9, and there are the following 5 solutions:
$1=\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\frac{1}{9}+\frac{1}{11}+\frac{1}{15}+\frac{1}{35}+\frac{1}{45}+\frac{1}{231}$

$1=\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\frac{1}{9}+\frac{1}{11}+\frac{1}{15}+\frac{1}{21}+\frac{1}{231}+\frac{1}{315}$

$1=\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\frac{1}{9}+\frac{1}{11}+\frac{1}{15}+\frac{1}{33}+\frac{1}{45}+\frac{1}{385}$

$1=\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\frac{1}{9}+\frac{1}{11}+\frac{1}{15}+\frac{1}{21}+\frac{1}{165}+\frac{1}{693}$

$1=\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\frac{1}{9}+\frac{1}{11}+\frac{1}{15}+\frac{1}{21}+\frac{1}{135}+\frac{1}{10395}$
There are also solutions of length 11, 13, 15,..., and it can be shown that every odd length $\ge 9$ is possible. This information (and further references) can be found in this article.

Does this answer make the existence of an odd perfect number more likely?

Background

The topic of odd perfect numbers likely needs no introduction, but I include this section here for completion.

A positive integer $n$ is said to be perfect if $\sigma(n)=2n$, where $\sigma(x)$ is the sum of divisors of $x \in \mathbb{N}$.  If $N$ is odd and $\sigma(N)=2N$, then $N$ is called an odd perfect number.  It is currently unknown whether there is an odd perfect number, despite extensive computer searches.

Euler proved that an odd perfect number, if one exists, must have the form $N=p^k m^2$ where $p$ is the special/Euler prime satisfying $p \equiv k \equiv 1 \pmod 4$ and $\gcd(p,m)=1$.

Comment underneath the question: Reference: Sellers, J. A., Egyptian Fractions and Perfect Numbers, The Mathematics Teacher, 87, no. 1 (January 1994), 60

Accepted Answer (by MSE user Servaes)

The claim is true because $1$ is the sum of finitely many fractions with odd denominator and unit numerator. More generally, for any statement $P$ the implication $P \Longrightarrow Q$ is true if $Q$ is true. This says nothing about the truth value of $P$, however. In this particular case, this doesn't make the existence of odd perfect numbers any more or less likely. In this sense the quoted comment is a bit misleading.

Rebuttal (by MSE user Thomas Bloom)

I don't think the answer by Servaes is right, because there is a direct (non-trivial) link. Suppose $n$ is an odd perfect number. Then

$$ \sum_{d\mid n} d = 2n.$$

Divide both sides by $n$ and we get

$$ \sum_{d\mid n} \frac{1}{d} = 2.$$

Subtracting $1$ from both sides we have written $1$ as the sum of $1/d$ where $d$ are all odd numbers (since all are divisors of $n$, which is odd).

Further Research:

The following MSE questions are also tangentially related to this blog post:

On the decomposition of $1$ as the sum of Egyptian fractions with odd denominators

and

On the decomposition of $1$ as the sum of Egyptian fractions with odd denominators - Part II