An NSW number is a positive integer for which the Diophantine
equation
|
(1)
|
has a positive integer solution .
Geometrically, a square of side length
has diagonal
, whose square
is one more than the square
number
. Such diagonals were called "rational diagonals"
by the Greeks (Wells 1986, p. 70). The name "NSW number" derives from
the names of the authors of the paper on the subject written by Newman et al.
(1980/81).
The first few NSW numbers are therefore , 7, 41, 239, 1393, ... (OEIS
A002315), which correspond to square
side lengths
, 5, 29, 169, 985, 5741, 33461, 195025, ... (OEIS
A001653). The squared diagonal lengths
are 2, 50, 1682, 57122, ... (OEIS
A088920).
Taking twice the NSW numbers gives the sequence 2, 14, 82, 478, 2786, 16238, ... (OEIS A077444), which is exactly the odd-indexed Pell-Lucas numbers.
The first few prime NSW numbers are ,
41, 239, 9369319, 63018038201, 489133282872437279, ... (OEIS A088165).
The reported indices of prime or probable
prime NSW numbers are
, 2, 3, 9, 14, 23, 29, 81, 128,
210, 468, 473, 746, 950, 3344, 4043, 4839, 14376, 39521, 64563, 72984, 82899, 84338,
85206, 86121, 139160, 276141, ... (OEIS A113501;
OEIS A099088, using
).
The following table summarizes NSW prime number and probable prime records reported through 2023, where
the indices
correspond via
to the odd indices
of prime or probable
prime half-Pell-Lucas numbers.
| decimal digits | discoverer | date | |
| E. W. Weisstein | May 19, 2006 | ||
| E. W. Weisstein | Aug. 29, 2006 | ||
| E. W. Weisstein | Nov. 16, 2006 | ||
| E. W. Weisstein | Nov. 26, 2006 | ||
| E. W. Weisstein | Dec. 10, 2006 | ||
| E. W. Weisstein | Jan. 25, 2007 | ||
| R. Price | Dec. 7, 2018 | ||
| R. Price | reported Dec. 2023 |
R. Price reported the probable prime NSW number with index 276141 in Dec. 2023 (OEIS A099088).
It equals , where
is the
th Pell-Lucas number,
and has 211,401 decimal digits.
Interestingly, the values
give every other convergent to Pythagoras's
constant
.
Explicit formulas for and
are
|
(2)
| |||
|
(3)
|
for nonnegative integers (Ribenboim 1996, p. 367, with the index shifted by one).
A recurrence relation for
is given by
|
(4)
|
for , with
and
.