|
%I #8 Mar 30 2012 18:57:28
%S 8,18,26,36,47,55,65,73,84,94,102,112,123,131,141,149,160,170,178,188,
%T 196,207,217,225,235,246,254,264,272,283,293,301,311,322,330,340,348,
%U 358,369,377,387,395,406,416,424,434,445,453,463,471,482,492,500,510,518,529,539,547,557,568,576,586,594,605,615,623,633,644
%N n+[ns/r]+[nt/r]+[nu/r]; r=golden ratio, s=r^2, t=r^3, u=r^4.
%C This is one of four sequences that partition the positive integers. In general, suppose that r, s, t, u are positive real numbers for which the sets {i/r: i>=1}, {j/s: j>=1}, {k/t: k>=1, {h/u: h>=1} are pairwise disjoint. Let a(n) be the rank of n/r when all the numbers in the four sets are jointly ranked. Define b(n), c(n), d(n) as the ranks of n/s, n/t, n/u, respectively. It is easy to prove that
%C a(n)=n+[ns/r]+[nt/r]+[nu/r],
%C b(n)=n+[nr/s]+[nt/s]+[nu/s],
%C c(n)=n+[nr/t]+[ns/t]+[nu/t],
%C d(n)=n+[nr/u]+[ns/u]+[nt/u], where []=floor.
%C Taking r=golden ratio, s=r^2, t=r^3, u=r^4 gives
%C a=A190508, b=A190509, c=A054770, d=A190511.
%F A190508: a(n)=n+[nr]+[nr^2]+[nr^3]
%F A190509: b(n)=[n/r]+n+[nr]+[nr^2]
%F A054770: c(n)=[n/r^2]+[n/r]+n+[nr]
%F A190511: d(n)=[n/r^3]+[n/r^2]+[n/r]+n
%t r=GoldenRatio; s=r^2; t=r^3; u=r^4;
%t a[n_] := n + Floor[n*s/r] + Floor[n*t/r]+Floor[n*u/r];
%t b[n_] := n + Floor[n*r/s] + Floor[n*t/s]+Floor[n*u/s];
%t c[n_] := n + Floor[n*r/t] + Floor[n*s/t]+Floor[n*u/t];
%t d[n_] := n + Floor[n*r/u] + Floor[n*s/u]+Floor[n*t/u];
%t Table[a[n], {n, 1, 120}] (*A190508*)
%t Table[b[n], {n, 1, 120}] (*A190509*)
%t Table[c[n], {n, 1, 120}] (*A054770*)
%t Table[d[n], {n, 1, 120}] (*A190511*)
%Y Cf. A190509, A054770, A190511 (the other three sequences in the partition of N).
%K nonn
%O 1,1
%A _Clark Kimberling_, May 11 2011
|
