I aritmetiske og geometriske progresjoner er det variasjon mellom to påfølgende ledd, men i tilfelle av en harmonisk progresjon er tre ledd knyttet.
Gitt tre tall m, n, p, sies de å være i harmonisk forhold hvis . [ 1 ]
En tallsekvens danner en harmonisk progresjon hvis hver samling av tre påfølgende ledd danner et harmonisk forhold.
De multiplikative inversene til leddene som er i aritmetisk progresjon danner en harmonisk progresjon.
Hvis A, G, H er de aritmetiske, geometriske og harmoniske middelene, så er det geometriske gjennomsnittet det proporsjonale gjennomsnittet mellom det aritmetiske og harmoniske gjennomsnittet.
Dette er enten
Det harmoniske gjennomsnittet av m og n er , som kan skrives
, eller på annen måte (α)
På den annen side og i (α) har vi
, som er hentet fra , som beviser forholdet