Si alguna vez has abierto la pequeña lata circular del famoso juego de mesa Dobble (llamado Spot It! en Norteamérica), ya conoces su mecánica engañosamente sencilla: cada carta redonda muestra ocho símbolos distintos. Al voltear dos cartas cualesquiera sobre la mesa, los jugadores compiten por encontrar y nombrar primero el símbolo repetido.

Cualquiera que juegue unos minutos percibe de inmediato una propiedad matemática casi mágica: no importa qué dos cartas elijas de toda la baraja, siempre comparten un símbolo en común, y nunca comparten más de uno.

Oculta dentro de esta lata de juguete se encuentra una de las joyas de la matemática pura moderna: la intersección entre la geometría proyectiva finita, los cuerpos finitos de Galois ($\mathbb{F}_q$) y la teoría del diseño combinatorio. Más aún, en cuanto planteamos la generalización natural —«¿Qué sucede si colocamos $k$ símbolos por carta en lugar de $8$?»— nos adentramos directamente en el problema de los 36 oficiales de Leonhard Euler (1782), el teorema de Bruck-Ryser-Chowla (1949), una monumental demostración de 2.000 horas en un supercomputador Cray-1 (1989) para $k = 11$ símbolos, y uno de los mayores problemas abiertos de la matemática discreta actual: ¿existe un plano proyectivo finito de orden $12$ ($13$ símbolos por carta, $157$ cartas)?

Capítulo 1: Tres misterios matemáticos dentro de la lata de Dobble

Una lata comercial de Dobble contiene 55 cartas con 8 símbolos cada una, extraídos de un repertorio total de $57$ símbolos. Intentar construir una baraja así por tanteo choca de frente con la explosión combinatoria de posibles cartas:

Buscar por fuerza bruta entre 1.650 millones de subconjuntos más de cincuenta cartas mutuamente compatibles es computacionalmente imposible sin un plano algebraico. Esto plantea tres grandes misterios:

1. El tamaño máximo y las 2 cartas ausentes: Con $k = 8$ símbolos por carta, el máximo matemático exacto es de 57 cartas (y 57 símbolos). ¿Por qué entonces la lata comercial trae solo 55 cartas?
2. El plano algebraico: ¿Cómo escribir las 57 cartas de un solo trazo, sin prueba y error, mediante álgebra?
3. Las barajas prohibidas: ¿Por qué es posible construir un Dobble perfecto con $k = 3$ (7 cartas), $k = 4$ (13 cartas), $k = 5$ (21 cartas), $k = 6$ (31 cartas) o $k = 8$ (57 cartas), pero es matemáticamente imposible para cualquier ser humano o supercomputador construir una baraja completa con $k = 7$ símbolos (43 cartas) o $k = 11$ símbolos (111 cartas)?

Capítulo 2: De la geometría euclidiana a la geometría proyectiva — Puntos en el infinito y dualidad

En el plano euclidiano clásico ($\mathbb{R}^2$), dos puntos distintos determinan una única recta, pero dos rectas distintas se cortan en un único punto salvo cuando son paralelas. En los siglos XVII y XIX, Girard Desargues (1639) y Jean-Victor Poncelet (1822) eliminaron esa excepción inspirándose en el punto de fuga de la perspectiva renacentista:

1. A cada haz de rectas paralelas con pendiente $m$ se le añade un punto en el infinito $P_\infty(m)$ por el que pasan todas las rectas de pendiente $m$.
2. Todos los puntos en el infinito $\{P_\infty(m)\}$ se agrupan sobre una única recta nueva, la recta en el infinito $\ell_\infty$ (el horizonte).

Surge así un plano proyectivo $(\mathcal{P}, \mathcal{L}, \mathcal{I})$ definido por tres axiomas:

• Axioma P1: Por cada dos puntos distintos $P \neq Q$ pasa una única recta $\ell$.
• Axioma P2: Cada dos rectas distintas $\ell_1 \neq \ell_2$ se cortan en un único punto $P$.
• Axioma P3 (No degeneración): Existen al menos cuatro puntos en posición general (ningún trío de ellos colineal).

