OFFSET
1,1
COMMENTS
This sequence, call it S and the sequence A016777, call it U, can be defined by mutual induction from the following clauses:
a) 1 belongs to U;
b) if n belongs to S and m belongs to U then n+m belongs to U;
c) if m belongs to U then 3m belongs to S;
d) if n belongs to S then 3n belongs to S.
A computer-checked proof of this fact is available in the HELM digital library.
This sequence appears to contain the numbers whose allegorical signification is connected to the concept of balance according to the Hebrew-Christian-Islamic mystic tradition.
REFERENCES
F. C. Endres and A. Schimmel, Das Mysterium der Zahl, Eugen Diederichs Verlag, Cologne, 1984 (Italian edition). 1
LINKS
Robert Israel, Table of n, a(n) for n = 1..10000
MAPLE
N:= 1000: # to get terms <= N
sort([seq(seq(i*3^j, i=1..floor(N/3^j), 3), j=1..floor(log[3](N)))]); # Robert Israel, Jul 16 2018
CROSSREFS
KEYWORD
nonn
AUTHOR
Ferruccio Guidi (fguidi(AT)cs.unibo.it), Jan 23 2009
STATUS
approved