بدون جعبه اطلاعات
غیراستاندارد

معمای ۱۷ شتر: تفاوت میان نسخه‌ها

از اسلامیکال
پرش به ناوبری پرش به جستجو
بدون خلاصۀ ویرایش
 
(۶ نسخهٔ میانیِ ایجادشده توسط همین کاربر نشان داده نشد)
خط ۱: خط ۱:
[[پرونده:Camels in Merzouga Desert.jpg|thumb|upright=۱٫۵|۱۷ شتر غیرقابل تقسیم]]'''معمای ۱۷ شتر موروثی''' یک معمای ریاضی برای تسهیم نابرابر اما [[تقسیم منصفانه کالاها|منصفانه]] کالاهای [[توابع سودمند در کالاهای تقسیم ناپذیر|غیرقابل تقسیم]] است. این معما معمولاً به این صورت بیان می‌شود که تعدادی حیوان بزرگ (مثلاً: ۱۷ فیل، ۱۷ شتر، ۱۷ اسب و …) باید به نسبت درخواستی معین (اما نامساوی) بین چند فرد ذی‌نفع تقسیم شود.
[[پرونده:Camels in Merzouga Desert.jpg|thumb|upright=۱٫۵|۱۷ شتر غیرقابل تقسیم]]'''معمای ۱۷ شتر موروثی''' یک معمای ریاضی برای تسهیم نابرابر اما منصفانه کالاهای غیرقابل تقسیم است. این معما معمولاً به این صورت بیان می‌شود که تعدادی حیوان بزرگ (مثلاً: ۱۷ فیل، ۱۷ شتر، ۱۷ اسب و …) باید به نسبت درخواستی معین (اما نامساوی) بین چند فرد ذی‌نفع تقسیم شود.


این معما بیش از آن که یک مسئله ریاضی با راه حل شفاف باشد، [[حکایت|حکایتی]] در مورد یک محاسبه عجیب است. این معما نمونه‌ای از منطق‌های فرضی است که برای حل مسائل استفاده می‌شود و با انجام اعمال تقسیم روی سرمایه فرضی، دقیقاً سرمایه ذکر شده را به ما پس می‌دهد. فراتر از [[ریاضیات سرگرمی]] یا آموزش ریاضیات، معما بیشتر به عنوان یک [[مثل (ادبیات)|داستان کوتاه]] با معانی استعاری متفاوت تکرار شده‌است.
این معما بیش از آن که یک مسئله ریاضی با راه حل شفاف باشد، [[حکایت|حکایتی]] در مورد یک محاسبه عجیب است. این معما نمونه‌ای از منطق‌های فرضی است که برای حل مسائل استفاده می‌شود و با انجام اعمال تقسیم روی سرمایه فرضی، دقیقاً سرمایه ذکر شده را به ما پس می‌دهد. فراتر از ریاضیات سرگرمی یا آموزش ریاضیات، معما بیشتر به عنوان یک داستان کوتاه با معانی استعاری متفاوت تکرار شده است.


منشأ باستانی این معما اغلب مورد مناقشه است و سند تاریخی برای آن وجود ندارد، با این وجود نسخه‌ای از معما را می‌توان به آثار [[مهدی نراقی|ملا محمد مهدی نراقی]]، فیلسوف قرن ۱۳ قمری (قرن ۱۸ میلادی) پیوند زد. این معما از قرن ۱۹ میلادی وارد نوشته‌های [[ریاضیات سرگرمی|ریاضی سرگرمی]] غرب شد. چندین ریاضیدان این حکایت یا معما را تعمیم داده و آن را در اعدادی غیر از ۱۷ استفاده کرده‌اند.
منشأ باستانی این معما اغلب مورد مناقشه است و سند تاریخی برای آن وجود ندارد، با این وجود نسخه‌ای از معما را می‌توان به آثار [[مهدی نراقی|ملا محمدمهدی نراقی]]، فیلسوف قرن ۱۳ قمری (قرن ۱۸ میلادی) پیوند زد که در آن، این معما به عنوان حل یک اختلاف قضایی توسط [[علی بن ابی‌طالب]] بوده است. این معما از قرن ۱۹ میلادی وارد نوشته‌های ریاضی سرگرمی غرب شد. چندین ریاضیدان این حکایت یا معما را تعمیم داده و آن را در اعدادی غیر از ۱۷ استفاده کرده‌اند.


== بیان مسئله ==
== شرح معما ==
یکی از صورت‌بندی‌های متداول این معما اینطور است: مردی می‌میرد که ۱۷ شتر دارد و وصیتش این است که این ۱۷ شتر به این‌صورت تقسیم شود: {{تقسیم|۲}} شترها برای پسر بزرگتر، {{تقسیم|۳}} برای پسر وسطی و {{تقسیم|۹}} برای پسر کوچک‌تر. با توجه به این که یک شتر قابل تقسیم نیست و اگر قرار به تقسیم کردن یک شتر باشد، ارزش مادی آن از بین می‌رود، شترها را چگونه باید بین پسرها تسهیم کرد؟{{r|stockmeyer}}
=== بیان مسئله ===
یکی از صورت‌بندی‌های متداول این معما اینطور است: مردی می‌میرد که ۱۷ شتر دارد و وصیتش این است که این ۱۷ شتر به این‌صورت تقسیم شود: {{تقسیم|۲}} شترها برای پسر بزرگتر، {{تقسیم|۳}} برای پسر وسطی و {{تقسیم|۹}} برای پسر کوچک‌تر. با توجه به این که یک شتر قابل تقسیم نیست و اگر قرار به تقسیم کردن یک شتر باشد، ارزش مادی آن از بین می‌رود، شترها را چگونه باید بین پسرها تسهیم کرد؟{{r|stockmeyer}}


