Rational and irrational are the two halves of the real numbers — every real is exactly one or the other.
Rational numbers
A real number is rational if it can be expressed as where are integers and .
Decimal characterisation: rationals have decimals that either terminate () or eventually repeat (, ).
The set of rationals is denoted . Despite being dense (between any two rationals there's another rational), the rationals are countable — same cardinality as .
Irrational numbers
Cannot be expressed as a ratio of integers. Decimals are non-terminating and non-repeating.
Famous irrationals:
- (golden ratio) .
The set of irrationals is uncountable — strictly larger than the rationals, even though rationals are dense.
Why this matters
- being irrational was a famous Pythagorean discovery (legend: Hippasus was drowned for revealing it).
- being irrational means you can never write it as a fraction.
- The decimal of — the period of repetition is at most .
How to test
If you have a number, ask:
- Decimal terminates → rational.
- Decimal repeats with a clear period → rational.
- Decimal goes on without repetition (e.g. , , ) → irrational.
Algebraic tests use closure: rationals are closed under (excluding 0). Sum of two irrationals can be rational (e.g. ).
At a glance
| Feature | Rational | Irrational |
|---|---|---|
| Definition | Can be written as p/q (integers) | Cannot |
| Decimal expansion | Terminates or repeats | Non-terminating, non-repeating |
| Examples | 1/2, 0.75, -7, 0.333... | π, e, √2, φ |
| Cardinality | Countable | Uncountable |
| Density on real line | Dense | Dense |
A number is rational iff its decimal terminates or repeats. Otherwise irrational. Most numbers you encounter named (π, e, √2) are irrational; most numbers from arithmetic of integers are rational.