🔢 mathematics

Arithmetic progressions of integers that are relatively prime to their digital sums

تبحث هذه الورقة في أقصى الأطوال الممكنة للمتتاليات الحسابية المكونة من أعداد صحيحة موجبة تكون أولية نسبياً مع مجموع أرقامها في قاعدة معطاة $b$ .

المؤلفون الأصليون: Ryan Blau, Joshua Harrington, Sarah Lohrey, Eliel Sosis, Tony W. H. Wong

نُشر 2026-02-10

📖 3 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Ryan Blau, Joshua Harrington, Sarah Lohrey, Eliel Sosis, Tony W. H. Wong

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

الأرقام "الخرقاء اجتماعياً": قصة الرياضيات وعدم التوافق

تخيل أنك في حفلة ضخمة. في هذه الحفلة، يوجد مجموعتان من الناس: مجموعة "نيفِن" (Niven) ومجموعة "ضد نيفِن" (Anti-Niven).

لتحديد المجموعة التي تنتمي إليها، عليك النظر إلى شيئين يتعلقان بك:

رقم هويتك (قيمتك الفعلية).
مجموع أرقام هويتك (رقم صغير مشتق من هويتك).

أشخاص "نيفِن" هم "المطابقون المثاليون". رقم هويتهم يقبل القسمة تماماً على مجموع أرقامهم. إذا كان رقم هويتك هو 12، فإن مجموع أرقامك هو $1+2=3$ . وبما أن 12 يمكن قسمتها على 3، فأنت من "نيفِن"! إنهم متناغمون ومنظمون.

أشخاص "ضد نيفِن" (موضوع هذه الورقة البحثية) هم "غير المتوافقين". هم أعداد أولية فيما بينها بالنسبة لمجموع أرقامهم. هذا يعني أنهم لا يشتركون في أي عوامل سوى الرقم 1. إذا كان رقم هويتك 13، فإن مجموع أرقامك هو $1+3=4$ . وبما أن 13 و4 لا يشتركان في أي عوامل، فأنت من "ضد نيفِن". أنت من المتمردين؛ أنت لا "تتناسب" مع أنماط أرقامك الخاصة.

ما الذي تدرسه هذه الورقة في الواقع؟

يبحث الرياضيون في هذه الورقة عن "سلاسل الخرقاء اجتماعياً".

في الرياضيات، المتتابعة الحسابية (AP) هي مجرد تسلسل من الأرقام يتبع إيقاعاً ثابتاً—مثل العد بمقدار 2 ($2, 4, 6, 8... $) أو بمقدار 5 ($ 5, 10, 15, 20...$).

أراد الباحثون معرفة: كم يمكن أن يستمر طول سلسلة "الأرقام غير المتوافقة" (ضد نيفِن) قبل أن يكسر "المطابق المثالي" (رقم نيفِن) السلسلة حتماً؟

فكر في الأمر كأنك تسير في شارع من المنازل. معظم المنازل لها نمط محدد. يسأل الباحثون: "كم منزلاً يمكنني المرور به في صف واحد حيث يرفض رقم المنزل ومجموع أرقامه التعاون؟"

الاكتشافات الكبرى

إليك ما وجده الباحثون، مقسماً إلى مفاهيم بسيطة:

1. قاعدة "لا توجد سلاسل لانهائية"

تثبت الورقة أنه لا يمكنك أبداً الحصول على سلسلة لانهائية من أرقام "ضد نيفِن". بغض النظر عن كيفية ضبط إيقاعك (حجم خطوتك)، فإن الرياضيات ستجبر في النهاية "المطابق المثالي" (رقم نيفِن) على الظهور. كون الأرقام لا نهائي، إلا أن الكون يفرض النظام في النهاية.

2. "أصغر عدد أولي" كعائق

اكتشفوا أن طول هذه السلاسل غالباً ما يكون محدوداً بـ "أصغر عامل أولي" للأس (Base) الذي تستخدمه.

