التعريف
a متوافق مع b مقياس n إذا كان a−b يقبل القسمة على n:
a≡b(modn)⟺n∣(a−b)
يعادل: a و b لهما نفس الباقي في القسمة على n.
أمثلة
- 17≡5(mod12) (لأنّ 17−5=12).
- −3≡4(mod7) (لأنّ −3−4=−7).
- 25≡1(mod24) (مفيد للساعات!).
العمليات: محفوظة
إذا a≡a′(modn) و b≡b′(modn):
- الجمع: a+b≡a′+b′(modn)
- الطرح: a−b≡a′−b′(modn)
- الضرب: a×b≡a′×b′(modn)
- الأُس: ak≡(a′)k(modn)
⚠️ القسمة ليست دائمًا ممكنة!
تطبيق 1: معيار قابلية القسمة
لاختبار قابلية قسمة n على 9: مجموع الأرقام.
لماذا؟ لأنّ 10≡1(mod9)، إذًا 10k≡1(mod9). عدد متوافق مع مجموع أرقامه مقياس 9.
تطبيق 2: حساب باقٍ ضخم
احسب 2100 مقياس 5.
24=16≡1(mod5).
100=4×25، إذًا 2100=(24)25≡125=1(mod5).
الباقي = 1.
تطبيق 3: يوم الأسبوع
اليوم = الأربعاء. بعد 100 يوم؟
100=14×7+2، إذًا 100≡2(mod7). الأربعاء + 2 = الجمعة.
مبرهنة فيرما الصغرى
إذا كان p أوّليًا و a لا يقبل القسمة على p:
ap−1≡1(modp)
الاستعمال: تبسيط أسس مقياس عدد أوّلي.
أخطاء شائعة
- القسمة في توافق دون PGCD = 1 مع n.
- كتابة a≡b(modn) عندما a−b لا يقبل القسمة على n.
- نسيان أنّ البواقي موجبة (0≤r<n).
?À toi de jouer
46 مقياس 7 = ?