OFFSET
1,1
COMMENTS
There are no primes in the sequence and, excepting for a(1), no powers of 2.
For each n > 1 there are two integers f, g such that f*g = a(n) and f + g = 2*a(n-1) - a(n) - 1. (Empirical observation)
Excluding the condition that each term should be the largest one, the terms which satisfies the remaining conditions performs an irregular infinite net.
If the condition "be the largest term" is replaced for "be the smallest one" with the rest of conditions remaining, A209724 sequence is obtained. (This is true, at least, from a’(1) to a’(100))
Similar sequences are obtained with a’(1) a nonprime integer larger than 6, either a power of two or not. However, if a’(1) is not a power of two, there exist at least, one integer: a’(0) = ( a’(1) +x)(1+x)) / (2x) with x a positive nontrivial divisor of a’(1). Example: a’(1) = 26, a’(0) = 21, a’(-1) = 16. (As a’(-1) is a power of 2 there is not an a’(-2) term). If a’(1) = 6, a’(0) = a’(1) = a’(2)…= a’(k) = 6.
LINKS
Enric Reverter i Bigas, Graphic example
EXAMPLE
a(5) = 15 = ( (2*3*12) / 4) - 3 or ( (2*5*12) / 6) - 5 = 15; Also 14 = ((2*2*12) / 3) - 2, but 15 is larger.
MATHEMATICA
w[n_] := Module[{x, p}, Max[p /. List@ToRules@Reduce[p == (2 n*x)/(x + 1) - x == x*y && x > 1 && y > 1, p, Integers]]]; n := 8; k := {n}; m = 1; While[m < 35, {AppendTo[k, w[n]], n = w[n]}; m++]; k
CROSSREFS
KEYWORD
nonn
AUTHOR
Enric Reverter i Bigas, Oct 07 2020
STATUS
editing