مشكلة ماشية أرخميدس

مشكلة ماشية أرخميدس (أو مشكلة الأبقار أو مشكلة أرخميدس ) هي مشكلة في تحليل ديوفانتين ، دراسة معادلات كثيرة الحدود مع حلول صحيحة . تنسب المشكلة إلى أرخميدس ، وتتضمن حساب عدد الماشية في قطيع إله الشمس مع مجموعة معينة من القيود. تم اكتشاف المشكلة بواسطة إفرايم ليسينغ في مخطوطة يونانية تحتوي على قصيدة من أربعة وأربعين سطرًا ، في مكتبة هرتسوغ أغسطس في فولفنبوتل، ألمانيا عام 1773. ^[1]

ظلت المشكلة دون حل لعدة سنوات ، ويرجع ذلك جزئيًا إلى صعوبة حساب الأعداد الضخمة التي ينطوي عليها الحل. تم إيجاد الحل العام في عام 1880 بواسطة كارل إرنست أوغست أمثور (1845–1916) في دريسدن ، ألمانيا. ^[2] ^[3] ^[4] باستخدام الجداول اللوغاريتمية ، قام بحساب الأرقام الأولى من أصغر حل ، موضحا أنه تقريبا يساوي $7.76 \times 1 0^{206544}$ ماشية، أكثر بكثير مما يمكن أن يتم استيعابه في الكون المرئي . ^[5] الصيغة العشرية طويلة جدًا بحيث لا يستطيع البشر حسابها بالضبط ، ولكن يمكن للحزم الحسابية الدقيقة المتعددة على أجهزة الكمبيوتر كتابتها بشكل صريح.

التاريخ

في عام 1769 ، تم تعيين إفرايم ليسينغ أمين مكتبة هرتسوغ أغسطس في فولفنبوتل ، ألمانيا ، والتي تحتوي على العديد من المخطوطات اليونانية واللاتينية. ^[6] بعد بضع سنوات ، نشر ليسينغ ترجمات لبعض المخطوطات مع التعليقات. من بينها قصيدة يونانية من أربعة وأربعين سطرًا ، تحتوي على مشكلة حسابية تطلب من القارئ العثور على عدد الماشية في قطيع إله الشمس. وتنسب الآن بشكل عام إلى أرخميدس. ^[7] ^[8]

المشكلة

المشكلة ، من اختصار الترجمات الألمانية التي نشرها جورج نيسلمان في عام 1842 ، و كرومبيجل في عام 1880 ، تنص على:

احسب ، يا صديقي ، عدد ماشية الشمس التي كانت ترعى ذات مرة على سهول صقلية ، مقسمة حسب اللون إلى أربعة قطعان ، واحدة من لون الحليب الأبيض ، وواحدة سوداء ، وواحدة مرقطة وأخرى صفراء. عدد الثيران أكبر من عدد الأبقار ، والعلاقة بينهما هي:
الثيران البيضاء $(\frac{1}{2} + \frac{1}{3}) =$ الثيران السوداء + الثيران الصفراء ،

الثيران السوداء $(\frac{1}{4} + \frac{1}{5}) =$ الثيران مرقطة + الثيران صفراء ،

الثيران المرقطة $(\frac{1}{6} + \frac{1}{7}) =$ الثيران بيضاء + الثيران صفراء ،

الأبقار البيضاء $(\frac{1}{3} + \frac{1}{4}) =$ القطيع الأسود ،

الأبقار السوداء $(\frac{1}{4} + \frac{1}{5}) =$ القطيع المرقط ،

الأبقار المرقطة $(\frac{1}{5} + \frac{1}{6}) =$ القطيع الأصفر ،

الأبقار الصفراء $(\frac{1}{6} + \frac{1}{7}) =$ القطيع الأبيض.

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

الثيران البيضاء + الثيران السوداء = رقم مربع ،

الثيران المرقطة + الثيران الصفراء = رقم مثلث .
إذا قمت أيضًا بحساب هذه أيضًا ، يا صديقي ، ووجدت العدد الإجمالي للماشية ، ابتهج كفاتح، لأنك أثبت أنك الأكثر مهارة في الأرقام. ^[9]

الحل

يمكن حل الجزء الأول من المشكلة بسهولة عن طريق إنشاء نظام المعادلات . إذا كان عدد الثيران البيضاء والسوداء والمرقطة والصفراء مكتوبًا $W, B, D,$ و $Y$ ، ويكتب عدد الأبقار البيضاء والسوداء والمرقطة والأصفر $w, b, d,$ و $y$ ، المشكلة تكمن ببساطة في إيجاد حل لـ:

\begin{array}{r} W & = \frac{5}{6} B + Y \\ B & = \frac{9}{20} D + Y \\ D & = \frac{13}{42} W + Y \\ w & = \frac{7}{12} (B + b) \\ b & = \frac{9}{20} (D + d) \\ d & = \frac{11}{30} (Y + y) \\ y & = \frac{13}{42} (W + w) \end{array}

