Number Systems

Before you can do any serious mathematics, you need to know what kinds of "numbers" you are even allowed to use. This lesson covers the first three families of numbers — natural numbers, whole numbers and integers — how they are defined, how they nest inside one another, and the symbols and ideas you will use for the rest of your maths life.

Definition: A number system is an organised way of classifying numbers into sets based on their properties.

Natural numbers (N)

Definition: Natural numbers are the ordinary counting numbers: 1, 2, 3, 4, 5, … They start at 1 and go on forever, with no zero and no negatives.

These are the most basic numbers — the ones humans invented first, to count physical things: one cow, two coins, three children. You cannot count "zero cows" by pointing at them, and you certainly cannot count "minus three" of anything, which is exactly why naturals begin at 1 and never include negatives or zero. The set of natural numbers is written with the symbol N.

Why it matters: Natural numbers are the foundation. Every richer set of numbers is built by adding something new to the naturals.

Whole numbers (W)

Definition: Whole numbers are the natural numbers together with zero: 0, 1, 2, 3, 4, …

History records that for a long time people had no symbol for "nothing." The idea of zero as a number was developed in ancient India (the mathematician Brahmagupta gave rules for using zero around 628 CE). Once you add zero to the front of the naturals, you get the whole numbers, written with the symbol W.

So the only difference between N and W is one number — zero. Every natural number is also a whole number, but 0 is a whole number that is not a natural number.

Integers (Z)

Definition: Integers are the whole numbers together with their negatives: … −3, −2, −1, 0, 1, 2, 3, …

Counting alone cannot describe everything. What about a temperature below zero, or money you owe, or a basement floor below ground level? To handle "less than nothing," mathematicians extended the whole numbers with negative numbers. The result — all the whole numbers plus all their negatives — is the set of integers, written with the symbol Z (from the German word Zahlen, meaning "numbers").

Integers stretch infinitely in both directions: as far left (negative) and as far right (positive) as you like.

How the sets nest

Here is the big picture, and the single most important idea of this lesson: these sets fit inside one another like Russian dolls.

Reading the dolls from inside out:

• Every natural number is also a whole number (naturals are wholes minus zero).
• Every whole number is also an integer (wholes are the non-negative integers).

In symbols, this nesting is written N ⊂ W ⊂ Z (the symbol ⊂ means "is contained in"). The circle keeps getting bigger as you add more kinds of numbers, but each smaller set sits completely inside the larger one. The arrows never reverse: not every integer is a whole number (e.g. −5 is an integer but not a whole number), and not every whole number is a natural number (0 is the lone exception).

Worked example to lock this in:

Question: Classify each number as natural, whole and/or integer: (a) 7, (b) 0, (c) −4.
Solution:
Step 1: Take 7. It is a counting number, so it is natural. Since all naturals are whole and all wholes are integers, 7 is natural, whole and integer.
Step 2: Take 0. It is not a counting number, so it is not natural. But it is whole, and every whole number is an integer, so 0 is whole and integer (not natural).
Step 3: Take −4. It is negative, so it is neither natural nor whole. But negatives are included in the integers, so −4 is an integer only.
Conclusion: 7 → N, W, Z; 0 → W, Z; −4 → Z.

Real-world example: Floor numbers in a mall use integers (basement = −1, ground = 0, first floor = 1). Your age uses natural numbers (you count years). A freshly drained battery showing 0% uses a whole number.

Common misconception: "Zero is a natural number." In the standard school convention, the natural numbers start at 1; zero is a whole number but not a natural number.

Common misconception: "Negative numbers are whole numbers because they have no fraction." Whole numbers are only 0, 1, 2, 3, …; negatives like −2 are integers, not whole numbers.

:::compare The three sets

Set	Symbol	Members	Includes 0?	Includes negatives?
Natural	N	1, 2, 3, …	No	No
Whole	W	0, 1, 2, 3, …	Yes	No
Integer	Z	…, −2, −1, 0, 1, 2, …	Yes	Yes
:::

:::keypoints Key points

• Natural numbers (N) are the counting numbers starting at 1; no zero, no negatives.
• Whole numbers (W) are the naturals plus zero.
• Integers (Z) are the whole numbers plus their negatives, extending infinitely both ways.
• The sets nest: N ⊂ W ⊂ Z (each smaller set sits inside the larger one).
• Every natural is whole; every whole is an integer — but not the reverse.
• Zero is the one number that is whole and integer but not natural.
• Negatives belong only to the integers, not to N or W.
  :::

:::memory

• "Naughty Whales Zoom — N adds nothing, W adds zero, Z adds the negatives."
  :::

:::recap

• N = counting numbers, start at 1.
• W = N plus 0.
• Z = W plus negatives.
• They nest: N ⊂ W ⊂ Z.
• 0 is whole but not natural; negatives are integers only.
  :::

Split a pizza into 8 slices and grab 3 — that "3/8" is a rational number. This lesson covers rational numbers: the exact rule that defines them, why every integer is secretly rational, the one value that is forbidden in the denominator, and the surprising fact that there are infinitely many rationals packed between any two numbers.

Definition: A rational number is any number that can be written in the form p/q, where p and q are integers and q ≠ 0 (q is not zero).

The one rule that defines everything

The whole idea of a rational number lives in a single sentence: it is a number expressible as a ratio (a fraction) p/q of two integers, where the bottom number q is not zero. The word "rational" itself comes from "ratio." The set of rational numbers is written with the symbol Q (for "quotient"). So the questions to ask about any number are: can I write it as one integer divided by another? And is the bottom one non-zero? If yes to both, it is rational.

Why integers and zero are all rational

This rule is broader than it first looks. Many numbers that do not appear as fractions are still rational, because you can rewrite them as one:

• 5 is rational, because 5 = 5/1 (both 5 and 1 are integers, and 1 ≠ 0).
• −7 is rational, because −7 = −7/1.
• 0 is rational, because 0 = 0/1.

In fact every integer n is rational, since n = n/1. This means the integers (Z) sit completely inside the rationals (Q): N ⊂ W ⊂ Z ⊂ Q. The rationals are the biggest family so far, and they swallow up all the earlier sets.

Why it matters: Recognising that whole numbers and integers are "just" special rationals (with denominator 1) is what lets you treat counting numbers, negatives and fractions all under one consistent set of rules for arithmetic.

The forbidden denominator: q ≠ 0

The condition q ≠ 0 is not a technicality — it is essential. Division by zero is undefined in mathematics. Ask "what is 5 ÷ 0?" and you are really asking "what number, multiplied by 0, gives 5?" — but anything times 0 is 0, never 5, so no answer exists. That is why p/q is only a rational number when q is non-zero.

Common misconception: "0/5 and 5/0 are both fine." They are not the same: 0/5 = 0 (a perfectly good rational number, dividing nothing into 5 parts), but 5/0 is undefined and is not a number at all. Zero is allowed on top, never on the bottom.

Between any two rationals lie infinitely many more

Here is the property that makes rational numbers feel "dense": between any two different rational numbers, there are infinitely many other rational numbers. You can always find one just by averaging (taking the midpoint) of the two.

Worked example: Find a rational number between 1/2 and 1, then another between that and 1.
Solution:
Step 1: Take the midpoint (average) of 1/2 and 1: (1/2 + 1) ÷ 2 = (3/2) ÷ 2 = 3/4. So 3/4 lies between 1/2 and 1.
Step 2: Now average 3/4 and 1: (3/4 + 1) ÷ 2 = (7/4) ÷ 2 = 7/8. So 7/8 lies between 3/4 and 1.
Step 3: Notice you can repeat this forever — each new midpoint gives yet another rational squeezed in.
Conclusion: Between any two rationals you can always insert another, so there are infinitely many rationals between any two given ones. (This property is called density.)

Common misconception: "There's a 'next' rational number after 1/2, like there's a next integer after 5." Not so. Between 1/2 and any candidate "next" number you can always fit another rational. Rationals have no immediate neighbours.

Real-world example: Cricket strike rates (like 137.5), discount percentages (33⅓% off), and recipe measurements (¾ cup) are all rational numbers — each can be written as p/q.

| Number | As p/q | Rational? | |--------|--------|-----------| | 6 | 6/1 | Yes | | -2/3 | -2/3 | Yes | | 0 | 0/1 | Yes |

:::compare Allowed vs not allowed

Expression	Status
7/1	Rational (= 7)
0/4	Rational (= 0)
−2/3	Rational
5/0	Undefined — NOT a number
:::

:::keypoints Key points

• A rational number is any number of the form p/q with p, q integers and q ≠ 0.
• "Rational" comes from "ratio"; the set is written Q.
• Every integer is rational (n = n/1), so N ⊂ W ⊂ Z ⊂ Q.
• 0 is rational (0/1); zero is allowed on top but never on the bottom.
• Division by zero is undefined, which is why q must not be 0.
• Between any two rationals there are infinitely many more (density).
• You can always find one by averaging (taking the midpoint).
  :::

:::memory

• "Rational = Ratio: p over q, and q is never zero."
  :::

:::recap

• Rational number = p/q with integers p, q and q ≠ 0.
• Every integer (and 0) is rational with denominator 1.
• q = 0 is banned because dividing by zero is undefined.
• Infinitely many rationals lie between any two rationals.
• Average two rationals to get one between them.
  :::

Someone says "name a number between 1/5 and 2/5." If you freeze, you are stuck thinking like a counter; if you smile, you have understood one of the deepest ideas in mathematics — between any two rational numbers there are infinitely many more. This lesson teaches you two reliable methods to find rationals between any two given numbers, and the big idea of density that makes them work.

Definition: A rational number is any number that can be written as p/q, where p and q are integers and q ≠ 0 (for example 3/4, −5, 0.7 = 7/10).

Definition: A set of numbers is dense when between any two of its members there is always another member of the same set. The rationals are dense.

The big idea: rationals are infinitely "packable"

Whole numbers have gaps — there is nothing between 3 and 4 if you stay among whole numbers. Rationals are completely different. Pick any two distinct rationals, no matter how close together, and you can always wedge another rational between them. Then between that one and either endpoint you can wedge yet another, and so on forever.

Why it matters: This single property separates the "counting" mindset from the "measuring" mindset. Lengths, weights and times are not made of discrete steps — they can be subdivided endlessly — and the rationals are the first number system rich enough to model that. Exam questions like "insert 5 (or 6, or n) rational numbers between two given fractions" test exactly this skill.

Method 1 — Averaging (the midpoint trick)

The number sitting exactly halfway between two numbers a and b is their average:

mean = (a + b) / 2

The midpoint of two rationals is always rational, because adding two fractions and dividing by 2 keeps you in p/q form. So averaging is a foolproof way to land one number strictly between any a and b.

Question: Find a rational number between 1/5 and 2/5.
Solution:
Step 1: Take the average: (1/5 + 2/5) / 2.
Step 2: Add the fractions: 1/5 + 2/5 = 3/5.
Step 3: Divide by 2: (3/5) / 2 = 3/10.
Conclusion: 3/10 lies between 1/5 (= 0.20) and 2/5 (= 0.40), since 3/10 = 0.30.

You can repeat averaging to get more numbers: the average of 1/5 and 3/10 gives another rational between them, and you can keep going as long as you like — proof that there are infinitely many.

Method 2 — Same (large) denominator

Averaging is great for one or two numbers, but if a question asks for five or ten rationals at once, repeated averaging is slow. The faster route is to rewrite both numbers with a large common denominator so that many "ready-made" fractions appear between them.

The plan:

1. Express both numbers with a common denominator.
2. If you need n numbers between them and the gap in numerators is too small, multiply numerator and denominator of both by a number big enough to open up at least n integer slots.
3. Read off the in-between numerators.

Question: Insert 5 rational numbers between 1/3 and 2/3.
Solution:
Step 1: Both already share denominator 3, but only "nothing" sits between numerators 1 and 2. Scale up. To create at least 5 gaps, multiply top and bottom by 6: 1/3 = 6/18 and 2/3 = 12/18.
Step 2: Now the numerators run 6, 7, 8, 9, 10, 11, 12. The ones strictly between are 7, 8, 9, 10, 11 — exactly 5 of them.
Step 3: Write them as fractions: 7/18, 8/18, 9/18, 10/18, 11/18.
Conclusion: 7/18, 8/18, 9/18, 10/18, 11/18 are 5 rationals between 1/3 and 2/3. (You may simplify, e.g. 8/18 = 4/9, but it is not required.)

A handy shortcut for "insert n numbers between a and b": rewrite both over a common denominator and then multiply numerator and denominator of both by (n + 1). That guarantees at least n integers open up between the numerators.

A decimal shortcut

You can also just compare decimals. To find a number between 0.20 and 0.40, any decimal like 0.25, 0.31 or 0.375 works — and every terminating decimal is rational. This is often the quickest mental method in a multiple-choice setting.

Real-world example: Think of dividing a one-hour study block into chunks. Between a break at the 20-minute mark and one at the 40-minute mark, you can always slot another break at the 30-minute mark — and between those, another at 25 minutes, and so on. There is always room for one more.

Common misconception: "There is no number between 1/5 and 2/5 because they are next to each other." Fractions are never genuinely "next to each other" — 3/10 sits right between them, and infinitely many others do too. The feeling of adjacency comes from the numerators 1 and 2 being consecutive integers, but the fractions themselves are not consecutive.

Common misconception: "The number between two fractions must use the same denominator." Not at all — 3/10 (a new denominator) lies between 1/5 and 2/5. Same-denominator form is just a convenient tool, not a requirement for the answer.

Common misconception: "Adding the tops and adding the bottoms gives the middle." The 'fraction' (1+2)/(5+5) = 3/10 happens to lie between 1/5 and 2/5, and this mediant always lands between the two — but it is generally not the midpoint, and you must never do this as ordinary fraction addition. Use averaging if you want the true middle.

:::compare Two methods at a glance

Averaging (midpoint)	Common denominator
Best for 1–2 numbers	Best for many numbers at once
Formula (a + b)/2	Scale denominator, read off numerators
Always gives the exact middle	Gives several spread-out values
Repeat to get more	One step gives a whole batch
:::

:::keypoints Key points

• Between any two distinct rationals there are infinitely many rationals (density).
• Averaging: the number (a + b)/2 always lies exactly between a and b.
• The average of two rationals is itself rational, so the method never leaves the rationals.
• Common-denominator method: rewrite both over a big common denominator, then read off in-between numerators.
• To insert n numbers, multiply numerator and denominator of both by (n + 1).
• Comparing decimals is a fast alternative, since terminating decimals are rational.
• The mediant (a+c)/(b+d) lies between two fractions but is not the midpoint.
• "Consecutive numerators" does not mean the fractions are adjacent.
  :::

:::memory

• To squeeze in many, blow up the bottom; to land dead-centre, average the two.
  :::

:::recap

• Rationals are dense: there is always another rational between any two.
• Midpoint of a and b is (a + b)/2 — quick for one or two numbers.
• For many numbers, use a large common denominator and read off the gaps.
• Multiply top and bottom by (n + 1) to open up n slots.
• A recurring or terminating decimal between the two also works as an answer.
  :::

Imagine being told to find a number "between" two numbers — easy enough. But what if those two numbers are squeezed right next to each other, like 1/4 and 1/2? This lesson shows you that no matter how close two rational numbers are, there is always room for infinitely many more between them, and it teaches you the two reliable methods to find them and to place any fraction exactly on the number line.

Definition: A rational number is any number that can be written in the form p/q, where p and q are integers and q is not equal to 0.

What counts as a rational number

The word "rational" comes from "ratio" — a rational number is simply a ratio of two integers. The top number, p, is called the numerator; the bottom number, q, is the denominator. The only forbidden value is q = 0, because dividing by zero has no meaning.

A very important realisation is that the family of rational numbers is much larger than just fractions like 3/5 or 7/8. Every natural number, every whole number and every integer is also rational, because each can be written with denominator 1:

• 5 = 5/1
• 0 = 0/1
• -3 = -3/1

So the rationals contain all the numbers you have used since primary school, plus all the proper and improper fractions in between.

Why it matters: Recognising that integers are rational stops you from thinking of "fractions" and "whole numbers" as two separate, unrelated worlds. They are all members of one big set, usually written as Q (from the word "quotient").

Real-world example: When you split a 1-litre bottle of milk among 3 people, each gets 1/3 of a litre — a rational number. When you buy exactly 2 litres, that is 2/1 litres — still rational. The same idea (a ratio of whole quantities) describes both.

The density property: infinitely many rationals between any two

Here is the headline idea of this lesson:

Definition: The density property of rational numbers says that between any two distinct rational numbers there lie infinitely many rational numbers.

This is genuinely surprising the first time you meet it. With integers, there is nothing between 3 and 4 — they are neighbours. But with rationals, 1/4 and 1/2 are not neighbours; an endless crowd of fractions hides in the gap. In fact there is no such thing as the "next" rational after a given one, because whatever candidate you propose, the average of it and your starting number squeezes in even closer.

Why it matters: The number line is never "full" of just the integers, or even of a finite list of fractions. This is the foundation for understanding why the real number line is a smooth continuum and not a string of separated dots.

Method 1 — Repeated averaging (the midpoint method)

The average (mean) of two numbers always lies exactly halfway between them, so it is guaranteed to be between them. The average of a and b is:

(a + b) / 2

To get more numbers, take the average again — average a with the midpoint, or the midpoint with b — and keep going. Because you can repeat this forever, you immediately see why there are infinitely many rationals in any gap.

Method 2 — Common denominator (the fast method for several numbers)

Averaging is slow if you need, say, five or six numbers. The quicker trick is to rewrite both numbers over a large enough common denominator so that there are enough whole-number gaps between the numerators. If you need n numbers, choose a denominator that leaves at least n + 1 gaps, then simply read off the in-between numerators.

Worked example:
Question: Find three rational numbers between 1/4 and 1/2.
Solution:
Step 1: Try the smallest common denominator. 1/4 = 2/8 and 1/2 = 4/8. The only numerator strictly between 2 and 4 is 3, giving just one number (3/8). That is not enough.
Step 2: Enlarge the denominator to create more gaps. Multiply top and bottom by 4: 1/4 = 8/32 and 1/2 = 16/32.
Step 3: The numerators strictly between 8 and 16 are 9, 10, 11, 12, 13, 14, 15 — plenty to choose from.
Step 4: Pick any three, for example 9/32, 10/32 and 11/32.
Conclusion: Three rational numbers between 1/4 and 1/2 are 9/32, 5/16 (which is 10/32) and 11/32. (Any three of the in-between fractions are equally correct.)

Locating a fraction on the number line

To place a fraction such as 3/5 on the number line, look at the denominator first: it tells you how many equal parts to cut the unit segment into. The numerator tells you how many parts to count.

So for 3/5: divide the segment from 0 to 1 into 5 equal parts, then count 3 parts from 0.

For a fraction bigger than 1, such as 7/5, first see that it equals 1 whole and 2/5, so it sits between 1 and 2; then divide that unit segment into 5 parts and count 2.

Why it matters: This "divide the denominator, count the numerator" rule turns an abstract fraction into a concrete location, which is exactly the skill you need when comparing fractions or placing irrational numbers later.

:::compare Two methods to find rationals between a and b

Repeated averaging	Common denominator
Use (a + b)/2, then repeat	Rewrite a, b over a big denominator
Best for 1–2 numbers	Best for many numbers at once
Always gives a number strictly between	Need at least n+1 gaps for n numbers
Shows density directly	Faster bookkeeping
:::