تشبيه: تخيل أنك تسير بإيقاع 3 خطوات. إذا كان هناك "فخ" كل 5 خطوات، فلا يمكنك المشي أكثر من 4 خطوات دون الوقوع في الفخ. الرياضيات تعمل بشكل مشابه؛ فبعض الأعداد الأولية تعمل مثل "المطبات" التي تكسر سلسلة "ضد نيفِن".

3. انقسام الشخصية بين "الزوجي والفردي"

تظهر الورقة أن القواعد تتغير اعتماداً على ما إذا كان نظامك العددي (مثل نظامنا العشري - Base 10) زوجياً أم فردياً.

عندما يكون الأس زوجياً، تسلك السلاسل سلوكاً يمكن التنبؤ به إلى حد ما ومقيداً.
عندما يكون الأس فردياً، يمكن للسلاسل أن تكون أطول وأكثر "تمرداً".

4. "السلاسل القصوى"

وجدوا سيناريوهات محددة ونادرة حيث يمكن لهذه السلاسل أن تصبح طويلة بشكل مدهش. على سبيل المثال، في النظام الثنائي (Base-2) (لغة الكمبيوتر)، أثبتوا أنه يمكنك العث_ور على سلسلة من 5 أرقام "غير متوافقة" متتالية، وهذا يحدث بشكل متكرر ولانهائي عبر خط الأرقام.

ملخص لغير المتخصصين

إذا كنت تعتبر الأرقام موكباً ضخماً لا نهائياً، فإن معظم المشاركين يسيرون بإيقاع مثالي مع أرقامهم (أرقام نيفِن). هذه الورقة هي غوص عميق في عالم المتمردين (أرقام ضد نيفِن).

لقد رسم المؤلفون خريطة توضح بالضبط كم يمكن لهؤلاء المتمردين أن يسيروا في صف واحد قبل أن يجبرهم "إيقاع الكون" على التناغم مع أرقامهم. لقد أثبتوا أنه بينما يمكن للمتمردين تشكيل صفوف طويلة ومبهرة، إلا أنهم لا يمكنهم السير للأبد. في النهاية، يعود النمط دائماً.

يقدم هذا الملخص التقني نظرة عامة على الورقة البحثية بعنوان "المتواليات الحسابية للأعداد الصحيحة التي تكون أولية نسبياً مع مجموع أرقامها" من قبل بلاو وآخرون (2023).

1. بيان المشكلة

تبحث الورقة في خصائص أعداد "أنتي-نيفن" (anti-Niven) في الأساس $b$ .

التعريف: يكون العدد الصحيح $n$ من نوع "أنتي-نيفن" في الأساس $b$ إذا كان أولياً نسبياً مع مجموع أرقامه في الأساس $b$ (أي أن $\gcd(n, s_b(n)) = 1$ ). وهذا هو المعكوس المنطقي لعدد "نيفن" (Niven number) في الأساس $b$ ، حيث يقسم $s_b(n)$ العدد $n$ .
الهدف الجوهري: يسعى المؤلفون إلى تحديد الوجود، والحد الأقصى للطول الممكن، وتكرار المتواليات الحسابية (APs) التي تتكون بالكامل من أعداد "أنتي-نيفن" في الأساس $b$ . وبشكل محدد، هم يفحصون المتواليات الحسابية ذات الفرق $d$ ( $d$ -APs) بأطوال وأنواع مختلفة.

2. المنهجية

يستخدم المؤلفون مزيجاً من البراهين في نظرية الأعداد، الحساب النمطي (Modular Arithmetic)، والطرق البنائية:

التحليل النمطي: يستخدمون خصائص مجموع الأرقام، وتحديداً اللمة (Lemma) التي تنص على أنه إذا كان $\delta \mid (b-1)$ ، فإن $\delta \mid n \iff \delta \mid s_b(n)$ ، لوضع قيود على متى يمكن للمتوالية الحسابية أن تحتوي على أعداد "أنتي-نيفن".
البراهين البنائية: لإثبات إمكانية تحقيق أطوال معينة، يقومون ببناء متواليات محددة باستخدام أعداد صحيحة كبيرة $m$ وفروق مشتركة $d$ محددة تجعل مجموع الأرقام يظل ثابتاً أو يتبع نمطاً يمكن التنبؤ به.
كثافة وتوزيع الأعداد الأولية: يستخدمون نتائج متعلقة بتوزيع الأعداد الأولية ونظرية أويلر لضمان أن الحدود المبنية في المتوالية الحسابية لا تشترك في عوامل مشتركة مع مجموع أرقامها.