Al intercambiar las palabras «Punto» y «Recta», los axiomas P1 y P2 se transforman uno en otro (Principio de Dualidad), lo que nos da el diccionario exacto hacia el juego Dobble:

  flowchart TD
    subgraph Affine["1. Plano euclidiano / afín clásico"]
        A1["2 puntos distintos determinan 1 única recta"]
        A2["Las rectas paralelas nunca se cortan (Excepción)"]
    end
    subgraph Completion["2. Completación proyectiva (Desargues 1639 & Poncelet 1822)"]
        B1["Añadir un punto en el infinito P_inf(m) para cada pendiente m"]
        B2["Unir todos los puntos en el infinito en una recta en el infinito l_inf"]
    end
    subgraph Projective["3. Axiomas del plano proyectivo (P, L, I)"]
        C1["Axioma P1: 2 puntos distintos yacen en 1 única recta"]
        C2["Axioma P2: 2 rectas distintas se cortan en 1 único punto"]
        C3["Axioma P3: Existen 4 puntos sin 3 colineales"]
    end
    subgraph Dobble["4. Traducción dual al juego Dobble (Spot It!)"]
        D1["Punto P  <--->  Símbolo"]
        D2["Recta l  <--->  Carta (conjunto de símbolos)"]
        D3["¡Cualquier par de cartas se corta en un único símbolo común!"]
    end
    Affine --> Completion --> Projective --> Dobble

Capítulo 3: El teorema de conteo de orden $n$ y el plano de Fano $PG(2, 2)$

$$|\mathcal{P}| = |\mathcal{L}| = N = n^2 + n + 1$$

Demostración: Fijado un punto de referencia $P_0$, todo otro punto $Q \neq P_0$ pertenece (por P1 y P2) a una y solo una de las $n + 1$ rectas que pasan por $P_0$. Como cada una de esas $n + 1$ rectas contiene otros $n$ puntos además de $P_0$, el total es $|\mathcal{P}| = 1 + (n + 1)n = n^2 + n + 1$. Para Dobble ($k = 8 \implies n = 7$), el techo teórico es $N = 7^2 + 7 + 1 = 57$ cartas y 57 símbolos.

La geometría finita más pequeña: el plano de Fano $PG(2, 2)$ ($n = 2$)

Para $n = 2$ ($k = 3$ símbolos por carta, $N = 7$ cartas), el geómetra italiano Gino Fano (1892) descubrió el plano de Fano $PG(2, 2)$. Sus 7 puntos corresponden a los 7 vectores binarios no nulos de $\mathbb{F}_2^3 \setminus \{\mathbf{0}\}$ (donde tres puntos forman una recta si y solo si su suma XOR bit a bit es $u \oplus v \oplus w = \mathbf{0}$) o a los desplazamientos cíclicos del conjunto de diferencias perfecto $\{1, 2, 4\} \pmod 7$:

Capítulo 4: Coordenadas homogéneas sobre cuerpos de Galois $\mathbb{F}_q$ y la baraja de 57 cartas ($n = 7$)

Un cuerpo finito (cuerpo de Galois) $\mathbb{F}_q$ de $q$ elementos existe si y solo si $q = p^r$ es una potencia de un número primo $p$. En el espacio vectorial $\mathbb{F}_q^3 \setminus \{\mathbf{0}\}$, las clases de equivalencia por múltiplos escalares $[x : y : z] \sim [\lambda x : \lambda y : \lambda z]$ ($\lambda \in \mathbb{F}_q^\times$) forman $\frac{q^3-1}{q-1} = q^2 + q + 1$ puntos proyectivos, y las ecuaciones lineales $ax + by + cz = 0$ definen las $q^2 + q + 1$ rectas del plano desarguesiano $PG(2, q)$.

Para Dobble ($q = 7$, aritmética módulo $7$ en $\mathbb{F}_7 = \{0,\dots,6\}$), los 57 símbolos se dividen en 49 puntos de cuadrícula afín $P_{x,y} = [x : y : 1]$ y 8 puntos en el infinito $I_m = [1 : m : 0]$ más $I_\infty = [0 : 1 : 0]$. Las 57 cartas se descomponen en:

1. 49 cartas de rectas afines $L_{m,b}$: los 7 puntos $\{(x, mx+b \bmod 7)\}$ junto con el punto en el infinito $I_m$.
2. 7 cartas verticales $V_c$: los 7 puntos $\{(c, y)\}$ junto con el punto en el infinito vertical $I_\infty$.
3. 1 carta de horizonte $L_\infty$: los 8 puntos en el infinito $\{I_0, \dots, I_6, I_\infty\}$.

Alternativamente, por el teorema de Singer (1938), basta tomar el conjunto de diferencias $D = \{0, 1, 3, 13, 32, 36, 43, 52\} \pmod{57}$ y desplazarlo cíclicamente $D + i \pmod{57}$ ($i = 0, \dots, 56$) para generar las 57 cartas al instante. La lata comercial incluye 55 cartas en lugar de 57 por razones de troquelado industrial ($55 = 5 \times 11$) y reparto entre jugadores, conservando intacto el axioma P2.

Capítulo 5: Los 36 oficiales de Euler, Bruck-Ryser-Chowla y las fronteras de $n = 10$ y $n = 12$