Common misconception: "There are only a few fractions between 1/4 and 1/2." This feels true because the obvious common denominator (8) shows just one gap. The cure is always to enlarge the denominator — between any two distinct rationals there are infinitely many rationals, without exception.

Common misconception: "A fraction has only one form, so 1/2 and 2/4 are different numbers." They are the same rational number written differently; multiplying or dividing top and bottom by the same non-zero integer never changes the value.

Common misconception: "The number after 1/4 is 5/16" (or any other guess). There is no "next" rational — for any candidate you can always average it with 1/4 to find one even closer.

:::keypoints Key points

• A rational number has the form p/q with integers p, q and q ≠ 0.
• All natural numbers, whole numbers and integers are rational (write them over 1).
• The same value has infinitely many forms: 1/2 = 2/4 = 3/6 = ...
• Density: between any two distinct rationals there are infinitely many rationals.
• Averaging, (a + b)/2, always lands strictly between a and b.
• For many numbers, use a large common denominator with enough gaps.
• To plot p/q, split the unit into q parts and count p parts.
• There is no "next" rational number after a given one.
  :::
  :::memory
• "Big bottom, more room" — enlarge the denominator and the hidden fractions appear.
  :::
  :::recap
• Rational = ratio of two integers, denominator never zero.
• Integers and whole numbers are all rational too.
• Infinitely many rationals sit between any two distinct rationals.
• Find them by averaging or by using a large common denominator.
• Plot p/q by cutting the unit into q equal parts and counting p.
• Close-looking fractions still hide infinitely many neighbours.
  :::

This worked example shows the cleanest, fastest way to squeeze several rational numbers into a gap between two integers — using a common denominator instead of slow repeated averaging. Master this single technique and "find n rational numbers between..." questions become almost mechanical.

Definition: A rational number is any number of the form p/q where p and q are integers and q ≠ 0.

The strategy before the steps

When you must find a specific count of rational numbers between two values, averaging is clumsy — each average gives you only one number. The smarter route is the common-denominator method: rewrite both endpoints over a denominator large enough that the whole numbers between the two numerators give you exactly the count you need.

The guiding rule: to fit n numbers, you need at least n + 1 gaps between the numerators, so choose a denominator of at least n + 1. Here n = 6, so a denominator of 7 is the smallest that works neatly, because the integers 3 and 4, multiplied by 7, become 21 and 28 — and 22, 23, 24, 25, 26, 27 are exactly six values sitting strictly between them.

The worked example

Question: Find six rational numbers between 3 and 4.
Solution:
Step 1: We need 6 numbers, so pick a denominator larger than 6 + 1 = 7. The convenient choice is denominator 7.
Step 2: Rewrite 3 and 4 with denominator 7. 3 = (3 × 7)/7 = 21/7 and 4 = (4 × 7)/7 = 28/7.
Step 3: List the integers strictly between 21 and 28: they are 22, 23, 24, 25, 26, 27 — exactly six of them.
Step 4: Put each over 7.
Conclusion: Six rational numbers between 3 and 4 are 22/7, 23/7, 24/7, 25/7, 26/7 and 27/7.

Always check your answer

A quick sanity check protects against silly errors. Convert the endpoints back: 21/7 = 3 and 28/7 = 4 — correct. Then check the answers fall inside: 22/7 ≈ 3.14 (which, pleasingly, is the famous approximation of π) and 27/7 ≈ 3.86. Both lie strictly between 3 and 4, as do all the values in between.

Why it matters: Examiners award marks for valid answers, not for matching a "model" answer exactly. A 30-second decimal check confirms your six fractions are genuinely in range.

The answer is not unique

There is nothing magic about the denominator 7 — it was just the smallest tidy choice. Any denominator that leaves at least six gaps works equally well. For example, using denominator 10:

3 = 30/10 and 4 = 40/10, so 31/10, 32/10, 33/10, 34/10, 35/10, 36/10 are another correct set of six.

You could even mix it up or pick a much larger denominator and choose any six of the many in-between fractions. All such answers are correct.

:::compare Choosing the denominator

Denominator 7	Denominator 10
3 = 21/7, 4 = 28/7	3 = 30/10, 4 = 40/10
Gaps: 22–27 (exactly 6)	Gaps: 31–39 (9 available)
Smallest tidy choice	More room, decimals are easy
Answer: 22/7 … 27/7	Answer: any 6 of 31/10 … 39/10
:::

Common misconception: "There is only one correct set of six numbers." Wrong — infinitely many valid sets exist, because the rationals are dense. The marking scheme accepts any six numbers that genuinely lie between 3 and 4.

Common misconception: "I must use a denominator of exactly 7." You only need at least n + 1 gaps; any larger denominator is fine and sometimes easier to read.

:::keypoints Key points

• To find n rationals between two numbers, ensure at least n + 1 gaps.
• The common-denominator method is faster than repeated averaging.
• For 6 numbers between 3 and 4, use denominator 7: 22/7 … 27/7.
• Rewrite each endpoint over the chosen denominator first.
• The in-between integers (as numerators) are your answers.
• 22/7 ≈ 3.14 is the well-known approximation of π.
• Always check the endpoints reconvert and answers fall in range.
• The set of valid answers is not unique — infinitely many exist.
  :::
  :::memory
• "n numbers need n + 1 gaps" — pick a denominator big enough to leave them.
  :::
  :::recap
• Common denominator beats averaging when you need several numbers.
• Denominator ≥ n + 1 guarantees enough in-between numerators.
• 3 and 4 become 21/7 and 28/7; answers are 22/7 to 27/7.
• Verify by reconverting and by a quick decimal check.
• Any denominator with enough gaps gives a valid alternative answer.
• Density means the correct answer is never unique.
  :::

When two fractions look almost identical — like 3/5 and 4/5 — finding numbers between them feels impossible at first glance. This worked example shows how a single multiplication "opens up" the gap so that five rational numbers appear in plain sight.

Definition: A rational number is any number of the form p/q where p and q are integers and q ≠ 0.

Why a simple common denominator is not enough here

The fractions 3/5 and 4/5 already share the denominator 5, and they differ by only 1/5. With denominator 5 there are no whole numbers between the numerators 3 and 4 — zero gaps. So we cannot read off any in-between fraction directly. The fix is to enlarge the denominator so that the same gap (one-fifth) is sliced into many smaller pieces, revealing the hidden fractions.

The rule of thumb: to fit n numbers we need at least n + 1 gaps. We want 5 numbers, so we need at least 6 gaps. Multiplying numerator and denominator by 6 turns the single 1/5 gap into 6 equal sub-gaps — exactly enough.

The worked example

Question: Find five rational numbers between 3/5 and 4/5.
Solution:
Step 1: Multiply top and bottom of 3/5 by 6: 3/5 = (3 × 6)/(5 × 6) = 18/30.
Step 2: Multiply top and bottom of 4/5 by 6: 4/5 = (4 × 6)/(5 × 6) = 24/30.
Step 3: The numerators strictly between 18 and 24, all over denominator 30, are 19, 20, 21, 22, 23 — exactly five values: 19/30, 20/30, 21/30, 22/30, 23/30.
Step 4: Simplify where possible. 20/30 = 2/3, 21/30 = 7/10, 22/30 = 11/15.
Conclusion: Five rational numbers between 3/5 and 4/5 are 19/30, 2/3, 7/10, 11/15 and 23/30.

Checking the result with decimals

Decimals make the check effortless. The endpoints are 3/5 = 0.6 and 4/5 = 0.8. Our five answers, as decimals, are approximately 0.633, 0.667, 0.700, 0.733 and 0.767 — every one sits comfortably between 0.6 and 0.8, and they are nicely spread out. That spacing confirms we did not accidentally pick numbers outside the gap or repeat the endpoints.

Why it matters: Converting to decimals is the quickest independent check in number-system problems. If any value slipped below 0.6 or above 0.8, you would catch the mistake instantly.

The averaging alternative

You could instead find the midpoint of 3/5 and 4/5, which is (3/5 + 4/5)/2 = (7/5)/2 = 7/10 = 0.7 — and indeed 7/10 is one of our answers. To get all five by averaging, you would keep taking midpoints of midpoints, which is more work than the common-denominator method but illustrates the same density idea: there is always another rational to find.

:::compare Two routes to five numbers between 3/5 and 4/5

Common denominator (used here)	Repeated averaging
Multiply each by 6 → 18/30 and 24/30	Take (a + b)/2 again and again
Read off 19/30 … 23/30 in one step	One new number per average
Faster for several numbers	Slower, but reinforces density
:::

Common misconception: "There is nothing between 3/5 and 4/5 because they are next to each other." They only look adjacent; rewriting them as 18/30 and 24/30 exposes five (and really infinitely many) numbers in between.

Common misconception: "I must simplify every answer." Simplifying is optional and only for neatness — 19/30 and 23/30 are perfectly valid unsimplified, and 20/30 = 2/3 is the same value either way.

:::keypoints Key points

• 3/5 and 4/5 share a denominator but have no gap between numerators 3 and 4.
• Enlarge the denominator to slice the gap into enough pieces.
• For 5 numbers you need at least 6 gaps, so multiply each by 6.
• 3/5 = 18/30 and 4/5 = 24/30 expose 19/30 … 23/30.
• The five answers simplify to 19/30, 2/3, 7/10, 11/15, 23/30.
• Decimal check: all lie between 0.6 and 0.8.
• The midpoint 7/10 also appears, linking to the averaging method.
• Simplifying answers is optional, not required.
  :::
  :::memory
• "Same gap, smaller steps" — multiply the denominator to reveal hidden fractions.
  :::
  :::recap
• Equal denominators with adjacent numerators hide their in-between numbers.
• Multiply each fraction by (n + 1) to open up enough gaps.
• 18/30 to 24/30 gives the five numbers 19/30 through 23/30.
• Check by converting endpoints and answers to decimals.
• Averaging gives the same numbers more slowly.
• Density guarantees these five are just a sample of infinitely many.
  :::

This is your quick-reference sheet for rational numbers — the handful of definitions and rules that every "find numbers between" or "is this rational" question relies on. Learn these cold and the worked problems become routine.

Definition: A number is rational if it can be written as p/q where p and q are integers and q ≠ 0.

The defining test for a rational number

The single test is: can it be written as a ratio of two integers with a non-zero denominator? If yes, it is rational. This instantly covers fractions like 7/8, terminating decimals like 0.25 (= 1/4), and repeating decimals like 0.333... (= 1/3), because all of these can be re-expressed as p/q.

Why it matters: One clean test settles every "is it rational?" question, so you never have to memorise long lists of examples.

Every integer is rational

Every integer m is rational because m = m/1. So 7 = 7/1, 0 = 0/1 and -12 = -12/1. This means the integers sit inside the rationals — they are a special case where the denominator happens to be 1.

Real-world example: A score of 7 marks out of a possible total is the integer 7, but it is equally the ratio 7/1. The integer and the fraction are the same number wearing different clothes.

The midpoint (average) rule

A rational number lying exactly between a and b is their average:

(a + b) / 2

Because the average of two rationals is itself a rational, and it always lands strictly between them, this rule both finds an in-between number and proves one must exist.

Worked example:
Question: Find a rational number between 1/2 and 3/4.
Solution:
Step 1: Add the two numbers: 1/2 + 3/4 = 2/4 + 3/4 = 5/4.
Step 2: Divide by 2: (5/4) ÷ 2 = 5/8.
Conclusion: 5/8 lies exactly halfway between 1/2 and 3/4.

The density property

Definition: The density property states that between any two distinct rational numbers there are infinitely many rational numbers.

This follows directly from the midpoint rule: once you find one number between a and b, you can find another between a and that number, and so on forever. A striking consequence is that there is no "next" rational number after a given one — you can always slip another in.

Inserting n rationals with common denominators

To insert n rational numbers between a and b efficiently: write a and b over a common denominator large enough to create at least n + 1 equal gaps, then read off the in-between numerators. (As a guide, a denominator of at least n + 1 usually does the job after rewriting.)

Why it matters: For a single number, averaging is quickest; for several at once, the common-denominator method saves time.

:::compare When to use each method

Midpoint / averaging	Common denominator
(a + b)/2	Rewrite a, b over a big denominator
Best for one number	Best for many numbers
Proves density elegantly	Fast bookkeeping for counts
:::

Common misconception: "Some fractions are not rational." Every fraction of integers (with non-zero denominator) is rational by definition — including negative ones and improper ones.

Common misconception: "There is a smallest rational greater than 0" or "a next rational after 1/2." Neither exists; density rules them out.

:::keypoints Key points

• Rational ⇔ can be written as p/q with integers p, q and q ≠ 0.
• Every integer m is rational: m = m/1.
• The average (a + b)/2 always lies strictly between a and b.
• The average of two rationals is rational.
• Density: infinitely many rationals lie between any two distinct rationals.
• There is no "next" rational after a given one.
• For n numbers, use a common denominator giving at least n + 1 gaps.
  :::
  :::memory
• "Half of the sum sits in the middle" — (a + b)/2 is always between a and b.
  :::
  :::recap
• A rational is a ratio of integers with non-zero denominator.
• Integers are rationals with denominator 1.
• The midpoint formula finds and proves an in-between number.
• Repeating the midpoint forever shows rationals are dense.
• No rational has a definite "next" neighbour.
• Common denominators insert many rationals at once.
  :::

This is the consolidated summary of everything about rational numbers and the number line — the six big ideas that tie the chapter together. Use it as a final revision pass before a test, after you have worked through the detailed lessons and examples.

Definition: A rational number is any number of the form p/q where p and q are integers and q ≠ 0.

1. What rational numbers include

A rational number has the form p/q with integers p, q and q ≠ 0. Crucially, natural numbers, whole numbers and integers are all rational — each can be written over a denominator of 1 (for example 5 = 5/1, 0 = 0/1, -4 = -4/1). So the rationals form one large set, written Q, that contains all the simpler number families inside it.

Why it matters: This is why you can mix whole numbers and fractions freely in the same calculation — they are all rationals.

2. Many names for one number

The same rational number has many equivalent representations: 1/2 = 2/4 = 3/6 = 4/8 = ... Multiplying or dividing both numerator and denominator by the same non-zero integer never changes the value. The simplest form (lowest terms) is just the tidiest of these many faces.

Real-world example: Half a chocolate bar is 1/2, but if the bar is scored into 6 squares it is 3/6 of the bar — same amount, different denominator.

3. Density — no gaps, no "next" number

Between any two distinct rationals lie infinitely many rationals. A direct consequence is that there is no "next" rational number after a given one: whatever number you propose as the next one, the average of it and your starting point squeezes in closer. The number line is therefore never "full" of just a finite list of fractions.

4. Finding rationals between a and b

Two reliable methods:

• Averaging: the midpoint (a + b)/2 always lies strictly between a and b; repeat to get more.
• Common denominator: write a and b over a large common denominator so there are enough whole-number gaps, then read off the in-between fractions. For n numbers, aim for at least n + 1 gaps.

Worked example:
Question: Find two rational numbers between 1/3 and 1/2.
Solution:
Step 1: Common denominator 6: 1/3 = 2/6 and 1/2 = 3/6 — only one gap, not enough.
Step 2: Enlarge to denominator 12: 1/3 = 4/12 and 1/2 = 6/12. The number between is 5/12 — still only one. Enlarge again to 24: 1/3 = 8/24, 1/2 = 12/24.
Step 3: Now 9/24, 10/24, 11/24 lie between; pick two, say 9/24 (= 3/8) and 11/24.
Conclusion: 3/8 and 11/24 are two rational numbers between 1/3 and 1/2.

5. Plotting p/q on the number line

To plot p/q, divide the relevant unit segment into q equal parts and count p parts from the left end. For a fraction greater than 1, first locate which two whole numbers it lies between, then subdivide that unit segment.

6. The common error to avoid

The classic mistake is assuming only finitely many fractions exist between two close fractions. The obvious common denominator often shows just one or zero gaps, which tricks students into stopping. The cure is simple: enlarging the denominator always reveals more — there are infinitely many, every time.

:::compare The two ways to find in-between rationals

Averaging	Common denominator
(a + b)/2, repeat as needed	Big denominator, read off numerators
Great for one or two numbers	Great for many at once
Demonstrates density	Efficient for a required count
:::

Common misconception: "Lowest terms is a different number from the original fraction." It is the same value, just simplified.

Common misconception: "Two close fractions have only a few numbers between them." Enlarge the denominator and infinitely many appear.

:::keypoints Key points

• Rational = p/q, integers p and q, q ≠ 0.
• Naturals, wholes and integers are all rational (denominator 1).
• One rational has infinitely many equivalent forms.
• Density: infinitely many rationals between any two distinct rationals.
• No "next" rational number exists.
• Find in-between numbers by averaging or common denominators.
• Plot p/q by cutting the unit into q parts and counting p.
• Always enlarge the denominator to reveal more numbers.
  :::
  :::memory
• "More room at the bottom" — a bigger denominator always uncovers more fractions.
  :::
  :::recap
• The rationals contain all integers, wholes and naturals.
• Equivalent fractions are different names for one value.
• Rationals are dense, with no next neighbour.
• Averaging or common denominators finds numbers between any two.
• Plot p/q by dividing the unit into q parts and counting p.
• Never assume the gap between close fractions is finite.
  :::

Some numbers simply refuse to be written as a neat fraction, no matter how hard you try. These are the irrational numbers — the numbers that broke the ancient Greeks' picture of the universe and that still power geometry, physics and engineering today. This lesson explains exactly what makes a number irrational, how to spot one, and the misconceptions that trip students up.

Definition: An irrational number is a real number that cannot be written as p/q, where p and q are integers and q ≠ 0. Equivalently, its decimal expansion is non-terminating and non-repeating (it goes on forever with no repeating block).

Definition: A perfect square is a whole number that is the square of an integer — 1, 4, 9, 16, 25, 36, … Its square root is a whole number.

What "cannot be written as p/q" really means

A rational number's decimal either stops (like 0.75) or settles into a repeating pattern (like 0.333…). An irrational number does neither — it marches on forever with digits that never lock into a cycle. There is no fraction, however large its numerator and denominator, that equals it exactly.

The most famous example is √2. Its decimal begins 1.41421356… and never terminates or repeats. The same is true of √3 = 1.732…, √5 = 2.236…, π = 3.14159…, the golden ratio, and the constant e. You can also build an irrational on purpose, like 0.1010010001000010…, where the number of zeros keeps increasing so a repeating block can never form.

Why it matters: Irrationals are not exotic curiosities. The diagonal of a square, the circumference of a circle and the ratios in countless physics formulae are irrational. Without them, the number line would have holes — there would be points (like the diagonal length of a unit square) with no number to name them. Irrationals fill those holes and complete the real number system.

The Greeks and the scandal of √2

The Pythagoreans believed every quantity was a ratio of whole numbers. Then a member of their own school proved that the diagonal of a unit square — a length of exactly √2 — could not be such a ratio. According to legend this discovery so disturbed them that the result was kept secret. The proof is a beautiful piece of reasoning by contradiction: assume √2 = p/q in lowest terms, square to get p² = 2q², deduce that p must be even, then that q must also be even — contradicting "lowest terms." The assumption that √2 is rational collapses, so √2 must be irrational.

How to tell if a square root is irrational

This is the most exam-relevant skill in the topic, and it has one clean rule:

