إذا سبق لك أن فتحت العلبة المعدنية الدائرية للعبة الجماعية الشهيرة عالمياً «دوبل» (Dobble / Spot It!)، فأنت تعرف قاعدتها البسيطة للغاية: تحمل كل بطاقة دائرية ثمانية رموز مختلفة. وعند قلب أي بطاقتين على الطاولة، يتسابق اللاعبون لاكتشاف الرمز المشترك ونطق اسمه أولاً.

كل من يلعب هذه اللعبة لبضع دقائق يلاحظ خاصية رياضية ساحرة: بغض النظر عن البطاقتين اللتين تختارهما من المجموعة بأكملها، فإنهما تشتركان دائماً في رمز واحد — ولا تشتركان أبداً في أكثر من رمز واحد!

في داخل هذه العلبة الصغيرة يكمن أحد كنوز الرياضيات البحتة الحديثة: التقاء الهندسة الإسقاطية المنتهية (Finite Projective Geometry)، وحقول غالوا المنتهية ($\mathbb{F}_q$)، ونظرية التصميم التوافقي. والأدهى من ذلك أنه بمجرد أن نتساءل: «ماذا يحدث لو وضعنا $k$ من الرموز على كل بطاقة بدلاً من $8$؟» نجد أنفسنا أمام مسألة الضباط الـ 36 لليونهارد أويلر (1782)، ومبرهنة بروك-رايزر-تشاولا (1949)، وبرهان الحاسوب الفائق Cray-1 الذي استغرق 2,000 ساعة عمل في عام 1989 لحسم حالة $k = 11$ رمزاً، وأحد أعظم الألغاز غير المحلولة في الرياضيات المتقطعة المعاصرة: هل يوجد مستوى إسقاطي منتهٍ من الرتبة $12$ ($13$ رمزاً لكل بطاقة، و$157$ بطاقة)؟

الفصل 1: ثلاثة ألغاز رياضية داخل علبة Dobble

تحتوي علبة Dobble التجارية على 55 بطاقة، في كل منها 8 رموز مأخوذة من رصيد يضم $57$ رمزاً مختلفاً. إن محاولة تصميم هذه المجموعة يدوياً بالتجربة والخطأ تصطدم فوراً بالانفجار التوافقي الهائل لعدد البطاقات الممكنة:

إن البحث بالقوة الغاشمة بين 1.65 مليار بطاقة محتملة مستحيل حسابياً دون مخطط جبري. وهذا يطرح ثلاثة ألغاز:

1. الحد الأقصى لعدد البطاقات والبطاقتان المفقودتان: عند وضع $k = 8$ رموز في كل بطاقة، يبلغ السقف الرياضي النظري 57 بطاقة (و57 رمزاً). فلماذا تحتوي العلبة التجارية على 55 بطاقة فقط؟
2. المخطط الجبري: كيف نكتب جميع البطاقات الـ 57 دفعة واحدة دون أي تجربة وخطأ باستخدام الجبر؟
3. المجموعات المحظورة: لماذا يمكن بناء لعبة Dobble مثالية بـ $k = 3$ (7 بطاقات)، أو $k = 4$ (13 بطاقة)، أو $k = 5$ (21 بطاقة)، أو $k = 6$ (31 بطاقة)، أو $k = 8$ (57 بطاقة)، بينما يستحيل رياضياً على أي إنسان أو حاسوب فائق في الكون بناء مجموعة كاملة بـ $k = 7$ رموز (43 بطاقة) أو $k = 11$ رمزاً (111 بطاقة)؟

الفصل 2: من الهندسة الإقليدية إلى الهندسة الإسقاطية — النقاط في اللانهاية ومبدأ الثنوية

في المستوى الإقليدي الكلاسيكي ($\mathbb{R}^2$)، تحدد أي نقطتين مختلفتين مستقيماً وحيداً، لكن أي مستقيمين مختلفين يتقاطعان في نقطة وحيدة إلا إذا كانا متوازيين. وفي القرنين السابع عشر والتاسع عشر، أزال جيرار ديزارغ (1639) وجان فيكتور بونسليه (1822) هذا الاستثناء عبر استلهام نقطة التلاشي في الرسم المنظوري لعصر النهضة:

