Problem 62 - Discrete Mathematics with Applications

Question

The harmonic mean \(m\) of the numbers \(a_{1}, a_{2}, \ldots, a_{n}\) is the reciprocal of the arithmetic mean of their reciprocals; that is, $$\frac{1}{m}=\frac{1}{n} \sum_{i=1}^{n}\left(\frac{1}{a_{i}}\right)$$ Prove that the harmonic mean of the positive factors of a perfect number \(N\) is an integer. (Hint: If \(d\) is a factor of \(N\) , then so is \(N / d .\) ) (R. Euler, 1987 )

Step-by-Step Solution

Answer

The harmonic mean of the positive factors of a perfect number \(N\) can be denoted as \(m\). We express the \(2k\) positive factors of \(N\) as \(d_1, d_2, \ldots, d_k, \frac{N}{d_1}, \frac{N}{d_2}, \ldots, \frac{N}{d_k}\), where each factor \(d_i\) has a corresponding factor \(\frac{N}{d_i}\). Now, we calculate the sum of the reciprocals of these factors (\(S\)). After simplifying, we get \(S = \sum_{i=1}^k \left(\frac{d_i^2 + N}{d_i N}\right)\). By substituting \(S\) into the harmonic mean formula and showing that the expression \(\frac{1}{m} = \frac{1}{2k} \sum_{i=1}^k \left(\frac{d_i^2 + N}{d_i N}\right)\) is an integer, we can conclude that the harmonic mean of the positive factors of a perfect number \(N\) is indeed an integer.

Step 1: Write down the formula for the harmonic mean

The harmonic mean of the numbers \(a_1, a_2, \ldots, a_n\) is denoted as \(m\) and given by the equation: \[\frac{1}{m} = \frac{1}{n} \sum_{i=1}^n \left(\frac{1}{a_i}\right)\]

Step 2: Express the positive factors of N

Let's assume that there are \(2k\) positive factors of N, which can be expressed as \(d_1, d_2, \ldots, d_k, \frac{N}{d_1}, \frac{N}{d_2}, \ldots, \frac{N}{d_k}\). Notice that each factor \(d_i\) has a corresponding factor \(\frac{N}{d_i}\), thus N has an even number of factors.

Step 3: Calculate the sum of the reciprocals of the factors

Now, let's calculate the sum of the reciprocals of these factors: \[S = \sum_{i=1}^k \left(\frac{1}{d_i} + \frac{1}{\frac{N}{d_i}}\right)\] We can simplify each term in the sum as: \[\frac{1}{d_i} + \frac{1}{\frac{N}{d_i}} = \frac{d_i + \frac{N}{d_i}}{d_i} = \frac{d_i^2 + N}{d_i N}\]

Step 4: Substitute S into the harmonic mean formula

Substitute the value of S into the harmonic mean formula: \[\frac{1}{m} = \frac{1}{2k} \sum_{i=1}^k \left(\frac{d_i^2 + N}{d_i N}\right)\]

Step 5: Simplify and solve for m

Since m is the reciprocal of the expression on the right, to show that m is an integer, it is enough to show that this expression is an integer too. Now, let's multiply both sides by \(2k\): \[2k\left(\frac{1}{m}\right) = \sum_{i=1}^k \left(\frac{d_i^2 + N}{d_i N}\right)\] Notice that in each term of the sum, \(d_i^2 + N\) is divisible by \(d_i N\), which is an integer. Thus, the sum of these terms must also be an integer. Therefore, we can say that \(2k\left(\frac{1}{m}\right)\) is an integer, which implies that m must be an integer since \(2k\) is also an integer. Hence, the harmonic mean of the positive factors of a perfect number N is an integer.

Key Concepts

Perfect Number

A perfect number is a positive integer that is equal to the sum of its positive divisors, excluding itself. For example, the smallest perfect number is 6 because its divisors are 1, 2, and 3, and when you add these numbers, you get 6, which is the number itself.

A perfect number has intriguing properties and relationships with other mathematical concepts, including the harmonic and arithmetic means. The proof exercise demonstrates one of these relationships by showing the harmony between a perfect number's divisors when we calculate their harmonic mean.

Arithmetic Mean

The arithmetic mean, commonly known as the average, is calculated by adding several numbers and then dividing the sum by the count of those numbers. For instance, the arithmetic mean of 2, 4, and 6 would be \(\frac{2 + 4 + 6}{3} = 4\).

This concept is closely related to the harmonic mean, especially when considering the reciprocals of a set of numbers. The arithmetic mean of the reciprocals plays a pivotal role in computing the harmonic mean, serving as its reciprocal.

Reciprocals

A reciprocal of a number is simply 1 divided by that number. For any non-zero number \(x\), its reciprocal is \(\frac{1}{x}\). When we talk about reciprocals in the context of means, it becomes particularly interesting; for sets of positive numbers, the harmonic mean is defined as the reciprocal of the arithmetic mean of the reciprocals of the numbers.

Calculating the harmonic mean involves working with reciprocals of each number in the set. The exercise uses reciprocals of a perfect number's divisors to establish that the harmonic mean of these divisors is an integer, revealing a harmonious pattern that connects these mathematical concepts.