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.
%I A135611 #67 Jun 11 2024 10:10:47
%S A135611 3,1,4,6,2,6,4,3,6,9,9,4,1,9,7,2,3,4,2,3,2,9,1,3,5,0,6,5,7,1,5,5,7,0,
%T A135611 4,4,5,5,1,2,4,7,7,1,2,9,1,8,7,3,2,8,7,0,1,2,3,2,4,8,6,7,1,7,4,4,2,6,
%U A135611 6,5,4,9,5,3,7,0,9,0,7,0,7,5,9,3,1,5,3,3,7,2,1,0,8,4,8,9,0,1,4
%N A135611 Decimal expansion of sqrt(2) + sqrt(3).
%C A135611 From _Alexander R. Povolotsky_, Mar 04 2008: (Start)
%C A135611 The value of sqrt(2) + sqrt(3) ~= 3.146264369941972342329135... is "close" to Pi. [See Borel 1926. - _Charles R Greathouse IV_, Apr 26 2014] We can get a better approximation by solving the equation: (2-x)^(1/(2+x)) + (3-x)^(1/(2+x)) = Pi.
%C A135611 _Olivier Gérard_ finds that x is 0.00343476569746030039595770020414255107204742044644777... (End)
%C A135611 Another approximation to Pi is (203*sqrt(2)+ 197*sqrt(3))/200 = 3.1414968... - _Alexander R. Povolotsky_, Mar 22 2008
%C A135611 Shape of a sqrt(8)-extension rectangle; see A188640. - _Clark Kimberling_, Apr 13 2011
%C A135611 This number is irrational, as instinct would indicate. Niven (1961) gives a proof of irrationality that requires first proving that sqrt(6) is irrational. - _Alonso del Arte_, Dec 07 2012
%C A135611 An algebraic integer of degree 4: largest root of x^4 - 10*x^2 + 1. - _Charles R Greathouse IV_, Sep 13 2013
%C A135611 Karl Popper considers whether this approximation to Pi might have been known to Plato, or even conjectured to be exact. - _Charles R Greathouse IV_, Apr 26 2014
%D A135611 Emile Borel, Space and Time (1926).
%D A135611 Ivan Niven, Numbers: Rational and Irrational. New York: Random House for Yale University (1961): 44.
%D A135611 Ian Stewart & David Tall, Algebraic Number Theory and Fermat's Last Theorem, 3rd Ed. Natick, Massachusetts: A. K. Peters (2002): 44.
%H A135611 G. C. Greubel, <a href="/A135611/b135611.txt">Table of n, a(n) for n = 1..2500</a>
%H A135611 Susan Landau, <a href="https://doi.org/10.1137/0221009">Simplification of nested radicals</a>, SIAM Journal on Computing 21.1 (1992): 85-110. See page 85. [Do not confuse this paper with the short FOCS conference paper with the same title, which is only a few pages long.]
%H A135611 Burkard Polster, <a href="https://www.youtube.com/watch?v=D6AFxJdJYW4">Irrational roots</a>, Mathologer video (2018)
%H A135611 Karl Popper, <a href="http://web.archive.org/web/20141006082529/http://www.inf.fu-berlin.de/lehre/WS06/pmo/eng/Popper-OpenSociety.pdf">The Open Society and Its Enemies</a>, 1962.
%H A135611 <a href="/index/Al#algebraic_04">Index entries for algebraic numbers, degree 4</a>
%F A135611 Sqrt(2)+sqrt(3) = sqrt(5+2*sqrt(6)). [Landau, p. 85] - _N. J. A. Sloane_, Aug 27 2018
%F A135611 Equals 1/A340616. - _Hugo Pfoertner_, May 08 2024
%F A135611 Equals Product_{k>=0} (((4*k + 1)*(12*k + 11))/((4*k + 3)*(12*k + 1)))^(-1)^k. - _Antonio Graciá Llorente_, May 22 2024
%e A135611 3.14626436994197234232913506571557044551247712918732870...
%p A135611 evalf(add(sqrt(ithprime(i)), i=1..2), 118); # _Alois P. Heinz_, Jun 13 2022
%t A135611 r = 8^(1/2); t = (r + (4 + r^2)^(1/2))/2; FullSimplify[t]
%t A135611 N[t, 130]
%t A135611 RealDigits[N[t, 130]][[1]] (* A135611 *)
%t A135611 ContinuedFraction[t, 120] (* A089078 *)
%t A135611 RealDigits[Sqrt[2] + Sqrt[3], 10, 100][[1]] (* _G. C. Greubel_, Oct 22 2016 *)
%o A135611 (PARI) sqrt(2)+sqrt(3) \\ _Charles R Greathouse IV_, Sep 13 2013
%o A135611 (Magma) SetDefaultRealField(RealField(100)); Sqrt(2) + Sqrt(3); // _G. C. Greubel_, Nov 20 2018
%o A135611 (Sage) numerical_approx(sqrt(2)+sqrt(3), digits=100) # _G. C. Greubel_, Nov 20 2018
%Y A135611 Cf. A188640, A089078, A002193, A002194, A010464, A340616.
%K A135611 nonn,cons
%O A135611 1,1
%A A135611 _N. J. A. Sloane_, Mar 03 2008