A271624 -id:A271624 - cp's OEIS frontend

A188896 Numbers n such that there is no square n-gonal number greater than 1.

10, 20, 52, 164, 340, 580, 884, 1252, 1684, 2180, 2740, 4052, 4804, 5620, 6500, 7444, 8452, 9524, 10660, 11860, 13124, 14452, 15844, 17300, 18820, 20404, 22052, 25540, 27380, 29284, 31252, 33284, 35380, 37540, 39764, 42052, 44404, 46820, 49300, 51844

Offset: 1

T. D. Noe, Apr 13 2011

nonn

It is easy to find squares that are triangular, pentagonal, hexagonal, etc. So it is somewhat surprising that there are no square 10-gonal numbers other than 0 and 1. For these n, the equation 2*x^2 = (n-2)*y^2 - (n-4)*y has no integer solutions x>1 and y>1.
Chu shows how to transform the equation into a generalized Pell equation. When n has the form 2k^2+2 (A005893), then the Pell equation has only a finite number of solutions and it is simple to select the n that produce no integer solutions greater than 1.
The general case is in A188950.

Muniru A Asiru, Table of n, a(n) for n = 1..244
Wenchang Chu, Regular polygonal numbers and generalized Pell equations, Int. Math. Forum 2 (2007), 781-802.

Cf. A001107 (10-gonal numbers), A051872 (20-gonal numbers), A188892, A100252, A188950, A005893.

Subsequence of A271624. - Muniru A Asiru, Oct 16 2016

P[n_,k_]:=1/2n(n(k-2)+4-k); data1=2#^2+2&/@Range[2,161]; data2=Head[Reduce[m^2==P[n,#] && 1Ant King, Mar 01 2012 *)

A271625 a(n) = = 2*(n+1)^2 - 5.

Original entry on oeis.org

3, 13, 27, 45, 67, 93, 123, 157, 195, 237, 283, 333, 387, 445, 507, 573, 643, 717, 795, 877, 963, 1053, 1147, 1245, 1347, 1453, 1563, 1677, 1795, 1917, 2043, 2173, 2307, 2445, 2587, 2733, 2883, 3037, 3195, 3357, 3523, 3693, 3867, 4045, 4227, 4413, 4603, 4797, 4995, 5197, 5403, 5613, 5827

Offset: 1

Juri-Stepan Gerasimov, Apr 11 2016

Numbers n such that 2*n + 10 is a perfect square.

G. C. Greubel, Table of n, a(n) for n = 1..5000
Index entries for linear recurrences with constant coefficients, signature (3,-3,1).

Cf. A000290, A201713.

Numbers h such that 2*h + k is a perfect square: A294774 (k=-9), A255843 (k=-8), A271649 (k=-7), A093328 (k=-6), A097080 (k=-5), A271624 (k=-4), A051890 (k=-3), A058331 (k=-2), A001844 (k=-1), A001105 (k=0), A046092 (k=1), A056222 (k=2), A142463 (k=3), A054000 (k=4), A090288 (k=5), A268581 (k=6), A059993 (k=7), (-1)*A147973 (k=8), A139570 (k=9), this sequence (k=10), A222182 (k=11), A152811 (k=12), A181510 (k=13), A161532 (k=14), no sequence (k=15).

Magma
```
[ 2*n^2 + 4*n - 3: n in [1..60]];
```

[ n: n in [1..6000] | IsSquare(2*n+10)];

Table[2 n^2 + 4 n - 3, {n, 53}] (* Michael De Vlieger, Apr 11 2016 *)
LinearRecurrence[{3,-3,1},{3,13,27},60] (* Harvey P. Dale, Jun 08 2023 *)
2*Range[2,60]^2 -5 (* G. C. Greubel, Jan 21 2025 *)

x='x+O('x^99); Vec(x*(3+4*x-3*x^2)/(1-x)^3) \\ Altug Alkan, Apr 11 2016

def A271625(n): return 2*pow(n+1,2) - 5
print([A271625(n) for n in range(1,61)]) # G. C. Greubel, Jan 21 2025

G.f.: x*(3 + 4*x - 3*x^2)/(1 - x)^3. - Ilya Gutkovskiy, Apr 11 2016
Sum_{n>=1} 1/a(n) = 13/30 - Pi*cot(sqrt(5/2)*Pi)/(2*sqrt(10)) = 0.5627678459924... . - Vaclav Kotesovec, Apr 11 2016
From Elmo R. Oliveira, Nov 17 2024: (Start)
E.g.f.: exp(x)*(2*x^2 + 6*x - 3) + 3.
a(n) = 3*a(n-1) - 3*a(n-2) + a(n-3) for n > 3. (End)
a(n) = 2*A000290(n+1) - 5. - G. C. Greubel, Jan 21 2025

