Why Is Nicomachus' Identity Special?

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

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

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

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

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

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