Real Numbers on the Number Line
A number that you cannot write as a fraction can still live as a point on the number line. This lesson shows how to draw exactly using only a ruler and compass, and how to "zoom in" on any decimal so precisely that its location is determined to as many digits as you wish. After this, the words "real number" really do mean every point of the line.
Definitions
The real number line is a horizontal line on which is marked, unit to the right is , and every other real number has its own point, with negatives to the left of . This correspondence between numbers and points is a one-to-one match: every real number is some point, and every point is some real number.
A number is constructible (in the geometric sense of this chapter) if it can be drawn on the line using only a straight-edge and compass, starting from the markings and . We will see that is constructible for every natural number .
Concept and construction
Step-by-step construction of . Mark and on the line. At , draw a perpendicular of length to reach a point . By the Pythagoras theorem, With as centre and radius , swing an arc to cut the number line at . Then , so represents .
Building from . At , draw a new perpendicular of length to reach . Then Continue: , then . The resulting spiral is called the Theodorus spiral or "spiral of ". Each new hypotenuse jumps to the next square root.
General principle. If has been drawn, then is the hypotenuse of a right triangle whose legs are and . So every for can be placed on the line in finitely many steps.
Successive magnification (zooming in). Locating a decimal like uses a different idea: not Pythagoras but repeated subdivision. First locate the integer part on a stretched portion of the line. Divide that segment into equal parts and find . Divide that subsegment into equal parts to find . Divide once more to land exactly on . With one zoom per digit you can locate any decimal , terminating or not , to any precision.
Why this matters. For a non-terminating non-recurring decimal like , no finite zoom lands you on it exactly, but each zoom traps it more tightly. This is the geometric meaning of "the real line has no holes" , irrationals are exactly the points the rationals are zooming in on.
A cleaner construction for for any specific . Mark and on the line. On the segment from to , draw a semicircle. At the point , erect a perpendicular meeting the semicircle at . Then the length of that perpendicular equals . (This uses the fact that, inside a semicircle, the perpendicular from a point on the diameter to the arc has length equal to the geometric mean of the two pieces of the diameter.) So with marked, one perpendicular yields in a single step.
Worked examples
Example 1. Construct on the number line.
Mark , on the line. Erect a perpendicular of length at to reach . Then . With centre and radius , cut the line at . Then represents .
Example 2. Locate on the number line by successive magnification.
Zoom 1: enlarge . Zoom 2: enlarge and mark . Zoom 3: enlarge and mark on the fourth division.
Example 3. Locate on the number line.
Use the semicircle method. Mark , and on the line. Draw a semicircle on the segment of length . The perpendicular at to the arc has length . Transfer this length onto the number line with a compass.
Example 4. Why does the spiral construction give exactly ?
Because each new triangle is right-angled with legs and , the hypotenuse is . The construction is just the Pythagoras theorem applied repeatedly.
Example 5. Show that corresponds to the same point as .
Let . Then , giving , . So the repeating decimal and the fraction live at the same point.
Try it yourself
- Construct on the number line.
- Construct in a single Theodorus-style spiral.
- Use successive magnification to locate on the line.
- Locate using the semicircle construction.
- Where does the decimal sit on the line? Convert and mark.
- Is the point at closer to or ? Justify with a single inequality.
- Locate on the number line, given already constructed.
- Use the semicircle method to construct given unit length.
- Mark all of on the same line and order them.
- Explain in one sentence why every point on the line corresponds to a unique real number.
Pitfalls / Insight
- Constructions are exact, not approximate. by the Pythagoras theorem , not "about ".
- Don't confuse "rational" with "constructible". is irrational and constructible; not all irrationals (like ) are constructible.
- Zoom needs only one new digit per stage. Trying to zoom by, say, -ths is harder to draw and harder to read.
Insight. Pythagoras is the secret weapon of the chapter. Whenever you need to draw , ask yourself, "can I write as ?" If yes, a right triangle with legs and does the job.