🔢 mathematics

Sums of three Fibonacci numbers as concatenations of three repdigits in base $b$

تثبت هذه الورقة أنه بالنسبة للأسس $2 \le b \le 10$ ، توجد أعداد محدودة فقط من مجموع ثلاثة أعداد فيبوناتشي التي تشكل دمجاً لثلاثة أرقام مكررة، وهي تحدد صراحةً جميع هذه الحلول، حيث يظهر أكبر حل لها في القاعدة 4.

المؤلفون الأصليون: Passimzouwé Dagou, Pagdame Tiebekabe, Kouèssi Norbert Adédji, Kokou Tchariè

نُشر 2026-02-25

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

CC BY 4.0

المؤلفون الأصليون: Passimzouwé Dagou, Pagdame Tiebekabe, Kouèssi Norbert Adédji, Kokou Tchariè

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

تخيل أن لديك عالمين مختلفين تماماً من الأرقام يصطدمان في لغز رياضي.

العالم الأول: متتالية فيبوناتشي
فكر في أرقام فيبوناتشي كشجرة عائلة تنمو بقاعدة بسيطة: للحصول على الرقم التالي، ما عليك سوى جمع الرقمين السابقين له. تبدأ بـ 0، 1، 1، 2، 3، 5، 8، 13، 21... وتستمر في النمو إلى الأبد. تظهر هذه الأرقام في كل مكان في الطبيعة، من لولب زهور عباد الشمس إلى شكل القواقع البحرية.

العالم الثاني: الأرقام المتكررة (الأرقام ذات الأرقام المتطابقة)
الآن، تخيل عالماً من الأرقام المهووسة بالتكرار. "الرقم المتكرر" (Repdigit) هو رقم تكون فيه كل خاناته متطابقة. في عالمنا العادي ذو الأساس 10، الأرقام مثل 111، 5555، و99999 هي أرقام متكررة. في "أسس" أخرى (مثل نظام الأساس 2 الخاص بالحواسيب أو نظام الأساس 4 المبسط)، تبدو هذه الأنماط مختلفة، لكن القاعدة تظل كما هي: كل شيء يبدو متطابقاً.

اللغز: تحدي "الربط" (Concatenation)
سأل مؤلفو هذه الورقة سؤالاً محدداً ودقيقاً:
"هل يمكننا أخذ ثلاثة أرقام من متتالية فيبوناتشي، وجمعها معاً، لنحصل على نتيجة تبدو مثل ثلاث كتل من الأرقام "المتطابقة" ملتصقة ببعضها البعض؟"

دعونا نفكك جزء "الالتصاق" هذا (الذي يسمى الربط):

تخيل أن لديك كتلة من الرقم 3، وكتلة من الرقم 1، وكتلة من الرقم 2.
إذا لصقتهم معاً، ستحصل على: 333...111...222.
السؤال هو: هل يوجد أي مجموع لثلاثة أرقام من فيبوناتشي يساوي رقماً كهذا؟

رحلة الورقة البحثية

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

2. "الضغط" (طريقة الاختزال)
حتى مع وجود السياج، لا تزال المساحة داخل السياج كبيرة جداً للبحث فيها. لذا، استخدم المؤلفون "طريقة اختزال". فكر في الأمر كأنها لعبة "ساخن وبارد":

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

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

المشكلة: لو حاولوا تشغيل هذا على كمبيوتر عادي، فسيستغرق الأمر 248 سنة لإنهاء العمليات الحسابية للأساس 10 فقط. هذا أطول من عمر الإنسان!
الحل: ذهبوا إلى "نادي رياضي" للحواسيب. استخدموا وحدة معالجة الرسومات (GPU) - وهي بطاقة رسوميات تُستخدم عادةً للألعاب - للقيام بالعمليات الحسابية بشكل "متوازٍ".
التشبيه: تخيل أن لديك 1,000 شخص يحاولون حل لغز. الكمبيوتر العادي يشبه شخصاً واحداً يعمل بمفرده. أما الـ GPU فهو مثل توظيف 1,000 شخص للعمل على أجزاء مختلفة من اللغز في نفس الوقت تماماً.
النتيجة: ما كان سيستغرق 248 عاماً، انتهى في بضع ساعات فقط. لقد حولوا مهمة "لا تنتهي" إلى "مشروع عطلة نهاية أسبوع".

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

بعد كل هذا العمل الشاق، وجدوا الإجابة.

للأسس من 2 إلى 10: هناك عدد محدود فقط من الحلول. في الواقع، عبر كل هذه الأسس، وجدوا بالضبط 2,665 من هذه المجاميع.
الحل "البطل": أكبر وأكثر الحلول إثارة للإعجاب ظهر في الأساس 4.
- يتضمن إضافة ثلاثة أرقام محددة من فيبوناتشي: $F_{42} + F_{29} + F_{20}$ .
- المجموع هو 268,435,290.
- عند كتابة هذا الرقم في الأساس 4، يظهر هكذا: 333333333311224.
- انظر إلى ذلك النمط! كتلة من الرقم 3، تليها كتلة من الرقم 1، ثم كتلة من الرقم 2. إنه "ربط مثالي لثلاثة أرقام متكررة".

