A002193 -id:A002193 - cp's OEIS frontend

A017329 a(n) = 10*n + 5.

5, 15, 25, 35, 45, 55, 65, 75, 85, 95, 105, 115, 125, 135, 145, 155, 165, 175, 185, 195, 205, 215, 225, 235, 245, 255, 265, 275, 285, 295, 305, 315, 325, 335, 345, 355, 365, 375, 385, 395, 405, 415, 425, 435, 445, 455, 465, 475, 485, 495, 505, 515, 525, 535

Offset: 0

N. J. A. Sloane

Continued fraction expansion of tanh(1/5). - Benoit Cloitre, Dec 17 2002
n such that 5 divides the numerator of B(2n) where B(2n) = the 2n-th Bernoulli number. - Benoit Cloitre, Jan 01 2004
5 times odd numbers. - Omar E. Pol, May 02 2008
5th transversal numbers (or 5-transversal numbers): Numbers of the 5th column of positive numbers in the square array of nonnegative and polygonal numbers A139600. Also, numbers of the 5th column in the square array A057145. - Omar E. Pol, May 02 2008
Successive sums: 5, 20, 45, 80, 125, ... (see A033429). - Philippe Deléham, Dec 08 2011
3^a(n) + 1 is divisible by 61. - Vincenzo Librandi, Feb 05 2013
If the initial 5 is changed to 1, giving 1,15,25,35,45,..., these are values of m such that A323288(m)/m reaches a new record high value. - N. J. A. Sloane, Jan 23 2019

A. H. Beiler, Recreations in the Theory of Numbers, Dover, NY, 1964, p. 189. - From N. J. A. Sloane, Dec 01 2012

Vincenzo Librandi, Table of n, a(n) for n = 0..1000
Tanya Khovanova, Recursive Sequences.
Index to sequences related to polygonal numbers.
Index entries for linear recurrences with constant coefficients, signature (2,-1).

Cf. A000367, A002193, A016957, A057145, A094884, A139600, A139606, A182007.
Subsequence of A034709, together with A017281, A017293, A139222, A139245, A139249, A139264, A139279 and A139280.
Cf. A005408, A008587, A033429, A267541, A323288.

a017329 = (+ 5) . (* 10)
a017329_list = [5, 15 ..]  -- Reinhard Zumkeller, Apr 10 2015

[10*n + 5: n in [0..60]]; // Vincenzo Librandi, Feb 05 2013

Range[5, 1000, 10] (* Vladimir Joseph Stephan Orlovsky, May 28 2011 *)
LinearRecurrence[{2,-1},{5,15},60] (* Harvey P. Dale, Nov 16 2019 *)

a(n)=10*n+5 \\ Charles R Greathouse IV, Sep 24 2015

a(n) = 5*A005408(n). - Omar E. Pol, Oct 19 2008
a(n) = 20*n - a(n-1) (with a(0)=5). - Vincenzo Librandi, Nov 19 2010
G.f.: 5*(x+1)/(x-1)^2. - Colin Barker, Nov 14 2012
a(n) = A057145(n+2,5). - R. J. Mathar, Jul 28 2016
E.g.f.: 5*exp(x)*(1 + 2*x). - Stefano Spezia, Feb 14 2020
Sum_{n>=0} (-1)^n/a(n) = Pi/20. - Amiram Eldar, Dec 12 2021
From Amiram Eldar, Nov 23 2024: (Start)
Product_{n>=0} (1 - (-1)^n/a(n)) = sqrt(5-sqrt(5))/2 = sqrt(2)*sin(Pi/5) = A182007/A002193.
Product_{n>=0} (1 + (-1)^n/a(n)) = phi/sqrt(2) (A094884). (End)
a(n) = (n+3)^2 - (n-2)^2. - Alexander Yutkin, Mar 16 2025
From Elmo R. Oliveira, Apr 12 2025: (Start)
a(n) = 2*a(n-1) - a(n-2).
a(n) = A008587(2*n+1). (End)

A020760 Decimal expansion of 1/sqrt(3).

Original entry on oeis.org

5, 7, 7, 3, 5, 0, 2, 6, 9, 1, 8, 9, 6, 2, 5, 7, 6, 4, 5, 0, 9, 1, 4, 8, 7, 8, 0, 5, 0, 1, 9, 5, 7, 4, 5, 5, 6, 4, 7, 6, 0, 1, 7, 5, 1, 2, 7, 0, 1, 2, 6, 8, 7, 6, 0, 1, 8, 6, 0, 2, 3, 2, 6, 4, 8, 3, 9, 7, 7, 6, 7, 2, 3, 0, 2, 9, 3, 3, 3, 4, 5, 6, 9, 3, 7, 1, 5, 3, 9, 5, 5, 8, 5, 7, 4, 9, 5, 2, 5

Offset: 0

N. J. A. Sloane

If the sides of a triangle form an arithmetic progression in the ratio 1:1+d:1+2d then when d=1/sqrt(3) it uniquely maximizes the area of the triangle. This triangle has approximate internal angles 25.588 degs, 42.941 degs, 111.471 degs. - Frank M Jackson, Jun 15 2011
When a cylinder is completely enclosed by a sphere, it occupies a fraction f of the sphere volume. The value of f has a trivial lower bound of 0, and an upper bound which is this constant. It is achieved iff the cylinder diameter is sqrt(2) times its height, and the sphere is circumscribed to it. A similar constant can be associated with any n-dimensional geometric shape. For 3D cuboids it is A165952. - Stanislav Sykora, Mar 07 2016
The ratio between the thickness and diameter of a dynamically fair coin having an equal probability, 1/3, of landing on each of its two faces and on its side after being tossed in the air. The calculation is based on the dynamic of rigid body (Yong and Mahadevan, 2011). See A020765 for a simplified geometrical solution. - Amiram Eldar, Sep 01 2020
The coefficient of variation (relative standard deviation) of natural numbers: Limit_{n->oo} sqrt((n-1)/(3*n+3)) = 1/sqrt(3). - Michal Paulovic, Mar 21 2023

			0.577350269189625764509148780501957455647601751270126876018602326....

