It has been shown (Between_two_Rational_Numbers on Wiki) that between two real numbers (ℝ) there exists an irrational number. Accordingly, it will be shown here that between two adjacent natural numbers (ℕ) there exists an irrational number (ℝ\ℚ). In addition, an arithmetic progression or sequence of irrational numbers will be generated in this section where the common difference (Δ) between the irrational numbers generated from √2x2y ∕ (x + y). The inductive proof for this irrational equation is found in the previous section Part Va. So, therefore, let's proceed as follows:
The sequence derived from the equation √2x2y ∕ (x + y) is shown in Table I where the values of x and y range, respectively, from 1 to 12 and 2 to 13. The difference (Δ) between the irrational numbers is approximately 1.0 in the sequence, and approaches the value of 1 as x and y increase without bound. The value for each √2x2y ∕ (x + y), is calculated to 6 decimal places, is irrational and each of these values indeed falls between their respective consecutive natural numbers. Table I shows the results where The third column heading SQRT is equal to √2x2y ∕ (x + y). The last two rows shows data for large values of n, giving a Δ value close to one.
| x | y | SQRT | Δ | |
|---|---|---|---|---|
| 1 | 2 | 1.154701 | ||
| 2 | 3 | 2.190890 | 1.036189 | |
| 3 | 4 | 3.207135 | 1.016259 | |
| 4 | 5 | 4.216370 | 1.009235 | |
| 5 | 6 | 5.222330 | 1.005960 | |
| 6 | 7 | 6.226494 | 1.004164 | |
| 7 | 8 | 7.229569 | 1.003075 | |
| 8 | 9 | 8.231932 | 1.002363 | |
| 9 | 10 | 9.233805 | 1.001873 | |
| 10 | 11 | 10.2353261 | 1.001521 | |
| 11 | 12 | 11.236586 | 1.001260 | |
| 12 | 13 | 12.237646 | ||
| 499 | 500 | 499.249683 | - | |
| 500 | 501 | 500.249688 | 1.000005 | |
The sequence can be written as one line sequence (for the first ten natural numbers, in red):
Go back to Part Va for proof by induction of √2x2y ∕ (x + y).
Go to Part I or Part IV for non-staircase (ramp) methods. Go back to homepage.
Copyright © 2026 by Eddie N Gutierrez. E-Mail: enaguti1949@gmail.com