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.

A121503 Numerators of partial sums of a series for sqrt(2) + sqrt(3) involving Catalan numbers.

This page as a plain text file.
%I A121503 #25 Jan 26 2025 03:10:40
%S A121503 13,203,1615,51595,412529,6599099,52788535,3378355987,27026481101,
%T A121503 432421205841,3459361042977,110699432952143,885595037556565,
%U A121503 14169517557800915,113356129507566775,14509583941597490435
%N A121503 Numerators of partial sums of a series for sqrt(2) + sqrt(3) involving Catalan numbers.
%C A121503 The corresponding denominators are 4*A120785(n).
%C A121503 Sqrt(2)+sqrt(3) = (4*sin(Pi/4) + 6*tan(Pi/6))/2 = 3.146264370 (maple10, 10 digits). This is the arithmetic mean of the areas of an 8-gon (octagon), resp. 6-gon (hexagon) inscribed, resp. circumscribed in a unit circle.
%C A121503 Popper (see the reference) argues that Plato knew about the sum of sqrt(2)+sqrt(3). This sum approximates Pi with a relative error of 0.15%. The two right triangles, one with side lengths (1,1/2,sqrt(3)/2) and the other with side lengths (sqrt(2),1,1) are used in Plato's Timaios [53d] to build four of the five regular polyhedra (Platonic solids).
%C A121503 The Taylor series for sqrt(2) = sqrt(1+1) and sqrt(3) = 3*sqrt(1-2/3) are used here. Therefore lim_{n->oo} r(n) = sqrt(2)+sqrt(3), with rationals r(n) defined below.
%D A121503 K. R. Popper, Die Welt des Parmenides, Piper, 2001, 2005. Ch. 8: Platon und die Geometrie (1950), pp. 326-337. English: The World of Parmenides, Routledge, London, New York, 1998.
%H A121503 Wolfdieter Lang, <a href="/A121503/a121503.txt">Rationals r(n), limit</a>.
%F A121503 a(n) = numerator(r(n)) with r(n) := 4-(Sum_{k=0..n} C(k)*(1+2^(k+1))/16^k)/4, with C(k) = A000108(k) (Catalan numbers).
%e A121503 Rationals r(n): [13/4, 203/64, 1615/512, 51595/16384, 412529/131072, 6599099/2097152, 52788535/16777216,...].
%o A121503 (PARI) a(n) = numerator(4 - sum(k=0, n, binomial(2*k,k)/(k+1)*(1+2^(k+1))/16^k)/4); \\ _Michel Marcus_, Sep 20 2023
%Y A121503 Cf. A000108, A120785.
%K A121503 nonn,easy,frac
%O A121503 0,1
%A A121503 _Wolfdieter Lang_, Aug 16 2006