Steven R. Finch, Mathematical Constants, Encyclopedia of Mathematics and its Applications, vol. 94, Cambridge University Press, 2003, Sections 8.4.3 and 8.17, pp. 495, 531.

Ivan Panchenko, Table of n, a(n) for n = 0..1000
Ee Hou Yong and L. Mahadevan, Probability, geometry, and dynamics in the toss of a thick coin, American Journal of Physics, Vol. 79, No. 12 (2011), pp. 1195-1201, preprint, arXiv:1008.4559 [physics.class-ph], 2010-2011.
Index entries for algebraic numbers, degree 2.

Cf. A002194 (sqrt(3)), A010701 (1/3).

Cf. A002193, A047235, A165952, A195696, A040001.

evalf(1/sqrt(3)); # Michal Paulovic, Mar 21 2023

RealDigits[N[1/Sqrt[3],200]] (* Vladimir Joseph Stephan Orlovsky, May 27 2010 *)

\\ Works in v2.15.0; n = 100 decimal places
my(n=100); digits(floor(10^n/quadgen(12))) \\ Michal Paulovic, Mar 21 2023

Equals 1/A002194. - Michel Marcus, Oct 12 2014
Equals cosine of the magic angle: cos(A195696). - Stanislav Sykora, Mar 07 2016
Equals square root of A010701. - Michel Marcus, Mar 07 2016
Equals 1 + Sum_{k>=0} -(4*k+1)^(-1/2) + (4*k+3)^(-1/2) + (4*k+5)^(-1/2) - (4*k+7)^(-1/2). - Gerry Martens, Nov 22 2022
Equals (1/2)*(2 - zeta(1/2,1/4) + zeta(1/2,3/4) + zeta(1/2,5/4) - zeta(1/2,7/4)). - Gerry Martens, Nov 22 2022
Has periodic continued fraction expansion [0, 1; 1, 2] (A040001). - Michal Paulovic, Mar 21 2023
Equals Product_{k>=1} (1 + (-1)^k/A047235(k)). - Amiram Eldar, Nov 22 2024
Equals tan(Pi/6) = (1/2)/A010527. - R. J. Mathar, Aug 31 2025

A024036 a(n) = 4^n - 1.

Original entry on oeis.org

0, 3, 15, 63, 255, 1023, 4095, 16383, 65535, 262143, 1048575, 4194303, 16777215, 67108863, 268435455, 1073741823, 4294967295, 17179869183, 68719476735, 274877906943, 1099511627775, 4398046511103, 17592186044415, 70368744177663, 281474976710655

Offset: 0

N. J. A. Sloane

This sequence is the normalized length per iteration of the space-filling Peano-Hilbert curve. The curve remains in a square, but its length increases without bound. The length of the curve, after n iterations in a unit square, is a(n)*2^(-n) where a(n) = 4*a(n-1)+3. This is the sequence of a(n) values. a(n)*(2^(-n)*2^(-n)) tends to 1, the area of the square where the curve is generated, as n increases. The ratio between the number of segments of the curve at the n-th iteration (A015521) and a(n) tends to 4/5 as n increases. - Giorgio Balzarotti, Mar 16 2006
Numbers whose base-4 representation is 333....3. - Zerinvary Lajos, Feb 03 2007
From Eric Desbiaux, Jun 28 2009: (Start)
It appears that for a given area, a square n^2 can be divided into n^2+1 other squares.
It's a rotation and zoom out of a Cartesian plan, which creates squares with side
= sqrt( (n^2) / (n^2+1) ) --> A010503|A010532|A010541... --> limit 1,
and diagonal sqrt(2*sqrt((n^2)/(n^2+1))) --> A010767|... --> limit A002193.
(End)
Also the total number of line segments after the n-th stage in the H tree, if 4^(n-1) H's are added at the n-th stage to the structure in which every "H" is formed by 3 line segments. A164346 (the first differences of this sequence) gives the number of line segments added at the n-th stage. - Omar E. Pol, Feb 16 2013
a(n) is the cumulative number of segment deletions in a Koch snowflake after (n+1) iterations. - Ivan N. Ianakiev, Nov 22 2013
Inverse binomial transform of A005057. - Wesley Ivan Hurt, Apr 04 2014
For n > 0, a(n) is one-third the partial sums of A002063(n-1). - J. M. Bergot, May 23 2014
Also the cyclomatic number of the n-Sierpinski tetrahedron graph. - Eric W. Weisstein, Sep 18 2017

			G.f. = 3*x + 15*x^2 + 63*x^3 + 255*x^4 + 1023*x^5 + 4095*x^6 + ...

Graham Everest, Alf van der Poorten, Igor Shparlinski, and Thomas Ward, Recurrence Sequences, Amer. Math. Soc., 2003; see esp. p. 255.

Felix Fröhlich, Table of n, a(n) for n = 0..99
Alexander V. Kitaev, Meromorphic Solution of the Degenerate Third Painlevé Equation Vanishing at the Origin, Symmetry, Integrability and Geometry: Methods and Applications, Vol. 15 (2019), 046, 53 pages; arXiv preprint, arXiv:1809.00122 [math.CA], 2018-2019.
Eric Weisstein's World of Mathematics, Cyclomatic Number.
Eric Weisstein's World of Mathematics, Sierpinski Tetrahedron Graph.
Index entries for linear recurrences with constant coefficients, signature (5,-4).

Cf. A000051, A000120, A000225, A000302, A002001, A002063, A002193, A002450, A005057, A010503, A010532, A010541, A010767, A015521, A020988, A027637 (partial products), A078904 (partial sums), A079978, A080674, A164346 (first differences), A178789, A179857, A248721.