3. المساهمات والنتائج الرئيسية

أ. الوجود واللانهاية

المتواليات الحسابية اللانهائية: يثبت المؤلفون أنه لا توجد متوالية حسابية $d$ -AP لانهائية الطول من أعداد "أنتي-نيفن" في الأساس $b$ (النظرية 2.3). وهذا يتناقض مع أعداد "نيفن"، حيث يمكن أن تحتوي المتواليات الحسابية اللانهائية على عدد لا نهائي من الحدود.
الأطوال التعسفية: يثبتون أنه لأي عدد صحيح $t$ ، يوجد $n$ و $d$ بحيث توجد متوالية حسابية $d$ -AP من نوع "أنتي-نيفن" بطول $t$ (النظرية 2.4).

ب. الأطوال القصوى لمتواليات محددة

1-APs (الأعداد الصحيحة المتتالية): لـ $b > 2$ ، ليكن $p$ هو أصغر عدد أولي يقسم $b-1$ . فإن الحد الأقصى لطول متوالية من أعداد "أنتي-نيفن" المتتالية هو بالضبط $p-1$ (النظرية 3.2).
2-APs (خطوات زوجية/فردية):
- إذا كان $b$ زوجياً وليس على صورة $2r+1$ ، فإن الحد الأقصى للطول هو $p-1$ (حيث $p$ هو أصغر عدد أولي فردي يقسم $b-1$ ).
- إذا كان $b$ فردياً، فإنهم يضعون حداً أدنى للطول قدره $b$ (النظرية 4.1).
$(b-1)$ -APs: بالنسبة لـ $b$ الزوجي، فإن الحد الأقصى للطول هو $2b+1$ (النظرية 3.5). كما يقدمون حداً أدنى لـ $b$ الأولي الفردي قدره $2b+1$ (النظرية 4.2).

ج. الحدود العليا لـ $d$ الفردية

تحدد الورقة الحالات التي لا يتم فيها الوصول إلى الحد "الطبيعي" (بناءً على أصغر عدد أولي $p \mid b-1$ ). بالنسبة لـ $b$ الزوجي حيث $b \ge 6$ و $3 \le d \le b/2$ ، فإن الحد الأقصى للطول محكوم بـ $\lceil lceil 2b/d \rceil + 2$ (النظرية 3.4).

4. جدول ملخص النتائج

نوع المتوالية الحسابية	الشرط	النتيجة/الحد
متوالية $d$ -AP لانهائية	أي $b, d$	الطول دائماً محدود
1-AP (متتالية)	$b > 2$	الحد الأقصى للطول = $p-1$ (حيث $p$ هو أصغر عدد أولي $\mid b-1$ )
2-AP	$b$ زوجي، $b \neq 2r+1$	الحد الأقصى للطول = $p-1$ (حيث $p$ هو أصغر عدد أولي فردي $\mid b-1$ )
$(b-1)$ -AP	$b$ زوجي	الحد الأقصى للطول = $2b+1$
$d$ -AP (فردي $d$ )	$b \ge 6$ زوجي، $3 \le d \le b/2$	الحد الأقصى للطول $\le \lceil 2b/d \rceil + 2$

5. الأهمية

تساهم هذه الورقة في مجال نظرية الأعداد الجمعية ودراسة الخصائص الرقمية للأعداد الصحيحة. وبينما ركزت الكثير من الأدبيات السابقة على أعداد "نيفن" (Harshad numbers)، ينقل هذا العمل التركيز إلى خاصية "أنتي-نيفن"، مما يوفر توصيفاً كاملاً للقيود التي تفرضها مجموع أرقام الأساس $b$ على بنية المتواليات الحسابية. وتضع النتائج حداً صارماً بين سلوك الأعداد القابلة للقسمة على مجموع أرقامها وتلك التي تكون أولية نسبياً معها.