در ریاضیات، قضیه باقیمانده چینی بیان میکند که اگر باقیمانده تقسیم اقلیدسی یک عدد صحیح n را بر چند عدد صحیح بدانیم، میتوانیم باقیمانده تقسیم n را بر حاصل ضرب این اعداد صحیح بهطور یکتا تعیین کنیم، به شرط آن که مقسومعلیهها نسبت به هم اول باشند (هیچ دو مقسومعلیه به جز ۱ عامل مشترکی نداشته باشند).
به عنوان مثال، اگر بدانیم که باقیمانده n تقسیم بر ۳ برابر ۲ است، باقیمانده n تقسیم بر ۵ برابر ۳ است و باقیمانده n تقسیم بر ۷ برابر ۲ است، بدون دانستن مقدار n، میتوانیم تعیین کنیم که باقیمانده n تقسیم بر ۱۰۵ (ضرب ۳، ۵ و ۷) ۲۳ است. مهمتر از همه، این به ما میگوید که اگر n عدد طبیعی کمتر از ۱۰۵ باشد، ۲۳ تنها مقدار ممکن n است.
قضیه باقیمانده چینی بهطور گسترده برای محاسبات با اعداد صحیح بزرگ استفاده میشود، زیرا محاسباتی را که برای آن فرد محدودیتی در اندازه خروجی دارد با چندین محاسبات مشابه روی اعداد صحیح کوچک جایگزین میکند.
اولین نسخه شناخته شده از این قضیه، به عنوان مسئله ای با اعدادی خاص، در کتاب قرن سوم Sun-tzu Suan-ching توسط ریاضیدان چینی Sun-tzu آمدهاست:[۲]
چند شی داریم که تعدادشان مشخص نیست. اگر آنها را سهتا سهتا بشماریم، دو عدد باقی میماند و با پنج، ما سه تا باقیمانده خواهیم داشت. برای هفت هم، دو تا باقی میماند. چند شی وجود دارد؟[۳]
کارهای سون تزو شامل هیچ الگوریتم یا اثباتی کاملی برای این سؤال نیست.[۴] اولین چیزی که بتوان آن را به عنوان یک الگوریتم برای این سؤال شناخت توسط آریابهاتا در قرن ششم ارائه شد.[۵] نسخههای خاصی از قضیه باقیمانده چینی توسط برهماگوپتا (قرن ۷ام) نیز شناخته شده بود که در کتاب Liber Abaciفیبوناچی در ۱۲۰۲ میلادی نیز آورده شدهاند.[۶] در نهایت تعمیم این صورتبندیها به اسم Da-yan-shu (大衍術) توسط Ch'in Chiu-shao در Mathematical Treatise in Nine Sections (數書九章, Shu-shu Chiu-chang)[۷] در سال ۱۲۴۷ میلادی منتشر شدهاست که نهایتاً اوایل قرن ۱۹ام میلادی به زبان انگلیسی توسط Alexander Wylie ترجمه شدهاند.[۸]
اولین صورتبندی به وسیله همنهشتیها توسط گاوس در Disquisitiones Arithmeticae(منتشر شده در ۱۸۰۱ میلادی) استفاده شد است. گاوس قضیه باقیمانده چینی را در مورد مسئلهای در مورد تقویمها نشان میدهد، یعنی «پیدا کردن سالهایی که دارای یک دوره معین نسبت به چرخه خورشیدی و قمری و دوره رومی هستند».[۹] گاوس روشی را برای حل مسئله معرفی میکند که قبلاً توسط لئونارد اویلر استفاده شده بود اما در واقع یک روش بسیار قدیمیتر بود که چندین بار ظاهر شده بود.[۱۰]
شرح قضیه
فرض کنید n۱، n۲، …، nk اعداد صحیحی باشند که دو به دو نسبت به هم اولند. برای هر سری اعداد صحیح a۱،a۲، …، ak عدد صحیح x وجود دارد بهطوریکه در دستگاه معادلات همنهشتی زیر صدق کند:
علاوه بر این تمام جوابهای x به پیمانهN = n۱n۲…nk همنهشتند. در نتیجه برای همه داریم: اگر و تنها اگر .
گاهی اوقات این دستگاه حتی زمانی که همه niها دوبه دو نسبت به هم اول نیستند هم قابل حل است.
فرض کنید و همچنین اعدادی صحیح باشند که برای هر داشته باشیم . که ب.م. م و است. حال حتماً عدد صحیح وجود دارد بهطوریکه در دستگاه معادلات همنهشتی زیر صدق کند:
روش ساختاری برای یافتن جواب
این الگوریتم قسمتی از اثبات قضیه هم هست زیرا جواب x را برای دستگاه پیدا میکند.
این الگوریتم تنها زمانی که ها دوبه دو نسبت به هم اولند جواب میدهد. در حالی که روش تفریقهای متوالی معمولاً حتی زمانی که پیمانهها دو به دو نسبت به هم اول نیستند هم کاربرد دارد.
فرض کنید جوابی برای دستگاه معادلات زیر وجود دارد.
حاصلضرب تعریف میشود. جواب x به صورت زیر بدست میآید. برای هرi, و نسبت به هم اولند. با استفاده از الگوریتم گسترده اقلیدس(extended Euclidean algorithm) میتوان اعداد و را طوریکه باشد را یافت. با فرض اینکه باشد میتوان به عبارت زیر رسید.
با در نظر گرفتن ، عبارت بالا تضمین میکند که باقیمانده تقسیم آن بر برابر ۱ خواهد بود. از طرفی چون خود این عدد برابر تعریف شدهاست، بر تمام ها مگر بخشپذیر است و داریم:
در نتیجه با استفاده از قوانین ضرب در همنهشتیها، جوابی برای دستگاه معادلات همنهشتی به صورت زیر خواهد بود:
نمونه
پرسشی برای بدست آوردن عدد صحیح x که در دستگاه زیر صدق کند را در نظر بگیرید.
با استفاده از الگوریتم اقلیدس برای ۳و ۴×۵ = ۲۰ داریم (۱۳-) × ۳ + ۲ × ۲۰ = ۱، یعنی e۱ = ۴۰ و برای ۴ و ۳×۵ = ۱۵ بدست میآوریم (۱۱-) × ۴ + ۳ × ۱۵ = ۱ یعنی e۲ = ۴۵. در نهایت برای ۵ و ۳×۴ = ۱۲ الگوریتم اقلیدس نتیجه میدهد۵ × ۵ + (۲-) × ۱۲ = ۱ به این معنا که ''e۳ = −۲۴ است. پس یکی از جوابها برای x عدد ۲ × ۴۰ + ۳ × ۴۵ + ۱ × (۲۴-) = ۱۹۱ است. تمام اعداد صحیح دیگر که به پیمانه ۳ × ۴ × ۵ = ۶۰ با ۱۹۱ همنهشتند هم جواب هستند؛ یعنی همه آنها با ۱۱ به پیمانه ۶۰ همنهشتند.
نکته: ممکن است اعداد بدست آمده با الگوریتم اقلیدس برای ها متفاوت باشد، اما در جواب نهایی همه مشترکند.
این مقاله نیازمند تمیزکاری است. لطفاً تا جای امکان آنرا از نظر املا، انشا، چیدمان و درستی بهتر کنید، سپس این برچسب را بردارید. محتویات این مقاله ممکن است غیر قابل اعتماد و نادرست یا جانبدارانه باشد یا قوانین حقوق پدیدآورندگان را نقض کرده باشد.
از این قضیه در الگوریتم RSA برای رسیدن به جواب در زمان کمتر استفاده میشود.
برای انجام محاسبات بر روی اعداد بسیار بزرگ از این قضیه استفاده میشود. اعداد که نسبت به هم اولند به عنوان انتخاب میشوند و اعداد بزرگ برای محاسبه به صورت زوج مرتب از ها در میآیند و پس از انجام محاسبات بر روی ها نتیجه به صورت خود عدد درمیآید.
تعمیم
فرض کنید یک حلقه باشد و ایدهآلهایی از باشند که برای هر داشته باشیم . اگر عنصرهای دلخواه باشند آنگاه عنصر چنان در موجود است که (در واقع ). به علاوه اگر موجود باشد که خاصیت را داشتهباشد آنگاه (در واقع ).[۱۱]