🗂️ Maths, Logic & Crypto · View mindmap

Irrational Number

An irrational number is a real number that cannot be expressed as a ratio of two integers. Formally, it is any real number that cannot be written in the form $p/q$, where $p$ and $q$ are integers and $q\ne 0$. This definition distinguishes irrational numbers from rational numbers, which include all integers, finite decimals, and repeating decimals. The set of irrational numbers, when combined with the set of rational numbers, constitutes the entire set of real numbers.

The decimal representation of an irrational number is non-terminating and non-repeating. Unlike rational numbers, which eventually settle into a repeating pattern or terminate, the digits of an irrational number continue infinitely without any periodic cycle. This property ensures that the number cannot be exactly captured by a fraction of integers, no matter how large those integers become.

Common examples include $\sqrt{2}$, the ratio of a square’s diagonal to its side, and $\pi$, the ratio of a circle’s circumference to its diameter. Another significant example is Euler’s number $e$, the base of the natural logarithm. These constants are fundamental in mathematics, appearing in geometry, calculus, and complex analysis, yet they remain fundamentally distinct from the rational numbers due to their infinite, non-repeating decimal expansions.

The existence of irrational numbers was historically significant, challenging early Greek mathematical thought which assumed all quantities could be expressed as ratios. The proof that $\sqrt{2}$ is irrational is one of the earliest and most famous examples of proof by contradiction. In modern mathematics, the density of irrational numbers within the real number line implies that between any two distinct real numbers, there exists an irrational number, highlighting their pervasive role in the structure of continuous quantities.