30 ÷ 50 = 0, remainder 30
300 ÷ 50 = 6, remainder 0 — stop
3/50 = 0.06, a terminating decimal with 2 places
20 ÷ 9 = 2, remainder 2
20 ÷ 9 = 2, remainder 2 (the remainder returns at once)
2/9 = 0.2222… = 0.2
Book page 64 Updated on2026-09-08
Proof by contradiction, following the pattern of Section 3.5.1.
Every step after the assumption is forced, so the assumption itself must be false. Hence √5 cannot be written as p/q — it is irrational.
The first two are terminating; the rest use the shifting-and-subtracting method of Cases 2 and 3.
| Decimal | Fraction | Decimal | Fraction |
|---|---|---|---|
| 12.6 | 63/5 | 2.05 | 37/18 |
| 0.0120 | 3/250 | 2.125 | 1913/900 |
| 3.052 | 1511/495 | 3.125 | 2813/900 |
| 1.235 | 1223/990 | 2.1625 | 21623/9999 |
| 0.23 | 23/99 |
(i) 0.532 is located by successive magnification: each decimal place cuts the interval into ten equal parts.
(ii) 1.15 is a repeating decimal, so first turn it into a fraction and then place it exactly.
So 1.15 = 52/45 = 1 7/45. To mark it exactly, divide the interval from 1 to 2 into 45 equal parts and count 7 of them from 1. By magnification it lies between 1.15 and 1.16, just past one half of that gap.
Write both endpoints over a denominator large enough to leave six whole numerators in between. Since we want 6 numbers, use 6 + 1 = 7.
So six rational numbers between 3 and 4 are
Five rational numbers between 2/5 and 3/5:
Choosing five of them:
Check the order in decimals: 0.16 < 0.2 < 0.23 < 0.26 < 0.3 < 0.3 < 0.4 ✓
ab is negative — in fact ab = −1 exactly.
Since −1 < 0, the product ab is negative for every such pair a, b.
Part 1: the form p/10⁴. A decimal that stops at the 4th place has the shape
Here d₄, the 4th decimal digit, is the last non-zero digit, and d₄ is exactly the units digit of p. Since d₄ ≠ 0, the integer p does not end in 0, so 10 does not divide p. ∎
Part 2: yes, it is necessary. Write N = p/10⁴ = p/(2⁴ · 5⁴) and reduce to lowest terms.
Because 10 ∤ p, the integer p cannot be divisible by 2 and 5 at the same time. So at least one of these two cases holds:
Hence the lowest-form denominator is always divisible by 2⁴ or by 5⁴ (possibly by both).
| Number | p/10⁴ | Lowest form | Denominator |
|---|---|---|---|
| 0.0005 | 5/10⁴ | 1/2000 | 2⁴ × 5³ — divisible by 2⁴ |
| 0.0002 | 2/10⁴ | 1/5000 | 2³ × 5⁴ — divisible by 5⁴ |
| 0.1233 | 1233/10⁴ | 1233/10000 | 2⁴ × 5⁴ — divisible by both |
The denominator has the form 2⁰ × 5³, so the decimal terminates. The number of places is the larger of the two exponents:
Confirming without long division:
The expansion terminates after 3 decimal places.
A whole number over 1000 stops after three places. For example, 3/40:
Step 1: a common denominator that is large enough.
Step 2: five rational numbers between them. The integers strictly between 21 and 30 are 22, 23, 24, 25, 26, 27, 28, 29 — eight candidates. Choosing five:
Check: 21/36 < 22/36 < 23/36 < 24/36 < 25/36 < 26/36 < 30/36 ✓
Step 3: why the size condition is needed.
The book's condition k₂ − k₁ > n + 1 is the same requirement with a margin to spare: it guarantees k₂ − k₁ − 1 > n, so there are strictly more than n candidates and you can choose freely. With n = 5 it demands k₂ − k₁ > 6, and our m = 36 gives 9, comfortably enough.
Square the first condition and use the second.
Now x², y², z² are each squares of rational numbers, so each is ≥ 0. Three non-negative numbers add to 0 only if every one of them is 0:
Take a ≠ b and, without loss of generality, let a < b (otherwise swap the names).
Combining, a < (a + b)/2 < b. ∎
It is also a rational number: a + b is rational because ℚ is closed under addition, and dividing by 2 ≠ 0 keeps it rational.
Fig. 3.14 is built by the rule of Section 3.5.2: each new right triangle takes the previous hypotenuse as one leg and a fresh segment of length 1 as the other.
The figure prints ten right triangles, so their hypotenuses are:
| Triangle | Legs | Hypotenuse² | Hypotenuse |
|---|---|---|---|
| 1 | 1, 1 | 2 | √2 ≈ 1.414 |
| 2 | √2, 1 | 3 | √3 ≈ 1.732 |
| 3 | √3, 1 | 4 | √4 = 2 |
| 4 | 2, 1 | 5 | √5 ≈ 2.236 |
| 5 | √5, 1 | 6 | √6 ≈ 2.449 |
| 6 | √6, 1 | 7 | √7 ≈ 2.646 |
| 7 | √7, 1 | 8 | √8 = 2√2 ≈ 2.828 |
| 8 | √8, 1 | 9 | √9 = 3 |
| 9 | 3, 1 | 10 | √10 ≈ 3.162 |
| 10 | √10, 1 | 11 | √11 ≈ 3.317 |
So the ten hypotenuses are √2, √3, 2, √5, √6, √7, 2√2, 3, √10 and √11.