التطابقات الخطية
Linear Congruence
تعريف 1: المعادلة التي على الصورة
تسمى تطابق خطي linear congruence.
في التطابقات الخطية نهتم بالبحث عن حل, أي تحديد قيمة أو قيم x التي تحقق المعادلة. بطبيعة الحال عندما يكون x حل للتطابق الخطي فإن كل عدد y من صف التكافؤ [x] هو حل أيضا. وكل هذه القيم ننظر لها كحل واحد نعبر عنه بقيمة واحده x فنقول x حلا للتطابق الخطي
. أي حل z لا يطابق x معيار n هو حل آخر للمعادلة.
إذا كان للتطابق الخطي
حل x فهذا يعني وجود صحيح k بحيث ax-b=kn والعكس صحيح فوجود مثل هذا العدد k محققا لهذه المساواة يعني بالضرورة أن x حلا للتطابق الخطي. هذا الارتباط الوثيق بين التطابقات الخطية والمعادلات الديفونتية الخطية ذات مجهولين يساعد في تحويل[م] إحداهما إلى الأخرى في حالة براهين النظريات حول التطابقات الخطية أو للبحث عن أنسب الطرق لإيجاد الحل كما سنرى. البداية مع حقيقة بسيطة تبين متى يكون الحل وحيدا لمعادلة تطابق خطي في مجهول واحد.
حقيقة 1: إذا كان
فإنه يوجد للتطابق الخطي
حل وهذا الحل وحيد.
البرهان: بالاعتماد على متطابقة بيزوه هناك صحيحين c,d بحيث ac+nd=1. بالضرب في b ينتج
a(bc)+n(bd)=b
إذا
وبالتالي x=bc حلا للمعادلة. الآن افرض أن هناك حل آخر y للمعادلة. إذا
ay=b (mod n)
وبالتالي
وهذا يقتضي أن (x-y)a يقبل القسمة على n وحيث أن
فإن ما بداخل القوس[م] x-y يقبل القسمة على n أي أن x, y متطابقين معيار n وبالتالي الحل وحيد.
عندما لا تكون a أولية نسبيا مع n فقد يكون للمعادلة
حلا وقد لا يكون, على سبيل المثال إذا أخذنا المعادلتين
2x=3 (mod 6)
2y=4 (mod 6)
فإن المعادلة الأولى ليس لها حل ويمكن اختبار ذلك يدويا على كل فصول التكافؤ معيار 6. في حين أن المعادلة الثانية لها حل بل أكثر من حل, تحديد لها حلين هما x=2,5. العدد x=8 ليس حلا ثالثا لأن مساو للعدد 2 معيار 6. فيما يأتي نقدم الشرط الذي يضمن وجود حل لمثل هذه المعادلات وعدد هذه الحلول.
نظرية 1: إذا كان
فإنه يوجد للتطابق الخطي
حل إذا وفقط إذا كان d يقسم b وفي هذه الحالة فإن عدد الحلول المختلفة معيار n يعطى بالعلاقة

حيث
أي حل للتطابق.
هذه النظرية تعميم للحقيقة السابقة, وتبين أن للمعادلة عدد d من الحلول المختلفة. مختلفا كل واحد غير مطابق للآخر معيار n. البرهان يعتمد أساسيا على معارفنا عن حلول المعادلة الديفونتية الخطية.
البرهان:
للمعادلة
حلا إذا وفقط إذا كان للمعادلة الديفونتية ax+ny=b حلا وهذه المعادلة لها حل إذا وفقط إذا كان d يقسم b. الآن ليكن
أحد حلول المعادلة الديفونتية فإن الحلول الأخرى تعطى بالعلاقة

حيث k عدد صحيح, انظر http://www.mathramz.com/math/linear_diophantine_equations
السؤال الآن: متى تكون القيم x غير متطابقة معيار n.
افرض أن
باستخدام بعض خواص التطابقات نجد أن

إذا الحلول تتطابق معيار n إذا وفقط إذا كانت الأعداد k تتطابق معيار d وبذلك فإن الحلول المختلفة هي

وبهذا تثبت النظرية.
مثال 1: المعادلة
لها حل لأن
يقسم 15 وعدد الحلول 3. لإيجاد الحلول ابحث عن
بالتعويض بأحد الأعداد 0,1,2,3,...,20 وستجد أن أول حل يصادفك هو x=6. إذا الحلول المختلفة هي

أي x=6, 13, 20.
ولكن ماذا لو كان العدد n كبيرا؟ في هذه الحالة يفضل تحويل[م] التطابق الخطي إلى المعادلة الديفونتية ax+ny=b ثم استخدام خوارزمية إقليدس أو الخوارزمية الاقليدية الموسعة لإيجاد الحل
بدلا من التعويض الذي قمنا به في هذا المثال.
أيضا يمكن عكس هذا الأسلوب, بمعنى أنه يمكن حل معادلة ديفونتية ذات متغيرين x,y بتحويلها إلى تطابق خطي نحله بإيجاد قيم x ثم نحدد بعد ذلك قيم y.
مثال 2: حل المعادلة الديفونتية 2x-3y=6. هنا لديك خيارين , أما نكتب
أو
. لنختار الأولى وبالتجريب على القيم 0,1,2 نجد أن x=3 حل لهذا التطابق وهو الحل الوحيد معيار 3 إذا كل القيم x في حل المعادلة الديفونتية تأخذ الشكل
x=3+3k
حيث k عدد صحيح وبالتعويض في المعادلة الديفونتية عن x وحلها في y نجد أن
y=2k
وبهذا نكون قد حلينا المعادلة الديفونتية.
لو استخدمت
وبالتجريب على القيم 0,1 ستجد أن y=0 حلا وبالتالي قيم y في حلول المعادلة الديفونتية تعطى بالعلاقة
y=0+2k
حيث k عدد صحيح وبالتعويض في المعادلة الديفونتية عن y وحلها في x نجد أن
x=3+3k
إذا فأي من التطابقين الخطيين كافي لاستنتاج حل المعادلة الديفونتية.
إذا كانت الأعداد في معادلة تطابق الخطي كبيرة فنقوم بعملية القسمة لاستبدال المعادلة بأخرى
مثال 3: للمعادلة
سبعة حلول وذلك لأن العدد 7 القاسم المشترك الأكبر لمعمل y وللعدد المعيار يقسم العدد 98. اقسم على 7

إذا
ونجد أن
y=5, 22, 39, 56,73, 90, 107, ...
وهي الحلول المختلفة معيار 119 للمعادلة.
استخدام المعكوس الضربي معيارn في حل التطابق الخطي
مثال 4: حل المعادلة
.
لنحل أولا المعادلة
, وهي ليست سوى إيجاد معكس 37 معيار 53. بإضافة وطرح 16x للطرف الأيسر نجد

بالقسمة على -2 لدينا

وبالقسمة على 4 لدينا

إذا
. أو 43 هو المعكوس الضربي للعدد 37 معيار 53.
عودة الآن للمعادلة الأصلية
واضرب في معكوس 73 .

إذا x=3 هو حل المسألة.
مسائل
* اثبت أن للمعادلة
حلين مختلفين, حيث p أولي فردي, k صحيح موجب.
* إذا وجد للمعادلة
, متى يكون وحيدا ومتى يكون غير وحيد, حيث p أولي.
مراجع
http://www.libraryofmath.com/linear-congruences.html
برامج يجب توفرها على جهازك لاستعراض محتويات الموقع





