Por qué las condiciones de un modelo importan

Entre las páginas 19 y 26 del libro El Soporte Matemático Eterno aparece una configuración clásica: siete discos iguales, uno en el centro y seis a su alrededor, cada uno tocando al central y a sus dos vecinos. Es una figura conocida, pero sirve para ilustrar algo importante en cualquier investigación: un resultado matemático es tan fuerte como las condiciones en que se demuestra.

El resultado, paso a paso

Supongamos discos de radio r en un plano, que no se superponen. Si un disco toca al central, la distancia entre sus centros es exactamente 2r. Si dos discos exteriores son vecinos y se tocan, la distancia entre sus centros también es 2r. Entonces el centro del disco central y los centros de dos exteriores vecinos forman un triángulo con tres lados iguales a 2r: un triángulo equilátero, cuyos ángulos miden 60°. Alrededor del centro hay 360°, y 360° ÷ 60° = 6. Caben exactamente seis discos, sin huecos angulares ni solapamientos.

Las tres condiciones

• Radios iguales: si los discos exteriores son más pequeños, caben más; si son más grandes, caben menos.
• Plano: en el espacio tridimensional, alrededor de una esfera caben doce esferas iguales, no seis.
• No superposición: si se permite que los discos se solapen, el conteo pierde sentido.

Cuando se cambia cualquiera de estas condiciones, el número seis deja de ser obligatorio. En la página de modelos puedes variar el radio de los discos exteriores y comprobar cómo cambia la cantidad máxima.

Resultado condicionado frente a generalización

Decir que seis discos iguales rodean exactamente a uno en el plano es un resultado demostrado. Decir que el número seis gobierna una clase amplia de fenómenos naturales es una generalización que necesita su propio argumento: hay que mostrar que esos fenómenos cumplen las mismas condiciones, o que existe una correspondencia que preserva la estructura relevante. La investigación de Canino usa esta disposición como uno de sus puntos de partida; leerla bien implica reconocer en qué tramo de la argumentación nos encontramos.

Este artículo explica la geometría del caso; no evalúa la totalidad de la tesis del libro.