Tag en vanlig kortlek med 52 kort. Säg att kortleken ligger snyggt, ifall varje par av kort där ena ligger på den andra antingen har samma färg eller samma valör, samma sak gäller för det översta och nedersta kort samt att spader ess ligger överst. Visa att antalet sätt att lägga kortleken snyggt är
(a) Det gäller alltså att hitta något villkor (som kan variera), som när det är uppfyllt ger upphov till exakt 12! olika fall. Det där låter lite luddigt om man inte har funderat på det, men här kommer det mer konkreta förklaringen.
Spader ess är fixt, det kan vi inte flytta på. Säg att vi har något snyggt sätt som kortleken är lagd på. Notera då att vi kan byta plats på alla treor och alla fyror i respektive färg (så hjärter tre och hjärter fyra byter plats osv.)
Men vi kan även byta plats på alla tvåor och kungar samtidigt. Vi kan egentligen byta plats på vilka valörer som helst så länge alla kort av den valören byts mot ett annat fixt valör och så länge essen inte flyttas (de får inte flyttas för spaderesset).
Eftersom man får byta plats på 12 valörer (man kan även byta fler än 2 valörer samtidigt, t.ex. tvåor byts mot treor, treor mot fyror och fyror mot tvåor), så finns 12! sådana byten. Därför är antalet snygga uppläggningar delbart med 12 fakultet.
”Villkoret” här var egentligen att vi fixerade vilken färg varje plats hade samt vilka platser som hade likadana valörer och alla essens platser var också bestämda. Det finns 12! sätt att nu placera ut de bestämda valörerna.
(b) Uppgiften kan ses på ett annat sätt. I fall det finns en 4×13-tabell, där raderna betecknar färger och kolonnerna betecknar valörer, så är antalet snygga sätt lika med antalet sätt som ett torn kan inuti tabellen så att den startar från säg vänstra övre hörnet, kommer till varje ruta en gång och sedan kommer tillbaka till sin egen plats. Kom ihåg att ett schacktorn kan gå lodrätt eller vågrätt godtyckligt många rutor.
Eftersom delen (a) är visat, räcker att bevisa att antalet sätt är delbart med 13. Klistra ihop tabellen längs de korta ändarna så att det bildas ett band med fyra rader. Om vi fixerar en rutt som börjar från spader ess så kan vi rotera bandet 12 steg så att det för varje steg bildas en ny rutt (som inte längre börjar med spader ess).
Vi visar att varje sådan falsk rutt kan göras om till en riktig och den kommer inte vara lika med den ursprungliga.
Varje falsk rutt går ändå igenom spader esset vid något tillfälle, och eftersom den kommer tillbaka till samma ruta som den startade ifrån så kan den lika gärna betraktas som en rutt som börjar i spader ess (som nu är tillåten).
Men varför är det inte lika med det ursprungliga? Då skulle rutten vid en viss rotation avbildas till sig sjäv. Betrakta då vilket som helst vågrätt drag (ett sådant måste finnas). Om vi gör rotationen 13 gånger så ser vi att alla rutor på den raden är startpunkter för vågräta drag (eftersom 13 är ett primtal). Men det kan inte vara möjligt, eftersom vi då inte kommer från den raden.
På så sätt delas rutter upp i grupper om 13 och alltså är antalet rutter delbart med 13!