The square root of a positive integer is rational only if that integer is a perfect square; otherwise it is irrational.

So √4, √9, √16, √25 are rational (they equal 2, 3, 4, 5). But √2, √3, √5, √6, √7, √8, √10 are all irrational, because none of those numbers is a perfect square.

Question: Which of these are irrational — √36, √50, √81, √2?
Solution:
Step 1: Check √36 — 36 = 6², a perfect square, so √36 = 6 (rational).
Step 2: Check √50 — 50 is not a perfect square (49 and 64 are the nearest), so √50 is irrational. (Note √50 = √(25·2) = 5√2, still irrational.)
Step 3: Check √81 — 81 = 9², so √81 = 9 (rational).
Step 4: Check √2 — 2 is not a perfect square, so √2 is irrational.
Conclusion: √50 and √2 are irrational; √36 and √81 are rational.

Real-world example: π appears every time you measure anything round — the rim of a bicycle wheel, the edge of a pizza, the face of a clock. Because π is irrational, the circumference of a circle of nice whole-number radius can never be an exact whole number or simple fraction; that is why answers are written as "2π" or rounded to 3.14.

Common misconception: "Every square root is irrational." False. √9 = 3 is perfectly rational. Only the roots of non-perfect-squares are irrational.

Common misconception: "π = 22/7, so π is rational." 22/7 is only an approximation (22/7 = 3.142857…, which actually differs from π in the third decimal). The true π is irrational and no fraction equals it exactly. The same goes for 3.14 — a rounding, not the real value.

Common misconception: "A very long decimal must be irrational." Length alone proves nothing — 0.123123123… is enormously long but repeats, so it is rational. What makes a decimal irrational is being non-terminating AND non-repeating together.

:::compare Rational vs Irrational

Rational	Irrational
Can be written as p/q	Cannot be written as p/q
Decimal terminates or repeats	Decimal never ends and never repeats
√(perfect square), e.g. √9 = 3	√(non-perfect-square), e.g. √2
0.75, 1/3, −2, 5	√2, √3, π, 0.1010010001…
:::

:::keypoints Key points

• An irrational number cannot be expressed as p/q with integers p, q (q ≠ 0).
• Its decimal expansion is non-terminating and non-repeating.
• √2, √3, √5, π and e are standard irrationals.
• The square root of a positive integer is irrational unless that integer is a perfect square.
• √2 was the first proved irrational, by contradiction (p² = 2q² forces both even).
• 22/7 and 3.14 are only approximations of π, not its exact value.
• A long but repeating decimal is rational; only non-repeating-and-non-terminating is irrational.
• Irrationals fill the "gaps" the rationals leave on the number line.
  :::

:::memory

• Roots of perfect squares behave; every other root runs off forever — that running tail is irrationality.
  :::

:::recap

• Irrational = NOT expressible as p/q.
• Decimal is non-terminating AND non-repeating.
• Only non-perfect-square roots are irrational.
• π and e are irrational; 22/7 is just an approximation.
• √2's irrationality is proved by contradiction.
  :::

√2 ≈ 1.414 sits between 1 and 2 — an irrational number with a non-terminating, non-repeating decimal, yet it has one exact point on the number line.

How can you point to a number on the number line when that number has no exact decimal — when its digits run on forever? The answer is one of the most elegant constructions in school geometry: you build the length with a right triangle and then swing it onto the line with a compass. This lesson walks through the standard NCERT construction of √2, explains why it works, and extends it to the square root spiral.

Definition: To represent a number on the number line means to mark the exact point whose distance from 0 equals that number — not an approximation, but the true point.

Definition: The Pythagoras theorem states that in a right-angled triangle, the square on the hypotenuse equals the sum of the squares on the other two sides: hypotenuse² = side₁² + side₂².

The core idea: construct the length, then transfer it

You cannot "measure out" √2 with a ruler because 1.41421356… never ends. But Pythagoras gives you a way to create a segment whose length is exactly √2 using only segments of length 1. Once you have that exact segment, a compass lets you copy that length onto the number line. This is the trick: geometry can produce an exact irrational length even though arithmetic cannot write it as a finite decimal.

Why it matters: It proves that irrational numbers are not abstract inventions — they correspond to real, drawable points on the line. Every irrational length has a home on the number line, which is the deeper message: the line is complete, with no gaps.

Constructing √2 — step by step

Question: Construct the point representing √2 on the number line.
Solution:
Step 1: Mark O at 0 and A at 1, so OA = 1 unit along the line.
Step 2: At A, draw AB perpendicular to the line (straight up) with AB = 1 unit.
Step 3: Join OB. This is the hypotenuse of right triangle OAB, with the right angle at A.
Step 4: Apply Pythagoras: OB² = OA² + AB² = 1² + 1² = 2, so OB = √2.
Step 5: Place the compass point at O, open it to radius OB, and swing an arc down to the number line. The point where the arc meets the line is exactly √2.
Conclusion: The point where the arc lands is at distance √2 from 0 — the exact location of √2 on the number line.

The reason the arc works: every point on a circle centred at O is the same distance from O. So swinging OB (length √2) down to the line transfers that exact distance onto the line, converting a slanted segment into a horizontal position.

Extending to √3, √5, … and the square root spiral

Once you have the segment of length √2, you can keep going. At the tip of the √2 segment, draw a new perpendicular of length 1. The new hypotenuse has length √(√2² + 1²) = √(2 + 1) = √3. Add another unit perpendicular at that tip and you get √(3 + 1) = √4 = 2, then √5, √6, and so on. Each step uses the previous hypotenuse as one leg and a fresh unit segment as the other.

Drawn continuously, these triangles fan out into the beautiful square root spiral (the "spiral of Theodorus"), where each hypotenuse is √2, √3, √4, √5, … in turn. It is a visual proof that every √n can be constructed exactly with ruler and compass.

Question: How would you construct √5 by extending the spiral?
Solution:
Step 1: First build √2 as above (legs 1 and 1).
Step 2: On the √2 segment's tip, raise a unit perpendicular; the hypotenuse is √3.
Step 3: On the √3 tip, raise another unit perpendicular; the hypotenuse is √4 = 2.
Step 4: On that tip, raise one more unit perpendicular; the hypotenuse is √5.
Conclusion: The fourth hypotenuse in the spiral has length √5, which can then be swung onto the line.

Real-world example: A square floor tile measuring 1 m × 1 m has a diagonal of exactly √2 metres ≈ 1.414 m. That diagonal is a genuine, physical irrational length you can lay a measuring tape against — proof that irrational numbers describe real distances.

Common misconception: "You can't show an irrational number exactly because its decimal never ends." The decimal never ends, but the point is exact. Geometry sidesteps decimals entirely and produces the precise length via Pythagoras.

Common misconception: "The arc and the perpendicular can be any length." The construction only works if the perpendicular AB is exactly 1 unit (the same unit as OA) and the right angle is truly 90°. Get the perpendicular wrong and the hypotenuse is no longer √2.

Common misconception: "OB is the answer, so √2 is up in the air." OB is the length √2, but the number √2 lives on the number line. The compass arc is essential — it rotates that length down onto the line so you can read its position from 0.

:::compare Why each tool is used

Tool	Job in the construction
Ruler / straight line	Lay out the 1-unit base and the number line
Perpendicular (set square)	Make the right angle so Pythagoras applies
Pythagoras theorem	Guarantees the hypotenuse is exactly √2
Compass arc	Transfers the slanted length onto the line
:::

:::keypoints Key points

• An irrational point can be located exactly even though its decimal never ends.
• Use a right triangle with both legs equal to 1 unit.
• By Pythagoras, the hypotenuse OB = √(1² + 1²) = √2.
• A compass arc centred at O swings OB down onto the number line at the √2 point.
• Repeating with new unit perpendiculars produces √3, √4 = 2, √5, … (the square root spiral).
• Every √n can be constructed exactly with ruler and compass.
• The perpendicular must be exactly one unit and the angle exactly 90° for the length to be correct.
• A 1 m × 1 m square's diagonal is a real, measurable √2-metre length.
  :::

:::memory

• Right angle plus two ones makes √2 — then let the compass walk it home.
  :::

:::recap

• Use a right triangle with legs 1 and 1.
• Hypotenuse = √2 by Pythagoras.
• Swing it onto the line with a compass to fix the point.
• Repeat the trick to build √3, √5 and the whole spiral.
• Irrationals are exact, drawable points — the line has no gaps.
  :::

When the ancient Pythagoreans tried to measure the diagonal of a simple square, they stumbled onto a number that broke their entire worldview — a length that no fraction could ever capture. That number was the square root of 2, and it opened the door to a vast hidden family of numbers called the irrationals.

Definition: A rational number is any number that can be written in the form p/q, where p and q are integers and q ≠ 0 (for example, 3/4, -5, 0.875 = 7/8, 1/3).

Definition: An irrational number is a real number that cannot be written in the form p/q with p, q integers and q ≠ 0. Equivalently, its decimal expansion is non-terminating and non-recurring (it goes on forever without ever settling into a repeating block).

Why irrational numbers must exist

Every measurement, ratio, and counting situation in daily life seems to be expressible as a fraction, so it is natural to assume fractions are "all the numbers there are." But geometry forces our hand. Take a square whose side is exactly 1 unit. By the Pythagoras theorem, its diagonal d satisfies d² = 1² + 1² = 2, so d = √2. This diagonal clearly has a definite length — you can draw it — yet, as the Pythagoreans discovered around 400 BCE, no fraction p/q equals it. A number that genuinely exists as a length but is not rational is, by definition, irrational. So irrationals are not a mathematical luxury; they are unavoidable the moment you allow squares, circles, and right triangles.

Why it matters: Without irrational numbers, the number line would be full of microscopic "holes" — points like √2, √3, and π would have no number sitting on them. The real numbers (rationals + irrationals together) fill every single point on the line, with no gaps. This completeness is what makes measurement, calculus, and physics possible.

Famous irrational numbers

• Square roots of non-perfect-square positive integers: √2, √3, √5, √6, √7, √8, √10, … Each of these is irrational. The pattern √2 ≈ 1.41421356…, √3 ≈ 1.73205080…, √5 ≈ 2.23606797… — none terminate, none repeat.
• π (pi) ≈ 3.14159265358979… — the ratio of a circle's circumference to its diameter. Its decimals never end and never repeat. (Note: the schoolbook value 22/7 is only an approximation of π; it is itself a rational number, not π exactly.)
• e ≈ 2.71828… and the golden ratio φ ≈ 1.61803… are other celebrated irrationals you will meet later.
• Cube roots like ∛2 and surds such as 2 + √3 are also irrational.

Locating √2 on the number line (Pythagoras construction)

The beauty of √2 is that, although it cannot be written as a fraction, it can be drawn exactly using only a ruler and compass. Method: Draw a unit square on the number line with one corner at 0. Its diagonal has length √(1² + 1²) = √2. With a compass placed at 0, swing this diagonal arc down onto the number line; the point where the arc meets the line represents √2 (a little past 1.4).

The same idea extends: from the point √2 you can erect another unit perpendicular and get √3, then √4 = 2, then √5, and so on — this beautiful spiral is called the square-root spiral (spiral of Theodorus).

Spotting irrationals from their decimals

A decimal tells you instantly which family a number belongs to:

• Terminates (stops): rational. E.g. 0.875.
• Repeats forever in a fixed block: rational. E.g. 0.333… = 1/3.
• Goes forever with no repeating block: irrational.

Real-world example: the constructed decimal 0.1010010001000010…, where the number of 0s between successive 1s keeps growing, never terminates and never falls into a repeating cycle. Hence it is irrational — and you can manufacture infinitely many irrationals this way.

Worked example.
Question: Is 0.10110111011110… (each block has one more 1 than the previous) rational or irrational?
Solution:
Step 1: Check if it terminates — it does not; the digits continue forever.
Step 2: Check for a repeating block — the pattern grows (1, then 11, then 111, …), so no fixed block ever repeats.
Conclusion: It is non-terminating and non-recurring, therefore irrational.

Operations: a few useful truths

• Rational + irrational = irrational (e.g. 3 + √2 is irrational).
• Non-zero rational × irrational = irrational (e.g. 2√3 is irrational).
• Irrational ± irrational, or irrational × irrational, may be rational or irrational — be careful. For instance √2 × √2 = 2 (rational), and (2 + √3) + (2 − √3) = 4 (rational), but √2 + √3 stays irrational.

Common misconception: "Every square root is irrational." False. √25 = 5 and √4 = 2 are perfectly rational. Only the square roots of non-perfect-square positive integers are irrational. Always check first whether the number under the root is a perfect square.

Common misconception: "π equals 22/7." False. 22/7 is just a convenient rational approximation (≈ 3.142857…); the true π ≈ 3.14159… is irrational and differs from 22/7 in the third decimal place onward.

Common misconception: "Irrational means the number is somehow not real or doesn't exist." False. Irrational numbers are genuine real numbers occupying real points on the number line; "irrational" only means "not a ratio of integers."

:::compare Rational vs Irrational

Feature	Rational	Irrational
Form p/q (q ≠ 0)	Yes	No
Decimal expansion	Terminating OR recurring	Non-terminating, non-recurring
Examples	7/8, 1/3, -5, √25	√2, √3, π, 0.1010010001…
On the number line?	Yes, a point	Yes, a point
Can be drawn by ruler-compass?	Yes	Surds like √2 yes; π no
:::

:::keypoints Key points

• A rational number can be written p/q with integers p, q and q ≠ 0; an irrational number cannot.
• Irrational decimals are non-terminating and non-recurring.
• √2, √3, √5, √6 … (roots of non-perfect-squares) and π are classic irrationals.
• √2 was the first irrational discovered, via the diagonal of a unit square.
• √2 can be located exactly on the number line using the Pythagoras (compass-swing) construction.
• Roots of perfect squares (√4, √25) are rational — not every root is irrational.
• 22/7 is only an approximation of π, not π itself.
• Rationals and irrationals together (the reals) fill every point on the number line with no gaps.
  :::

:::memory
"Irrational = I-can't-Ratio": no p/q, decimals never end and never repeat.
:::

:::recap

• Irrational numbers cannot be expressed as p/q; their decimals are non-terminating and non-recurring.
• √2 is irrational and is the historical first example, born from a unit square's diagonal.
• Use the unit-square-diagonal compass construction to mark √2 on the number line.
• Roots of perfect squares are rational; only non-perfect-square roots are irrational.
• Manufacture irrationals via non-repeating patterns like 0.1010010001….
• Reals = rationals + irrationals, filling the entire number line.
  :::

How do you prove that something is impossible — that no fraction in the entire universe, however large, can ever equal √2? You cannot test them one by one. Instead, mathematicians use one of the most elegant weapons in logic: proof by contradiction.

Definition: Proof by contradiction (reductio ad absurdum) is a method where you assume the opposite of what you want to prove, then show that this assumption forces a logical impossibility. Since the assumption leads to nonsense, the assumption must be false — and so the original statement must be true.

The claim and the strategy

We want to show: √2 is irrational, i.e. √2 cannot be written as p/q with integers p, q (q ≠ 0). Directly checking "no fraction works" is impossible because there are infinitely many fractions. So we flip it: assume √2 IS rational and chase the assumption until it self-destructs.

A key preliminary fact we will lean on:

Definition / Lemma: If the square of an integer is even, then the integer itself is even. (Reason: an odd number has the form 2k+1, and (2k+1)² = 4k² + 4k + 1 = 2(2k²+2k) + 1, which is always odd. So an even square can only come from an even number.) We will use this twice.

The proof, step by step

Question: Show that √2 is not a rational number.

Solution (by contradiction):

Step 1: Assume the opposite. Suppose √2 is rational. Then we can write
√2 = a/b,
where a and b are integers, b ≠ 0, and — crucially — the fraction is in lowest terms, meaning a and b share no common factor other than 1. (Any fraction can always be reduced to lowest terms, so this is allowed.)

Step 2: Square both sides to remove the root:
2 = a²/b², which rearranges to a² = 2b². …(i)

Step 3: Deduce a is even. Equation (i) says a² equals 2 times an integer, so a² is even. By our lemma, if a² is even then a is even. Therefore we can write a = 2c for some integer c.

Step 4: Substitute a = 2c into (i):
(2c)² = 2b² ⟹ 4c² = 2b² ⟹ b² = 2c².

Step 5: Deduce b is even. Equation b² = 2c² says b² is 2 times an integer, so b² is even; by the lemma again, b is even.

Step 6: The contradiction. Steps 3 and 5 show that both a and b are even, so they share the common factor 2. But in Step 1 we insisted a/b was in lowest terms, with no common factor other than 1. These two facts cannot both be true.

Conclusion: Our starting assumption — that √2 is rational — leads to a contradiction. Hence the assumption is false, and √2 is irrational. ∎

Why each step is necessary

Why insist on lowest terms? This is the engine of the whole proof. The contradiction is precisely "you said no common factor, yet I found the common factor 2." Without the lowest-terms assumption, finding a common factor would be no contradiction at all, and the proof would collapse.

Why does even square ⟹ even number? Because parity (even/odd) is preserved predictably: even × even = even, odd × odd = odd. A square can only be even if its base is even. Skipping this lemma is the most common gap in student proofs — examiners expect it stated or justified.

Why it matters: This single proof technique generalises beautifully. The identical argument (using the property of primes that if a prime p divides a², then p divides a) proves that √3, √5, √7, and indeed √p for every prime p — and more generally √n for every non-perfect-square positive integer n — is irrational. One method, infinitely many results.

Real-world example: This is exactly the discovery (attributed to the Pythagorean school, c. 5th century BCE) that a square of side 1 has a diagonal of length √2 which no whole-number ratio can measure. It shattered the Pythagorean belief that "all is number (ratio)," and historically launched the study of irrational magnitudes in geometry.

Common misconceptions corrected

Common misconception: "We assumed a and b have no common factor — isn't that assuming what we want to prove?" No. Reducing a fraction to lowest terms is always possible for any rational number; it is a harmless, standard simplification, not a hidden assumption about irrationality. We are only assuming √2 is rational; the lowest-terms form is a legitimate consequence of that.

Common misconception: "a² = 2b² already proves it's irrational." No — that equation is perfectly consistent on its own; you must drive it to the parity contradiction in Steps 3–6.

Common misconception: "If a is even, b must be odd." Not necessarily, and that is the whole point — we prove b is also even, which is exactly what produces the contradiction.

:::compare Direct proof vs Proof by contradiction

Aspect	Direct proof	Proof by contradiction
Starting point	Assume the hypothesis is true	Assume the conclusion is FALSE
Goal	Reach the conclusion	Reach an absurdity / contradiction
Best for	Showing something exists/works	Showing something is impossible
Used here?	Hard (infinitely many fractions)	Ideal — this is the standard √2 proof
:::

:::keypoints Key points

• Proof by contradiction assumes the opposite, then derives an impossibility.
• Assume √2 = a/b in lowest terms (no common factor but 1).
• Squaring gives a² = 2b², so a² is even, hence a is even (a = 2c).
• Substituting gives b² = 2c², so b² is even, hence b is even.
• Both a and b even ⟹ common factor 2, contradicting "lowest terms."
• Therefore √2 cannot be written as a/b, so √2 is irrational.
• The key lemma: an integer whose square is even is itself even.
• The same method proves √3, √5, √p, and all non-perfect-square roots are irrational.
  :::

