Why one of the two means can never overtake the other

What to assume they know

• The number that sits between two others multiplicatively — the geometric mean of two positive numbers and the condition that defines it
• The half-sum of two numbers, from earlier classes; this chapter names it but does not define it
• Expanding a squared difference, and recognising a squared difference in expanded form
• Square roots of positive numbers, and the fact that a real square is never negative
• The identity relating the square of a difference to the square of a sum and four times the product
• Solving a pair of simultaneous linear equations in two unknowns

What they should be able to do

• State both means of a pair of positive numbers and compute each
• Derive the difference between the two means and recognise it as half a square
• Conclude the inequality from the sign of a square, and explain why no example is needed
• Identify the case in which the two means coincide, and justify it
• Recover a pair of positive numbers from their two means, using the identity the chapter supplies
• Explain why the answer emerges as a pair without an order
• Decide whether a proposed pair of means is even possible, and say what rules it out
• Recognise the inequality operating inside later exercise items, where a square root has to stay real

Where it usually goes wrong

• "A ≥ G is a rule of thumb that happens to work." It is proved in three lines, and the proof is the topic. A student who has only seen examples has not seen the content.
• "Enough examples would establish it." No finite number of pairs establishes a statement about every pair. Say this out loud when the temptation appears in section 2 — it is the first place in this chapter where proof and evidence come apart.
• "The inequality is strict." It is not. The two means agree exactly when the two numbers agree. The chapter's own symbol includes the equal case and the chapter never spends a sentence on it.
• "It holds for any two real numbers." The section says positive, and −1 with −4 breaks it. Positivity is also what makes the geometric mean a real number in the first place.
• "Any pair of values can serve as an arithmetic mean and a geometric mean." Swap Example 13's two values and the arithmetic collapses to the square root of a negative number. The inequality is a gate on which questions are answerable.
• "Example 13 has two different answers." It has one pair. The two lines of the solution differ only in which number is called a.
• "The identity used in Example 13 must be memorised separately." It is the expansion of a squared difference rearranged, and it is doing one job here: turning a known sum and a known product into a difference.
• "The chapter defined the arithmetic mean earlier." It did not. See the note below; this is the largest hole in the chapter as printed.

Questions to check understanding

• Compute both means of a given positive pair and compare them
• Reproduce the derivation of the inequality, naming the step where the square appears
• Recover a pair of numbers from their two means
• Form a quadratic equation from the two means of its roots
• Show a ratio result about two numbers given a relation between their means
• Decide whether a stated pair of means is achievable and justify the verdict
• State when the two means are equal, with a reason

Examples worth working on the board

Values marked verified are worked out here on the chapter's stated inputs. Exercise items are inputs; this chapter prints no answers to them.

• The set-up (§8.5, p. 144). Two positive real numbers are given. A is their half-sum; G is the square root of their product. The section then computes A − G, writes the numerator as the sum less twice the square root of the product, recognises that numerator as the square of the difference of the two square roots, and concludes that the whole expression is at least zero — hence A is at least G.
• The recognition step is the lesson. Verified: expanding the square of (√a − √b) gives a, minus twice √a√b, plus b, and √a√b is √(ab); so the numerator the section produces and the square it claims are the same expression. Do this expansion in the direction the student will need it — from the square outwards — and then run it back. Students accept the line and cannot reproduce it, because on the page it appears already recognised.
• The equality case (not printed; an added derivation). A square is zero exactly when the thing being squared is zero, so A equals G exactly when √a = √b, which for positive numbers means a = b. Verified on an instance: for 9 and 9 both means are 9. The chapter writes the inequality with the "or equal" included and never says when the equal part is achieved.
• Why the positivity restriction is not decoration (an added counterexample). Take a = −1 and b = −4. Verified: their half-sum is −2.5, while the square root of their product is the square root of 4, which is 2 — so here the half-sum is the smaller of the two. The section restricts itself to positive numbers, and this is what the restriction is holding back.
• Example 13 (pp. 144–145). Inputs: two positive numbers whose arithmetic mean is 10 and whose geometric mean is 8. The page converts these into a sum of 20 and a product of 64, invokes the identity that the square of the difference equals the square of the sum less four times the product, and gets 400 − 256. Verified: that is 144, so the difference is 12 or −12, and solving with the sum gives the pair 4 and 16. Check both means: their half-sum is 10 and the square root of their product is 8.
• A demonstration that the inequality is doing real work (an added construction, built on Example 13's method). Ask for two positive numbers whose arithmetic mean is 8 and whose geometric mean is 10 — that is, the same pair of values swapped. Verified: the sum would be 16 and the product 100, so the square of the difference would be 256 − 400, which is −144. No real pair exists. This is the cleanest way to show a student that A ≥ G is a condition on what is possible, not a decorative remark.
• Exercise 8.2 item 29 (p. 146). Inputs: A and G are the two means of two positive numbers; the numbers are to be shown equal to A plus or minus the square root of the product of A + G and A − G. Verified: the square of the difference of the pair is four times A squared less four times G squared, which factors into four times (A + G) times (A − G); taking the root and combining with the sum gives the stated expressions. Note what makes this item the inequality in disguise — the square root is real only because A − G is not negative.
• Exercise 8.2 items 28 and 32 (pp. 146–147). Inputs: two numbers whose total is six times their geometric mean, with their ratio to be shown equal to (3 + 2√2) : (3 − 2√2); and a quadratic equation whose roots have arithmetic mean 8 and geometric mean 5, the equation to be obtained. Verified: the first says A is three times G, and feeding that into the recovery formula gives the stated ratio, since the square root of eight is two root two. The second gives a sum of 16 and a product of 25, so the equation has 16 as the coefficient to subtract and 25 as the constant. Both are consistent with A ≥ G — three times G exceeds G, and 8 exceeds 5.
• Miscellaneous Exercise item 10 (p. 148). Inputs: the two means of two positive numbers stand in the ratio m to n, and the ratio of the numbers themselves is to be shown equal to the pair formed from m and the square root of m² − n². Verified: substituting A = mk and G = nk into the recovery formula produces exactly that, and the square root is real only when m is at least n — which is the inequality once more, now controlling whether the question has an answer at all.

Figures to have open

• A number line carrying a, b, their half-sum and their geometric mean, with the geometric mean drawn nearer the smaller number. Sections 1, 5 and 6 all use it, and it should show as a and b are dragged together until the two means meet. Standard schematic; the chapter draws nothing.
• A panel showing the numerator and the square as two written forms of one expression, with the expansion arrows running in both directions. Standard schematic.
• A two-column "possible / impossible" panel for section 10. Standard schematic.
• No artwork is available from the book. All sixteen printed pages were opened as images: the chapter carries no numbered figure, and its only illustration is the portrait on p. 135.

Where this sits in the book

• NCERT Class XI Mathematics, Chapter 8 "Sequences and Series", §8.5 Relationship Between A.M. and G.M., p. 144
• Example 13, pp. 144–145
• Exercise 8.2 items 28, 29 and 32, pp. 146–147
• Miscellaneous Exercise on Chapter 8 item 10, p. 148
• §8.4.3, p. 143, for the geometric mean this section compares against
• The Summary, p. 149, restates the geometric mean but does not restate this section's inequality