أنظمة التطابقات الخطية في متغير واحد
Linear Congruence Systems in One Variable
يقال أن العدد x حل للنظام

المكون من تطابقات خطية بمتغير واحد إذا كان x حل لكل معادلة
من النظام.
نبدأ بإثبات حقيقة مباشرة تمكننا من اقتصار دراستنا للأنظمة من هذا النوع على تلك التي فيها معامل x يساوي الواحد.
حقيقة 1: العدد x حل للنظام

إذا وإذا فقط كان x حل للنظام

حيث
حل للتطابق
و
.
البرهان: ليكن x حل للنظام, إذا x حل لأي معادلة
من النظام. إذا

الحل x يمكن كتابته بصورته العامة المعبرة عن الفصل [x] بالشكل

حيث s عدد صحيح. خذ الآن n/d عامل مشترك , إذا

إذا

وحيث المعادلة كانت اختيارية فإن x حل للنظام الثاني.
عكسيا, إذا كان x حل للنظام الثاني فإن x حل لأي معادلة
منه. إذا

حيث m عدد صحيح. باستخدام خوارزمية القسمة وبقسمة m على d يوجد صحيح s وباقي k بحيث

إذا

ومنه ينتج أن x حل للمعادلة
من النظام الأول. إذا x حل للنظام الأول.
مثال 1: حل النظام
2x=4 (mod 10)
9x=12 (mod 33)
بالتجريب نجد أن
حلين للمعادلة الأولى والثانية على الترتيب. إذا وفق الحقيقة السابقة الحل x إن وجد هو حل للنظام التالي
x=2 (mod 5)
x=5 (mod 11)
لنبحث عن حل لهذا النظام الجديد. من المعادلة الأولى في هذا النظام لدينا
x=2+5r
حيث r عدد صحيح. بالتعويض في المعادلة الثانية نجد
ومنها
5r=3 (mod 11)
وبالتالي r=5+11s يمثل حل لهذا التطابق. بالتعويض في x عن r نجد أن
x=2+5(5+11s)= 27+55s
إذا
x=27 (mod 55)
وهو حل النظام الثاني وبالتالي حل للنظام الأول.
الحل الذي توصلنا له للنظام الثاني نستطيع الحصول عليه مباشرة باستخدام نظرية الباقي الصينية , انظر
http://www.mathramz.com/math/chinese_remainder_theorem

الشبكة موقع متخصص في عرض علوم الرياضيات في صفحات ثابتة تحتوي كل صفحة على وحدة معرفية معينة.