Exploring Irrational Numbers Between Distinct Real Numbers
Written on
Chapter 1: Understanding Irrational Numbers
Irrational numbers are defined as those that cannot be expressed as a fraction of two integers, specifically in the form p/q where p and q are integers and q is not zero. Examples of such numbers include √2, √3, and the mathematical constant e (approximately 2.71828).
Most individuals have encountered numerous explanations about irrational numbers. To clarify further, a rational number can be expressed as a fraction (e.g., 1.23 can be rewritten as 123/100), while an irrational number cannot.
One intriguing inquiry arises: Is there an irrational number situated between any two distinct real numbers? The fascinating answer is affirmative. For instance, consider two numbers, x = 1.00001 and y = 1.00002. It is relatively straightforward to demonstrate that there exists an irrational number r that lies between x and y.
Section 1.1: Proof of Existence of Irrational Numbers
Let’s assume x and y are any two distinct real numbers. We define n as the largest positive integer exceeding √3/(y-x).
If x is a rational number, we can establish that the number r = x + (√3/n) is irrational, using the following reasoning:
- The inequalities n > √3/(y-x) and √3/n > 0 indicate that x - √3 is irrational.
- The term √3/n is irrational because multiplying an irrational number (√3) by a non-zero rational number (1/n) yields an irrational result.
- Consequently, r = x + (√3/n) remains irrational since a rational number (x) added to an irrational number (√3/n) is always irrational.
If, on the other hand, x is irrational, we can show that r = x + (1/n) is also an irrational number between x and y as follows:
- The inequalities n > √3/(y-x) > 1/(y-x) and 1/n > 0 imply that x + (1/n) remains irrational because an irrational number (x) added to a rational number (1/n) is irrational.
Thus, we have successfully identified an irrational number existing between any two distinct real numbers.
The first video titled "Proof that there is an irrational number between any two rational numbers | Algebra I | Khan Academy" provides a detailed explanation of this mathematical concept.
Section 1.2: Key Mathematical Proofs
Proof: Multiplication of an Irrational Number by a Rational Number Assume a is irrational and b is a non-zero rational number. To show that ab is irrational, we proceed by contradiction. If we suppose ab is rational, we can express it as ab = p/q for integers p and q, where q is not zero. Since b can be represented as m/n (where m and n are also non-zero integers), substituting this leads to a = (pn)/(qm), suggesting a is rational, which contradicts our assumption.
Proof: Addition of an Irrational Number to a Rational Number Let a be irrational and b be rational. To prove that a + b is irrational, we assume a + b is rational (p/q). By expressing b as m/n, we arrive at a = (p/q) - (m/n), which implies a is rational, again leading to a contradiction.
Closing Remarks
Through the application of these proofs, it becomes evident that there are infinitely many irrational numbers between any two distinct real numbers. Notably, we could utilize other irrational numbers, such as e, in these proofs.
The second video titled "Between Every Two Real Numbers There is an Irrational Number | Density Theorem" further elaborates on the density of irrational numbers in real numbers.
As an exercise, consider whether there exists a rational number between any two real numbers.