Uniting rationals and irrationals into an unbroken line

What to assume they know

• Density: averaging always finds another rational in between — density, and the question §3.4.2 ends on
• Proof by contradiction: why √2 cannot be a ratio of integers — that √2 is not any fraction
• Constructing an irrational length and marking it on the number line — that √2 can nevertheless be constructed and marked
• Irrational decimals: an expansion with no stop and no repeating block — the decimal signature separating the two kinds
• Why a debt times a debt is a fortune — the sign rule for products, needed for the closing puzzle
• Nested collections, and reading a diagram of one set inside another

What they should be able to do

• State what the real numbers consist of, and give the symbol
• Explain the difference between the rationals being dense and the line being unbroken, and name the number that demonstrates it
• Order the five collections the chapter names by containment, and say which one is not nested inside the rationals
• Read a nested-sets diagram and place a given number in the right region
• Give the chapter's characterisation of the rationals by their decimal expansions
• Retrace the chapter's historical route in order, naming the contribution at each stage
• Explain why no real number can square to a negative, using the product sign rule
• State what mathematicians introduced in response, its symbol, and the fields the chapter names as depending on it
• Say in what sense the real line is complete and in what sense it is not

Where it usually goes wrong

• "The rationals fill the line, and the irrationals are a technicality." They do not fill it. §3.4.2 says only that it feels as though they must, and then asks whether they do; §3.5 answers no. An explanation that ends on the wrong side of this contradicts the chapter.
• "Irrational numbers are rare, so the line is basically rational." The chapter makes no claim either way about how many there are, and neither should the explanation. What it does claim is that the irrationals are needed, which is a different and sufficient point.
• "The irrationals are a subset of the rationals, like the integers are." They are not, and the evolution box says so explicitly. Four collections nest; the irrationals sit beside them. This is the commonest diagram error in the topic.
• "Dense means gapless." The distinction is the chapter's central intellectual move and it is worth its own section. Density concerns pairs; gaplessness concerns points.
• "Every real number can be constructed with ruler and compass." §3.5.2 reaches whole-number roots, and §3.5.3 says the rest of the irrationals are simply taken to lie on the line. π is marked in Fig. 3.12 and never constructed.
• "i is a real number we have not met yet." The chapter says mathematicians stepped off the line completely. It is a different dimension, not a further stretch of the same line.
• "Imaginary numbers are not useful because they are imaginary." The chapter names three fields that depend on them, one of which is in the student's pocket. The name is historical, not a verdict.
• "e is one of the chapter's irrational numbers." It appears only inside the photographed chart in Fig. 3.13, never in the chapter's text. I verified this on the printed pages. Do not introduce it as though the chapter had.

Questions to check understanding

