OFFSET
0,1
COMMENTS
a(n) gives twice the curvature of the n-th circle touching the two semicircles of the (2/3,1/3) arbelos and the (n-1)-th circle, with input circle of twice the curvature a(0) = A114949(1) = 7 (referring to the second circle of the counterclockwise Pappus chain).
LINKS
Kival Ngaokrajang, Illustration of one half of the initial terms.
Eric Weisstein's World of Mathematics, Descartes Circle theorem.
Eric Weisstein's World of Mathematics, Pappus chain.
Wikipedia, Descartes' Theorem.
Index entries for linear recurrences with constant coefficients, signature (3,-3,1).
FORMULA
a(n) = 9*(n+1)^2 - 2, n >= 0.
O.g.f.: (-2*x^2+13*x+7)/(1-x)^3.
Recurrence: a(n) = 3*a(n-1) - 3*a(n-2) + a(n-3), n >= 3, with a(0)=7, a(1)=34, and a(2)=79.
Descartes' three (actually five) circle theorem (see links) leads to a nonlinear recurrence for twice the curvatures: a(n) = 2*(3 + 3/2) + a(n-1) + 4*sqrt((3 + 3/2)*a(n-1)/2 + 9/2) = 9 + a(n-1) + 6*sqrt(a(n-1) + 2), with input a(0) = 7 = 2*A114949(1). This leads to a quadratic equation with the relevant solution a(n) = 9*n^2 + 18*n + 7.
E.g.f.: exp(x)*(9*x*(x + 3) + 7). - Elmo R. Oliveira, Oct 20 2024
MAPLE
MATHEMATICA
Table[9 n^2 + 18 n + 7, {n, 0, 40}] (* Michael De Vlieger, Jul 03 2015 *)
LinearRecurrence[{3, -3, 1}, {7, 34, 79}, 50] (* Harvey P. Dale, Sep 05 2018 *)
PROG
(PARI) a(n)=9*n^2+18*n+7 \\ Charles R Greathouse IV, Jun 17 2017
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Wolfdieter Lang and Kival Ngaokrajang, Jul 03 2015
STATUS
approved