وهو نظام من سبع معادلات مع ثمانية مطلوبات مجهولة. وهو نظام غير محدد ولديه ما لا نهاية من الحلول. أقل الأعداد الصحيحة الإيجابية التي تحقق المعادلات السبع هي:

\begin{array}{r} B & = 7, 460, 514 \\ W & = 10, 366, 482 \\ D & = 7, 358, 060 \\ Y & = 4, 149, 387 \\ b & = 4, 893, 246 \\ w & = 7, 206, 360 \\ d & = 3, 515, 820 \\ y & = 5, 439, 213 \end{array}

وهو ما مجموعه 50،389،082 من الماشية ^[9] والحلول الأخرى هي مضاعفات لا يتجزأ منها. لاحظ أن الأرقام الأربعة الأولى هي مضاعفات 4657 ، وهي قيمة ستظهر بشكل متكرر أدناه.

تم العثور على الحل العام للجزء الثاني من المشكلة لأول مرة بواسطة أ. أمثور ^[10] في عام 1880. تم وصف النسخة التالية منه بواسطة هندريك لنسترا، ^[5] استنادًا إلى معادلة بيل : يجب أن يتم ضرب الحل المذكور أعلاه للجزء الأول من المشكلة في

n = \frac{(w^{4658 j} - w^{- 4658 j})^{2}}{(4657) (79072)}

حيث أن

w = 300426607914281713365 \sqrt{609} + 84129507677858393258 \sqrt{7766}

و j هي أي عدد صحيح موجب. مكافئ، لتربيع w الناتج من

w^{2} = u + v \sqrt{(609) (7766)}

حيث أن { u ، v } هي الحلول الأساسية لمعادلة بيل

u^{2} - (609) (7766) v^{2} = 1

حجم أصغر قطيع يمكن أن يرضي كلا الجزأين الأول والثاني من المشكلة يتم إعطاؤه بواسطة j = 1 ، وهو حوالي $7.76 \times 1 0^{206544}$ (حلها أمثور أولاً). يمكن لأجهزة الكمبيوتر الحديثة بسهولة طباعة جميع أرقام الإجابة. تم ذلك لأول مرة في جامعة واترلو ، في عام 1965 بواسطة هيو ويليامز ، ر.أ. جيرمان ، وتشارلز روبرت زارنك. استخدموا مزيجًا من أجهزة الكمبيوتر IBM 7040 وIBM 1620 . ^[11]

معادلة بيل

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

B + W = 7, 460, 514 k + 10, 366, 482 k = (2^{2}) (3) (11) (29) (4657) k

وبالتالي يجب على المرء تعيين

k = (3) (11) (29) (4657) q ²

لبعض العدد الصحيح q . هذا يحل الشرط الأول. ثانيًا ، يتطلب أن يكون D + Y رقمًا مثلثًا ،

D + Y = \frac{t^{2} + t}{2}

الحل من أجل t ،

t = \frac{- 1 \pm \sqrt{1 + 8 (D + Y)}}{2}

استبدال قيمة D + Y و k وإيجاد قيمة q ² بحيث أن المييز في هذه المعادلة من الدرجة الثانية هو مربع مثالي p ² يستلزم حل معادلة بيل ،

p^{2} - (4) (609) (7766) (465 7^{2}) q^{2} = 1

كان نهج أمثور الذي تمت مناقشته في القسم السابق أساسيًا للعثور على أصغر v بحيث يمكن تقسيمه بشكل متكامل على 2 · 4657. الحل الأساسي لهذه المعادلة يحتوي على أكثر من 100000 رقم.

المراجع

^ Lessing, Gotthold Ephraim (1773). Zur Geschichte und Litteratur: aus den Schätzen der Herzoglichen Bibliothek zu Wolfenbüttel, Zweyter Beytrag [On History and Literature: from the treasures of the ducal library at Wolfenbüttel, second article] (بالألمانية واليونانية). Braunschweig, (Germany): Fürstlicher Waysenhaus. pp. 421–425. Archived from the original on 2018-09-17.
^ Krumbiegel, B.; Amthor, A. (1880). "Das Problema bovinum des Archimedes" [The cattle problem of Archimedes]. Zeitschrift für Mathematik und Physik: . Historisch-literarische Abtheilung [Journal for Mathematics and Physics: Historical-literary section] (بالألمانية واليونانية واللاتينية). 25: 121–136, 153–171. Archived from the original on 2020-06-16.
^ Biographical information about August Amthor:
^ The problem was solved independently in 1895 by Adam Henry Bell, a surveyor and civil engineer of Hillsboro, Illinois, USA. See:
^ ^أ ^ب Lenstra، H. W., Jr. (2002)، "Solving the Pell Equation" (PDF)، إشعارات جمعية الرياضيات الأمريكية، ج. 49، ص. 182–192، MR:1875156، مؤرشف من الأصل (PDF) في 2020-02-07.{{استشهاد}}: صيانة الاستشهاد: أسماء متعددة: قائمة المؤلفين (link)
^ Rorres، Chris. "Archimedes' Cattle Problem (Statement)". مؤرشف من الأصل في 2007-01-24. اطلع عليه بتاريخ 2007-01-24.
^ Fraser، P.M. (1972). Ptolemaic Alexandria. دار نشر جامعة أكسفورد.
^ Weil، A. (1972). Number Theory, an Approach Through History. Birkhäuser.
^ ^أ ^ب Merriman، Mansfield (1905). "The Cattle Problem of Archimedes". بوبيولار ساينس. ج. 67: 660–665.
^ B. Krumbiegel, A. Amthor, Das Problema Bovinum des Archimedes, Historisch-literarische Abteilung der Zeitschrift für Mathematik und Physik 25 (1880) 121–136, 153–171.
^ Harold Alkema and Kenneth McLaughlin (2007). "Unbundling Computing at The University of Waterloo". جامعة واترلو. مؤرشف من الأصل في 2011-04-04. اطلع عليه بتاريخ 2011-04-05. (includes pictures)

