H and HM ::: the same quantity — the harmonic meanH=HM(a,b)=a+b2ab; we write H for short.
AM ::: arithmetic mean2a+b (the everyday average).
GM ::: geometric meanab (the "multiply-then-root" average, see Geometric Mean).
a1 ::: the reciprocal of a — 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 whyAM≥GM≥HM — the three means literally stack in that order.
Figure 1 — The blue dots (top) are an HP: 6,3,2. Each gray vertical arrow is the reciprocal-flip map, sending term a down to a1. The orange dots (bottom) are the flipped values 61,31,21; the green double-arrows show their gaps are both +61 — a constant difference, so the flip has revealed a hidden AP.
Figure 2 — On a single number line the endpoints a=2 and b=8 are gray. The three means land in a fixed order: red HM =3.20, green GM =4.00, blue AM =5.00. Read left-to-right to see HM≤GM≤AM; all three would merge into one dot only if a=b.
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 8,4,1) 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 0 so every reciprocal exists.
The constant sequence 5,5,5,… is an HP.
True — its reciprocals 51,51,51 form an AP with common difference 0, which satisfies the definition.
If a,b,c are in HP then a,b,c are also in AP.
False in general — that would force a1,b1,c1anda,b,c to both be APs, which only happens when all three are equal.
The HM of two positive numbers always lies between them.
True — HM(a,b) sits strictly between min and max (equal to both only when a=b), just like any genuine average.
HM(a,b)=21(a1+b1).
False — that expression is H1 (the average of reciprocals); the HM is its reciprocal H=a+b2ab.
For positive numbers, AM≥GM≥HM with equality only when the numbers are equal.
True — the chain collapses to a single value exactly when a=b; otherwise every inequality is strict.
An HP can contain a term equal to 0.
False — a 0 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 on0, the flipped-back terms simply switch sign at that point (unpacked below in Edge cases).
"4,6,9 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 41,61,91 do not have.
"The average speed of going at u then v is 2u+v."
That AM is only correct for equal times; for equal distances the times (reciprocals of speed) add, giving the HM u+v2uv instead — see Average speed and rates.
"HM(a,b)=2aba+b."
The numerator and denominator are swapped: 2aba+b equals H1, so the HM is its reciprocal a+b2ab.
"The middle term of any HP a,H,b is the ordinary average 2a+b."
The reciprocal is the average (that's what "AP in the middle" means); flipping back gives HM, which is smaller than 2a+b for positive unequal a,b.
"Sum of an HP has a closed form like 2n(a+l)."
No — there is no simple closed form for ∑A+(n−1)D1; that AP-style sum formula does not transfer through the reciprocal flip.
"Since GM2=AM⋅HM, the GM is the average of AM and HM."
The GM is their geometric mean, not arithmetic — GM=AM⋅HM, so it equals 21(AM+HM) only when all are equal.
"Two resistors of 3Ω and 6Ω in parallel give the AM, 4.5Ω."
Parallel resistors add as reciprocals, so the combined value relates to the HM, not the AM — see Resistors in parallel; the result (2Ω) is less than either resistor.
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 =speedd) 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 an1; the term we actually want is an, 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 H1=21(a1+b1) come from "the middle of an AP"?
Equal gaps mean H1−a1=b1−H1; 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 v1−u1=f1 adds reciprocals of distances, the same reciprocal-adding structure behind HM — see Lens formula.
It equals a — the chain AM=GM=HM=a collapses to a single value whenever the numbers are equal.
What is HM(a,−a) when the two numbers are opposites?
Undefined — then a+b=0, so H=a+b2ab 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 61,51,41 give HP 6,5,4.
Show a concrete HP that mixes signs.
Take a reciprocal AP that steps down past (but never onto) zero: 23,21,−21,−23 (constant difference −1, never 0); flipping gives HP 32,2,−2,−32, positive then negative — legal because no reciprocal is 0.
What happens to HM(a,b) as b→0+ with a fixed positive?
H=a+b2ab→0 — a tiny value drags the harmonic mean toward 0 far more strongly than it would drag the AM.
What happens to average speed if the return speed v→∞?
sˉ=u+v2uv→2u — 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 a,b 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 GM2=AM⋅HM still hold if one number is negative?
Not reliably — the identity is derived and stated for positivea,b; with a negative number the GM ab 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 H1 is the average — the HM is its reciprocal.