Density: averaging always finds another rational in between

What to assume they know

• What "rational" means, and why the denominator cannot be zero — closure of the rationals under addition and division by a non-zero rational
• Placing a rational number on the line, and distance as |a − b| — locating a rational on the number line
• Finding the average of two numbers
• Comparing two fractions with unlike denominators
• Adding rationals over a common denominator

What they should be able to do

• State what it means for a set of numbers to be dense
• Produce a rational strictly between two given rationals using the average
• Explain why the average of two rationals is itself rational, naming the closure facts used
• Explain why the average lies strictly between the two, and not at either end
• Iterate the construction to produce several numbers in a given interval, and argue that the process never terminates
• Produce several rationals between two given numbers by a second method — a shared denominator with room between the numerators
• State the condition on the numerators that a shared-denominator method requires to yield a stated count
• Distinguish "densely packed" from "leaving no gaps", and state which of the two §3.4.2 establishes
• Frame the question the section closes on, and say where the chapter answers it

Where it usually goes wrong

• "Between two fractions that are very close there is no room." The average construction does not care how close they are; it always returns something strictly inside. Closeness is not a barrier because there is no smallest positive rational.
• "Averaging might land exactly on one of the endpoints." It cannot, unless the two inputs were already equal. The inequality argument in section 5 is what rules it out, and it is worth showing rather than asserting.
• "The average of two fractions might not be a fraction." It always is, and the reason is two printed closure facts. Students who cannot name the reason have not understood what closure is for.
• "Dense means there are no gaps." This is the misconception the entire chapter turns on, and §3.4.2 sets it up so that §3.5 can knock it down. Density is a statement about pairs of rationals; it says nothing about whether some particular point is rational.
• "To find three numbers between two fractions, average three times." That works, but it clusters the results towards one end. The shared-denominator route spreads them, and the exercises are set up to reward it.
• "Any common denominator will do." Q2, Q5, Q6 and Q13 all fail on the first denominator a student reaches for. The denominator has to be large enough to leave the required number of integer numerators between the endpoints.
• "3.1415 and 3.1416 are consecutive, so nothing is between them." They are consecutive ten-thousandths, not consecutive numbers. Adding a decimal place opens the interval up.

Questions to check understanding

• Find one rational between two given rationals, and state the method used
• Find a stated number of rationals between two given rationals — the board's most common form, appearing four times in this chapter's own exercises
• Explain why the average of two rationals is rational
• Show that the average of two numbers lies between them
• Given a target count of numbers, choose a suitable common denominator and justify the choice
• Find rationals between two close decimals
• Explain the difference between the rationals being dense and the rationals filling the line

Examples worth working on the board

Values marked verified are worked out here on the chapter's stated inputs. The chapter prints no answers.

• The chapter's two printed instances (§3.4.2, p. 52). Between the integers 1 and 2 sits 3/2. Between 1 and 3/2 sits 5/4, and the chapter shows this one being produced rather than spotted: the average of 1 and 3/2, written as a compound fraction, is 5/4. Verified.
• Fig. 3.9 (p. 52), read from the printed page. A short line with arrowheads carrying four labels above the axis: 1, 5/4, 3/2, 2. It is the picture of the two printed instances stacked, and it shows the gap shrinking, which is the whole point of the section.
• The general claim the chapter sets as an exercise (§3.4.2, p. 52). The chapter states that the average of two rationals, written as their sum over 2, is always a rational lying between them, and asks the student for the reason. It does not supply one. Both halves of the explanation are the explanation's job:
  • Rationality. Adding two rationals gives a rational (printed, §3.4, p. 48); dividing a rational by 2 gives a rational, since 2 is a non-zero rational and division by a non-zero rational is closed (printed, §3.4, p. 48). So the average is rational.
  • Position. If a is less than b, then a is the average of a with itself, and b is the average of b with itself, so averaging a with b lands strictly between. Verified as a valid argument.
• Iterating (the explanation's construction). Feed it 1 and 2 and let it run four rounds. Verified: 3/2, then 5/4, then 9/8, then 17/16 — each halving the remaining distance to 1, and each still rational. The pattern in the numerators and denominators is worth showing: it shows the construction never runs out of room.
• Exercise Set 3.4, Q2 (p. 52). Find three distinct rationals strictly between −1/2 and 1/4. Verified by the shared-denominator route: rewrite as −2/4 and 1/4; quarters supply only two numerators strictly between −2 and 1, namely −1 and 0, giving −1/4 and 0 — one short of the three the question wants, so the denominator must be enlarged. Over eighths the endpoints are −4/8 and 2/8, which leaves −3/8, −2/8, −1/8, 0, 1/8 available — five candidates for the three required. This is the exercise that teaches why the denominator has to be chosen large enough, and it is the same lesson as end-of-chapter Q13.
• Exercise Set 3.4, Q5 (p. 53). Find three rationals between 3.1415 and 3.1416. Verified: over ten-thousandths there is no integer numerator strictly between 31415 and 31416, so the student must go to hundred-thousandths, where 3.14151, 3.14152 and so on are available. Note the payoff for the next module: π sits inside this interval, and the rationals crowd around it without ever landing on it.
• Exercise Set 3.4, Q6 (starred, p. 53). Asks for other ways to find a rational between two rationals. The shared-denominator method of section 7 is the intended second answer.
• End-of-chapter items for this topic (pp. 65–66). Q5: six rationals between 3 and 4. Q6: five between 2/5 and 3/5. Q7: five between 1/6 and 2/5. Q13 (starred): with a = 7/12 and b = 5/6, express both over a shared denominator as k₁/m and k₂/m with k₂ − k₁ greater than 6, then write exactly five distinct rationals between them keeping integer numerators, and account for the need for the bound k₂ − k₁ > n + 1 when n such numbers are wanted. Q15 (starred): show that the average of a and b lies between them — the same claim the section leaves as a prompt, set again as an exercise. Verified for Q6: over twenty-fifths the endpoints are 10/25 and 15/25, giving exactly four numerators between them, so five requires a larger denominator still — which is precisely the point of Q13's condition.
• The section's closing question (§3.4.2, p. 52). After stating that infinitely many rationals lie between any two points, the chapter says the rationals feel as though they must fill the line, and then asks whether they do. Answering it here would spend the payoff of module m04.

Figures to have open

• Fig. 3.9 (p. 52) redrawn, and then extended by two more rounds of halving so the shrinking gap is visible. The chapter's own figure covers only the first two points.
• A number-line strip showing an interval rewritten over successively larger denominators, with the available integer numerators lighting up as the denominator grows. This is the figure sections 7 and 8 need and the chapter prints nothing like it.
• An annotated frame of the average formula with its two closure justifications attached, each labelled with the page it comes from. Standard schematic.
• A deliberately unanswered final card for section 9, so the explanation's ending matches the section's. No textbook figure required.

Where this sits in the book

• NCERT Ganita Manjari, Class 9 Mathematics, printed Chapter 3 on the world of numbers. Section §3.4.2 carries the printed heading "The Density of Rational Numbers" and occupies p. 52, ending on the question that opens §3.5.
• Fig. 3.9, p. 52.
• Exercise Set 3.4, Q2 and Q5 and Q6, pp. 52–53.
• End-of-chapter exercises Q5, Q6, Q7 on p. 65, Q13 on p. 65 and Q15 on p. 66.
• Closure of the rationals, relied on throughout, is printed at §3.4, p. 48.
• Chapter Summary, p. 67, third bullet, restates density in one line.
• Forward pointer: the question this section ends on is answered in §3.5, p. 53, covered by Proof by contradiction: why √2 cannot be a ratio of integers.