a024036 = (subtract 1) . a000302
a024036_list = iterate ((+ 3) . (* 4)) 0
-- Reinhard Zumkeller, Oct 03 2012

A024036:=n->4^n-1; seq(A024036(n), n=0..30); # Wesley Ivan Hurt, Apr 04 2014

Array[4^# - 1 &, 50, 0] (* Vladimir Joseph Stephan Orlovsky, Nov 03 2009 *)
(* Start from Eric W. Weisstein, Sep 19 2017 *)
Table[4^n - 1, {n, 0, 20}]
4^Range[0, 20] - 1
LinearRecurrence[{5, -4}, {0, 3}, 20]
CoefficientList[Series[3 x/(1 - 5 x + 4 x^2), {x, 0, 20}], x]
(* End *)

for(n=0, 100, print1(4^n-1, ", ")) \\ Felix Fröhlich, Jul 04 2014

[gaussian_binomial(2*n,1, 2) for n in range(21)] # Zerinvary Lajos, May 28 2009

[stirling_number2(2*n+1, 2) for n in range(21)] # Zerinvary Lajos, Nov 26 2009

a(n) = 3*A002450(n). - N. J. A. Sloane, Feb 19 2004
G.f.: 3*x/((-1+x)*(-1+4*x)) = 1/(-1+x) - 1/(-1+4*x). - R. J. Mathar, Nov 23 2007
E.g.f.: exp(4*x) - exp(x). - Mohammad K. Azarian, Jan 14 2009
a(n) = A000051(n)*A000225(n). - Reinhard Zumkeller, Feb 14 2009
A079978(a(n)) = 1. - Reinhard Zumkeller, Nov 22 2009
a(n) = A179857(A000225(n)), for n > 0; a(n) > A179857(m), for m < A000225(n). - Reinhard Zumkeller, Jul 31 2010
a(n) = 4*a(n-1) + 3, with a(0) = 0. - Vincenzo Librandi, Aug 01 2010
A000120(a(n)) = 2*n. - Reinhard Zumkeller, Feb 07 2011
a(n) = (3/2)*A020988(n). - Omar E. Pol, Mar 15 2012
a(n) = (Sum_{i=0..n} A002001(i)) - 1 = A178789(n+1) - 3. - Ivan N. Ianakiev, Nov 22 2013
a(n) = n*E(2*n-1,1)/B(2*n,1), for n > 0, where E(n,x) denotes the Euler polynomials and B(n,x) the Bernoulli polynomials. - Peter Luschny, Apr 04 2014
a(n) = A000302(n) - 1. - Sean A. Irvine, Jun 18 2019
Sum_{n>=1} 1/a(n) = A248721. - Amiram Eldar, Nov 13 2020
a(n) = A080674(n) - A002450(n). - Elmo R. Oliveira, Dec 02 2023

More terms Wesley Ivan Hurt, Apr 04 2014

A010464 Decimal expansion of square root of 6.

Original entry on oeis.org

2, 4, 4, 9, 4, 8, 9, 7, 4, 2, 7, 8, 3, 1, 7, 8, 0, 9, 8, 1, 9, 7, 2, 8, 4, 0, 7, 4, 7, 0, 5, 8, 9, 1, 3, 9, 1, 9, 6, 5, 9, 4, 7, 4, 8, 0, 6, 5, 6, 6, 7, 0, 1, 2, 8, 4, 3, 2, 6, 9, 2, 5, 6, 7, 2, 5, 0, 9, 6, 0, 3, 7, 7, 4, 5, 7, 3, 1, 5, 0, 2, 6, 5, 3, 9, 8, 5, 9, 4, 3, 3, 1, 0, 4, 6, 4, 0, 2, 3

Offset: 1

N. J. A. Sloane

Continued fraction expansion is 2 followed by {2, 4} repeated. - Harry J. Smith, Jun 05 2009
Ratio t*o/c^2 where t, o and c are respectively the edge lengths of a tetrahedron, an octahedron and a cube whose total surface areas are the same. See CNRS links. - Michel Marcus, Mar 03 2022 and Apr 21 2016
Diameter of a sphere whose surface area equals 6*Pi. More generally, the square root of x is also the diameter of a sphere whose surface area equals x*Pi. - Omar E. Pol, Aug 29 2024

			2.449489742783178098197284074705891391965947480656670128432692567250960...
Sqrt(6) = sqrt(1+i*sqrt(3)) + sqrt(1-i*sqrt(3)), where i=sqrt(-1). - _Bruno Berselli_, Nov 20 2012

Harry J. Smith, Table of n, a(n) for n = 1..20000
Jason Kimberley, Index of expansions of sqrt(d) in base b
R. J. Nemiroff and J. Bonnell, Plouffe's Inverter, The first 1 million digits of the square root of 6
R. J. Nemiroff and J. Bonnell, The first 1 million digits of the square root of 6
Ana Rechtman, Avril 2016, 2e défi, Images des Mathématiques, CNRS, 2016.
Ana Rechtman, Avril 2016, 3e défi (Solution du 2e défi d’Avril), Images des Mathématiques, CNRS, 2016.
Index entries for algebraic numbers, degree 2

Cf. A002193 (sqrt(2)), A002194 (sqrt(3)).

Cf. A040003 (continued fraction).

SetDefaultRealField(RealField(100)); Sqrt(6); // Vincenzo Librandi, Feb 15 2020

RealDigits[N[Sqrt[6],200]][[1]] (* Vladimir Joseph Stephan Orlovsky, Feb 20 2011 *)

default(realprecision, 20080); x=sqrt(6); for (n=1, 20000, d=floor(x); x=(x-d)*10; write("b010464.txt", n, " ", d));  \\ Harry J. Smith, Jun 01 2009

PARI
```
sqrt(6) \\ Michel Marcus, Apr 21 2016
```

Equals A002193*A002194. - Michel Marcus, Apr 21 2016

A003401 Numbers of edges of regular polygons constructible with ruler (or, more precisely, an unmarked straightedge) and compass.

Original entry on oeis.org

1, 2, 3, 4, 5, 6, 8, 10, 12, 15, 16, 17, 20, 24, 30, 32, 34, 40, 48, 51, 60, 64, 68, 80, 85, 96, 102, 120, 128, 136, 160, 170, 192, 204, 240, 255, 256, 257, 272, 320, 340, 384, 408, 480, 510, 512, 514, 544, 640, 680, 768, 771, 816, 960, 1020, 1024, 1028, 1088, 1280, 1285

Offset: 1

N. J. A. Sloane, R. K. Guy

The terms 1 and 2 correspond to degenerate polygons.
These are also the numbers for which phi(n) is a power of 2: A209229(A000010(a(n))) = 1. - Olivier Gérard Feb 15 1999
From Stanislav Sykora, May 02 2016: (Start)
The sequence can be also defined as follows: (i) 1 is a member. (ii) Double of any member is also a member. (iii) If a member is not divisible by a Fermat prime F_k then its product with F_k is also a member. In particular, the powers of 2 (A000079) are a subset and so are the Fermat primes (A019434), which are the only odd prime members.
The definition is too restrictive (though correct): The Georg Mohr - Lorenzo Mascheroni theorem shows that constructibility using a straightedge and a compass is equivalent to using compass only. Moreover, Jean Victor Poncelet has shown that it is also equivalent to using straightedge and a fixed ('rusty') compass. With the work of Jakob Steiner, this became part of the Poncelet-Steiner theorem establishing the equivalence to using straightedge and a fixed circle (with a known center). A further extension by Francesco Severi replaced the availability of a circle with that of a fixed arc, no matter how small (but still with a known center).
Constructibility implies that when m is a member of this sequence, the edge length 2*sin(Pi/m) of an m-gon with circumradius 1 can be written as a finite expression involving only integer numbers, the four basic arithmetic operations, and the square root. (End)
If x,y are terms, and gcd(x,y) is a power of 2 then x*y is also a term. - David James Sycamore, Aug 24 2024

			34 is a term of this sequence because a circle can be divided into exactly 34 parts. 7 is not.

Albert H. Beiler, Recreations in the Theory of Numbers, Dover, NY, 1964, p. 183.
Allan Clark, Elements of Abstract Algebra, Chapter 4, Galois Theory, Dover Publications, NY 1984, page 124.
Duane W. DeTemple, "Carlyle circles and the Lemoine simplicity of polygon constructions." The American Mathematical Monthly 98.2 (1991): 97-108. - N. J. A. Sloane, Aug 05 2021
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
B. L. van der Waerden, Modern Algebra. Unger, NY, 2nd ed., Vols. 1-2, 1953, Vol. 1, p. 187.

Amiram Eldar, Table of n, a(n) for n = 1..10136 (terms below 10^100; terms 1..2000 from T. D. Noe)
Laura Anderson, Jasbir S. Chahal and Jaap Top, The last chapter of the Disquisitiones of Gauss, arXiv:2110.01355 [math.HO], 2021.
Wayne Bishop, How to construct a regular polygon, Amer. Math. Monthly 85(3) (1978), 186-188.
Alessandro Chiodo, A note on the construction of the Śrī Yantra, Sorbonne Université (Paris, France, 2020).
T. Chomette, Construction des polygones réguliers (in French).
Duane W. DeTemple, Carlyle circles and the Lemoine simplicity of polygon constructions, Amer. Math. Monthly 98(2) (1991), 97-108.
Bruce Director, Measurement and Divisibility.
David Eisenbud and Brady Haran, Heptadecagon and Fermat Primes (the math bit), Numberphile video (2015).
Mauro Fiorentini, Construibili (numeri).
C. F. Gauss, Disquisitiones Arithmeticae, 1801. English translation: Yale University Press, New Haven, CT, 1966, p. 463. Original (in Latin).
Richard K. Guy, The Second Strong Law of Small Numbers, Math. Mag. 63(1) (1990), 3-20. [Annotated scanned copy] [DOI]
Richard K. Guy and N. J. A. Sloane, Correspondence, 1988.
Johann Gustav Hermes, Über die Teilung des Kreises in 65537 gleiche Teile (About the division of the circle into 65537 equal pieces), Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, Vol. 3 (1894), 170-186.
Friedrich Julius Richelot, De resolutione algebraica aequationis X^257 = 1, sive de divisione circuli per bisectionem anguli septies repetitam in partes 257 inter se aequales commentatio coronata (On the resolution of the algebraic equation X^257 = 1, or ...), Journal für die reine und angewandte Mathematik 9 (1832), 1-26.
Pierre Wantzel, Recherches sur les moyens de reconnaître si un Problème de Géométrie peut se résoudre avec la règle et le compas (Investigations into means of knowing if a problem of geometry can be solved with a straightedge and compass), Journal de Mathématiques Pures et Appliquées 2 (1837), 366-372.
Eric Weisstein's World of Mathematics, Constructible Number.
Eric Weisstein's World of Mathematics, Constructible Polygon.
Eric Weisstein's World of Mathematics, Regular Polygon.
Eric Weisstein's World of Mathematics, Trigonometry.
Eric Weisstein's World of Mathematics, Trigonometry Angles.
Wikipedia, Constructible polygon.
Wikipedia, Johann Gustav Hermes.
Wikipedia, Friedrich Julius Richelot.
Wikipedia, Mohr-Mascheroni theorem.
Wikipedia, Pierre Wantzel.
Wikipedia, Poncelet-Steiner theorem.
Robert G. Wilson v, Letter to N. J. A. Sloane, Aug. 1993.

Subsequence of A295298. - Antti Karttunen, Nov 27 2017
A004729 and A051916 are subsequences. - Reinhard Zumkeller, Mar 20 2010
Cf. A000079, A004169, A000215, A099884, A019434 (Fermat primes).
Edge lengths of other constructible m-gons: A002194 (m=3), A002193 (4), A182007 (5), A101464 (8), A094214 (10), A101263 (12), A272534 (15), A272535 (16), A228787 (17), A272536 (20).
Positions of zeros in A293516 (apart from two initial -1's), and in A336469, positions of ones in A295660 and in A336477 (characteristic function).
Cf. also A046528.
Cf. A000079, A092506.

a003401 n = a003401_list !! (n-1)
a003401_list = map (+ 1) $ elemIndices 1 $ map a209229 a000010_list
-- Reinhard Zumkeller, Jul 31 2012

Select[ Range[ 1300 ], IntegerQ[ Log[ 2, EulerPhi[ # ] ] ]& ] (* Olivier Gérard Feb 15 1999 *)
(* first do *) Needs["DiscreteMath`Combinatorica`"] (* then *) Take[ Union[ Flatten[ NestList[2# &, Times @@@ Table[ UnrankSubset[n, Join[{1}, Table[2^2^i + 1, {i, 0, 4}]]], {n, 63}], 11]]], 60] (* Robert G. Wilson v, Jun 11 2005 *)
nn=10; logs=Log[2,{2,3,5,17,257,65537}]; lim2=Floor[nn/logs[[1]]]; Sort[Reap[Do[z={i,j,k,l,m,n}.logs; If[z<=nn, Sow[2^z]], {i,0,lim2}, {j,0,1}, {k,0,1}, {l,0,1}, {m,0,1}, {n,0,1}]][[2,1]]]
A092506 = {2, 3, 5, 17, 257, 65537}; s = Sort[Times @@@ Subsets@ A092506]; mx = 1300; Union@ Flatten@ Table[(2^n)*s[[i]], {i, 64}, {n, 0, Log2[mx/s[[i]]]}] (* Robert G. Wilson v, Jul 28 2014 *)

for(n=1,10^4,my(t=eulerphi(n));if(t/2^valuation(t,2)==1,print1(n,", "))); \\ Joerg Arndt, Jul 29 2014

is(n)=n>>=valuation(n,2); if(n<7, return(n>0)); my(k=logint(logint(n,2),2)); if(k>32, my(p=2^2^k+1); if(n%p, return(0)); n/=p; unknown=1; if(n%p==0, return(0)); p=0; if(is(n)==0, 0, "unknown [has large Fermat number in factorization]"), 4294967295%n==0) \\ Charles R Greathouse IV, Jan 09 2022

is(n)=n>>=valuation(n,2); 4294967295%n==0 \\ valid for n <= 2^2^33, conjecturally valid for all n; Charles R Greathouse IV, Jan 09 2022

from sympy import totient
A003401_list = [n for n in range(1,10**4) if format(totient(n),'b').count('1') == 1]
# Chai Wah Wu, Jan 12 2015

Terms from 3 onward are computable as numbers such that cototient-of-totient equals the totient-of-totient: Flatten[Position[Table[co[eu[n]]-eu[eu[n]], {n, 1, 10000}], 0]] eu[m]=EulerPhi[m], co[m]=m-eu[m]. - Labos Elemer, Oct 19 2001, clarified by Antti Karttunen, Nov 27 2017
Any product of 2^k and distinct Fermat primes (primes of the form 2^(2^m)+1). - Sergio Pimentel, Apr 30 2004, edited by Franklin T. Adams-Watters, Jun 16 2006
If the well-known conjecture that there are only five prime Fermat numbers F_k=2^{2^k}+1, k=0,1,2,3,4 is true, then we have exactly: Sum_{n>=1} 1/a(n)= 2*Product_{k=0..4} (1+1/F_k) = 4869735552/1431655765 = 3.40147098978.... - Vladimir Shevelev and T. D. Noe, Dec 01 2010
log a(n) >> sqrt(n); if there are finitely many Fermat primes, then log a(n) ~ k log n for some k. - Charles R Greathouse IV, Oct 23 2015

Definition clarified by Bill Gosper. - N. J. A. Sloane, Jun 14 2020

A068465 Decimal expansion of Gamma(3/4).

Original entry on oeis.org

1, 2, 2, 5, 4, 1, 6, 7, 0, 2, 4, 6, 5, 1, 7, 7, 6, 4, 5, 1, 2, 9, 0, 9, 8, 3, 0, 3, 3, 6, 2, 8, 9, 0, 5, 2, 6, 8, 5, 1, 2, 3, 9, 2, 4, 8, 1, 0, 8, 0, 7, 0, 6, 1, 1, 2, 3, 0, 1, 1, 8, 9, 3, 8, 2, 8, 9, 8, 2, 2, 8, 8, 8, 4, 2, 6, 7, 9, 8, 3, 5, 7, 2, 3, 7, 1, 7, 2, 3, 7, 6, 2, 1, 4, 9, 1, 5, 0, 6, 6, 5, 8, 2, 1, 7

Offset: 1

Benoit Cloitre, Mar 10 2002

			Gamma(3/4) = 1.225416702465177645129098303362890526851239248108070611...

Jerome Spanier and Keith B. Oldham, "Atlas of Functions", Hemisphere Publishing Corp., 1987, chapter 43, equation 43:4:14 at page 414.

G. C. Greubel, Table of n, a(n) for n = 1..20000
Russell J. Matheson, GAMMA(3/4) computed to 14550 digits.
Simon Plouffe, GAMMA(3/4) to 256 places, see p. 65.
Index to sequences related to the Gamma function

Cf. A000796, A002193, A053004, A063448, A068466, A069998.

SetDefaultRealField(RealField(105)); Gamma(3/4); // G. C. Greubel, Mar 11 2018

evalf(GAMMA(3/4)) ; # R. J. Mathar, Jan 10 2013

RealDigits[Gamma[3/4], 10, 100][[1]] (* G. C. Greubel, Mar 11 2018 *)

default(realprecision, 100); gamma(3/4) \\ G. C. Greubel, Mar 11 2018

Gamma(3/4) * A068466 = sqrt(2)*Pi = A063448. - R. J. Mathar, Jun 18 2006
Equals Integral_{x>=0} x^(-1/4)*exp(-x) dx. - Vaclav Kotesovec, Nov 12 2020
Equals (Pi/2)^(1/4) * sqrt(AGM(1,sqrt(2))) = sqrt(A069998 * A053004). - Amiram Eldar, Jun 12 2021

A062539 Decimal expansion of the Lemniscate constant or Gauss's constant.

Original entry on oeis.org

2, 6, 2, 2, 0, 5, 7, 5, 5, 4, 2, 9, 2, 1, 1, 9, 8, 1, 0, 4, 6, 4, 8, 3, 9, 5, 8, 9, 8, 9, 1, 1, 1, 9, 4, 1, 3, 6, 8, 2, 7, 5, 4, 9, 5, 1, 4, 3, 1, 6, 2, 3, 1, 6, 2, 8, 1, 6, 8, 2, 1, 7, 0, 3, 8, 0, 0, 7, 9, 0, 5, 8, 7, 0, 7, 0, 4, 1, 4, 2, 5, 0, 2, 3, 0, 2, 9, 5, 5, 3, 2, 9, 6, 1, 4, 2, 9, 0, 9, 3, 4, 4, 6, 1, 3

Offset: 1

Jason Earls, Jun 25 2001

			2.622057554292119810464839589891119413682754951431623162816821703...

Steven R. Finch, Mathematical Constants, Encyclopedia of Mathematics and its Applications, vol. 94, Cambridge University Press, 2003, Sections 2.3 and 6.2, pp. 99, 420.

Harry J. Smith, Table of n, a(n) for n = 1..5000
Lorenz Milla, World record computation of Lemniscate Constant (2,000,000,000,000 digits).
Simon Plouffe, Lemniscate or Gauss constant.
Simon Plouffe, Lemniscate constant or Gauss constant.
Eric Weisstein's World of Mathematics, Lemniscate Constant.
Wikipedia, Lemniscate constant.
Index entries for transcendental numbers.

Cf. A062540, A064853, A085565.
Cf. A002193, A014549, A093341.
Equals A000796/A053004 (see PARI script).

SetDefaultRealField(RealField(100)); R:= RealField(); (1/2)*Sqrt(2*Pi(R)^3)/Gamma(3/4)^2; // G. C. Greubel, Oct 07 2018

evalf((1/2)*sqrt(2*Pi^3)/GAMMA(3/4)^2,120); # Muniru A Asiru, Oct 08 2018
evalf(1/2*GAMMA(1/4)*GAMMA(1/2)/GAMMA(3/4),120); # Martin Renner, Aug 16 2019
evalf(1/2*Beta(1/4,1/2),120); # Martin Renner, Aug 16 2019
evalf(2*int(1/sqrt(1-x^4),x=0..1),120); # Martin Renner, Aug 16 2019

RealDigits[Pi^(3/2)/Gamma[3/4]^2*2^(1/2)/2, 10, 111][[1]] (* Robert G. Wilson v, May 19 2004 *)

print(1/2*Pi^(3/2)/gamma(3/4)^2*2^(1/2))

allocatemem(932245000); default(realprecision, 5080); x=Pi^(3/2)*sqrt(2)/(2*gamma(3/4)^2); for (n=1, 5000, d=floor(x); x=(x-d)*10; write("b062539.txt", n, " ", d)); \\ Harry J. Smith, Jun 20 2009

Pi/agm(1,sqrt(2)) \\ Charles R Greathouse IV, Feb 04 2015

intnum(x=0,Pi, 1/sqrt(1 + sin(x)^2)) \\ Charles R Greathouse IV, Feb 04 2025

Equals (1/2)*sqrt(2*Pi^3)/Gamma(3/4)^2.
A093341 multiplied by A002193. - R. J. Mathar, Aug 28 2013
From Martin Renner, Aug 16 2019: (Start)
Equals 2*Integral_{x=0..1} 1/sqrt(1-x^4) dx.
Equals 1/2*B(1/4,1/2) with Beta function B(x,y) = Gamma(x)*Gamma(y)/Gamma(x+y). (End)
Equals Pi/AGM(1, sqrt(2)). - Jean-François Alcover, Feb 28 2021
Equals 2*hypergeom([1/2, 1/4], [5/4], 1). - Peter Bala, Mar 02 2022
Equals (1/2)*A064853 = 2*A085565. - Amiram Eldar, May 04 2022
Equals Pi*A014549. - Hugo Pfoertner, Jun 28 2024
Equals Integral_{x=0..Pi} 1/sqrt(1 + sin(x)^2) dx = EllipticK(-1) (see Finch at p. 420). - Stefano Spezia, Dec 15 2024
Equals Gamma(1/4)^2 / (sqrt(Pi)*2^(3/2)). - Vaclav Kotesovec, Apr 26 2025
Equals (161*6440^(1/4))/(2*Sum_{k>=0} N(k)/D(k)) with N(k) = Pochhammer(1/8,k) * Pochhammer(5/8,k) * (275+8640*k) and D(k) = (k!)^2*25921^k [Jorge Zuniga, 2023].

A035185 Number of divisors of n == 1 or 7 (mod 8) minus number of divisors of n == 3 or 5 (mod 8).

Original entry on oeis.org

1, 1, 0, 1, 0, 0, 2, 1, 1, 0, 0, 0, 0, 2, 0, 1, 2, 1, 0, 0, 0, 0, 2, 0, 1, 0, 0, 2, 0, 0, 2, 1, 0, 2, 0, 1, 0, 0, 0, 0, 2, 0, 0, 0, 0, 2, 2, 0, 3, 1, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 2, 2, 1, 0, 0, 0, 2, 0, 0, 2, 1, 2, 0, 0, 0, 0, 0, 2, 0, 1, 2, 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 0, 2, 0, 0, 2, 3, 0, 1, 0, 0, 2, 0, 0

Offset: 1

N. J. A. Sloane

Coefficients in expansion of Dirichlet series Product_p (1-(Kronecker(m,p)+1)*p^(-s) + Kronecker(m,p)*p^(-2s))^(-1) for m = 2.
Let zetaQ(sqrt(2))(s) = Sum (1/(Z(sqrt(2)):A)^s), a Dedekind zeta function, where A runs through the nonzero ideals of Z(sqrt(2)) and where (Z(sqrt(2)):A) is the norm of A; then zetaQ(sqrt(2))(s) = Sum_{n>=1}, a(n)/n^s); Sum{k=1..n} a(k) is asymptotic to c*n where c = log(1 + sqrt(2))/sqrt(2). - Benoit Cloitre, Jan 01 2003
Inverse Moebius transform of A091337.
a(n) is the number of solutions to the equation n = x^2 - 2*y^2 in integers where -x < 2*y <= x. [Uspensky and Heaslet] - Michael Somos, Feb 17 2020
Coefficients of Dedekind zeta function for the quadratic number field of discriminant 8. See A002324 for formula and Maple code. - N. J. A. Sloane, Mar 22 2022

			G.f. = x + x^2 + x^4 + 2*x^7 + x^8 + x^9 + 2*x^14 + x^16 + 2*x^17 + x^18 + ...
a(7) = 2 because 7 = 3^2 - 2*(+1)^2 = 3^2 - 2*(-1)^2. - _Michael Somos_, Feb 17 2020

J. V. Uspensky and M. A. Heaslet, Elementary Number Theory, McGraw-Hill, NY, 1939, p. 368.

G. C. Greubel, Table of n, a(n) for n = 1..10000
M. Baake and R. V. Moody, Similarity submodules and root systems in four dimensions, arXiv:math/9904028 [math.MG], 1999.
M. Baake and R. V. Moody, Similarity submodules and root systems in four dimensions, Canad. J. Math. 51 (1999), 1258-1276.

Cf. A035251, A078462, A188169, A188170, A188171, A188172, A259829.
Cf. A002193, A091648.
Moebius transform gives A091337.
Dedekind zeta functions for imaginary quadratic number fields of discriminants -3, -4, -7, -8, -11, -15, -19, -20 are A002324, A002654, A035182, A002325, A035179, A035175, A035171, A035170, respectively.
Dedekind zeta functions for real quadratic number fields of discriminants 5, 8, 12, 13, 17, 21, 24, 28, 29, 33, 37, 40 are A035187, A035185, A035194, A035195, A035199, A035203, A035188, A035210, A035211, A035215, A035219, A035192, respectively.

a[ n_] := If[ n < 1, 0, DivisorSum[ n, KroneckerSymbol[ 2, #] &]]; (* Michael Somos, Jul 06 2015 *)
a[ n_] := SeriesCoefficient[ Sum[ x^k (1 - x^(2 k)) / (1 + x^(4 k)), {k, n}], {x, 0, n}]; (* Michael Somos, Jul 06 2015 *)
a[ n_] := If[ n < 1, 0, Times @@ (Which[ # <= 2, 1, Mod[#, 8] > 1 && Mod[#, 8] < 7, 1 - Mod[#2, 2], True, #2 + 1] & @@@ FactorInteger @ n)]; (* Michael Somos, Jul 06 2015 *)

{a(n) = if( n<1, 0, sumdiv(n, d, kronecker(2, d)))};

{a(n) = if( n<1, 0, direuler(p=2, n, 1 / ((1 - X) * (1 - kronecker(2, p)*X)))[n])};

{a(n) = my(A, p, e); if( n<1, 0, A = factor(n); prod(k=1, matsize(A)[1], [p, e] = A[k, ]; if(p==2, 1, p%8>1 && p%8<7, !(e%2), e+1)))}; \\ Michael Somos, Aug 17 2006

{a(n) = if( n<1, 0, polcoeff( sum(k=1, n, x^k * (1 - x^(2*k)) / (1 + x^(4*k)), x * O(x^n)), n))}; \\ Michael Somos, Jul 06 2015

G.f.: Sum_{k>0} x^k * (1 - x^(2*k)) / (1 + x^(4*k)).
-(-1)^(n*(n-1)/2)*a(n) = Sum_{n >= 1} (-1)^n * q^(n*(n+1)/2)*(1-q)*(1-q^2)*...*(1-q^(n-1))/ ((1+q)*(1+q^2)*...*(1+q^n)). - Jeremy Lovejoy, Jun 12 2009
a(n) = (-1)^floor(n/2) * A259829(n). - Michael Somos, Jul 06 2015
a(n) is multiplicative with a(2^e) = 1, a(p^e) = (1 + (-1)^e) / 2 if p == 3, 5 (mod 8), a(p^e) = e + 1 if p == 1, 7 (mod 8). - Jianing Song, Sep 07 2018
Asymptotic mean: Limit_{m->oo} (1/m) * Sum_{k=1..m} a(k) = log(sqrt(2)+1)/sqrt(2) = A091648/A002193 = 0.623225... . - Amiram Eldar, Oct 11 2022

A174968 Decimal expansion of (1 + sqrt(2))/2.

Original entry on oeis.org

1, 2, 0, 7, 1, 0, 6, 7, 8, 1, 1, 8, 6, 5, 4, 7, 5, 2, 4, 4, 0, 0, 8, 4, 4, 3, 6, 2, 1, 0, 4, 8, 4, 9, 0, 3, 9, 2, 8, 4, 8, 3, 5, 9, 3, 7, 6, 8, 8, 4, 7, 4, 0, 3, 6, 5, 8, 8, 3, 3, 9, 8, 6, 8, 9, 9, 5, 3, 6, 6, 2, 3, 9, 2, 3, 1, 0, 5, 3, 5, 1, 9, 4, 2, 5, 1, 9, 3, 7, 6, 7, 1, 6, 3, 8, 2, 0, 7, 8, 6, 3, 6, 7, 5, 0

Offset: 1

Klaus Brockhaus, Apr 02 2010

a(n) is the diameter of the circle around the Vitruvian Man when the square has sides of unit length. See illustration in links. - Kival Ngaokrajang, Jan 29 2015
The iterated function z^2 - 1/4, starting from z = 0, gives a pretty good rational approximation of (-1)((1 + sqrt(2))/2 - 1) to more than eight decimal digits after just twenty steps. - Alonso del Arte, Apr 09 2016
This sequence describes the minimum Euclidean length of the optimal solution of the well-known Nine dots puzzle, published in Sam Loyd’s Cyclopedia of puzzles (1914), p. 301 since a valid polygonal chain satisfying the conditions of the above-mentioned problem is (0, 1)-(0, 3)-(3, 0)-(0, 0)-(2, 2), and its total length is equal to 5*(1 + sqrt(2)) = 12.071... (i.e., 10*(1 + sqrt(2))/2). - Marco Ripà, Jul 22 2024

			1.20710678118654752440084436210484903928483593768847...

G. C. Greubel, Table of n, a(n) for n = 1..10000
Kival Ngaokrajang, Illustration of Vitruvian Man and construction rule.
Marco Ripà, Shortest polygonal chains covering each planar square grid, arXiv:2207.08708v3 [math.CO], 2024.
Wikipedia, Vitruvian Man.
Index entries for algebraic numbers, degree 2.

Cf. A002193 (decimal expansion of sqrt(2)), A010685 (continued fraction expansion of (1 + sqrt(2))/2), A079291, A249403.

Apart from initial digits the same as A157214 and A010503.

First@RealDigits[(1 + Sqrt[2])/2, 10, 105] (* Michael De Vlieger, Jan 29 2015 *)

(1+sqrt(2))/2 \\ Altug Alkan, Apr 16 2016

Equals Product_{k>=2} (1 + (-1)^k/A079291(k)). - Amiram Eldar, Dec 03 2024

A004539 Expansion of sqrt(2) in base 2.

Original entry on oeis.org

1, 0, 1, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1

Offset: 1

N. J. A. Sloane

Bailey, Borwein, Crandall, & Pomerance prove a general result that the first n terms contain >> sqrt(n) 1's. Vandehey improves this to sqrt(2*n)(1 + o(1)). - Charles R Greathouse IV, Nov 07 2017

			1.0110101000001001111001...

T. D. Noe, Table of n, a(n) for n = 1..1000
B. Adamczewski and N. Rampersad, On patterns occurring in binary algebraic numbers, Proc. Amer. Math. Soc. 136 (2008), 3105-3109.
David H. Bailey, Jonathan M. Borwein, Richard E. Crandall, and Carl Pomerance, On the binary expansions of algebraic numbers, J. Théor. Nombres Bordeaux, 16 (2004), 487-518.
R. L. Graham and H. O. Pollak, Note on a nonlinear recurrence related to sqrt(2), Mathematics Magazine, Volume 43, Pages 143-145, 1970. Zbl 201.04705.
R. K. Guy, The strong law of small numbers. Amer. Math. Monthly 95 (1988), no. 8, 697-712. [Annotated scanned copy]
Richard Isaac, On the simple normality to base 2 of the square root of s, for s not a perfect square., arXiv:math/0512404 [math.NT], 2005-2006.
Jason Kimberley, Index of expansions of sqrt(d) in base b
Thomas Stoll, On families of nonlinear recurrences related to digits, Journal of Integer Sequences 8 (2005), 05.3.2.
Thomas Stoll, On a problem of Erdős and Graham concerning digits, Acta Arithmetica 125 (2006), pp. 89-100.
Thomas Stoll, A fancy way to obtain the binary digits of 759250125 sqrt{2}, (2009), Amer. Math. Monthly, 117 (2010), 611-617.
Joseph Vandehey, On the binary digits of sqrt(2), arXiv:1711.01722 [math.NT], 2017.
Eric Weisstein's World of Mathematics, Wolfram's Iteration
Eric Weisstein's World of Mathematics, Pythagoras's Constant

Cf. A002193 (decimal version), A233836 (run lengths of 0's and 1's).

a004539 n = a004539_list !! (n-1)
a004539_list = w 2 0 where
   w x r = bit : w (4 * (x - (4 * r + bit) * bit)) (2 * r + bit)
     where bit = head (dropWhile (\b -> (4 * r + b) * b < x) [0..]) - 1
-- Reinhard Zumkeller, Dec 16 2013

N[Sqrt[2], 200]; RealDigits[%, 2]
RealDigits[Sqrt[2],2,120][[1]] (* Harvey P. Dale, Aug 03 2024 *)

binary(sqrt(2)) \\ Michel Marcus, Nov 06 2017

a(n) = floor(quadgen(8)<<(n-1))%2; \\ Chittaranjan Pardeshi, Sep 09 2024

bc
```
obase=2 scale=200 sqrt(2)
```

a(k) = floor(Sum_{n>=1} A005875(n)/exp(Pi*n/(2^((2/3)*k+(1/3))))) mod 2. Will give the k-th binary digit of sqrt(2). A005875 : number of ways to write n as sum of 3 squares. - Simon Plouffe, Dec 30 2023

cp's OEIS Frontend

A017329 a(n) = 10*n + 5.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Haskell

Magma

Mathematica

PARI

Formula

A020760 Decimal expansion of 1/sqrt(3).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A024036 a(n) = 4^n - 1.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Sage

Sage

Formula

Extensions

A010464 Decimal expansion of square root of 6.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Mathematica

PARI

PARI

Formula

A003401 Numbers of edges of regular polygons constructible with ruler (or, more precisely, an unmarked straightedge) and compass.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Mathematica

PARI

PARI

PARI

Python

Formula

Extensions

A068465 Decimal expansion of Gamma(3/4).