:::memory
"Both Even = Broken Even": deriving that a AND b are both even breaks the lowest-terms promise — that's the contradiction.
:::

:::recap

• The goal is to prove √2 cannot be expressed as p/q.
• Assume the contrary: √2 = a/b in lowest terms.
• a² = 2b² forces a even; substituting forces b even.
• Both even contradicts the no-common-factor assumption.
• The assumption was false, so √2 is irrational.
• The technique extends to all square roots of non-perfect-squares.
  :::

Some numbers, like √5, can never be written exactly as a fraction or as a finishing decimal — yet they have a perfectly definite, fixed place on the number line. This lesson shows you how to find that exact place using nothing but a ruler, a set square, and a compass, by turning the Pythagoras theorem into a drawing tool.

Definition: An irrational number is a real number that cannot be written as p/q where p and q are integers and q ≠ 0. √5 is irrational because 5 is not a perfect square.

The big idea: build a length, don't measure it

You cannot place √5 on the number line by measuring 2.236 cm with a ruler, because √5 = 2.2360679… never ends and never repeats, so any measurement is only an approximation. Instead we construct a line segment whose length is exactly √5, and then copy that exact length onto the number line with a compass.

The trick is the Pythagoras theorem. In a right-angled triangle, hypotenuse² = (one leg)² + (other leg)². So if we can make a right triangle whose two legs are nice whole-number lengths, the hypotenuse will automatically be the square root of (sum of squares of the legs).

We want the hypotenuse to be √5. So we need legs whose squares add to 5:

2² + 1² = 4 + 1 = 5

That is the whole secret. Legs of 2 and 1 give a hypotenuse of √5.

Step-by-step construction

Question: Represent √5 on the number line.

Solution:
Step 1: On the number line, mark O at 0 and A at 2, so OA = 2 units. (We are using the existing whole-number markings 0 and 2 — those we can place exactly.)
Step 2: At A, draw a segment AB perpendicular to the number line, with AB = 1 unit. (Use a set square or the right-angle construction.)
Step 3: Join OB. By the Pythagoras theorem,
OB² = OA² + AB² = 2² + 1² = 4 + 1 = 5, so OB = √5.
Step 4: Place the compass point at O, open it to radius OB, and draw an arc that cuts the number line at point P. Swinging the hypotenuse down onto the line keeps its length unchanged, so OP = OB = √5.
Conclusion: Point P represents √5 on the number line (P sits at about 2.236, just past the 2-mark, before 2.5).

Why the compass arc is the crucial step

A compass draws a circle, and every point on a circle is the same distance (the radius) from the centre. By centring at O with radius OB = √5, the arc carries the exact length √5 from the slanted segment OB and lays it flat along the number line. That is how a tilted, hard-to-place length becomes a precise point on the line. The arc transfers an exact length without ever measuring it.

Why it matters: This same method lets you locate √2, √3, √6, √7 — any non-perfect-square root — geometrically. It is the bridge that shows irrational numbers are not vague or "made up": each one occupies one definite point, just like 2 or 3 does. This is the visual proof that the number line is complete, with real numbers filling every gap.

Checking the construction

Question: How do we know P really is at √5 and not somewhere close?
Solution:
Step 1: √5 ≈ 2.236.
Step 2: Square it back: 2.236² = 4.999696 ≈ 5.
Conclusion: Since squaring returns (almost exactly) 5, the construction is correct; tiny error is only from rounding 2.236, not from the method.

The square-root spiral connection

The same idea, repeated, builds the beautiful square-root spiral. Start with a unit segment, raise a perpendicular of length 1: the hypotenuse is √(1²+1²) = √2. On that √2 hypotenuse, raise another perpendicular of length 1: the new hypotenuse is √(2+1) = √3. Continuing gives √4, √5, √6, … one after another. So √5 can also be reached by stacking unit perpendiculars five steps along the spiral. The "legs 2 and 1" method in this lesson is just a quicker, direct shortcut to √5.

Common misconception: "√5 ≈ 2.236, so I can just mark 2.236 on the line and that's √5." Wrong — 2.236 is a rounded value; the true point is irrational and 2.236 is slightly off. The geometric construction gives the exact point, which is its whole purpose.

Common misconception: "I need legs of √2 and √3 or some odd lengths." No — the elegance is that whole-number legs 2 and 1 already give √5, because 4 + 1 = 5. Always look for two perfect squares that add to your target.

Real-world example: Surveyors and carpenters use the very same Pythagoras logic to mark exact diagonal lengths on the ground or on a board when no ruler can give the awkward measurement directly — they create a right angle and read off the hypotenuse.

:::compare Two ways to reach √5

Direct method (this lesson)	Square-root spiral
One triangle, legs 2 and 1	Many triangles, each leg 1
Fast, single hypotenuse = √5	Builds √2, √3, √4, √5 in sequence
Best when you want one root	Best to show the whole family
:::

:::keypoints Key points

• √5 is irrational; it has an exact point on the number line but no terminating/repeating decimal.
• Pythagoras: hypotenuse = √(leg² + leg²); choose legs whose squares sum to 5.
• Legs 2 and 1 give hypotenuse √(4+1) = √5.
• Construct OA = 2, perpendicular AB = 1, join OB (= √5).
• A compass arc centred at O, radius OB, transfers √5 exactly onto the line at P.
• P sits at ≈ 2.236, just past 2.
• The same trick locates any non-perfect-square root.
  :::

:::memory

• "Two squared plus one squared is five" — legs 2 and 1, swing the arc, and √5 lands on the line.
  :::

:::recap

• We build irrational lengths, we don't measure them.
• Pythagoras turns whole-number legs into exact square-root hypotenuses.
• 2² + 1² = 5 gives a √5 hypotenuse.
• A compass arc copies the exact length onto the number line.
• Every irrational number, like √5, has one definite point on the line.
  :::

Numbers like √2, √3, √5 and π refuse to fit into any fraction, yet they are everywhere — in the diagonal of a square, the circumference of a circle, the geometry of nature. This lesson gathers the essential facts about irrational numbers: what makes them irrational, how to spot one, and how to pin them down on the number line.

Definition: A number is irrational if it CANNOT be expressed as p/q with integers p and q and q ≠ 0. Equivalently, an irrational number has a decimal expansion that is non-terminating and non-recurring (it never ends and never settles into a repeating block).

Rational vs irrational — the dividing line

A rational number can be written as a ratio of two integers: 3 = 3/1, 0.75 = 3/4, −5/7, and so on. The word "ratio" is literally inside "rational". Anything that cannot be squeezed into such a ratio is irrational.

The cleanest test is the decimal expansion:

• Terminating (e.g. 0.875) → rational.
• Non-terminating but recurring (e.g. 0.3333… or 0.142857142857…) → rational.
• Non-terminating and non-recurring (e.g. 0.1010010001…) → irrational.

Why it matters: This single test classifies any real number. If a decimal eventually repeats — even a very long block — it is rational. Only when it both never ends and never repeats is it irrational.

Which square roots are irrational?

This is the most exam-tested fact:

The square root of a positive integer is irrational UNLESS that integer is a perfect square.

• √2, √3, √5, √6, √7, √8, √10 … are irrational (these integers are not perfect squares).
• √4 = 2, √9 = 3, √16 = 4, √25 = 5 … are rational (perfect squares give whole-number roots).

So you can predict irrationality at a glance: ask "is the number under the root a perfect square?" If no, the root is irrational.

Building irrational lengths with Pythagoras

Irrational numbers are not abstract — they are genuine lengths you can draw. A right triangle with legs of length m and n has hypotenuse √(m² + n²).

• Legs 1 and 1 → hypotenuse √(1 + 1) = √2.
• Legs 2 and 1 → hypotenuse √(4 + 1) = √5.

Swinging that hypotenuse onto the number line with a compass marks the exact irrational point. This is the geometric proof that √2 and √5 are real, locatable numbers, not just symbols.

Real-world example: The diagonal of a 1 metre × 1 metre square tile is exactly √2 ≈ 1.414 metres — an irrational length you can literally hold a tape measure across, even though no fraction captures it precisely.

π — the most famous irrational

Definition: π (pi) is the ratio of a circle's circumference to its diameter; π ≈ 3.14159265…, and it is irrational.

A very common classroom value is 22/7, but this is only an approximation (22/7 = 3.142857… with the block 142857 repeating, which makes 22/7 rational). The true π is irrational: its digits go on forever with no repeating pattern. So 22/7 and 3.14 are convenient stand-ins, never the exact value.

Common misconception: "π = 22/7." False. 22/7 is rational and merely close to π. π itself is irrational and cannot equal any fraction.

Common misconception: "Every square root is irrational." False — √4, √9, √16 are rational. Only non-perfect-square roots are irrational.

Common misconception: "Irrational numbers are rare or unusual." Actually, between any two rationals lies an irrational, and between any two irrationals lies a rational. Both kinds are densely packed everywhere on the number line.

Density: they are interleaved everywhere

A subtle but powerful fact: between any two rational numbers there is an irrational number, and between any two irrational numbers there is a rational number. No matter how close together two numbers are, you can always slip a number of the other type between them. The number line is woven from both, with no smallest gap.

:::compare Rational vs Irrational

Rational	Irrational
Can be written as p/q	Cannot be written as p/q
Decimal terminates OR recurs	Decimal never ends AND never recurs
√4, √9, 3/4, 0.875, 22/7	√2, √3, √5, π, 0.1010010001…
Includes all integers & fractions	Includes non-perfect-square roots, π
:::

:::keypoints Key points

• Irrational = cannot be expressed as p/q (q ≠ 0).
• Irrationals have non-terminating, non-recurring decimals.
• √(positive integer) is irrational unless the integer is a perfect square.
• √2, √3, √5, √7 are irrational; √4, √9, √16 are rational.
• π is irrational; 22/7 is only an approximation (and is itself rational).
• Pythagoras gives irrational lengths: legs 1,1 → √2; legs 2,1 → √5.
• Between any two rationals lies an irrational, and vice versa.
  :::

:::memory

• "Root of a non-square never rests" — it never terminates and never repeats.
  :::

:::recap

• Rational means ratio of integers; irrational means no such ratio exists.
• The decimal test classifies every real number.
• Non-perfect-square roots are irrational; perfect-square roots are not.
• π is irrational; 22/7 only approximates it.
• Rationals and irrationals are densely interleaved on the line.
  :::

This is your one-page mastery sheet for irrational numbers — every idea you met, distilled and then re-explained so the facts actually make sense rather than being memorised blindly. By the end you should be able to identify, prove, and locate irrational numbers with confidence.

Definition: An irrational number cannot be written as p/q (integers p, q with q ≠ 0); its decimal expansion is non-terminating and non-recurring.

1. The defining property

Irrational numbers cannot be put in the form p/q, and their decimals never end and never repeat. Contrast this with rationals, whose decimals either stop (0.875) or fall into a repeating block (0.333…). The "no fraction" and "no repeating decimal" descriptions are two sides of the same coin — each implies the other.

2. Which numbers are irrational

The square root of a non-perfect-square positive integer is irrational: √2, √3, √5, √7, √10, … Also π is irrational. The reason √2 is irrational (not just "it looks messy") is a genuine logical proof, covered next.

3. The proof that √2 is irrational (proof by contradiction)

This is the classic must-know argument.

Question: Prove that √2 is irrational.
Solution:
Step 1: Assume the opposite — suppose √2 is rational, so √2 = a/b where a and b are integers with no common factor (the fraction is in lowest terms) and b ≠ 0.
Step 2: Square both sides: 2 = a²/b², so a² = 2b². This means a² is even, which forces a to be even (the square of an odd number is odd). Write a = 2c.
Step 3: Substitute: (2c)² = 2b² → 4c² = 2b² → b² = 2c². So b² is even, which forces b to be even too.
Step 4: But now both a and b are even — they share a common factor 2. This contradicts our assumption that a/b was in lowest terms.
Conclusion: The assumption "√2 is rational" leads to a contradiction, so it must be false. Therefore √2 is irrational.

Why it matters: This shows irrationality is a provable property, not a guess. The same "both must be even" engine proves √3, √5, etc. are irrational.

4. Locating irrationals geometrically

Using a right triangle with legs 1 and 1, the hypotenuse is √(1+1) = √2, which we swing onto the number line. With legs 2 and 1, the hypotenuse is √(4+1) = √5. A compass arc, centred where the segment starts and opened to the hypotenuse length, drops the exact irrational length onto the number line — turning a tilted segment into a precise point.

5. The square-root spiral

Adding unit perpendiculars one after another generates √2, √3, √4, √5, … each new hypotenuse being √(previous² + 1). This visual chain shows the whole family of square roots living on a single elegant spiral.

6. The big common error

Question: Is √16 irrational?
Solution:
Step 1: Check if 16 is a perfect square: 4² = 16. Yes.
Step 2: So √16 = 4, an integer.
Conclusion: √16 is rational. Not every square root is irrational — √4 = 2, √9 = 3, √16 = 4 are all rational. Only non-perfect-square roots are irrational.

Common misconception: "All roots are irrational." Wrong — perfect-square roots are whole numbers.
Common misconception: "If a decimal looks long and messy, it must be irrational." Not necessarily — 1/7 = 0.142857142857… looks messy but repeats, so it is rational.

:::compare Rational vs Irrational at a glance

Rational	Irrational
p/q form exists	No p/q form
Decimal stops or repeats	Decimal endless & non-repeating
√4, √9, √16, 7/8	√2, √3, √5, √7, π
:::

:::keypoints Key points

• Irrational = no p/q form; decimal non-terminating, non-recurring.
• √(non-perfect-square integer) and π are irrational.
• √2 is irrational, proved by contradiction (a² = 2b² forces a, b both even).
• Legs 1,1 give √2; legs 2,1 give √5 on the number line.
• A compass swings the hypotenuse onto the line as an exact point.
• The square-root spiral builds √2, √3, √4, … with unit perpendiculars.
• √4, √9, √16 are rational — only non-perfect-square roots are irrational.
  :::

:::memory

• "Assume it's a fraction, watch it break" — that one contradiction proves √2 is irrational.
  :::

:::recap

• Irrationals have no fraction form and endless non-repeating decimals.
• Non-perfect-square roots and π are irrational.
• The √2 proof uses contradiction and the "even forces even" rule.
• Pythagoras plus a compass locates irrationals exactly.
• Perfect-square roots stay rational — don't over-generalise.
  :::

Imagine the number line as a packed cricket stadium where every single seat is filled — no empty gaps anywhere. Those seats are the real numbers. This lesson explains what real numbers are, how the rationals and irrationals combine to fill the entire line, and why the perfect match between points and numbers is such a powerful idea.

Definition: A real number is any number that can be placed on the number line. The set of all real numbers is written R.

Definition: The real number line is a straight line on which every point corresponds to exactly one real number, and every real number corresponds to exactly one point.

Rationals + irrationals = the reals

You have met two families of numbers. The rationals can be written as p/q (fractions, integers, terminating and recurring decimals). The irrationals cannot — their decimals run forever without repeating (√2, π, and so on). Put these two families together and you get the complete real number system:

R = rationals ∪ irrationals

Crucially, these two families do not overlap (no number is both rational and irrational) and together they leave nothing out. Every number you will normally meet — whole numbers, fractions, negative numbers, square roots, π — is real.

Why it matters: Before irrationals were included, the number line looked full but secretly had holes — a point like √2 had no number to name it. Adding irrationals plugs every hole. This property, called completeness, is what makes calculus, measurement and physics possible: any length, area, time or temperature you can imagine has an exact real-number value.

The one-to-one correspondence

The deepest idea here is a perfect pairing: every point on the line is some real number, and every real number sits at some point on the line. There are no leftover points and no leftover numbers. Mathematicians say the real numbers and the points of the line are in one-to-one correspondence.

This is why the number line is such a faithful picture of arithmetic. Moving right means getting larger, moving left means getting smaller, distance between two points equals the difference of their values, and "between" on the line means "between" in size. Nothing is lost in translation.

How the number families nest

The real numbers sit at the top of a nested family of number systems you have built up over the years. Each set is contained in the next:

Natural numbers (1, 2, 3, …) ⊂ Whole numbers (0, 1, 2, …) ⊂ Integers (…, −2, −1, 0, 1, 2, …) ⊂ Rationals (p/q) ⊂ Real numbers (R).

The irrationals branch off from the rationals — they are real, but not rational. Together rationals and irrationals reunite to form R.

Question: Classify each number as rational or irrational, and confirm all are real: 7, −3/4, 0.272727…, √16, √7, π.
Solution:
Step 1: 7 is an integer, hence rational.
Step 2: −3/4 is already p/q, rational.
Step 3: 0.272727… is a recurring decimal, so rational (it equals 27/99 = 3/11).
Step 4: √16 = 4 (perfect square), rational.
Step 5: √7 is the root of a non-perfect-square, so irrational.
Step 6: π has a non-terminating, non-repeating decimal, so irrational.
Conclusion: Rational: 7, −3/4, 0.2727…, √16. Irrational: √7, π. All six are real numbers, since every one of them sits on the number line.

Real-world example: Any physical measurement you take — the temperature outside (28.6 °C), your height (1.62 m), the distance to school (3.4 km), or the diagonal of a square tile (√2 m) — is a real number. The real number system is precisely the toolkit science needs to express any quantity on a continuous scale.

Common misconception: "Real numbers are a brand-new kind of number, separate from fractions and roots." No — real numbers are the umbrella that already contains every rational and every irrational you know. There is no separate "real-only" number.

Common misconception: "There are gaps between numbers on the line." There are no gaps. Between any two reals there are infinitely many more reals, both rational and irrational. The line is continuous and complete.

Common misconception: "Imaginary numbers like √−1 are real numbers." They are not. √−1 has no point on the ordinary number line, so it is not a real number — it belongs to a larger system (complex numbers) studied later.

:::compare The number family

Set	Symbol	Example members
Naturals	N	1, 2, 3
Integers	Z	−2, 0, 5
Rationals	Q	1/2, −3, 0.27̄
Irrationals	—	√2, π, √7
Reals	R	all of the above
:::

:::keypoints Key points

• A real number is any number that lies on the number line.
• R = rationals ∪ irrationals, with no overlap and nothing left out.
• The number line has no gaps — it is complete (continuous).
• Every point on the line is exactly one real number, and vice versa (one-to-one correspondence).
• Naturals ⊂ wholes ⊂ integers ⊂ rationals ⊂ reals.
• Irrationals are real but not rational; they fill the holes the rationals leave.
• Every physical measurement is a real number.
• √−1 is not real — it has no place on the number line.
  :::

:::memory

• Rationals plus irrationals fill every seat on the line — that full stadium is R.
  :::

:::recap

• R = rationals ∪ irrationals.
• The number line is continuous, with no gaps.
• Every point ↔ exactly one real number.
• All measurements are real numbers.
• Imaginary numbers are not real numbers.
  :::

Type 1 ÷ 8 into a calculator and the answer stops cleanly at 0.125. Type 1 ÷ 3 and the 3s loop forever. Why do some fractions end and others run on? This lesson reveals the simple rule hiding behind that behaviour, shows you how to predict it without dividing, and clears up the most common confusion: that a repeating decimal is somehow "not a real fraction."

Definition: A terminating decimal ends after a finite number of digits (e.g. 0.75, 0.125).

Definition: A non-terminating recurring decimal never ends, but a block of digits repeats forever (e.g. 0.333…, 0.142857142857…). The repeating block is shown with a bar, e.g. 0.3̄.