Un plano proyectivo de orden $n$ es un diseño por bloques simétrico $(n^2+n+1, n+1, 1)$-BIBD (que satura la desigualdad de Fisher $b \ge v$) y, por el teorema de equivalencia de R. C. Bose (1938), existe si y solo si existen $n - 1$ cuadrados latinos mutuamente ortogonales (MOLS) de orden $n$.

• Orden $n = 6$ ($7$ símbolos, $43$ cartas): Requeriría $5$ MOLS de orden $6$. Sin embargo, en 1900 el francés Gaston Tarry demostró exhaustivamente que el problema de los 36 oficiales de Euler (1782) no tiene solución: no existen ni siquiera $2$ cuadrados latinos ortogonales de orden $6$, por lo que $n = 6$ es imposible.
• Teorema de Bruck-Ryser-Chowla (1949): Si existe un plano proyectivo finito de orden $n$ con $n \equiv 1 \text{ o } 2 \pmod 4$, entonces $n$ debe poder expresarse como la suma de dos cuadrados enteros: $$n = a^2 + b^2 \quad (a, b \in \mathbb{Z})$$ ¡Esto descarta de golpe $n = 6, 14, 21, 22, 30, \dots$!
• Orden $n = 10$ ($11$ símbolos, $111$ cartas) y el supercomputador Cray-1 (1989): Como $10 = 1^2 + 3^2$, Bruck-Ryser-Chowla no descarta $n = 10$. En 1989, Clement W. H. Lam, Larry Thiel y Stanley Swiercz analizaron el código corrector binario asociado a la matriz de incidencia $111 \times 111$ y, tras 2.000 horas de cálculo en un supercomputador Cray-1A, demostraron que no existe ningún plano proyectivo de orden $10$.
• Orden $n = 12$ ($13$ símbolos, $157$ cartas): Como $12 \equiv 0 \pmod 4$, Bruck-Ryser-Chowla no impone restricción alguna y el espacio combinatorio desborda cualquier supercomputador actual. ¡Saber si existe un plano proyectivo de orden $12$ (conjetura de la potencia prima / PPC) sigue siendo uno de los grandes problemas abiertos de las matemáticas!

  flowchart TD
    Start["Objetivo: ¿Podemos construir una baraja óptima de Dobble de orden n?<br/>(k = n + 1 símbolos por carta, N = n^2 + n + 1 cartas y símbolos)"]
    CheckPP{"¿Es el orden n una potencia prima?<br/>n = p^r (p primo, r >= 1)"}
    ConstructGF["[EXISTE — SÍ]<br/>¡Construir PG(2, q) con coordenadas homogéneas sobre el cuerpo de Galois F_q!<br/>Ejemplos: n=2 (7 cartas), n=3 (13), n=4 (21), n=5 (31),<br/>n=7 (Dobble: 57 cartas), n=8 (73), n=9 (91)"]
    CheckBRC{"¿Se cumple n ≡ 1 o 2 (mod 4)?"}
    CheckSumSq{"¿Es n suma de dos cuadrados?<br/>n = a^2 + b^2"}
    RejectBRC["[NO EXISTE — NO]<br/>¡Descartado por el teorema de Bruck-Ryser-Chowla (1949)!<br/>Ejemplos: n=6 (7 símbolos, 43 cartas / Tarry 1900),<br/>n=14 (15 símbolos, 211 cartas), n=21, 22, 30..."]
    Case10{"¿Es n = 10?<br/>(10 = 1^2 + 3^2)"}
    Reject10["[NO EXISTE — NO]<br/>¡Descartado por teoría de códigos + 2.000 h en supercomputador Cray-1A!<br/>(Lam, Thiel & Swiercz, 1989: 11 símbolos, 111 cartas es imposible)"]
    OpenProblem["[PROBLEMA ABIERTO SIN RESOLVER]<br/>¡Frontera de la conjetura de la potencia prima (PPC)!<br/>Menor orden abierto: n = 12 (13 símbolos, 157 cartas),<br/>seguido de n = 15, 18, 20, 24, 26..."]

    Start --> CheckPP
    CheckPP -- "Sí" --> ConstructGF
    CheckPP -- "No (n = 6, 10, 12, 14...)" --> CheckBRC
    CheckBRC -- "Sí" --> CheckSumSq
    CheckSumSq -- "No" --> RejectBRC
    CheckSumSq -- "Sí (n = 10, 18, 26...)" --> Case10
    Case10 -- "Sí" --> Reject10
    Case10 -- "No" --> OpenProblem
    CheckBRC -- "No (n ≡ 0, 3 mod 4)" --> OpenProblem