Algebraic independence of certain infinite products involving the Fibonacci numbers (Q2231994)

Let \(q\) be a complex number such that \(|q|<1\). Set \(\beta =\frac {\sqrt 5-1}2\),\(v_2(q)=2q^{\frac 14}\sum_{n=0}^\infty q^{n(n+1)}\), \(v_3(q)=1+2\sum_{n=1}^\infty q^{n^2}\) and \(v_4(q)=1+2\sum_{n=1}^\infty (-1)^nq^{n^2}\). Let \(\{ F_n\}_{n=0}^\infty\) be the Fibonacci sequence. Then the authors prove that \(\zeta_1=\prod_{n=1}^\infty (1+\frac 1{F_n})=2\beta^{-\frac 54}\frac {v_2(\beta)}{v_4(\beta^4)}\) and \(\zeta_2=\prod_{n=1}^\infty (1-\frac 1{F_n})= \frac {\sqrt 5}6 \beta^{-\frac 54}\frac {v_2(\beta)v_3(\beta)v_4(\beta)}{v_4(\beta^4)}\). In addition, they prove that the numbers \(\zeta_1\) and \(\zeta_2\) are algebraically independent over \(\mathbb Q\); in particular, \(\zeta_1\) and \(\zeta_2\) are transcendental numbers. The proofs make use the theorem of Bertrand on the algebraic independence of values of Jacobi theta functions.