cp's OEIS Frontend

First term that is not a multiple of 17 (A008599) is 273, which is one more than 272 = 16 * 17. In hexadecimal, 272 is 110, which having a single 0 next to a 1, disqualifies it from this sequence. - Alonso del Arte, Oct 16 2016

As a rectangle, the accumulation array of A051340.

From Clark Kimberling, Feb 05 2011: (Start)

Here all the weights are divided by two where they aren't in Cahn.

As a rectangle, A141419 is in the accumulation chain

... < A051340 < A141419 < A185874 < A185875 < A185876 < ...

(See A144112 for the definition of accumulation array.)

row 1: A000027

col 1: A000217

diag (1,5,...): A000326 (pentagonal numbers)

diag (2,7,...): A005449 (second pentagonal numbers)

diag (3,9,...): A045943 (triangular matchstick numbers)

diag (4,11,...): A115067

diag (5,13,...): A140090

diag (6,15,...): A140091

diag (7,17,...): A059845

diag (8,19,...): A140672

(End)

Let N=2*n+1 and k=1,2,...,n. Let A_{N,n-1} = [0,...,0,1; 0,...,0,1,1; ...; 0,1,...,1; 1,...,1], an n X n unit-primitive matrix (see [Jeffery]). Let M_n=[A_{N,n-1}]^4. Then t(n,k)=[M_n](1,k), that is, the n-th row of the triangle is given by the first row of M_n. - _L. Edson Jeffery, Nov 20 2011

Conjecture. Let N=2*n+1 and k=1,...,n. Let A_{N,0}, A_{N,1}, ..., A_{N,n-1} be the n X n unit-primitive matrices (again see [Jeffery]) associated with N, and define the Chebyshev polynomials of the second kind by the recurrence U_0(x) = 1, U_1(x) = 2*x and U_r(x) = 2*x*U_(r-1)(x) - U_(r-2)(x) (r>1). Define the column vectors V_(k-1) = (U_(k-1)(cos(Pi/N)), U_(k-1)(cos(3*Pi/N)), ..., U_(k-1)(cos((2*n-1)*Pi/N)))^T, where T denotes matrix transpose. Let S_N = [V_0, V_1, ..., V_(n-1)] be the n X n matrix formed by taking V_(k-1) as column k-1. Let X_N = [S_N]^T*S_N, and let [X_N](i,j) denote the entry in row i and column j of X_N, i,j in {0,...,n-1}. Then t(n,k) = [X_N](k-1,k-1), and row n of the triangle is given by the main diagonal entries of X_N. Remarks: Hence t(n,k) is the sum of squares t(n,k) = sum[m=1,...,n (U_(k-1)(cos((2*m-1)*Pi/N)))^2]. Finally, this sequence is related to A057059, since X_N = [sum_{m=1,...,n} A057059(n,m)*A_{N,m-1}] is also an integral linear combination of unit-primitive matrices from the N-th set. - L. Edson Jeffery, Jan 20 2012

Row sums: n*(n+1)*(2*n+1)/6. - L. Edson Jeffery, Jan 25 2013

n-th row = partial sums of n-th row of A004736. - Reinhard Zumkeller, Aug 04 2014

T(n,k) is the number of distinct sums made by at most k elements in {1, 2, ... n}, for 1 <= k <= n, e.g., T(6,2) = the number of distinct sums made by at most 2 elements in {1,2,3,4,5,6}. The sums range from 1, to 5+6=11. So there are 11 distinct sums. - Derek Orr, Nov 26 2014

A number n occurs in this sequence A001227(n) times, the number of odd divisors of n, see A209260. - Hartmut F. W. Hoft, Apr 14 2016

Conjecture: 2*n + 1 is composite if and only if gcd(t(n,m),m) != 1, for some m. - L. Edson Jeffery, Jan 30 2018

From Peter Munn, Aug 21 2019 in respect of the sequence read as a triangle: (Start)

A number m can be found in column k if and only if A286013(m, k) is nonzero, in which case m occurs in column k on row A286013(m, k).

The first occurrence of m is in row A212652(m) column A109814(m), which is the rightmost column in which m occurs. This occurrence determines where m appears in A209260. The last occurrence of m is in row m column 1.

Viewed as a sequence of rows, consider the subsequences (of rows) that contain every positive integer. The lexicographically latest of these subsequences consists of the rows with row numbers in A270877; this is the only one that contains its own row numbers only once.