لماذا يهم هذا؟

قد تسأل، "من يهتم إذا كان ثلاثة أرقام من فيبوناتشي يجمعون ليُكونوا نمطاً من الأرقام المتكررة؟"

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

باخت_صار:
أخذ المؤلفون تخميناً جامحاً حول جمع ثلاثة أرقام تعتمد على الطبيعة لمعرفة ما إذا كان بإمكانهم صنع نمط من الأرقام المتكررة الملتصقة. استخدموا رياضيات متقدمة لتقليص مساحة البحث، ثم استخدموا كمبيوتراً خارقاً (مثل جيش رقمي) للعثيد على كل تطابق. وجدوا أنه بينما توجد آلاف التطابقات، إلا أنها نادرة، ومحدودة، وتتبع بنية جميلة ومتوقعة.

إليك ملخص تقني مفصل للورقة البحثية بعنوان "مجموع ثلاثة أعداد فيبوناتشي كدمج لثلاثة أرقام مكررة في القاعدة $b$ " للباحث باسيمازو داغو وآخرون.

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

تتقصى الورقة البحثية معادلة ديوفانتية محددة تتضمن تقاطع المتتاليات التكرارية والتمثيلات الرقمية للأعداد الصحيحة. المشكلة الجوهرية هي إيجاد جميع الحلول للمعادلة:
$F_{n_1} + F_{n_2} + F_{n_3} = \text{دمج لثلاثة أرقام مكررة في القاعدة } b$
حيث أن:

$\{F_n\}$ هو متتالية فيبوناتشي ( $F_0=0, F_1=1, F_{n+2}=F_{n+1}+F_n$ ).
الرقم المكرر في القاعدة $b$ هو عدد صحيح في القاعدة $b$ يتكون من رقم واحد مكرر $d$ ( $1 \le d \le b-1$ ) مكرر $m$ من المرات.
الدمج لثلاثة أرقام مكررة بأرقام $d_1, d_2, d_3$ وأطوال $\ell_1, \ell_2, \ell_3$ يشكل عدداً $R$ في القاعدة $b$ .
المعادلة مقيدة بـ $n_1 \ge n_2 \ge n_3 \ge 0$ ، و $\ell_3 \ge \ell_2 \ge \ell_1 \ge 1$ ، و $d_1 > 0$ .

يهدف المؤلفون إلى توصيف هذه التمثيلات، وإثبات محدودية الحلول للقواعد $2 \le b \le 10$ ، وتحديد جميع هذه المجموعات صراحةً.

2. المنهجية

تجمع استراتيجية الإثبات بين نظرية الأعداد المتقدمة والحوسبة عالية الأداء، متبعةً نهجاً قياسياً من خطوتين في تحليل المعادلات الديوفانتية:

أ. الحدود النظرية (طريقة باكر)

يستخدم المؤلفون الأشكال الخطية للوغاريتمات لإنشاء حد علوي صريح لمؤشرات أعداد فيبوناتشي ( $n_1$ ).

الأداة: مبرهنة باكر ووستهولز المتعلقة بالحدود الدنيا غير الصفرية للأشكال الخطية للوغاريتمات الأعداد الجبرية.
العملية:
1. يتم تحويل المعادلة الديوفانتية إلى متباينة تتضمن شكلاً خطياً $\Gamma = b_1 \log \eta_1 + b_2 \log \eta_2 + b_3 \log \eta_3$ .
2. يستنتج المؤلفون حدوداً أولية تظهر أنه إذا وجد حل، فيجب أن تحقق المتغيرات متباينات محددة (على سبيل المثال، $\min\{\ell_1 \log b, (n_1-n_2)\log \alpha\} < C \cdot \log^k b \cdot \log^j n_1$ ).
3. من خلال تحليل الحالة بحالة (التقسيم بناءً على القيمة الدنيا لكل حد)، استنتجوا حداً علوياً نظرياً ضخماً:
  $n_1 < 3.09 \times 10^{82} \log^{11} b$
4. هذا الحد كبير جداً بحيث لا يمكن التحقق منه حسابياً بشكل مباشر.

ب. تقليص الحد (طريقة التقليص)

لتقليص الحد إلى نطاق يمكن معالجته حسابياً، طبق المؤلفون طريقة تقليص باكر-دافنبورت (تحديداً النسخة الخاصة ببرافو، غوميز، ولوكا، والمعدلة بواسطة دوجيلا وبيثو).

الأداة: التمهيدية 2 (المعتمدة على الكسور المستمرة).
العملية:
1. يتم تقليص الحدود الكبيرة بشكل تكراري من خلال تحليل متباينات من الشكل $0 < |u\tau - v + \mu| < AB^{-w}$ .
2. باستخدام متتاليات التقارب للتوسع الكسري المستمر لـ $\tau = \frac{\log b}{\log \alpha}$ ، قام المؤلفون بخفض الحدود العليا لـ $n_1, n_2, n_3$ والأطوال $\ell_i$ بشكل منهجي.
3. قللت هذه العملية مساحة البحث من $10^{82}$ إلى نطاق يمكن إدارته حيث $n_1 \le 74$ .

