OFFSET
0,2
COMMENTS
LINKS
G. C. Greubel, Table of n, a(n) for n = 0..20
J. Paradis, P. Viader, and L. Bibiloni Approximation to quadratic irrationals and their Pierce expansions, The Fibonacci Quarterly, Vol.36 No. 2 (1998) 146-153.
T. A. Pierce, On an algorithm and its use in approximating roots of algebraic equations, Amer. Math. Monthly, Vol. 36 No. 10, (1929) p.523-525.
Eric Weisstein's World of Mathematics, Pierce Expansion
FORMULA
a(2*n) = 2*{(2 + sqrt(3))^(2^n) + (2 - sqrt(3))^(2^n) + 2} for n >= 1.
a(2*n-1) = 1/2*{(2 + sqrt(3))^(2^n) + (2 - sqrt(3))^(2^n)} for n >= 1.
Recurrence equations: a(0) = 1, a(1) = 7 and for n >= 1 a(2*n) = 4*(a(2*n-1) + 1) and a(2*n+1) = 2*(a(2*n-1))^2 - 1.
84 - 48*sqrt(3) = 1 - 1/7 + 1/(7*32) - 1/(7*32*97) + 1/(7*32*97*392) - ....
a(2*n) = 8*A002812(n-1)^2 for n >= 1.
a(2*n+1) = A002812(n+1) for n >= 0.
MATHEMATICA
PierceExp[A_, n_] := Join[Array[1 &, Floor[A]], First@Transpose@ NestList[{Floor[1/Expand[1 - #[[1]] #[[2]]]], Expand[1 - #[[1]] #[[2]]]} &, {Floor[1/(A - Floor[A])], A - Floor[A]}, n - 1]]; PierceExp[N[84 - 48*Sqrt[3] , 7!], 10] (* G. C. Greubel, Nov 15 2016 *)
PROG
(PARI) r=(7 + 4*sqrt(3))/12; for(n=1, 10, print(floor(r), ", "); r=r/(r-floor(r))) \\ G. C. Greubel, Nov 15 2016
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Peter Bala, Nov 23 2012
STATUS
approved