lunes, 16 de septiembre de 2019

Números de Polignac



Estos números se definen a partir de la conjetura de Polignac, que pronto se descubrió que era falsa. Afirma que todo número impar es suma de un primo y de una potencia de 2. Números tan pequeños como 127 no la cumplen, por lo que duró poco como conjetura.

Llamaremos número de Polignac a aquel número impar que no cumpla la conjetura explicada, que no pueda expresarse como p+2x. Se supone implícitamente que x puede valer 0, porque en ningún listado se toma el 3 como número de Polignac, ya que 3=2+2⁰

Son números de Polignac el 1 y el ya citado 127.

En este blog insertamos cuanto antes elementos de búsqueda, por lo que procede ahora el diseñar una función que nos indique si un número es de Polignac o no. 

No resulta difícil, porque las potencias de 2 crecen con rapidez y su cota es la llamada valuación del número N respecto a 2, que es el máximo exponente de una potencia de 2 que sea igual o menor que el número. Es fácil ver que se obtiene como INT(log(N)/LOG(2)). Con esa cota, vamos construyendo potencias de 2, y si al restar del número N resulta un número primo, será señal de que no es un número de Polignac.

El listado de la función puede ser el siguiente:

Function espolignac(n) as boolean
dim x
dim vale as boolean

vale=false:x=1 ‘El valor 1 es el inicio de las potencias de 2
if n/2<>n\2 then ‘Examina si el número es impar
while x<=n and not vale ‘Se recorren las potencias de 2
if esprimo(n-x) then vale=true ‘Criterio de Polignac
x=x*2 ‘Siguiente potencia de 2
wend
espolignac=not vale
else
espolignac=false ‘Si es par, no es de Polignac
end if

end function
Puedes conseguir nuestra función “esprimo” si buscas en Google “función esprimo hoja

Con esta función es fácil encontrar números de Polignac. En la imagen tienes los primeros, obtenidos con hoja de cálculo:



Están publicados en http://oeis.org/A006285

A006285                            Odd numbers not of form p + 2^x (de Polignac numbers).
(Formerly M5390)                          
1, 127, 149, 251, 331, 337, 373, 509, 599, 701, 757, 809, 877, 905, 907, 959, 977, 997, 1019, 1087, 1199, 1207, 1211, 1243, 1259, 1271, 1477, 1529, 1541, 1549, 1589, 1597, 1619, 1649, 1657, 1719, 1759, 1777, 1783, 1807, 1829, 1859, 1867, 1927, 1969, 1973 (list; graph; refs; listen; history; text; internal format)

Esta lista se puede reproducir con el lenguaje PARI. El código propuesto en la página citada es algo difícil de entender, por lo que se puede acudir  a este otro:

espolignac(n)={x=1;if(n/2 <> n\2,v=0;while(x<=n&&v==0, r=n-x; if(isprime(r), v=1); x=2*x);e=1-v,e=0);e}
for(n=1,1000,if(espolignac(n),print(n)))
Entre ellos existen primos y compuestos. También figuran en el listado algunos números impares consecutivos, como 905 y 907.

Erdös probó que existen infinitos números de este tipo, como los que tienen la forma 1260327937 + 2863311360k. Puedes leer su fórmula en http://www.bitman.name/math/article/388

Disponiendo de la función espolignac no es difícil encontrar los pares de números de Polignac consecutivos en este listado. Los primeros, menores de 10000, son estos:


Entre los números de Polignac, como ya se ha indicado, existen muchos primos. Los primeros son los siguientes:

127, 149, 251, 331, 337, 373, 509, 599, 701, 757, 809, 877, 907, 977, 997, 1019, 1087, 1259, 1549, 1597, 1619, 1657, 1759, 1777, 1783, 1867, 1973, 2203, 2213, 2293, 2377, 2503,...

Están publicados en http://oeis.org/A065381


Aportación de este blog

Semiprimos

También hay semiprimos entre los números de Polignac. Los primeros son:

905, 959, 1199, 1207, 1211, 1243, 1271, 1477, 1529, 1541, 1589, 1649, 1807, 1829, 1927, 1969, 1985…

Basta añadir a la condición espolignac la de ser semiprimo.