ج. التحقق الحسابي (تسريع وحدة معالجة الرسومات GPU)

بمجرد تقليص الحدود إلى $n_1 \le 74$ ، كان من الضروري إجراء بحث شامل (Brute-force) لإيجاد جميع الحلول.

التحدي: تتضمن مساحة البحث سبع حلقات متداخلة (الأرقام، الأطوال، المؤشرات)، مما يؤدي إلى انفجار أسي في عدد التكرارات. بالنسبة لـ $b=10$ ، قُدر أن التنفيذ التسلسلي على وحدة المعالجة المركزية (CPU) سيستغرق ما يقرب من 248 عاماً.
الحل: قام المؤلفون بنقل الخوارزمية إلى وحدة معالجة رسومات NVIDIA RTX A2000 باستخدام إطار عمل CUDA.
النتيجة: حقق هذا التوازي في المعالجة تسريعاً قدره 20,000 ضعف. على سبيل المثال، حالة $b=3$ (التي قُدرت بـ 5 سنوات على CPU) تم حلها في حوالي 50 دقيقة على GPU.

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

تعميم الأعمال السابقة: توسيع دراسة أعداد فيبوناتشي كدمج لأرقام مكررة (التي كانت تقتصر سابقاً على الأعداد المفردة أو مجموع عددين) لتشمل مجموع ثلاثة أعداد فيبوناتشي.
إثبات المحدودية: إثبات أنه لأي قاعدة عدد صحيح $2 \le b \le 10$ ، يوجد عدد محدود فقط من هذه المجموعات.
التصنيف الصريح: تقديم قائمة كاملة لجميع الحلول الـ 2,665 المتميزة عبر القواعد من 2 إلى 10.
الابتكار الحسابي: إظهار ضرورة وفعالية التوازي باستخدام وحدات معالجة الرسومات (GPUs) لحل المسائل الديوفانتية المعقدة ذات مساحات البحث التوافقية التي تكون قابلة للحل نظرياً ولكنها مستعصية حسابياً على البنى التحتية القياسية.

4. النتىجة الرئيسية

تقدم الورقة البحثية النتائج المحددة التالية:

إجمالي الحلول: توجد 2,665 مجموعاً متميزاً لثلاثة أعداد فيبوناتشي هي دمج لثلاثة أرقام مكررة عبر القواعد $b=2$ إلى $10$.
أكبر حل: يظهر أكبر مجموع في القاعدة 4:
$F_{42} + F_{29} + F_{20} = 268,435,290$
في القاعدة 4، يتم تمثيل هذا العدد كدمج لثلاثة أرقام مكررة: 333333333311224.
النتائج الفرعية:
- مجموع عددين من فيبوناتشي: من خلال وضع $n_3=0$ ، حدد المؤلفون جميع مجموعات عددين من فيبوناتشي التي هي دمج لثلاثة أرقام مكررة (الجدول 2 في الورقة).
- أعداد فيبوناتشي مفردة: من خلال وضع $n_2=n_3=0$ ، حددوا جميع أعداد فيبوناتشي التي هي بحد ذاتها دمج لثلاثة أرقام مكررة (الجدول 3). على سبيل المثال، في القاعدة 10، $F_{22} = 17711$ هو أكبر عدد من هذا النوع.

5. الأهمية

نظرية الأعداد: يساهم هذا العمل في فهم توزيع الأنماط الرقمية الخاصة (الأرقام المكررة) ضمن متتاليات التكرار الخطي. وهو يسلط الضوء على ندرة هذه المصادفات، مما يعزز فكرة أن أعداد فيبوناتشي نادراً ما تتوافق مع الهياكل الرقمية الصارمة.
الكفاءة الخوارزمية: تعمل الورقة كدراسة حالة لحل المعادلات الديوفانتية "الصعبة" حيث توجد حدود نظرية ولكنها كبيرة جداً للتنفيذ الحسابي المباشر. وهي تثبت جدوى استخدام التوازي الضخم (GPUs) للتغلب على "لعنة الأبعاد" في نظرية الأعداد التوافقية.
البنية التحتية: أصبح هذا البحث ممكناً بفضل البنية التحتية للحوسبة عالية الأداء التي وفرها مختبر توغو للبيانات (Togo Data Lab)، مما يبرز الدور المتنامي للمؤسسات البحثية الأفريقية في الرياضيات الحسابية المتقدمة.

باخت-صار، نجحت هذه الورقة في الربط بين نظرية الأعداد العميقة (طريقة باكر) وقوة الحوسبة الحديثة (التوازي عبر GPU) لحل مسألة ديوفانتية معقدة، مقدمةً فهرساً نهائياً للحلول للقواعد من 2 إلى 10.