A proper Euler magic matrix of order 6

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

لقد أجاب الباحث سانجيت سينغ ميهات على هذا السؤال بنعم قاطعة. ففي دراسة حديثة، صمم ميهات أول مثال معروف لمصفوفة أويلر سحرية حقيقية من الرتبة ستة. ولفهم الأهمية، يجب النظر في الشروط الصارمة المطلوبة. يجب أن تحتوي الشبكة على ستة وثلاثين عدداً صحيحاً. وعند تربيع هذه الأعداد، يجب أن يساوي مجموع الأعداد الستة في كل صف واحداً مجموعاً محدداً. ويجب أن يظهر هذا المجموع نفسه في كل عمود. علاوة على ذلك، يجب أن يتطابق مجموع الأعداد الستة المربعة التي تمتد من الزاوية العلوية اليسرى إلى الزاوية السفلية اليمنى مع ذلك المجموع، ويجب أن يتطابق مجموع الأعداد الستة المربعة التي تمتد من الزاوية العلوية اليمنى إلى الزاوية السفلية اليسرى مع ذلك المجموع أيضاً. وأخيراً، والأهم من ذلك، تُعتبر الشبكة "حقيقية" فقط إذا كانت القيم المطلقة لجميع الأعداد الستة والثلاثين مختلفة تماماً عن بعضها البعض. لا يمكن لعددين أن يكون لهما نفس الحجم، حتى لو كان أحدهما موجباً والآخر سالباً.

لعقود من الزمن، ظل وجود مثل هذه الشبكة لتخطيط ستة في ستة مجهولاً. لقد حسمت الأعمال السابقة الحالات للشبكات الأصغر، حيث أثبتت أن نسخة ثلاثة في ثلاثة مستحيلة، وأكدت أن النسخ للأحجام واحد، واثنين، وأربعة، وخمسة، وثمانية موجودة بالفعل. وقف حالة الستة في ستة كأصغر قطعة مفقودة في اللغز. لقد ملأ عمل ميهات هذه الفجوة من خلال تقديم مثالين متميزين وملموسين لهذه الشبكات. يستخدم المثال الأول مجموعاً كلياً محدداً قدره 18,500 للمدخلات المربعة. أما المثال الثاني، الذي وُجد بشكل مستقل، فيستخدم مجموعاً كلياً مختلفاً قدره 43,290. كلا المصفوفتين مملوءتان بأعداد صحيحة، والتي عند تربيعها وجمعها وفقاً للقواعد، تعطي هذه الإجماليات بالضبط. وقد تحقق الباحث في كلتا الحالتين من أن الصفوف والأعمدة مستقلة رياضياً، وأن مجموع الأقطار صحيح، وأن كل عدد في الشبكة له مقدار فريد.

لم يكن الطريق للعثور على هذه الشبكات مسألة تجربة وخطأ بسيطة. فمساحة البحث واسعة جداً بحيث يكون فحص كل الاحتمالات يدوياً أو باستخدام طرق حوسبة قياسية مستحيلاً. طور ميهات طريقة متخصصة لتضييق نطاق البحث. بدلاً من محاولة بناء الشبكة بأكملها دفعة واحدة، تضمن النهج توليد كتل بناء أصغر ودمجها بطرق تلبي قواعد الصف والعمود أولاً. وبمجرد العثور على شبكة مرشحة تستوفي تلك المتطلبات الأساسية، بحث الباحث عن ترتيب محدد للصفوف والأعمدة من شأنه أن يستوفي قواعد الأقطار أيضاً. أثبتت هذه الاستراتيجية فعاليتها، مما سمح باكتشاف المثالين في غضنة دقائق من تشغيل برنامج البحث. كما حددت الدراسة حداً أدنى رياضياً للمجموع الكلي في مثل هذه الشبكة، حيث أثبتت أن مجموع المدخلات المربعة يجب أن يكون 2,485 على الأقل، وهو الحد الذي ساعد في توجيه البحث.

لضمان أن النتائج فوق مستوى الشك، خضعت النتائج لعملية تحقق صارمة. تم فحص الحسابات باستخدام حسابات الأعداد الصحيحة الدقيقة، وهي طريقة لا تترك مجالاً لأخطاء التقريب. أككد برنامج آخر مكتوب بشكل مستقل النتائج، كما تم التحقق من الإثبات بأكمله بواسطة نظام حاسوبي مصمم لفحص المنطق الرياضي. تؤكد عملية التحقق الثلاثية هذه أن الشبكات حقيقية وأنها تستوفي كل شرط مطلوب. لا يعتمد العمل على نظريات معقدة أو افتراضات غير مثبتة؛ بل يستند إلى العرض الصريح للأعداد نفسها. يمكن لأي شخص لديه آلة حاسبة أن يتحقق من أن صفوف وأعمدة وأقطار الشبكات المقدمة تُجمع بشكل صحيح وأنه لا يتشارك أي عددين في نفس الحجم.

يحل هذا الاكتشاف سؤالاً محدداً طال أمده في مجال الرياضيات التوافقية. وبينما كان وجود المربعات السحرية المكونة من مربعات معروفاً بالفعل لشبكات ستة في ستة، إلا أن تلك النتائج السابقة لم تضمن الاستقلال الصارم للصفوف والأعمدة المطلوب لمصفوفة أويلر السحرية. يوضح عمل ميهات أن مثل هذا الهيكل ممكن بالفعل، مما يضيف الرقم ستة إلى قائمة الأحجام التي يمكن بناء هذه الشبكات الخاصة لها. تقدم الدراسة الأعداد الفعلية لشبكتين من هذا النوع، مما يقدم حلاً ملموساً لمشكلة ظلت مفتوحة. إنها تقف كمثال واضح على كيف يمكن للأساليب الحوسبية الحديثة، عندما تُوجه باستراتيجيات رياضية ذكية، أن تحل مشكلات استعصت على الباحثين لسنوات، محولة إياها من مجرد إمكانية نظرية إلى واقع ملموس.