Irrational Numbers from Adjacent Natural Numbers (Part Xb)

Staircase Sequences of Irrational Numbers Derived from (n((−xkyk) + x + y)

This is a continuation of Part Xa for n((−xkyk) + 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((−xkyk) + x + y). So, therefore, let's proceed as follows:

The sequence derived from the equation n((−xkyk) + x + y) where k = 2 is shown in Table I, and that for k = 3 is shown in Table II where the values of n range from 1 to 10, while those of x and y range, respectively, from 1 to 20 and 2 to 21. 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((−xkyk) + 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, the fourth column heading is SQRT = n((−xkyk) + x + y).

Table I Irrational Sequence (k=2)
nx y SQRTΔ1/Δ2
1121.658312
1232.1343750.476062
2343.5881751.453800
2454.0890100.500835
3565.5602761.471266
3676.0659640.505688
4787.5456941.479730
4898.0522980.506604
59109.5367711.484473
5101110.0432950.506524
6111211.5307561.487461
6121312.0369250.506169
7131413.5264291.489504
7141514.0321850.505756
8151615.5231681.490983
8161716.0285210.505353
9171817.5206231.492102
9181918.0256050.504982
10192019.5185801.492976
10202120.0232290.504648
Table II Irrational Sequence (k=3)
nx y SQRTΔ1/Δ2
1121.695583
1232.1688020.473220
2343.6271551.458352
2454.1201940.493040
3565.5914121.471218
3676.0918620.500450
4787.5710181.479156
4898.0740740.503056
59109.5579811.483907
5101110.0619790.503998
6111211.5489601.486981
6121312.0532500.504290
7131413.5423561.489106
7141514.0466630.504307
8151615.5373171.490654
8161716.0415200.504203
9171817.5333461.491826
9181918.0373940.504048
10192019.5301371.492743
10202120.0340120.503875

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). Note that both sequences can be displayed using the same figure.

Picture of a staircase

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

1, 1.658312, 2, 2.134374, 3, 3.588175, 4, 4.089010, 5, 5.560276, 6, 6.065963, 7, 7.545694, 8, 8.052298, 9, 9.536771, 10, 10.043295

and for k = 3:

1, 1.695583, 2, 2.168802, 3, 3.627155, 4, 4.120194, 5, 5.591412, 6, 6.091862, 7, 7.571018, 8, 8.074074, 9, 9.557981, 10, 10.061979

In the staircase sequence the n is required in order that the irrational numbers fall between their two adjacent natural numbers.

Go back to Part Xa for proofs forn((−xkyk) + 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