== راه حل ==
=== راه حل ===
[[File:17_camel_puzzle.svg|thumb|تصویر حل معمای ۱۷ شتر|234x234پیکسل]]
[[File:17_camel_puzzle.svg|thumb|تصویر حل معمای ۱۷ شتر|234x234پیکسل]]
طبق عادات و رسوم، سه پسر برای حل مشکل خود نزد یک مقام دینی، قاضی یا معتمد شهر می‌روند تا مشکل را برایشان حل کند. مرد مورد نظر معما را این‌گونه حل می‌کند: او یک شتر خود را به آنها قرض می‌دهد تا تعداد شترها به ۱۸ برسد. سپس تقسیم را بر مبنای ۱۸ شتر می‌دهد: ۱۸ تقسیم بر ۲ می‌شود ۹ شتر (سهم پسر بزرگتر)، ۱۸ تقسیم بر ۳ می‌شود ۶ (سهم پسر وسطی) و ۱۸ تقسیم بر ۹ می‌شود ۲ (سهم پسر کوچک). اکنون جمع کسرهایی که سهم سه برادر را تعیین می‌کند، کمتر از یک است: {{تقسیم|۱۷|۱۸}}={{تقسیم|۹}}+{{تقسیم|۳}}+{{تقسیم|۲}}{{efn|یعنی مخرج مشترک گرفته و جمع مورد نظر کمتر از یک شده.}} پس یک شتر باقی مانده‌است که همان شتر قرضی است و به صاحبش پس داده می‌شود.{{r|stockmeyer}}
طبق عادات و رسوم، سه پسر برای حل مشکل خود نزد یک مقام دینی، قاضی یا معتمد شهر می‌روند تا مشکل را برایشان حل کند. مرد مورد نظر معما را این‌گونه حل می‌کند: او یک شتر خود را به آنها قرض می‌دهد تا تعداد شترها به ۱۸ برسد. سپس تقسیم را بر مبنای ۱۸ شتر می‌دهد: ۱۸ تقسیم بر ۲ می‌شود ۹ شتر (سهم پسر بزرگتر)، ۱۸ تقسیم بر ۳ می‌شود ۶ (سهم پسر وسطی) و ۱۸ تقسیم بر ۹ می‌شود ۲ (سهم پسر کوچک). اکنون جمع کسرهایی که سهم سه برادر را تعیین می‌کند، کمتر از یک است: {{تقسیم|۱۷|۱۸}}={{تقسیم|۹}}+{{تقسیم|۳}}+{{تقسیم|۲}}{{efn|یعنی مخرج مشترک گرفته و جمع مورد نظر کمتر از یک شده.}} پس یک شتر باقی مانده است که همان شتر قرضی است و به صاحبش پس داده می‌شود.{{r|stockmeyer}}


ویژگی جالب این راه‌حل این است که هر سه پسر از سهم ارث خود راضی‌اند؛ چرا که هرکدامشان نسبت به تقسیم مستقیم عدد ۱۷ سهم بیشتری نصیبشان شده‌است. پسر اول باید «{{تقسیم|۲}} ۸» شتر می‌گرفت که ۹ شتر گرفت؛ پسر دوم باید «{{تقسیم|۲|۳}} ۵» شتر دریافت می‌کرد اما ۶ شتر نصیبش شد و سهم پسر سوم نیز باید «{{تقسیم|۸|۹}} ۱» شتر می‌بود اما ۲ شتر دریافت کرد.{{r|bss}}
ویژگی جالب این راه‌حل این است که هر سه پسر از سهم ارث خود راضی‌اند؛ چرا که هرکدامشان نسبت به تقسیم مستقیم عدد ۱۷ سهم بیشتری نصیبشان شده است. پسر اول باید «{{تقسیم|۲}} ۸» شتر می‌گرفت که ۹ شتر گرفت؛ پسر دوم باید «{{تقسیم|۲|۳}} ۵» شتر دریافت می‌کرد اما ۶ شتر نصیبش شد و سهم پسر سوم نیز باید «{{تقسیم|۸|۹}} ۱» شتر می‌بود اما ۲ شتر دریافت کرد.{{r|bss}}


== تاریخچه ==
== تاریخچه ==
مسائل مشابهی از این دست تقسیم‌های نابرابر وجود داشته که حتی پیشینه آن به دوران باستان هم بازمی‌گردد، منتها در آنها مانند این معما قرض و بازگشت شترها یا پیچاندن مسئله نبوده و این موضوع به اواخر قرن نوزدهم بازمی‌گردد. نمونه آن [[پاپیروس ریاضی ریند]] (سال‌های ۱۶۵۰ قبل از میلاد) در دوران [[مصر باستان]] است که در آن نحوه تسهیم ۷۰۰ نان به دو نسبت معین {{تقسیم|۱|۲}} و {{تقسیم|۲|۳}} (یا به‌صورت متناظر {{تقسیم|۱|۴}} و {{تقسیم|۱|۳}}) حل شده.{{r|stockmeyer|finkel}}
مسائل مشابهی از این دست تقسیم‌های نابرابر وجود داشته که حتی پیشینه آن به دوران باستان هم بازمی‌گردد، منتها در آنها مانند این معما قرض و بازگشت شترها یا پیچاندن مسئله نبوده و این موضوع به اواخر قرن نوزدهم بازمی‌گردد. نمونه آن پاپیروس ریاضی ریند (سال‌های ۱۶۵۰ قبل از میلاد) در دوران مصر باستان است که در آن نحوه تسهیم ۷۰۰ نان به دو نسبت معین {{تقسیم|۱|۲}} و {{تقسیم|۲|۳}} (یا به‌صورت متناظر {{تقسیم|۱|۴}} و {{تقسیم|۱|۳}}) حل شده.{{r|stockmeyer|finkel}}


