%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