Name simplified by G. C. Greubel, Jan 21 2025

A271649 a(n) = 2*(n^2 - n + 2).

Original entry on oeis.org

4, 8, 16, 28, 44, 64, 88, 116, 148, 184, 224, 268, 316, 368, 424, 484, 548, 616, 688, 764, 844, 928, 1016, 1108, 1204, 1304, 1408, 1516, 1628, 1744, 1864, 1988, 2116, 2248, 2384, 2524, 2668, 2816, 2968, 3124, 3284, 3448, 3616, 3788, 3964, 4144, 4328, 4516, 4708, 4904, 5104, 5308, 5516

Offset: 1

Juri-Stepan Gerasimov, Apr 11 2016

Numbers n such that 2*n - 7 is a perfect square.

Galois numbers for three-dimensional vector space, defined as the total number of subspaces in a three-dimensional vector space over GF(n-1), when n-1 is a power of a prime. - Artur Jasinski, Aug 31 2016, corrected by Robert Israel, Sep 23 2016

			a(1) = 2*(1^2 - 1 + 2) = 4.

Vincenzo Librandi, Table of n, a(n) for n = 1..1000
Index entries for linear recurrences with constant coefficients, signature (3,-3,1).

Cf. A000124, A014206, A137882.

Numbers h such that 2*h + k is a perfect square: no sequence (k=-9), A255843 (k=-8), this sequence (k=-7), A093328 (k=-6), A097080 (k=-5), A271624 (k=-4), A051890 (k=-3), A058331 (k=-2), A001844 (k=-1), A001105 (k=0), A046092 (k=1), A056222 (k=2), A142463 (k=3), A054000 (k=4), A090288 (k=5), A268581 (k=6), A059993 (k=7), (-1)*A147973 (k=8), A139570 (k=9), A271625 (k=10), A222182 (k=11), A152811 (k=12), A181510 (k=13), A161532 (k=14), no sequence (k=15).

Magma
```
[ 2*n^2 - 2*n + 4: n in [1..60]];
```

[ n: n in [1..6000] | IsSquare(2*n-7)];

A271649:=n->2*(n^2-n+2): seq(A271649(n), n=1..60); # Wesley Ivan Hurt, Aug 31 2016