• State what the real numbers consist of and give the symbol
• Given a mixed list, place each number in the smallest collection that contains it
• Draw or complete a nested-sets diagram for the five collections
• Explain the difference between the rationals being dense and the line having no gaps, with an example
• Characterise the rationals by their decimal expansions
• Explain why no real number squares to a negative
• Name the kind of number introduced to handle such roots, its symbol, and one field that uses it
• Retrace the chapter's historical stages in order, naming one contribution at each

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 union, stated (§3.6 opening, p. 57). Printed: joining the densely packed rationals to the gaps the irrationals occupy gives the unbroken continuous line of the reals, with the symbol ℝ.
• The dense-but-not-full demonstration (the explanation's assembly of three printed results). Inputs: density from §3.4.2, p. 52; the proof that √2 is no fraction from §3.5.1, pp. 54–55; and the construction that nevertheless locates it from §3.5.2, pp. 55–56. Verified as a valid argument: the subdividing procedure of §3.4.1 produces only fractions, so it never lands on the point P that the compass reaches; yet P is a point of the line. Density is a statement about pairs of rationals and says nothing about whether some given point is rational. This is the single most important idea in the chapter and no one page of the chapter assembles it.
• The chapter's closing retrospect (§3.7, pp. 62–63). The route, in the order the chapter gives it: notches on the Ishango bone tracking days; the philosophical void of śhūnya in India; crossing zero into debts and negatives with Brahmagupta; the finding that fractions crowd densely into the space between whole numbers while irrationals such as √2 and π are threaded through them anyway; and the union giving one continuous real line, together with the chapter's claim that anything measurable in the universe finds a point there.
• The evolution box (p. 63, printed under the heading "The Evolution of Our World of Numbers"). Five bullets, with the containments as printed: the naturals, the basic counting numbers, contained in the integers; the integers, adding zero and the negatives, contained in the rationals; the rationals, all fractions with a non-zero lower part, corresponding to numbers with terminating expansions such as 0.135 and repeating ones such as the block 142857; the irrationals, given the symbol I, described as separate from the above, with √2, π and √10 as examples and no terminating or repeating expansion; and the reals, the two together making up the entire line. Note the structural point: four of the five nest, and the irrationals do not — they sit alongside. Any diagram must get that right.
• Fig. 3.13 (p. 63), read from the printed page. It is a photograph of a hand-lettered chart, not a printed diagram. A dark green board titled "Real Numbers" holds two panels. The left panel, purple, is headed "Irrational Numbers" and carries entries including −√17, √11, √2, √3, √101, √175, e, −√10, π, −√3 and √43. The right panel, cyan, is headed "Rational Numbers" and carries entries including −5/6, −7/3, 1/8, −6/5, 7.32, 2/3, −2.66 and 5/3, and inside it a yellow box headed "Integers" holding −179, −15, −3, −99, 0, −26 and +18, and inside that a pink box headed "Natural Numbers" holding 2, 5, 196, 17, 23 and 4. So the chart shows three levels of nesting inside the rationals and the irrationals as a sibling panel — exactly the structure the evolution box describes. Two things to tell anyone: it must be redrawn rather than reproduced, since it is a photograph of a physical poster; and it contains e, which appears nowhere in the chapter's text. If the explanation reads the chart aloud it will be introducing a constant the chapter never discusses.
• The closing puzzle (Think and Reflect, §3.7, p. 64). Inputs as printed: 1 × 1 = 1, and (−1) × (−1) = 1; so no real number multiplied by itself gives a negative; so the square root of −1 cannot sit on the number line. Verified: this is the product sign rule from §3.3.1 applied in both cases, which is why Why a debt times a debt is a fortune is a prerequisite. The argument is complete as printed and worth running slowly, because it is the chapter's only proof that something is missing rather than present.
• Imaginary numbers (§3.7, p. 64). Printed: mathematicians left the line altogether and set up a fresh dimension of number, written with the letter i and called imaginary. The chapter names three uses — electrical engineering today, quantum mechanics, and whatever makes a mobile phone work — then defers the subject to a later year while telling the student to master the reals for now.
• A placement drill (the explanation's construction, using the chart's own entries). Feed it √101, −26, 17, −7/3 and 7.32 and ask which region each belongs in. Verified: √101 is irrational since 101 is not a perfect square; −26 is an integer and so also rational; 17 is natural, integer and rational; −7/3 is rational but not an integer; 7.32 terminates and so is rational. Note that √175 on the chart is also irrational, and that −√10 and √10 both appear across the chapter's figures.
• Fig. 3.12 (p. 57, read from the printed page) is the better figure for section 6, because it puts both kinds on one axis: above the axis −22/5, −√10, −12/5, 0, √2, √5, π, 7/2, 9/2; below the axis −5, −4, −3, −2, −3/2, −1, −1/3, 5/6, 1, 3/2, 2, 3, 4, 5. Rationals and irrationals interleave with no visible seam, which is the section's whole claim.

Figures to have open

• A nested-regions diagram with the naturals inside the integers inside the rationals, and the irrationals as a separate region alongside, both inside the reals. This must be redrawn: Fig. 3.13 in the book is a photograph of a hand-lettered poster and cannot be reproduced. The chapter's evolution box on p. 63 supplies the correct containments and should be the authority for the drawing, not the photograph.
• Fig. 3.12 (p. 57) redrawn with the above-axis and below-axis split preserved, and the two kinds of number visually distinguished.
• A subdivision-versus-compass movement for section 2, re-using the assets built for Constructing an irrational length and marking it on the number line.
• A single-axis timeline of the chapter's route for section 7. Standard schematic.
• No photograph should be used anywhere in this topic, including in place of Fig. 3.13.

Where this sits in the book

• NCERT Ganita Manjari, Class 9 Mathematics, printed Chapter 3 on the world of numbers. The union is stated at the opening of §3.6, p. 57; §3.7, printed heading "Conclusion: The Never-Ending Journey", begins at the foot of p. 62 and runs to p. 64.
• The boxed evolution summary and Fig. 3.13 sit on p. 63.
• The closing Think and Reflect box and the imaginary numbers paragraph are on p. 64, immediately before the end-of-chapter exercises.
• Fig. 3.12, p. 57, is the better single figure for the interleaving claim.
• Chapter Summary, p. 67, fifth and eighth bullets, restate the real numbers as a union forming a continuous line, and imaginary numbers as the final frontier raised.
• Backward pointers: density at §3.4.2, p. 52; the irrationality proof at §3.5.1, pp. 54–55; the construction at §3.5.2, pp. 55–56; the product sign rule at §3.3.1, p. 45.