Fracciones continuas y ecuaciones diofánticas · Definición
Convergente de una fracción continua
Antes de empezar necesitas conocer
Los convergentes son la mejor manera de aproximar un número irracional mediante fracciones con denominador pequeño. Se calculan de forma recursiva a partir de los cocientes parciales.
Definición
Un convergente de una fracción continua \( [a_0; a_1, a_2, \ldots] \) es la fracción racional \( p_n/q_n \) que se obtiene truncando la expansión en el término \( a_n \).
Los numeradores y denominadores satisfacen las recurrencias \( p_n=a_np_{n-1}+p_{n-2} \) y \( q_n=a_nq_{n-1}+q_{n-2} \), con valores iniciales \( p_{-1}=1, p_{-2}=0, q_{-1}=0, q_{-2}=1 \). Además, \( p_nq_{n-1}-p_{n-1}q_n=(-1)^{n-1} \), de modo que cada convergente está en forma reducida. Los convergentes de índice par son menores que el valor de la fracción y los de índice impar son mayores.
Para \( \sqrt{2}=[1;2,2,2,\ldots] \), los primeros convergentes se calculan con \( p_0=1, q_0=1 \), \( p_1=3, q_1=2 \) y \( p_2=7, q_2=5 \). Así, \( 7/5 \) aproxima \( \sqrt{2} \) con un error menor que \( 0.02 \).
Un error típico es olvidar los valores iniciales de las recurrencias y empezar con \( p_0=a_0 \) sin definir \( p_{-1} \) y \( q_{-1} \), lo que produce denominadores incorrectos. Otro error frecuente es suponer que todo convergente es mayor que el valor real de la fracción continua.
Para pensar
¿Por qué los convergentes de índice par son menores que el valor de la fracción continua?
Porque \( x-p_n/q_n \) tiene el signo de \( (-1)^n \), así que los de índice par quedan por debajo de \( x \).
Ejercicios 10
- ¿Cuál es el convergente \( p_0/q_0 \) de la fracción continua \( [3;7,16] \)?
- ¿Cuál es el valor de \( q_1 \) para la fracción continua \( [2;5,4] \)?
- ¿Cuál es el convergente \( p_1/q_1 \) de \( [0;1,2,3] \)?
- ¿Cuál es el convergente \( p_2/q_2 \) de \( [1;2,2] \)?
- ¿Cuál es el valor de \( p_1 \) para la fracción continua \( [4;3,2] \)?
- Calcula el convergente \( p_2/q_2 \) de la fracción continua \( [1;3,2,4] \).
- Si \( [0;2,3,4] \) tiene convergentes \( p_n/q_n \), ¿cuál es \( q_3 \)?
- ¿Cuál es el valor de \( p_3/q_3 \) para \( [2;1,1,2] \)?
- Para \( [0;1,4,2] \), ¿cuál es el convergente \( p_3/q_3 \)?
- Sea \( x=[0;1,2,3,4] \). Calcula \( p_4/q_4 \) y determina cuál de las opciones es ese convergente.
Después de esto
Referencias
- David M. Burton, Elementary Number Theory, 7th edition, McGraw-Hill, 2011. cap. 15
- Ivan Niven, Herbert S. Zuckerman, Hugh L. Montgomery, An Introduction to the Theory of Numbers, 5th edition, Wiley, 1991. cap. 7