Every rational has one of exactly two decimal forms

This is the key fact: when you express any rational number p/q as a decimal, the result is always either terminating or non-terminating recurring — never anything else. A rational number can never produce a non-repeating endless decimal; that behaviour belongs only to irrationals.

Why only two outcomes? When you do long division by q, the remainder at each step must be one of the numbers 0, 1, 2, …, q − 1 — only q possible values. Either a remainder of 0 appears (the division stops — terminating) or, within at most q steps, a remainder must repeat. Once a remainder repeats, the whole digit pattern from that point repeats too, forever — giving a recurring decimal. There is simply no third possibility.

Why it matters: This tells you that "terminating or recurring" is the signature of a rational number. If you ever see a decimal that goes on forever without any repeating block, you are looking at an irrational number, not a fraction.

The deciding rule: look at the denominator's prime factors

You can predict which type you will get without dividing at all, just by factorising the denominator (in lowest terms):

A fraction in lowest terms gives a terminating decimal if and only if its denominator's only prime factors are 2 and/or 5. If the denominator has any other prime factor (3, 7, 11, …), the decimal recurs.

The reason is that our decimal system is base 10, and 10 = 2 × 5. A denominator built only from 2s and 5s can be scaled up to a power of 10 (like 10, 100, 1000), which is exactly what a terminating decimal is. Any other prime factor cannot be turned into a power of 10, so the division never reaches a remainder of 0.

Question: Without dividing, decide whether 7/40 and 5/12 terminate or recur.
Solution:
Step 1: Factorise the denominator of 7/40. 40 = 2 × 2 × 2 × 5 = 2³ × 5 — only 2s and 5s.
Step 2: Since 40 has no other prime factor, 7/40 terminates. (Indeed 7/40 = 0.175.)
Step 3: Factorise the denominator of 5/12. 12 = 2 × 2 × 3 = 2² × 3 — it contains a 3.
Step 4: Because of the prime factor 3, 5/12 recurs. (Indeed 5/12 = 0.41666… = 0.41̄6̄.)
Conclusion: 7/40 terminates; 5/12 is non-terminating recurring.

Always reduce to lowest terms first. For example 15/24 looks like it has a 3, but 15/24 = 5/8, whose denominator is 2³ — so it actually terminates (0.625).

Recurring decimals are still rational

A recurring decimal is fully a rational number — it can always be converted back to p/q. For example 0.333… = 1/3 and 0.1818… = 2/11. So do not be fooled by the endless tail: an endless decimal is irrational only if it also never repeats.

Real-world example: Money usually terminates — a price of ₹0.50 is exactly 50 paise. But split a ₹100 restaurant bill three ways and each share is ₹33.333…, a recurring decimal. In practice you round to ₹33.33 and someone covers the extra paisa — the recurring tail is why three-way splits never come out perfectly even.

Common misconception: "A recurring decimal is irrational because it never ends." Wrong — recurring decimals are rational. The test for irrationality is non-terminating and non-repeating together.

Common misconception: "You have to divide to know whether a fraction terminates." You don't — just factorise the denominator (in lowest terms) and check for prime factors other than 2 and 5.

Common misconception: "1/6 terminates because 6 has a 2 in it." It must be only 2s and 5s. 6 = 2 × 3, and that stray 3 forces 1/6 = 0.1666… to recur.

Fraction	Decimal	Type
1/4	0.25	Terminating
1/6	0.1666...	Recurring
7/8	0.875	Terminating

:::compare Terminating vs Recurring

Terminating	Non-terminating recurring
Ends after finitely many digits	Goes on forever with a repeating block
Denominator (lowest terms) = 2ᵃ × 5ᵇ only	Denominator has a prime factor ≠ 2, 5
3/4 = 0.75, 7/40 = 0.175	1/3 = 0.3̄, 5/12 = 0.41̄6̄
Rational	Also rational
:::

:::keypoints Key points

• Every rational number's decimal is terminating or non-terminating recurring — never anything else.
• Long division forces a repeating remainder within q steps, which is why only these two cases occur.
• In lowest terms, a fraction terminates iff its denominator's only prime factors are 2 and/or 5.
• Any other prime factor (3, 7, 11, …) makes the decimal recur.
• Always reduce to lowest terms before applying the rule (e.g. 15/24 = 5/8 terminates).
• The 2-and-5 rule works because base ten = 2 × 5.
• Recurring decimals are rational and can be converted back to p/q.
• Non-terminating AND non-repeating means irrational, not rational.
  :::

:::memory

• Only twos and fives let a fraction finish; any other prime makes it loop forever.
  :::

:::recap

• Rational decimals either terminate or recur.
• Denominator of 2s and 5s only → terminating.
• Any other prime factor → recurring.
• Reduce to lowest terms before testing.
• Recurring decimals are still rational.
  :::

Recurring decimals look intimidating, but they are secretly fractions wearing a disguise. With one clever algebra trick you can unmask any of them and recover the exact p/q form. This lesson teaches that method step by step, extends it to multi-digit and mixed repeats, and uses it to settle the famous "0.999… = 1" debate.

Definition: A recurring (repeating) decimal is a non-terminating decimal in which a block of digits repeats forever, written with a bar over the block — e.g. 0.6̄ = 0.6666…, 0.2̄7̄ = 0.272727…

Definition: Converting to p/q form means writing the decimal as a fraction of two integers, which proves it is rational.

Why any recurring decimal is rational

A repeating decimal never ends, yet it equals an exact fraction. The reason is that the endless repeating tail can be cancelled against itself. If you multiply the number by the right power of 10, you shift the decimal point so the repeating tails of the two versions line up perfectly. Subtracting then wipes out the infinite tail, leaving an ordinary equation you can solve. The number of repeating digits tells you which power of 10 to use: one repeating digit → multiply by 10, two → by 100, three → by 1000, and so on.

Why it matters: This proves that "non-terminating recurring" decimals are firmly rational, and gives you a guaranteed procedure to find the fraction — a frequent exam task. It also resolves paradoxes like 0.999… = 1 with a clean, convincing argument.

The method on a single-digit repeat

Question: Convert 0.6̄ (= 0.6666…) to a fraction.
Solution:
Step 1: Let x = 0.6666…
Step 2: One digit repeats, so multiply both sides by 10: 10x = 6.6666…
Step 3: Subtract the first equation from the second: 10x − x = 6.6666… − 0.6666…, which gives 9x = 6 (the endless tails cancel exactly).
Step 4: Solve: x = 6/9 = 2/3.
Conclusion: 0.6̄ = 2/3.

When more than one digit repeats

Match the power of 10 to the length of the repeating block.

Question: Convert 0.2̄7̄ (= 0.272727…) to a fraction.
Solution:
Step 1: Let x = 0.272727…
Step 2: Two digits repeat, so multiply by 100: 100x = 27.272727…
Step 3: Subtract: 100x − x = 27.272727… − 0.272727…, giving 99x = 27.
Step 4: Solve: x = 27/99 = 3/11.
Conclusion: 0.2̄7̄ = 3/11.

Notice the pattern: one repeating digit gives a denominator of 9, two give 99, three give 999, and so on — a useful shortcut for purely repeating decimals.

Mixed decimals (some non-repeating digits first)

When digits sit before the repeating block, multiply by two powers of 10 — one to clear the non-repeating part and one to shift a full repeat — then subtract.

Question: Convert 0.16̄ (= 0.16666…, where only the 6 repeats) to a fraction.
Solution:
Step 1: Let x = 0.16666…
Step 2: There is 1 non-repeating digit, so first multiply by 10: 10x = 1.6666…
Step 3: One digit repeats, so also multiply by 100: 100x = 16.6666…
Step 4: Subtract the two new equations: 100x − 10x = 16.6666… − 1.6666…, giving 90x = 15.
Step 5: Solve: x = 15/90 = 1/6.
Conclusion: 0.16̄ = 1/6.

Real-world example: This method settles the classic mind-bender that 0.999… = 1. Let x = 0.999…; then 10x = 9.999…; subtracting gives 9x = 9, so x = 1 exactly. So 0.999… is not "just below" 1 — it is another name for 1, just as 2/2 is another name for 1.

Common misconception: "0.999… is a tiny bit less than 1." There is no gap — the algebra forces x = 1 exactly. 0.999… and 1 are two names for the same number.

Common misconception: "Recurring decimals are irrational." The whole point of this method is that every recurring decimal converts to p/q, so it is rational. Only non-repeating endless decimals are irrational.

Common misconception: "Always multiply by 10." The power of 10 must match the length of the repeating block: 10 for one repeating digit, 100 for two, 1000 for three. Use 10 blindly on a two-digit repeat and the tails won't cancel.

:::compare Which power of 10 to use

Decimal	Repeating digits	Multiply by	Result
0.6̄	1	10	6/9 = 2/3
0.2̄7̄	2	100	27/99 = 3/11
0.16̄	1 (after 1 fixed)	10 and 100	15/90 = 1/6
:::

:::keypoints Key points

• Every recurring decimal can be written as p/q, so it is rational.
• Set the decimal equal to x.
• Multiply by 10ⁿ, where n is the number of repeating digits, to shift one full block.
• Subtract the original from the multiplied equation to cancel the infinite tail.
• Solve the resulting linear equation and simplify the fraction.
• Pure repeats give denominators 9, 99, 999, … (one 9 per repeating digit).
• For mixed decimals, use two powers of 10 to clear the fixed part and one repeat.
• The method proves 0.999… = 1 exactly.
  :::

:::memory

• Multiply to line up the tails, subtract to delete them, then solve for x.
  :::

:::recap

• Set the decimal = x.
• Multiply by 10/100/1000 to match the repeating block.
• Subtract to wipe out the endless tail.
• Solve and simplify to get p/q.
• Recurring decimals are rational; 0.999… = 1.
  :::

Every number you will ever meet in school maths — whole, fraction, root, or π — is a real number, and each one hides its true identity in its decimal expansion. This lesson teaches you to read that decimal like a detective: terminating, recurring, or neither, and to convert any repeating decimal back into a fraction.

Definition: The real numbers are all the rationals together with all the irrationals. Each real number corresponds to exactly one point on the number line, and each point corresponds to exactly one real number — a perfect, gap-free one-to-one match.

The number line is complete

The rationals alone leave "gaps" (like the spot for √2). Filling in the irrationals plugs every gap. The result: the number line and the set of real numbers are in perfect one-to-one correspondence. Pick any point — there is exactly one real number there; pick any real number — there is exactly one point for it. This completeness is what makes the real line a continuous, unbroken thread.

Why it matters: Because of this match, we can see numbers as positions and measure positions as numbers. Geometry and arithmetic become two views of the same thing.

Reading a number from its decimal — three cases

The decimal expansion classifies any real number instantly.

Case 1 — Terminating decimal. The division ends. Example: 7/8 = 0.875. After three places it stops. Terminating decimals are always rational.

Case 2 — Non-terminating but recurring. The decimal never ends but a block of digits repeats forever. Examples: 1/3 = 0.333… (written 0.3̅, a bar over the 3) and 1/7 = 0.142857142857… (the block 142857 repeats). These are also rational — repetition is the signature of a fraction.

Case 3 — Non-terminating and non-recurring. The decimal never ends and never settles into a repeating block. Example: 0.1010010001… (the number of zeros keeps growing, so no block repeats). These are irrational.

Why it matters: A surprising truth is that every fraction p/q gives either a terminating or a recurring decimal — never anything else. So if you ever see a decimal that genuinely never repeats, you are looking at an irrational number.

Converting a recurring decimal to p/q

Recurring decimals are rational, so they must equal some fraction. Here is the standard method.

Method: Let x equal the decimal. Multiply x by a power of 10 large enough to shift the decimal point past one full repeating period. Subtract the original from this, so the endless repeating tails cancel exactly, leaving a clean equation you can solve.

Question: Convert 0.3̅ (i.e. 0.333…) to a fraction.
Solution:
Step 1: Let x = 0.333…
Step 2: The repeating block is one digit, so multiply by 10: 10x = 3.333…
Step 3: Subtract the first from the second; the 0.333… tails cancel:
10x − x = 3.333… − 0.333… → 9x = 3.
Step 4: Solve: x = 3/9 = 1/3.
Conclusion: 0.3̅ = 1/3. ✓

Why subtraction works: both 10x and x have the same infinite repeating tail, so subtracting wipes the tail out completely and leaves a finite number — that is the whole reason we multiply by exactly one period's worth of 10s.

Locating a decimal by successive magnification

To pin down, say, 3.76 on the number line, we "zoom in" in stages. First find it between 3 and 4; then magnify the interval 3.7 to 3.8 and locate 3.76 inside it. Each zoom narrows the search by a factor of ten. This visual process shows that every decimal, no matter how many places, has a definite home on the line.

Real-world example: A digital weighing scale reading 3.76 kg has "found" the exact point between 3.7 and 3.8 — the same zoom-in logic the magnification picture shows.

Common misconception: "1/7 has a short repeat like 0.14." Wrong — its period is six digits long: 0.142857142857…. Always carry the long division until a remainder repeats; only then have you found the full repeating block.

Common misconception: "Recurring decimals aren't 'real' fractions." They are exactly fractions — 0.3̅ is 1/3, not merely close to it.

:::compare Decimal type → number type

Decimal expansion	Example	Number type
Terminating	7/8 = 0.875	Rational
Non-terminating, recurring	1/3 = 0.3̅, 1/7 = 0.142857̅	Rational
Non-terminating, non-recurring	0.1010010001…	Irrational
:::

:::keypoints Key points

• Real numbers = rationals + irrationals; one-to-one with points on the number line.
• Terminating decimals are rational (7/8 = 0.875).
• Non-terminating recurring decimals are rational (1/3 = 0.3̅).
• Non-terminating non-recurring decimals are irrational (0.1010010001…).
• To convert a recurring decimal: let x = it, ×10ⁿ to shift one period, subtract, solve.
• 0.3̅ = 1/3 by 10x − x = 3.
• 1/7 has a six-digit period (142857) — carry division until a remainder repeats.
  :::

:::memory

• "Stops or repeats → rational; never-ending mess → irrational."
  :::

:::recap

• Real numbers fill the line completely, one point per number.
• Decimals come in three types; the first two are rational.
• Only endless, non-repeating decimals are irrational.
• Subtracting after a one-period shift converts recurring decimals to fractions.
• Successive magnification locates any decimal precisely.
  :::

A decimal like 0.4777… looks like it could ramble on forever with no pattern — but the moment you spot that only the 7 repeats, you hold the key to turning it back into an exact fraction. The algebra trick that does this is one of the most satisfying in the whole Number Systems chapter.

Definition: A recurring (or repeating) decimal is a decimal in which, after some point, a block of digits repeats forever. We mark the repeating block with a bar: 0.4̄7 means 0.4777… where only the 7 repeats. Every recurring decimal is a rational number — it can always be written as p/q.

Definition: A mixed recurring decimal has some non-repeating digit(s) right after the decimal point, followed by a repeating block. Here the 4 is non-repeating and the 7 is the repeating block.

The core idea: line up the tails so they cancel

The whole technique rests on one observation: if two numbers have the exact same infinite repeating tail, subtracting one from the other makes that endless tail vanish, leaving a clean finite number. Our job is to create two such numbers by multiplying x by suitable powers of 10, then subtract.

There are two "shifts" to handle in a mixed recurring decimal:

1. Shift past the non-repeating part (the 4) — multiply so the decimal point sits just before the first repeating digit.
2. Shift one full repeating period — multiply again by 10 raised to (number of repeating digits) so a second copy lines up.

Worked example

Question: Express 0.4777… (only the 7 repeats, written 0.4̄7) in the form p/q.

Solution:

Step 1: Let x = 0.4777…

Step 2: One digit (the 4) does not repeat, so first shift past it by multiplying by 10:
10x = 4.777… …(i)
Now the decimal point sits immediately before the repeating 7s, with the pure recurring tail .777… exposed.

Step 3: The repeating block has one digit, so multiply (i) by 10 once more to slide along exactly one full period:
100x = 47.777… …(ii)
Notice (i) and (ii) now have the identical tail .777….

Step 4: Subtract (i) from (ii) so the matching repeating tails cancel:
100x − 10x = 47.777… − 4.777…
90x = 43

Step 5: Solve for x:
x = 43/90

Check: Dividing 43 by 90 gives 0.4777…, which matches the original. So 0.4̄7 = 43/90.

Note on lowest terms: 90 = 2 × 3 × 3 × 5, while 43 is prime, so they share no common factor. Hence 43/90 is already in lowest terms.

Reading the answer as a shortcut

There is a pattern worth memorising for mixed recurring decimals:

x = (whole number formed by ALL digits up to the end of the first repeat) − (number formed by the NON-repeating digits), divided by (as many 9s as there are repeating digits, followed by as many 0s as there are non-repeating digits).

Applying it to 0.4̄7: the digits up to the end of the first repeat are "47", the non-repeating digits are "4", there is 1 repeating digit (→ one 9) and 1 non-repeating digit (→ one 0). So
x = (47 − 4) / 90 = 43/90. ✓
This matches the algebra exactly — the algebra is the reason the shortcut works.

Why it matters: Converting decimals to fractions is essential for exact computation. In exams, marks are awarded for the method (let x …, the two multiplications, the subtraction), not just the final fraction. The skill also proves a deeper claim: that every terminating or recurring decimal is rational, which is one half of the fundamental link between decimals and rational numbers.

Real-world example: Calculators and computers store many fractions as recurring decimals (1/3 = 0.333…, 1/7 = 0.142857…). Reversing the process — recovering the exact fraction — is exactly how you avoid rounding errors when, say, totalling repeated measurements or splitting a bill into thirds.

Common misconceptions corrected

Common misconception: "Just multiply by 100 straight away." If you skip Step 2 and only do 100x and x, the tails will not align (because of the non-repeating 4) and the subtraction leaves a fractional remainder. You must first shift past the non-repeating digits.

Common misconception: "0.4777… equals 0.48 or roughly 47/100." No — the 7s continue forever; it is exactly 43/90 ≈ 0.4777…, not a terminating decimal.

Common misconception: "Multiply by 10 as many times as total digits shown." The multipliers are governed by the structure (non-repeating count and repeating-block length), not by how many digits you happened to write out.

:::compare Choosing the multipliers

Decimal type	First multiplier (shift past non-repeat)	Second multiplier (one period)	Example
Pure recurring (e.g. 0.7̄)	×1 (none needed)	×10ᵏ, k = repeat length	0.7̄ → 10x − x = 9x
Mixed recurring (e.g. 0.4̄7)	×10ᵐ, m = non-repeat length	×10ᵏ more	100x − 10x = 90x
:::

:::keypoints Key points

• Every terminating or recurring decimal is rational (expressible as p/q).
• For mixed recurring decimals, first multiply to shift past the non-repeating digits.
• Then multiply by 10^(number of repeating digits) to align one full period.
• Subtract the two equations so the identical repeating tails cancel.
• For 0.4̄7: 100x − 10x = 90x = 43, giving x = 43/90.
• Shortcut: (47 − 4)/90 = 43/90, matching the algebra.
• Always reduce to lowest terms; 43/90 is already lowest since 43 is prime.
• Verify by dividing back: 43 ÷ 90 = 0.4777…. ✓
  :::

:::memory
"Shift past the still, then jump one beat": first move past the non-repeating digit, then leap exactly one repeating block before subtracting.
:::