معمای ۱۷ حیوان می‌تواند نمونه‌ای از مسئله ''تکمیل یکپارچگی'' در نظر گرفته شود، این ایده در حل مسائل موجود در پاپیروس ریاضی ریند نیز وجود داشت که مجموعه‌ای از کسرها به کمتر از یک اضافه می‌شد تا دقیقاً برابر یک شود.{{r|anne}} نمونهٔ تاریخی دیگر از مسائل وراثت به صورت کسرهای درخواستی را [[پوبلیوس یوونتیوس کلسوس]] نقل کرده‌است؛ پرونده‌ای در امپراتوری روم که [[سالویوس یولیانوس]] در مورد آن تصمیم‌گیری کرده بود. در این پرونده مردی به همسر باردارش وصیت می‌کند که اگر بچه پسر باشد او {{تقسیم|۸}} و پسر {{تقسیم|۲|۸}} ارثش را دریافت کند و اگر دختر باشد او {{تقسیم|۲|۸}} و دختر {{تقسیم|۸}} دریافت کند. مرد می میرد ولی دوقلو به دنیا می آید، سالویوس یولیانوس به عنوان قاضی تصمیم میگیرد که عمل تقسیم را اینگونه انجام دهد: او دارایی مرد را به هفت قسمت تبدیل می کند و چهار قسمت را به پسر،دو قسمت را به همسر و یکی را به دختر می‌دهد. {{r|cajori|smith}} مشکلات ناشی از تقسیم درست عناصر غیرقابل تقسیم به نسبت‌های مشخص، علاوه بر مسائل ارثی، در مسائل مربوط به تخصیص کرسی‌های پارلمان در [[نظام انتخاباتی]][[نمایندگی تناسبی| تناسباتی]] نیز وجود دارد.{{r|carerd}}
معمای ۱۷ حیوان می‌تواند نمونه‌ای از مسئله ''تکمیل یکپارچگی'' در نظر گرفته شود، این ایده در حل مسائل موجود در پاپیروس ریاضی ریند نیز وجود داشت که مجموعه‌ای از کسرها به کمتر از یک اضافه می‌شد تا دقیقاً برابر یک شود.{{r|anne}} نمونهٔ تاریخی دیگر از مسائل وراثت به صورت کسرهای درخواستی را پوبلیوس یوونتیوس کلسوس نقل کرده است؛ پرونده‌ای در امپراتوری روم که سالویوس یولیانوس در مورد آن تصمیم‌گیری کرده بود. در این پرونده مردی به همسر باردارش وصیت می‌کند که اگر بچه پسر باشد او {{تقسیم|۸}} و پسر {{تقسیم|۲|۸}} ارثش را دریافت کند و اگر دختر باشد او {{تقسیم|۲|۸}} و دختر {{تقسیم|۸}} دریافت کند. مرد می‌میرد ولی دوقلو به دنیا می‌آید، سالویوس یولیانوس به عنوان قاضی تصمیم می‌گیرد که عمل تقسیم را اینگونه انجام دهد: او دارایی مرد را به هفت قسمت تبدیل می‌کند و چهار قسمت را به پسر، دو قسمت را به همسر و یکی را به دختر می‌دهد. {{r|cajori|smith}} مشکلات ناشی از تقسیم درست عناصر غیرقابل تقسیم به نسبت‌های مشخص، علاوه بر مسائل ارثی، در مسائل مربوط به تخصیص کرسی‌های پارلمان در نظام انتخاباتی تناسباتی نیز وجود دارد.{{r|carerd}}


بسیاری از مسائل مشابه تقسیم کسری از [[ریاضیات قدیمه در جهان اسلام|ریاضیات قدیم جهان اسلام]] نیز وجود داشته‌است،{{r|sesiano|finkel|ageron}} اما به نظر نمی‌رسد که داستان ۱۷ شتر بخشی از ریاضیات کلاسیک عربی-اسلامی باشد.{{r|ageron}} منشأ فرضی تأیید شده‌ای نیز در کارهای [[خوارزمی]]، [[لئوناردو فیبوناچی|فیبوناچی]] یا [[نیکولو تارتالیا|تارتالیا]] وجود ندارد.{{r|nasbar}} همچنین این معما صرفاً به عنوان یک افسانه به [[بیربال]]، وزیر امپراتوری مغول در قرن شانزدهم، نیز نسبت داده شده‌است.{{r|naranan}} قدیمی‌ترین سند مربوط به این معما که در آن از ۱۷ شتر استفاده شده، توسط پیر آگرون، در آثار [[مهدی نراقی|ملا محمد مهدی نراقی]]، فیلسوف مسلمان قرن هجدهم پیدا شد که در آن [[علی|علی بن ابی‌طالب]] قضاوت را انجام می‌دهد.{{r|ageron}}  
بسیاری از مسائل مشابه تقسیم کسری از [[ریاضیات قدیمه در جهان اسلام|ریاضیات قدیم جهان اسلام]] نیز وجود داشته است،{{r|sesiano|finkel|ageron}} اما به نظر نمی‌رسد که داستان ۱۷ شتر بخشی از ریاضیات کلاسیک عربی-اسلامی باشد.{{r|ageron}} منشأ فرضی تأیید شده‌ای نیز در کارهای [[خوارزمی]]، فیبوناچی یا تارتالیا وجود ندارد.{{r|nasbar}} همچنین این معما صرفاً به عنوان یک افسانه به بیربال، وزیر امپراتوری [[مغول]] در قرن شانزدهم، نیز نسبت داده شده است.{{r|naranan}} قدیمی‌ترین سند مربوط به این معما که در آن از ۱۷ شتر استفاده شده، توسط پیر آگرون، در آثار [[مهدی نراقی|ملا محمدمهدی نراقی]]، فیلسوف مسلمان قرن هجدهم پیدا شد که در آن [[علی بن ابی‌طالب]] قضاوت را انجام می‌دهد.{{r|ageron}}


