%I #8 May 20 2014 16:05:47
%S 0,0,4,13,30,59,102,162,241,344,471,627,815,1036,1294,1591,1931,2316,
%T 2749,3233,3771,4366,5020,5736,6517,7366,8285,9279,10348,11497,12728,
%U 14044,15447,16941,18528,20211,21994,23878,25867,27963,30170,32490
%N Rounded volume of a regular octahedron with edge length n.
%D S. Selby, editor, CRC Basic Mathematical Tables, CRC Press, 1970, pp. 10-11.
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/Octahedron.html">Octahedron</a>
%F a(n) = round(n^3 * sqrt(2)/3)
%e a(4)=30 because round(4^3*sqrt(2)/3)=round(64*.47140...)=round(30.169...)=30.
%t With[{c=Sqrt[2]/3},Table[Round[n^3*c],{n,0,50}]] (* _Harvey P. Dale_, May 20 2014 *)
%o (PARI) for(n=0,100,print1(round(n^3*sqrt(2)/3),","))
%Y Cf. A000578 (cube), A071399 (tetrahedron), A071401 (dodecahedron), A071402 (icosahedron), A071396 (total surface area of octahedron).
%K easy,nonn
%O 0,3
%A _Rick L. Shepherd_, May 29 2002
|