:::recap

• Set x = 0.4777… and identify the non-repeating digit (4) and repeating block (7).
• Multiply by 10 to clear the non-repeating part: 10x = 4.777….
• Multiply by 10 again for one period: 100x = 47.777….
• Subtract: 90x = 43.
• Solve and simplify: x = 43/90 (already in lowest terms).
• Check by division to confirm 0.4777….
  :::

When a decimal repeats a two-digit block like 1.272727…, the same cancel-the-tail trick still works — you just have to jump two digits at a time instead of one. Master this and you can convert any pure recurring decimal into an exact fraction in seconds.

Definition: A pure recurring decimal is a decimal whose repetition begins immediately after the decimal point, with no non-repeating digits in between. Here, 1.2̄7̄ means 1.272727…, where the whole block 27 repeats forever. (The integer part 1 simply rides along and is added back at the end — the recurring action is in the decimal part.)

Why the multiplier is 100, not 10

The governing rule for the "period shift" is: multiply by 10 raised to the number of repeating digits. The repeating block here is 27, which has two digits, so we multiply by 10² = 100. This shifts the decimal point exactly one full period to the right, producing a second number with the identical infinite tail — the precondition for the tails to cancel on subtraction.

If you mistakenly used 10, you would shift only half a period (127.2727… vs 1.2727…), the tails would not match, and the subtraction would leave behind an unwanted recurring remainder. The block length dictates the power of 10 — always.

Worked example

Question: Express 1.272727… (the block 27 repeats, written 1.2̄7̄) in the form p/q.

Solution:

Step 1: Let x = 1.272727…

Step 2: The repeating block has TWO digits (27), so multiply by 100 to shift exactly one full period:
100x = 127.272727… …(i)

Step 3: Keep the original equation:
x = 1.272727… …(ii)

Step 4: Subtract (ii) from (i); the identical recurring tails .272727… cancel perfectly:
100x − x = 127.272727… − 1.272727…
99x = 126

Step 5: Solve:
x = 126/99

Step 6: Simplify to lowest terms. The HCF of 126 and 99 is 9 (126 = 2 × 3² × 7; 99 = 3² × 11; common part 3² = 9):
126 ÷ 9 = 14, and 99 ÷ 9 = 11, so x = 14/11.

Check: 14 ÷ 11 = 1.2727…, confirming the answer. Thus 1.2̄7̄ = 14/11.

The pattern behind it (pure recurring shortcut)

For a pure recurring decimal, the fraction is simply:
(the repeating block) divided by (as many 9s as there are digits in the block).

For the decimal part 0.2̄7̄ this gives 27/99 = 3/11 (dividing top and bottom by 9). Adding the integer part: 1 + 3/11 = 14/11. ✓ This is exactly why "99" appeared in the denominator: two repeating digits → two 9s. One repeating digit would give a single 9 (e.g. 0.3̄ = 3/9 = 1/3); three would give 999, and so on.

Why it matters: This confirms that every recurring decimal is rational — no exceptions. It also gives you a fast mental check: 0.9̄9̄… type denominators (9, 99, 999) instantly signal pure recurring decimals. In exams, showing the "let x …, ×100, subtract" method earns full method marks, and simplifying to 14/11 earns the final mark.

Real-world example: Many everyday fractions produce two-digit recurring blocks: 1/11 = 0.090909… = 0.0̄9̄, 4/33 = 0.121212…, and indeed 14/11 = 1.2727…. Recognising the block length lets you instantly reverse such a calculator readout back into the clean fraction.

Common misconceptions corrected

Common misconception: "Multiply by 10 because there's a decimal point." The multiplier depends on the length of the repeating block (here 2 digits → ×100), not on the mere presence of a decimal point.

Common misconception: "126/99 is the final answer." It is correct but not in lowest terms. Always divide by the HCF (9 here) to reach 14/11. Exam answers are expected in simplest form.

Common misconception: "The leading 1 changes the method." It does not — the integer part is carried through unchanged; only the recurring fractional part drives the cancellation, and you re-attach the integer in the final value (it is already included when you set x = 1.2727…).

:::compare Block length sets the power of 10

Repeating block	Digits	Multiply by	Denominator after subtraction
0.3̄	1	10	9
0.2̄7̄	2	100	99
0.1̄2̄3̄	3	1000	999
:::

:::keypoints Key points

• A pure recurring decimal repeats immediately after the decimal point.
• Multiply by 10^(number of repeating digits); for block 27 (2 digits) use 100.
• Subtract the original equation to cancel the identical recurring tails.
• For 1.2̄7̄: 100x − x = 99x = 126, so x = 126/99.
• Simplify using the HCF (9): 126/99 = 14/11.
• Shortcut: 0.2̄7̄ = 27/99 = 3/11, then 1 + 3/11 = 14/11.
• Two repeating digits → denominator of two 9s (99); the pattern scales.
• Verify by dividing: 14 ÷ 11 = 1.2727…. ✓
  :::

:::memory
"Count the block, count the nines": the number of repeating digits = the number of 9s in the denominator.
:::

:::recap

• Set x = 1.272727… with repeating block 27 (two digits).
• Multiply by 100 to shift one full period: 100x = 127.2727….
• Subtract x: 99x = 126.
• Solve: x = 126/99.
• Simplify by HCF 9: x = 14/11.
• Confirm: 14 ÷ 11 = 1.2727….
  :::

Every real number wears a "decimal fingerprint" — and just by glancing at how that decimal behaves, you can instantly tell whether the number is rational or irrational. This single classification ties together everything in the Number Systems chapter.

Definition: A rational number can be written as p/q with integers p, q and q ≠ 0. Its decimal expansion is always either terminating or non-terminating recurring.

Definition: An irrational number cannot be written as p/q. Its decimal expansion is non-terminating and non-recurring (endless, with no repeating block).

The three kinds of decimal expansion

Sort any real number's decimal into exactly one of three boxes:

• Terminating (the decimal stops) ⟹ rational. Example: 0.875 = 7/8. The division simply ends.
• Non-terminating recurring (goes forever but a block repeats) ⟹ rational. Example: 0.3̄ = 0.333… = 1/3. It never stops, yet it is still a ratio of integers.
• Non-terminating non-recurring (goes forever with no repeating block) ⟹ irrational. Example: 0.1010010001000010… (the gaps of 0s keep growing) — and famously √2 = 1.41421356… and π = 3.14159….

Why it matters: This gives you a foolproof test. You never have to guess: examine the decimal, and the box it lands in tells you the number's family. It also reveals a deep truth — terminating and recurring decimals together account for all and only the rational numbers; anything that escapes both is irrational.

Common misconception: "Non-terminating always means irrational." False — 0.333… never terminates yet is the rational 1/3. The deciding factor for non-terminating decimals is whether they recur.

Shortcut 1 — purely recurring decimal to fraction

If the repetition begins right after the decimal point, use:
a block of n repeating digits equals (the block) ÷ (n nines).

Example: 0.2̄7̄ = 27/99 = 3/11. The block "27" has 2 digits, so divide by 99; then simplify (÷9). Likewise 0.3̄ = 3/9 = 1/3, and 0.1̄2̄3̄ = 123/999.

Shortcut 2 — mixed recurring decimal to fraction

If some non-repeating digit(s) come before the repeating block, use:
x = [ (whole number from ALL digits up to the end of the first repeat) − (number from the NON-repeating digits) ] ÷ [ (as many 9s as repeating digits) followed by (as many 0s as non-repeating digits) ].

Example: 0.4̄7 (the 4 is non-repeating, the 7 repeats).

• Digits up to end of first repeat: 47. Non-repeating digits: 4. Repeating digits: 1 (→ one 9). Non-repeating digits: 1 (→ one 0).
• x = (47 − 4) / 90 = 43/90.

Worked example.
Question: Express 0.5̄ as a fraction and state its type.
Solution:
Step 1: Pure recurring, block "5", 1 digit ⟹ denominator 9.
Step 2: 0.5̄ = 5/9.
Conclusion: 0.5̄ = 5/9, a rational number (non-terminating recurring).

Worked example.
Question: Express 0.2̄3̄ as a fraction in lowest terms.
Solution:
Step 1: Pure recurring, block "23", 2 digits ⟹ denominator 99.
Step 2: 0.2̄3̄ = 23/99.
Step 3: 23 is prime and does not divide 99, so it is already in lowest terms.
Conclusion: 0.2̄3̄ = 23/99.

The number line correspondence

Definition (completeness): Every real number corresponds to a unique point on the number line, and every point on the number line corresponds to a unique real number. This one-to-one matching is why the number line has no gaps: rationals alone would leave holes at √2, π, etc.; the irrationals plug exactly those holes. Together, rationals and irrationals (the real numbers) fill the line completely.

Real-world example: A ruler shows this completeness physically — between any two marks (say 1 cm and 2 cm) lie infinitely many rationals (1.5, 1.25, …) and infinitely many irrationals (1 + 1/√2, …). Any precise length you measure sits at exactly one real point, rational or irrational.

Common misconception: "There are more rationals than irrationals because we see fractions everywhere." In fact the line is densely packed with both, and the irrationals are if anything the more numerous; both are infinite and fill the line jointly.

:::compare Decimal type → number type

Decimal expansion	Repeats?	Number type	Example
Terminating	—	Rational	0.875 = 7/8
Non-terminating, recurring	Yes	Rational	0.3̄ = 1/3
Non-terminating, non-recurring	No	Irrational	0.1010010001…, √2, π
:::

:::keypoints Key points

• Terminating decimals are rational (e.g. 0.875 = 7/8).
• Non-terminating recurring decimals are rational (e.g. 0.3̄ = 1/3).
• Non-terminating non-recurring decimals are irrational (e.g. 0.1010010001…, √2, π).
• Pure recurring shortcut: n repeating digits = (block) ÷ (n nines); e.g. 0.2̄7̄ = 27/99 = 3/11.
• Mixed recurring: (all-digits − non-repeating-digits) ÷ (9s for repeats, then 0s for non-repeats); e.g. 0.4̄7 = 43/90.
• Always simplify the resulting fraction to lowest terms.
• Every real number ↔ a unique point on the number line, and vice versa.
• Rationals + irrationals (the reals) fill the number line with no gaps.
  :::

:::memory
"Stops or Repeats = Ratio; Wanders forever = Irrational": terminating/recurring ⟹ rational, non-recurring ⟹ irrational.
:::

:::recap

• Three decimal types: terminating, non-terminating recurring, non-terminating non-recurring.
• The first two are rational; the third is irrational.
• Pure recurring → block over (n nines); simplify.
• Mixed recurring → (all digits − non-repeating) over (nines then zeros).
• The real number line is in one-to-one correspondence with all real numbers.
• Rationals and irrationals together leave no gaps on the line.
  :::

Every number you have ever used — whether counting marbles, measuring length, or finding the diagonal of a square — lives somewhere on a single, unbroken line. This lesson pulls together the big ideas about real numbers and how their decimal expansions reveal whether a number is rational or irrational, and shows you the exact techniques to convert recurring decimals back into fractions.

Definition: A real number is any number that corresponds to a point on the number line — this includes both rational numbers (which can be written as p/q with integers p, q and q ≠ 0) and irrational numbers (which cannot).

Real numbers fill the number line completely

The deepest fact about real numbers is that there is a perfect one-to-one correspondence between points on the number line and real numbers. Pick any point — there is exactly one real number for it; pick any real number — there is exactly one point for it. There are no "gaps." If you only had the rational numbers, the line would be full of holes (for instance, at the point whose distance from 0 equals √2). The irrationals plug every one of those holes.

Why it matters: This is what makes the number line a faithful picture of arithmetic. When you draw a length, find an area, or read a thermometer, you can always name the result by a real number — never anything "off the line."

Rational numbers: decimals that terminate or repeat

When you carry out the long division p ÷ q, only finitely many remainders are possible (the remainders must be less than q). So eventually either the remainder becomes 0 (the decimal terminates, like 1/4 = 0.25) or a remainder repeats, forcing a block of digits to repeat forever (the decimal is non-terminating recurring, like 1/3 = 0.333… or 1/7 = 0.142857142857…).

Definition: A recurring (or repeating) decimal is one in which a fixed block of digits repeats endlessly; we mark the repeating block with a bar, e.g. 0.3̄ or 0.1̄42857̄.

Real-world example: A baker splitting a 1 kg cake equally among 3 people gives each 0.333… kg — a perfectly real, exact amount, even though its decimal never ends.

Irrational numbers: decimals that never end and never repeat

Definition: An irrational number has a decimal expansion that is non-terminating and non-recurring — it goes on forever with no repeating block.

Examples include √2 = 1.41421356…, √3 = 1.73205…, and π = 3.14159265…. Because there is no repeating pattern, no matter how far you compute, you can never write them as a clean fraction p/q.

Common misconception: "π = 22/7 exactly." Wrong — 22/7 is only a convenient approximation. 22/7 = 3.142857142857… (recurring, hence rational), but π is irrational; they differ from the third decimal place onward.

Converting a recurring decimal to p/q

The general engine: set x equal to the decimal, multiply by suitable powers of 10 so the repeating tails line up, then subtract to cancel the infinite tail.

Question: Express 0.3̄ as a fraction.
Solution:
Step 1: Let x = 0.333…
Step 2: Multiply by 10: 10x = 3.333…
Step 3: Subtract: 10x − x = 3.333… − 0.333… → 9x = 3.
Conclusion: x = 3/9 = 1/3.

Question: Express 1.2̄7̄ (i.e. 1.272727…) as a fraction.
Solution:
Step 1: Let x = 1.272727…
Step 2: Two digits repeat, so multiply by 100: 100x = 127.2727…
Step 3: Subtract: 100x − x = 127.2727… − 1.2727… → 99x = 126.
Conclusion: x = 126/99 = 14/11.

Handy shortcuts for purely and mixed recurring decimals

• Purely recurring: 0.a̅b̅ = ab/99, 0.a̅b̅c̅ = abc/999 (one 9 per repeating digit). Example: 0.4̄5̄ = 45/99 = 5/11.
• Mixed recurring (some non-repeating digits before the bar): 0.a b̄ = (ab − a)/90. Example: 0.16̄ = (16 − 1)/90 = 15/90 = 1/6.

Why it matters: These let you instantly check answers and convert decimals without re-deriving the subtraction each time — useful under exam time pressure.

Successive magnification: locating a decimal on the line

To place a number like 2.665 precisely, "zoom in." First locate it between 2 and 3; divide that gap into ten parts to find it between 2.6 and 2.7; divide again to find it between 2.66 and 2.67; once more between 2.665 and 2.666. This process of successive magnification can pin down a real number to as many decimal places as you like.

Common misconception: "1/7 just repeats the digit 1, giving 0.111…." Wrong — that's 1/9. For 1/7 you must keep dividing until a remainder repeats; the actual period has length 6: 0.142857142857…. Always finish the long division.

:::compare Rational vs Irrational by decimal

Rational number	Irrational number
Can be written as p/q	Cannot be written as p/q
Decimal terminates OR recurs	Decimal non-terminating, non-recurring
e.g. 0.25, 0.3̄, 0.142857̄	e.g. √2, √3, π
Long division remainder repeats/ends	Long division never settles
:::

:::keypoints Key points

• Real numbers = rationals + irrationals; they fill the number line with no gaps (one-to-one with points).
• A rational's decimal either terminates or is non-terminating recurring.
• An irrational's decimal is non-terminating AND non-recurring.
• Convert recurring decimals via: let x = decimal, shift by powers of 10, subtract, solve.
• Purely recurring 0.a̅b̅ = ab/99; mixed 0.a b̄ = (ab − a)/90.
• Successive magnification zooms in to locate any decimal on the line.
• 1/7 = 0.142857̄ has period length 6, not a single digit.
• 22/7 is only an approximation of π; π itself is irrational.
  :::

:::memory

• "Ends or repeats = rational; rambles forever with no rhythm = irrational."
  :::

:::recap

• Real numbers correspond one-to-one with points on the number line.
• Rationals terminate or recur; irrationals do neither.
• Recurring decimals convert to p/q by aligning and subtracting tails.
• Use 99…9 / 90…0 shortcuts for quick conversions.
• Successive magnification locates any decimal as finely as needed.
• Always run long division to completion to find the true period.
  :::

Mixing numbers is like mixing playlists — sometimes you create something entirely new, and sometimes you land right back on a familiar track. When you add and multiply surds (roots like √2, √3), the results follow neat but surprising rules, including the famous moment when two irrationals multiply to give a plain rational. This lesson lays out those rules, the surd laws you must memorise, and the errors that cost easy marks.

Definition: A surd is the irrational root of a rational number, such as √2, √3, ∛5. (Roots that come out exact, like √9 = 3, are not surds.)

Definition: A rational number is one expressible as p/q (integers, q ≠ 0); an irrational number is one that is not.

The three combination rules

When you combine a rational with an irrational, the outcome is predictable:

• rational + irrational = irrational. For example 2 + √3 is irrational. Adding a "tidy" number cannot smooth out the endless non-repeating tail of √3.
• rational − irrational = irrational (same reasoning), e.g. 5 − √2 is irrational.
• (non-zero) rational × irrational = irrational. For example 5√2 is irrational. Scaling an irrational by an ordinary number keeps it irrational — unless you multiply by 0, which gives 0 (rational).

Why it matters: These rules let you instantly classify expressions like 3 + 2√5 or 7√2 as irrational without computing decimals — a common exam shortcut. You can even prove them by contradiction: if 2 + √3 were rational, then √3 = (that rational) − 2 would be rational too, which is false.

The surd surprise: irrational × irrational can be rational

Here is the twist that catches students out. Multiplying two irrationals does not always give an irrational:

√2 × √2 = √4 = 2 — a rational number!

Two irrationals collapsed into a plain integer. This happens whenever the roots "complete" a perfect square. It also means irrational × irrational is unpredictable: √2 × √3 = √6 (irrational), but √2 × √8 = √16 = 4 (rational). You must actually compute it; there is no blanket rule.

The surd laws you must know

For non-negative a and b:

• √a × √b = √(ab) — multiply under one root. So √2 × √3 = √6.
• √a ÷ √b = √(a/b) — divide under one root (b ≠ 0). So √6 ÷ √2 = √3.
• (√a)² = a — squaring undoes the root. So (√5)² = 5.
• √(a²b) = a√b — pull out perfect-square factors. So √50 = √(25·2) = 5√2.

Question: Simplify √2 × √3 × √6.
Solution:
Step 1: Combine the first two: √2 × √3 = √(2×3) = √6.
Step 2: Multiply by the last: √6 × √6 = √(6×6) = √36.
Step 3: Evaluate: √36 = 6.
Conclusion: √2 × √3 × √6 = 6, a rational number.

Question: Simplify √48 + √12.
Solution:
Step 1: Pull out perfect squares: √48 = √(16·3) = 4√3.
Step 2: Likewise √12 = √(4·3) = 2√3.
Step 3: Now both have the same surd √3, so add the coefficients: 4√3 + 2√3 = 6√3.
Conclusion: √48 + √12 = 6√3. (You may only add surds directly when they share the same root.)

Real-world example: Suppose two square plots have areas 2 m² and 8 m². Their sides are √2 m and √8 m = 2√2 m. The combined side-length if laid end to end is √2 + 2√2 = 3√2 m — you add the coefficients of the common surd, not the numbers under the root. Geometry keeps you honest: you cannot just shove everything under one root sign.