قراءة متعمقة

Bell، A. H. (1895)، "The "Cattle Problem." By Archimedies 251 B. C."، The American Mathematical Monthly، Mathematical Association of America، ج. 2، ص. 140–141، DOI:10.2307/2968125، JSTOR:2968125
Dörrie، Heinrich (1965). "Archimedes' Problema Bovinum". 100 Great Problems of Elementary Mathematics. Dover Publications. ص. 3–7.
Williams، H. C.؛ German, R. A.؛ Zarnke, C. R. (1965). "Solution of the Cattle Problem of Archimedes". جمعية الرياضيات الأمريكية. ج. 19 ع. 92: pp. 671–674. DOI:10.2307/2003954. JSTOR:2003954.
Vardi، I. (1998). "Archimedes' Cattle Problem". Mathematical Association of America. ج. 105 ع. 4: pp. 305–319. DOI:10.2307/2589706.
Benson، G. (2014). "Archimedes the Poet: Generic Innovation and Mathematical Fantasy in the Cattle Problem". مطبعة جامعة جونز هوبكينز. ج. 47 ع. 2: pp. 169–196. DOI:10.1353/are.2014.0008.

روابط خارجية

قالب:OEIS el - الحل العشري الكامل للمشكلة الثانية
أليكس بيلوس. "Holy Cow that's a Big Number" (video). YouTube. Brady Haran. اطلع عليه بتاريخ 2019-11-25.

بوابة رياضيات

[1] Lessing, Gotthold Ephraim (1773). Zur Geschichte und Litteratur: aus den Schätzen der Herzoglichen Bibliothek zu Wolfenbüttel, Zweyter Beytrag [On History and Literature: from the treasures of the ducal library at Wolfenbüttel, second article] (بالألمانية واليونانية). Braunschweig, (Germany): Fürstlicher Waysenhaus. pp. 421–425. Archived from the original on 2018-09-17.

[2] Krumbiegel, B.; Amthor, A. (1880). "Das Problema bovinum des Archimedes" [The cattle problem of Archimedes]. Zeitschrift für Mathematik und Physik: . Historisch-literarische Abtheilung [Journal for Mathematics and Physics: Historical-literary section] (بالألمانية واليونانية واللاتينية). 25: 121–136, 153–171. Archived from the original on 2020-06-16.

[3] Biographical information about August Amthor:

[4] The problem was solved independently in 1895 by Adam Henry Bell, a surveyor and civil engineer of Hillsboro, Illinois, USA. See:

[Lenstra2002-5] أ ^ب Lenstra، H. W., Jr. (2002)، "Solving the Pell Equation" (PDF)، إشعارات جمعية الرياضيات الأمريكية، ج. 49، ص. 182–192، MR:1875156، مؤرشف من الأصل (PDF) في 2020-02-07.{{استشهاد}}: صيانة الاستشهاد: أسماء متعددة: قائمة المؤلفين (link)

[rorres-6] Rorres، Chris. "Archimedes' Cattle Problem (Statement)". مؤرشف من الأصل في 2007-01-24. اطلع عليه بتاريخ 2007-01-24.

[7] Fraser، P.M. (1972). Ptolemaic Alexandria. دار نشر جامعة أكسفورد.

[8] Weil، A. (1972). Number Theory, an Approach Through History. Birkhäuser.

[merriman1905-9] أ ^ب Merriman، Mansfield (1905). "The Cattle Problem of Archimedes". بوبيولار ساينس. ج. 67: 660–665.

[10] B. Krumbiegel, A. Amthor, Das Problema Bovinum des Archimedes, Historisch-literarische Abteilung der Zeitschrift für Mathematik und Physik 25 (1880) 121–136, 153–171.

[11] Harold Alkema and Kenneth McLaughlin (2007). "Unbundling Computing at The University of Waterloo". جامعة واترلو. مؤرشف من الأصل في 2011-04-04. اطلع عليه بتاريخ 2011-04-05. (includes pictures)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]