Cómo funcionan las matemáticas del Dobble
Y por qué la caja dice 55, no 57
Dos cartas cualesquiera de una baraja Dobble comparten exactamente un símbolo: nunca cero, nunca dos. No es fruto de comprobar a mano, sino de una pieza de geometría del siglo XIX llamada plano proyectivo finito. Así funciona, y así se explica que a la baraja de tienda le falten dos cartas.
Una regla, cumplida siempre
Con tres ideas basta para entender toda la construcción.
Las cartas son rectas, los símbolos puntos
Trata cada símbolo como un punto y cada carta como una recta que pasa por algunos de ellos. Un plano proyectivo garantiza que dos rectas se cortan en exactamente un punto: justo lo que el juego promete de dos cartas cualesquiera.
Un primo lo decide todo
Elige un número primo p. Obtienes p+1 símbolos por carta, p²+p+1 símbolos en total y p²+p+1 cartas. Al elegir p queda fijado el tamaño de la baraja; no hay nada más que ajustar.
Por qué nunca falla
La propiedad del símbolo único es un teorema, no un objetivo. Con el plano bien construido no existen dos cartas sin símbolo común ni dos con más de uno.
Los tamaños de baraja que resultan
Todo tamaño válido de Dobble es p²+p+1 para algún primo p.
La duda del 55 frente al 57, resuelta
Preguntas frecuentes sobre las matemáticas
¿Por qué dos cartas comparten siempre exactamente un símbolo?
Porque la baraja es un plano proyectivo finito, en el que dos rectas se cortan en exactamente un punto. Las cartas hacen de rectas y los símbolos de puntos, así que el teorema geométrico se convierte en la regla del juego. Se cumple para todos los pares de la baraja, sin excepción.
¿El Dobble real tiene 55 o 57 cartas?
Ambas cifras son correctas, pero hablan de cosas distintas. La caja de tienda trae 55 cartas. El conjunto matemático completo para p = 7 es de 57. La baraja publicada es el conjunto completo menos dos cartas, y de ahí que se citen las dos cifras.
¿Podría existir una baraja con 7 símbolos por carta?
No. Siete símbolos por carta exigirían un plano proyectivo de orden 6, y el teorema de Bruck–Ryser lo descarta. El número de símbolos salta de 6 a 8, y por eso los tamaños saltan de 31 a 57 sin nada intermedio.
¿El generador calcula esto cada vez?
Sí. Eliges 13, 31, 55 o 57 y el generador construye el plano del primo correspondiente y asigna tus imágenes a las posiciones de símbolo. No tienes que comprobar ningún par a mano: la estructura ya es correcta antes de colocar la primera imagen.