login
a(n) = n + (square excess of n).
3

%I #20 Jul 25 2015 03:45:33

%S 0,1,3,5,4,6,8,10,12,9,11,13,15,17,19,21,16,18,20,22,24,26,28,30,32,

%T 25,27,29,31,33,35,37,39,41,43,45,36,38,40,42,44,46,48,50,52,54,56,58,

%U 60,49,51,53,55,57,59,61,63,65,67,69,71,73,75,77,64,66,68,70,72,74,76,78

%N a(n) = n + (square excess of n).

%C The trajectory of n under iteration of m -> a(m) is eventually constant iff n is a perfect square.

%C Conjecture (verified up to 727): the numbers not in this sequence are those of A008865. - _R. J. Mathar_, Jan 23 2009

%C From _Maon Wenders_, Jul 01 2012: (Start)

%C Proof of conjecture:

%C (1) (n+2)^2 - n^2 = n^2 + 4n + 4 - n^2 = 4n + 4

%C (2) (n+1)^2 - n^2 = n^2 + 2n + 1 - n^2 = 2n + 1

%C (3) (n+1) + square excess of (n+1) - (n + square excess of n) = 2, except when (n+1) is a square, where a(n) collapses back to (n+1)

%C (4) so, cause of (2) and (3), the sequence has blocks of even and odd numbers starting with an even or odd square, m^2 and of length 2m+1:

%C 0,

%C 1, 3, 5,

%C 4, 6, 8, 10, 12,

%C 9, 11, 13, 15, 17, 19, 21,

%C 16, 18, 20, 22, 24, 26, 28, 30, 32,

%C ...

%C (5) such a block of 2m+1 numbers fills in all even or odd numbers between

%C n^2 and (n+2)^2

%C (6) but, because a block starts n^2 + 0, n^2 + 2, n^2 + 4, ..., the last number in such a block is n^2 + 2*(2n+1-1) = n^2 + 4n

%C (7) so the numbers n^2 + 4n + 2 = (n+2)^2 - 2 are missing.

%C End of proof. (End)

%H S. H. Weintraub, <a href="http://www.jstor.org/stable/4145074">An interesting recursion</a>, Amer. Math. Monthly, 111 (No. 6, 2004), 528-530.

%F a(n) = n + A053186(n).

%t f[n_] := 2 n - (Floor@ Sqrt@ n)^2; Table[f@ n, {n, 0, 71}] (* _Robert G. Wilson v_, Jan 23 2009 *)

%o (PARI) a(n)=2*n-sqrtint(n)^2 \\ _Charles R Greathouse IV_, Jul 01 2012

%Y Cf. A053186, A094763, A094764, A094765.

%K nonn,easy

%O 0,3

%A _N. J. A. Sloane_, Jun 10 2004