Reciprocal Fibonacci constant
In-game article clicks load inline without leaving the challenge.
The reciprocal Fibonacci constant ψ is the sum of the reciprocals of the Fibonacci numbers:
ψ = ∑ k = 1 ∞ 1 F k = 1 1 + 1 1 + 1 2 + 1 3 + 1 5 + 1 8 + 1 13 + 1 21 + ⋯ . {\displaystyle \psi =\sum _{k=1}^{\infty }{\frac {1}{F_{k}}}={\frac {1}{1}}+{\frac {1}{1}}+{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{5}}+{\frac {1}{8}}+{\frac {1}{13}}+{\frac {1}{21}}+\cdots .}
Because the ratio of successive terms tends to the reciprocal of the golden ratio, which is less than 1, the ratio test shows that the sum converges.
The value of ψ is approximately
ψ = 3.359885666243177553172011302918927179688905133732 … {\displaystyle \psi =3.359885666243177553172011302918927179688905133732\dots } (sequence A079586 in the OEIS).
With k terms, the series gives O(k) digits of accuracy. Bill Gosper derived an accelerated series which provides O(k2) digits. ψ is irrational, as was conjectured by Paul Erdős, Ronald Graham, and Leonard Carlitz, and proved in 1989 by Richard André-Jeannin.
Its simple continued fraction representation is:
ψ = [ 3 ; 2 , 1 , 3 , 1 , 1 , 13 , 2 , 3 , 3 , 2 , 1 , 1 , 6 , 3 , 2 , 4 , 362 , 2 , 4 , 8 , 6 , 30 , 50 , 1 , 6 , 3 , 3 , 2 , 7 , 2 , 3 , 1 , 3 , 2 , … ] {\displaystyle \psi =[3;2,1,3,1,1,13,2,3,3,2,1,1,6,3,2,4,362,2,4,8,6,30,50,1,6,3,3,2,7,2,3,1,3,2,\dots ]\!\,} (sequence A079587 in the OEIS).
Generalization and related constants
In analogy to the Riemann zeta function, define the Fibonacci zeta function as ζ F ( s ) = ∑ n = 1 ∞ 1 ( F n ) s = 1 1 s + 1 1 s + 1 2 s + 1 3 s + 1 5 s + 1 8 s + ⋯ {\displaystyle \zeta _{F}(s)=\sum _{n=1}^{\infty }{\frac {1}{(F_{n})^{s}}}={\frac {1}{1^{s}}}+{\frac {1}{1^{s}}}+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+{\frac {1}{5^{s}}}+{\frac {1}{8^{s}}}+\cdots } for complex number s with Re(s) > 0, and its analytic continuation elsewhere. Particularly the given function equals ψ when s = 1.
It was shown that:
- The value of ζF(2s) is transcendental for any positive integer s, which is similar to the case of even-index Riemann zeta-constants ζ (2s).
- The constants ζF(2), ζF(4) and ζF(6) are algebraically independent.
- Except for ζF(1) which was proved to be irrational, the number-theoretic properties of ζF(2s + 1) (whenever s is a non-negative integer) are mostly unknown.