این معما در آمریکا با انتشار ''سفرنامهٔ بین‌النهرین''، نوشتهٔ جیمز فیلیپس فلچر در دهه ۱۸۵۰ رواج پیدا کرد.{{r|fletcher|maxwin}} این معما در سال ۱۸۵۹ در ''ماهنامه ریاضی'' چاپ شد.{{r|nasbar|tmm}} همچنین یک نسخه از آن با ۱۷ فیل تحت عنوان یک معمای چینی در کتاب ''هانکی پانکی: رمز و رازهای احضار'' (چاپ لندن، ۱۸۷۲)، گنجانده شد.{{r|stockmeyer|nasbar}} در اواخر قرن نوزدهم و اوایل قرن بیستم در آثار کسانی چون: [[هنری دودنی]]، [[سم لوید]]،{{r|stockmeyer}} [[ادوارد لوکاس]]،{{r|ageron}} [[پروفسور هافمن]]،{{r|hoffmann}} [[امیل فوره]]{{r|fourrey}} و سایر اندیشمندان، معماهای مشابهی طرح شد.{{r|morrell|white|drummond|wensmi}} نسخه‌ای دیگر نیز با ۱۷ اسب به عنوان [[فولکلور]] یا باور مردمی در آمریکا رواج یافت.{{r|browne}}
این معما در [[آمریکا]] با انتشار ''سفرنامهٔ بین‌النهرین''، نوشتهٔ جیمز فیلیپس فلچر در دهه ۱۸۵۰ رواج پیدا کرد.{{r|fletcher|maxwin}} این معما در سال ۱۸۵۹ در ''ماهنامه ریاضی'' چاپ شد.{{r|nasbar|tmm}} همچنین یک نسخه از آن با ۱۷ فیل تحت عنوان یک معمای چینی در کتاب ''هانکی پانکی: رمز و رازهای احضار'' (چاپ لندن، ۱۸۷۲)، گنجانده شد.{{r|stockmeyer|nasbar}} در اواخر قرن نوزدهم و اوایل قرن بیستم در آثار کسانی چون: هنری دودنی، سم لوید،{{r|stockmeyer}} ادوارد لوکاس،{{r|ageron}} هافمن،{{r|hoffmann}} امیل فوره{{r|fourrey}} و سایر اندیشمندان، معماهای مشابهی طرح شد.{{r|morrell|white|drummond|wensmi}} نسخه‌ای دیگر نیز با ۱۷ اسب به عنوان فولکلور یا باور مردمی در آمریکا رواج یافت.{{r|browne}}


شیوهٔ دیگری از این معما هم گفته شده که در آن تعداد ۱۱ شتر هست که باید به نسبت {{تقسیم|۲}}، {{تقسیم|۴}}، {{تقسیم|۶}} تقسیم شود.{{r|vv|seibert}} نسخه‌ای دیگر از معما در کتاب «''مردی که می‌شمارد''» یک کتاب معمایی ریاضی که به [[زبان پرتغالی]] توسط [[ژولیو سزار دِ ملو ئی سوزا]] نوشته شده، تعداد شترها را ۳۵ عدد اعلام کرده و همان نسبت‌های ۱۷ شتر را درخواست کرده است. پس از آن که قهرمان داستان یک شتر به امانت می‌دهد و تعداد شترها به ۳۶ عدد می‌رسد، آنها را بین سه نفر تقسیم می‌کند و دو شتر باقی می‌ماند؛ شتر قهرمان به او بازگردانده می‌شود و شتر باقی‌مانده نیز به عنوان جایزه زیرکی به او داده می‌شود. در یادداشت‌های ترجمهٔ انگلیسی کتاب، به نسخهٔ ۱۷ شتری کتاب در آثار فوری و گاستون بوچنی (۱۹۳۹) اشاره شده‌است.{{r|nasbar}}
شیوهٔ دیگری از این معما هم گفته شده که در آن تعداد ۱۱ شتر هست که باید به نسبت {{تقسیم|۲}}، {{تقسیم|۴}}، {{تقسیم|۶}} تقسیم شود.{{r|vv|seibert}} نسخه‌ای دیگر از معما در کتاب «''مردی که می‌شمارد''» یک کتاب معمایی ریاضی که به زبان پرتغالی توسط ژولیو سزار دِ ملو ئی سوزا نوشته شده، تعداد شترها را ۳۵ عدد اعلام کرده و همان نسبت‌های ۱۷ شتر را درخواست کرده است. پس از آن که قهرمان داستان یک شتر به امانت می‌دهد و تعداد شترها به ۳۶ عدد می‌رسد، آنها را بین سه نفر تقسیم می‌کند و دو شتر باقی می‌ماند؛ شتر قهرمان به او بازگردانده می‌شود و شتر باقی‌مانده نیز به عنوان جایزه زیرکی به او داده می‌شود. در یادداشت‌های ترجمهٔ انگلیسی کتاب، به نسخهٔ ۱۷ شتری کتاب در آثار فوری و گاستون بوچنی (۱۹۳۹) اشاره شده است.{{r|nasbar}}


فراتر از ریاضیات سرگرمی، این معما به عنوان بخشی از دروس ریاضی در مدارس{{r|bss|coyle}} یا به عنوان [[مثل (ادبیات)|داستان کوتاه]] با اخلاقیات متنوع در دین، قانون، اقتصاد، سیاست{{r|drummond|anspach|chadosh|ost|teubner}} و حتی به عنوانی توضیحی عامیانه برای کاتالیزور در شیمی نیز استفاده شده‌است.{{r|swann}}
فراتر از ریاضیات سرگرمی، این معما به عنوان بخشی از دروس ریاضی در مدارس{{r|bss|coyle}} یا به عنوان داستان کوتاه با اخلاقیات متنوع در دین، قانون، اقتصاد، سیاست{{r|drummond|anspach|chadosh|ost|teubner}} و حتی به عنوانی توضیحی عامیانه برای کاتالیزور در شیمی نیز استفاده شده است.{{r|swann}}


== تعمیم مسئله ==
== تعمیم مسئله ==
پاول استاکمایر، محقق علوم کامپیوتر گروهی از معماهای مشابه را برای هر تعداد حیوان تعریف می‌کند. او برای هر n حیوان، معماهای مشابهی را طرح می‌کند که به نوبه خود n این ویژگی را دارد که به عنوان مجموعی از [[مقسوم‌علیه|مقسوم علیه‌های]] متمایز <math>  d_1, d_2,\dots</math> بر <math> n+1</math> نوشته شود.
پاول استاکمایر، محقق علوم کامپیوتر گروهی از معماهای مشابه را برای هر تعداد حیوان تعریف می‌کند. او برای هر n حیوان، معماهای مشابهی را طرح می‌کند که به نوبه خود n این ویژگی را دارد که به عنوان مجموعی از مقسوم علیه‌های متمایز <math>  d_1, d_2,\dots</math> بر <math> n+1</math> نوشته شود.


<math>\frac{d_1}{n+1}, \frac{d_2}{n+1}, \dots .</math>
<math>\frac{d_1}{n+1}, \frac{d_2}{n+1}, \dots .</math>


