اختزال الماهاني قسمة الكرة إلى معادلة مكعبة

حاول الماهاني نقل مسألة لأرشميدس من لغة المجسمات إلى الجبر: أين يقطع مستوى كرة حتى تكون نسبة حجمي الجزأين معلومة؟ انتهى إلى معادلة فيها مكعب ومربع وعدد، لكنه لم يحلها. تنقل ماكتوتر ودولد-سامبلونيوس الخبر عن الخيام، وتذكران أن الخازن حل المعادلة لاحقاً باستعمال القطوع المخروطية ^{2 3}.

الإنجاز المسجل هو الصياغة، لا الحل الذي تعذر عليه، ولا اختراع تقسيم الكرة أو كل المعادلات المكعبة. وتبقى هذه البطاقة مختلفة من تنظيم الخيام للحلول الهندسية. قد يغير تحويل السؤال ما يستطيع اللاحقون بحثه، حتى حين لا يكمل صاحبه طريق الحل ^{4 1}.

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

تورد TDV الصيغة الحديثة x³+c=ax²، بينما تكتبها دولد-سامبلونيوس بأسماء معاملات أخرى. اختلاف الحروف لا يعني مسألتين تاريخيتين جديدتين. سنختار حروفاً خاصة للشرح ونصرح بأنها حديثة؛ لا نزعم أن في المخطوط صيغة مطبوعة بهذه العلامات أو مثالاً بالأعداد التي اخترناها ^{1 3}.

الكرة والقضية والبرهان الهندسي الأقدم ليست اختراعات الماهاني. ما يبرزه الخيام في الخبر المنقول هو محاولة معالجة المطلوب جبرياً. وليس مجرد وجود مكعب في الصياغة دليلاً على أنه أول إنسان عرف مكعباً، كما لا تعني صعوبة الحل أن كل طرق الهندسة السابقة كانت عاجزة ⁵.

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

المعلومات عن حياته قليلة. تعطي ماكتوتر مولداً نحو820، بينما تركز الشواهد الأقوى على رصد بين853 و866، نقله ابن يونس. وتذكر TDV وجوده ببغداد نحو860. لا نستعمل رصداً مؤرخاً لنمنح اختزال الكرة يوم اختراع، ولا ننقل تاريخ مدينة إلى عنوان غرفة تأليف متحققة ^{7 8}.

تذكر المصادر شرحاً للكرة والأسطوانة وبقايا وشروحاً مرتبطة به في ليدن. لكن الرواية الأوضح لعدم إكمال الحل تصل عبر الخيام كما تعرضها المصادر الحديثة. نميز بين خبر مؤلف لاحق، وشاهد مخطوط يسرده باحث، وقراءة أصلية لم نجريها؛ لا نجمع الثلاثة في ادعاء معاينة واحد ^{9 3}.

تصف ماكتوتر أبا عبد الله محمد بن عيسى الماهاني بأنه عالم رياضيات إسلامي، وتضعه TDV في علماء الرياضيات والفلك الأوائل في الإسلام. هذا أساس فردي، لا استنتاج من الاسم أو المولد. والإطار السني المعلن مستقل من ادعاء شهادة شخصية بمذهب لم تنص عليه الحسابات المقروءة ^{10 8}.

تظل الوفاة نحو880، مع تصريح TDV بالشك في الزوج267/880. لا نعيد نشر عدم اليقين بوصفه يوماً ثابتاً. وفي القصة ثلاثة أدوار مختلفة: أرشميدس صاحب المسألة السابقة، والماهاني صاحب التحويل، والخازن صاحب حل لاحق بالقطوع؛ لا ندمج أسماءهم أو نجعل الخازن هو الخازني صاحب الميزان ¹¹.

هذا شرح متحفي حديث، لا إعادة إنشاء لكل خطوات الماهاني. نرمز لنصف قطر الكرة بـR، وارتفاع القطعة من قطبها إلى مستوى القطع بـh. تعطي صيغة القطعة V=πh²(3R−h)/3، وحجم الكرة كلها4πR³/3. أما نصف قطر دائرة القطع فيحقق a²=h(2R−h). هذه صيغة حجم ثلاثي الأبعاد، لا مساحة قرص أو قبة ¹².

ضع t=h/R، ولتكن q حصة القطعة من حجم الكرة. بإلغاء الوحدات نحصل على q=t²(3−t)/4، ثم t³+4q=3t². وهكذا ظهرت مكعبات ومربعات وعدد من سؤال هندسي. المجال0≤t≤2؛ القيم الطرفية قطعة معدومة أو كرة كاملة، بينما يتطلب جزآن موجبان0<q<1. هذه تسوية حديثة تختار متغيراً ومعاملات، لا نصاً منقولاً عن الماهاني ¹³.

مثالنا المستقل t=1/2 يعطي q=5/32. نسبة القطعة إلى بقية الكرة هي5:27، وليست5:32؛ الأخيرة نسبة القطعة إلى الكل. وبالتعويض t³+4q=1/8+5/8=3/4، وكذلك3t²=3/4. الأعداد تبين اتساق الصياغة، ولا تثبت أن العالم القديم اختار هذا المثال أو أكمل حل معادلته.

ولنصف الحجم q=1/2 تكون المعادلة t³−3t²+2=0، وتتحلل حديثاً إلى(t−1)(t²−2t−2)=0. جذورها1 و1+√3 و1−√3؛ وحده1 داخل مجال القطعة. ليس كل جذر جبري موضع قطع ممكناً. ولا يجعل اختيار مثال بسيط للفصل من المركز حل الماهاني التاريخي كاملاً لكل نسبة.

في الفحص الحديث أيضاً مشتقة الحصة بالنسبة إلىt هي3t(2−t)/4، موجبة بين0 و2. لذلك يكبر الحجم مع زيادة ارتفاع القطعة، وتوجد حصة واحدة لكل ارتفاع داخلي، وارتفاع واحد لكل حصة داخلية. لا تجعل الجذور الأخرى عدد مواضع قطع حقيقية. هذا برهان حديث لخاصية نموذجنا، لا نسبة استعمال حساب التفاضل إلى الماهاني أو ادعاء العثور على برهانه المفقود ¹³.

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

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

المعطى نسبة بين جزأين، والعلاقة المطلوبة بين حجم القطعة وموضع المستوى. تعتمد المسألة على كرة مثالية ومستوى مثالي، لا فاكهة غير منتظمة أو وعاء مجهول السمك. المثال الحديث يبين أن تحويل السؤال يقتضي تعريف الشيء المحسوب، وليس كتابة رمز مكعب بجوار أي رسم مستدير ¹⁶.

وللمقارنة بين نسبتين m:n نكتب q=m/(m+n)، لا m/n. ثم يعيد ارتفاع القطعة الموافق تحويل النسبة إلى موضع هندسي. هذا تفسيرنا الحديث لمعنى النسبة المنقولة، لا ترجمة حرفية لعبارة أرشميدس أو إثبات أننا فحصنا نصه الأصلي في هذه الجلسة ¹⁷.

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

ولغة اليوم تسمح بمقارنة أحجام الكرة واختيار الجذر المناسب بالحساب. لا ننسب أدوات التحليل هذه إلى الماهاني لمجرد أن الدرس المتحفي يستعملها. كما أن نجاح تعويضنا لا يثبت طريق انتقال مباشر من شرحه إلى كل برنامج حاسوبي حديث لحل مكعب ^{1 13}.

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

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

لم يجعل عجز الماهاني الصياغة بلا قيمة عند الخيام كما تقرأه ماكتوتر. وصف المشكلة بلغة أخرى قد يتيح طرقاً لم تكن ظاهرة في عرضها السابق. لكن ذلك ليس حكماً بأن كل معادلة غير محلولة اختراع عظيم؛ هنا يوجد خبر محدد عن مسألة محددة ومتابعة محددة ⁴.

وتجعل البطاقة الفشل العلمي جزءاً من القصة، لا حاشية نخفيها بعد عنوان انتصاري. لا نكتب «حل الماهاني تقسيم الكرة» حين تقول المصادر إنه توقف عند مكعب. وربما كان تمييز الناتج الذي تحقق من النتيجة التي بقيت مطلوبة أهم ما يحمي هذا التاريخ من المبالغة ³.

أهل السنة — الإطار المعلن: أساس الهوية الإسلامية فردي، والإطار السني مستقل من دعوى الأولوية. القراءة الأكاديمية: تنقل المصادر عن الخيام محاولة الماهاني واكتمالاً لاحقاً عند الخازن. القول هنا نسبة تحويل جبري معين، لا أولوية كل مكعب عرفته حضارة أو حكم نهائي من المتحف على جميع المخطوطات ^{18 1}.

ويجب أن تبقى الأصوات مختلفة أيضاً في الشواهد: تنسب TDV الشرح اللاحق إلى الكوهي، بينما تكتب دولد-سامبلونيوس «ربما». نحتفظ بهذا التحفظ، ولا نستخرج يقيناً من الجمع بين مصدرين. والخبر عن عالم غير مسلم في السوابق لا يحذف لأن بطاقة المتصفح مقيدة بهوية صانعها ^{9 3}.

توضح المقارنة بين t و2−t أن القطعتين المتكاملتين تعطيان حصتين مجموعهما1. ففي مثالنا الآخر t=3/2 تكون q=27/32، وتصبح النسبة27:5. هذا فحص حديث لتبديل جهة النظر إلى المستوى نفسه، لا اكتشاف مثال تاريخي ثان للماهاني. ويمكن التحقق من الحساب من غير آلة أثرية.

في الصورة r نصف قطر الكرة، وh ارتفاع القطعة، وa نصف قطر دائرة القطع؛ أما نصنا فيستعملR للكرة. لا نخلط a المصور بمعامل يحمل الحرف نفسه في صيغة TDV العامة. الشكل حديث، بلون بنفسجي للقطعة وأزرق للكرة، ولا يحمل شهادة على أدوات المؤلف ¹⁹.

قُرئت السيرة الكاملة لماكتوتر، ومقالة إحسان فضلي أوغلو وقائمة أعمالها، والنص المعاد نشره من سيرة دولد-سامبلونيوس مع ببليوغرافيته في ملف صفحة واحدة. لم تفحص شذرة ليدن أو الأصل الكامل للماهاني، ولم يقرأ بحث راشد المدرج لمجرد وروده في المراجع ^{20 9 21}.

وتذكر TDV في أعمال أخرى فهارس ومراجعات ضائعة، فلا نعد كل عنوان كتاباً كاملاً باقياً. صورة القطعة لبروكس صورة2008 طرحها مؤلفها في الملك العام، وقد عوينت حقوقها وصورتها الحالية؛ يستعمل الأصل بلا تعديل. ليست ورقة من شرح الماهاني أو نسخة أثرية لقضيته ^{15 22}.

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

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

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

اختيار h=R/2 في المثال يعطي5/32 من الحجم كله، لا نصفه. والماهاني لم يختر بالضرورة هذه الأرقام؛ نحن اخترناها للتعليم. كان تحويل السؤال خطوة، وحله خطوة أخرى. تذكر عند قراءة عنوان اختراع أن تسأل دائماً: ماذا حقق صاحبه، وماذا بقي بعده ^{13 2}.

• ماكتوتر:السيرة والخبر المنقول عن الخيام ²³.
• فضلي أوغلو في TDV:الصيغة والأعمال ²⁴.
• دولد-سامبلونيوس:السيرة والشواهد والتحفظات ²⁵.
• ماثوورلد:الصيغ الحديثة لا تاريخ الاختراع ¹².
• كامونز:الشكل الحديث وحقوقه ²².