ProofWiki:Sandbox

Proof
From the recursive definition of continued fractions, we have:

Let:

In other words, $a_{3i+1} = 2i$ and $a_{3i} = a_{3i+2} = 1$

Then $p_i$ and $q_i$ are as follows:


 * $\begin{array}{r|cccccccccc}

\displaystyle i & 0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9  \\ \hline

p_i & 1 & 1 & 2 & 3 & 8 & 11 & 19 & 87 & 106 & 193 \\

q_i & 1 & 0 & 1 & 1 & 3 & 4 & 7 & 32 & 39 & 71 \\ \hline

\end{array}$

Then $p_i$ and $q_i$ satisfy the following recurrence relations:

Our aim is to prove that:

Define the integrals:

Lemma 1


 * For $n \ge 0$,

In light of the recurrence relations cited earlier, we need only verify the initial conditions.