Con PARI podemos ampliar la lista, ya que los semiprimos se identifican porque su función bigomega es igual a 2.

espolignac(n)={x=1;if(n/2 <> n\2,v=0;while(x<=n&&v==0, r=n-x; if(isprime(r), v=1); x=2*x);e=1-v,e=0);e}
for(n=1,10000,if(espolignac(n)&&bigomega(n)==2,write1("final.txt",n,", ")))


Así quedaría el listado hasta 10000:

905, 959, 1199, 1207, 1211, 1243, 1271, 1477, 1529, 1541, 1589, 1649, 1807, 1829, 1927, 1969, 1985, 2171, 2231, 2263, 2279, 2429, 2669, 2983, 2993, 3029, 3149, 3215, 3239, 3341, 3353, 3431, 3505, 3665, 3817, 3845, 3985, 4063, 4151, 4195, 4573, 4589, 4633, 4717, 4781, 4811, 4841, 4843, 4855, 5143, 5609, 5617, 5729, 5731, 5755, 5761, 5771, 5917, 5951, 6001, 6065, 6119, 6161, 6193, 6283, 6403, 6433, 6463, 6509, 6535, 6539, 6731, 6757, 6821, 6941, 7169, 7199, 7289, 7319, 7343, 7379, 7387, 7405, 7431, 7747, 7783, 7799, 7807, 7811, 7813, 7913, 7961, 8023, 8031, 8141, 8159, 8257, 8399, 8411, 8587, 8621, 8873, 8915, 8921, 8981, 9101, 9115, 9307, 9517, 9557, 9569, 9641, 9809, 9959,

Como curiosidad, ninguno de los primeros números del listado es múltiplo de 3. Hay que esperar a llegar a 7431 y 8031 para que aparezca.

De igual forma se pueden buscar otros tipos.

Cuadrados:



Triangulares



Entre la sucesión de Fibonacci solo hemos encontrado dos (con cota 100000), el 1 y el 1597.

Como no se advierte ninguna propiedad especial, lo dejamos por ahora.


miércoles, 4 de septiembre de 2019

Sigue el mismo tipo al duplicar las unidades



El número 144 es cuadrado, 144=122, y si duplicamos su última cifra resulta otro cuadrado, pues 1444=38¿Ocurrirá esto con otros cuadrados? ¿Existirán ejemplos similares con números primos, triangulares y de otro tipo? Lo estudiamos.

Cuadrados
Los únicos cuadrados que presentan duplicadas sus dos últimas cifras son los terminados en 44 o en 00. No existirán casos con otras cifras. Lo vemos detenidamente:
Las terminaciones de los números cuadrados son 0, 1, 4, 5, 6 y 9. En los casos 1, 5, 6 y 9 es imposible la terminación en 11, 55, 66 o 99. En todos los razonamientos llamaremos a a la cifra de las decenas de la posible raíz cuadrada.
Un número terminado en 1 o en 9 no puede producir un cuadrado terminado en 11, pues si termina en a1, su cuadrado lo hará en (2a)1, y 2a no puede valer 1, y si termina en 9, el cuadrado de a9 terminaría en (18a+8)1, y tampoco podría terminar en 11. Desechamos, pues la terminación 11.
La 55 tampoco es posible terminación de cuadrado, pues si un número termina en a5, su cuadrado lo hará en (10a+2)5, y el paréntesis par no puede producir un 5 en las decenas.
Para producir un 66 la raíz cuadrada ha de terminar en a6 o en a4. En el primer caso el cuadrado terminaría en (12a+3)6, y el paréntesis no puede terminar en 6. En el otro caso sería (8a+1)6, que tampoco produce 66.
La 99 provendría de un número terminado en a3 o en a7, y su cuadrado terminaría en (6a)9 en el primer caso y (14a+4)9 en el segundo, lo que imposibilita el 99 como terminación.
La terminación en 00 para un cuadrado provendría de una raíz cuadrada terminada en 0. Hasta aquí bien, pero para la cuestión que nos ocupa debería también ser un cuadrado, con lo que tendría un número par de ceros, y al añadirle otro cero sería un número impar, que no podría ser cuadrado.
Por tanto, la única duplicación de unidades que produce un cuadrado es la 44. Si deseamos más casos además del 144 deberemos buscar entre los cuadrados terminados en 4.
Búsqueda de cuadrados del tipo dado
Lo iniciaremos en Basic de Excel para abordar el tema y extenderlo más tarde a otros casos. Usaremos la función sigueigual, que iremos adaptando a lo largo del estudio. Para cuadrados puede ser esta:
Public Function sigueigual(n) as boolean
Dim a, c

