Real Numbers
The set of real numbers is the union of rational and irrational numbers. This chapter formalises everything you already know about numbers — and proves a few results that you will reuse in every later topic.
1. Euclid's Division Lemma
Statement. Given positive integers and , there exist unique integers and satisfying , where .
In plain English: when you divide by , you always get a quotient and a remainder that is strictly less than the divisor.
Example. Take , . So and .
Euclid's division algorithm (HCF)
To find where :
- Apply the lemma: .
- If , then . Done.
- Otherwise apply the lemma to and , and continue.
The last non-zero remainder is the HCF.
Worked example — HCF(135, 225):
| Step | Division | Remainder |
|---|---|---|
| 1 | 90 | |
| 2 | 45 | |
| 3 | 0 |
So .
2. The Fundamental Theorem of Arithmetic
Every composite number can be expressed as a product of primes, and this factorisation is unique apart from the order of the primes.
This is the result behind every HCF/LCM calculation you'll do.
HCF and LCM via prime factorisation.
For two numbers :
- product of the smallest power of each common prime.
- product of the greatest power of each prime that appears.
Worked example — , .
Sanity check: . ✓
3. Revisiting Irrational Numbers
A number is irrational if it cannot be expressed as for integers and with .
Classic proof: is irrational
Assume for contradiction that in lowest terms. Then , so is even, so is even — write . Substituting: , so is also even. But then both and are divisible by 2, contradicting "lowest terms". Hence is irrational.
The same argument works for where is any prime.
4. Decimal Expansions of Rational Numbers
A rational number (in lowest terms) has a terminating decimal expansion if and only if the prime factorisation of is of the form .
Quick check.
| Fraction | Denominator factored | Terminates? |
|---|---|---|
| 3/8 | Yes | |
| 7/40 | Yes | |
| 11/30 | No (3 in denom) |
Key formulas to memorise
- (for two numbers).
- For three numbers : in general — work via primes.
- , .
Practice (try before checking)
- Find the HCF of 196 and 38220 using Euclid's algorithm.
- Show that is irrational.
- Without long division, decide whether terminates.
- The HCF of two numbers is 27 and their LCM is 162. If one number is 54, find the other.
Answers
- 196 (verify by primes: , , common ).
- Suppose is rational. Then , which would make rational. Contradiction.
- . The form is , so the decimal terminates.
- .
Euclid's Division Lemma — More Applications
Example — Show that the square of any odd positive integer is of the form 8k+1: Any odd positive integer = 4q+1 or 4q+3 (Euclid's division lemma by 4). Case 1: (4q+1)² = 16q²+8q+1 = 8(2q²+q)+1 = 8k+1. Case 2: (4q+3)² = 16q²+24q+9 =13 16q²+24q+8+1 = 8(2q²+3q+1)+1 = 8k+1. In both cases, square = 8k+1 ✓.
Example — Show that n²−n is divisible by 2 for any positive integer n: Case 1 (n even): n=2q → n²−n = 4q²−2q = 2(2q²−q) — divisible by 2. Case 2 (n odd): n=2q+1 → n²−n = (4q²+4q+1)−(2q+1) = 4q²+2q = 2(2q²+q) — divisible by 2. In both cases, n²−n is even ✓.
Fundamental Theorem of Arithmetic — More Worked Examples
Example — Find LCM and HCF of 510 and 92 by prime factorisation: 510 = 2×3×5×17. 92 = 2²×23. HCF = product of SMALLEST powers of common primes = 2¹ = 2. LCM = product of GREATEST powers of ALL primes = 2²×3×5×17×23 = 4×3×5×17×23 = 23460. Check: HCF × LCM = 2 × 23460 = 46920. Product of numbers = 510 × 92 = 46920 ✓.
Example — Given that HCF(306, 657) = 9, find LCM: LCM = (306×657)/9 = 201,042/9 = 22,338.
Example — Check if 6ⁿ can end with digit 0 for any natural number n: For a number to end in 0, it must be divisible by 10 = 2×5. So the prime factorisation must contain BOTH 2 and 5. 6ⁿ = (2×3)ⁿ = 2ⁿ×3ⁿ. The factor 5 is ABSENT. Therefore, 6ⁿ CANNOT end with the digit 0.
Example — Find the smallest number which when divided by 12, 15, 18 leaves remainder 5: Required number = LCM(12,15,18) + 5. 12 = 2²×3. 15 = 3×5. 18 = 2×3². LCM = 2²×3²×5 = 180. Number = 180+5 = 185.
Rational Numbers and Decimal Expansions
Theorem: Let p/q be a rational number in simplest form (no common factors). If q = 2ⁿ×5ᵐ, the decimal expansion TERMINATES. If q has any prime factor OTHER than 2 or 5, the decimal expansion is NON-TERMINATING RECURRING.
Examples: 13/8 = 13/2³ → terminates (=1.625). 17/5 = 17/5¹ → terminates (=3.4). 1/7 → 7 is not 2 or 5 → non-terminating recurring (=0.142857...). 7/12 = 7/(2²×3) → 3 is a factor → non-terminating recurring.
Check without long division: 17/3125 = 17/(5⁵). Denominator has only 5 → terminates. 29/343 = 29/(7³). 7 is not 2 or 5 → non-terminating recurring.
Common Mistakes
- Euclid's lemma vs Fundamental Theorem: Euclid's lemma is about the relation a = bq+r. The Fundamental Theorem is about UNIQUE prime factorisation. They are different.
- HCF×LCM = a×b works ONLY for TWO numbers: For three numbers, this relationship does NOT hold.
- Irrationality proofs: When proving √n is irrational, you MUST state "assume p and q are COPRIME (HCF = 1)."
- Terminating decimal check: Simplify the fraction FIRST, then check the denominator's prime factors.
CBSE Exam Focus
| Topic | Marks |
|---|---|
| Euclid's Division Lemma | 2-3 |
| Fundamental Theorem of Arithmetic (HCF/LCM) | 3-4 |
| Proof of irrationality | 4-5 |
| Decimal expansion type (without actual division) | 1-2 |
Quick Self-Test
- Use Euclid's lemma to find HCF of 196 and 38220. (Answer: 196=2²×7². 38220=2²×3×5×7²×13. HCF=196.)
- Show that 3√2 is irrational. (Answer: Assume 3√2 = p/q → √2 = p/(3q) → rational. But √2 is irrational. Contradiction.)
- Without actual division, state whether 77/210 terminates. (Answer: 77/210 = 11/30 = 11/(2×3×5). Factor 3 is present → non-terminating.)
- Prove that √5 is irrational. (Answer: Assume √5=p/q (coprime). 5q²=p² → 5 divides p → p=5k. 5q²=25k² → q²=5k² → 5 divides q. Contradiction — both divisible by 5.)
- Find HCF and LCM of 12, 15, 21. (Answer: 12=2²×3, 15=3×5, 21=3×7. HCF=3. LCM=2²×3×5×7=420.)
Once Real Numbers is solid, Polynomials builds on the prime factorisation idea but applies it to algebraic expressions — zeroes, the division algorithm and the relationship between coefficients and roots.