چون که اعداد <math>d_i</math>{{efn|'''i'''، در اینجا یعنی هرعدد دلخواه.}} برای تقسیم بر <math>n+1</math> انتخاب شده‌اند، همهٔ کسرها به [[کسر واحد| کسرهای واحد]] ساده می‌شوند.{{efn|کسر واحد منظور همان کسری است که صورت آن یک و مخرج آن هر عدد طبیعی مثبت است.}} وقتی که سهم قاضی همراه با سایر سهم‌ها و<math>\frac{1}{n+1}</math> جمع شود،‌ با همدیگر [[کسر مصری|کسرهای مصری]] را می‌سازند که سرجمع عدد یک از آنها به دست می‌آید.{{r|stockmeyer}} رقم شترهایی که می‌توانند مبنای این چنین معما قرار گیرند (یعنی اعداد <math>n</math> که به عنوان مجموع مقسوم علیه‌های تقسیم متفاوت باشد)، تشکیل [[دنباله صحیح]] می‌دهند:
چون که اعداد <math>d_i</math>{{efn|'''i'''، در اینجا یعنی هرعدد دلخواه.}} برای تقسیم بر <math>n+1</math> انتخاب شده‌اند، همهٔ کسرها به کسرهای واحد ساده می‌شوند.{{efn|کسر واحد منظور همان کسری است که صورت آن یک و مخرج آن هر عدد طبیعی مثبت است.}} وقتی که سهم قاضی همراه با سایر سهم‌ها و<math>\frac{1}{n+1}</math> جمع شود، با همدیگر کسرهای مصری را می‌سازند که سرجمع عدد یک از آنها به دست می‌آید.{{r|stockmeyer}} رقم شترهایی که می‌توانند مبنای این چنین معما قرار گیرند (یعنی اعداد <math>n</math> که به عنوان مجموع مقسوم علیه‌های تقسیم متفاوت باشد)، تشکیل دنباله صحیح می‌دهند:


{{bi|۱، ۳، ۵، ۷، ۱۱، ۱۵، ۱۷، ۱۹، ۲۳، ۲۷، ۲۹، ۳۱، ۳۵، ۳۹، ۴۱، ...{{r|oeis}}|right=1.9}}
{{bi|۱، ۳، ۵، ۷، ۱۱، ۱۵، ۱۷، ۱۹، ۲۳، ۲۷، ۲۹، ۳۱، ۳۵، ۳۹، ۴۱، ...{{r|oeis}}|right=۱٫۹}}


اس. نارانان، فیزیکدان هندی، به دنبال گروه محدودتری از معماهای تعمیم یافته، تنها با سه جمله و <math>n+1</math> برابر با [[کوچک‌ترین مضرب مشترک|کوچک‌ترین مضرب مشترک (ک.م. م)]] مخرج سه کسر واحد، تنها هفت عدد پیدا کرد که به صورت سه بخشی شرایط مورد نظر را داشته باشند.{{r|naranan}}
اس. نارانان، فیزیکدان هندی، به دنبال گروه محدودتری از معماهای تعمیم یافته، تنها با سه جمله و <math>n+1</math> برابر با کوچک‌ترین مضرب مشترک (ک.م. م) مخرج سه کسر واحد، تنها هفت عدد پیدا کرد که به صورت سه بخشی شرایط مورد نظر را داشته باشند.{{r|naranan}}


دو محقق برزیلی، مارسیو لوئیس فریرا ناسیمنتو و لوئیس بارکو، مسئله را بیشتر تعمیم می‌دهند. به عنوان مثال در مواردی ممکن است بیش از یک شتر قرض داده شود و تعداد شترهای برگردانده شده، بیشتر از تعداد قرضی باشد.{{r|nasbar}}
دو محقق برزیلی، مارسیو لوئیس فریرا ناسیمنتو و لوئیس بارکو، مسئله را بیشتر تعمیم می‌دهند. به عنوان مثال در مواردی ممکن است بیش از یک شتر قرض داده شود و تعداد شترهای برگردانده شده، بیشتر از تعداد قرضی باشد.{{r|nasbar}}
خط ۲۹۳: خط ۲۹۴:
  | year = 1908}}</ref>}}
  | year = 1908}}</ref>}}


{{پایان چپ‌چین}}
{{علی بن ابی‌طالب-افقی}}
{{درجه‌بندی|نیازمند پیوند=خیر|نیازمند رده=خیر|نیازمند جعبه اطلاعات=بله|نیازمند تصویر=خیر|نیازمند استانداردسازی=بله|نیازمند ویراستاری=خیر|مقابله نشده با دانشنامه‌ها=خیر|تاریخ خوبیدگی=|تاریخ برگزیدگی=|توضیحات=}}
[[رده:علی بن ابی‌طالب]]
[[رده:معماهای ریاضی]]
[[رده:معماهای ریاضی]]

نسخهٔ کنونی تا ‏۱۰ مارس ۲۰۲۴، ساعت ۱۶:۴۹

۱۷ شتر غیرقابل تقسیم

معمای ۱۷ شتر موروثی یک معمای ریاضی برای تسهیم نابرابر اما منصفانه کالاهای غیرقابل تقسیم است. این معما معمولاً به این صورت بیان می‌شود که تعدادی حیوان بزرگ (مثلاً: ۱۷ فیل، ۱۷ شتر، ۱۷ اسب و …) باید به نسبت درخواستی معین (اما نامساوی) بین چند فرد ذی‌نفع تقسیم شود.

این معما بیش از آن که یک مسئله ریاضی با راه حل شفاف باشد، حکایتی در مورد یک محاسبه عجیب است. این معما نمونه‌ای از منطق‌های فرضی است که برای حل مسائل استفاده می‌شود و با انجام اعمال تقسیم روی سرمایه فرضی، دقیقاً سرمایه ذکر شده را به ما پس می‌دهد. فراتر از ریاضیات سرگرمی یا آموزش ریاضیات، معما بیشتر به عنوان یک داستان کوتاه با معانی استعاری متفاوت تکرار شده است.

