What is a harmonic sequence?

A harmonic sequence is a sequence whose terms are the reciprocals of an arithmetic sequence. If the underlying arithmetic sequence has first term b_1 and common difference d, the harmonic sequence has general term a_n = 1 divided by (b_1 + (n-1)d). The simplest example is 1, 1/2, 1/3, 1/4, and so on.

Does the harmonic series converge or diverge?

The harmonic series, the infinite sum of 1/n for n from 1 to infinity, diverges. Although the individual terms shrink to zero, they do so too slowly for the partial sums to remain bounded. Oresme's classical proof groups the terms into doubling blocks, each contributing at least 1/2 to the total.

What is the harmonic mean?

The harmonic mean of n positive numbers is n divided by the sum of their reciprocals. For two numbers a and b, this simplifies to 2ab divided by (a + b). In a harmonic sequence, every interior term equals the harmonic mean of its two neighbors, mirroring the arithmetic mean property of arithmetic sequences.

How do the arithmetic, geometric, and harmonic means compare?

For any set of positive numbers, the harmonic mean is never greater than the geometric mean, which is never greater than the arithmetic mean: H is less than or equal to G is less than or equal to A. Equality throughout holds only when all the numbers are identical. This chain links the three families of sequences through their associated means.

Why does the harmonic series diverge while the geometric series converges?

Both series have terms approaching zero, but the rate matters. Geometric terms shrink by a constant factor at each step, fast enough to keep the total finite when the absolute value of the ratio is less than 1. Harmonic terms shrink too slowly: terms approaching zero is necessary for convergence but not sufficient.

Harmonic Sequences

Reciprocals of Arithmetic Progressions

A harmonic sequence is what you get when you take the reciprocals of an arithmetic sequence. The structure is inherited — the spacing of the original arithmetic progression determines everything — but the behavior is fundamentally different. Harmonic sequences have no closed-form partial sums, and the simplest harmonic series diverges despite its terms shrinking to zero.

Definition

A harmonic sequence is a sequence whose terms are the reciprocals of an arithmetic sequence. If

b_1, b_2, b_3, \ldots

is arithmetic with first term

b_1 > 0

and common difference

d > 0

, then the harmonic sequence is:

a_n = \frac{1}{b_n} = \frac{1}{b_1 + (n-1)d}

The simplest example takes

b_n = n

: the reciprocals

1, \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \ldots

form the harmonic sequence of natural number reciprocals. The sequence

\frac{1}{3}, \frac{1}{5}, \frac{1}{7}, \frac{1}{9}, \ldots

is also harmonic — it comes from the arithmetic sequence

3, 5, 7, 9, \ldots

with

b_1 = 3

and

d = 2

.

A harmonic sequence is neither arithmetic nor geometric. The differences between consecutive terms are not constant (they decrease), and the ratios are not constant either (they approach

1

from below). The defining property is that the reciprocals form an arithmetic progression — the structure lives one layer down.

Properties

Assuming the underlying arithmetic sequence has positive terms and positive common difference, the harmonic sequence is strictly decreasing: each term is smaller than its predecessor because the denominators grow.

The terms approach zero as

n \to \infty

, since the denominators grow without bound. However, the rate of decrease slows — the gap between

\frac{1}{n}

and

\frac{1}{n+1}

\frac{1}{n(n+1)}

, which itself shrinks as

n

increases.

Unlike arithmetic and geometric sequences, harmonic sequences have no closed-form expression for their partial sums. The sum

\sum_{k=1}^{n} \frac{1}{k}

cannot be written as a simple formula in

n

. This absence is not a gap in technique — it is a fundamental property. The partial sums, known as harmonic numbers

H_n

, grow roughly as

\ln n

but involve no elementary closed form.

The Harmonic Series

The harmonic series is the infinite sum of reciprocals of the natural numbers:

\sum_{n=1}^{\infty} \frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \cdots

This series diverges — its partial sums grow without bound, even though the individual terms shrink to zero.

The proof by grouping (attributed to Oresme, 14th century) is among the most elegant in mathematics. Group the terms after the first as follows:

1 + \frac{1}{2} + \left(\frac{1}{3} + \frac{1}{4}\right) + \left(\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8}\right) + \cdots

The first group contains

1

term summing to at least

\frac{1}{2}

. The next group contains

2

terms, each at least

\frac{1}{4}

, summing to at least

\frac{1}{2}

. The next contains

4

terms, each at least

\frac{1}{8}

, again summing to at least

\frac{1}{2}

. Each doubling block contributes at least

\frac{1}{2}

, and there are infinitely many blocks.

The harmonic series grows slowly — its partial sums approximate

\ln n + \gamma

, where

\gamma \approx 0.5772

is the Euler–Mascheroni constant. To reach a partial sum exceeding

10

, you need over

12{,}000

terms. But slowly is not the same as bounded: the sum eventually surpasses any finite threshold.

This stands in contrast to the geometric series

\sum \frac{1}{2^n}

, which converges to

1

. Both series have terms approaching zero, but geometric terms shrink fast enough (by a constant factor) to keep the total finite. Harmonic terms shrink too slowly. The lesson: terms approaching zero is necessary for convergence but not sufficient.

Harmonic Mean

The harmonic mean of

n

positive numbers

a_1, a_2, \ldots, a_n

is:

H = \frac{n}{\frac{1}{a_1} + \frac{1}{a_2} + \cdots + \frac{1}{a_n}}

For two numbers, this simplifies to:

H = \frac{2ab}{a + b}

In a harmonic sequence, every term (except the first and last) is the harmonic mean of its two neighbors. This follows from the fact that the reciprocals form an arithmetic sequence: the reciprocal of each term is the arithmetic mean of the reciprocals of its neighbors, and taking reciprocals back gives the harmonic mean relationship.

Inserting

k

harmonic means between two values

a

and

b

reduces to inserting

k

arithmetic means between

\frac{1}{a}

and

\frac{1}{b}

, then taking reciprocals of all inserted terms.

The Mean Inequality

For any set of positive numbers, the three means satisfy:

H \leq G \leq A

The harmonic mean is never greater than the geometric mean, which is never greater than the arithmetic mean. Equality throughout holds if and only if all numbers are identical.

For two positive numbers

a

and

b

\frac{2ab}{a+b} \leq \sqrt{ab} \leq \frac{a+b}{2}

This chain links the three types of sequences through their associated means. Each mean captures a different notion of "average": arithmetic for additive processes, geometric for multiplicative processes, and harmonic for rates and reciprocals.

The AM–GM portion of the inequality (

G \leq A

) is used extensively throughout algebra, particularly in optimization and in proving inequalities. The full three-way chain places the harmonic mean as the lower bound of the trio.