تعداد أبي كامل المنهجي للأجوبة الصحيحة

Abu Kamil's systematic integer-solution enumeration

تقصي أجوبة صحيحة متعددة لنظام عددي غير محدد، لا أول مسألة طيور أو كل معادلة ديوفانتية 1.

العمق

نظرة سريعة

الإقليم
مصر ووادي النيل
رأس حمامة رمادية متجهة إلى اليسار، عين برتقالية محمرة ولحمة بيضاء فوق المنقار وريش رقبة قزحي وخلفية ضبابية؛ صورة حديثة لواحدة.
الصورة: حمامة حديثة — سياق لمسألة. Dori, Pigeon portrait4861,28March2008,Santa Barbara, Wikimedia Commons, CC BY-SA3.0US https://creativecommons.org/licenses/by-sa/3.0/us/; original JPG unmodified.

حقائق سريعة

المجال
الرياضيات والحساب
النوع
منهج
أول توثيق
08XX/09XX
الحقبة
العصر العباسي
المكان
مصر
ورد وصفه في
طرائف الحساب لأبي كامل
النسبة
تطوير

من صنعه

النسبة وأساسها

بحث عن مجموعة أجوبة صحيحة، لا الاكتفاء بمثال واحد.

آيدن يصف نظام معادلتين بثلاثة إلى خمسة مجاهيل وطريقة جبرية منظمة، مع سوابق وخلاف في الاعتماد.

المصادر: أبو كامل — جنكيز آيدن · أبو كامل — ماكتوتر · بروفويكي: مثال الطيور والعدد المتغير · كامونز: صورة الحمامة4861 وحقوقها

ما سبقه

  • مسائل ديوفانتية وهندية وعددية شائعة

كيف يعمل

من شروط الأعداد إلى جميع الأجوبة

الموجز

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

وهي مختلفة من جبره بمعاملات غير ناطقة. هنا قد نحتاج أعداداً صحيحة لأن المعدود طيور كاملة، وإن كانت الأسعار كسوراً. سنفحص نموذجاً حديثاً بأسعار معلنة، ونفصل عدده عن أرقام تاريخية منقولة تختلف بين الشروح؛ صحة حساب المتحف لا تحقق وحدها نص المخطوط 1 2.

ما هو

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

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

العالم قبله

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

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

القصة

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

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

المخترع والمخترعون

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

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

كيف يعمل

هذا نموذج توضيحي في بروفويكي، لا جدولاً أصلياً فحصناه: مئة طائر بمئة قطعة نقدية، وخمسة أسعار للوحدة هي2 و1 و1/2 و1/3 و1/4. نرمز للكمياتx,y,z,w,v، فنكتبx+y+z+w+v=100، و2x+y+z/2+w/3+v/4=100. الأسماء والرموز هنا شرح حديث 8.

نضرب معادلة الكلفة في12، فتصير24x+12y+6z+4w+3v=1200. بطرح12 مرة معادلة العدد نحصل على12x=6z+8w+9v، ثمy=100−x−z−w−v. يمكن تعدادz,w,v ضمن حدود العدد الكلي، وقبول ما يعطيx صحيحاً وy موجباً. إنها طريقة المتحف المستقلة لفحص النموذج، لا إعادة إنشاء سطور الحل القديم.

المثال(4,90,1,3,2) صالح: العدد4+90+1+3+2=100، والكلفة8+90+1/2+1+1/2=100. والمثال(7,83,1,3,6) صالح أيضاً. لكن متوسطهما(5.5,86.5,1,3,4) ليس جواباً لطيور كاملة رغم تحقيق المعادلتين؛ صحة المعادلة وحدها لا تلغي شرط الأعداد الصحيحة.

باشتراط حضور الأنواع الخمسة جميعاً يعطينا العد الحديث2678 جواباً؛ وإذا سمحنا بالصفر يصير3727. منها(0,100,0,0,0)، أي النوع ذي السعر1 وحده. ليس العددان خطأين متنافسين في سؤال واحد، بل جوابين لسؤالين تختلف قيودهما. ولا يجعل تطابق أحدهما مع رقم منقول ذلك الرقم قراءة أصلية محققة.