Table[2 (n^2 - n + 2), {n, 53}] (* or *)
Select[Range@ 5516, IntegerQ@ Sqrt[2 # - 7] &] (* or *)
Table[SeriesCoefficient[(-4 (1 - x + x^2))/(-1 + x)^3, {x, 0, n}], {n, 0, 52}] (* Michael De Vlieger, Apr 11 2016 *)
LinearRecurrence[{3,-3,1},{4,8,16},60] (* Harvey P. Dale, Jun 14 2022 *)

a(n)=2*(n^2-n+2) \\ Charles R Greathouse IV, Jun 17 2017

a(n) = 4*A000124(n).
a(n) = 2*A014206(n).
a(n) = A137882(n), n > 1. - R. J. Mathar, Apr 12 2016
Sum_{n>=1} 1/a(n) = tanh(sqrt(7)*Pi/2)*Pi/(2*sqrt(7)). - Amiram Eldar, Jul 30 2024
From Elmo R. Oliveira, Nov 18 2024: (Start)
G.f.: 4*x*(1 - x + x^2)/(1 - x)^3.
E.g.f.: 2*(exp(x)*(x^2 + 2) - 2).
a(n) = 3*a(n-1) - 3*a(n-2) + a(n-3) for n > 3. (End)

A277449 Numbers n such that there is exactly one nontrivial square n-gonal number.

Original entry on oeis.org

34, 74, 100, 130, 202, 244, 290, 394, 452, 514, 650, 724, 802, 970, 1060, 1154, 1354, 1460, 1570, 1802, 1924, 2050, 2314, 2452, 2594, 2890, 3044, 3202, 3364, 3530, 3700, 3874, 4234, 4420, 4610, 5002, 5204, 5410, 5834, 6052, 6274, 6730, 6964, 7202, 7690, 7940, 8194, 8714, 8980, 9250, 9802, 10084, 10370, 10954, 11252, 11554, 12170, 12484, 12802, 13450, 13780

Offset: 1

Muniru A Asiru, Oct 16 2016

nonn

There are infinitely many squares that are triangular, pentagonal, hexagonal, etc. Also there is no square 10-gonal number, 20-gonal number, 52-gonal number, 64-gonal number, etc. greater than 1 (see A188896). Other than the trivial square n-gonal numbers 0 and 1, there is exactly one square 34-gonal number, one square 74-gonal number, one square 100-gonal number, one square 130-gonal number, etc.

			For n = 34, the square 34-gonal numbers are 0, 1, 196.
For n = 74, the square 74-gonal numbers are 0, 1, 2601.
For n = 100, the square 100-gonal numbers are 0, 1, 100.

Muniru A Asiru, Table of n, a(n) for n = 1..238

Cf. A005893, A188896, A271624.

G:=[];; for g in [5..100000]  do for r in [1..5000] do if 2*g-4=r^2 then Add(G,g); fi; od; od; G; Length(G);
F:=List(G,g->[g,DivisorsInt((g-4)^2)]);;
N:=List([1..Length(F)], i->List([1..Length(F[i][2])],j->[F[i][1],((F[i][1]-4)*(F[i][1]-4+2*F[i][2][j])+F[i][2][j]^2)/((4*F[i][1]-8)*F[i][2][j])] ) );;
N1:=Filtered(List(List([1..Length(N)],k->Filtered(N[k], l->IsPosInt(l[2]))),Set),o->Length(o)>=2);
N2:=Set(Flat(List([1..Length(N1)],i->List([1..Length(N1[i])],j->N1[i][j][1]))));

A294774 a(n) = 2n^2 + 2n + 5.

Original entry on oeis.org

5, 9, 17, 29, 45, 65, 89, 117, 149, 185, 225, 269, 317, 369, 425, 485, 549, 617, 689, 765, 845, 929, 1017, 1109, 1205, 1305, 1409, 1517, 1629, 1745, 1865, 1989, 2117, 2249, 2385, 2525, 2669, 2817, 2969, 3125, 3285, 3449, 3617, 3789, 3965, 4145, 4329, 4517, 4709, 4905

Offset: 0

Bruno Berselli, Nov 08 2017

This is the case k = 9 of 2*n^2 + (1-(-1)^k)*n + (2*k-(-1)^k+1)/4 (similar sequences are listed in Crossrefs section). Note that:

2*( 2*n^2 + (1-(-1)^k)*n + (2*k-(-1)^k+1)/4 ) - k = ( 2*n + (1-(-1)^k)/2 )^2. From this follows an alternative definition for the sequence: Numbers h such that 2*h - 9 is a square. Therefore, if a(n) is a square then its base is a term of A075841.

Colin Barker, Table of n, a(n) for n = 0..1000
Index entries for linear recurrences with constant coefficients, signature (3,-3,1).

1st diagonal of A154631, 3rd diagonal of A055096, 4th diagonal of A070216.
Second column of Mathar's array in A016813 (Comments section).
Subsequence of A001481, A001983, A004766, A020668, A046711 and A057653 (because a(n) = (n+2)^2 + (n-1)^2); A097268 (because it is also a(n) = (n^2+n+3)^2 - (n^2+n+2)^2); A047270; A243182 (for y=1).
Similar sequences (see the first comment): A161532 (k=-14), A181510 (k=-13), A152811 (k=-12), A222182 (k=-11), A271625 (k=-10), A139570 (k=-9), (-1)*A147973 (k=-8), A059993 (k=-7), A268581 (k=-6), A090288 (k=-5), A054000 (k=-4), A142463 or A132209 (k=-3), A056220 (k=-2), A046092 (k=-1), A001105 (k=0), A001844 (k=1), A058331 (k=2), A051890 (k=3), A271624 (k=4), A097080 (k=5), A093328 (k=6), A271649 (k=7), A255843 (k=8), this sequence (k=9).

seq(2*n^2 + 2*n + 5, n=0..100); # Robert Israel, Nov 10 2017

Table[2n^2+2n+5,{n,0,50}] (* or *) LinearRecurrence[{3,-3,1},{5,9,17},50] (* Harvey P. Dale, Sep 18 2023 *)

Vec((5 - 6*x + 5*x^2) / (1 - x)^3 + O(x^50)) \\ Colin Barker, Nov 13 2017

O.g.f.: (5 - 6*x + 5*x^2)/(1 - x)^3.
E.g.f.: (5 + 4*x + 2*x^2)*exp(x).
a(n) = a(-1-n) = 3*a(n-1) - 3*a(n-2) + a(n-3).
a(n) = 5*A000217(n+1) - 6*A000217(n) + 5*A000217(n-1).
n*a(n) - Sum_{j=0..n-1} a(j) = A002492(n) for n>0.
a(n) = Integral_{x=0..2n+4} |3-x| dx. - Pedro Caceres, Dec 29 2020

cp's OEIS Frontend

A188896 Numbers n such that there is no square n-gonal number greater than 1.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

A271625 a(n) = = 2*(n+1)^2 - 5.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Magma

Mathematica

PARI

Python

Formula

Extensions

A271649 a(n) = 2*(n^2 - n + 2).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Magma

Maple

Mathematica

PARI

Formula

A277449 Numbers n such that there is exactly one nontrivial square n-gonal number.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

GAP

A294774 a(n) = 2*n^2 + 2*n + 5.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A294774 a(n) = 2n^2 + 2n + 5.