login
Square octagonal numbers.
6

%I #73 Dec 16 2023 17:34:06

%S 1,225,43681,8473921,1643897025,318907548961,61866420601441,

%T 12001766689130625,2328280871270739841,451674487259834398561,

%U 87622522247536602581025,16998317641534841066320321,3297585999935511630263561281,639714685669847721430064568225

%N Square octagonal numbers.

%C Also, numbers simultaneously octagonal and centered octagonal. - _Steven Schlicker_, Apr 24 2007

%H Colin Barker, <a href="/A036428/b036428.txt">Table of n, a(n) for n = 1..437</a>

%H C. Gill, solution to question no. 8, <a href="https://archive.org/details/mathematicalmis00unkngoog">Mathematical Miscellany</a>, 1 (1836), pp. 220-225, at p. 223.

%H S. C. Schlicker, <a href="http://www.jstor.org/stable/10.4169/math.mag.84.5.339">Numbers Simultaneously Polygonal and Centered Polygonal</a>, Mathematics Magazine, Vol. 84, No. 5, December 2011, pp. 339-350.

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/OctagonalSquareNumber.html">Octagonal Square Number.</a>

%H <a href="/index/Rec#order_03">Index entries for linear recurrences with constant coefficients</a>, signature (195,-195,1).

%F Let x(n) + y(n)*sqrt(48) = (8+sqrt(48))*(7+sqrt(48))^n, s(n) = (y(n)+1)/2; then a(n) = (1/2)*(2+8*(s(n)^2-s(n))). - _Steven Schlicker_, Apr 24 2007

%F a(n+2) = 194*a(n+1) - a(n) + 32 and also a(n+1) = 97*a(n) + 56*sqrt(3*a(n)^2 + a(n)). - _Richard Choulet_, Sep 26 2007

%F G.f.: x*(x^2+30x+1)/((1-x)*(1-194x+x^2)).

%F From _Ant King_, Nov 15 2011: (Start)

%F lim_{n->oo} a(n)/a(n-1) = (2 + sqrt(3))^4 = 97 + 56*sqrt(3).

%F a(n) = (1/12) * ((2 + sqrt(3))^(4n-2) + (2 - sqrt(3))^(4n-2) - 2).

%F a(n) = floor((1/12) * (2 + sqrt(3))^(4n-2)).

%F a(n) = (1/12) * ((tan(5*Pi/12))^(4n-2) + (tan(Pi/12))^(4n-2) - 2).

%F a(n) = floor((1/12) * tan(5*Pi/12)^(4n-2)).

%F (End)

%F a(n) = A028230(n)^2. - _Bernard Schott_, Dec 23 2022

%p A036428 := proc(n)

%p option remember;

%p if n < 4 then

%p op(n,[1,225,43681]) ;

%p else

%p 195*(procname(n-1)-procname(n-2))+procname(n-3) ;

%p end if;

%p end proc: # _R. J. Mathar_, Nov 11 2011

%t LinearRecurrence[{195,-195,1}, {1,225,43681}, 12] (* _Ant King_, Nov 15 2011 *)

%o (PARI) Vec(-x*(x^2+30*x+1)/((x-1)*(x^2-194*x+1)) + O(x^20)) \\ _Colin Barker_, Jun 24 2015

%o (PARI) vector(15, n, floor((2+sqrt(3))^(4*n-2)/12)) \\ _Altug Alkan_, Oct 19 2015

%o (Magma) [Floor(1/12*(2+Sqrt(3))^(4*n-2)): n in [1..20]]; // _Vincenzo Librandi_, Dec 04 2015

%Y Cf. A000567, A006051, A006060, A016754, A028230, A046184.

%K nonn,easy

%O 1,2

%A Jean-Francois Chariot (jean-francois.chariot(AT)afoc.alcatel.fr)

%E More terms from _Eric W. Weisstein_

%E Edited by _N. J. A. Sloane_, Oct 02 2007