c = n Mod 10 ‘Encuentra la cifra de las unidades
If c <> 4 Then sigueigual = False: Exit Function ‘Si no termina en 4, lo dejamos
a = n * 10 + c ‘Formamos la duplicación de las unidades
If escuad(n) And escuad(a) Then sigueigual = True Else sigueigual = False
‘Si el número es cuadrado antes y después de duplicar, vale
End Function

La función escuad puede tener este código:
Public Function escuad(n) As Boolean
'Determina si n es un cuadrado

If n < 0 Then
escuad = False
Else
If n = Int(Sqr(n)) ^ 2 Then escuad = True Else escuad = False
End If
End Function

Probamos los primeros números con esta función y solo nos resulta la solución 144 y 1444, por lo que necesitamos una herramienta más potente, como el lenguaje PARI. Usaremos solo cuadrados, con lo que la búsqueda será más rápida. El listado que usaremos es este:
for(i=1, 1000000000, n=i*i; q=n%10; if( q==4, r=q+n*10; if(issquare(r),  print1(n,", ",sqrtint(n),", ",r,", ",sqrtint(r)))))
Para cada valor de la variable i forma su cuadrado n. Si termina en 4, se duplica la cifra de las unidades para formar la variable r y si es un cuadrado, hemos encontrado la solución. Con este código aparece la solución 144, 1444, y también dos más:
144, 12, 1444, 38, 432374632704, 657552, 4323746327044, 2079362, 899063381008862784, 948189528, 8990633810088627844, 2998438562,…
(Escribimos en cursiva las raíces cuadradas del término anterior)
Vemos que son escasos los cuadrados con esta propiedad. Con un poco de paciencia se podrían buscar más soluciones, pero con las tres dadas se advierte su rareza.
Estos números (los que son raíces cuadradas del segundo cuadrado, como 2998438562) pertenecen a la sucesión http://oeis.org/A239364, que son soluciones de la ecuación de Pell x2-10y2=4, que viene a exigir que al añadir un 4 a un cuadrado y2 se convierta en otro cuadrado x2, pero en la sucesión indicada figuran otras soluciones, que son las que no terminan en 44.

Primos

Podemos ir adaptando la función sigueigual según el tipo de números que estudiemos. En el caso de los primos podría ser:

Public Function sigueigual(n)
Dim a, c

c = n Mod 10
a = n * 10 + c
If esprimo(n) And esprimo(a) Then sigueigual = True Else sigueigual = False
End Function

Resultan estos primeros ejemplos, que, como vemos, son mucho más frecuentes que los cuadrados:
19, 23, 31, 43, 59, 67, 73, 97, 103, 127, 139, 149, 151, 173, 181, 193, 199, 211, 233, 239, 241, 263, 269, 271, 277, 283, 349, 353, 367, 373, 383, 409, 421, 479, 487, 499, 509, 523, 547, 571, 601, 613, 619, 631,…

Por ejemplo, 173 es primo y 1733 también.

Con PARI basta con un código muy simple:

forprime(n=2, 2000, p=(n%10)+n*10; if(isprime(p), print(n,", ")))

Puedes experimentar con él aumentando el rango de búsqueda, que en el listado va de 2 a 2000. Observa lo útil que es la instrucción forprime.

Triangulares

En el caso de los triangulares volvemos a la escasez de resultados. En la siguiente versión de sigueigual usamos la condición para que n sea triangular, y es que 8*n+1 sea cuadrado:

Public Function sigueigual(n)
Dim a, c

c = n Mod 10
a = n * 10 + c
If escuad(8 * n + 1) And escuad(8 * a + 1) Then sigueigual = True Else sigueigual = False
End Function

