صِلْ كل نقطة بكل النقاط الأخرى: أقل عدد من التقاطعات، مُبرهَنًا

ضع خمس نقاط على ورقة وصِلْ كل زوج منها بمنحنى: عشرة منحنيات في المجموع. يمكنها أن تنحني كما تشاء، لكن لا يجوز لأيٍّ منها أن يمر عبر نقطة ثالثة. حاول أن تتجنب كل تقاطع، وستفشل. مع خمس نقاط، لا مفر من 1 تقاطع على الأقل؛ ومع ست، 3 على الأقل؛ ومع عشر، 60 على الأقل.

يسمي الرياضيون رسمًا كهذا رسمًا لـالبيان التام Kₙ (complete graph)، أي n نقطة كل زوج منها موصول، ويسمّون أقل عدد من التقاطعات يمكن أن يبلغه أي رسم عدد التقاطع (crossing number) له. ويصف مارتن بالكو (Martin Balko)، من جامعة تشارلز في جمهورية التشيك، هذا السؤال بأنه «إحدى أشهر المسائل في نظرية البيان الطوبولوجية».

عدٌّ من فنان

في أواخر خمسينيات القرن العشرين، أنشأ الفنان البريطاني أنتوني هيل (Anthony Hill) رسومًا لـKₙ فيها بالضبط

Z(n) = ¼ ⌊n/2⌋ ⌊(n − 1)/2⌋ ⌊(n − 2)/2⌋ ⌊(n − 3)/2⌋

تقاطعًا، حيث تعني ⌊ ⌋ التقريب إلى الأسفل. وأول من نشر التخمين بأنه لا يمكن لأي رسم أن يفعل أفضل هو غاي (Guy)، ثم ناقشه هاراري (Harary) وهيل لاحقًا، ونشره على نطاق واسع إردوش (Erdős) وغاي. ويُعرف باسم حدسية هاراري–هيل (Harary–Hill conjecture)، أو حدسية غاي.

وتتصاعد الصيغة بسرعة:

4 نقاط أو أقل: 0 تقاطع
5 نقاط: 1
7 نقاط: 9
10 نقاط: 60
14 نقطة: 315

ستة عقود من الإجابات الجزئية

كانت الرسوم التي فيها Z(n) تقاطعًا بالضبط موجودة لكل عدد من النقاط؛ أما الجزء الصعب فكان إثبات أنه لا يوجد رسم يفعل أفضل.

طوال أكثر من ستين عامًا، لم يُثبَت ذلك إلا لأنواع خاصة من الرسوم، مثلًا حين تكون كل النقاط على خط واحد ويبقى كل منحنى في جهة واحدة منه، أو حين تكون النقاط على كرة ويسلك كل منحنى أقصر طريق. وكان بالكو نفسه، مع فوليك (Fulek) وكينتشل (Kynčl)، قد حسم إحدى هذه الفئات. وبحلول عام 2021، كانت الحواسيب قد أكدت الصيغة حتى 14 نقطة. وللأعداد الكبيرة جدًا من النقاط، ضمنت أفضل النتائج العامة 98.5% على الأقل من Z(n)، ثم 98.99%.

برهان، ثم برهان أوضح

في عام 2026، أعلنت OpenAI عن برهان لكل عدد من النقاط، تُدرجه ورقة بالكو بوصفه «OpenAI Math Release preprint» وتنسب إليه المبرهنة. ولا تذكر الورقة كيف وُجد ذلك البرهان. وبحسب تعبير بالكو، فإن البرهان الأصلي «قصير نسبيًا»، لكنه «صعب المتابعة إلى حد ما». وتقدّم مسودته البحثية صيغة مبسطة منه، «لا تتطلب إلا معرفة أولية بالجبر الخطي ونظرية البيان»، كما يكتب. ويُعدّ عالم رياضيات آخر، هو جيلاسيو سالازار (Gelasio Salazar)، عرضًا مفصّلًا مستقلًا.

عدّ المعاملات بدل التقاطعات

بما أن الرسوم المعروفة تبلغ Z(n) أصلًا، فلا يحتاج إلى برهان إلا الحد الأدنى. ويتطلب ذلك أربع خطوات.

