1. Introducción

En ’’Cajas con diferencias I’’ estudiamos las cajas con diferencias construidas a partir de cuatro números enteros. Por comodidad, llamaremos cuatro números $(a,b,c,d)$ escritos entre paréntesis una 4-tupla.

Mostramos que en el juego —consistente en reemplazar $(a,b,c,d)$ por $(dist(a,b),dist(b,c),dist(c,d),dist(d,a))$ y comenzar de nuevo— se llegaba siempre a la 4-tupla $(0,0,0,0)$, a partir de la cual no ocurre nada nuevo.

Recordemos que aquí designamos como $dist(a,b)$ a la distancia de $a$ a $b$, es decir $dist(a,b)=b-a$ si $b\geq a$ y $dist(a,b)=a-b$ si $a \geq b$.

Convención de lenguaje : en matemáticas, dado un entero positivo $n$ cualquiera, se hablará de una $n$-tupla para referirse al conjunto ordenado $(a_1,... ,a_n)$.

Si en vez de partir de cuatro números partimos, por ejemplo, de tres, es decir, de una 3-tupla, y en cada etapa se reemplaza $(a,b,c)$ por $(dist(a,b),dist(b,c),dist(c,a))$, no es difícil encontrar un ejemplo de comportamiento muy diferente :

Vemos que al cabo de tres etapas se llega de nuevo al punto de partida. Por lo tanto, la serie de 3-tuplas será periódica de período 3.

En términos de representación gráfica, tendremos el siguiente encajonamiento :

donde el gran triángulo rojo se reencuentra más pequeño (dado vuelta, es cierto, pero el lector del artículo anterior sabrá que una rotación no cambia nada en nuestro problema).

El mismo juego de las cajas con diferencias : en general, para cada entero $n\geq 3$ se considerará el juego de las cajas con diferencias que en cada etapa reemplaza la $n$-tupla $(a_1,...,a_n)$ por la $n$-tupla $(dist(a_1,a_2),...,dist(a_n,a_1))$. En matemáticas, un tal juego se llama un algoritmo.

Ejemplo de comienzo de juego con dos 6-tuplas

2. El juego simplificado, ¡de nuevo él !

En el artículo anterior se habló del juego simplificado, que consistía en reemplazar al inicio cada número por ’’$p$’’ si este es par y por ’’$i$’’ si es impar.

Para que el algoritmo se detenga dada cualquier n-tupla $(a_1,...,a_n)$, es necesario que en particular el juego simplificado se detenga, es decir, que llegue a $(p,p,...,p)$.

Mejor aún, aplicando los mismos argumentos que en ’’Cajas con diferencias I’’ se demuestra que el recíproco también es verdadero.

En efecto, si uno sabe que el juego simplificado se detiene siempre en $(p,..,p)$, significa que a partir de un $n$-tupla de enteros $(a_1,...,a_n)$, se llega siempre a una $n$-tupla de números pares. Luego, recomenzando del mismo modo, se llega a una $n$-tupla de números divisibles por $4$, y se sigue así, hasta que los números obtenidos sean divisibles por un número de la forma $2 \times 2 \times \cdots \times 2$ más grande que el máximo de los números $( a_1,...,a_n)$ del inicio.

3. El juego simplificado es aditivo

Para ver si el juego simplificado aplicado a todas las $n$-tuplas $(a_1,...,a_n)$ se detiene, sabiendo que $a_1$ no puede valer sino $p$ o $i$ y del mismo modo para los otros, hay que probar $2^n$ posibilidades. Si $n$ es grande, este número puede ser muy grande.

Pero el juego simplificado tiene propiedades muy notables que van a facilitarnos las cosas.

3.1. Una nueva descripción del juego simplificado

Para comenzar, es necesario hacer un poco más de álgebra : escribiremos $\underline{0}$ para denotar el símbolo $p$ y $\underline{1}$ para $i$.

Con esta elección de notaciones, el cálculo anterior con $p$ e $i$ da un cálculo natural con éstos $\underline{0}$ y $\underline{1}$ (agregar $\underline{0}$ no cambia nada), a excepción de $\underline{1} + \underline{1} =\underline{0}$.

Comentario : en el juego simplificado, la ’’distancia’’ entre dos pares (respectivamente dos impares) es $\underline{0}$ y entre un par y un impar es $\underline{1}$.

Ahora bien, hay una manera muy simple de mirar esta distancia, haciendo la adición de dos números (siempre con la regla $\underline{1} + \underline{1} =\underline{0}$) : la suma de dos números de igual paridad será siempre par, por ejemplo.

Por ejemplo $J(\underline{0}, \underline{1}, \underline{0})= ( \underline{1}, \underline{1}, \underline{0})$.

3.2. Comportamiento bajo la adición de los $n$-tuplas

Se puede considerar una adición para las $n$-tuplas, que anotaremos en rojo, definida como sigue :

La propiedad esencial para nosotros es :

Lo que hace funcionar esta propiedad es que uno puede hacer las adiciones en el orden que quiera.

Incluso vamos a generalizar un poco, aplicando muchas veces la propiedad anterior :

3.3. Reducción de los problemas con las $n$-tuplas más simples

Se llamarán $n$-tupas elementales a las $n$-tuplas donde hay solo un $\underline{1}$ que aparece, y todas las otras entradas de la $n$-tupla son $\underline{0}$.

Así, para $n=3$, los tres $3$-tuplas elementales son $(\underline{1},\underline{0},\underline{0})$, $(\underline{0},\underline{1},\underline{0})$ y $(\underline{0},\underline{0},\underline{1})$.

En general hay exactamente $n$ de tales $n$-tuplas elementales : la primera es $(\underline{1} , \underline{0},..., \underline{0})$ y la última $(\underline{0},..., \underline{0}, \underline{1})$.

