قضیه باقیمانده چینی

فرم اولیه قضیه در کتاب سان زی سوآنجینگ(孙子算经) نوشته ریاضی دان چینی سان تزو (Sun Tzu) که بعداً با عنوان ۱۲۴۷ توسط قین جیوشاو (Qin Jiushao) باز نوشت شد گنجانده شده.

فرض کنید n۱, n۲, …, nk اعداد صحیحی باشند که دو به دو نسبت به هم اولند. برای هر سری اعداد صحیح a۱,a۲, …, ak عدد صحیح x وجود دارد به طوری که در دستگاه معادلات همنهشتی زیر صدق کند:
http://upload.wikimedia.org/math/4/b...63e1107eec.png

علاوه بر این تمام جوابهای x به پیمانه N = n۱n۲…nk همنهشتند. در نتیجه برای همه 1http://upload.wikimedia.org/math/9/2...fb2c27839c.png داریم: http://upload.wikimedia.org/math/e/b...482d84bbc6.png اگر و تنها اگر http://upload.wikimedia.org/math/5/2...682c5cdb00.png. گاهی اوقات این دستگاه حتی زمانی که همه niها دوبه دو نسبت به هم اول نیستند هم قابل حل است: جواب x وجود دارد اگر و تنها اگر:

http://upload.wikimedia.org/math/8/2...9adf4cfc41.png


نمونه

پرسشی برای بدست آوردن عدد صحیح x که در دستگاه زیر صدق کند را در نظر بگیرید.

http://upload.wikimedia.org/math/1/3...13cd719ab8.png
http://upload.wikimedia.org/math/b/3...dcb4e847c5.png
http://upload.wikimedia.org/math/9/9...314c613247.png

با استفاده از الگوریتم اقلیدس برای ۳و ۴×۵ = ۲۰ داریم (۱۳-) × ۳ + ۲ × ۲۰ = ۱، یعنی e۱ = ۴۰ و برای ۴ و ۳×۵ = ۱۵ بدست می‌آوریم (۱۱-) × ۴ + ۳ × ۱۵ = ۱ یعنی e۲ = ۴۵. در نهایت برای ۵ و ۳×۴ = ۱۲ الگوریتم اقلیدس نتیجه می‌دهد۵ × ۵ + (۲-) × ۱۲ = ۱ به این معنا که ''e۳ = −۲۴ است. پس یکی از جوابها برای x عدد ۲ × ۴۰ + ۳ × ۴۵ + ۱ × (۲۴-) = ۱۹۱ است. تمام اعداد صحیح دیگر که به پیمانه ۳ × ۴ × ۵ = ۶۰ با ۱۹۱ همنهشتند هم جواب هستند. یعنی همه آنها با ۱۱ به پمانه ۶۰ همنهشتند.

نکته: ممکن است اعداد بدست آمده با الگوریتم اقلیدس برای eiها متفاوت باشد، اما در جواب نهایی همه مشترکند.

در این حالات تمام جوابهای x به پیمانه بزرگترین مقسوم علیه مشترک niها همنهشتند.