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