Irrational Numbers
by aoum, Mar 28, 2025, 12:30 AM
Irrational Numbers: Numbers That Defy Fractions
1. Introduction to Irrational Numbers
An irrational number is a real number that cannot be expressed as the ratio of two integers. That is, an irrational number is any number that is not of the form
![\[
\frac{p}{q}
\]](//latex.artofproblemsolving.com/0/4/4/0447089cd0faf5a16739b062efd709e165713a42.png)
where
and 
. The decimal expansion of an irrational number is non-terminating and non-repeating. Some famous examples of irrational numbers include:
Irrational numbers play a crucial role in mathematics, particularly in number theory, algebra, and analysis. They form an essential part of the real number system
but are distinct from rational numbers.
2. Proof That
is Irrational
The irrationality of is one of the oldest mathematical proofs, dating back to ancient Greece. We prove this by contradiction.
Proof:
3. The Set of Irrational Numbers
The set of irrational numbers is defined as
![\[
\mathbb{I} = \mathbb{R} \setminus \mathbb{Q}
\]](//latex.artofproblemsolving.com/6/d/d/6dd869dc1cccb348221a4efde5f44989fe5f4483.png)
where is the set of real numbers and 
is the set of rational numbers. Since is countable and is uncountable, it follows that the set of irrational numbers is uncountable.
4. Density of Irrational Numbers
Between any two distinct real numbers, there exists at least one irrational number. In fact, there exist infinitely many irrational numbers between any two real numbers. This follows from the fact that the rationals and irrationals are both dense in, meaning that for any two real numbers 
and 
with 
, we can always find an irrational number 
such that 
.
5. The Sum and Product of Irrational Numbers
The sum and product of irrational numbers can be rational or irrational, depending on the numbers involved. Some important results include:
6. Transcendental Numbers: A Special Class of Irrationals
All transcendental numbers are irrational, but not all irrational numbers are transcendental. A number is transcendental if it is not a root of any nonzero polynomial equation with integer coefficients. Examples include:
Algebraic numbers (roots of polynomials with integer coefficients) can be either rational or irrational. For example, is irrational but algebraic, since it satisfies 
.
7. Open Problems Related to Irrational Numbers
There are still many open questions about irrational numbers, such as:
8. Conclusion
Irrational numbers are a fascinating and fundamental part of mathematics. They are everywhere in the real number line and appear in geometry, algebra, calculus, and number theory. Their properties lead to deep mathematical questions that continue to be explored today.
References
1. Introduction to Irrational Numbers
An irrational number is a real number that cannot be expressed as the ratio of two integers. That is, an irrational number is any number that is not of the form
![\[
\frac{p}{q}
\]](http://latex.artofproblemsolving.com/0/4/4/0447089cd0faf5a16739b062efd709e165713a42.png)
where
and 
. The decimal expansion of an irrational number is non-terminating and non-repeating. Some famous examples of irrational numbers include:
- The Golden Ratio
Irrational numbers play a crucial role in mathematics, particularly in number theory, algebra, and analysis. They form an essential part of the real number system
but are distinct from rational numbers.
The number is irrational.
is irrational.
2. Proof That
is IrrationalThe irrationality of
is one of the oldest mathematical proofs, dating back to ancient Greece. We prove this by contradiction.Proof:
- Assume, for the sake of contradiction, that is rational. This means there exist integers
and 
such that
![\[
\sqrt{2} = \frac{p}{q}
\]](//latex.artofproblemsolving.com/5/9/4/5942a524feb05c9e7d7146ede7eb136e6fcf0494.png)
where and are coprime (i.e., they share no common factors other than 
). - Squaring both sides gives
![\[
2 = \frac{p^2}{q^2}
\]](//latex.artofproblemsolving.com/d/8/c/d8c2f2ac3c50d93ac8a3703e18ea0bd76c6e2b42.png)
or equivalently,
![\[
p^2 = 2q^2.
\]](//latex.artofproblemsolving.com/0/a/0/0a0e9f9e2644b27242f3ca723d38bc3b0828135c.png)
- Since
is divisible by 
, this implies itself must be even (because the square of an odd number is odd). So we write 
for some integer 
. - Substituting into the equation
gives
![\[
(2k)^2 = 2q^2 \quad \Rightarrow \quad 4k^2 = 2q^2 \quad \Rightarrow \quad 2k^2 = q^2.
\]](//latex.artofproblemsolving.com/7/5/4/7543546a48ef050708b14b64b2236d2b029cec86.png)
- This means
is also divisible by , so must also be even. - Since both and are even, they share a common factor of , contradicting our assumption that
is in lowest terms. - Therefore, our assumption that is rational must be false, so is irrational.
and 
such that![\[
\sqrt{2} = \frac{p}{q}
\]](http://latex.artofproblemsolving.com/5/9/4/5942a524feb05c9e7d7146ede7eb136e6fcf0494.png)
)![\[
2 = \frac{p^2}{q^2}
\]](http://latex.artofproblemsolving.com/d/8/c/d8c2f2ac3c50d93ac8a3703e18ea0bd76c6e2b42.png)
![\[
p^2 = 2q^2.
\]](http://latex.artofproblemsolving.com/0/a/0/0a0e9f9e2644b27242f3ca723d38bc3b0828135c.png)
is divisible by 
,
for some integer 
.
gives![\[
(2k)^2 = 2q^2 \quad \Rightarrow \quad 4k^2 = 2q^2 \quad \Rightarrow \quad 2k^2 = q^2.
\]](http://latex.artofproblemsolving.com/7/5/4/7543546a48ef050708b14b64b2236d2b029cec86.png)
is also divisible by 
is in lowest terms.3. The Set of Irrational Numbers
The set of irrational numbers is defined as
![\[
\mathbb{I} = \mathbb{R} \setminus \mathbb{Q}
\]](http://latex.artofproblemsolving.com/6/d/d/6dd869dc1cccb348221a4efde5f44989fe5f4483.png)
where
is the set of real numbers and 
is the set of rational numbers. Since is countable and is uncountable, it follows that the set of irrational numbers is uncountable.4. Density of Irrational Numbers
Between any two distinct real numbers, there exists at least one irrational number. In fact, there exist infinitely many irrational numbers between any two real numbers. This follows from the fact that the rationals and irrationals are both dense in
, meaning that for any two real numbers 
and 
with 
, we can always find an irrational number 
such that 
.5. The Sum and Product of Irrational Numbers
The sum and product of irrational numbers can be rational or irrational, depending on the numbers involved. Some important results include:
- The sum of two irrational numbers can be rational. For example,
![\[
(\sqrt{2} + 1) + (-\sqrt{2} + 1) = 2.
\]](//latex.artofproblemsolving.com/a/f/5/af577dea4d78b566413e4f8f77a02f13919f7159.png)
- The product of two irrational numbers can be rational. For example,
![\[
\sqrt{2} \cdot \frac{1}{\sqrt{2}} = 1.
\]](//latex.artofproblemsolving.com/7/8/6/7869158eafe734a589a658cd39c420a49fd11a15.png)
- The sum of two irrational numbers is not always irrational. For instance,
. - The product of two irrational numbers is not always irrational. For instance,
. - However, some irrational sums and products always remain irrational, such as
and 
.
![\[
(\sqrt{2} + 1) + (-\sqrt{2} + 1) = 2.
\]](http://latex.artofproblemsolving.com/a/f/5/af577dea4d78b566413e4f8f77a02f13919f7159.png)
![\[
\sqrt{2} \cdot \frac{1}{\sqrt{2}} = 1.
\]](http://latex.artofproblemsolving.com/7/8/6/7869158eafe734a589a658cd39c420a49fd11a15.png)
.
.
and 
.6. Transcendental Numbers: A Special Class of Irrationals
All transcendental numbers are irrational, but not all irrational numbers are transcendental. A number is transcendental if it is not a root of any nonzero polynomial equation with integer coefficients. Examples include:
, proved transcendental by Lindemann in 1882.
, proved transcendental by Hermite in 1873.
,
,Algebraic numbers (roots of polynomials with integer coefficients) can be either rational or irrational. For example,
is irrational but algebraic, since it satisfies 
.7. Open Problems Related to Irrational Numbers
There are still many open questions about irrational numbers, such as:
- Is
irrational? - Is irrational?
- Are there infinitely many pairs of irrational numbers
such that 
is rational?
irrational?
such that 
is rational?8. Conclusion
Irrational numbers are a fascinating and fundamental part of mathematics. They are everywhere in the real number line and appear in geometry, algebra, calculus, and number theory. Their properties lead to deep mathematical questions that continue to be explored today.
References
- Niven, I. Irrational Numbers. Mathematical Association of America, 1956.
- Hardy, G. H., and Wright, E. M. An Introduction to the Theory of Numbers. Oxford University Press, 1979.
- Wikipedia: Irrational Number.
- AoPS Wiki: Irrational Numbers.
April 2025
March 2025