OFFSET
1,2
COMMENTS
For terms not ending in 0, membership is unchanged by replacing k by A004086(k).
If k = c*10^j with j >= 0 and c is not divisible by 10, then k is a term iff 8*c*A004086(c)*10^j + 1 is a square.
Among decimal palindromes, the terms are exactly the palindromic members of A001109.
For m >= 1, (4*10^m - 3)*(8*10^m - 7) = A000217(8*10^m - 7), so both 4*10^m - 3 and 8*10^m - 7 are terms.
For m >= 1, (8*10^m - 2)*(9*10^m - 3) = A000217(12*10^m - 4), so both 8*10^m - 2 and 9*10^m - 3 are terms.
LINKS
Geazi Souza Oliveira, Table of n, a(n) for n = 1..84
EXAMPLE
PROG
(PARI) isok(k) = ispolygonal(k*fromdigits(Vecrev(digits(k))), 3);
(Python)
from math import isqrt
def isok(n):
s = 8*n*int(str(n)[::-1]) + 1
return isqrt(s)**2 == s
CROSSREFS
KEYWORD
base,nonn,new
AUTHOR
Geazi Souza Oliveira, Jul 04 2026
STATUS
approved