منشأ باستانی این معما اغلب مورد مناقشه است و سند تاریخی برای آن وجود ندارد، با این وجود نسخه‌ای از معما را می‌توان به آثار ملا محمدمهدی نراقی، فیلسوف قرن ۱۳ قمری (قرن ۱۸ میلادی) پیوند زد که در آن، این معما به عنوان حل یک اختلاف قضایی توسط علی بن ابی‌طالب بوده است. این معما از قرن ۱۹ میلادی وارد نوشته‌های ریاضی سرگرمی غرب شد. چندین ریاضیدان این حکایت یا معما را تعمیم داده و آن را در اعدادی غیر از ۱۷ استفاده کرده‌اند.

شرح معما

بیان مسئله

یکی از صورت‌بندی‌های متداول این معما اینطور است: مردی می‌میرد که ۱۷ شتر دارد و وصیتش این است که این ۱۷ شتر به این‌صورت تقسیم شود: ۱۲ شترها برای پسر بزرگتر، ۱۳ برای پسر وسطی و ۱۹ برای پسر کوچک‌تر. با توجه به این که یک شتر قابل تقسیم نیست و اگر قرار به تقسیم کردن یک شتر باشد، ارزش مادی آن از بین می‌رود، شترها را چگونه باید بین پسرها تسهیم کرد؟[۱]

راه حل

تصویر حل معمای ۱۷ شتر

طبق عادات و رسوم، سه پسر برای حل مشکل خود نزد یک مقام دینی، قاضی یا معتمد شهر می‌روند تا مشکل را برایشان حل کند. مرد مورد نظر معما را این‌گونه حل می‌کند: او یک شتر خود را به آنها قرض می‌دهد تا تعداد شترها به ۱۸ برسد. سپس تقسیم را بر مبنای ۱۸ شتر می‌دهد: ۱۸ تقسیم بر ۲ می‌شود ۹ شتر (سهم پسر بزرگتر)، ۱۸ تقسیم بر ۳ می‌شود ۶ (سهم پسر وسطی) و ۱۸ تقسیم بر ۹ می‌شود ۲ (سهم پسر کوچک). اکنون جمع کسرهایی که سهم سه برادر را تعیین می‌کند، کمتر از یک است: ۱۷۱۸=۱۹+۱۳+۱۲[الف] پس یک شتر باقی مانده است که همان شتر قرضی است و به صاحبش پس داده می‌شود.[۱]

ویژگی جالب این راه‌حل این است که هر سه پسر از سهم ارث خود راضی‌اند؛ چرا که هرکدامشان نسبت به تقسیم مستقیم عدد ۱۷ سهم بیشتری نصیبشان شده است. پسر اول باید «۱۲ ۸» شتر می‌گرفت که ۹ شتر گرفت؛ پسر دوم باید «۲۳ ۵» شتر دریافت می‌کرد اما ۶ شتر نصیبش شد و سهم پسر سوم نیز باید «۸۹ ۱» شتر می‌بود اما ۲ شتر دریافت کرد.[۲]

تاریخچه

مسائل مشابهی از این دست تقسیم‌های نابرابر وجود داشته که حتی پیشینه آن به دوران باستان هم بازمی‌گردد، منتها در آنها مانند این معما قرض و بازگشت شترها یا پیچاندن مسئله نبوده و این موضوع به اواخر قرن نوزدهم بازمی‌گردد. نمونه آن پاپیروس ریاضی ریند (سال‌های ۱۶۵۰ قبل از میلاد) در دوران مصر باستان است که در آن نحوه تسهیم ۷۰۰ نان به دو نسبت معین ۱۲ و ۲۳ (یا به‌صورت متناظر ۱۴ و ۱۳) حل شده.[۱][۳]

معمای ۱۷ حیوان می‌تواند نمونه‌ای از مسئله تکمیل یکپارچگی در نظر گرفته شود، این ایده در حل مسائل موجود در پاپیروس ریاضی ریند نیز وجود داشت که مجموعه‌ای از کسرها به کمتر از یک اضافه می‌شد تا دقیقاً برابر یک شود.[۴] نمونهٔ تاریخی دیگر از مسائل وراثت به صورت کسرهای درخواستی را پوبلیوس یوونتیوس کلسوس نقل کرده است؛ پرونده‌ای در امپراتوری روم که سالویوس یولیانوس در مورد آن تصمیم‌گیری کرده بود. در این پرونده مردی به همسر باردارش وصیت می‌کند که اگر بچه پسر باشد او ۱۸ و پسر ۲۸ ارثش را دریافت کند و اگر دختر باشد او ۲۸ و دختر ۱۸ دریافت کند. مرد می‌میرد ولی دوقلو به دنیا می‌آید، سالویوس یولیانوس به عنوان قاضی تصمیم می‌گیرد که عمل تقسیم را اینگونه انجام دهد: او دارایی مرد را به هفت قسمت تبدیل می‌کند و چهار قسمت را به پسر، دو قسمت را به همسر و یکی را به دختر می‌دهد. [۵][۶] مشکلات ناشی از تقسیم درست عناصر غیرقابل تقسیم به نسبت‌های مشخص، علاوه بر مسائل ارثی، در مسائل مربوط به تخصیص کرسی‌های پارلمان در نظام انتخاباتی تناسباتی نیز وجود دارد.[۷]

بسیاری از مسائل مشابه تقسیم کسری از ریاضیات قدیم جهان اسلام نیز وجود داشته است،[۸][۳][۹] اما به نظر نمی‌رسد که داستان ۱۷ شتر بخشی از ریاضیات کلاسیک عربی-اسلامی باشد.[۹] منشأ فرضی تأیید شده‌ای نیز در کارهای خوارزمی، فیبوناچی یا تارتالیا وجود ندارد.[۱۰] همچنین این معما صرفاً به عنوان یک افسانه به بیربال، وزیر امپراتوری مغول در قرن شانزدهم، نیز نسبت داده شده است.[۱۱] قدیمی‌ترین سند مربوط به این معما که در آن از ۱۷ شتر استفاده شده، توسط پیر آگرون، در آثار ملا محمدمهدی نراقی، فیلسوف مسلمان قرن هجدهم پیدا شد که در آن علی بن ابی‌طالب قضاوت را انجام می‌دهد.[۹]