Con la adición de las $n$-tuplas que se definió en la sección 3.2, toda $n$-tupla puede escribirse como una suma de $n$-tuplas elementales.

A modo de ejemplo, $(\underline{0}, \underline{1}, \underline{1}, \underline{0}, \underline{1})$ se escribe como la suma de tres $5$-tuplas elementales :

$(\underline{0} , \underline{1}, \underline{1}, \underline{0}, \underline{1})= (\underline{0} ,\underline{1}, \underline{0}, \underline{0}, \underline{0})+(\underline{0}, \underline{0}, \underline{1}, \underline{0}, \underline{0})+(\underline{0} , \underline{0}, \underline{0} , \underline{0}, \underline{1})$.

Con la propiedad de la sección 3.2, se deduce :

¡Hemos simplificado bastante el problema ! A título de comparación, en ’’Cajas con diferencias I’’ tuvimos que estudiar todas las posibilidades ’’a mano’’.

4. El estudio a partir de (0,...,0,1) :

Para aliviar la escritura de lo que sigue, se usará la notación $0$ para $\underline{0}$ y $1$ para $\underline{1}$ (pero hay que pensar que $1+1=0$ en este contexto).

Estudiamos entonces el tablero de evolución de $(0,...,0,1)$ en el juego.

4.1 Caso donde $n$ es una potencia de 2 : 4, 8, 16, 32...

Para $n=8$, se termina en exactamente ocho etapas :

Pero sobre todo, vemos que la línea 4 del tablero (haciendo que el tablero comience en la línea 0), se descompone en dos partes idénticas, marcadas en rojo y en verde, que van a evolucionar de la misma forma, siguiendo la evolución ya conocida para la $4$-tupla $(0,0,0,1)$.

Generalizando este comentario, obtenemos lo siguiente.

4.2 ¿Y que pasa con los otros valores de $n$ ?

En el nivel donde estamos, no tengo una prueba verdaderamente elemental del siguiente resultado :

Ahora bien, partiendo de $(0,0,...,0,1)$, si uno se limita a las $n-1$ primeras etapas, el juego simplificado reproduce un fenómeno bien estudiado en otra parte, llamado el triángulo de Sierpinski. El hecho de que tengamos $(0,0,..,0)$ en la $n$-ésima etapa se ve por supuesto en la $(n-1)$-ésima, donde se tendrá una línea de $1$ (o una línea de $0$ si se terminara antes, pero esto no sucede).

Tomemos de nuevo el tablero de juego de más arriba partiendo de $(0,0,...,0,1)$. Vamos a quitar la última línea y colorear de gris los 0 sobre la diagonal que va de abajo a la izquierda hacia arriba a la derecha. Por ejemplo :

Si se eliminan los 0 grises y en lugar de alinear a la derecha, se centra, uno obtiene entonces la figura siguiente.

Comentario : la ventaja de esta manera de presentar los cálculos es que, aparte del número de etapas, la representación es independiente del tamaño de las $n$-tuplas.

Reemplazando los 1 por un • y los 0 por un •, se obtiene :

La regla de construcción de este nuevo cuadro, equivalente al anterior para nosotros, es muy simple :

Regla 1 : al principio y al final de cada línea, hay siempre un punto negro : •

Regla 2 : para construir una nueva línea a partir de la anterior, entre dos puntos del mismo color se coloca un punto rojo • y entre dos puntos de colores diferentes se coloca un punto negro •

Vemos aquí el resultado de ésta construcción con 256 líneas es decir 255 etapas (los círculos • y • están pegados unos a otros).

Este tipo de triángulo es el que se llama triángulo de Sierpinski. Se puede también elaborar una versión 3D (la pirámide de Sierpinski), como lo muestra esta foto publicada en ’’Paisajes Matemáticos’’. También se encontrará en IdM una breve biografía de W. Sierpinski.

¿Qué aprendemos del esquema de construcción de este triángulo ? Se puede construir un tal triángulo al revés en relación a lo que acabamos de hacer, es decir, partiendo del más grande de los triángulos negros dibujados, luego dibujando tres triángulos negros de igual tamaño como éste, que delimitan un triángulo rojo intenso que no contendrá nunca puntos negros.

Luego, recomenzando en cada uno de los triángulos rosados :

¡Y así sucesivamente !

Consecuencia para nosotros : reviniendo a la descripción con puntos • y •, las únicas líneas completamente negras serán las líneas cuyo número es de la forma $2^k-1$. Dicho de otra manera $3,7,15,31...$. Serán entonces las únicas líneas del juego simplificado que sólo contengan $1$. Por lo tanto, las únicas que serán seguidas por una línea que sólo contengan $0$ : la condición de término del juego simplificado.

Gracias al vínculo ya hecho entre el verdadero juego y el juego simplificado, terminamos nuestra deducción.

Referencias : el problema estudiado aquí es conocido bajo el doble nombre de diffy boxes y de problema de Ducci.

Las referencias acerca del triángulo de Sierpinski son muy numerosas, especialmente sobre su construcción a partir del triángulo de Pascal. Me gustaría sólo citar el bonito libro El diablo de las matemáticas de Hans Magnus Enzensberger. La excelente ilustradora R. S. Berner ha hecho también muchos libros para niños, entre los cuales se encuentra la serie El libro de la primavera, El libro del verano,.. ¡me ha hecho pasar hermosos momentos de observaciones con mis niños !

Escribiendo este artículo, recibí la Gazette des Mathématiciens, dedicada a B. Mandelbrot, el padre de la geometría fractal. Ahí hay una foto de un molusco llamado ’’Cymbiola innexa Reeve’’ cuya concha retoma la figura de Sierpinski. Vea aquí una foto, en este foro de amantes de las conchas marinas.