ProofWiki:Sandbox

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

Let:

In other words, $a_{3n+1} = 2n$ and $a_{3n+0} = a_{3n+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 $6$ recurrence relations:

Our aim is to prove that:

Define the integrals:

Lemma 1 - separate page


 * For $n \ge 0$,

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