|
| |
|
|
A230600
|
|
a(n) = Lucas(2^n - 1).
|
|
5
|
|
|
|
2, 1, 4, 29, 1364, 3010349, 14662949395604, 347880681146567910619198829, 195816040085094172011386545446645681141059001652009364, 62041768337314169100816125405238438263014895218124648720624536859920496229610874552659773465281966850403949
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
|
OFFSET
|
0,1
|
|
|
COMMENTS
|
Compare with A192223(n) = Lucas(2^n + 1).
Let x and b be positive real numbers. We define a Pierce expansion of x to the base b to be a (possibly infinite) increasing sequence of positive integers [a(1), a(2), a(3), ...] such that we have the alternating series representation x = b/a(1) - b^2/(a(1)*a(2)) + b^3/(a(1)*a(2)*a(3)) - .... This definition generalizes the ordinary Pierce expansion of a real number 0 < x < 1, where the base b is taken equal to 1. Depending on the values of x and b such a generalized Pierce expansion to the base b may not exist, and if it does exist it may not be unique.
Let phi = 1/2*(1 + sqrt(5)) denote the golden ratio A001622. This sequence, apart from the initial term, provides a Pierce expansion of 1 to the base phi. That is, we have the identity 1 = phi/1 - phi^2/(1*4) + phi^3/(1*4*29) - phi^4/(1*4*29*1364) + ....
This result can be extended in two ways. Firstly, for k odd, the sequence {Lucas(k*(2^n - 1)}n>=1 gives a Pierce expansion of 1 to the base phi^k. Secondly, for n = 1,2,3,..., the sequence [a(n),a(n+1),a(n+2),...] provides a Pierce expansion of the quadratic irrational 1/phi^(2^n - 2) = Fibonacci(2^n - 1) - Fibonacci(2^n - 2)*phi to the base phi. Some examples are given below.
|
|
|
LINKS
|
|
|
|
FORMULA
|
a(n) = Lucas(2^n - 1) = A000032(2^n-1) = phi^(2^n-1) + (-1/phi)^(2^n-1).
Recurrence equation: a(0) = 2, a(1) = 1 and a(n) = floor(phi*a(n-1)^2) + 4 for n >= 2.
Product {n = 2..k} (1 - 1/a(n)) = 1/2 + Fibonacci(2^k - 1)/(2*Lucas(2^k - 1)).
Product {n >= 2} (1 - 1/a(n)) = (5 + sqrt(5))/10.
|
|
|
EXAMPLE
|
A Pierce expansion of 1/phi^(2^n - 2) = Fibonacci(2^n - 1) - Fibonacci(2^n - 2)*phi to the base phi for n = 1 to 4.
n = 1: 1 = phi/1 - phi^2/(1*4) + phi^3/(1*4*29) - phi^4/(1*4*29*1364) + ...
n = 2: 1/phi^2 = phi/4 - phi^2/(4*29) + phi^3/(4*29*1364) - phi^4/(4*29*1364*3010349) + ...
n = 3: 1/phi^6 = phi/29 - phi^2/(29*1364) + phi^3/(29*1364*3010349) - ...
n = 4: 1/phi^14 = phi/1364 - phi^2/(1364*3010349) + ...
|
|
|
MATHEMATICA
|
Table[LucasL[2^n - 1], {n, 0, 10}]
|
|
|
PROG
|
(PARI) for(n=0, 10, print1(fibonacci(2^n) + fibonacci(2^n -2), ", ")) \\ G. C. Greubel, Dec 22 2017
(Magma) [Lucas(2^n -1): n in [0..10]]; // G. C. Greubel, Dec 22 2017
|
|
|
CROSSREFS
|
|
|
|
KEYWORD
|
nonn,easy
|
|
|
AUTHOR
|
|
|
|
STATUS
|
approved
|
| |
|
|
