Liouville's Theorem (Number Theory)/Examples/Root 2

Example
Applying Liouville's Theorem (Number Theory) to $\sqrt 2$:


 * $\size {\sqrt 2 - \dfrac p q} \ge \dfrac c {q^2} \implies 0 \lt c \le 6 - 4 \sqrt 2$

for every pair $p, q \in \Z$ with $q \ne 0$.

Proof
We begin by deriving a formula that will calculate the constant c:

Next, we know that Convergents are Best Approximations to an irrational number

From Continued Fraction Expansion of $\sqrt 2$:


 * $\sqrt 2 = \sqbrk {1, \sequence 2}$

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


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

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

p_i & 1 & 3 & 7 & 17 & 41 & 99 & 239 \\

q_i & 1 & 2 & 5 & 12 & 29 & 70 & 169 \\

\paren {\dfrac {p_i } {q_i } } & 1.0000 & 1.5000 & 1.4000 & 1.4167 & 1.4138 & 1.4143 & 1.4142 \\

c_i & \sqrt 2 - 1 & 6 - 4 \sqrt 2 & 25 \sqrt 2 - 35 & 204 - 144 \sqrt 2 & 841 \sqrt 2 - 1189 & 6930 - 4900 \sqrt 2 & 28561 \sqrt 2 - 40391 \\

c_i & 0.4142 & 0.3431 & 0.3553 & 0.3532 & 0.3536 & 0.3535 & 0.3536 \\

\hline \end{array}$

So for $\sqrt 2$, $c = 6 - 4 \sqrt 2$ (that is, the minimum constant $c_i$ of all of the convergents $\dfrac {p_i } {q_i }$ of $\sqrt 2$) will ensure that:


 * $\size {\sqrt 2 - \dfrac p q} \ge \dfrac c {q^2}$

for every pair $p, q \in \Z$ with $q \ne 0$.

To further illustrate the concept, we review the graph of the function $\map f x = x^2 - 2$ in the diagram below.

For all convergents $\dfrac {p_i} {q_i}$ of $\sqrt 2$:


 * Liouville Root 2 v2.png

Adding just one additional line to the table above:


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

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

p_i & 1 & 3 & 7 & 17 & 41 & 99 & 239 \\

q_i & 1 & 2 & 5 & 12 & 29 & 70 & 169 \\

\paren {\dfrac {p_i } {q_i } } & 1.0000 & 1.5000 & 1.4000 & 1.4167 & 1.4138 & 1.4143 & 1.4142 \\

c_i & \sqrt 2 - 1 & 6 - 4 \sqrt 2 & 25 \sqrt 2 - 35 & 204 - 144 \sqrt 2 & 841 \sqrt 2 - 1189 & 6930 - 4900 \sqrt 2 & 28561 \sqrt 2 - 40391 \\

c_i & 0.4142 & 0.3431 & 0.3553 & 0.3532 & 0.3536 & 0.3535 & 0.3536 \\

\map {f'} x = \dfrac 1 {c_i} & \sqrt 2 + 1 & \sqrt 2 + \dfrac 3 2 & \sqrt 2 + \dfrac 7 5 & \sqrt 2 + \dfrac {17} {12} & \sqrt 2 + \dfrac {41} {29} & \sqrt 2 + \dfrac {99} {70} & \sqrt 2 + \dfrac {239} {169} \\

\hline \end{array}$