این معما در آمریکا با انتشار سفرنامهٔ بین‌النهرین، نوشتهٔ جیمز فیلیپس فلچر در دهه ۱۸۵۰ رواج پیدا کرد.[۱۲][۱۳] این معما در سال ۱۸۵۹ در ماهنامه ریاضی چاپ شد.[۱۰][۱۴] همچنین یک نسخه از آن با ۱۷ فیل تحت عنوان یک معمای چینی در کتاب هانکی پانکی: رمز و رازهای احضار (چاپ لندن، ۱۸۷۲)، گنجانده شد.[۱][۱۰] در اواخر قرن نوزدهم و اوایل قرن بیستم در آثار کسانی چون: هنری دودنی، سم لوید،[۱] ادوارد لوکاس،[۹] هافمن،[۱۵] امیل فوره[۱۶] و سایر اندیشمندان، معماهای مشابهی طرح شد.[۱۷][۱۸][۱۹][۲۰] نسخه‌ای دیگر نیز با ۱۷ اسب به عنوان فولکلور یا باور مردمی در آمریکا رواج یافت.[۲۱]

شیوهٔ دیگری از این معما هم گفته شده که در آن تعداد ۱۱ شتر هست که باید به نسبت ۱۲، ۱۴، ۱۶ تقسیم شود.[۲۲][۲۳] نسخه‌ای دیگر از معما در کتاب «مردی که می‌شمارد» یک کتاب معمایی ریاضی که به زبان پرتغالی توسط ژولیو سزار دِ ملو ئی سوزا نوشته شده، تعداد شترها را ۳۵ عدد اعلام کرده و همان نسبت‌های ۱۷ شتر را درخواست کرده است. پس از آن که قهرمان داستان یک شتر به امانت می‌دهد و تعداد شترها به ۳۶ عدد می‌رسد، آنها را بین سه نفر تقسیم می‌کند و دو شتر باقی می‌ماند؛ شتر قهرمان به او بازگردانده می‌شود و شتر باقی‌مانده نیز به عنوان جایزه زیرکی به او داده می‌شود. در یادداشت‌های ترجمهٔ انگلیسی کتاب، به نسخهٔ ۱۷ شتری کتاب در آثار فوری و گاستون بوچنی (۱۹۳۹) اشاره شده است.[۱۰]

فراتر از ریاضیات سرگرمی، این معما به عنوان بخشی از دروس ریاضی در مدارس[۲][۲۴] یا به عنوان داستان کوتاه با اخلاقیات متنوع در دین، قانون، اقتصاد، سیاست[۱۹][۲۵][۲۶][۲۷][۲۸] و حتی به عنوانی توضیحی عامیانه برای کاتالیزور در شیمی نیز استفاده شده است.[۲۹]

تعمیم مسئله

پاول استاکمایر، محقق علوم کامپیوتر گروهی از معماهای مشابه را برای هر تعداد حیوان تعریف می‌کند. او برای هر n حیوان، معماهای مشابهی را طرح می‌کند که به نوبه خود n این ویژگی را دارد که به عنوان مجموعی از مقسوم علیه‌های متمایز [math]\displaystyle{ d_1, d_2,\dots }[/math] بر [math]\displaystyle{ n+1 }[/math] نوشته شود.

[math]\displaystyle{ \frac{d_1}{n+1}, \frac{d_2}{n+1}, \dots . }[/math]

چون که اعداد [math]\displaystyle{ d_i }[/math][ب] برای تقسیم بر [math]\displaystyle{ n+1 }[/math] انتخاب شده‌اند، همهٔ کسرها به کسرهای واحد ساده می‌شوند.[پ] وقتی که سهم قاضی همراه با سایر سهم‌ها و[math]\displaystyle{ \frac{1}{n+1} }[/math] جمع شود، با همدیگر کسرهای مصری را می‌سازند که سرجمع عدد یک از آنها به دست می‌آید.[۱] رقم شترهایی که می‌توانند مبنای این چنین معما قرار گیرند (یعنی اعداد [math]\displaystyle{ n }[/math] که به عنوان مجموع مقسوم علیه‌های تقسیم متفاوت باشد)، تشکیل دنباله صحیح می‌دهند:

۱، ۳، ۵، ۷، ۱۱، ۱۵، ۱۷، ۱۹، ۲۳، ۲۷، ۲۹، ۳۱، ۳۵، ۳۹، ۴۱، ...[۳۰]

اس. نارانان، فیزیکدان هندی، به دنبال گروه محدودتری از معماهای تعمیم یافته، تنها با سه جمله و [math]\displaystyle{ n+1 }[/math] برابر با کوچک‌ترین مضرب مشترک (ک.م. م) مخرج سه کسر واحد، تنها هفت عدد پیدا کرد که به صورت سه بخشی شرایط مورد نظر را داشته باشند.[۱۱]

دو محقق برزیلی، مارسیو لوئیس فریرا ناسیمنتو و لوئیس بارکو، مسئله را بیشتر تعمیم می‌دهند. به عنوان مثال در مواردی ممکن است بیش از یک شتر قرض داده شود و تعداد شترهای برگردانده شده، بیشتر از تعداد قرضی باشد.[۱۰]

یادداشت

  1. یعنی مخرج مشترک گرفته و جمع مورد نظر کمتر از یک شده.
  2. i، در اینجا یعنی هرعدد دلخواه.
  3. کسر واحد منظور همان کسری است که صورت آن یک و مخرج آن هر عدد طبیعی مثبت است.

