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.

A156164 Decimal expansion of 17 + 12*sqrt(2).

Original entry on oeis.org

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

Views

Author

Klaus Brockhaus, Feb 09 2009

Keywords

Comments

Lim_{n -> infinity} b(n)/b(n-1) = 17+12*sqrt(2) for b = A156160, A156161, A156162, A278310.
Conjecturally, the fractional part 0.97056 27484 ... of this constant equals ( (1 + 2 * Sum_{n >= 1} (-1)^n*exp(-2*Pi*n^2))/(1 + 2 * Sum_{n >= 1} exp(-2*Pi*n^2)) )^4. The series are rapidly converging. For example, summing both series from n = 1 to n = 2 approximates the fractional part of the constant as ( (1 - 2*exp(-2*Pi) + 2*exp(-8*Pi))/(1 + 2*exp(-2*Pi) + 2*exp(-8*Pi)) )^4 = 0.97056 27484 77140 58562 026(89) ..., correct to 23 decimal places. - Peter Bala, Jun 05 2019

Examples

			17 + 12*sqrt(2) = 33.97056274847714058562026469051637694283606250452337687...
		

Crossrefs

Cf. A002193: decimal expansion of sqrt(2); A156035: decimal expansion of 3+2*sqrt(2); A156163: decimal expansion of (19+6*sqrt(2))/17.

Programs

Formula

17+12*sqrt(2) = (3+2*sqrt(2))^2 = (1+sqrt(2))^4. - Klaus Brockhaus, Feb 14 2009. (corrected by Bruno Berselli, Feb 19 2013)