Irrational Numbers: Definition, Examples, Properties and History

Irrational Numbers, definition, Examples, Properties and History

Irrational Numbers

Irrational Numbers Definition:

What is an irrational number?

  • Irrational numbers are real numbers that are not rational.
  • An irrational number is a number that cannot be expressed as a quotient (ratio or fraction) of two integers, that is, it cannot be written in the form p/q, where p and q are integers and q≠0.
  • Irrational numbers are roots that cannot be simplified to rational numbers. For example,
    • If a number is not a perfect square, its square root is an irrational number.
    • If a number is not a perfect cube, its cube root is an irrational number.
    • If a number is not a perfect nth power, its principal nth root is an irrational number.
  • In decimal form, irrational numbers are those decimals that do not repeat or terminate. That is, an irrational number is one whose decimal expansion is non-terminating non-recurring.

Sometimes, irrational numbers are denoted by S or Q’ (Complement of the set of rational number Q).

Irrational Numbers Examples:

  • The number \sqrt[3]{{30}} is an irrational number because 30 is not a perfect cube.
  • The number \sqrt {50} is an irrational number because 50 is not a perfect square.
  • Similarly, the numbers: \sqrt 2 ,\sqrt 3 ,\sqrt 5 ,\sqrt 6 , \ldots ,\sqrt[3]{{10}}, \ldots \sqrt[4]{4}, \ldots, etc. are irrational numbers.
  • The numbers: 1.010010001…, 0.12122122212222…, 2.3010010001…, 0.31311…, 4.1010010001…, etc. are irrational numbers because these numbers are in the decimal form and the decimals do not repeat and do not terminate. (Note – Some of these numbers have a pattern but it is not the special type of pattern that rational numbers have.)

Properties of Irrational Number:

  • If R is rational and S is irrational, then R+S and R-S are irrational numbers.
  • If R is rational and S is irrational, then R×S and R/S are irrational numbers if R≠0.
  • The addition of two irrational numbers may be rational.
  • The product of two irrational numbers may be rational.
  • For example, the product of two irrational numbers: \sqrt 2 and \sqrt 8; is 4 which is a rational number,
    • \sqrt 2 \times \sqrt 8 = \sqrt {2 \times 8} = \sqrt {16} = 4 (rational number)
    • \sqrt 2 \times \sqrt 3 = \sqrt {2 \times 3} = \sqrt 6 (irrational number)
  • LCM of two irrational numbers may or may not exist.
  • Every irrational number is represented by a unique point on the number line.
  • All rational and irrational numbers are real numbers.
  • All rational, irrational and real numbers are complex numbers.
  • There are infinitely many rational and irrational numbers between two rational or irrational numbers.

Some Solved Examples of Irrational Numbers:

Example 1: Prove that \sqrt p (where p is a prime, or p is not a perfect square) is irrational.

Proof: We prove this by contradiction.

Assume that, for a contradiction, \sqrt p is rational.

Then, we can find two integers m and n (n≠0), such that:

\sqrt p = \frac{m}{n}

Assume that m and n have a common factor other than 1. Then, divide m and n by this common factor to get

\sqrt p = \frac{a}{b}                              …… (1)

where, a and b are coprime, that is, a and b have not any common factor other than 1.

Then, (1) implies that,

\sqrt p = \frac{a}{b}

p = {\left( {\frac{a}{b}} \right)^2}

p = \frac{{{a^2}}}{{{b^2}}}

p{b^2} = {a^2}.

This implies that, {a^2} is divisible by p, that is, p divides {a^2}.

According to the Theorem states that, “Let p be a prime number. If p divides {a^2}, then p divides a, where a is a positive integer.” From this theorem we get, p divides a also, that is, a is also divisible by p.

So, we can write,

a = pc    for some integer c

Substitute a = pc in p{b^2} = {a^2}, then we get

p{b^2} = {a^2}
p{b^2} = {\left( {pc} \right)^2}
p{b^2} = {p^2}{c^2}
{b^2} = p{c^2}
p{c^2} = {b^2}

This means that, p divides {b^2}, and so, p divides b.

Hence, finally we get, p divides a, and p divides b, that is, p divides both a and b.

It means, a and b have at least p as a common factor.

But this contradicts the fact that a and b have no common factors other than 1. So, our assumption, \sqrt p is rational, is wrong.

Hence, it is proved that \sqrt p (where p is a prime, or p is not a perfect square) is irrational.