1. لكل حزمة من المستقيمات المتوازية ذات الميل $m$ نضيف نقطة في اللانهاية $P_\infty(m)$ تمر بها جميع المستقيمات ذات الميل $m$.
2. نجمع كل النقاط في اللانهاية $\{P_\infty(m)\}$ على مستقيم جديد واحد هو المستقيم في اللانهاية $\ell_\infty$ (خط الأفق).

بذلك نحصل على المستوى الإسقاطي $(\mathcal{P}, \mathcal{L}, \mathcal{I})$ الذي تحكمه ثلاث مسلمات:

• المسلمة P1: يمر بأي نقطتين مختلفتين $P \neq Q$ مستقيم وحيد $\ell$.
• المسلمة P2: يتقاطع أي مستقيمين مختلفين $\ell_1 \neq \ell_2$ في نقطة وحيدة $P$.
• المسلمة P3 (عدم التدهور): توجد على الأقل أربع نقاط في وضع عام (لا تقع أي ثلاث منها على مستقيم واحد).

إن تبديل كلمتي «نقطة» و«مستقيم» يحافظ على المسلمات (مبدأ الثنوية / Duality)، مما يمنحنا قاموس الترجمة المباشر إلى لعبة Dobble:

  flowchart TD
    subgraph Affine["1. المستوى الإقليدي / التآلفي الكلاسيكي"]
        A1["أي نقطتين مختلفتين تحددان مستقيماً وحيداً"]
        A2["المستقيمان المتوازيان لا يتقاطعان أبداً (استثناء)"]
    end
    subgraph Completion["2. الإكمال الإسقاطي (ديزارغ 1639 وبونسليه 1822)"]
        B1["إضافة نقطة في اللانهاية P_inf(m) لكل حزمة متوازية بميل m"]
        B2["جمع كل النقاط في اللانهاية في مستقيم اللانهاية l_inf"]
    end
    subgraph Projective["3. مسلمات المستوى الإسقاطي (P, L, I)"]
        C1["المسلمة P1: أي نقطتين تقعان على مستقيم وحيد"]
        C2["المسلمة P2: أي مستقيمين يتقاطعان في نقطة وحيدة"]
        C3["المسلمة P3: توجد 4 نقاط لا تقع 3 منها على استقامة واحدة"]
    end
    subgraph Dobble["4. الترجمة الثنوية إلى لعبة Dobble (Spot It!)"]
        D1["نقطة P  <--->  رمز (أيقونة)"]
        D2["مستقيم l  <--->  بطاقة (مجموعة رموز)"]
        D3["كل زوج من البطاقات يتقاطع في رمز مشترك وحيد!"]
    end
    Affine --> Completion --> Projective --> Dobble

الفصل 3: مبرهنة العد للرتبة $n$ ومستوى فانو $PG(2, 2)$

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

البرهان: بتثبيت نقطة مرجعية $P_0$، فإن أي نقطة أخرى $Q \neq P_0$ تقع (بموجب P1 وP2) على واحد فقط من المستقيمات الـ $n + 1$ المارة بـ $P_0$. ولأن كل مستقيم منها يحوي $n$ من النقاط غير $P_0$، نجد $|\mathcal{P}| = 1 + (n + 1)n = n^2 + n + 1$. وفي لعبة Dobble ($k = 8 \implies n = 7$)، يكون الحد الأقصى النظري هو $N = 7^2 + 7 + 1 = 57$ بطاقة و57 رمزاً.

أصغر هندسة منتهية: مستوى فانو $PG(2, 2)$ ($n = 2$)

عند $n = 2$ ($k = 3$ رموز لكل بطاقة، و$N = 7$ بطاقات)، اكتشف العالم الإيطالي جينو فانو (1892) مستوى فانو $PG(2, 2)$. تقابل نقاطه السبع المتجهات الثنائية السبعة غير الصفرية في $\mathbb{F}_2^3 \setminus \{\mathbf{0}\}$ (حيث تشكل ثلاث نقاط مستقيماً إذا وفقط إذا كان مجموعها الثنائي $u \oplus v \oplus w = \mathbf{0}$)، أو الإزاحات الدورية لمجموعة الفروق التامة $\{1, 2, 4\} \pmod 7$:

الفصل 4: الإحداثيات المتجانسة على حقول غالوا $\mathbb{F}_q$ وتصميم الـ 57 بطاقة ($n = 7$)

يوجد حقل منتهٍ (حقل غالوا) $\mathbb{F}_q$ يضم $q$ عنصراً إذا وفقط إذا كان $q = p^r$ قوة لعدد أولي $p$. وفي الفضاء المتجهي $\mathbb{F}_q^3 \setminus \{\mathbf{0}\}$، تشكل صفوف التكافؤ $[x : y : z] \sim [\lambda x : \lambda y : \lambda z]$ ($\lambda \in \mathbb{F}_q^\times$) عدداً من النقاط الإسقاطية قدره $\frac{q^3-1}{q-1} = q^2 + q + 1$، وتحدد المعادلات الخطية $ax + by + cz = 0$ المستقيمات الـ $q^2 + q + 1$ في المستوى الديزارغي $PG(2, q)$.

بالنسبة إلى Dobble ($q = 7$، الحساب بقياس $7$ في $\mathbb{F}_7 = \{0,\dots,6\}$)، تنقسم الرموز الـ 57 إلى 49 نقطة شبكية تآلفية $P_{x,y} = [x : y : 1]$ و8 نقاط في اللانهاية $I_m = [1 : m : 0]$ و$I_\infty = [0 : 1 : 0]$. وتنقسم البطاقات الـ 57 إلى:

1. 49 بطاقة للمستقيمات المائلة والأفقية $L_{m,b}$: النقاط الـ 7 $\{(x, mx+b \bmod 7)\}$ مضافاً إليها نقطة اللانهاية $I_m$.
2. 7 بطاقات للمستقيمات الشاقولية $V_c$: النقاط الـ 7 $\{(c, y)\}$ مضافاً إليها النقطة الشاقولية $I_\infty$.
3. بطاقة واحدة لخط الأفق $L_\infty$: تضم جميع النقاط الثماني في اللانهاية $\{I_0, \dots, I_6, I_\infty\}$.

وبدلاً من ذلك، تتيح مبرهنة سينغر (1938) توليد جميع البطاقات الـ 57 بإزاحة مجموعة الفروق الدورية $D = \{0, 1, 3, 13, 32, 36, 43, 52\} \pmod{57}$ بمقدار $+i \pmod{57}$. أما اكتفاء العلبة التجارية بـ 55 بطاقة بدلاً من 57 فيعود لأسباب تتعلق بتقطيع ألواح الطباعة الصناعية ($55 = 5 \times 11$) وتوزيع البطاقات بالتساوي بين اللاعبين، دون الإخلال بالمسلمة P2.

الفصل 5: ضباط أويلر الـ 36، ومبرهنة بروك-رايزر-تشاولا، وحدود المعرفة عند $n = 10$ و$n = 12$

إن المستوى الإسقاطي من الرتبة $n$ هو تصميم كتل متناظر $(n^2+n+1, n+1, 1)$-BIBD (يحقق المساواة $b = v$ في متباينة فيشر)، وبموجب مبرهنة التكافؤ لـ R. C. Bose (1938) فإنه يوجد إذا وفقط إذا وجد $n - 1$ من المربعات اللاتينية المتعامدة مثنى مثنى (MOLS) من الرتبة $n$.

