A083096 -id:A083096 - cp's OEIS frontend

A083097 a(n) = A083096(n)/6.

0, 2, 5, 6, 14, 15, 18, 20, 41, 42, 45, 47, 54, 56, 59, 60, 122, 123, 126, 128, 135, 137, 140, 141, 162, 164, 167, 168, 176, 177, 180, 182, 365, 366, 369, 371, 378, 380, 383, 384, 405, 407, 410, 411, 419, 420, 423, 425, 486, 488, 491, 492, 500

Offset: 1

Benoit Cloitre, Apr 22 2003

Is this the same as A083095? - Andrew S. Plewe, May 30 2007

Apparently (2*a(n)) mod 3 = A010060(n-1), the Thue-Morse sequence.

Michel Marcus, Table of n, a(n) for n = 1..8192

Cf. A010060, A083095, A083096.

Join[{0},Position[Accumulate[Table[Binomial[2 j, j], {j, 3000}]], ?(Divisible[#, 3] &)]//Flatten]/6 (* _Paul F. Marrero Romero, Dec 30 2024 *)

A005836 Numbers whose base-3 representation contains no 2.

Original entry on oeis.org

0, 1, 3, 4, 9, 10, 12, 13, 27, 28, 30, 31, 36, 37, 39, 40, 81, 82, 84, 85, 90, 91, 93, 94, 108, 109, 111, 112, 117, 118, 120, 121, 243, 244, 246, 247, 252, 253, 255, 256, 270, 271, 273, 274, 279, 280, 282, 283, 324, 325, 327, 328, 333, 334, 336, 337, 351, 352

Offset: 1

N. J. A. Sloane, Jeffrey Shallit

3 does not divide binomial(2s, s) if and only if s is a member of this sequence, where binomial(2s, s) = A000984(s) are the central binomial coefficients.
This is the lexicographically earliest increasing sequence of nonnegative numbers that contains no arithmetic progression of length 3. - Robert Craigen (craigenr(AT)cc.umanitoba.ca), Jan 29 2001
In the notation of A185256 this is the Stanley Sequence S(0,1). - N. J. A. Sloane, Mar 19 2010
Complement of A074940. - Reinhard Zumkeller, Mar 23 2003
Sums of distinct powers of 3. - Ralf Stephan, Apr 27 2003
Numbers n such that central trinomial coefficient A002426(n) == 1 (mod 3). - Emeric Deutsch and Bruce E. Sagan, Dec 04 2003
A039966(a(n)+1) = 1; A104406(n) = number of terms <= n.
Subsequence of A125292; A125291(a(n)) = 1 for n>1. - Reinhard Zumkeller, Nov 26 2006
Also final value of n - 1 written in base 2 and then read in base 3 and with finally the result translated in base 10. - Philippe LALLOUET (philip.lallouet(AT)wanadoo.fr), Jun 23 2007
a(n) modulo 2 is the Thue-Morse sequence A010060. - Dennis Tseng, Jul 16 2009
Also numbers such that the balanced ternary representation is the same as the base 3 representation. - Alonso del Arte, Feb 25 2011
Fixed point of the morphism: 0 -> 01; 1 -> 34; 2 -> 67; ...; n -> (3n)(3n+1), starting from a(1) = 0. - Philippe Deléham, Oct 22 2011
It appears that this sequence lists the values of n which satisfy the condition sum(binomial(n, k)^(2*j), k = 0..n) mod 3 <> 0, for any j, with offset 0. See Maple code. - Gary Detlefs, Nov 28 2011
Also, it follows from the above comment by Philippe Lallouet that the sequence must be generated by the rules: a(1) = 0, and if m is in the sequence then so are 3*m and 3*m + 1. - L. Edson Jeffery, Nov 20 2015
Add 1 to each term and we get A003278. - N. J. A. Sloane, Dec 01 2019

			12 is a term because 12 = 110_3.
This sequence regarded as a triangle with rows of lengths 1, 1, 2, 4, 8, 16, ...:
   0
   1
   3,  4
   9, 10, 12, 13
  27, 28, 30, 31, 36, 37, 39, 40
  81, 82, 84, 85, 90, 91, 93, 94, 108, 109, 111, 112, 117, 118, 120, 121
... - _Philippe Deléham_, Jun 06 2015

Richard K. Guy, Unsolved Problems in Number Theory, 3rd Edition, Springer, 2004, Section E10, pp. 317-323.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

David W. Wilson, Table of n, a(n) for n = 1..10000 (first 1024 terms from T. D. Noe)
J.-P. Allouche, G.-N. Han, and Jeffrey Shallit, On some conjectures of P. Barry, arXiv:2006.08909 [math.NT], 2020.
J.-P. Allouche and Jeffrey Shallit, The ring of k-regular sequences, Theoretical Computer Sci., 98 (1992), 163-197.
J.-P. Allouche and Jeffrey Shallit, The ring of k-regular sequences, Theoretical Computer Sci., 98 (1992), 163-197.
J.-P. Allouche, Jeffrey Shallit and G. Skordev, Self-generating sets, integers with missing blocks and substitutions, Discrete Math. 292 (2005) 1-15.
David Applegate, Omar E. Pol and N. J. A. Sloane, The Toothpick Sequence and Other Sequences from Cellular Automata, Congressus Numerantium, Vol. 206 (2010), 157-191. [There is a typo in Theorem 6: (13) should read u(n) = 4.3^(wt(n-1)-1) for n >= 2.]
Megumi Asada, Bruce Fang, Eva Fourakis, Sarah Manski, Nathan McNew, Steven J. Miller, Gwyneth Moreland, Ajmain Yamin, and Sindy Xin Zhang, Avoiding 3-Term Geometric Progressions in Hurwitz Quaternions, Williams College (2023).
Robert Baillie and Thomas Schmelzer, Summing Kempner's Curious (Slowly-Convergent) Series, Mathematica Notebook kempnerSums.nb, Wolfram Library Archive, 2008.
Noam Benson-Tilsen, Samuel Brock, Brandon Faunce, Monish Kumar, Noah Dokko Stein, and Joshua Zelinsky, Total Difference Labeling of Regular Infinite Graphs, arXiv:2107.11706 [math.CO], 2021.
Raghavendra Bhat, Cristian Cobeli, and Alexandru Zaharescu, Filtered rays over iterated absolute differences on layers of integers, arXiv:2309.03922 [math.NT], 2023. See page 16.
Matvey Borodin, Hannah Han, Kaylee Ji, Tanya Khovanova, Alexander Peng, David Sun, Isabel Tu, Jason Yang, William Yang, Kevin Zhang, and Kevin Zhao, Variants of Base 3 over 2, arXiv:1901.09818 [math.NT], 2019.
Ben Chen, Richard Chen, Joshua Guo, Tanya Khovanova, Shane Lee, Neil Malur, Nastia Polina, Poonam Sahoo, Anuj Sakarda, Nathan Sheffield, and Armaan Tipirneni, On Base 3/2 and its Sequences, arXiv:1808.04304 [math.NT], 2018.
Karl Dilcher and Larry Ericksen, Hyperbinary expansions and Stern polynomials, Elec. J. Combin, Vol. 22 (2015), Article P2.24.
P. Erdős, V. Lev, G. Rauzy, C. Sandor, and A. Sarkozy, Greedy algorithm, arithmetic progressions, subset sums and divisibility, Discrete Math., Vol. 200, No. 1-3 (1999), pp. 119-135 (see Table 1). alternate link.
Joseph L. Gerver and L. Thomas Ramsey, Sets of integers with no long arithmetic progressions generated by the greedy algorithm, Math. Comp., Vol. 33, No. 148 (1979), pp. 1353-1359.
Hsien-Kuei Hwang, Svante Janson, and Tsung-Hsi Tsai, Identities and periodic oscillations of divide-and-conquer recurrences splitting at half, arXiv:2210.10968 [cs.DS], 2022, p. 45.
Ryota Inagaki, Tanya Khovanova, and Austin Luo, Permutation-based Strategies for Labeled Chip-Firing on k-ary Trees, arXiv:2503.09577 [math.CO], 2025. See p. 18.
Kathrin Kostorz, Robert W. Hölzel and Katharina Krischer, Distributed coupling complexity in a weakly coupled oscillatory network with associative properties, New J. Phys., Vol. 15 (2013), #083010; doi:10.1088/1367-2630/15/8/083010.
Clark Kimberling, Affinely recursive sets and orderings of languages, Discrete Math., Vol. 274, Vol. 1-3 (2004), pp. 147-160.
John W. Layman, Some Properties of a Certain Nonaveraging Sequence, J. Integer Sequences, Vol. 2 (1999), Article 99.1.3.
Manfred Madritsch and Stephan Wagner, A central limit theorem for integer partitions, Monatsh. Math., Vol. 161, No. 1 (2010), pp. 85-114.
Richard A. Moy and David Rolnick, Novel structures in Stanley sequences, Discrete Math., Vol. 339, No. 2 (2016), pp. 689-698; arXiv preprint, arXiv:1502.06013 [math.CO], 2015.
A. M. Odlyzko and R. P. Stanley, Some curious sequences constructed with the greedy algorithm, 1978, remark 1 (PDF, PS, TeX).
Paul Pollack, Analytic and Combinatorial Number Theory Course Notes, p. 228. [?Broken link]
Paul Pollack, Analytic and Combinatorial Number Theory Course Notes, p. 228.
David Rolnick and Praveen S. Venkataramana, On the growth of Stanley sequences, Discrete Math., Vol. 338, No. 11 (2015), pp. 1928-1937, see p. 1930; arXiv preprint, arXiv:1408.4710 [math.CO], 2014.
N. J. A. Sloane, Catalog of Toothpick and Cellular Automata Sequences in the OEIS.
Ralf Stephan, Divide-and-conquer generating functions. I. Elementary sequences, arXiv:math/0307027 [math.CO], 2003.
Ralf Stephan, Some divide-and-conquer sequences with (relatively) simple ordinary generating functions, 2004.
Ralf Stephan, Table of generating functions.
Zoran Sunic, Tree morphisms, transducers and integer sequences, arXiv:math/0612080 [math.CO], 2006.
B. Vasic, K. Pedagani and M. Ivkovic, High-rate girth-eight low-density parity-check codes on rectangular integer lattices, IEEE Transactions on Communications, Vol. 52, Issue 8 (2004), pp. 1248-1252.
Eric Weisstein's World of Mathematics, Central Binomial Coefficient.
Index entries for 3-automatic sequences.

Cf. A039966 (characteristic function).
Cf. A002426, A004793, A005823, A007088, A007089, A032924, A033042-A033052, A054591, A055246, A062548, A065361, A074940, A081601, A081603, A081611, A083096, A089118, A121153, A170943, A185256.
For generating functions Product_{k>=0} (1+a*x^(b^k)) for the following values of (a,b) see: (1,2) A000012 and A000027, (1,3) A039966 and A005836, (1,4) A151666 and A000695, (1,5) A151667 and A033042, (2,2) A001316, (2,3) A151668, (2,4) A151669, (2,5) A151670, (3,2) A048883, (3,3) A117940, (3,4) A151665, (3,5) A151671, (4,2) A102376, (4,3) A151672, (4,4) A151673, (4,5) A151674.
Row 3 of array A104257.
Summary of increasing sequences avoiding arithmetic progressions of specified lengths (the second of each pair is obtained by adding 1 to the first):
   3-term AP: A005836 (>=0), A003278 (>0);
   4-term AP: A005839 (>=0), A005837 (>0);
   5-term AP: A020654 (>=0), A020655 (>0);
   6-term AP: A020656 (>=0), A005838 (>0);
   7-term AP: A020657 (>=0), A020658 (>0);
   8-term AP: A020659 (>=0), A020660 (>0);
   9-term AP: A020661 (>=0), A020662 (>0);
  10-term AP: A020663 (>=0), A020664 (>0).
See also A000452.

a005836 n = a005836_list !! (n-1)
a005836_list = filter ((== 1) . a039966) [0..]
-- Reinhard Zumkeller, Jun 09 2012, Sep 29 2011

function a(n)
    m, r, b = n, 0, 1
    while m > 0
        m, q = divrem(m, 2)
        r += b * q
        b *= 3
    end
r end; [a(n) for n in 0:57] |> println # Peter Luschny, Jan 03 2021

t := (j, n) -> add(binomial(n,k)^j, k=0..n):
for i from 1 to 400 do
    if(t(4,i) mod 3 <>0) then print(i) fi
od; # Gary Detlefs, Nov 28 2011
# alternative Maple program:
a:= proc(n) option remember: local k, m:
if n=1 then 0 elif n=2 then 1 elif n>2 then k:=floor(log[2](n-1)): m:=n-2^k: procname(m)+3^k: fi: end proc:
seq(a(n), n=1.. 20); # Paul Weisenhorn, Mar 22 2020
# third Maple program:
a:= n-> `if`(n=1, 0, irem(n-1, 2, 'q')+3*a(q+1)):
seq(a(n), n=1..100);  # Alois P. Heinz, Jan 26 2022

Table[FromDigits[IntegerDigits[k, 2], 3], {k, 60}]
Select[Range[0, 400], DigitCount[#, 3, 2] == 0 &] (* Harvey P. Dale, Jan 04 2012 *)
Join[{0}, Accumulate[Table[(3^IntegerExponent[n, 2] + 1)/2, {n, 57}]]] (* IWABUCHI Yu(u)ki, Aug 01 2012 *)
FromDigits[#,3]&/@Tuples[{0,1},7] (* Harvey P. Dale, May 10 2019 *)

A=vector(100);for(n=2,#A,A[n]=if(n%2,3*A[n\2+1],A[n-1]+1));A \\ Charles R Greathouse IV, Jul 24 2012

is(n)=while(n,if(n%3>1,return(0));n\=3);1 \\ Charles R Greathouse IV, Mar 07 2013

a(n) = fromdigits(binary(n-1),3);  \\ Gheorghe Coserea, Jun 15 2018

def A005836(n):
    return int(format(n-1,'b'),3) # Chai Wah Wu, Jan 04 2015

a(n) = A005823(n)/2 = A003278(n)-1 = A033159(n)-2 = A033162(n)-3.
Numbers n such that the coefficient of x^n is > 0 in prod (k >= 0, 1 + x^(3^k)). - Benoit Cloitre, Jul 29 2003
a(n+1) = Sum_{k=0..m} b(k)* 3^k and n = Sum( b(k)* 2^k ).
a(2n+1) = 3a(n+1), a(2n+2) = a(2n+1) + 1, a(0) = 0.
a(n+1) = 3*a(floor(n/2)) + n - 2*floor(n/2). - Ralf Stephan, Apr 27 2003
G.f.: (x/(1-x)) * Sum_{k>=0} 3^k*x^2^k/(1+x^2^k). - Ralf Stephan, Apr 27 2003
a(n) = Sum_{k = 1..n-1} (1 + 3^A007814(k)) / 2. - Philippe Deléham, Jul 09 2005
From Reinhard Zumkeller, Mar 02 2008: (Start)
A081603(a(n)) = 0.
If the offset were changed to zero, then: a(0) = 0, a(n+1) = f(a(n)+1, a(n)+1) where f(x, y) = if x < 3 and x <> 2 then y else if x mod 3 = 2 then f(y+1, y+1) else f(floor(x/3), y). (End)
With offset a(0) = 0: a(n) = Sum_{k>=0} A030308(n,k)*3^k. - Philippe Deléham, Oct 15 2011
a(2^n) = A003462(n). - Philippe Deléham, Jun 06 2015
We have liminf_{n->infinity} a(n)/n^(log(3)/log(2)) = 1/2 and limsup_{n->infinity} a(n)/n^(log(3)/log(2)) = 1. - Gheorghe Coserea, Sep 13 2015
a(2^k+m) = a(m) + 3^k with 1 <= m <= 2^k and 1 <= k, a(1)=0, a(2)=1. - Paul Weisenhorn, Mar 22 2020
Sum_{n>=2} 1/a(n) = 2.682853110966175430853916904584699374821677091415714815171756609672281184705... (calculated using Baillie and Schmelzer's kempnerSums.nb, see Links). - Amiram Eldar, Feb 12 2022
A065361(a(n)) = n-1. - Rémy Sigrist, Feb 06 2023
a(n) ≍ n^k, where k = log 3/log 2 = 1.5849625007. (I believe the constant varies from 1/2 to 1.) - Charles R Greathouse IV, Mar 29 2024

Offset corrected by N. J. A. Sloane, Mar 02 2008

Edited by the Associate Editors of the OEIS, Apr 07 2009

A066796 a(n) = Sum_{i=1..n} binomial(2*i,i).

Original entry on oeis.org

2, 8, 28, 98, 350, 1274, 4706, 17576, 66196, 250952, 956384, 3660540, 14061140, 54177740, 209295260, 810375650, 3143981870, 12219117170, 47564380970, 185410909790, 723668784230, 2827767747950, 11061198475550, 43308802158650

Offset: 1

Benoit Cloitre, Jan 18 2002

nonn

Comments from Alexander Adamchuk, Jul 02 2006: (Start)
Every a(n) is divisible by prime 2, a(n)/2 = A079309(n).
a(n) is divisible by prime 3 only for n=12,30,36,84,90,108,120,... A083096.
a(p) is divisible by p^2 for primes p=5,11,17,23,29,41,47,... Primes of form 6n-1. A007528.
a(p-1) is divisible by p^2 for primes p=7,13,19,31,37,43,... Primes of form 6n+1. A002476.
Every a(n) from a((p-1)/2) to a(p-1) is divisible by prime p for p=7,13,19,31,37,43,... Primes of form 6n+1. A002476.
Every a(n) from a((p^2-1)/2) to a(p^2-1) is divisible by prime p>3.
a(p^2-1), a(p^2-2) and a(p^2-3) are divisible by p^2 for prime p>3.
a(p^2-4) is divisible by p^2 for prime p>5.
a(p^2-5) is divisible by p^2 for prime p>7.
a(p^2-6) is divisible by p^2 for prime p>7.
a(p^2-7) is divisible by p^2 for prime p>11.
a(p^2-8) is divisible by p^2 for prime p>13.
a(p^3) is divisible by p^2 for prime 2 and prime p=5,11,... Primes of form 6n-1. A007528.
a(p^3-1) is divisible by p^2 for prime p=7,13,... Primes of form 6n+1. A002476.
a(p^4-1) is divisible by p^2 for prime p>3. (End)
Mod[ a(3^k), 9 ] = 1 for integer k>0. Smallest number k such that 2^n divides a(k) is k(n) = {1,2,2,11,11,46,46,707,707,707,...}. Smallest number k such that 3^n divides a(k) is k(n) = {12,822,2466,...}. a(2(p-1)/3) is divisible by p^2 for prime p = {7,13,19,31,37,43,61,...} = A002476 Primes of form 6n+1. Every a(n) from a(p^2-(p+1)/2) to a(p^2-1) is divisible by p^2 for prime p>3. Every a(n) from a((4p+3)(p-1)/6) to a((2p+3)(p-1)/3) is divisible by p^2 for prime p = {7,13,19,31,37,43,61,...} = A002476 Primes of form 6n+1. - Alexander Adamchuk, Jan 04 2007

G. C. Greubel, Table of n, a(n) for n = 1..1000 (Terms 1 to 200 computed by Harry J. Smith; terms 201 to 1000 computed by G. C. Greubel, Jan 15 2017)
Guo-Shuai Mao, Proof of a conjecture of Adamchuk, arXiv:2003.09810 [math.NT], 2020.
Guo-Shuai Mao, On a supercongruence conjecture of Z.-W. Sun, arXiv:2003.14221 [math.NT], 2020.
Guo-Shuai Mao, On some supercongruence conjectures of Z.-W. Sun, Nanjing Univ. Info. Sci. Tech. (China, 2023).
Guo-Shuai Mao, Proof of some congruences via the hypergeometric identities, Nanjing Univ. Info. Sci. Tech. (China, 2023).
Guo-Shuai Mao, On two pairs of congruence conjectures of Z.-W. Sun, Nanjing Univ. Sci. Tech. (China), ResearchGate, 2024.
Guo-Shuai Mao and Roberto Tauraso, Three pairs of congruences concerning sums of central binomial coefficients, arXiv:2004.09155 [math.NT], 2020.
Guo-Shuai Mao and Dong-Hui Zhang, On some congruences involving harmonic numbers and Bernoulli polynomials, ResearchGate, 2023. See pp. 1-2, 12.
Z.-W. Sun, Fibonacci numbers modulo cubes of primes, arXiv:0911.3060 [math.NT], 2009-2013; Taiwanese J. Math., to appear 2013. - From _N. J. A. Sloane_, Mar 01 2013
Eric Weisstein's World of Mathematics, Central Binomial Coefficient.
Eric Weisstein's World of Mathematics, Binomial Sums.

Essentially the same as A079309 and A054114.
Equals A006134 - 1.
Cf. A002476, A006134, A007528, A079309, A083096.

Table[Sum[(2k)!/(k!)^2,{k,1,n}],{n,1,50}] (* Alexander Adamchuk, Jul 02 2006 *)
Table[Sum[Binomial[2k,k],{k,1,n}],{n,1,30}] (* Alexander Adamchuk, Jan 04 2007 *)

{ a=0; for (n=1, 200, write("b066796.txt", n, " ", a+=binomial(2*n, n)) ) } \\ Harry J. Smith, Mar 27 2010

a(n) = sum(i=1, n, binomial(2*i,i)); \\ Michel Marcus, Jan 04 2016

a(n) = A006134(n) - 1; generating function: (sqrt(1-4*x)-1)/(sqrt(1-4*x)*(x-1)) - Antonio G. Astudillo (afg_astudillo(AT)hotmail.com), Feb 11 2003, corrected by Vaclav Kotesovec, Nov 06 2012
a(n) = Sum_{k=1..n}(2k)!/(k!)^2. - Alexander Adamchuk, Jul 02 2006
a(n) = Sum_{k=1..n}binomial(2k,k). - Alexander Adamchuk, Jan 04 2007
a(n) ~ 2^(2*n+2)/(3*sqrt(Pi*n)). - Vaclav Kotesovec, Nov 06 2012

A081601 Numbers m such that 3 does not divide Sum_{k=0..m} binomial(2k,k) = A006134(m).

Original entry on oeis.org

0, 3, 9, 12, 27, 30, 36, 39, 81, 84, 90, 93, 108, 111, 117, 120, 243, 246, 252, 255, 270, 273, 279, 282, 324, 327, 333, 336, 351, 354, 360, 363, 729, 732, 738, 741, 756, 759, 765, 768, 810, 813, 819, 822, 837, 840, 846, 849, 972, 975, 981, 984, 999, 1002, 1008, 1011

Offset: 1

Benoit Cloitre, Apr 22 2003

Apparently a(n)/3 mod 2 = A010060(n-1), the Thue-Morse sequence.

a(n+1) is the smallest number with exactly n+1 partitions into distinct powers of 2 or of 3: A131996(a(n+1)) = n+1 and A131996(m) < n+1 for m < a(n+1). - Reinhard Zumkeller, Aug 06 2007

			For n=0, A006134(0) = 1, hence 0 is a term.

Ralf Stephan, Some divide-and-conquer sequences ...
Ralf Stephan, Table of generating functions

Cf. A005836, A006134, A006996, A010060, A083096, A131996.

Equals A089118(n-2) + 1, n > 1.

Select[Range[0, 1020], Mod[Sum[Binomial[2 k, k], {k, 0, #}], 3] != 0 &] (* Michael De Vlieger, Nov 28 2015 *)

for(n=0, 1e3, if(sum(k=0, n, binomial(2*k, k)) % 3 > 0, print1(n,", "))) \\ Altug Alkan, Nov 26 2015

Apparently a(n) = 3*A005836(n).

G.f.: (x/(1 - x))*Sum_{k>=0} 3^(k+1)*x^(2^k)/(1 + x^(2^k)) (conjecture). - Ilya Gutkovskiy, Jul 23 2017

Zero prepended to the sequence and formulas modified accordingly by L. Edson Jeffery, Nov 25 2015

A122485 Values of A083097(k) such that A083097(k) = A083097(k+1) - 1.

Original entry on oeis.org

5, 14, 41, 59, 122, 140, 167, 176, 365, 383, 410, 419, 491, 500, 527, 545, 1094, 1112, 1139, 1148, 1220, 1229, 1256, 1274, 1463, 1472, 1499, 1517, 1580, 1598, 1625, 1634, 3281, 3299, 3326, 3335, 3407, 3416, 3443, 3461, 3650, 3659, 3686, 3704, 3767, 3785, 3812

Offset: 1

Alexander Adamchuk, Sep 15 2006

nonn

A083097(n) = A083095(n) = A083096(n)/6 = A083094(n)/4, where A083096 are the Numbers k such that 3 divides Sum_{j=1..k} C(2*j,j) = A066796(k).
All terms are of the form 9*m + 5 and belong to A017221 with m = {0, 1, 4, 6, 13, 15, 18, 19, 40, 42, ...}.
Corresponding numbers m such that a(m) = A083097(m) are A129771 (evil odd numbers).

			A083097 begins {0, 2, 5, 6, 14, 15, 18, 20, 41, 42, 45, 47, 54, 56, 59, 60, ...}.
So a(1) = 5 because 5 = A083097(3) = A083097(3+1) - 1.
a(2) = 14 because 14 = A083097(5) = A083097(5+1) - 1.

Cf. A000069, A000120, A066796, A083094, A083095, A083096, A083097, A010060, A129771.

a(n) = A083097(A129771(n)).

More terms from R. J. Mathar, Jan 17 2008
More terms from Jinyuan Wang, Jan 22 2022
Edited by Michel Marcus, Jan 22 2022

A167912 a(n) = (1/(3^n)^2) * Sum_{k=0..(3^n-1)} binomial(2k,k).

Original entry on oeis.org

1, 217, 913083596083, 18744974860247264575032720770000376335095039

Offset: 1

Alexander Adamchuk, Nov 15 2009

nonn

Note that a(n) mod 27 = a(n) mod 9 = a(n) mod 3 = 1.

The Maple program yields the first seven terms; easily adjustable for obtaining more terms. However, a(4) has 44 digits, a(5) has 140 digits, a(6) has 432 digits and a(7) has 1308 digits. - Emeric Deutsch, Nov 22 2009

Eric Weisstein's World of Mathematics, Central Binomial Coefficient.
Eric Weisstein's World of Mathematics, Binomial Sums.

Cf. A006134, A083096, A066796, A083097, A081601, A010060, A122485.

a := proc (n) options operator, arrow: (sum(binomial(2*k, k), k = 0 .. 3^n-1))/3^(2*n) end proc: seq(a(n), n = 1 .. 7); # Emeric Deutsch, Nov 22 2009

Table[(1/3^n)^2 * Sum[Binomial[2 k, k], {k, 0, 3^n - 1}], {n, 1, 5}] (* G. C. Greubel, Jul 01 2016 *)

a(4) from Emeric Deutsch, Nov 22 2009

A086743 Numbers n such that the coefficient of x^n equals 0 in Product_{k>=1} (1 - x^(3^k)).

Original entry on oeis.org

1, 2, 4, 5, 6, 7, 8, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 31, 32, 33, 34, 35, 37, 38, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79

Offset: 1

Benoit Cloitre, Jul 29 2003

nonn

Cf. A074940, A083096.

A181990 a(n) = Sum_{0 <= k <= m < p} (binomial(m, k)^(p-1))/p, where p is the n-th prime.

Original entry on oeis.org

3, 399, 12708885, 124515078454872901983423, 39212583445587381894247266262023061, 43487633454143579523135045521112077473364484383507327790688372131, 157851796824901989964381293031623545741924564754192453966085327785455257503133278729

Offset: 2

Alexander Adamchuk, Apr 04 2012

nonn

a(n) is a sum of all elements in the first p rows of Pascal's triangle each raised to the (p-1) power and divided by p, where p is the n-th prime.

For p = 3 and 7 (and their powers like 3, 9, 27, ... and 7, 49, ...) the sums of all elements in n = p^k top rows of Pascal's triangle each raised to the (n-1) = (p^k-1) power are divisible by n^2 = p^(2k) for all k > 0.

Eric Weisstein's World of Mathematics, Pascal's Triangle
Eric Weisstein's World of Mathematics, Binomial Sums

Cf. A007318, A006134, A083096, A066796, A083097, A081601, A010060, A122485, A167912.

Table[(Sum[Binomial[m, k]^(Prime[n] - 1), {m, 0, Prime[n] - 1}, {k, 0, m}])/Prime[n], {n, 2, 10}]

a(n) = my(p=prime(n)); sum(m=0, p-1, sum(k=0, m, binomial(m,k)^(p-1))/p); \\ Michel Marcus, Dec 03 2018

cp's OEIS Frontend

A083097 a(n) = A083096(n)/6.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

A005836 Numbers whose base-3 representation contains no 2.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Julia

Maple

Mathematica

PARI

PARI

PARI

Python

Formula

Extensions

A066796 a(n) = Sum_{i=1..n} binomial(2*i,i).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Formula

A081601 Numbers m such that 3 does not divide Sum_{k=0..m} binomial(2k,k) = A006134(m).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A122485 Values of A083097(k) such that A083097(k) = A083097(k+1) - 1.

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula

Extensions

A167912 a(n) = (1/(3^n)^2) * Sum_{k=0..(3^n-1)} binomial(2k,k).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

Mathematica

Extensions

A086743 Numbers n such that the coefficient of x^n equals 0 in Product_{k>=1} (1 - x^(3^k)).

Views

Author

Keywords

Crossrefs