مبرهنة الباقي الصيني هي نتيجة لللحسابيات التوافقية تعالج حل أنظمة تقارب. هذه النتيجة خاصة أساسا في Z/nZ تعمم في نظرية الحلقات. هذه النظرية تستعمل في نظرية الأعداد.
ليكن n1, ..., nk أعداد طبيعية مثنى مثنى أولية فيما بينها ( أي pgcd (ni ، nj) = 1 عند i ≠ j). إذن كل الأعداد الصحيحة a1, ..., ak, يوجد عدد صحيح x, وحيد المقاربة بترديد و بحيث
الحل x يمكن إيجاده كما يلي:
لكل i, الأعداد و أولية فيما بينها, و باستعمال 'متساوية بيزوت, يمكن إيجاد الأعداد و بحيث. إذا افترضنا , فنحصل على
و