وتكشف المعادلة المختزلة شرطين قبل التعداد: يجب أن يكونv زوجياً لأن الطرفين الآخرين زوجيان، وأن يكونw مضاعفاً للثلاثة بالنظر إلى البواقي عند القسمة على3. نضعw=3b وv=2c فنحصل على2x=z+4b+3c؛ لذلك يلزم أن يكونz+c زوجياً. هذه قيود مشتقة في نموذجنا، لا قواعد منسوبة إلى مخطوط لم نقرأه. وهي لا تكفي وحدها: بعد تحقق القابلية للقسمة يجب أيضاً فحص الحد الكلي وبقاءy موجباً.

الانتشار

يسرد آيدن أخبار ترجمة عبرية مرتبطة بمردخاي فينتسي، مع رأي بأنها قد تكون من الإسبانية لا مباشرة من العربية، وخبر نسخة لاتينية منسوب إلى سوتر. هذه نسب باحثين، لا مسارات حققها المتحف بمقابلة الشواهد. تبقى الوساطة المحتملة ظاهرة ولا تتحول إلى ترجمة مباشرة يقينية 9.

وتناقش ماكتوتر تلقي أعمال أبي كامل عند الكرجي وفيبوناتشي على نحو أوسع. لا نجعل كل تأثير عام انتقالاً مثبتاً لهذا الجدول أو لهذه الأسعار الخمسة. تشابه مسألة أو رقم لا يحدد وحده أي شاهد استعمله قارئ بعينه؛ نحتاج لذلك دليلاً أضيق من شهرة المؤلف 10.

ما بُني عليه

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

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

ما بُني فوقه

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

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

الأثر في الحياة

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

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

كيف غيّر التاريخ

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

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

من اخترعه حقاً؟

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

حتى عدد الأجوبة التاريخي ليس رقماً نختاره من الإنترنت ثم نغلق السؤال. يسرد بروفويكي2696 وأرقاماً مختلفة2676 و2678 و2698 بحسب الروايات الحديثة. عدنا المحدد الشروط يفسر نموذجاً، لكنه لا يفصل وحده ما كتبه كل ناسخ أو سبب اختلاف كل شاهد 14.

اليوم

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

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

الشواهد الباقية

قرأنا سيرة ماكتوتر ومدخل آيدن، لا المخطوطات الأصلية أو طبعة سعيدان1986 أو دراسة سيسيانو كاملة. يذكر آيدن في موضع مخطوطاً واحداً وفي موضع لاحق شاهدي ليدن وباريس؛ نحتفظ بهذا الاختلاف المنقول ولا نختار عدداً لشواهد العمل بمقابلة لم نجرها 16.

وصورة دوري مؤرخة28مارس2008 من سانتا باربرا، بترخيصCC BY-SA3.0US، وينشر أصلهاJPG بلا تعديل. عوينت الصورة وبيانات الحقوق الفعلية؛ لا نستبدل الترخيص الأمريكي بصيغة عامة غير معلنة. حقوق الصورة ونوعها مسألة مختلفة من توثيق الكتاب أو حساب عدد أجوبته 17.

في الثقافة

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

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

للصغار

افحص الخماسية(4,90,1,3,2) مرتين: مرة بالعدد ومرة بالكلفة. ثم اسأل هل يسمح المعلم بغياب نوع. إذا قال لا، فالخماسية(0,100,0,0,0) ممنوعة رغم أن مجموعها وكلفتها صحيحان. اكتب شروط اللعبة قبل البحث، ولا تغيرها حين تظهر نتيجة مختلفة.

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

المراجع

  • آيدن:الطرائف وطبيعة الحلول والشواهد 1.
  • ماكتوتر:السيرة وحجة سيسيانو المنقولة 3.
  • بروفويكي:نموذج الأسعار واختلاف الأرقام 2.
  • كامونز:صورة دوري وحقوقها 17.

