ليكن . يكون عددان صحيحان متوافقين بترديد ، ويُكتب ، إذا كان — وبصيغة مكافئة، إذا كان للعددين و الباقي نفسه في القسمة الإقليدية على .
الرياضيات · المسرد
ما معنى الموافقة؟
يُعرف أيضًا باسم: موافقة · congruence
من أجل : نكتب عندما يكون . وهذه علاقة تكافؤ متوافقة مع الجمع و الضرب: فإذا كان و (بترديد ) فإن و و من أجل .
أمثلة
مثال 6.19 (التحقق بالتسعة)
التوافق مع و أداة تحقق قديمة قدم التجارة. وبما أن ، يكون كل عدد صحيح موافقًا بترديد لمجموع أرقامه (المبرهن عليه في التمرين 6.2). وللتحقق من الدعوى : يعطي مجموعا الأرقام و، ومنه يجب أن يكون الجداء ؛ وبالفعل . فالتحقق يمرّ (والجداء صحيح في الواقع). ولو أفاد أحدهم بالقيمة لأدانه مجموع الأرقام فورًا. والاختبار أحاديّ الجانب — فهو يمسك الخطأ إلا إذا كان الخطأ نفسه مضاعفًا للعدد — وهذا بالضبط درس شبه الأولية في المثال 6.24 مصغَّرًا: فتحققات التوافق تدحض ولا تشهد.
مثال 6.21 (قلب العدد بترديد )
بما أن ، يكون صف قابلًا للقلب بترديد . وبإقليدس الممدَّدة:
ثم بالمقلوب:
ومنه ، أي ؛ وللتحقق: . وبامتلاك المقلوب، يُحلّ أيّ توافق بعملية ضرب واحدة: . وهذا القلب الآليّ هو حصان العمل في الحساب الترديدي — وفي بروتوكولات المفتاح العام المذكورة في الملاحظة 6.27، حيث تكون الترديدات ذات مئات الأرقام لكن الخوارزمية هي هذه بالضبط.
مثال 6.22 (عندما لا يكون المعامل قابلًا للقلب)
حُلَّ . هنا ، فلا يكون قابلًا للقلب بترديد — لكن المعادلة تبقى قابلة للمعالجة. يقول التوافق إن ؛ وبقسمة العلاقة كلها على (وهو قاسم للمكوّنات الثلاثة)، تكافئ ، أي
والآن و ()، ومنه : فالحلول هي — أي أربعة صفوف بترديد ، مطابقةً للقاسم المشترك الأكبر. (ولو لم يقبل الطرف الأيمن القسمة على ، مثل ، لما وُجد أيّ حلّ البتة: فالطرف الأيسر دائمًا .) والشكل العام: قابل للحلّ إذا وفقط إذا كان ، ويكون له عندئذ بالضبط صفًّا من الحلول — فاقسم كل شيء على القاسم المشترك الأكبر ثم اقلب.