Example 2: Prove that \sqrt 2 is irrational.

Proof: We prove this by contradiction.

Assume that, for a contradiction, \sqrt 2 is rational.

Then, we can find two integers m and n (n≠0), such that:

\sqrt 2 = \frac{m}{n}

Assume that m and n have a common factor other than 1. Then, divide m and n by this common factor to get

\sqrt 2 = \frac{a}{b}                              …… (1)

where, a and b are coprime, that is, a and b have not any common factor other than 1.

Then, (1) implies that,

\sqrt 2 = \frac{a}{b}

2 = {\left( {\frac{a}{b}} \right)^2}

2 = \frac{{{a^2}}}{{{b^2}}}

2{b^2} = {a^2}.

This implies that, {a^2} is divisible by 2, that is, 2 divides {a^2}.

According to the Theorem states that, “Let p be a prime number. If p divides {a^2}, then p divides a, where a is a positive integer.” From this theorem we get, 2 divides a also, that is, a is also divisible by 2.

So, we can write,

a = 2c    for some integer c

Substitute a = 2c in 2{b^2} = {a^2}, then we get

2{b^2} = {a^2}
2{b^2} = {\left( {2c} \right)^2}
2{b^2} = {2^2}{c^2}
{b^2} = 2{c^2}
2{c^2} = {b^2}

This means that 2 divides {b^2}, and so, 2 divides b.

Hence, finally, we get, 2 divides a, and 2 divides b, that is, 2 divides both a and b.

It means that a and b have at least 2 as a common factor.

But this contradicts the fact that a and b have no common factors other than 1. So, our assumption, \sqrt 2 is rational, is wrong.

Hence, it is proved that \sqrt 2 is irrational.

Example 3: Prove that \sqrt 3 is irrational.

Proof: We prove this by contradiction.

Assume that, for a contradiction, \sqrt 3 is rational.

Then, we can find two integers m and n (n≠0), such that:

\sqrt 3 = \frac{m}{n}

Assume that m and n have a common factor other than 1. Then, divide m and n by this common factor to get

\sqrt 3 = \frac{a}{b}                              …… (1)

where, a and b are coprime, that is, a and b have not any common factor other than 1.

Then, (1) implies that,

\sqrt 3 = \frac{a}{b}

3 = {\left( {\frac{a}{b}} \right)^2}

3 = \frac{{{a^2}}}{{{b^2}}}

3{b^2} = {a^2}.

This implies that, {a^2} is divisible by 3, that is, 3 divides {a^2}.

According to the Theorem states that, “Let p be a prime number. If p divides {a^2}, then p divides a, where a is a positive integer.” From this theorem we get, 3 divides a also, that is, a is also divisible by 3.

So, we can write,

a = 3c    for some integer c

Substitute a = 3c in 3{b^2} = {a^2}, then we get

3{b^2} = {a^2}
3{b^2} = {\left( {3c} \right)^2}
3{b^2} = {3^2}{c^2}
{b^2} = 3{c^2}
3{c^2} = {b^2}

This means that 3 divides {b^2}, and so, 3 divides b.

Hence, finally, we get, 3 divides a, and 3 divides b, that is, 3 divides both a and b.

It means that a and b have at least 3 as a common factor.

But this contradicts the fact that a and b have no common factors other than 1. So, our assumption, \sqrt 3 is rational, is wrong.

Hence, it is proved that \sqrt 3 is irrational.

Example 4: Prove that \sqrt 5 is irrational.

Proof: We prove this by contradiction.

Assume that, for a contradiction, \sqrt 5 is rational.

Then, we can find two integers m and n (n≠0), such that:

\sqrt 5 = \frac{m}{n}

Assume that m and n have a common factor other than 1. Then, divide m and n by this common factor to get

\sqrt 5 = \frac{a}{b}                              …… (1)

where, a and b are coprime, that is, a and b have not any common factor other than 1.

Then, (1) implies that,

\sqrt 5 = \frac{a}{b}

5 = {\left( {\frac{a}{b}} \right)^2}

5 = \frac{{{a^2}}}{{{b^2}}}

5{b^2} = {a^2}.

This implies that, {a^2} is divisible by 5, that is, 5 divides {a^2}.

According to the Theorem states that, “Let p be a prime number. If p divides {a^2}, then p divides a, where a is a positive integer.” From this theorem we get, 5 divides a also, that is, a is also divisible by 5.

So, we can write,

a = 5c    for some integer c

