%I #18 Sep 08 2022 08:45:24
%S 2,11,29,59,104,167,251,359,494,659,857,1091,1364,1679,2039,2447,2906,
%T 3419,3989,4619,5312,6071,6899,7799,8774,9827,10961,12179,13484,14879,
%U 16367,17951,19634,21419,23309,25307,27416,29639,31979,34439,37022
%N a(n) = n*(n^2 - 1)/2 - 1.
%C a(n-1) is an approximation for the lower bound of the "antimagic constant" of an antimagic square of order n. The antimagic constant here is defined as the least integer in the set of consecutive integers to which the rows, columns and diagonals of the square sum. By analogy with the magic constant. This approximation follows from the observation that (2*Sum_{k=1..n^2} k) + (m) + (m+1) <= Sum_{k=0..2*n+1} (m + k) where m is the antimagic constant for an antimagic square of order n. a(n) = A027480(n+1) - 1. Stricter bounds seem likely to exist. See A117561 for the upper bounds. Note there exist no antimagic squares of order two or three, but the values are indexed here for completeness.
%H Vincenzo Librandi, <a href="/A117560/b117560.txt">Table of n, a(n) for n = 2..5000</a>
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/AntimagicSquare.html">Antimagic Square</a>.
%H <a href="/index/Rec#order_04">Index entries for linear recurrences with constant coefficients</a>, signature (4,-6,4,-1).
%F a(n) = n*(n^2 - 1)/2 - 1.
%F G.f.: x^2*(2 + 3*x - 3*x^2 + x^3)/(1-x)^4. - _Colin Barker_, Mar 29 2012
%e a(3) = 29 because the antimagic constant of an antimagic square of order 4 must be at least 29 (see comments).
%t Table[n*(n^2-1)/2 - 1, {n, 2, 50}]
%o (Magma) [n*(n^2-1)/2 - 1: n in [2..50]]; // _Vincenzo Librandi_, Jun 20 2011
%Y Cf. A117561, A050257, A049475.
%K easy,nonn
%O 2,1
%A Joseph Biberstine (jrbibers(AT)indiana.edu), Mar 29 2006
|