A298855 -id:A298855 - cp's OEIS frontend

A298856 Triangular numbers n for which A240542(n) = A240542(n-1).

3, 10, 21, 55, 78, 105, 136, 171, 253, 351, 406, 465, 595, 666, 741, 820, 903, 1081, 1275, 1378, 1711, 1830, 1953, 2211, 2485, 2628, 2775, 2926, 3081, 3403, 3741, 3916, 4465, 4656, 5050, 5253, 5671, 5886, 6105, 6328, 7021, 7503, 7750, 8001, 8515, 9045, 9316, 9591

Offset: 1

Hartmut F. W. Hoft, Jan 27 2018

nonn

Number n is in this sequence exactly when two parts of the symmetric representation of sigma(n) meet at the diagonal.
Proof: If n = k*(2*k+1) is in this sequence then the length of row n in A240542 is 2*k and that of row n-1 is 2*k-1, i.e., the last leg of the Dyck path for n down to the diagonal is vertical and that for n-1 is horizontal to the same point on the diagonal. Therefore, one part of the symmetric representation of sigma(n) ends at the diagonal and so does its symmetric copy. Conversely, if two parts meet at the diagonal then the number of legs in the Dyck path to the diagonal for n, i.e., the length of row n in A240542, is one larger than that for n-1 and must be even, i.e., n has the form n = k*(2*k+1).
A156592 is a subsequence since for every number of the form n = p*(2*p+1) where both p and 2*p+1 are primes A240542(n) = A240542(n-1). For a proof let T(n,k) = ceiling((n+1)/k - (k+1)/2) for 1 <= k <= floor((sqrt(8*n+1) - 1)/2) = 2*p, see A235791; then T(n,k) = T(n-1,k) + 1 for k = 1, 2, p, 2*p, and T(n,k) = T(n-1,k) for all other k. Therefore, the two alternating sums defining A240542(n) and A240542(n-1) are equal, i.e., their Dyck paths meet at the diagonal.
Except for missing 10 the intersection of this sequence and A298855 equals A156592. Sequence A262259 is a subsequence of this sequence.
The five known members of A191363 belong to this sequence, and since their symmetric representation consists of two parts of width one (the respective rows of triangle A237048 have the form 1 0 ... 0 1) they also belong to A262259.
Subsequence of A014105. - Omar E. Pol, Jan 31 2018
Second hexagonal numbers without middle divisors. - Omar E. Pol, Mar 10 2023

			3, 10 and 21 are in the sequence as the illustration of Dyck paths in sequence A237593 shows.
The sequence contains triangular numbers n*(2n+1) where neither n nor 2n+1 are prime. Numbers 1275=25*51 and 2926=38*77 are examples, however, 36 = 4*9 does not belong to the sequence.
78 is the first number in the sequence whose two parts of its symmetric representation contain pieces of width two.

Cf. A000217, A156592, A191363, A237048, A237270, A237593, A240542, A262259, A298855.

Cf. A067742.

(* Function path[] is defined in A237270 *)
meetAtDiagonalQ[n_] := Module[{diags=Transpose[{Drop[Drop[path[n], 1], -1], path[n-1]}]}, Length[Union[diags[[n]]]]==1 && First[diags[[n-1]]]!=Last[diags[[n-1]]]]
a298856[m_, n_] := Select[Map[#(2#+1)&, Range[m, n]], meetAtDiagonalQ]
a298856[1, 70] (* data *)

A368949 Complement of A368087 in A174905.

Original entry on oeis.org

21, 33, 39, 51, 55, 57, 65, 69, 85, 87, 93, 95, 111, 115, 119, 123, 129, 133, 141, 145, 147, 155, 159, 161, 171, 177, 183, 185, 201, 203, 205, 207, 213, 215, 217, 219, 230, 235, 237, 249, 253, 259, 261, 265, 267, 275, 279, 287, 290, 291, 295, 301, 303, 305, 309, 310, 319, 321, 327, 329, 333, 335, 339, 341

Offset: 1

Hartmut F. W. Hoft, Jan 10 2024

nonn

A298855 is a subsequence, number 147 = 3 * 7^2 is the first entry in A368949 not in A298855. This sequence is a subsequence of A174905 = A241008 union A241010.

Alternate definition: Every number n in this sequence has at least 2 distinct odd prime factors and its symmetric representation of sigma consists only of parts of width 1.

			21 is the smallest number in this sequence since 3 * 5 is not in A174905.
The smallest number in this sequence with 3 distinct odd prime factors is 903 = 3*7*43 which has width pattern (A341969) 101010101010101 of length 17 since ... < d_i < 2 * d_i < d_(i+1) < 2 * d_(i+1) ... holds for all its divisors.

Cf. A005279, A174905, A235791, A237048, A237270, A237593, A241008, A241010, A249223, A298855, A341969, A368087.

(* a174905[ ] is defined in A174905 and propQ[ ] in A368087 *)
a368949[m_, n_] := Select[Range[m, n], a174905[#]&&!propQ[#]&]
a368949[1, 350]

cp's OEIS Frontend

A298856 Triangular numbers n for which A240542(n) = A240542(n-1).

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica