طريقة ابن الهيثم بالقوى الرابعة لقياس الحجوم

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

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

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

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

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

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

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

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

أهل السنة — الإطار المعلن: تنسب المساهمة المحددة إلى العالم مع حفظ أساس هويته وحدود المعلوم ¹⁰. القراءة الأكاديمية: يفرق كاتز بين أمثلة المؤلف وإعادة البناء الحديثة، ويصرح بريسود بعدم وجود دليل على أنه تجاوز القوة الرابعة، وإن كانت الطريقة قابلة للامتداد ^{13 14}. هذه مساهمة رياضية مستقلة عن تجارب البيت المظلم، لا عد ثان للتجربة نفسها.

نستعمل رموزاً حديثة للشرح، لا نعيد إنتاج كتابة المؤلف. نأخذ طولين موجبين a,b، والقطع x=a(y/b)^2، والمنطقة بينه وبين المستقيم x=a حين 0≤y≤b. عند دوران المنطقة حول ذلك المستقيم يكون نصف قطر المقطع الأفقي r(y)=a(1−(y/b)^2)؛ يبدأ بـa في القاعدة وينتهي بصفر عند القمة ^{5 15}. أما تدوير المنطقة حول المحور الآخر فينشئ جسماً مختلفاً، فلا يكفي الاسم الواحد لتوحيد الحجمين.

نقسم الارتفاع إلى n أجزاء متساوية، سماكة كل منها b/n. مساحة القرص تتناسب مع مربع نصف قطره؛ وعندما نربع التعبير الذي يحتوي y² يظهر y⁴. هنا يأتي سبب القوة الرابعة، لا من رغبة في عد أربعة أبعاد مكانية ¹⁶. في التقريب الداخلي يكون حجم الطبقة عند ارتفاع ib/n هو πa²b/n × (1−i²/n²)². بجمع الطبقات نحتاج إلى مجموع المربعات ومجموع القوى الرابعة، بعد توسيع القوس إلى 1−2i²/n²+i⁴/n⁴ ¹⁵.

صيغة مجموع القوى الرابعة بالكتابة الحديثة هي S4(n)=n^5/5+n^4/2+n^3/3−n/30، أو n(n+1)(2n+1)(3n²+3n−1)/30 ¹⁷. مثلاً يعطي جمع 1+16+81+256 العدد354. هذا فحص صغير للصيغة، لا برهان على صحتها لكل عدد موجب؛ فاختبار مثال واحد لا يغطي بقية الأعداد.

يمكن فهم اشتقاقها بإعادة ترتيب جمع منتهٍ. إذا رمزنا إلى مجموع القوى بالرمز Sk، فإن (n+1)S3(n)=S4(n)+ΣS3(j) حين يمتد j من واحد إلى n. نضع صيغة مجموع المكعبات داخل المجموع، فتصبح الجهة اليمنى 5S4/4+S3/2+S2/4. ولذلك S4=4(n+1/2)S3/5−S2/5، ثم نعوض الصيغ المعروفة للمربعات والمكعبات ^{14 13}. هذه إعادة بناء حديثة قابلة للفحص. يوضح كاتز أن عرض المؤلف اشتق المثال عند n=4 وأعلن النتيجة العامة؛ لا نحول صياغة كاتز الحديثة إلى نص حرفي قديم.

بعد التعويض، يكون مجموع الأقراص الداخلي مقسوماً على حجم الأسطوانة πa²b مساوياً L(n)=8/15−1/(2n)−1/(30n^4). والمجموع الخارجي U(n)=L(n)+1/n. اخترنا هذين التعريفين التعليميين بحيث تقع كل طبقة حقيقية بين طبقة أضيق وأوسع؛ الفرق الكلي 1/n من الأسطوانة يمكن تصغيره بحسب الحاجة. عند n=4 نجد L=0.408203125 وU=0.658203125، وبينهما 8/15 ¹⁵.

الحساب العددي الأخير مثالنا لا قياسات تاريخية. إذا افترضنا حجماً يخالف 8πa²b/15، أمكن جعل الفرق بين الحصرين أصغر من مقدار ذلك الخلاف، فيناقض الاحتواء الهندسي؛ هذا تفسير حديث لفكرة الاستنفاد التي يصفها كاتز بالبرهان بالخلف المزدوج ¹⁵. لا يوجد هنا «آخر قرص» بسماكة صفر، ولا يثبت التقارب بمجرد رسم طبقات كثيرة. وللطولين a=2,b=3 يكون الحجم 32π/5 وحدة مكعبة؛ يجب توحيد وحدة الطولين قبل استعمال العدد.

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

ويقدم فحص الأبعاد وسيلة مستقلة لكشف خطأ في نقل الصيغة: يجب أن يكون الحجم حاصل طول مكعب، ولذلك يناسبه العامل a²b، ولا يناسبه ab الذي يمثل مساحة. أما نسبة الحجم إلى الأسطوانة فعدد بلا وحدة، لأننا نقسم مقدارين من النوع نفسه. إن تضاعفت جميع الأطوال تضاعف الحجم ثماني مرات وبقيت النسبة نفسها؛ ليس ذلك خبراً عن تجربة أجراها العالم، بل نتيجة تعليمية من الصيغة المعروضة ¹⁵.

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

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

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

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

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

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

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

شاهدنا المقروء هو المقال العلمي الحديث بصور صفحتي167 و168، وشروح بريسود، لا مخطوط بخط ابن الهيثم ^{4 2}. يحيل كاتز إلى دراسة راشد عن قياس المجسم المكافئ؛ نسجل الإحالة طريقاً للبحث ولا نستشهد بصفحات دراسة لم نقرأها ²⁷. كذلك لا تمثل الصورة المرخصة آلة تاريخية أو ورقة قديمة اكتشفت حديثاً.

يساعد المثال على رواية الرياضيات بأسماء أصحابها وأسئلتها ووسطائها، لا بإعلان أن حضارة واحدة صنعت كل شيء. ففي سرد بريسود وكاتز يظهر اليوناني والهندي والعاملون في العربية مع اختلاف مسائلهم وأزمانهم ^{23 1}. ولا تكون كل قبة مرئية توقيعاً حسابياً لابن الهيثم؛ التشابه البصري لا يحدد المنحنى بدقة ولا يثبت أن البنّاء استعمل هذه الصيغة.

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

• كاتز1995: المقاطع163–168 و174 مقروءة، وصورتا167–168 مفحوصتان؛ لا قراءة كاملة للمقال أو أصل الرسالة ²⁸.
• بريسود، الجزء الأول1–4 والثالث1–3؛ النص الأصلي للمقال لا ملخصات المنصة الآلية ^{23 29}.
• شرح دنيس وأدنغتون، وأساس الهوية السابق، وبيانات الصورة الحديثة ^{30 12 10 31}.