الرياضيات · المسرد

ما معنى الموافقة؟

يُعرف أيضًا باسم: موافقة · congruence

تعريف 29.4 رياضيات المرحلة الثانوية · الفصل 29 — الحساب

ليكن nNn \in \N^*. يكون عددان صحيحان a,ba, b متوافقين بترديد nn، ويُكتب ab(modn)a \equiv b \pmod n، إذا كان n(ab)n \mid (a - b) — وبصيغة مكافئة، إذا كان للعددين aa و bb الباقي نفسه في القسمة الإقليدية على nn.

اقرأ في الفصل ←
تعريف 6.18 الرياضيات الجامعية — السنة 1 · الفصل 6 — حساب الأعداد الصحيحة

من أجل nNn \in \N^*: نكتب ab(modn)a \equiv b \pmod n عندما يكون nabn \mid a - b. وهذه علاقة تكافؤ متوافقة مع الجمع و الضرب: فإذا كان aba \equiv b و aba' \equiv b' (بترديد nn) فإن a+ab+ba + a' \equiv b + b' و aabbaa' \equiv bb' و akbka^k \equiv b^k من أجل kNk \in \N.

أمثلة

مثال 6.19 (التحقق بالتسعة)

التوافق مع ++ و ×\times أداة تحقق قديمة قدم التجارة. وبما أن 101(mod9)10 \equiv 1 \pmod 9، يكون كل عدد صحيح موافقًا بترديد 99 لمجموع أرقامه (المبرهن عليه في التمرين 6.2). وللتحقق من الدعوى 1234×567=6996781234 \times 567 = 699\,678: يعطي مجموعا الأرقام 123411234 \equiv 1 و567180(mod9)567 \equiv 18 \equiv 0 \pmod 9، ومنه يجب أن يكون الجداء 1×0=0\equiv 1 \times 0 = 0؛ وبالفعل 6+9+9+6+7+8=4506 + 9 + 9 + 6 + 7 + 8 = 45 \equiv 0. فالتحقق يمرّ (والجداء صحيح في الواقع). ولو أفاد أحدهم بالقيمة 699478699\,478 لأدانه مجموع الأرقام 437≢043 \equiv 7 \not\equiv 0 فورًا. والاختبار أحاديّ الجانب — فهو يمسك الخطأ إلا إذا كان الخطأ نفسه مضاعفًا للعدد 99 — وهذا بالضبط درس شبه الأولية في المثال 6.24 مصغَّرًا: فتحققات التوافق تدحض ولا تشهد.

مثال 6.21 (قلب العدد 77 بترديد 2626)

بما أن gcd(7,26)=1\gcd(7, 26) = 1، يكون صف 77 قابلًا للقلب بترديد 2626. وبإقليدس الممدَّدة:

26=3×7+5,7=1×5+2,5=2×2+1,26 = 3 \times 7 + 5, \qquad 7 = 1 \times 5 + 2, \qquad 5 = 2 \times 2 + 1 ,

ثم بالمقلوب:

1=52×2=52(75)=3×52×7=3(263×7)2×7=3×2611×7.1 = 5 - 2 \times 2 = 5 - 2(7 - 5) = 3 \times 5 - 2 \times 7 = 3(26 - 3 \times 7) - 2 \times 7 = 3 \times 26 - 11 \times 7 .

ومنه 7×(11)1(mod26)7 \times (-11) \equiv 1 \pmod{26}، أي 711115(mod26)7^{-1} \equiv -11 \equiv 15 \pmod{26}؛ وللتحقق: 7×15=105=4×26+17 \times 15 = 105 = 4 \times 26 + 1. وبامتلاك المقلوب، يُحلّ أيّ توافق 7xc(mod26)7x \equiv c \pmod{26} بعملية ضرب واحدة: x15cx \equiv 15c. وهذا القلب الآليّ هو حصان العمل في الحساب الترديدي — وفي بروتوكولات المفتاح العام المذكورة في الملاحظة 6.27، حيث تكون الترديدات ذات مئات الأرقام لكن الخوارزمية هي هذه بالضبط.

مثال 6.22 (عندما لا يكون المعامل قابلًا للقلب)

حُلَّ 12x8(mod20)12x \equiv 8 \pmod{20}. هنا gcd(12,20)=4\gcd(12, 20) = 4، فلا يكون 1212 قابلًا للقلب بترديد 2020 — لكن المعادلة تبقى قابلة للمعالجة. يقول التوافق إن 2012x820 \mid 12x - 8؛ وبقسمة العلاقة كلها على 44 (وهو قاسم للمكوّنات الثلاثة)، تكافئ 53x25 \mid 3x - 2، أي

3x2(mod5).3x \equiv 2 \pmod 5 .

والآن gcd(3,5)=1\gcd(3, 5) = 1 و312(mod5)3^{-1} \equiv 2 \pmod 5 (3×2=613 \times 2 = 6 \equiv 1)، ومنه x4(mod5)x \equiv 4 \pmod 5: فالحلول هي x4,9,14,19(mod20)x \equiv 4, 9, 14, 19 \pmod{20} — أي أربعة صفوف بترديد 2020، مطابقةً للقاسم المشترك الأكبر. (ولو لم يقبل الطرف الأيمن القسمة على 44، مثل 12x6(mod20)12x \equiv 6 \pmod{20}، لما وُجد أيّ حلّ البتة: فالطرف الأيسر دائمًا 0(mod4)\equiv 0 \pmod 4.) والشكل العام: axb(modn)ax \equiv b \pmod n قابل للحلّ إذا وفقط إذا كان gcd(a,n)b\gcd(a, n) \mid b، ويكون له عندئذ بالضبط gcd(a,n)\gcd(a, n) صفًّا من الحلول — فاقسم كل شيء على القاسم المشترك الأكبر ثم اقلب.

اقرأ في الفصل ←