A ambas respuestas hasta ahora les falta una observación explícita que haga que este problema sea trivial:
- Para cualquier número, digit_sum (x) proporciona el mismo resto que x módulo 9. (Esto se debe a [math] \ forall i: ~ 10 ^ i ~ \ bmod ~ 9 = 1 [/ math]. Una prueba bien conocida si un número es divisible por 9 se basa en esta observación).
- Para cualquier número de al menos dos dígitos, digit_sum (x) es menor que x, por lo que el proceso converge y en realidad siempre alcanza un número de un solo dígito.
Y eso es. Si comienza con [math] x [/ math], el dígito con el que terminará tiene el mismo módulo de resto 9 que [math] x [/ math]. Por lo tanto, el resultado es básicamente [matemática] x ~ \ bmod ~ 9 [/ matemática], excepto que será 9 siempre que el resto real sea 0.
Por lo tanto, todos los resultados 1 a 9 son igualmente frecuentes ; en realidad aparecen en un ciclo a medida que avanza por todos los números naturales en orden creciente.
Una oscura adición: la pregunta pregunta si algunos valores son más probables que otros. A esta pregunta literal, la respuesta sería: “No sabemos, y depende de la distribución de probabilidad elegida”. Es decir, la respuesta depende de cómo elija el número natural con el que comienza. Tenga en cuenta que no hay forma de elegir un número natural de manera justa (es decir, uniformemente al azar). Y como dato curioso, tenga en cuenta que algunas distribuciones de probabilidad “naturales” en enteros positivos / reales tienen algunas propiedades inesperadas: vea la ley de Benford como ejemplo.
- ¿Existe una fórmula / algoritmo para encontrar el radio de n círculos necesarios para llenar un área cuadrada?
- Álgebra lineal: ¿Es cierta la siguiente afirmación sobre el complemento ortogonal en un campo finito [matemática] Z_q ^ n [/ matemática]?
- ¿Por qué es cierto que si los rectángulos p se cruzan entre sí debe haber una región (tal vez tan pequeña como un punto) donde todos se superponen?
- ¿Cómo puedo encontrar el número de pares de enteros positivos [matemática] x, y [/ matemática] de modo que [matemática] x ^ 2 + 3y [/ matemática] y [matemática] y ^ 2 + 3x [/ matemática] son ambos números cuadrados perfectos?
- ¿Cuál es la forma intuitiva más fácil de resolver problemas de valor esperado como “Determinar el número esperado de caras en n lanzamientos de monedas”?