Irrational Numbers from Adjacent Natural Numbers (Part III)

A Staircase Sequence of Irrational Numbers Derived from (n(x + y)

This is a continuation of Part IIa and Part IIb which gave a proof by induction for the equation n(x + y).

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 there are two common differences (Δ1) and (Δ2) between the irrational numbers generated from n(x + y). In addition, the equation n(y2x2) produced the same staircase sequence since one of the factors of y2x2 equals one. So, therefore, let's proceed as follows:

The sequence derived from the equation n(x + y) is shown in Tables I and II where the values of n range from 1 to 14, while those of x and y range, respectively, from 1 to 28 and 2 to 29. The differences (Δ1) and (Δ2) between the irrational numbers are, respectively, about 0.5 and 1.5 where Δ2 corresponds to the end of one Δ1 to the start of the next Δ1 in the sequence, and approach these values as x and y increase without bound. The value for each n(x + y), is calculated to 6 decimal places, is irrational and each of these values indeed falls between their respective consecutive natural numbers. In addition, since n(x + y) = n(2x + 1), the two equations are interchangeable.

Table I Irrational (Sequence)
nx y n(x+y)Δ1/Δ2
1121.732051
1232.2360670.504017
2343.7416571.505589
2454.2426410.500983
3565.7445631.501922
3676.2449970.500435
4787.7459671.500969
4898.2462110.500245
59109.7467941.500583
5101110.2469510.500156
6111211.7473401.500389
6121312.2474490.500109
7131413.7477271.500278
7141514.2478070.500080
Table II Irrational (Sequence)
nx y n(x+y)Δ1/Δ2
8151615.7480161.500209
8161716.2480770.500061
9171817.7482391.500163
9181918.2482880.500048
10192019.7484181.500130
10202120.2484570.500039
11212221.7485631.500106
11222322.2485950.500032
12232423.7486841.500089
12242524.2487110.500027
13252625.7487861.500075
13262726.2488090.500023
14272827.7488741.500064
14282928.2488940.500020

If the natural numbers are plotted on a grid vs n the following picture of a staircase is obtained. The blue lines are the Δ1 differences of 0.5 within the run of the staircase, while the black diagonal, is the difference Δ2 of 1.5; the red, in addition, is a jump from one level to the next (the rise of the staircase).

Picture of a staircase

Is still possible to write out the as one line sequence (for the first ten natural numbers, in red):

1, 1.732051, 2, 2.236067, 3, 3.741657, 4, 4.242641, 5, 5.744563, 6, 6.244997, 7, 7.745967, 8, 8.246211, 9, 9.746794, 10, 10.246951

However, while when we look at the sequence in this way (as a ramp), there's no way of knowing if the sequence is a staircase or a ramp like the sequence derived from xy in Part I which has no n levels. The Δ1 and Δ2 can still be read off as well as the differences between a natural number and the Δ1 to its right which approaches 0.25 and 0.75 for a pair of natural numbers. In the staircase sequence the n is required in order that the irrational numbers fall between their two adjacent natural numbers. It wasn't expected that the irrational numbers fell right smack-dab in the same general areas as shown in the figure. In addition, connecting all the 0.25 terms together and all the 0.75 terms together gives "rise" to two parallel ramps where the sequence may have both ramp and staircase properties depending on the view.

It's coincidental that the staircase pops up as the Bohr model for the quantization of the electron in an atom, where one cannot go between steps but must instead step up from one energy level (rise) to the next. If no levels are present then it's like going continuously up a ramp, where the sequence from Part I would be the comparable analogue of the ramp.

Go to Part VIII for another new staircase sequences.
Go back to Part IIa and Part IIb for proof by induction for n(x + y).

Go to Part I, Part IVa or Part IVb for non-staircase (ramp) methods. Go back to homepage.


Copyright © 2026 by Eddie N Gutierrez. E-Mail: enaguti1949@gmail.com