En una primera búsqueda obtenemos cuatro soluciones: 6, 66, 171 y 1540.
Para encontrar otros ejemplos necesitamos usar PARI, como es costumbre en este blog:

for(i=1, 10000000000, n=i*(i+1)/2;q=n%10;r=q+n*10; if(issquare(8*r+1), print1(n,", ")))

En primer lugar construimos un triangular mediante su definición, n=i*(i+1)/2, y después le adosamos el último dígito y comprobamos que sigue siendo triangular mediante la prueba issquare(8*r+1).

De esta forma obtenemos más soluciones:

6, 66, 171, 1540, 21454525, 43809480, 1395379509846, 5671003058155, 337549427259780, 39693585656707986,…

No son tan escasos como los cuadrados, pero se ve que aparecerán de forma aislada.

Oblongos

Ya que hemos recorrido los tipos más estudiados, completamos con alguno más. Por ejemplo, con los oblongos.

Como estos números son dobles de un triangular, el criterio del 8*n+1 que estudiamos anteriormente se modifica en que sea cuadrada la expresión 4*n+1. Así quedaría sigueigual:

Public Function sigueigual(n)
Dim a, c

c = n Mod 10
a = n * 10 + c
If escuad(4 * n + 1) And escuad(4 * a + 1) Then sigueigual = True Else sigueigual = False
End Function

Las dos primeras soluciones que nos da esta función, 342 y 3080, resultan ser dobles de dos soluciones para triangulares, como son 171 y 1540.

Si ampliamos usando PARI comprobamos que estos ejemplos son también escasos:

342, 3080, 225150, 87618960, 711635652, 6404720870, 182191536189390, 675098854519560,…

Con esto ya tenemos una idea de lo que da de sí esta cuestión. Lo dejamos aquí.



jueves, 27 de junio de 2019

Iteración basada en la suma de cuadrados de cifras (4) -Otras iteraciones

Suma y resta de los cuadrados de las cifras

Estudiamos en esta entrada una iteración que es una composición de dos ya estudiadas (ver entradas inmediatamente anteriores). Consiste en sumar a cada término la suma de los cuadrados de sus cifras y después restar al resultado ese cuadrado aplicado a sus propias cifras.

Por ejemplo, si a(n)=234, haremos b=234+22+32+42=263, y restaremos a b el cuadrado de sus cifras para obtener el siguiente término, a(n+1)=263-22-62-32=214.


En esta operación habrá números, como el anterior, que disminuirán su valor, otros lo aumentarán y algunos lo conservarán, como 3114, que al aplicarle la iteración resulta: b=3114+9+1+1+16=3141, y este se convierte en 3141-9-1-16-1=3114. En estos casos la suma de cuadrados es la misma en a(n) y en a(n+1).

Podíamos llamar “exceso cuadrático” a la diferencia entre la suma de cuadrados de las cifras de un número y el resultado de aplicar la misma operación a la suma del número con los cuadrados de sus cifras. Suponemos que calculamos la diferencia el segundo resultado menos el primero.

Así, 234, tendría un exceso cuadrático de 22+62+32-22-32-42=20. Por eso, en la iteración disminuye de 234 a 234-20=214. Los números con exceso cuadrático positivo se hacen menores en la iteración.

3114 tendría exceso cuadrático 0, por lo que es invariante.

129 tendría exceso negativo, ya que 129+1+4+81=215 y 22+12+52=30, es menor que 12+22+92=86. Por eso, 129 aumenta en la iteración, pues se convertiría en 129+86-30=185.

Existen muchos más números que disminuyen, por lo que esta iteración converge o entra en un ciclo, al igual que la anteriores.

Las iteraciones van terminando en los invariantes (ver listado más abajo) o en ciclos de dos, como 752 con 757, de tres, como 9125, 9106, 9119. Necesitamos una función que nos diga en qué ciclo se termina.

Detector de ciclos (solo hasta 100)

Public Function esciclosumacuad(n)
Dim p, q, r, p1
Dim es As Boolean

p = n: r = 0: es = False
While r < 100 And Not es
p1 = p + sumacifras(p, 2)
q = p1 - sumacifras(p1, 2)
If q = n Then es = True
p = q
r = r + 1
Wend
If es Then esciclosumacuad = r Else esciclosumacuad = 0
End Function