الأعداد الفردية تكفي. يمكن إعادة رسم أفضل رسم بحيث لا تتقاطع أبدًا المنحنيات التي تشترك في نقطة؛ فيشمل كل تقاطع حينئذ 4 نقاط مختلفة. احذف كل واحدة من 6 نقاط بالتناوب: كل صورة متبقية من 5 نقاط فيها تقاطع واحد على الأقل، وكل تقاطع يصمد في 2 بالضبط من عمليات الحذف الست (فهو يختفي كلما حُذفت إحدى نقاطه الأربع، ويصمد في الحذفين الآخرين). إذن ضعف عدد التقاطعات لا يقل عن 6: أي 3 على الأقل، وهو Z(6). والعدّ نفسه يصلح لكل عدد زوجي.
عائلة من كثيرات الحدود. أعطِ كل نقطة عددًا خاصًا بها. يشمل التقاطع منحنيين، أي أربع نقاط، أي أربعة أعداد. ويستخدم بالكو كثيرات حدود في أربعة متغيرات، مختارة بحيث يكون للعائلة بالضبط Z(n) معاملًا مستقلًا حين يكون n فرديًا؛ فلـ7 نقاط، 3 × 3 = 9.
قلة التقاطعات تترك متسعًا. أن نطلب من كثيرة حدود أن تنعدم عند تقاطع ما هو معادلة واحدة. ومع عدد من المعادلات أقل من عدد المعاملات الحرة، يترك الجبر الخطي دائمًا حلًا غير صفري. لذا فإن رسمًا فيه أقل من Z(n) تقاطعًا سيأتي معه كثيرة حدود غير صفرية تنعدم عند جميع تقاطعاته؛ ولنأخذ منها تلك التي درجتها أدنى ما يمكن.
المستوي يقاوم. تدخل الهندسة عبر حقيقة كلاسيكية واحدة: الحلقة المغلقة في المستوي تعبر حلقة أخرى من اليمين إلى اليسار بعدد المرات نفسه الذي تعبرها به من اليسار إلى اليمين. ومع أوزان مختارة جيدًا، ينتج عن ذلك مجموع من مربعات قيم كثيرة الحدود، بعضها يُحسب موجبًا وبعضها سالبًا، مجموعه صفر. والحدود الموجبة كلها تقع عند التقاطعات، حيث تنعدم كثيرة الحدود، فلا بد أن تنعدم السالبة أيضًا. واستخدام ثانٍ لحقيقة الحلقات يجعلها قابلة للقسمة على عامل ثابت؛ والقسمة تعطي كثيرة حدود غير صفرية من درجة أدنى لها الخاصية نفسها، وهذا مستحيل، لأننا أخذنا الأدنى درجةً.

حجة الإشارة هذه هي التغيير الرئيسي الذي أدخله بالكو: فهي تحل محل الحجة الأصلية «التي تتضمن صيغة ثنائية الخطية غير منحلّة ومتممات متعامدة». كما يبرهن حقيقة الحلقات بطريقة مختلفة ويعزل كل نقطة على نحو أكثر مباشرة.

شبكات أخرى حُسمت دفعة واحدة

يبقى الجواب Z(n) إذا عددنا، بدل التقاطعات، أزواج المنحنيات التي تتقاطع أصلًا، أو التي تتقاطع عددًا فرديًا من المرات، ما دامت المنحنيات التي تشترك في نقطة لا تلتقي أبدًا في موضع آخر. وبالاقتران مع اختزالات سابقة، تعطي المبرهنة أيضًا أعداد التقاطع الدقيقة لبيانات تامة أُزيلت منها بعض الوصلات، ولنسخ من بيان تام مسلسلة على امتداد مسار أو حول دورة زوجية، ولعائلة من الشبكات الشبيهة بالكسوريات تُسمى بيانات سيربينسكي الموسّعة (extended Sierpiński graphs).

انزع منحنى واحدًا فقط من البيان التام ذي النقاط الست، فينخفض حدّه الأدنى من 3 تقاطعات إلى 2؛ ومع 8 نقاط، من 18 إلى 15.