(End)

First bisection of A195047. - Bruno Berselli, Jul 03 2014

Norms of purely imaginary numbers in Z[sqrt(-17)] (for example, 3*sqrt(-17) has norm 153). - Alonso del Arte, Jun 23 2018

T(n,k) = A003991(n-1,k) for 1 <= k < n;

T(n,k) = T(n,n-1-k) for k < n;

T(n,1) = n-1; T(n,n) = 0; T(n,2) = A005843(n-2) for n > 1;

T(n,3) = A008585(n-3) for n>2; T(n,4) = A008586(n-4) for n > 3;

T(n,5) = A008587(n-5) for n>4; T(n,6) = A008588(n-6) for n > 5;

T(n,7) = A008589(n-7) for n>6; T(n,8) = A008590(n-8) for n > 7;

T(n,9) = A008591(n-9) for n>8; T(n,10) = A008592(n-10) for n > 9;

T(n,11) = A008593(n-11) for n>10; T(n,12) = A008594(n-12) for n > 11;

T(n,13) = A008595(n-13) for n>12; T(n,14) = A008596(n-14) for n > 13;

T(n,15) = A008597(n-15) for n>14; T(n,16) = A008598(n-16) for n > 15;

T(n,17) = A008599(n-17) for n>16; T(n,18) = A008600(n-18) for n > 17;

T(n,19) = A008601(n-19) for n>18; T(n,20) = A008602(n-20) for n > 19;

Row sums give A000292; triangle sums give A000332;

All numbers m > 0 occur A000005(m) times;

A002378(n) = T(A005408(n),n+1) = n*(n+1).

k-th columns are arithmetic progressions with step k, starting with 0. If a zero is prefixed to the sequence, then we get a new table where the columns are again arithmetic progressions with step k, but starting with k, k=0,1,2,...: 1st column = (0,0,0,...), 2nd column = (1,2,3,...), 3rd column = (2,4,6,8,...), etc. - M. F. Hasler, Feb 02 2013

Construct the infinite-dimensional matrix representation of angular momentum operators (J_1,J_2,J_3) in the Jordan-Schwinger form (cf. Harter, Klee, Schwinger). The triangle terms T(n,k) = T(2j,j+m) satisfy: (1/2)T(2j,j+m)^(1/2) = = = i = -i . Matrices for J_1 and J_2 are sparse. These equalities determine the only nonzero entries. - Bradley Klee, Jan 29 2016

T(n+1,k+1) is the number of degrees of freedom of a k-dimensional affine subspace within an n-dimensional vector space. This is most readily interpreted geometrically: e.g. in 3 dimensions a line (1-dimensional subspace) has T(4,2) = 4 degrees of freedom and a plane has T(4,3) = 3. T(n+1,1) = n indicates that points in n dimensions have n degrees of freedom. T(n,n) = 0 for any n as all n-dimensional spaces in an n-dimensional space are equivalent. - Daniel Leary, Apr 29 2020

(n==0 modulo 17) iff (a(n)==0 modulo 17); applied recursively, this property provides a divisibility test for numbers given in base 10 notation.

Zero together with partial sums of A195035.

The only primes in the sequence are 23 and 53 since a(n) = (1/2)*((2*n+(-1)^n+3)/4)*((46*n-37*(-1)^n+37)/4). - Bruno Berselli, Sep 30 2011

The spiral contains infinitely many Pythagorean triples in which the hypotenuses on the main diagonal are the positives multiples of 17 (Cf. A008599). The vertices on the main diagonal are the numbers A195039 = (15+8)*A000217 = 23*A000217, where both 15 and 8 are the first two edges in the spiral. The distance "a" between nearest edges that are perpendicular to the initial edge of the spiral is 15, while the distance "b" between nearest edges that are parallel to the initial edge is 8, so the distance "c" between nearest vertices on the same axis is 17 because from the Pythagorean theorem we can write c = (a^2+b^2)^(1/2) = sqrt(15^2+8^2) = sqrt(225+64) = sqrt(289) = 17. - Omar E. Pol, Oct 12 2011

Numbers of the 18th column of positive numbers in the square array of nonnegative and polygonal numbers A139600. Also, numbers of the 18th column in the square array A057145.

Partial sums give the generalized 21-gonal numbers (A303298).

a(n) is also the length of the n-th line segment of the rectangular spiral whose vertices are the generalized 21-gonal numbers.