Con ella descubrimos los ciclos de longitud 1, invariantes

Los primeros invariantes son:

0, 9, 205, 212, 217, 366, 457, 663, 1314, 1315, 1348, 1672, 1742, 1792, 1797, 2005, 2012, 2017, 2129, 2201, 2208, 2213, 2216, 2305, 2404, 2405, 2465, 2564, 2565, 2671, 2741, 2748, 2789, 2829, 3114, 3115, 3205, 3303, 3306, 3394, 3436, 3475, 3696, 3819, 4204, 4205, 4245, 4347, 4475, 4542, 4629, 4647, 4688,...

Los puedes reproducir también con PARI:

for(i = 0 , 5000 , a = i + norml2(digits(i)) ; b = a - norml2(digits(a)) ; if(i == b , print1(i , ", ")))

Los primeros ciclos de 2 los tienes en la tabla. Cada término de la primera columna forma ciclo con la cuarta:


Existen ciclos de 3, 4 o 5 elementos, e incluso 12, 18 o 19. Es mucha variedad, lo que le quita interés. Para números comprendidos entre 0 y 50000 la longitud máxima que he encontrado es 24.

Cocientes

Podemos dividir cada número entre la suma de sus cifras al cuadrado, pero al llegar al elemento 0, obtendríamos divisiones imposibles. Por eso añadiremos una unidad, con lo que resulta otra iteración que desemboca en un ciclo.

Usaremos, pues la fórmula (en hoja de cálculo):

A(n+1)=ENTERO(A(n)/SUMACIFRAS(A(n);2))

Esta iteración presenta un desarrollo muy simple, pues en pocos pasos desembocamos en el ciclo {1, 2}, ya que 1+ENTERO(1/1^2)=2 y 1+ENTERO(2/2^2)=1

Existe la iteración con el cociente invertido:

A(n+1)=1+ENTERO(SUMACIFRAS(A(n);2)/A(n))

Esta es muy curiosa, pues recorre el ciclo formado por los diez primeros números naturales.

En efecto, si se entra en el 1, 2,…10 en cualquier paso de la iteración, ya no se abandona el ciclo. Lo vemos:


1+ENTERO(1^2/1)=2, 1+ENTERO(2^2/2)=3 y 1+ENTERO(a^2/a)=a+1, siendo a<10, y, por último, 1+ENTERO((1^2+0^2)/10)=1

Aquí tienes un volcado de pantalla en el que se comprueba. Contiene los primeros pasos en la iteración en varios números consecutivos:


Los números de cuatro o más cifras son mayores que la suma de cuadrados de sus cifras, luego en ellos el ciclo aparecerá en el primer paso:


Con esta entrada finaliza nuestra serie sobre los cuadrados de las cifras. Proximamente crearemos una publicación sobre el tema.

También con ella damos por terminado el curso 2018-19. En septiembre volvemos. Feliz verano.



miércoles, 19 de junio de 2019

Iteración basada en la suma de cuadrados de cifras (3) - Diferencias



Diferencias con la suma de cifras al cuadrado

Las iteraciones estudiadas en nuestras dos anteriores entradas las podemos completar con otras similares ideadas por mí, que no parecen haber sido estudiadas hasta ahora. 

La iteración propuesta consiste que, en lugar de transformar un número en la suma con los cuadrados de sus cifras, lo hagamos con la diferencia, en valor absoluto, entre el número y esa suma de cifras al cuadrado. El uso del valor absoluto se justifica porque algunos números son mayores que la suma de esos cuadrados, como 21>2^2+1^2 y otros menores, como 2>2^2. De esa forma nos aseguramos que el resultado sea positivo y también que sea siempre menor (salvo el caso trivial de 0) que la suma de cifras al cuadrado estudiada en la entrada anterior.

