Se você já abriu a pequena lata redonda do famoso jogo de festa Dobble (vendido na América do Norte como Spot It!), conhece sua regra de simplicidade enganosa: cada carta circular exibe oito símbolos distintos. Quando duas cartas quaisquer são viradas na mesa, os jogadores disputam quem encontra e grita primeiro o símbolo em comum.

Quem joga por alguns minutos logo nota uma propriedade matemática quase mágica: não importa quais duas cartas você escolha em todo o baralho, elas sempre compartilham um símbolo em comum — e nunca mais de um!

Escondida dentro dessa lata de brinquedo está uma das joias da matemática pura moderna: a interseção entre a geometria projetiva finita, os corpos finitos de Galois ($\mathbb{F}_q$) e a teoria de designs combinatórios. Mais surpreendente ainda: no instante em que perguntamos «O que acontece se colocarmos $k$ símbolos por carta em vez de $8$?», somos lançados diretamente ao problema dos 36 oficiais de Leonhard Euler (1782), ao teorema de Bruck-Ryser-Chowla (1949), a uma prova de 2.000 horas em um supercomputador Cray-1 (1989) para $k = 11$ símbolos, e a um dos maiores problemas em aberto da matemática discreta: existe um plano projetivo finito de ordem $12$ ($13$ símbolos por carta, $157$ cartas)?

Capítulo 1: Três mistérios matemáticos dentro da lata de Dobble

Uma lata comercial de Dobble contém 55 cartas, cada uma com 8 símbolos escolhidos de um conjunto de $57$ símbolos. Tentar montar tal baralho manualmente por tentativa e erro esbarra imediatamente na explosão combinatória de cartas candidatas:

Procurar por força bruta entre 1,65 bilhão de combinações mais de cinquenta cartas mutuamente compatíveis é impossível sem uma estrutura algébrica. Isso levanta três mistérios:

1. O tamanho máximo e as 2 cartas ausentes: Com $k = 8$ símbolos por carta, o teto matemático exato é de 57 cartas (e 57 símbolos). Por que a lata comercial traz apenas 55 cartas?
2. A receita algébrica: Como gerar todas as 57 cartas de uma só vez, sem tentativa e erro, usando álgebra?
3. Os baralhos proibidos: Por que é possível construir um Dobble perfeito com $k = 3$ (7 cartas), $k = 4$ (13 cartas), $k = 5$ (21 cartas), $k = 6$ (31 cartas) ou $k = 8$ (57 cartas), mas é matematicamente impossível para qualquer ser humano ou supercomputador construir um baralho completo com $k = 7$ símbolos (43 cartas) ou $k = 11$ símbolos (111 cartas)?

Capítulo 2: Da geometria euclidiana à geometria projetiva — Pontos no infinito e dualidade

No plano euclidiano clássico ($\mathbb{R}^2$), dois pontos distintos determinam uma única reta, mas duas retas distintas se cruzam em um único ponto exceto quando são paralelas. Nos séculos XVII e XIX, Girard Desargues (1639) e Jean-Victor Poncelet (1822) eliminaram essa exceção inspirando-se no ponto de fuga da pintura renascentista:

1. Para cada feixe de retas paralelas de inclinação $m$, adiciona-se um ponto no infinito $P_\infty(m)$ pelo qual passam todas as retas de inclinação $m$.
2. Todos os pontos no infinito $\{P_\infty(m)\}$ são reunidos sobre uma única reta nova, a reta no infinito $\ell_\infty$ (o horizonte).

Surge assim um plano projetivo $(\mathcal{P}, \mathcal{L}, \mathcal{I})$ governado por três axiomas:

• Axioma P1: Por quaisquer dois pontos distintos $P \neq Q$ passa uma única reta $\ell$.
• Axioma P2: Quaisquer duas retas distintas $\ell_1 \neq \ell_2$ se interceptam em um único ponto $P$.
• Axioma P3 (Não degenerescência): Existem pelo menos quatro pontos em posição geral (nenhum trio deles colinear).

