Login

Concepts

Read through concept notes with worked explanations and diagrams, chapter by chapter.

Concept 05 / 07Sequences and Series

Harmonic Progressions and the Arithmetic, Geometric and Harmonic Means

Harmonic progressions as reciprocals of an AP, the harmonic mean, the relations A >= G >= H and G^2 = AH for two numbers, inserting means, and deciding whether three numbers are in AP, GP or HP from a single ratio.

Figure 1
A sequence of non-zero numbers is a harmonic progression (HP) if the reciprocals of its terms form an AP. There is no separate formula for the sum of an HP; every HP question is solved by passing to the reciprocal AP. The nnth term is Tn=11a+(n−1)dT_{n} = \frac{1}{\frac{1}{a} + (n - 1)d}, where dd is the common difference of the reciprocals. Numbers a,b,ca, b, c are in HP if and only if 2b=1a+1c\frac{2}{b} = \frac{1}{a} + \frac{1}{c}, that is, b=2aca+cb = \frac{2ac}{a + c}. The harmonic mean of aa and bb is H=2aba+bH = \frac{2ab}{a + b}: it is the reciprocal of the average of the reciprocals. It appears whenever rates are averaged over equal amounts: driving equal distances at 4040 and 6060 km/h gives an average speed of 2×40×60100=48\frac{2 \times 40 \times 60}{100} = 48 km/h, not 5050. Parallel resistors and lens formulas also produce harmonic means. The three means of two positive numbers. Let A=a+b2A = \frac{a + b}{2}, G=abG = \sqrt{ab} and H=2aba+bH = \frac{2ab}{a + b}. Then: A≥G≥HA \ge G \ge H, with equality throughout if and only if a=ba = b. G2=AHG^{2} = AH, so AA, GG, HH themselves form a GP. The first inequality is a+b2−ab=(a−b)22≥0\frac{a + b}{2} - \sqrt{ab} = \frac{(\sqrt{a} - \sqrt{b})^{2}}{2} \ge 0. The second follows from the first applied to 1a\frac{1}{a} and 1b\frac{1}{b}, or from G2=AHG^{2} = AH and A≥GA \ge G. The figure gives a geometric proof. Draw a semicircle on a diameter of length a+ba + b, split into pieces aa and bb at a point CC. The radius is AA. The perpendicular from CC to the circle has length GG (by similar triangles, or the intersecting chords theorem, G2=abG^{2} = ab). Dropping a perpendicular from CC onto the radius through the top of that segment cuts off a length HH along that radius (since G2=AHG^{2} = AH in the right triangle). A radius is at least as long as any half-chord, and a hypotenuse is at least as long as its projection, so A≥G≥HA \ge G \ge H. The three lengths coincide only when CC is the centre, that is, a=ba = b. Recognising the type from one ratio. For three numbers a,b,ca, b, c, the expression a−bb−c\frac{a - b}{b - c} decides it: a−bb−c=aa=1  ⟺  \frac{a - b}{b - c} = \frac{a}{a} = 1 \iff AP. a−bb−c=ab  ⟺  \frac{a - b}{b - c} = \frac{a}{b} \iff GP. a−bb−c=ac  ⟺  \frac{a - b}{b - c} = \frac{a}{c} \iff HP. Each follows by cross-multiplying and comparing with 2b=a+c2b = a + c, b2=acb^{2} = ac and b=2aca+cb = \frac{2ac}{a + c}. Inserting harmonic means: to insert nn harmonic means between aa and bb, insert nn arithmetic means between 1a\frac{1}{a} and 1b\frac{1}{b}, then take reciprocals. The reciprocal AP has common difference a−b(n+1)ab\frac{a - b}{(n + 1)ab}. Useful facts for three numbers in HP: if a,b,ca, b, c are in HP, then ab+c,bc+a,ca+b\frac{a}{b + c}, \frac{b}{c + a}, \frac{c}{a + b} are also in HP (add 11 to each to get (a+b+c)×(a + b + c) \times reciprocals of b+cb + c, and so on). Similarly, many 'show that these are in AP/GP/HP' questions reduce to one of the three defining relations after adding or multiplying by a common quantity. Key Takeaways: - HP: reciprocals in AP. Always convert to the reciprocal AP. - H=2aba+bH = \frac{2ab}{a + b}; average of speeds over equal distances is the harmonic mean. - A≥G≥HA \ge G \ge H for positive numbers, with equality iff a=ba = b. - G2=AHG^{2} = AH for two numbers. - a−bb−c\frac{a - b}{b - c} equals 11, ab\frac{a}{b} or ac\frac{a}{c} for AP, GP or HP. - b=2aca+cb = \frac{2ac}{a + c} for a,b,ca, b, c in HP. - Pitfall: trying to use a 'sum of HP' formula; none exists. Brain-Teaser 1: If the AM and GM of two positive numbers are 1010 and 88, find the numbers and their HM. Solution: a+b=20a + b = 20 and ab=64ab = 64, so a,ba, b are the roots of t2−20t+64=0t^{2} - 20t + 64 = 0, namely 1616 and 44. The HM is G2A=6410=6.4\frac{G^{2}}{A} = \frac{64}{10} = 6.4, which also equals 2×16×420\frac{2 \times 16 \times 4}{20}. Using G2=AHG^{2} = AH gives the HM without finding the numbers at all. Brain-Teaser 2: If a,b,ca, b, c are in HP, show that 1b−a+1b−c=1a+1c\frac{1}{b - a} + \frac{1}{b - c} = \frac{1}{a} + \frac{1}{c}. Solution: From 2b=1a+1c\frac{2}{b} = \frac{1}{a} + \frac{1}{c} we get b=2aca+cb = \frac{2ac}{a + c}. Then b−a=2ac−a2−aca+c=a(c−a)a+cb - a = \frac{2ac - a^{2} - ac}{a + c} = \frac{a(c - a)}{a + c} and b−c=c(a−c)a+cb - c = \frac{c(a - c)}{a + c}. So 1b−a+1b−c=a+ca(c−a)−a+cc(c−a)=(a+c)(c−a)ac(c−a)=a+cac=1a+1c\frac{1}{b - a} + \frac{1}{b - c} = \frac{a + c}{a(c - a)} - \frac{a + c}{c(c - a)} = \frac{(a + c)(c - a)}{ac(c - a)} = \frac{a + c}{ac} = \frac{1}{a} + \frac{1}{c}. Substituting the HP relation for the middle term and simplifying is the direct route; the (c−a)(c - a) cancels neatly, which is the sign that the algebra is right. Brain-Teaser 3: A car travels from A to B at 3030 km/h and returns at 6060 km/h. Another car does the round trip at a constant 4545 km/h. Which is faster, and why? Solution: The first car's average speed is the harmonic mean of 3030 and 6060 (equal distances): 2×30×6090=40\frac{2 \times 30 \times 60}{90} = 40 km/h. The second car averages 4545 km/h, which is the arithmetic mean. Since H<AH < A for unequal speeds, the second car always wins. Intuitively, the first car spends twice as long at the slow speed as at the fast one, so the slow speed dominates the average. The inequality A>HA > H is the precise statement of this intuition.