Common misconception: "√a + √b = √(a + b)." Completely false. Check it: √4 + √9 = 2 + 3 = 5, but √(4 + 9) = √13 ≈ 3.61. Roots multiply and divide inside a single radical, but they do not add or subtract inside one.

Common misconception: "Multiplying two irrationals always gives an irrational." No — √2 × √2 = 2 is rational. The product depends on the specific numbers.

Common misconception: "You can add any two surds directly." Only like surds (same number under the root) combine: 3√5 + 2√5 = 5√5, but 3√5 + 2√2 cannot be simplified into a single surd — leave it as is.

:::compare Allowed vs not allowed with surds

Valid	Invalid
√a × √b = √(ab)	√a + √b = √(a+b) ✗
√a ÷ √b = √(a/b)	√a − √b = √(a−b) ✗
a√c + b√c = (a+b)√c	√5 + √2 = √7 ✗
√50 = 5√2 (factor out squares)	5√2 = √10 ✗
:::

:::keypoints Key points

• rational ± irrational is always irrational.
• non-zero rational × irrational is always irrational (×0 gives rational 0).
• irrational × irrational may be rational (√2 × √2 = 2) — you must compute it.
• √a × √b = √(ab) and √a ÷ √b = √(a/b) for a, b ≥ 0.
• (√a)² = a, and √(a²b) = a√b lets you simplify surds.
• √a + √b ≠ √(a+b) — never add or subtract under a single root.
• Only like surds (same radicand) can be added by combining coefficients.
• These rules let you classify and simplify expressions without decimals.
  :::

:::memory

• Roots love to multiply inside one sign, but they refuse to add there.
  :::

:::recap

• rational ± irrational stays irrational.
• √a × √b = √(ab); √a ÷ √b = √(a/b).
• irrational × irrational can turn rational.
• √a + √b ≠ √(a+b).
• Add surds only when the radicand matches.
  :::

Having a square root sitting in the denominator of a fraction is perfectly correct mathematically, yet mathematicians almost always rewrite it so the bottom is a clean whole number. This lesson explains what rationalising the denominator means, exactly why we do it, the two standard techniques (multiplying by a surd and multiplying by a conjugate), and how to handle every case you will meet in Class 9 number systems and beyond.

Definition: A surd is an irrational root that cannot be simplified to a rational number, such as √2, √3 or ∛5. A number like √4 = 2 is not a surd because it simplifies to a rational.

Definition: Rationalising the denominator means rewriting a fraction in an equal form whose denominator contains no surd (no root sign), so the bottom is a rational number.

Why we bother rationalising

Mathematically, 1/√2 and √2/2 are exactly the same number (both equal about 0.7071). So why convert? There are real reasons.

Before calculators were common, people divided by hand. Dividing 1 by 1.41421356… is painful and error-prone. But √2/2 just means "take √2 ≈ 1.41421356 and halve it" — dividing by the integer 2 is trivial. A rational denominator turns a hard division into an easy one.

There is also a deeper reason: a standard form. Mathematics likes every answer written one agreed way so two students who solve the same problem get visibly identical answers. The convention is "no surds downstairs." When your textbook answer key gives √2/2 but you wrote 1/√2, both are right, but you only earn full marks by presenting the standard rationalised form.

Why it matters: In later algebra, calculus and physics you constantly add and compare fractions. A common rational denominator lets you combine fractions cleanly; a messy surd denominator blocks that.

The core identity that powers everything

Two algebraic identities do all the heavy lifting:

• (√a)(√a) = a — a square root times itself removes the root.
• (a + b)(a − b) = a² − b² — the difference-of-squares identity.

The second identity is the magic wand for two-term denominators. When you multiply a sum of two terms by the same expression with the middle sign flipped, all the cross terms cancel and you are left only with squares — and squaring a square root destroys it.

Case 1 — a single surd in the denominator

When the denominator is a single surd, multiply the top and bottom by that surd. Because you multiply by (surd/surd), which equals 1, the value of the fraction is unchanged — only its appearance changes.

Question: Rationalise 1/√2.
Solution:
Step 1: Multiply numerator and denominator by √2: (1/√2) × (√2/√2).
Step 2: Numerator becomes √2; denominator becomes √2 × √2 = 2.
Conclusion: 1/√2 = √2/2. The root is now in the numerator and the denominator is the rational number 2.

Question: Rationalise 5/(2√3).
Solution:
Step 1: The surd part is √3, so multiply top and bottom by √3: (5/2√3) × (√3/√3).
Step 2: Numerator = 5√3; denominator = 2 × √3 × √3 = 2 × 3 = 6.
Conclusion: 5/(2√3) = 5√3/6.

Case 2 — two terms (using the conjugate)

When the denominator has two terms, like (√3 + 1) or (5 − √2), you cannot just multiply by one surd — you would create new cross terms. Instead multiply by the conjugate.

Definition: The conjugate of a two-term expression is the same expression with the sign between the terms reversed. The conjugate of (√3 + 1) is (√3 − 1); the conjugate of (5 − √2) is (5 + √2).

Multiplying an expression by its conjugate triggers the difference-of-squares identity, squaring each term and wiping out the roots.

Question: Rationalise 1/(√3 + 1).
Solution:
Step 1: Multiply numerator and denominator by the conjugate (√3 − 1).
Step 2: Denominator = (√3 + 1)(√3 − 1) = (√3)² − 1² = 3 − 1 = 2.
Step 3: Numerator = 1 × (√3 − 1) = √3 − 1.
Conclusion: 1/(√3 + 1) = (√3 − 1)/2.

Question: Rationalise 1/(√5 − √2).
Solution:
Step 1: Conjugate is (√5 + √2). Multiply top and bottom by it.
Step 2: Denominator = (√5 − √2)(√5 + √2) = (√5)² − (√2)² = 5 − 2 = 3.
Step 3: Numerator = √5 + √2.
Conclusion: 1/(√5 − √2) = (√5 + √2)/3.

A worked example combining ideas

Question: Rationalise and simplify (3 + √2)/(3 − √2).
Solution:
Step 1: Multiply numerator and denominator by the conjugate (3 + √2).
Step 2: Denominator = (3 − √2)(3 + √2) = 3² − (√2)² = 9 − 2 = 7.
Step 3: Numerator = (3 + √2)(3 + √2) = 9 + 6√2 + 2 = 11 + 6√2.
Conclusion: (3 + √2)/(3 − √2) = (11 + 6√2)/7.

Common misconception: "Multiply by the same thing top and bottom — won't that change the answer?" No. You are multiplying by a form of 1 (surd/surd or conjugate/conjugate), and multiplying by 1 never changes a number's value, only its written form.

Common misconception: "The conjugate of (√3 + 1) is (1 + √3)." Reordering the terms does nothing — both still have a plus sign, so the roots will not cancel. The conjugate must flip the sign: (√3 − 1).

Common misconception: "Rationalising makes the number rational." It does not. (√3 − 1)/2 is still irrational. Only the denominator becomes rational; the overall number keeps its irrational character.

:::compare Two methods at a glance

Denominator type	What to multiply by
Single surd, e.g. √2	That same surd, √2
Single surd with coefficient, e.g. 2√3	Just the surd, √3
Two terms, e.g. √3 + 1	The conjugate, √3 − 1
Two surds, e.g. √5 − √2	The conjugate, √5 + √2
:::

In real life, engineers and physicists rationalise constants so repeated calculations divide by clean integers, reducing rounding errors when the same expression is evaluated thousands of times in a simulation.

:::keypoints Key points

• Rationalising removes every surd from the denominator while keeping the fraction's value the same.
• For a single surd, multiply top and bottom by that surd.
• For a two-term denominator, multiply by the conjugate (same terms, flipped middle sign).
• The engine is (a+b)(a−b) = a² − b², which turns roots into squares and cancels them.
• You are always multiplying by a disguised 1, so the value never changes.
• The numerator may still contain surds — that is allowed; only the denominator must be rational.
• Rationalising does not make the number rational, only the denominator.
• Always give the final rationalised form to match standard answer keys and earn full marks.
  :::

:::memory

• "No roots downstairs": single surd → times itself; two terms → times the conjugate.
  :::

:::recap

• Rationalising means making the denominator surd-free without changing the value.
• Single surd: multiply by the surd; (√a)(√a) = a clears it.
• Two terms: multiply by the conjugate; (a+b)(a−b) = a²−b² clears it.
• The conjugate flips the middle sign — reordering terms is not enough.
• The numerator can keep surds; the number itself can stay irrational.
  :::

Exponents are a compact language for repeated multiplication, and once you know their handful of rules you can simplify expressions that would otherwise take pages. This lesson covers the laws of exponents for real numbers, why each law is true (not just what it says), how exponents extend to zero, negative and fractional powers, and several worked examples that show the rules working together.

Definition: In the expression aᵐ, the number a is the base and m is the exponent (or power or index). It means a multiplied by itself m times: a³ = a × a × a.

Definition: The laws of exponents are a set of rules that tell you how to combine powers when you multiply, divide or raise them — valid here for any positive real base a and rational exponents m and n.

The five core laws and the intuition behind them

The rules are not arbitrary; each one drops straight out of the meaning of "repeated multiplication."

Product law: aᵐ · aⁿ = a^(m+n). Multiplying two powers of the same base means writing the base out m times and then n more times — m + n copies in total. For example a² · a³ = (a·a)(a·a·a) = a⁵, and indeed 2 + 3 = 5. You add the exponents.

Quotient law: aᵐ ÷ aⁿ = a^(m−n). Division cancels copies. a⁵ ÷ a² = (a·a·a·a·a)/(a·a) — two factors cancel, leaving a³, and 5 − 2 = 3. You subtract the exponents.

Power of a power: (aᵐ)ⁿ = a^(mn). Here aᵐ is raised to the nth power, i.e. multiplied by itself n times. Each copy contributes m factors, so you get m × n factors total. (a²)³ = a² · a² · a² = a⁶, and 2 × 3 = 6. You multiply the exponents.

Power of a product: aᵐ · bᵐ = (ab)ᵐ. When two different bases share the same exponent, you may group them. 2³ · 5³ = (2·5)³ = 10³ = 1000. This is just rearranging the order of multiplication.

Power of a quotient: aᵐ ÷ bᵐ = (a/b)ᵐ. The same grouping idea applied to division.

Why it matters: These five laws let you collapse huge products and divisions into a single power, which is the backbone of scientific notation, logarithms, exponential growth and computer science (binary sizes).

Zero and negative exponents

Zero exponent: a⁰ = 1 (for any a ≠ 0). Why? Use the quotient law: aⁿ ÷ aⁿ = a^(n−n) = a⁰. But any nonzero number divided by itself is 1. So a⁰ must equal 1 for the laws to stay consistent. (0⁰ is left undefined.)

Negative exponent: a^(−n) = 1/aⁿ. Again from the quotient law: a⁰ ÷ aⁿ = a^(0−n) = a^(−n), and a⁰ ÷ aⁿ = 1/aⁿ. So a negative exponent simply means "reciprocal." For example 2^(−3) = 1/2³ = 1/8.

Why it matters: Negative powers are how very small numbers are written compactly — the mass of an electron is about 9.1 × 10⁻³¹ kg.

Fractional exponents are roots

This is the bridge from exponents to surds. We define a^(1/n) = ⁿ√a, the nth root of a. The definition is forced by the power-of-a-power law: (a^(1/n))ⁿ = a^(n/n) = a¹ = a, so a^(1/n) is exactly the number whose nth power is a — that is the definition of the nth root.

More generally, a^(m/n) = (ⁿ√a)ᵐ = ⁿ√(aᵐ). For example 8^(2/3) = (∛8)² = 2² = 4.

Real-world example: Computer storage runs on powers of two. 2¹⁰ = 1024, which is why one kilobyte is 1024 bytes, a megabyte is 2²⁰ bytes, and a gigabyte is 2³⁰ bytes. Compound interest, population growth and radioactive decay all run on the same exponent rules.

Worked examples

Question: Simplify 7² · 7³ ÷ 7⁴.
Solution:
Step 1: Apply the product law on top: 7² · 7³ = 7^(2+3) = 7⁵.
Step 2: Apply the quotient law: 7⁵ ÷ 7⁴ = 7^(5−4) = 7¹.
Conclusion: The expression equals 7.

Question: Evaluate 16^(3/4).
Solution:
Step 1: 16^(3/4) = (⁴√16)³.
Step 2: ⁴√16 = 2 (since 2⁴ = 16).
Step 3: 2³ = 8.
Conclusion: 16^(3/4) = 8.

Question: Simplify (3² · 3⁵)^(1/7).
Solution:
Step 1: Inside the bracket, product law: 3² · 3⁵ = 3⁷.
Step 2: Power of a power: (3⁷)^(1/7) = 3^(7 × 1/7) = 3¹.
Conclusion: The expression equals 3.

Common misconception: "aᵐ · aⁿ = a^(m·n)." Wrong — when multiplying powers you add exponents; you only multiply exponents in (aᵐ)ⁿ. So 2² · 2³ = 2⁵ = 32, not 2⁶.

Common misconception: "a negative exponent makes the number negative." No. 2^(−3) = 1/8, a positive number. The minus sign signals a reciprocal, not a sign change.

Common misconception: "The laws need the same base AND same exponent." The product and quotient laws need the same base; the power-of-a-product law needs the same exponent. Mixing these up causes most exam errors.

:::compare Add or multiply the exponents?

Operation	Action on exponents	Example
aᵐ · aⁿ (same base, multiply)	add	5² · 5³ = 5⁵
aᵐ ÷ aⁿ (same base, divide)	subtract	5⁶ ÷ 5² = 5⁴
(aᵐ)ⁿ (power of a power)	multiply	(5²)³ = 5⁶
:::

:::keypoints Key points

• Multiplying powers of the same base: add exponents, aᵐ·aⁿ = a^(m+n).
• Dividing powers of the same base: subtract exponents, aᵐ÷aⁿ = a^(m−n).
• Raising a power to a power: multiply exponents, (aᵐ)ⁿ = a^(mn).
• a⁰ = 1 for any nonzero a, forced by the quotient law.
• A negative exponent means reciprocal: a^(−n) = 1/aⁿ.
• A fractional exponent means a root: a^(1/n) = ⁿ√a and a^(m/n) = ⁿ√(aᵐ).
• Same-base laws need the same base; the (ab)ᵐ law needs the same exponent.
• These laws underpin scientific notation, storage sizes and growth/decay models.
  :::

:::memory

• "Times → add, divide → subtract, power → multiply"; a fraction power is a root.
  :::

:::recap

• Exponents are shorthand for repeated multiplication.
• Multiply same-base powers → add; divide → subtract; power of a power → multiply.
• a⁰ = 1 and a^(−n) = 1/aⁿ keep the rules consistent.
• a^(1/n) is the nth root; a^(m/n) raises the root to the mth power.
• Watch the classic trap: aᵐ·aⁿ adds exponents, it does not multiply them.
  :::

Once you accept that irrational numbers like √2 and √3 are genuine numbers, the natural next question is: how do you do arithmetic with them, and what rules govern powers and roots? This lesson covers operations on real numbers, the surd identities, the all-important trick of rationalising a denominator, and the laws of exponents extended to rational powers.

Definition: A surd is an irrational root such as √2, √3, or ∛5 — a root that cannot be simplified to a rational number.

Real numbers are closed under arithmetic

You can add, subtract, multiply, and divide (except by 0) any two real numbers and always land back on a real number. Within this, the rationals form a tidy inner world: a rational ± a rational is rational, and a rational × a rational is rational.

The interesting cases involve irrationals:

• Rational + irrational = irrational. For example, 2 + √3 is irrational. (If it were rational, then subtracting the rational 2 would make √3 rational — a contradiction.)
• Non-zero rational × irrational = irrational. For example, 5√2 is irrational.

Why it matters: These facts let you instantly classify expressions as irrational without computing decimals — a frequent exam shortcut.

Two irrationals are unpredictable

Combining two irrationals can give either a rational or an irrational — it depends on the specific numbers.

• √2 × √2 = 2 (rational).
• √2 × √3 = √6 (irrational).
• (3 + √2) + (3 − √2) = 6 (rational), while (3 + √2) + √5 stays irrational.

Common misconception: "Any two irrationals multiply to an irrational." Wrong — √2 × √8 = √16 = 4 is rational. You must actually combine them and check.

Surd identities for square roots

For non-negative reals a and b:

• √(ab) = √a × √b
• √(a/b) = √a / √b (b ≠ 0)
• (√a + √b)(√a − √b) = a − b
• (a + √b)(a − √b) = a² − b

That third identity is the difference-of-squares pattern, and it is the heart of rationalisation, because it deletes the square root.

Common misconception: "√2 + √3 = √5." This is WRONG — you cannot add quantities under separate root signs. Numerically √2 + √3 ≈ 1.414 + 1.732 = 3.146, while √5 ≈ 2.236. Roots add only when the radicand is identical (e.g. 2√3 + 5√3 = 7√3).

Rationalising a denominator

Definition: Rationalising means rewriting a fraction so that no surd remains in the denominator, by multiplying top and bottom by a suitable conjugate (the same two terms with the opposite sign).

Why it matters: A rational denominator makes numbers far easier to estimate, add, and compare — historically essential before calculators, and still the standard "simplest form" examiners expect.

Question: Rationalise 1/(2 + √3).
Solution:
Step 1: The conjugate of (2 + √3) is (2 − √3). Multiply numerator and denominator by it.
Step 2: Denominator = (2 + √3)(2 − √3) = 2² − (√3)² = 4 − 3 = 1.
Step 3: So 1/(2 + √3) = (2 − √3)/1.
Conclusion: 1/(2 + √3) = 2 − √3.

Question: Rationalise 5/(√3 − √2).
Solution:
Step 1: Conjugate is (√3 + √2); multiply top and bottom by it.
Step 2: Denominator = (√3)² − (√2)² = 3 − 2 = 1.
Step 3: Numerator = 5(√3 + √2).
Conclusion: 5/(√3 − √2) = 5(√3 + √2) = 5√3 + 5√2.

Laws of exponents (now with rational powers)

For a > 0, b > 0 and rational exponents p, q:

• aᵖ × aᑫ = a^(p+q)
• aᵖ / aᑫ = a^(p−q)
• (aᵖ)ᑫ = a^(pq)
• aᵖ × bᵖ = (ab)ᵖ
• a⁰ = 1 and a^(−p) = 1/aᵖ

Fractional powers are simply roots: a^(1/n) = the nth root of a, and a^(m/n) = the nth root of (aᵐ) = (nth root of a)ᵐ.

Real-world example: Compound interest, population growth, and sound-intensity (decibel) calculations all rely on these exponent laws to combine repeated multiplications cleanly.

Question: Evaluate 8^(2/3).
Solution:
Step 1: Write 8 = 2³.
Step 2: 8^(2/3) = (2³)^(2/3) = 2^(3 × 2/3) = 2².
Conclusion: 8^(2/3) = 4.

Common misconception: "a^(m/n) means a^m ÷ n." Wrong — the n is a root, not a divisor. a^(3/2) = √(a³), not a³ ÷ 2.

:::compare Conjugate to use when rationalising

Denominator form	Multiply by	Result becomes
a + √b	a − √b	a² − b
√a + √b	√a − √b	a − b
√a − √b	√a + √b	a − b
:::

:::keypoints Key points

