¿Alguien ha visto "fracciones continuadas al alza", como $$ \frac{1+\large{\frac{1+\large{\frac{1+...}{a_2}}}{a_1}}}{a_0} \quad? $$
Se pueden formar, para cualquier número real $x$ con $0<x\le 1$ definiendo $x_0:=x$ e inductivamente $$ a_n:=\lfloor{x_n}\rfloor+1\qquad\text{and}\qquad x_{n+1}:=a_nx_n-1. $$ Es fácil comprobar que $1\le a_1\le a_2\le a_3\le\dots$ y que la secuencia de $a_i$ es finalmente constante si y sólo si $x$ es racional. Este procedimiento da lugar a expresiones como la mostrada anteriormente, ya que $$ x = \frac{1+x_1}{a_0}=\frac{1+\large{\frac{1+x_2}{a_1}}}{a_0} =\frac{1+\large{\frac{1+\Large{\frac{1+x_3}{a_2}}}{a_1}}}{a_0} = \cdots $$ Los he buscado en google, wikipedia y textos estándar como el de Perron, pero no los he encontrado. ¿Se han estudiado? Lo pregunto porque un estudiante de secundaria las ha inventado hoy ante mis ojos, y me gustaría contarle lo que ha redescubierto (suponiendo que de hecho se hayan estudiado antes).
0 votos
Sí, existen, pero no se utilizan mucho.
1 votos
@Lucian: ¿podrías darme una referencia o palabra clave?
2 votos
Creo que una de las grandes razones por las que son más raras es porque el hecho de que se pueda "distribuir" la división significa que se pueden escribir de forma equivalente como $\frac1{a_0}+\frac1{a_0a_1}+\frac1{a_0a_1a_2}+\cdots$ . Juraría que he visto alguna discusión sobre esto último, particularmente en conjunción con la serie para la exponencial (nótese que el ajuste $a_i=i+1$ le da una "fracción continua" para $e$ ), pero tendré que buscar las referencias.
2 votos
¡Ahh! Aquí está. Esto es aparentemente conocido como el Ampliación de Engel : es.wikipedia.org/wiki/Engel_expansion
0 votos
Además, felicito a tu alumno por haber dado con la idea, ¡es una gran idea!
2 votos
@Steven: gracias por la respuesta, y por los elogios - lo que el estudiante hizo fue incluso más impresionante de lo que parece, ya que no le dimos ninguna información de fondo y simplemente le pedimos que demostrara el día 1 que para cualquier número real positivo $a,b$ existen enteros no nulos $p,q$ con $|qa-p|<b$ . Inventó estas expansiones de Engel en el momento, y las utilizó para demostrar lo que le pedimos.