Substitute a = 5c in 5{b^2} = {a^2}, then we get

5{b^2} = {a^2}
5{b^2} = {\left( {5c} \right)^2}
5{b^2} = {5^2}{c^2}
{b^2} = 5{c^2}
5{c^2} = {b^2}

This means that 5 divides {b^2}, and so, 5 divides b.

Hence, finally, we get, 5 divides a, and 3 divides b, that is, 5 divides both a and b.

It means that a and b have at least 5 as a common factor.

But this contradicts the fact that a and b have no common factors other than 1. So, our assumption, \sqrt 5 is rational, is wrong.

Hence, it is proved that \sqrt 5 is irrational.

Example 5: Show that the irrational-looking expression: \sqrt {4 + 2\sqrt 3 } - \sqrt 3 ; is actually a rational number.

Proof: Observe that,

\sqrt {4 + 2\sqrt 3 } - \sqrt 3
= \sqrt {1 + 3 + 2\sqrt 3 } - \sqrt 3
= \sqrt {{1^2} + {{\left( {\sqrt 3 } \right)}^2} + 2\sqrt 3 } - \sqrt 3
= \sqrt {{1^2} + 2\sqrt 3 + {{\left( {\sqrt 3 } \right)}^2}} - \sqrt 3
= \sqrt {{{\left( {1 + \sqrt 3 } \right)}^2}} - \sqrt 3
= \left( {1 + \sqrt 3 } \right) - \sqrt 3
= 1

Because 1 is a rational number, and,

\sqrt {4 + 2\sqrt 3 } - \sqrt 3 = 1,

hence this number \sqrt {4 + 2\sqrt 3 } - \sqrt 3 is actually a rational number.


History of Irrational Number:

♦ During the Vedic period in India, geometrical and mathematical problems involving irrational numbers, such as square roots, were addressed very early. Around 800 BC or earlier, such calculations are mentioned in the Samhitas, Brahmanas, and Shulba Sutras.

♦ Indian mathematicians implicitly accepted the “Concept of Irrationality” since the 7th century, when Manava (Author of the Hindu geometric text of Sulba Sutras) believed that the square roots of certain numbers, like 2 and 61, could not be precisely calculated. However, according to historian Carl Benjamin Boyer, “such claims are not well evidenced and are unlikely to be true.”

♦ Additionally, it is believed that Aryabhata (5th century AD) used the word āsanna (approaching) to indicate that the value of π is not only an approximation but also incommensurable (or irrational) when he calculated it to 5 significant figures.

♦ Mathematicians like Brahmagupta (in 628 AD) and Bhāskara I (in 629 AD)as well as others who came after them contributed to this field. Some of these formulas were evaluated and critiqued by Bhāskara II in the 12th century, identifying their limitations.

Madhava of Sangamagrama and the Kerala School of Astronomy & Mathematics discovered the infinite series for several irrational numbers such as π and certain irrational values of trigonometric functions during the 14th and 16th centuries. In the Yuktibhāṣā, Jyeṣṭhadeva provided proofs for these infinite series.

♦ Generally, a Pythagoreans (possibly Hippasus of Metapontum) is credited to provide the first proof of the existence of irrational numbers. It is believed that irrational numbers were first discovered by the Pythagoreans in Greece around 400 BC, followers of the famous mathematician and philosopher Pythagoras.


  • Tags: pi is rational or irrational, prove that root 2 is irrational, prove that root 3 is irrational, prove that root 5 is irrational, prove that root p is irrational, rational and irrational numbers, the product of two irrational numbers is


Copyrighted Material © 2019 - 2024 Prinsli.com - All rights reserved

All content on this website is copyrighted. It is prohibited to copy, publish or distribute the content and images of this website through any website, book, newspaper, software, videos, YouTube Channel or any other medium without written permission. You are not authorized to alter, obscure or remove any proprietary information, copyright or logo from this Website in any way. If any of these rules are violated, it will be strongly protested and legal action will be taken.



About Lata Agarwal 270 Articles
M.Phil in Mathematics, skilled in MS Office, MathType, Ti-83, Internet, etc., and Teaching with strong education professional. Passionate teacher and loves math. Worked as a Assistant Professor for BBA, BCA, BSC(CS & IT), BE, etc. Also, experienced SME (Mathematics) with a demonstrated history of working in the internet industry. Provide the well explained detailed solutions in step-by-step format for different branches of US mathematics textbooks.

Be the first to comment

Leave a Reply

Your email address will not be published.


*