%I #65 Dec 31 2023 10:19:34
%S 0,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,
%T 2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,
%U 2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2
%N Ternary digital root of n.
%C Continued fraction expansion of sqrt(3) - 1. - _N. J. A. Sloane_, Dec 17 2007. Cf. A040001, A048878/A002530.
%C Minimum number of terms required to express n as a sum of odd numbers.
%C Shadow transform of even numbers A005843. - _Michel Marcus_, Jun 06 2013
%C From _Jianing Song_, Nov 01 2022: (Start)
%C For n > 0, a(n) is the minimal gap of distinct numbers coprime to n. Proof: denote the minimal gap by b(n). For odd n we have A058026(n) > 0, hence b(n) = 1. For even n, since 1 and -1 are both coprime to n we have b(n) <= 2, and that b(n) >= 2 is obvious.
%C The maximal gap is given by A048669. (End)
%H Harry J. Smith, <a href="/A134451/b134451.txt">Table of n, a(n) for n = 0..20000</a>
%H Lorenz Halbeisen and Norbert Hungerbuehler, <a href="https://nntdm.net/volume-05-1999/number-4/138-150/">Number theoretic aspects of a combinatorial function</a>, Notes on Number Theory and Discrete Mathematics 5(4) (1999), 138-150; see Definition 7 for the shadow transform.
%H N. J. A. Sloane, <a href="/transforms.txt">Transforms</a>.
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/DigitalRoot.html">Digital Root</a>.
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/Ternary.html">Ternary</a>.
%F a(n) = n if n <= 2, otherwise a(A053735(n)).
%F a(A005408(n)) = 1; a(A005843(n)) = 2 for n>0;
%F a(n) = 0 if n=0, otherwise A000034(n-1).
%F a(n) = ((n+1) mod 2) + 2*sign(n) - 1. - _Wesley Ivan Hurt_, Dec 06 2013
%F Multiplicative with a(2^e) = 2, a(p^e) = 1 for odd prime p. - _Andrew Howroyd_, Aug 06 2018
%F a(0) = A055034(1) / A000010(1), a(n) = A000010(n+1) / A055034(n+1), n>1. - _Torlach Rush_, Oct 29 2019
%F Dirichlet g.f.: zeta(s)*(1+1/2^s). - _Amiram Eldar_, Jan 01 2023
%e n=42: A007089(42) = '1120', A053735(42) = 1+1+2+0 = 4,
%e A007089(4)='11', A053735(4)=1+1=2: therefore a(42) = 2.
%e 0.732050807568877293527446341... = 0 + 1/(1 + 1/(2 + 1/(1 + 1/(2 + ...)))). - _Harry J. Smith_, May 31 2009
%p A134451:=n->((n+1) mod 2)+2*signum(n)-1; seq(A134451(n), n=0..100); # _Wesley Ivan Hurt_, Dec 06 2013
%t Table[Mod[n + 1, 2] + 2 Sign[n] - 1, {n, 0, 100}] (* _Wesley Ivan Hurt_, Dec 06 2013 *)
%o (PARI) { allocatemem(932245000); default(realprecision, 12000); x=contfrac(sqrt(3)-1); for (n=0, 20000, write("b134451.txt", n, " ", x[n+1])); } [_Harry J. Smith_, May 31 2009]
%o (Haskell)
%o a134451 = until (< 3) a053735
%o -- _Reinhard Zumkeller_, May 12 2011
%Y Cf. A000010, A055034, A134452, A160390 (decimal expansion).
%Y Apart from a(0) the same as A040001.
%Y Related base-3 sequences: A053735, A134451, A230641, A230642, A230643, A230853, A230854, A230855, A230856, A230639, A230640, A010063 (trajectory of 1).
%K nonn,base,easy,mult
%O 0,3
%A _Reinhard Zumkeller_, Oct 27 2007