منابع

  1. ۱٫۰ ۱٫۱ ۱٫۲ ۱٫۳ ۱٫۴ ۱٫۵ Stockmeyer, Paul K. (September 2013), "Of camels, inheritance, and unit fractions", Math Horizons, 21 (1): 8–11, doi:10.4169/mathhorizons.21.1.8, JSTOR 10.4169/mathhorizons.21.1.8, MR 3313765, S2CID 125145732
  2. ۲٫۰ ۲٫۱ Ben-Chaim, David; Shalitin, Yechiel; Stupel, Moshe (February 2019), "Historical mathematical problems suitable for classroom activities", The Mathematical Gazette, 103 (556): 12–19, doi:10.1017/mag.2019.2, S2CID 86506133
  3. ۳٫۰ ۳٫۱ Finkel, Joshua (1955), "A mathematical conundrum in the Ugaritic Keret poem", Hebrew Union College Annual, 26: 109–149, JSTOR 23506151
  4. Anne, Premchand (1998), "Egyptian fractions and the inheritance problem", The College Mathematics Journal, 29 (4): 296–300, doi:10.1080/07468342.1998.11973958, JSTOR 2687685, MR 1648474
  5. Cajori, Florian (1894), A History of Mathematics, MacMillan and Co., pp. 79–80
  6. Smith, David Eugene (1917), "On the origin of certain typical problems", The American Mathematical Monthly, 24 (2): 64–71, doi:10.2307/2972701, JSTOR 2972701, MR 1518704
  7. Çarkoğlu, Ali; Erdoğan, Emre (1998), "Fairness in the apportionment of seats in the Turkish legislature: is there room for improvement?", New Perspectives on Turkey, 19: 97–124, doi:10.1017/s0896634600003046, S2CID 148547260
  8. Sesiano, Jacques (2014), "Le partage des chameaux", Récréations Mathématiques au Moyen Âge (به فرانسوی), Lausanne: Presses Polytechniques et Universitaires Romandes, pp. 198–200, archived from the original on 2023-03-25, retrieved 2023-03-25
  9. ۹٫۰ ۹٫۱ ۹٫۲ ۹٫۳ Ageron, Pierre (2013), "Le partage des dix-sept chameaux et autres arithmétiques attributes à l'immam 'Alî: Mouvance et circulation de récits de la tradition musulmane chiite" (PDF), Revue d'histoire des mathématiques (به فرانسوی), 19 (1): 1–41, archived (PDF) from the original on 2023-03-24, retrieved 2023-03-24; see in particular pp. 13–14.
  10. ۱۰٫۰ ۱۰٫۱ ۱۰٫۲ ۱۰٫۳ ۱۰٫۴ Nascimento, Márcio Luís Ferreira; Barco, Luiz (September 2016), "The man who loved to count and the incredible story of the 35 camels", Journal of Mathematics and the Arts, 10 (1–4): 35–43, doi:10.1080/17513472.2016.1221211, S2CID 54030575, archived from the original on 2023-03-25, retrieved 2023-03-25
  11. ۱۱٫۰ ۱۱٫۱ Naranan, S. (1973), "An "elephantine" equation", Mathematics Magazine, 46 (5): 276–278, doi:10.2307/2688266, JSTOR 2688266, MR 1572070
  12. Fletcher, James Phillips (1850), Notes from Nineveh: And Travels in Mesopotamia, Assyria and Syria, Lea & Blanchard, p. 206
  13. Maxham, Ephraim; Wing, Daniel Ripley (October 24, 1850), "A Wise Judge", The Eastern Mail, Waterville, Maine, vol. 4, no. 14, p. 3, archived from the original on 2023-03-24, retrieved 2023-03-24
  14. "Problem", Notes and queries, The Mathematical Monthly, 1 (11): 362, August 1859, archived from the original on 2023-03-25, retrieved 2023-03-25
  15. Professor Hoffmann (1893), "No. XI—An Unmanageable Legacy", Puzzles Old and New, London: Frederick Warne and Co., p. 147; solution, pp. 191–192
  16. Fourrey, Émile (1899), "Curieux partages", Récréations arithmétiques (به فرانسوی), Paris: Librairie Nony, p. 159
  17. Morrell, E. W. (February 1897), "Problems for solution: arithmetic, no. 76", The American Mathematical Monthly, 4 (2): 61, doi:10.2307/2970050, JSTOR 2970050
  18. White, William F. (1908), "Puzzle of the camels", A Scrap-Book of Elementary Mathematics: Notes, Recreations, Essays, The Open Court Publishing Company, p. 193
  19. ۱۹٫۰ ۱۹٫۱ Wolff, Sir Henry Drummond (1908), "A Parsee inspiration", Rambling Recollections, vol. II, London: MacMillan and Co., p. 56
  20. Wentworth, George; Smith, David Eugene (1909), Complete Arithmetic, Wentworth–Smith Mathematical Series, Ginn and Company, p. 467
  21. Browne, Ray B. (Fall 1961), "Riddles from Tippecanoe County, Indiana", Midwest Folklore, 11 (3): 155–160, JSTOR 4317919
  22. Van Vleck, J. H. (January 1929), "The new quantum mechanics", Chemical Reviews, 5 (4): 467–507, doi:10.1021/cr60020a006
  23. Seibert, Thomas M. (December 1987), "The arguments of a judge", Argumentation: Analysis and Practices, De Gruyter, pp. 119–122, doi:10.1515/9783110869170, ISBN 978-3-11-013027-0
  24. Coyle, Stephen (November 2000), "Fractions give me the hump", Mathematics in School, 29 (5): 40, JSTOR 30215451
  25. Anspach, C. L. (December 1939), "Eternal values", Christian Education, 23 (2): 96–102, JSTOR 41173250
  26. Chodosh, Hiram E. (March 2008), "The eighteenth camel: mediating mediation reform in India", German Law Journal, 9 (3): 251–283, doi:10.1017/s2071832200006428, S2CID 141042869
  27. Ost, F. (July 2011), "The twelfth camel, or the economics of justice", Journal of International Dispute Settlement, 2 (2): 333–351, doi:10.1093/jnlids/idr003
  28. Teubner, Gunther (2001), "Alienating justice: on the social surplus value of the twelfth camel", in Nelken, David; Priban, Jiri (eds.), Law's New Boundaries: Consequences of Lega Autopoiesis, London: Ashgate, pp. 21–44, archived from the original on 2023-07-08, retrieved 2023-03-26
  29. Swann, W. F. G. (July 1931), "Greetings of the American Physical Society", The Scientific Monthly, 33 (1): 5–10, Bibcode:1931SciMo..33....5S, JSTOR 15070
  30. الگو:Cite OEIS