Trocar as palavras «Ponto» e «Reta» preserva todos os axiomas (Princípio da Dualidade), fornecendo o dicionário exato para o Dobble:

  flowchart TD
    subgraph Affine["1. Plano euclidiano / afim clássico"]
        A1["2 pontos distintos determinam 1 única reta"]
        A2["Retas paralelas nunca se cruzam (Exceção)"]
    end
    subgraph Completion["2. Completação projetiva (Desargues 1639 & Poncelet 1822)"]
        B1["Adicionar um ponto no infinito P_inf(m) para cada inclinação m"]
        B2["Unir todos os pontos no infinito em uma reta no infinito l_inf"]
    end
    subgraph Projective["3. Axiomas do plano projetivo (P, L, I)"]
        C1["Axioma P1: 2 pontos distintos pertencem a 1 única reta"]
        C2["Axioma P2: 2 retas distintas se cruzam em 1 único ponto"]
        C3["Axioma P3: Existem 4 pontos sem 3 colineares"]
    end
    subgraph Dobble["4. Tradução dual para o jogo Dobble (Spot It!)"]
        D1["Ponto P  <--->  Símbolo"]
        D2["Reta l  <--->  Carta (conjunto de símbolos)"]
        D3["Qualquer par de cartas se intercepta em um único símbolo comum!"]
    end
    Affine --> Completion --> Projective --> Dobble

Capítulo 3: O teorema de contagem de ordem $n$ e o plano de Fano $PG(2, 2)$

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

Demonstração: Fixando um ponto de referência $P_0$, qualquer outro ponto $Q \neq P_0$ pertence (por P1 e P2) a uma e apenas uma das $n + 1$ retas que passam por $P_0$. Como cada uma dessas $n + 1$ retas contém $n$ outros pontos além de $P_0$, temos $|\mathcal{P}| = 1 + (n + 1)n = n^2 + n + 1$. Para o Dobble ($k = 8 \implies n = 7$), o máximo teórico é $N = 7^2 + 7 + 1 = 57$ cartas e 57 símbolos.

A menor geometria finita: o plano de Fano $PG(2, 2)$ ($n = 2$)

Para $n = 2$ ($k = 3$ símbolos por carta, $N = 7$ cartas), o geômetra italiano Gino Fano (1892) descobriu o plano de Fano $PG(2, 2)$. Seus 7 pontos correspondem aos 7 vetores binários não nulos de $\mathbb{F}_2^3 \setminus \{\mathbf{0}\}$ (onde três pontos formam uma reta se e somente se sua soma XOR bit a bit for $u \oplus v \oplus w = \mathbf{0}$) ou aos deslocamentos cíclicos do conjunto de diferenças perfeito $\{1, 2, 4\} \pmod 7$:

Capítulo 4: Coordenadas homogêneas sobre corpos de Galois $\mathbb{F}_q$ e o baralho de 57 cartas ($n = 7$)

Um corpo finito (corpo de Galois) $\mathbb{F}_q$ com $q$ elementos existe se e somente se $q = p^r$ for uma potência de primo. No espaço vetorial $\mathbb{F}_q^3 \setminus \{\mathbf{0}\}$, as classes de equivalência $[x : y : z] \sim [\lambda x : \lambda y : \lambda z]$ ($\lambda \in \mathbb{F}_q^\times$) formam $\frac{q^3-1}{q-1} = q^2 + q + 1$ pontos projetivos, e as equações lineares $ax + by + cz = 0$ definem as $q^2 + q + 1$ retas do plano desarguesiano $PG(2, q)$.

Para o Dobble ($q = 7$, aritmética módulo $7$ em $\mathbb{F}_7 = \{0,\dots,6\}$), os 57 símbolos dividem-se em 49 pontos afins $P_{x,y} = [x : y : 1]$ e 8 pontos no infinito $I_m = [1 : m : 0]$ mais $I_\infty = [0 : 1 : 0]$. As 57 cartas dividem-se em:

1. 49 cartas de retas afins $L_{m,b}$: os 7 pontos $\{(x, mx+b \bmod 7)\}$ mais o ponto no infinito $I_m$.
2. 7 cartas verticais $V_c$: os 7 pontos $\{(c, y)\}$ mais o ponto no infinito vertical $I_\infty$.
3. 1 carta de horizonte $L_\infty$: todos os 8 pontos no infinito $\{I_0, \dots, I_6, I_\infty\}$.

