3.3.4 · D5Sequences & Series

Question bank — Harmonic progression — definition, HM

1,776 words8 min readBack to topic
Recall Notation reminder (what the letters mean)
  • and HM ::: the same quantity — the harmonic mean ; we write for short.
  • AM ::: arithmetic mean (the everyday average).
  • GM ::: geometric mean (the "multiply-then-root" average, see Geometric Mean).
  • ::: the reciprocal of — flip numerator and denominator.

Two pictures anchor the whole page. Figure 1 shows the "flip" mapping that turns an HP into an AP. Figure 2 shows why — the three means literally stack in that order.

Figure — Harmonic progression — definition, HM
Figure 1 — The blue dots (top) are an HP: . Each gray vertical arrow is the reciprocal-flip map, sending term down to . The orange dots (bottom) are the flipped values ; the green double-arrows show their gaps are both — a constant difference, so the flip has revealed a hidden AP.

Figure — Harmonic progression — definition, HM
Figure 2 — On a single number line the endpoints and are gray. The three means land in a fixed order: red HM , green GM , blue AM . Read left-to-right to see ; all three would merge into one dot only if .


True or false — justify

A sequence is in HP whenever its terms keep decreasing.
False — decreasing is not enough; the reciprocals must have a constant difference. Many decreasing lists (like ) are not HP.
Every AP with no zero terms becomes an HP when you flip each term.
True — flipping an AP's terms gives an HP by definition, provided no term is so every reciprocal exists.
The constant sequence is an HP.
True — its reciprocals form an AP with common difference , which satisfies the definition.
If are in HP then are also in AP.
False in general — that would force and to both be APs, which only happens when all three are equal.
The HM of two positive numbers always lies between them.
True — sits strictly between and (equal to both only when ), just like any genuine average.
.
False — that expression is (the average of reciprocals); the HM is its reciprocal .
For positive numbers, with equality only when the numbers are equal.
True — the chain collapses to a single value exactly when ; otherwise every inequality is strict.
An HP can contain a term equal to .
False — a term has no reciprocal, so the reciprocal AP can't exist; HP forbids zero terms entirely.
A single HP can contain both positive and negative terms.
True — the reciprocal AP may start positive and later become negative; as long as it never lands on , the flipped-back terms simply switch sign at that point (unpacked below in Edge cases).

Spot the error

" is in HP because it grows by a nice ratio."
Growing by a ratio makes it a Geometric Progression, not HP; you must flip and check the reciprocals for a constant difference, which do not have.
"The average speed of going at then is ."
That AM is only correct for equal times; for equal distances the times (reciprocals of speed) add, giving the HM instead — see Average speed and rates.
"."
The numerator and denominator are swapped: equals , so the HM is its reciprocal .
"The middle term of any HP is the ordinary average ."
The reciprocal is the average (that's what "AP in the middle" means); flipping back gives HM, which is smaller than for positive unequal .
"Sum of an HP has a closed form like ."
No — there is no simple closed form for ; that AP-style sum formula does not transfer through the reciprocal flip.
"Since , the GM is the average of AM and HM."
The GM is their geometric mean, not arithmetic — , so it equals only when all are equal.
"Two resistors of and in parallel give the AM, ."
Parallel resistors add as reciprocals, so the combined value relates to the HM, not the AM — see Resistors in parallel; the result () is less than either resistor.

Why questions

Why is HP defined through reciprocals instead of getting its own fresh theory?
Because flipping the terms turns HP into an Arithmetic Progression, letting us reuse all AP tools (nth term, means) instead of reinventing them.
Why does average speed over equal distances use HM and not Arithmetic Mean?
Equal distances make the times (each ) add up, and times are reciprocals of speed, so the speeds combine harmonically.
Why must we "flip back at the very end" when finding an HP's nth term?
The AP nth-term formula gives the reciprocal ; the term we actually want is , so a final reciprocal undoes the disguise.
Why is the HM the smallest of the three means for positive unequal numbers?
Reciprocating is order-reversing, so the largest reciprocals dominate the average, pulling the flipped-back result down below GM and AM (this is exactly Figure 2).
Why does come from "the middle of an AP"?
Equal gaps mean ; solving shows the middle reciprocal is the average of the end reciprocals.
Why can't we just check "constant ratio" to test for HP?
Constant ratio is the test for a Geometric Progression; HP requires the reciprocals to have a constant difference, a completely different condition.
Why does the lens formula feel harmonic?
Because adds reciprocals of distances, the same reciprocal-adding structure behind HM — see Lens formula.

Edge cases

What is the HM of a number with itself, ?
It equals — the chain collapses to a single value whenever the numbers are equal.
What is when the two numbers are opposites?
Undefined — then , so divides by zero; opposite pairs have no harmonic mean, which is why this case must be forbidden, not "answered".
Can an HP be strictly increasing?
Yes — if the reciprocal AP is strictly decreasing (negative common difference), the flipped terms strictly increase, e.g. reciprocals give HP .
Show a concrete HP that mixes signs.
Take a reciprocal AP that steps down past (but never onto) zero: (constant difference , never ); flipping gives HP , positive then negative — legal because no reciprocal is .
What happens to HM as with fixed positive?
— a tiny value drags the harmonic mean toward far more strongly than it would drag the AM.
What happens to average speed if the return speed ?
— the round-trip average caps at twice the slow speed, never higher, because the slow leg dominates the total time.
Is a two-term "sequence" like enough to call it an HP?
Any two nonzero numbers trivially form an HP (and an AP), since two reciprocals always have a well-defined single difference; HP structure only becomes meaningful from three terms on.
Does still hold if one number is negative?
Not reliably — the identity is derived and stated for positive ; with a negative number the GM may not even be real.

Recall One-line summary of every trap

Flip → it's an AP → do AP work → flip back. Constant difference of reciprocals (not ratio), no zero terms, no opposite pairs, and is the average — the HM is its reciprocal.

Connections

  • Arithmetic Progression — the disguise HP hides.
  • Geometric Progression — the ratio test people confuse with HP; also the middle mean.
  • Arithmetic Mean / Geometric Mean — partners of HM in the AM–GM–HM chain.
  • Average speed and rates, Resistors in parallel, Lens formula — physical homes of reciprocal-adding.
  • 3.3.04 Harmonic progression — definition, HM (Hinglish) — the same ideas in Hinglish.