Slik virker Dobble-matematikken
Og hvorfor esken sier 55, ikke 57
To vilkårlige kort i en Dobble-kortstokk deler nøyaktig ett symbol — aldri null, aldri to. Det er ikke resultatet av nøye kontroll for hånd, men av et stykke geometri fra 1800-tallet kalt et endelig projektivt plan. Slik virker det, og slik er butikkstokken blitt to kort kortere enn den matematiske.
Én regel, alltid oppfylt
Tre tanker er nok for å forstå hele konstruksjonen.
Kortene er linjer, symbolene punkter
Se hvert symbol som et punkt og hvert kort som en linje gjennom noen av dem. Et projektivt plan garanterer at to linjer skjærer hverandre i nøyaktig ett punkt — nettopp det spillet lover om to vilkårlige kort.
Ett primtall bestemmer alt
Velg et primtall p. Du får p+1 symboler per kort, p²+p+1 symboler i alt og p²+p+1 kort. Med p er hele størrelsen avgjort; det er ingenting mer å justere.
Hvorfor det aldri slår feil
Egenskapen med ett felles symbol er et teorem, ikke et mål. Er planet bygget riktig, finnes det ikke to kort uten felles symbol og ikke to med mer enn ett.
Kortstokkstørrelsene dette gir
Hver gyldig Dobble-størrelse er p²+p+1 for et primtall p.
Spørsmålet 55 eller 57, avgjort
Vanlige spørsmål om matematikken
Hvorfor deler to kort alltid nøyaktig ett symbol?
Fordi kortstokken er et endelig projektivt plan, der to linjer skjærer hverandre i nøyaktig ett punkt. Kortene spiller linjenes rolle og symbolene punktenes, så det geometriske teoremet blir spillregelen. Det gjelder for hvert par i stokken, uten unntak.
Har det virkelige Dobble 55 eller 57 kort?
Begge tallene er riktige, men handler om ulike ting. Esken i butikken inneholder 55 kort. Hele det matematiske settet for p = 7 er 57. Den utgitte stokken er hele settet minus to kort, og derfor møter man begge tallene.
Kunne det finnes en stokk med 7 symboler per kort?
Nei. Sju symboler per kort ville kreve et projektivt plan av orden 6, og Bruck–Rysers teorem utelukker det. Antall symboler hopper fra 6 til 8, og derfor hopper størrelsene fra 31 til 57 uten noe imellom.
Regner generatoren dette ut hver gang?
Ja. Du velger 13, 31, 55 eller 57, og generatoren bygger planet for det tilsvarende primtallet og plasserer bildene dine på symbolposisjonene. Du trenger aldri å sjekke et par for hånd — strukturen er riktig før det første bildet er satt inn.