MathDB
2017 T7: Rational Approximation of sqrt(2)

Source:

January 29, 2017
2017team

Problem Statement

Define {pn}n=0N\{p_n\}_{n=0}^\infty\subset\mathbb N and {qn}n=0N\{q_n\}_{n=0}^\infty\subset\mathbb N to be sequences of natural numbers as follows:
[*]p0=q0=1p_0=q_0=1; [*]For all nNn\in\mathbb N, qnq_n is the smallest natural number such that there exists a natural number pnp_n with gcd(pn,qn)=1\gcd(p_n,q_n)=1 satisfying pn1qn1<pnqn<2.\dfrac{p_{n-1}}{q_{n-1}} < \dfrac{p_n}{q_n} < \sqrt 2.
Find q3q_3.