• الرتبة $n = 6$ ($7$ رموز، $43$ بطاقة): تتطلب وجود $5$ مربعات لاتينية متعامدة من الرتبة $6$. غير أن الفرنسي غاستون تاري (Gaston Tarry) أثبت عام 1900 عدم وجود حل لمسألة ضباط أويلر الـ 36 (1782)، إذ لا يوجد حتى زوج واحد ($2$) من المربعات اللاتينية المتعامدة من الرتبة $6$، مما يجعل $n = 6$ مستحيلاً!
• مبرهنة بروك-رايزر-تشاولا (1949): إذا وجد مستوى إسقاطي منتهٍ من الرتبة $n$ وكان $n \equiv 1 \text{ أو } 2 \pmod 4$، فيجب أن يُكتب $n$ على شكل مجموع مربعين كاملين: $$n = a^2 + b^2 \quad (a, b \in \mathbb{Z})$$ وهذه المبرهنة تستبعد فوراً $n = 6, 14, 21, 22, 30, \dots$!
• الرتبة $n = 10$ ($11$ رمزاً، $111$ بطاقة) وبرهان Cray-1 (1989): بما أن $10 = 1^2 + 3^2$، فإن مبرهنة بروك-رايزر-تشاولا لا تستبعد $n = 10$. وفي عام 1989، تمكن كليمنت لام (Clement W. H. Lam) وزملاؤه عبر نظرية الترميز الثنائي وبعد 2,000 ساعة حساب على الحاسوب الفائق Cray-1A من إثبات عدم وجود مستوى إسقاطي من الرتبة $10$.
• الرتبة $n = 12$ ($13$ رمزاً، $157$ بطاقة): بما أن $12 \equiv 0 \pmod 4$، فلا تنطبق مبرهنة بروك-رايزر-تشاولا، كما أن فضاء البحث يفوق قدرة جميع الحواسيب الفائقة الحالية. وهكذا يظل وجود مستوى من الرتبة $12$ (حدسية القوة الأولية / PPC) لغزاً رياضياً مفتوحاً!

  flowchart TD
    Start["الهدف: هل يمكن بناء مجموعة Dobble مثالية من الرتبة n؟<br/>(k = n + 1 رمزاً لكل بطاقة، N = n^2 + n + 1 بطاقة ورمزاً)"]
    CheckPP{"هل الرتبة n قوة لعدد أولي؟<br/>n = p^r (p أولي، r >= 1)"}
    ConstructGF["[موجود — نعم]<br/>نبني PG(2, q) بالإحداثيات المتجانسة على حقل غالوا F_q!<br/>أمثلة: n=2 (7 بطاقات)، n=3 (13)، n=4 (21)، n=5 (31)،<br/>n=7 (Dobble: 57 بطاقة)، n=8 (73)، n=9 (91)"]
    CheckBRC{"هل n ≡ 1 أو 2 (mod 4)؟"}
    CheckSumSq{"هل يُكتب n كمجموع مربعين؟<br/>n = a^2 + b^2"}
    RejectBRC["[غير موجود — لا]<br/>مستبعد بمبرهنة بروك-رايزر-تشاولا (1949)!<br/>أمثلة: n=6 (7 رموز، 43 بطاقة / تاري 1900)،<br/>n=14 (15 رمزاً، 211 بطاقة)، n=21, 22, 30..."]
    Case10{"هل n = 10؟<br/>(10 = 1^2 + 3^2)"}
    Reject10["[غير موجود — لا]<br/>مستبعد بنظرية الترميز + 2,000 ساعة على الحاسوب الفائق Cray-1A!<br/>(Lam, Thiel & Swiercz, 1989: 11 رمزاً و111 بطاقة مستحيل)"]
    OpenProblem["[مسألة مفتوحة غير محلولة]<br/>جبهة حدسية القوة الأولية (PPC)!<br/>أصغر رتبة مفتوحة: n = 12 (13 رمزاً، 157 بطاقة)،<br/>تليها n = 15, 18, 20, 24, 26..."]

    Start --> CheckPP
    CheckPP -- "نعم" --> ConstructGF
    CheckPP -- "لا (n = 6, 10, 12, 14...)" --> CheckBRC
    CheckBRC -- "نعم" --> CheckSumSq
    CheckSumSq -- "لا" --> RejectBRC
    CheckSumSq -- "نعم (n = 10, 18, 26...)" --> Case10
    Case10 -- "نعم" --> Reject10
    Case10 -- "لا" --> OpenProblem
    CheckBRC -- "لا (n ≡ 0, 3 mod 4)" --> OpenProblem