الصلات

استكشف الصلات

طُوِّر على يد
أبو كامل شجاع بن أسلم
وُصف على يد
طرائف الحساب لأبي كامل

قد يهمك أيضًا

جبر أبي كامل بمعاملات غير ناطقة· الخوارزمي· فيبوناتشي· خوارزم· كتاب الجبر والمقابلة· أبو كامل شجاع بن أسلم· طرائف الحساب لأبي كامل

المصادر

  1. Aydin, Cengiz. (1994). EBU KAMIL. TDV Islam Ansiklopedisi,vol10,pp172–174. , work2
  2. ProofWiki contributors. Historical Note on Kitab al-taraif fil-hisab of Abu Kamil. ProofWiki. , historical-note
  3. O'Connor, J J; Robertson, E F. (1999). Abu Kamil Shuja ibn Aslam ibn Muhammad ibn Shuja. MacTutor History of Mathematics, University of St Andrews. , rare-things
  4. Aydin, Cengiz. (1994). EBU KAMIL. TDV Islam Ansiklopedisi,vol10,pp172–174. , work2-and-conclusion
  5. O'Connor, J J; Robertson, E F. (1999). Abu Kamil Shuja ibn Aslam ibn Muhammad ibn Shuja. MacTutor History of Mathematics, University of St Andrews. , biography
  6. O'Connor, J J; Robertson, E F. (1999). Abu Kamil Shuja ibn Aslam ibn Muhammad ibn Shuja. MacTutor History of Mathematics, University of St Andrews. , summary
  7. Aydin, Cengiz. (1994). EBU KAMIL. TDV Islam Ansiklopedisi,vol10,pp172–174. , biography
  8. ProofWiki contributors. Historical Note on Kitab al-taraif fil-hisab of Abu Kamil. ProofWiki. , prices
  9. Aydin, Cengiz. (1994). EBU KAMIL. TDV Islam Ansiklopedisi,vol10,pp172–174. , work2-translations
  10. O'Connor, J J; Robertson, E F. (1999). Abu Kamil Shuja ibn Aslam ibn Muhammad ibn Shuja. MacTutor History of Mathematics, University of St Andrews. , reception
  11. Aydin, Cengiz. (1994). EBU KAMIL. TDV Islam Ansiklopedisi,vol10,pp172–174. , work2-notation
  12. Aydin, Cengiz. (1994). EBU KAMIL. TDV Islam Ansiklopedisi,vol10,pp172–174. , work1-and-work2
  13. O'Connor, J J; Robertson, E F. (1999). Abu Kamil Shuja ibn Aslam ibn Muhammad ibn Shuja. MacTutor History of Mathematics, University of St Andrews. , summary-and-rare-things
  14. ProofWiki contributors. Historical Note on Kitab al-taraif fil-hisab of Abu Kamil. ProofWiki. , variant-counts
  15. Dori. File:Pigeon portrait 4861.jpg. Wikimedia Commons. , current-image
  16. Aydin, Cengiz. (1994). EBU KAMIL. TDV Islam Ansiklopedisi,vol10,pp172–174. , work2-witnesses
  17. Dori. File:Pigeon portrait 4861.jpg. Wikimedia Commons. , description-rights
اقتبس هذه الصفحة

مساهمو islam.museum. «تعداد أبي كامل المنهجي للأجوبة الصحيحة». islam.museum، https://islam.museum/ar/invention/abu-kamil-integer-enumeration/. CC BY-SA 4.0. آخر تحديث: 2026-11-06.

حسّن هذه الصفحة على GitHub · أبلغ عن خطأ · ساهم في إكماله · JSON

الجناح

الأفكار

العقائد والمفاهيم والعلوم والمذاهب، بلغةٍ واضحة.
ذو صلة

جبر أبي كامل بمعاملات غير ناطقة

توسيع التعامل الجبري مع غير النواطق إلى المعاملات لا الجذور وحدها؛ تحسين محدد لا اختراع الجبر أو الكميات غير الناطقة.