Esta pregunta es más que nada curiosidad ociosa, y desde luego no está relacionada con ninguna actividad de investigación propia. La motivación y los antecedentes son los siguientes. Actualmente imparto un seminario de primer año en el que uno de los textos principales es el libro de Hofstadter Gödel, Escher, Bach . En uno de sus diálogos, la Tortuga explica que ha encontrado un contraejemplo al Último Teorema de Fermat, y el exponente $n$ en cuestión es el único número entero positivo que no aparece en la expansión de fracciones continuas de $\pi$ - y esta información es suficiente para que usted también la encuentre.
Esto es más gracioso si lo siguiente fuera cierto en el momento de escribir GEB (1978):
(a) se creía, pero no se sabía, que todos los números enteros positivos aparecen en algún lugar de la expansión continua de fracciones de $\pi$ ;
(b) demostrarlo estaba muy por encima de la tecnología de la época, e incluso decir algo útil sobre qué números aparecen y cuáles no (más allá de calcular los primeros números que aparecen) parece interminable.
Basándome en lo poco que sé sobre problemas similares, mi opinión es que (a) y (b) son ambas ciertas, y siguen siéndolo hoy en día. Las pruebas de esta impresión son Secuencia OEIS A225802 . Pero esto está lejos de mi área de especialización. Por lo tanto, mis preguntas son:
- ¿Eran (a) y (b) ciertas en 1978?
- ¿Siguen siendo ciertas hoy en día?
6 votos
Espero que alguien pueda ampliarlo (para que sea más adecuado como respuesta formal), pero la versión rápida es sí: (a) y (b) eran ciertas en 1978 y siguen siéndolo hoy.
1 votos
Se conjetura que la media geométrica de estos coeficientes de valor entero es Constante de Kinchin ~ 2,68545 ... la conjetura está bien fundamentada en la teoría ergódica
2 votos
¡Es un seminario intenso para novatos!
0 votos
@NateEldredge Bueno, en realidad no vamos a entrar mucho en las matemáticas, pero quiero ser capaz de dar una respuesta correcta si me preguntan.
0 votos
El mero hecho de tener GEB en la lista de lecturas lo sitúa en la categoría de "intenso" por lo que a mí respecta :)