• Reals are closed under +, −, ×, ÷ (not ÷0); results are always real.
• Rational ± rational and rational × rational stay rational.
• Rational + irrational is irrational; non-zero rational × irrational is irrational.
• Two irrationals may give a rational (√2·√2 = 2) or irrational (√2·√3 = √6).
• Rationalise by multiplying by the conjugate so (√a+√b)(√a−√b) = a−b clears the surd.
• Exponent laws: aᵖaᑫ = a^(p+q), aᵖ/aᑫ = a^(p−q), (aᵖ)ᑫ = a^(pq), aᵖbᵖ = (ab)ᵖ.
• Fractional powers are roots: a^(m/n) = ⁿ√(aᵐ).
• √2 + √3 ≠ √5 — never add under separate roots.
  :::

:::memory

• "Multiply by the conjugate — the surd cancels, the difference of squares survives."
  :::

:::recap

• Arithmetic on reals stays within the reals.
• Mixing a rational with an irrational keeps it irrational.
• Two irrationals can go either way — check by combining.
• Conjugates rationalise denominators using a difference of squares.
• The exponent laws extend to rational powers, where fractions mean roots.
• You cannot add numbers under separate root signs.
  :::

Fractions with a surd in the denominator look messy and are hard to estimate — so we "clean" them by rationalising. This lesson walks through one classic worked example, 1/(√7 − √3), in full detail, and shows you exactly why the conjugate trick works every time.

Definition: To rationalise a denominator is to rewrite a fraction so that no irrational root remains below the line, by multiplying the top and bottom by the conjugate of the denominator.

Why the conjugate works

The denominator √7 − √3 is a difference of two square roots. Its conjugate is √7 + √3 — same terms, opposite sign. When you multiply a difference by its matching sum you get the difference of squares:
(√a − √b)(√a + √b) = (√a)² − (√b)² = a − b.

The square roots vanish because squaring a square root removes it. That is the whole secret: the conjugate converts an irrational denominator into a plain rational number. Multiplying top and bottom by the same quantity does not change the value of the fraction (you are multiplying by a disguised 1).

Worked example

Question: Rationalise the denominator of 1/(√7 − √3).
Solution:
Step 1: The conjugate of (√7 − √3) is (√7 + √3). Multiply numerator and denominator by it:
1/(√7 − √3) = [1 × (√7 + √3)] / [(√7 − √3)(√7 + √3)].
Step 2: Expand the denominator using (a − b)(a + b) = a² − b²:
(√7)² − (√3)² = 7 − 3 = 4.
Step 3: The expression becomes (√7 + √3)/4.
Conclusion: 1/(√7 − √3) = (√7 + √3)/4.

Checking the answer numerically

Why it matters: A quick decimal check catches sign and arithmetic slips before you lose marks.

√7 ≈ 2.6458 and √3 ≈ 1.7321, so √7 − √3 ≈ 0.9137, giving 1/0.9137 ≈ 1.0944.
The answer (2.6458 + 1.7321)/4 = 4.3779/4 ≈ 1.0945. The two match, confirming the result.

Common misconceptions

Common misconception: "Multiply by (√7 − √3) again." Wrong — multiplying by the same expression gives (√7 − √3)², which still contains the cross-term −2√21, so a surd remains. You must use the conjugate (opposite sign) so the cross-terms cancel.

Common misconception: "(√7 − √3)(√7 + √3) = 7 − 3√21 + ... ." Wrong — the middle terms (−√21 and +√21) cancel exactly, leaving only 7 − 3 = 4. That clean cancellation is precisely why the method works.

:::compare Same-factor vs conjugate

Multiply by (√7 − √3)	Multiply by (√7 + √3) — conjugate
Denominator = (√7−√3)² = 10 − 2√21	Denominator = 7 − 3 = 4
Surd remains — not rationalised	Surd gone — rationalised
:::

:::keypoints Key points

• The conjugate of √7 − √3 is √7 + √3 (opposite middle sign).
• Multiplying top and bottom by the conjugate keeps the value unchanged.
• (√a − √b)(√a + √b) = a − b removes the roots.
• Here the denominator becomes 7 − 3 = 4.
• Final answer: 1/(√7 − √3) = (√7 + √3)/4.
• A decimal check (≈ 1.094) confirms the result.
  :::

:::memory

• "Flip the middle sign — sum times difference kills the surd."
  :::

:::recap

• Rationalising clears surds from the denominator.
• Use the conjugate, not the same expression.
• The difference-of-squares cancels the cross-terms.
• 7 − 3 = 4 is the rationalised denominator.
• The answer is (√7 + √3)/4.
• Always verify with a quick decimal estimate.
  :::

Expressions like 16^(3/4) × 8^(−2/3) look intimidating until you spot the trick: rewrite every base as a power of the same prime, and the laws of exponents do the rest. This lesson works that example end to end and explains the reasoning behind each step.

Definition: A rational exponent a^(m/n) means the nth root of a raised to the m: a^(m/n) = ⁿ√(aᵐ) = (ⁿ√a)ᵐ. A negative exponent means a reciprocal: a^(−p) = 1/aᵖ.

The key idea: share a common base

16 and 8 are both powers of 2 (16 = 2⁴, 8 = 2³). Once both factors are written with base 2, you can use a^(m)^n = a^(mn) to flatten the powers, then a^p × a^q = a^(p+q) to combine. Choosing a common base turns a hard-looking product into simple integer arithmetic on exponents.

Why it matters: Almost every "simplify the exponent" problem in exams hides a common base (2, 3, 5, or 10). Spotting it is the single most useful move in this topic.

Worked example

Question: Simplify 16^(3/4) × 8^(−2/3).
Solution:
Step 1: Write the bases as powers of 2: 16 = 2⁴ and 8 = 2³.
Step 2: Apply (aᵐ)ⁿ = a^(mn) to each factor.
16^(3/4) = (2⁴)^(3/4) = 2^(4 × 3/4) = 2³.
8^(−2/3) = (2³)^(−2/3) = 2^(3 × (−2/3)) = 2^(−2).
Step 3: Multiply using aᵖ × aᑫ = a^(p+q):
2³ × 2^(−2) = 2^(3 + (−2)) = 2¹ = 2.
Conclusion: 16^(3/4) × 8^(−2/3) = 2.

Verifying with roots directly

Why it matters: Computing each piece as an actual root cross-checks the exponent algebra.

16^(3/4) = (⁴√16)³ = 2³ = 8.
8^(2/3) = (∛8)² = 2² = 4, so 8^(−2/3) = 1/4.
Then 8 × (1/4) = 2. Confirmed.

Common misconceptions

Common misconception: "(2⁴)^(3/4) = 2^(4 + 3/4)." Wrong — a power of a power multiplies the exponents, it does not add them: (aᵐ)ⁿ = a^(mn), so (2⁴)^(3/4) = 2^(4 × 3/4) = 2³.

Common misconception: "A negative exponent makes the number negative." Wrong — it makes a reciprocal. 8^(−2/3) = 1/4, which is positive, not −4 or −1/4-with-a-sign-issue. The base 8 stays positive throughout.

:::compare Two routes to the same answer

Exponent-law route	Root route
16^(3/4) = 2³, 8^(−2/3) = 2^(−2)	16^(3/4) = 8, 8^(−2/3) = 1/4
2³ × 2^(−2) = 2¹	8 × 1/4 = 2
= 2	= 2
:::

:::keypoints Key points

• Rewrite all bases as powers of one prime (here, 2).
• 16 = 2⁴ and 8 = 2³.
• Power of a power multiplies exponents: (aᵐ)ⁿ = a^(mn).
• 16^(3/4) = 2³ and 8^(−2/3) = 2^(−2).
• Same base multiplied → add exponents: 2³ × 2^(−2) = 2¹ = 2.
• A negative exponent gives a reciprocal, not a negative number.
• Final answer: 2.
  :::

:::memory

• "Same base? Add the powers. Power of a power? Multiply them."
  :::

:::recap

• Express every base as a power of the same prime.
• Use (aᵐ)ⁿ = a^(mn) to flatten each factor.
• Combine same-base factors by adding exponents.
• Negative exponents mean reciprocals.
• The product simplifies to 2.
• Cross-check by evaluating the roots directly.
  :::

Almost every algebra problem you will meet in Class 9 and beyond eventually collapses into one of two skills: cleaning up a messy root (a surd) or shuffling powers around (an exponent). Master the handful of identities below and you can simplify, rationalise, and compute with confidence.

Definition: A surd is an irrational number written using a root sign, such as root 2, root 3, or root 7, whose exact decimal value never terminates or repeats.
Definition: An exponent (or index) tells you how many times a number, called the base, is multiplied by itself; in a^p, a is the base and p is the exponent.

The surd identities and why they hold

For all a, b that are greater than or equal to 0 (and denominators non-zero):

• root(ab) = root a times root b
• root(a/b) = root a / root b
• (root a + root b)(root a - root b) = a - b
• (a + root b)(a - root b) = a^2 - b

The first identity is not a definition pulled from thin air; it follows from the laws of exponents. Since root x means x^(1/2), we have (ab)^(1/2) = a^(1/2) times b^(1/2), which is exactly root a times root b. The same logic gives the quotient rule. These two let you split a root apart to simplify it: root 50 = root(25 times 2) = root 25 times root 2 = 5 root 2. Pulling out the largest perfect-square factor (here 25) is the standard simplification move.

The last two identities are just the algebraic identity (x + y)(x - y) = x^2 - y^2 in disguise. In (root a + root b)(root a - root b), put x = root a and y = root b; then x^2 = a and y^2 = b, so the product is a - b. The two surds vanish, leaving a clean rational number. This is the engine behind rationalisation.

Why it matters: Splitting roots simplifies; combining roots via the difference-of-squares pattern destroys roots. Knowing which identity does which is the whole game.

Rationalising factors (conjugates)

Definition: The rationalising factor (or conjugate) of a surd expression is the partner you multiply by to wipe the root out of a denominator.

• For (a + root b) use (a - root b)
• For (root a + root b) use (root a - root b)

Why it matters: A number like 1/(root 2) is awkward to estimate and to add to other fractions. Convention demands a rational denominator. You multiply top and bottom by the conjugate, which changes the form but not the value (because you are multiplying by 1).

Question: Rationalise the denominator of 1/(3 + root 5).
Solution:
Step 1: Multiply numerator and denominator by the conjugate (3 - root 5).
Step 2: Denominator becomes (3 + root 5)(3 - root 5) = 3^2 - 5 = 9 - 5 = 4.
Step 3: Numerator becomes 1 times (3 - root 5) = 3 - root 5.
Conclusion: 1/(3 + root 5) = (3 - root 5)/4. The denominator is now rational.

Laws of exponents

For a > 0, b > 0 and rational p, q:

• a^p times a^q = a^(p+q)
• a^p / a^q = a^(p-q)
• (a^p)^q = a^(pq)
• a^p times b^p = (a b)^p
• a^0 = 1, and a^(-p) = 1 / a^p

The product rule is just counting: a^2 times a^3 means (a times a)(a times a times a), which is five a's multiplied, i.e. a^5. The quotient rule is the same count run backwards, cancelling common factors. The power rule (a^p)^q raises an already-formed power again, multiplying the exponents. The rule a^0 = 1 is forced on us by consistency: a^p / a^p must equal 1, but by the quotient rule it equals a^(p-p) = a^0, so a^0 = 1. Negative exponents simply mean reciprocals.

Fractional (rational) exponents

This is where surds and exponents merge into one language:

• a^(1/n) = nth root of a
• a^(m/n) = nth root of (a^m) = (nth root of a)^m

The definition is chosen so the power rule keeps working: (a^(1/n))^n = a^(n times 1/n) = a^1 = a, and the only number whose nth power is a is the nth root of a. Once you accept a^(1/n) as a root, a^(m/n) is just that root raised to the m, and the two orders (root-then-power or power-then-root) always agree.

Question: Evaluate 8^(2/3).
Solution:
Step 1: 8^(2/3) = (cube root of 8)^2.
Step 2: cube root of 8 = 2.
Step 3: 2^2 = 4.
Conclusion: 8^(2/3) = 4.

Real-world example: Compound growth and "doubling time" use fractional exponents. If money grows by a factor of 4 over 3 years, the per-year growth factor is 4^(1/3), roughly 1.587 — i.e. about 58.7% a year — which you compute exactly the way you evaluate 8^(2/3).

:::compare Surds vs Exponents toolkit

Goal	Use	Result
Simplify root 72	root(ab) split	6 root 2
Clear root from denominator	conjugate	rational denominator
Combine powers of same base	a^p times a^q	a^(p+q)
Take an nth root	a^(1/n)	nth root of a
:::

Common misconception: Students write root a + root b = root(a+b). This is false. root 9 + root 16 = 3 + 4 = 7, but root(9+16) = root 25 = 5. The split rule works only across multiplication and division, never across addition or subtraction.

:::keypoints Key points

• root(ab) = root a times root b and root(a/b) = root a / root b let you simplify by extracting perfect-square factors.
• (root a + root b)(root a - root b) = a - b is the difference-of-squares trick that powers rationalisation.
• The conjugate of (a + root b) is (a - root b); multiplying by it clears a surd from a denominator.
• a^p times a^q = a^(p+q), a^p / a^q = a^(p-q), (a^p)^q = a^(pq).
• a^0 = 1 and a^(-p) = 1/a^p follow from keeping the laws consistent.
• a^(1/n) is the nth root and a^(m/n) = nth root of a^m = (nth root of a)^m.
• Roots split over multiplication and division, never over addition.
• Rationalising changes the form of a number, not its value.
  :::

:::memory
"Split Multiplication, Conjugate Subtraction" — roots split across multiply/divide; difference-of-squares (subtraction) clears the surd.
:::

:::recap

• Surds are irrational roots; the product/quotient rules simplify them.
• Conjugates rationalise denominators via a - b = (root a + root b)(root a - root b).
• The five exponent laws govern multiplying, dividing, and powering same/related bases.
• Fractional exponents are roots: a^(m/n) = nth root of a^m.
• Never add or subtract under separate root signs.
  :::

When you add, subtract, multiply, or divide real numbers, the answer is sometimes guaranteed to be rational, sometimes guaranteed to be irrational, and sometimes it genuinely depends on the numbers. Knowing which case you are in saves you from both careless errors and unnecessary work.

Definition: A rational number can be written as p/q where p and q are integers and q is not zero; its decimal either terminates or repeats.
Definition: An irrational number cannot be written as such a fraction; its decimal goes on forever without repeating (e.g. root 2, root 3, pi).

How rationals and irrationals combine

The most important behaviour rules, with the reasoning behind each:

1. rational +/- rational and rational x rational always stay rational. This is because fractions are closed under these operations: p/q + r/s = (ps + rq)/(qs), still a ratio of integers.
2. rational + irrational is irrational, and a non-zero rational x irrational is irrational. The proof is by contradiction: if 3 + root 2 were rational, then root 2 = (that rational) - 3 would also be rational, which is false. The zero multiplier is the lone exception, since 0 times anything is 0 (rational).
3. Two irrationals can combine to either a rational or an irrational — it depends on the numbers. root 2 times root 2 = 2 (rational), but root 2 times root 3 = root 6 (irrational). Likewise (2 + root 2) + (2 - root 2) = 4 (rational), while root 2 + root 3 stays irrational.

Why it matters: In exams you are often asked "is this number rational or irrational?" without computing it fully. Rule 2 instantly tells you 5 + root 7 is irrational; rule 3 warns you that you must actually look at the numbers before deciding about a product of two surds.

Real-world example: Measurement. A square of side 1 metre has diagonal root 2 metres — irrational. Two such diagonals laid end to end give 2 root 2 metres (still irrational, rule 2), but the area of the square is root 2 times root 2 = 2 square metres (rational, rule 3). The geometry forces specific surds to multiply back to neat rationals.

Surd rules for simplification

For a, b greater than or equal to 0:

• root(ab) = root a x root b
• root(a/b) = root a / root b
• (root a + root b)(root a - root b) = a - b

The first two let you simplify by pulling perfect-square factors out: root 18 = root(9 times 2) = 3 root 2. The third is the difference-of-squares identity and is the basis of rationalising denominators.

Rationalising the denominator

Definition: To rationalise a denominator is to rewrite a fraction so that no surd remains downstairs, by multiplying top and bottom by a suitable factor.

For 1/root a, multiply by root a / root a. For 1/(a + root b), multiply by the conjugate (a - root b).

Question: Rationalise 5/(root 7 - root 2).
Solution:
Step 1: Multiply top and bottom by the conjugate (root 7 + root 2).
Step 2: Denominator = (root 7 - root 2)(root 7 + root 2) = 7 - 2 = 5.
Step 3: Numerator = 5(root 7 + root 2).
Conclusion: 5/(root 7 - root 2) = 5(root 7 + root 2)/5 = root 7 + root 2.

Laws of exponents and rational exponents

For a > 0 and rational p, q:

• a^p x a^q = a^(p+q)
• a^p / a^q = a^(p-q)
• (a^p)^q = a^(pq)
• a^p x b^p = (ab)^p

Rational exponents are simply roots:

• a^(1/n) = nth root of a
• a^(m/n) = nth root of a^m

This unifies surds and powers: root 2 is just 2^(1/2), so every surd rule is really an exponent rule in disguise.

Question: Simplify 7^(1/2) x 7^(3/2).
Solution:
Step 1: Same base, so add exponents: 7^(1/2 + 3/2) = 7^(4/2).
Step 2: 7^2 = 49.
Conclusion: The product is 49 — a rational result, illustrating rule 3 (two irrational factors giving a rational).

:::compare Outcome of combining numbers

Operation	Always rational?	Example
rational + rational	Yes	1/2 + 1/3 = 5/6
rational + irrational	No (irrational)	3 + root 2
non-zero rational x irrational	No (irrational)	2 root 5
irrational x irrational	Depends	root 2 x root 2 = 2; root 2 x root 3 = root 6
:::

Common misconception: Believing root 2 + root 3 = root 5. It does not. You may not add quantities sitting under separate root signs. Numerically root 2 + root 3 is about 1.414 + 1.732 = 3.146, whereas root 5 is about 2.236. Roots combine only over multiplication and division.

:::keypoints Key points

• Rational +/- rational and rational x rational stay rational.
• Rational + irrational is irrational; non-zero rational x irrational is irrational.
• Irrational x irrational may be rational (root 2 x root 2 = 2) or irrational (root 2 x root 3 = root 6).
• Surd rules: root(ab) = root a x root b, root(a/b) = root a / root b, (root a + root b)(root a - root b) = a - b.
• Rationalise a denominator by multiplying by the conjugate.
• Exponent laws: a^p x a^q = a^(p+q); a^p / a^q = a^(p-q); (a^p)^q = a^(pq); a^p x b^p = (ab)^p.
• Rational exponents are roots: a^(1/n) = nth root of a; a^(m/n) = nth root of a^m.
• root 2 + root 3 is NOT root 5 — never add under separate root signs.
  :::

:::memory
"R + I = I, but I x I is a maybe" — a rational plus an irrational is always irrational, yet two irrationals multiplied could land anywhere.
:::

:::recap

• Closure rules predict whether a combination is rational or irrational.
• The risky case is irrational times irrational — check the actual numbers.
• Surd and conjugate rules let you simplify and rationalise.
• Rational exponents tie roots and powers into one system.
• The classic trap is adding separate roots; root 2 + root 3 is not root 5.
  :::