Se considera el siguiente proceso: (1) escribir los 5 primeros números primos, (2) restar cada dos números consecutivos, escribiendo los resultados en valor absoluto, hasta quedarse con un único número se obtiene la siguiente tabla:
|
|
2, 3, 5, 7, 11 1, 2, 2, 4 1, 0, 2 1, 2 1 |
Se observa que todas las filas comienza con el número 1.
Repitiendo el proceso empezando con los 8 primeros números primos se obtiene la siguiente tabla:
|
|
2, 3, 5, 7, 11, 13, 17, 19 1, 2, 2, 4, 2, 4, 2 1, 0, 2, 2, 2, 2 1, 2, 0, 0, 0 1, 2, 0, 0 1, 2, 0 1, 2 1 |
Se observa que, de nuevo, todas las filas comienza con el número 1.
La conjetura de Gilbreath afirma que si escribimos la sucesión de números primos completa y después construimos las correspondientes sucesiones formadas por el valor absoluto de la resta de cada pareja de números consecutivos, entonces todas esas filas que obtenemos comienzan siempre por 1.
En los siguiente ejercicios comprobaremos experimentalmente con Haskell dicha conjetura. Para la representación, usaremos la simétrica de la que
hemos comentado anteriormente; es decir,
|
|
2 3, 1 5, 2, 1 7, 2, 0, 1 11, 4, 2, 2, 1 13, 2, 2, 0, 2, 1 17, 4, 2, 0, 0, 2, 1 19, 2, 2, 0, 0, 0, 2, 1 |
en la que la primera columna son los números primos y el elemento de la fila i y columna j (con i, j > 1) es el valor absoluto de la diferencia de los elementos (i,j-1) e (i-1,j-1).
La relación de ejercicios (elaboradad para la asignatura de Informática de 1º del Grado en Matemáticas y para la siguiente versión del libro Piensa en Haskell) es
Read More “PeH: La conjetura de Gilbreath en Haskell”