Todo el contenido de la demostración enlazada en anteriores entradas (http://fermatslibrary.com/s/a-set-of-eight-numbers#email-newsletter) se puede adaptar a esta nueva iteración, en el sentido, que ya veremos, de terminar en ciclos similares a los que se producen iterando sólo con los cuadrados.

Necesitamos la función SUMACIFRAS(n;2), ya estudiada en esas entradas, con el parámetro 2 para que se sumen los cuadrados, sólo que ahora usaremos ABS(SUMACIFRAS(N;2)-N) en la iteraciones. Por ejemplo:

34 se convierte en abs(3^2+4^2-34)=9

9, a su vez en 81-9=72, y así podemos proseguir:



Observamos que entramos en el ciclo 18, 47, 18, 47,…En otros ejemplos se llega al ciclo 21, 16, 21, 16,…

Otras iteraciones terminan en 0, como la siguiente:


Por último, otras terminan en 2 como invariante (2=abs(2-2^2))


Hemos probado muchos números y en ellos sólo existen cuatro finales posibles en los ciclos {0}, {2}, {16,21} y {18, 47}. Lo dejamos como conjetura, pero es seguro que existe una demostración similar a la de la iteración de las anteriores entradas.

Con la función   ESCICLODIFCUAD también hemos explorado los posibles ciclos. Su objetivo es descubrir si un número N es comienzo de ciclo. Su listado es:

Public Function esciclodifcuad(n)
Dim p, q, r
Dim es As Boolean

p = n: r = 0: es = False
While r < 100 And Not es
q = Abs(p - sumacifras(p, 2)) ‘Efectúa la iteración
If q = n Then es = True ‘Si se repite el valor de n, es inicio de ciclo
p = q
r = r + 1 ‘Cuenta las iteraciones
Wend
If es Then esciclodifcuad = r Else esciclodifcuad = 0
End Function

Con ella hemos comprobado, con una cierta seguridad (no total) que los únicos números inicio de ciclo son los presentados:


Como curiosidad señalaremos que en números mayores que 10000 las iteraciones presentan mucho más recorrido, una órbita más larga hasta llegar al ciclo.

Variante

Podemos restar el doble de la suma de cuadrados de las cifras, que convergerá más rápidamente que la anterior. Encontraríamos entonces que se llega al ciclo {78, 148, 14, 20, 12, 2, 6, 66}, o al ciclo {7, 91, 73, 43} o a los invariantes 0 y 1.

Por ejemplo, en el primer ciclo se daría:

Abs(78-2*(49+64))=2*113-78=226-78=148
Abs(148-2*(1+16+64))=162-148=14

Y así seguimos hasta

Abs(6-2*36)=72-6=66
Abs(66-2*(36+36))=144-66=78

Y esto completa el ciclo.

Usando un “buscador de ciclos” similar al de la iteración anterior, lo comprobamos:





martes, 11 de junio de 2019

Iteración basada en la suma de cuadrados de cifras (2) Números felices



En la iteración de la entrada anterior de esta serie (es importante su repaso), los números que desembocan en la unidad reciben el nombre de “números felices”. Por ejemplo, el 129, que en la iteración de sumar los cuadrados de sus cifras recorre la siguiente órbita:


Como era de esperar, el 1 es un punto fijo, y 129 se considera “número feliz”.

Estos números son populares en las distintas divulgaciones de temas de números.

La lista de los primeros está contenida en http://oeis.org/A007770  

1, 7, 10, 13, 19, 23, 28, 31, 32, 44, 49, 68, 70, 79, 82, 86, 91, 94, 97, 100, 103, 109, 129, 130, 133, 139, 167, 176, 188, 190, 192, 193, 203, 208, 219, 226, 230, 236, 239, 262, 263, 280,…

Esta sucesión se corresponde con la primera de las nueves clases de equivalencia que estudiamos en la entrada anterior:


En la página OEIS citada puedes leer consideraciones muy sencillas sobre estos números. Hemos adaptado tres:


  •  L Las potencias de 10 son números felices, pues desembocan en 1 con una sola iteración. Esta propiedad garantiza la infinitud de la sucesión de números felices. De igual forma, los números del tipo 2*10^k producen un 4 en la primera iteración, con lo que entran en ciclo. Por ello los números no felices también son infinitos.
  •       Si n es un número feliz, también lo son los obtenidos a partir de él insertando ceros entre sus cifras, o alterando el orden de estas.
  •      Si n es feliz, el número formado por n unos, 111..1111 también lo es, porque en la primera iteración produce n.

Función para detectar números felices

La función ciclocuad que se usó en la entrada anterior para clasificar los números en esta iteración se puede adaptar fácilmente al caso en el que el final esperado sea un 1. Bastará iterar sobre el número mientras sea mayor que 6. Si desemboca en 2, 3, 4, 5 o 6, no es feliz (ver las clases de equivalencia de la entrada anterior), pero si lo hace en 1, ya sabremos que lo es:

Public Function esfeliz(n) As Boolean
Dim m
m = n 'Recogemos la variable n para su manipulación
If m = 1 Then esfeliz = True: Exit Function ‘Si es 1, es feliz
While m > 6  ‘Todos los felices salvo el 1 son mayores que 6
m = sumacifras(m, 2)  ‘Iteramos sobre m hasta que sea menor que 6 (será 4 o 1)
If m = 1 Then esfeliz = True Else esfeliz = False 'Si el final es un 1, es que n es feliz
Wend
End Function

Con esta función podemos determinar si un número es feliz o no. Aquí tienes los resultados para los primeros números de tres cifras:


Coincide con el listado, en el que figuran 100, 103 y 109

Podemos construir un pequeño esquema que nos indique si un número es feliz o no:

En la imagen hemos aplicado la función a 4599, con resultado afirmativo:


En efecto, la iteración desemboca en un 1:


Podemos modificar la función esfeliz para que nos devuelva un cero si el número no es feliz, o el número de iteraciones si lo es. Quedaría así:

Public Function orbitafeliz(n)
Dim m, k
m = n  ‘La variable m recoge el valor de n
k = 0 ‘Contador de iteraciones
If m = 1 Then orbitafeliz = 0: Exit Function ‘Si m=1, no necesita iteración
While m > 6
m = sumacifras(m, 2)
k = k + 1
Wend
If m = 1 Then orbitafeliz = k Else orbitafeliz = 0
End Function

Aplicada esta función a los números del 100 al 110 nos confirma que los únicos felices son 100, 103 y 109, con longitudes de órbita respectivas de 1, 2 y 4:


La longitud de la órbita no suele ser muy grande. El primer número con 6 iteraciones es el 356 y con 7 iteraciones el 78999.

Felices consecutivos

Con la función esfeliz se puede organizar con hoja de cálculo una búsqueda de felices consecutivos. Aquí tienes los primeros pares:


Los números menores de cada par están publicados en http://oeis.org/A035502

Feliz doble de otro

Podemos seguir jugando con la idea de número feliz. En esta tabla figuran números felices en los que uno es el doble del otro:


Dentro de esta sucesión existen números en los que n, 2n y 4n son felices:


Entre ellos algunos incluyen 8n como feliz:


Puedes buscar casos parecidos, que con la función ESFELIZ propuesta no son difíciles de encontrar.

Feliz cuadrado de otro

En estos pares el segundo feliz es el cuadrado del otro:


Estos están publicados en http://oeis.org/A280966

Primos felices

Si unimos las funciones esprimo y esfeliz obtendremos la sucesión de primos felices:

7, 13, 19, 23, 31, 79, 97, 103, 109, 139, 167, 193, 239, 263, 293, 313, 331, 367, 379, 383, 397, 409, 487, 563, 617, 653, 673, 683, 709, 739, 761, 863, 881, 907, 937, 1009,…

También están publicados en OEIS (http://oeis.org/A035497)

No se sabe si existen infinitos primos felices.


lunes, 3 de junio de 2019

Iteración basada en la suma de cuadrados de cifras (1)


Por motivos de planificación de mis publicaciones, en este mes de junio publicaré las entradas correspondientes al tema de iteraciones basadas en el cuadrado de las cifras de un número, incluyendo en ellas el tema de los números felices. El resto de temas habituales quedan para después del verano.

En esta entrada de la serie de “vueltas” sobre los cuadrados de las cifras de un número, reproduciremos una curiosidad publicada por Fermat’s Library en Twitter el día 24 de abril de 2018:


Consiste la curiosidad en que si a un número cualquiera le sumas los cuadrados de sus cifras y reiteras la operación, terminarás en el valor 1, que sería invariante (y terminaría el proceso), o bien entraríamos en el ciclo {4, 16, 37, 58, 89, 145, 42, 20}

No se trata de una conjetura. La demostración se encuentra en


Puedes visitar estas direcciones para encontrar más referencias a estas iteraciones:


Como la cuestión está resuelta, salvo mejorar la demostración, aquí sólo nos queda construir una herramienta de hoja de cálculo para recorrer el proceso explicado. Es una tarea sencilla, por lo que la completaremos con el cálculo del número de iteraciones necesarias para llegar al 1 o al ciclo y también por qué número se entra en ese ciclo. 

En la imagen vemos que el número 2398 entra en el ciclo a través del número 37 y lo consigue en la sexta iteración.


En este otro ejemplo, el 79 llega al 1 en la tercera iteración:


Podríamos construir una función que nos devolviera el número de iteraciones y el valor de entrada al ciclo (o el 1). El problema radica en que sería una función con dos resultados, el número de iteraciones y el elemento por el que entra al ciclo. La definición de funciones tipo array en hoja de cálculo no es trivial, por lo que concatenaremos ambos números mediante una cadena de caracteres.

Como en otras muchas entradas que tratan de cifras, es conveniente eliminar el espacio en blanco que Excel y Calc añaden a los números positivos. Para ello usaremos la función AJUSTA, ya usada en este blog varias veces. Convierte el número en una cadena de caracteres sin espacios en blanco.

Function ajusta$(a)
Dim d$

d$ = Str$(a)
While Left$(d$, 1) = " "
d$ = Right$(d$, Len(d$) - 1)
Wend
ajusta$ = d$
End Function

Con ella podemos construir la función deseada. Hay que estudiar su listado con atención:

Public Function ciclocuad$(n)
Dim a$, c$, s$
Dim k, m, i, j
Dim final As Boolean

m = n ‘Se recoge la variable n en otra m para su manipulación
a$ = " 1 4 16 37 58 89 145 42 20 " ‘Conjunto formado por el 1 y los ocho números del ciclo
c$ = “ “+ajusta(m)+” “ ‘Las tres líneas siguientes detectan si m pertenece al ciclo
i = InStr(a$, c$)
If i > 0 Then ciclocuad = "$0#0$": Exit Function ‘Si pertenece, devolvemos dos ceros
final = False
j = 0
While Not final
m = sumacifras(m, 2) ‘Se sustituye el número m por la suma de cuadrados de sus cifras
j = j + 1
c$ = " " + ajusta(m) + " " ‘Se rodea el número de espacios en blanco para buscar en c$
i = InStr(a$, c$) ‘Si pertenece al conjunto, la variable i será mayor que 0
If i > 0 Then
final = True ‘Fin de la iteración
s$ = "$" + ajusta(j) + "#" + ajusta(m) + "$" ‘Los valores se rodean con # y $
End If
Wend
ciclocuad = s$
End Function

Para cada número aparecerá un resultado del tipo $6#58$, en el que 6 sería el número de iteraciones y 58 la entrada al ciclo. Se ha construido así para facilitar búsquedas posteriores.

Por ejemplo, para buscar los primeros números que entran en el ciclo a través del número 58 bastará buscar en el resultado de ciclocuad$ el trozo de cadena #58$, y para encontrar los que necesitan tres iteraciones buscaremos $3#. Esto explica que se hayan insertado esos caracteres.

Aquí tienes los primeros números que entran en el ciclo a través del 58:



Y estos los que necesitan tres iteraciones:


Según lo estudiado, los números se clasificarán en nueve clases de equivalencia según la entrada que tengan en el ciclo. Aquí tienes los primeros:


Puedes comprobar que todos los números pequeños pertenecen a una de las nueve clases de equivalencia. Dentro de la misma clase figurarán los números formados con las mismas cifras. Así, 145, 154, 415, 514, comparten la clase 42.
Se observa que con entrada en 37 y 89 hay muchos más, ya que el nuestro listado termina en 75 y 36 respectivamente. La más escasa se ve que es la correspondiente a 20.

Podemos, con un poco de paciencia, contar, por ejemplo, los que hay de cada clase del 1 al 2000:


Se percibe claramente el desequilibrio en las frecuencias. En la siguiente entrada estudiaremos un caso particular de esta iteración, como son los números felices.