Irrational number

In mathematics, irrational numbers are special kinds of numbers that cannot be written as a simple fraction of two integers. This means you cannot express them as a ratio, like you can with rational numbers such as 1/2 or 4/3. These numbers are important because they appear in many areas of math and nature.

Some famous irrational numbers include π, the number you use when measuring circles, and the square root of two, which comes from the diagonal of a square. These numbers have decimal parts that go on forever without repeating. For example, π starts as 3.14159..., and it never ends or repeats. This is different from rational numbers, whose decimals either stop or repeat, like 0.25 or 0.333...

Irrational numbers are also found in many other places, like in the golden ratio, which appears in art and architecture. Even though these numbers are special and tricky, they are just as real as any other number and help us understand the world better.

History

Ancient Greece

The first proof of the existence of irrational numbers is linked to a Pythagorean who possibly discovered them while studying the sides of a pentagram. The Pythagorean belief was that there must be a small, indivisible unit that fits evenly into any length. However, in the 5th century BC, it was shown that for an isosceles right triangle, the ratio of the hypotenuse to a leg cannot be expressed as a ratio of two integers. This discovery challenged the Pythagorean view that everything could be reduced to whole numbers and their ratios.

Greek mathematicians called this ratio of incommensurable magnitudes alogos, meaning inexpressible. This discovery also raised questions about the nature of continuous versus discrete quantities, leading to further investigations by thinkers like Zeno of Elea and Eudoxus of Cnidus. Eudoxus developed a new theory of proportion that could handle both commensurable and incommensurable quantities, providing a stronger foundation for the concept of irrational numbers.

India

In ancient India, during the Vedic period, geometrical and mathematical problems involving irrational numbers such as square roots were addressed. Early references to such calculations appear in texts like the Samhitas, Brahmanas, and Shulba Sutras. Indian mathematicians implicitly accepted the concept of irrationality since around the 7th century BC. Later mathematicians, including Brahmagupta and Bhāskara II, contributed to the arithmetic of surds, and during the 14th to 16th centuries, Madhava of Sangamagrama and the Kerala school of astronomy and mathematics discovered infinite series for several irrational numbers.

Islamic World

During the Middle Ages, Muslim mathematicians developed algebra, which allowed them to treat irrational numbers as algebraic objects. They merged the concepts of "number" and "magnitude" into a more general idea of real numbers. Persian mathematician Al-Mahani examined and classified quadratic and cubic irrationals, providing definitions for rational and irrational magnitudes. Abū Kāmil Shujā ibn Aslam accepted irrational numbers as solutions to quadratic equations. These ideas were later adopted by European mathematicians after the Latin translations of the 12th century.

Modern period

In the 17th century, imaginary numbers became a powerful tool, and the theory of complex numbers was completed in the 19th century. This led to the differentiation of irrationals into algebraic and transcendental numbers. Proofs of the existence of transcendental numbers were provided by several mathematicians, including Liouville, Georg Cantor, Charles Hermite, and Ferdinand von Lindemann. Significant contributions to the theory of irrational numbers were also made by mathematicians such as Johann Heinrich Lambert, Adrien-Marie Legendre, and Joseph-Louis Lagrange.

Examples

The square root of 2 was the first number shown to be irrational. Another famous irrational number is the golden ratio, often written as φ. It comes from solving a special math problem and involves the square root of 5. Any square root of a whole number that is not a perfect square, like 9 or 16, is also irrational.

We can also find irrational numbers using logarithms, which are special math operations. For example, log₂₃ (the logarithm of 3 to the base 2) is irrational. This means it cannot be written as a simple fraction of two whole numbers. Similar methods can be used to show that other logarithms, like log₁₀₂, are also irrational.

Types

Irrational numbers can be of two main types: algebraic and transcendental. Algebraic irrational numbers are solutions to polynomial equations with integer coefficients, but they cannot be expressed as simple fractions. An example is the square root of two, which solves a specific polynomial equation and is therefore algebraic.

Most irrational numbers are transcendental, meaning they are not roots of any polynomial equation with integer coefficients. Famous examples include π (pi) and Euler's number e. These numbers cannot be expressed in terms of simple fractions or algebraic operations alone.

Decimal expansions

The decimal expansion of an irrational number never repeats or ends, unlike rational numbers. This is true for other number systems like binary, octal, or hexadecimal as well.

For example, take a repeating decimal like 0.7162162162… We can show it is a rational number by turning it into a fraction. By moving the decimal point and doing some math, we find the number is actually 53 divided by 74 — a ratio of two integers.

Irrational powers

Mathematicians have discovered interesting facts about raising irrational numbers to powers. For example, there are two special irrational numbers, called a and b, that when multiplied together as a^b, give a rational number. This shows how tricky irrational numbers can be!

Another example is raising the square root of 2 to a special power. When you do this correctly, the result becomes the number 3, which is rational. These examples help us understand the surprising relationships that can exist between irrational and rational numbers.

Main article: Gelfond–Schneider theorem

Open questions

Some combinations of important numbers like Euler's number e and pi π, such as e + π, eπ, and others, are not yet known to be irrational numbers. This is because we do not fully understand how these numbers relate to each other mathematically.

Another big question in math is whether Euler's constant γ is irrational. This has been a mystery for a long time. We also do not know if certain other numbers, like odd zeta constants and Catalan's constant, are irrational. Researchers are still working to find answers to these interesting questions.

In constructive mathematics

In constructive mathematics, things work a little differently. Not every real number is clearly rational or irrational, so we have more than one way to think about what an irrational number is. One way is the usual idea: a number that isn’t rational. But there’s another way too. A number can be called irrational if it stays a certain distance away from every rational number — it never gets too close to any of them. This idea is used in special math work, like in Errett Bishop’s proof that the square root of 2 is irrational.

Main article: Proof that the square root of 2 is irrational

Set of all irrationals

Irrational numbers are a special group of numbers that cannot be written as a simple fraction of two whole numbers. There are actually infinitely more irrational numbers than rational numbers, even though rational numbers seem more familiar.

These numbers behave in interesting ways when we look at how close they are to each other. Even though they don’t follow all the same rules as rational numbers, they still fit into the bigger world of real numbers in a neat pattern. Some famous irrational numbers include π (the ratio of a circle’s circumference to its diameter) and √2 (the square root of two).