cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A017911 Powers of sqrt(2) rounded to nearest integer.

This page as a plain text file.
%I A017911 #44 Feb 16 2025 08:32:33
%S A017911 1,1,2,3,4,6,8,11,16,23,32,45,64,91,128,181,256,362,512,724,1024,1448,
%T A017911 2048,2896,4096,5793,8192,11585,16384,23170,32768,46341,65536,92682,
%U A017911 131072,185364,262144,370728,524288
%N A017911 Powers of sqrt(2) rounded to nearest integer.
%C A017911 Apart from offset the same as A057048. - _T. D. Noe_, Apr 27 2003
%C A017911 Indeed, write the natural numbers as triangle, [1; 2, 3; 4, 5, 6; ...], then the last number in each row is T(n) = n(n+1)/2 = A000217(n), and 2^k is located in the row n with n(n-1)/2 < 2^k <= n(n+1)/2 <=> n^2 - n < 2^(k+1) <= n^2 + n, which means that n = round(sqrt(2^(k+1))). - _M. F. Hasler_, Feb 20 2012
%C A017911 The rounded curvature of circle in square inscribing or the rounded radius of circle in square circumscribing with initial circle radius = 1 for both cases, see illustration in link. - _Kival Ngaokrajang_, Aug 07 2013
%C A017911 Even-indexed terms are powers of 2.
%H A017911 Vincenzo Librandi, <a href="/A017911/b017911.txt">Table of n, a(n) for n = 0..5000</a>
%H A017911 Kival Ngaokrajang, <a href="/A017911/a017911.jpg">Illustration of initial terms of square inscribing</a>
%H A017911 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/PolygonInscribing.html">Polygon Inscribing</a>
%e A017911 sqrt(2)^3 = 2.82842712474619..., so a(3) = 3.
%e A017911 sqrt(2)^4 = 4, so a(4) = 4.
%e A017911 sqrt(2)^5 = 5.6568542494923801952..., so a(5) = 6.
%e A017911 sqrt(2)^6 = 8, so a(6) = 8.
%e A017911 sqrt(2)^7 = 11.31370849898476..., so a(7) = 11.
%t A017911 Floor[(Sqrt[2]^Range[0, 40] + 1/2)] (* _Vincenzo Librandi_, Nov 19 2011 *)
%o A017911 (PARI) a(n)=round(sqrt(2)^n) \\ _Charles R Greathouse IV_, Nov 18 2011
%o A017911 (Magma) [Round(Sqrt(2)^n): n in [0..40]]; // _Vincenzo Librandi_, Nov 19 2011
%o A017911 (Python)
%o A017911 from math import isqrt
%o A017911 def A017911(n): return -isqrt(m:=1<<n)+isqrt(m<<2) # _Chai Wah Wu_, Jun 18 2024
%Y A017911 Cf. A000079, A057048.
%Y A017911 Apart from offset, first differences of A001521.
%K A017911 nonn,easy
%O A017911 0,3
%A A017911 _N. J. A. Sloane_