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 found them while studying the sides of a pentagram. The Pythagoreans believed that a small, indivisible unit could fit evenly into any length. But in the 5th century BC, they showed that for an isosceles right triangle, the ratio of the hypotenuse to a leg cannot be written as a ratio of two whole numbers. This discovery changed their view that everything could be reduced to whole numbers and their ratios.

Greek mathematicians called this ratio of incommensurable magnitudes alogos, meaning inexpressible. This also raised questions about continuous and discrete quantities, leading to more work by thinkers like Zeno of Elea and Eudoxus of Cnidus. Eudoxus created a new theory of proportion that could handle both commensurable and incommensurable quantities.

India

In ancient India, during the Vedic period, geometrical and mathematical problems involving irrational numbers such as square roots were studied. Early references to such calculations appear in texts like the Samhitas, Brahmanas, and Shulba Sutras. Indian mathematicians accepted the concept of irrationality since around the 7th century BC. Later mathematicians, including Brahmagupta and Bhāskara II, worked on the arithmetic of surds. 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 helped them treat irrational numbers as algebraic objects. They combined the ideas of "number" and "magnitude" into a more general idea of real numbers. Persian mathematician Al-Mahani studied and classified quadratic and cubic irrationals. Abū Kāmil Shujā ibn Aslam accepted irrational numbers as solutions to quadratic equations. These ideas were later used by European mathematicians after the Latin translations of the 12th century.

Modern period

In the 17th century, imaginary numbers became a useful tool, and the theory of complex numbers was finished in the 19th century. This led to the separation of irrationals into algebraic and transcendental numbers. Proofs of the existence of transcendental numbers were given by several mathematicians, including Liouville, Georg Cantor, Charles Hermite, and Ferdinand von Lindemann. Important 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. Any square root of a whole number that is not a perfect square is also irrational.

We can also find irrational numbers using logarithms, which are special math operations. For example, log₂₃ 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 are also irrational.

Types

Irrational numbers come in two main types: algebraic and transcendental.

Algebraic irrational numbers help solve some math problems with whole-number answers, but they can't be written as simple fractions. One example is the square root of two.

Most irrational numbers are transcendental. This means they are not answers to any problems with whole-number answers. Well-known examples are π (pi) and Euler's number e. These numbers can't be written as simple fractions or with basic math operations.

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, we find the number is actually 53 divided by 74 — a ratio of two integers.

Irrational powers

Mathematicians have found fun 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 important numbers, like Euler's number e and pi π, are being studied to see if they are irrational numbers. We do not yet know if numbers like e + π or eπ are irrational.

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

In constructive mathematics

In constructive mathematics, ideas about numbers are different. Not every real number is clearly rational or irrational. One way to think about an irrational number is as a number that isn’t rational. Another way is to say a number is irrational if it stays a certain distance away from every rational number — it never gets too close to them. This idea is used in special math, 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 more irrational numbers than rational numbers, even though rational numbers seem more familiar.

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