Alternativamente, pelo teorema de Singer (1938), o conjunto de diferenças cíclico $D = \{0, 1, 3, 13, 32, 36, 43, 52\} \pmod{57}$ gera todas as 57 cartas via $D + i \pmod{57}$. A lata comercial vem com 55 cartas em vez de 57 apenas por conveniência de corte industrial ($55 = 5 \times 11$) e divisão entre jogadores, mantendo o axioma P2 intacto.

Capítulo 5: Os 36 oficiais de Euler, Bruck-Ryser-Chowla e as fronteiras de $n = 10$ e $n = 12$

Um plano projetivo de ordem $n$ é um design em blocos simétrico $(n^2+n+1, n+1, 1)$-BIBD (igualdade $b = v$ na desigualdade de Fisher) e, pelo teorema de equivalência de R. C. Bose (1938), existe se e somente se existirem $n - 1$ quadrados latinos mutuamente ortogonais (MOLS) de ordem $n$.

• Ordem $n = 6$ ($7$ símbolos, $43$ cartas): Exigiria $5$ MOLS de ordem $6$. Porém, em 1900 Gaston Tarry provou que o problema dos 36 oficiais de Euler (1782) não tem solução — não existem sequer $2$ quadrados latinos ortogonais de ordem $6$, tornando $n = 6$ impossível!
• Teorema de Bruck-Ryser-Chowla (1949): Se um plano projetivo finito de ordem $n$ existe e $n \equiv 1 \text{ ou } 2 \pmod 4$, então $n$ deve ser a soma de dois quadrados inteiros: $$n = a^2 + b^2 \quad (a, b \in \mathbb{Z})$$ Isso elimina imediatamente $n = 6, 14, 21, 22, 30, \dots$!
• Ordem $n = 10$ ($11$ símbolos, $111$ cartas) e o supercomputador Cray-1 (1989): Como $10 = 1^2 + 3^2$, Bruck-Ryser-Chowla não descarta $n = 10$. Em 1989, Clement W. H. Lam, Larry Thiel e Stanley Swiercz usaram teoria de códigos corretores de erros e 2.000 horas em um supercomputador Cray-1A para provar que não existe plano projetivo de ordem $10$.
• Ordem $n = 12$ ($13$ símbolos, $157$ cartas): Como $12 \equiv 0 \pmod 4$, Bruck-Ryser-Chowla não se aplica, e o espaço de busca supera qualquer supercomputador. A existência de $n = 12$ (conjectura da potência prima / PPC) permanece um dos maiores problemas abertos da matemática!

  flowchart TD
    Start["Objetivo: Podemos construir um baralho ótimo de Dobble de ordem n?<br/>(k = n + 1 símbolos por carta, N = n^2 + n + 1 cartas e símbolos)"]
    CheckPP{"A ordem n é uma potência de primo?<br/>n = p^r (p primo, r >= 1)"}
    ConstructGF["[EXISTE — SIM]<br/>Construir PG(2, q) via coordenadas homogêneas sobre o corpo de Galois F_q!<br/>Exemplos: 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{"Vale n ≡ 1 ou 2 (mod 4)?"}
    CheckSumSq{"n é soma de dois quadrados?<br/>n = a^2 + b^2"}
    RejectBRC["[NÃO EXISTE — NÃO]<br/>Descartado pelo teorema de Bruck-Ryser-Chowla (1949)!<br/>Exemplos: n=6 (7 símbolos, 43 cartas / Tarry 1900),<br/>n=14 (15 símbolos, 211 cartas), n=21, 22, 30..."]
    Case10{"Vale n = 10?<br/>(10 = 1^2 + 3^2)"}
    Reject10["[NÃO EXISTE — NÃO]<br/>Descartado por teoria de códigos + 2.000 h no supercomputador Cray-1A!<br/>(Lam, Thiel & Swiercz, 1989: 11 símbolos, 111 cartas é impossível)"]
    OpenProblem["[PROBLEMA ABERTO SEM SOLUÇÃO]<br/>Fronteira da conjectura da potência prima (PPC)!<br/>Menor ordem aberta: n = 12 (13 símbolos, 157 cartas),<br/>seguida por n = 15, 18, 20, 24, 26..."]

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