حول ثلاثيات ديوفانتين تحتوي على عدد مثلثي

المعلومات الأساسية

• معرّف الورقة: 2510.26617
• العنوان: On Diophantine triples containing a triangular number
• المؤلفة: Marija Bliznac Trebješanin (كلية العلوم، جامعة سبليت، كرواتيا)
• التصنيف: math.NT (نظرية الأعداد)
• تاريخ الإرسال: 30 أكتوبر 2025 إلى arXiv
• رابط الورقة: https://arxiv.org/abs/2510.26617
• التصنيف الموضوعي: 11B37 (المتتاليات العودية)، 11D09 (معادلات ديوفانتين)

الملخص

تقدم هذه الورقة طريقة بناء عامة قادرة على إنتاج عدد لا نهائي من عائلات ثلاثيات $D(m^2)$ المكونة من أعداد مثلثية. تتمثل إحدى الخصائص البارزة للبناء في أن جميع الثلاثيات المُنتجة تحتوي على نفس العدد المثلثي الأولي $T_n$.

خلفية البحث والدافع

مشكلة البحث

تركز المشكلة الأساسية للبحث على: كيفية بناء ثلاثيات ديوفانتين تحتوي على عدد مثلثي محدد بشكل منهجي. بالتحديد، بالنسبة لعدد مثلثي معطى $T_n$ (حيث $T_n = \frac{n(n+1)}{2}$)، يتم البحث عن عددين مثلثيين آخرين $T_i$ و $T_j$ بحيث يكون حاصل ضرب أي اثنين منهما مضافاً إليه عدد صحيح ثابت $m^2$ مربعاً كاملاً.

أهمية المشكلة

1. استمرار المشاكل الكلاسيكية: تنبع مشكلة $m$-العنصر الديوفانتي من عالم الرياضيات اليوناني القديم ديوفانتس، واكتشف فيرما أول رباعي {1, 3, 8, 120}. يتمتع هذا المجال بأساس تاريخي عميق.
2. القيمة النظرية: دراسة أنماط ظهور متتاليات محددة (مثل الأعداد المثلثية وأعداد فيبوناتشي) في المجموعات الديوفانتية تعتبر موضوعاً مهماً في نظرية الأعداد. أثبتت الأبحاث السابقة عدم وجود خماسيات $D(1)$ (He, Togbé, Ziegler)، وعدم وجود خماسيات $D(4)$ (المؤلفة و Filipin)، وعدم وجود رباعيات مكونة بالكامل من أعداد فيبوناتشي (Fujita و Luca).
3. نقص الطرق البنائية: على الرغم من معرفتنا ببعض الأمثلة المعزولة، يوجد نقص في الطرق المنهجية لإنتاج عدد لا نهائي من الثلاثيات التي تحتوي على عدد مثلثي محدد.

حدود الطرق الموجودة

• النتائج المعروفة: يمكن استنتاج من نتائج Deshpande أن {$T_n, T_{n+4}, T_{4n^2+20n+8}$} هي ثلاثية ديوفانتية
• أشكال محددة: من المعروف أنه لأي عدد صحيح موجب $m$ و $n$، {$T_n, T_{n+m}, T_{4(n^2+(4m+1)n+2m)}$} هي ثلاثية $D(m^2)$
• غياب البناء العودي: تعطي هذه النتائج ثلاثية واحدة فقط، وليس عائلة لا نهائية

دافع البحث

تهدف المؤلفة إلى إنشاء إطار بناء عودي، بدءاً من زوج $D(m^2)$ أولي، لإنتاج عدد لا نهائي من ثلاثيات $D(m^2)$ التي تحتوي على نفس العدد المثلثي $T_n$.

المساهمات الأساسية

1. طريقة البناء العودي: تقدم طريقة بناء عودية بدءاً من الزوج الأولي {$T_n, T_{n+4m}$} قادرة على إنتاج عدد لا نهائي من ثلاثيات $D(m^2)$
2. النظرية الرئيسية: تثبت أنه لأي عدد صحيح موجب $m$ و $n$، العدد المثلثي $T_n$ هو عضو في عدد لا نهائي من ثلاثيات $D(m^2)$ المكونة من أعداد مثلثية (النظرية 1)
3. الصيغ الصريحة: تعطي تعبيرات صريحة للمتتاليات العودية $\{N_k\}$، $\{s_k\}$ و $\{t_k\}$ بحيث تشكل {$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$} ثلاثية $D(m^2)$
4. إثبات الاكتمال: تثبت صحة البناء من خلال الاستقراء الرياضي بشكل صارم

شرح الطريقة

تعريف المهمة

الإدخال: عدد صحيح موجب $m$ و $n$
الإخراج: متتالية لا نهائية من الثلاثيات {$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$} ($k \geq 1$) التي تحقق خاصية $D(m^2)$
شروط القيد: جميع الثلاثيات تحتوي على العدد المثلثي الأولي $T_{N_0} = T_n$

حيث تتطلب خاصية $D(m^2)$: لأي عنصرين مختلفين $a$ و $b$ في الثلاثية، $ab + m^2$ هو مربع كامل.

معمارية البناء

الخطوة الأولى: إنشاء الزوج الأولي

ابدأ بالزوج {$T_n, T_{n+4m}$}، تحقق من أنه زوج $D(m^2)$: $T_n \cdot T_{n+4m} + m^2 = \left(\frac{n^2 + (4m+1)n + 2m}{2}\right)^2 =: r_1^2$

الخطوة الثانية: الثلاثية الأولى

وسّع إلى الثلاثية {$T_n, T_{n+4m}, T_{8r_1}$}، عرّف:

• $N_0 = n$
• $N_1 = n + 4m$
• $N_2 = 8r_1$

تحقق من: $T_n T_{8r_1} + m^2 = (2r_1(2n+1) - m)^2 = s_1^2$$T_{n+4m} T_{8r_1} + m^2 = (2r_1(2(n+4m)+1) + m)^2 = t_1^2$

الخطوة الثالثة: البناء العودي

عرّف المتتالية العودية: $N_{k+2} = 8s_k + N_k, \quad k \geq 1$

حيث $s_k$ و $t_k$ تحقق العلاقات العودية: $s_{k+1} = 2s_k(2N_0 + 1) - s_{k-1} \quad \text{(الصيغة 1)}$$t_{k+1} = 2s_k(2N_{k+1} + 1) + t_k \quad \text{(الصيغة 2)}$

الشروط الأولية: $s_0 := r_1$، $s_{-1} := m$

نقاط الابتكار التقني

1. استنتاج الصيغ الصريحة

يمكن حل العلاقة العودية (1) إلى صيغة صريحة. عرّف: $\alpha = 2N_0 + 1 + 2\sqrt{N_0(N_0+1)}$$\beta = 2N_0 + 1 - 2\sqrt{N_0(N_0+1)}$

لاحظ أن $\alpha = (\sqrt{N_0+1} + \sqrt{N_0})^2$، $\beta = (\sqrt{N_0+1} - \sqrt{N_0})^2$، وبالتالي $\beta = \alpha^{-1}$.

عرّف: $\lambda_1 = \frac{m}{2} + \frac{1}{8}\sqrt{N_0(N_0+1)}$$\lambda_2 = \frac{m}{2} - \frac{1}{8}\sqrt{N_0(N_0+1)}$

إذاً: $s_k = \lambda_1 \alpha^{k+1} + \lambda_2 \beta^{k+1}, \quad k \geq 1$

من خلال مناقشة الحالات الفردية والزوجية، احصل على: $N_k = \frac{8\alpha}{\alpha^2 - 1}(\lambda_1 \alpha^k - \lambda_2 \beta^k) - \frac{1}{2}$

$t_k = \frac{32\alpha^3\lambda_1^2}{(\alpha^2-1)^2}\alpha^{2k} + \frac{32\alpha\lambda_2^2}{(\alpha^2-1)^2}\beta^{2k} - \frac{32\alpha}{(\alpha^2-1)^2}(\alpha^2\lambda_1^2 + \lambda_2^2) + m$

2. استراتيجية الإثبات بالاستقراء

افترض أن {$T_{N_0}, T_{N_k}, T_{N_{k+1}}$} هي ثلاثية $D(m^2)$ و(1)(2) صحيحة، يجب إثبات أن {$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$} هي أيضاً ثلاثية $D(m^2)$.

يجب التحقق من معادلتين: $(3) \quad T_{N_0}T_{N_{k+2}} + m^2 = s_{k+1}^2$$(4) \quad T_{N_{k+1}}T_{N_{k+2}} + m^2 = t_{k+1}^2$

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

استخدم خصائص الأعداد المثلثية: $T_{8x+y} = 32x^2 + 4x(2y+1) + T_y$$8T_n + 1 = (2n+1)^2$

إثبات (3): $T_{N_0}T_{N_{k+2}} + m^2 = T_{N_0}T_{8s_k+N_k} + m^2$$= 32s_k^2 T_{N_0} + 4s_k(2N_k+1)T_{N_0} + s_{k-1}^2$

من الصيغة (1): $s_{k+1}^2 = 32s_k^2 T_{N_0} + 4s_k^2 - 4s_k s_{k-1}(2N_0+1) + s_{k-1}^2$

يختزل الإثبات إلى التحقق من: $(5) \quad (2N_k+1)T_{N_0} = s_k - s_{k-1}(2N_0+1)$

يمكن التحقق من هذه الصيغة من خلال استبدال الصيغ الصريحة.

إثبات (4): بالمثل، يختزل إلى التحقق من: $(6) \quad T_{N_{k+1}}(2N_k+1) = s_k + t_k(2N_{k+1}+1)$

وبالمثل يتم التحقق من خلال استبدال الصيغ الصريحة.

مزايا الطريقة

1. المنهجية: توفر إطار بناء موحد ينطلق من أي عدد مثلثي أولي
2. القابلية للحساب: الصيغ الصريحة تسمح بحساب الثلاثية $k$-ية مباشرة
3. الاكتمال: الإثبات النظري يضمن صحة البناء
4. العمومية: تنطبق على أي عدد صحيح موجب $m$ و $n$

إعداد التجربة

طريقة التحقق

هذه ورقة رياضيات نظرية بحتة، لا تتضمن تجارب بالمعنى التقليدي. يتم التحقق بشكل أساسي من خلال:

1. الإثبات النظري: الاستقراء الرياضي والهويات الجبرية
2. أمثلة محددة: توفر الورقة بعض أمثلة الثلاثيات المحددة

التحقق من الأمثلة

الأمثلة المذكورة في الملاحظات في نهاية الورقة:

• ثلاثيات ديوفانتين الكلاسيكية: {$T_1, T_{15}, T_{90}$} و {$T_2, T_{15}, T_{153}$}
• ثلاثيات $D(9)$: {$T_1, T_{63}, T_{370}$}

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

نتائج التجربة

النتائج النظرية

النظرية الرئيسية (النظرية 1): لأي عدد صحيح موجب $m$ و $n$، العدد المثلثي $T_n$ هو عضو في عدد لا نهائي من ثلاثيات $D(m^2)$ المكونة من أعداد مثلثية.

فعالية البناء

يتم التحقق من صحة البناء من خلال الخطوات التالية:

1. الحالة الأساسية ($k=1$):
   • الثلاثية {$T_{N_0}, T_{N_1}, T_{N_2}$} = {$T_n, T_{n+4m}, T_{8r_1}$} تحقق خاصية $D(m^2)$
   • تم التحقق من شروط الضرب الثلاثة
2. الخطوة العودية:
   • أثبت أنه إذا كانت {$T_{N_0}, T_{N_k}, T_{N_{k+1}}$} ثلاثية $D(m^2)$
   • فإن {$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$} هي أيضاً ثلاثية $D(m^2)$
3. التحقق الصريح:
   • تم التحقق من الصيغ (5) و (6) من خلال استبدال الصيغ الصريحة
   • يعتمد هذا التحقق على العلاقة الخاصة بين $\alpha$ و $\beta$ ($\beta = \alpha^{-1}$)

الاكتشافات المهمة

1. اللانهائية: من عدد مثلثي أولي واحد $T_n$ يمكن إنتاج عدد لا نهائي من ثلاثيات $D(m^2)$ التي تحتويه
2. عدم التفرد: تشير الملاحظات إلى أن عائلة الثلاثيات المُنتجة من البناء ليست فريدة. على سبيل المثال:
   • $T_{n+4m}$ نفسه يمكن أن يكون نقطة بداية لإنتاج عائلة ثلاثيات أخرى
   • توجد ثلاثيات لا يمكن الحصول عليها من أي من هذه البناءات
3. الخصائص الهيكلية: جميع الثلاثيات المُنتجة تحافظ على العنصر الأول $T_{N_0} = T_n$ ثابتاً، بينما يتغير العنصران الآخران مع $k$

الأعمال ذات الصلة

النظرية العامة لـ $m$-العناصر الديوفانتية

1. نتائج الوجود:
   • He, Togbé, Ziegler (2019): أثبتوا عدم وجود خماسيات $D(1)$
   • Bliznac Trebješanin & Filipin (2019): أثبتوا عدم وجود خماسيات $D(4)$
   • Bonciocat, Cipu & Mignotte (2022): أثبتوا عدم وجود رباعيات $D(-1)$
2. مجموعات ديوفانتين في متتاليات خاصة:
   • Dujella (1993): عدد رباعيات $D(1), D(4), D(9), D(64)$ تحتوي على أعداد فيبوناتشي
   • Fujita & Luca (2018): أثبتوا عدم وجود رباعي ديوفانتي مكون بالكامل من أعداد فيبوناتشي

الخصائص الديوفانتية للأعداد المثلثية

1. Deshpande (1998): أثبت أن {8, $T_n$, $T_{n+4}$, $T_{4n^2+20n+8}$} هي رباعي ديوفانتي
   • النتيجة: {$T_n$, $T_{n+4}$, $T_{4n^2+20n+8}$} هي ثلاثية ديوفانتية من الأعداد المثلثية
2. الشكل العام المعروف:
   • لأي عدد صحيح موجب $m$ و $n$، {$T_n$, $T_{n+m}$, $T_{4(n^2+(4m+1)n+2m)}$} هي ثلاثية $D(m^2)$
   • يعطي هذا ثلاثية واحدة فقط، وليس عائلة لا نهائية
3. Hamtat (2025): ورقة مسودة تبحث أيضاً في ثلاثيات ديوفانتين من الأعداد المثلثية

موضع مساهمة هذه الورقة

التقدم الرئيسي للورقة مقارنة بالأعمال الموجودة:

1. من الفرد إلى اللانهائي: النتائج الموجودة تعطي ثلاثيات معزولة فقط، هذه الورقة توفر طريقة منهجية لإنتاج عائلات لا نهائية
2. البناء العودي: تقدم إطار عودي يسمح بإنتاج أي عدد من الثلاثيات من زوج أولي
3. الصيغ الصريحة: توفر تعبيرات مغلقة للمتتاليات العودية، مما يسهل التحليل النظري والحساب
4. العنصر الثابت: جميع الثلاثيات تشترك في نفس العدد المثلثي الأولي، وقد يكون لهذا معنى خاص في التطبيقات

الاستنتاجات والنقاش

الاستنتاجات الرئيسية

1. اكتمال البناء: لأي عدد صحيح موجب $m$ و $n$، البناء العودي الذي ينطلق من الزوج الأولي {$T_n, T_{n+4m}$} قادر على إنتاج عدد لا نهائي من ثلاثيات $D(m^2)$
2. الضمان النظري: من خلال إثبات رياضي صارم، يتم تأسيس صحة البناء، حيث يعتمد الإثبات على:
   • الخصائص الجبرية للأعداد المثلثية
   • حل المتتاليات العودية بشكل صريح
   • التحقق من الهويات الرئيسية
3. العمومية: تؤسس النظرية 1 أنه لجميع الأعداد الصحيحة الموجبة $m$ و $n$، العدد المثلثي $T_n$ ينتمي إلى عدد لا نهائي من ثلاثيات الأعداد المثلثية $D(m^2)$

القيود

1. عدم الاكتمال:
   • تشير الملاحظات بوضوح إلى وجود ثلاثيات $D(m^2)$ تحتوي على $T_n$ لا يمكن الحصول عليها من بناء هذه الورقة
   • على سبيل المثال {$T_1, T_{15}, T_{90}$}، {$T_2, T_{15}, T_{153}$} و {$T_1, T_{63}, T_{370}$}
   • يشير هذا إلى احتمال وجود طرق بناء أخرى أو إطار نظري أكثر عمومية
2. قيود الشكل المحدد:
   • البناء ينطبق فقط على الشكل $D(m^2)$ (يجب أن يكون $n$ مربعاً كاملاً)
   • بالنسبة لثلاثيات $D(n)$ العامة، الطريقة لا تنطبق مباشرة
3. اختيار الزوج الأولي:
   • البناء ينطلق من زوج أولي محدد {$T_n, T_{n+4m}$}
   • ما إذا كانت هناك أزواج أولية أخرى قادرة على إنتاج عائلات ثلاثيات مختلفة لم يتم استكشافه
4. التوسع إلى رباعيات:
   • تدرس الورقة فقط الثلاثيات، ما إذا كان يمكن توسيع البناء للحصول على رباعيات أو عناصر أعلى غير معروف
   • بالنظر إلى نتائج عدم الوجود المعروفة، قد يكون هذا صعباً جداً

الاتجاهات المستقبلية

على الرغم من أن الورقة لا تسرد بشكل صريح الأعمال المستقبلية، يمكن استنتاج الاتجاهات البحثية التالية:

1. مشكلة التصنيف الكامل:
   • توصيف جميع ثلاثيات $D(m^2)$ التي تحتوي على عدد مثلثي معطى $T_n$
   • تحديد أي الثلاثيات يمكن الحصول عليها من البناء العودي
2. شروط أولية أخرى:
   • استكشاف البناءات التي تنطلق من أزواج أولية مختلفة
   • دراسة العلاقات بين البناءات المختلفة
3. تعميم حالة $D(n)$ العامة:
   • توسيع الطريقة إلى حالات الأعداد غير المربعة الكاملة
   • البحث عن طرق حل جديدة لمعادلات ديوفانتين
4. إمكانية الرباعيات:
   • دراسة ما إذا كان يمكن التوسع من الثلاثيات إلى الرباعيات
   • تحت أي شروط يكون التوسع ممكناً
5. الجوانب الحسابية:
   • تطوير خوارزميات فعالة لإنتاج والتحقق من أعداد كبيرة من الثلاثيات
   • دراسة معدل النمو والخصائص النظرية للأعداد للمتتالية $\{N_k\}$

التقييم المتعمق

المزايا

1. الابتكار في الطريقة

• الإطار العودي: أول مرة يتم فيها توفير طريقة بناء عودية منهجية لثلاثيات ديوفانتين من الأعداد المثلثية
• الصيغ الصريحة: حل العلاقات العودية إلى شكل مغلق، يعكس رؤية جبرية عميقة
• المعالجة الموحدة: إطار واحد ينطبق على جميع الأعداد الصحيحة الموجبة $m$ و $n$

2. صرامة النظرية

• إثبات كامل: عملية الإثبات بالاستقراء صارمة، مع التحقق الجبري التفصيلي في كل خطوة
• الهويات الرئيسية: التحقق من الصيغ (5) و (6) هو جوهر الإثبات، تم تأكيده من خلال الصيغ الصريحة
• شروط الحدود: معالجة دقيقة للحالة الأولية والخطوة العودية

3. أهمية النتائج

• نظرية الوجود: النظرية 1 هي مساهمة نظرية مهمة في هذا المجال
• الانتقال من المحدود إلى اللانهائي: الانتقال من عدد محدود إلى عدد لا نهائي له معنى نظري
• القابلية للحساب: الصيغ الصريحة تجعل النتائج قابلة للتطبيق العملي

4. وضوح الكتابة

• البنية الواضحة: من الخلفية والبناء والإثبات إلى الاستنتاج، التدفق المنطقي سلس
• الاتساق في الرموز: استخدام الرموز الرياضية منظم واتساق
• الدافع الواضح: شرح واضح لخلفية البحث والمعنى

أوجه القصور

1. مشكلة الاكتمال

• الثلاثيات المفقودة: تعترف الملاحظات بوجود ثلاثيات لا يمكن الحصول عليها من البناء
• نقص التوصيف: لا يوجد توصيف كامل لأي الثلاثيات يمكن بناؤها
• البناءات الأخرى: لم يتم استكشاف طرق البناء الأخرى المحتملة

2. قيود القابلية للتعميم

• قيد $D(m^2)$: الطريقة تعتمد بشدة على الشكل الخاص $n = m^2$
• الزوج الأولي الثابت: يتم النظر فقط في زوج أولي محدد
• حد الثلاثيات: لم يتم مناقشة إمكانية التوسع إلى عناصر أعلى

3. الأمثلة والتطبيقات

• أمثلة قليلة: يتم ذكر بعض الأمثلة فقط في الملاحظات، بدون حسابات تفصيلية
• نقص التحقق الرقمي: لا توجد ثلاثيات محددة مع قيم $k$ معينة
• خلفية التطبيق ضعيفة: لم يتم شرح تطبيقات هذه النتائج في مشاكل رياضية أخرى

4. التفاصيل التقنية

• تصنيف الفردي والزوجي: يتم ذكر "من خلال النظر بعناية في ما إذا كان $k$ فردياً أو زوجياً" للحصول على صيغة $N_k$، لكن لا يتم إعطاء العملية التفصيلية
• عملية التحقق: يتم القول بأن الصيغ (5) و (6) "يمكن التحقق منها من خلال استبدال الصيغ الصريحة"، لكن لا يتم عرض الحسابات المحددة
• خصائص $\alpha$ و $\beta$: على الرغم من الإشارة إلى العلاقة الرئيسية، يمكن استكشاف معناها النظري للأعداد بشكل أعمق

التأثير

1. المساهمة في المجال

• التقدم النظري: توفير أدوات جديدة لدراسة الخصائص الديوفانتية للأعداد المثلثية
• المنهجية: قد تلهم فكرة البناء العودي دراسات متتاليات خاصة أخرى
• المشاكل المفتوحة: طرح مشاكل جديدة حول التصنيف الكامل

2. القيمة العملية

• أداة حسابية: يمكن استخدام الصيغ الصريحة لإنتاج أعداد كبيرة من الثلاثيات
• طريقة التحقق: يمكن استخدامها للتحقق من اكتمال البناءات الأخرى
• الأساس النظري: توفير أساس لدراسة عناصر أعلى

3. القابلية للتكرار

• قابلية التكرار النظرية عالية: خطوات الإثبات واضحة، يمكن التحقق المستقل
• القابلية للتحقيق الحسابي: يمكن برمجة الصيغ الصريحة مباشرة
• قابلية التحقق من الأمثلة: يمكن التحقق من الأمثلة في الملاحظات يدوياً

4. القيود

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

السيناريوهات القابلة للتطبيق

1. البحث النظري:
   • دراسة الخصائص الديوفانتية للأعداد المثلثية
   • استكشاف البنية الجبرية للمتتاليات العودية
   • تحليل سلوك متتاليات خاصة في المجموعات الديوفانتية
2. نظرية الأعداد الحسابية:
   • إنتاج واختبار أعداد كبيرة من ثلاثيات ديوفانتين
   • التحقق من حالات خاصة من تخمينات نظرية الأعداد
   • البحث عن أمثلة مضادة أو أنماط
3. التطبيقات التعليمية:
   • توضيح تطبيق الطرق العودية في نظرية الأعداد
   • شرح تقنيات حل الصيغ الصريحة
   • عرض استخدام الاستقراء الرياضي
4. أساس للبحث الإضافي:
   • نقطة انطلاق لدراسة مجموعات ديوفانتين أكثر عمومية
   • استكشاف الخصائص المماثلة للأعداد الشكلية الأخرى (مثل الأعداد الخماسية والسادسة)
   • دراسة طرق حل جديدة لمعادلات ديوفانتين

المراجع

تستشهد الورقة بـ 8 مراجع رئيسية، تشمل بشكل أساسي:

1. Bliznac Trebješanin & Filipin (2019): عدم وجود خماسيات $D(4)$
2. Bonciocat, Cipu & Mignotte (2022): عدم وجود رباعيات $D(-1)$
3. Deshpande (1998): خاصية للأعداد المثلثية (نقطة انطلاق بناء هذه الورقة)
4. Dujella (1993, 2024): تعميم مشاكل ديوفانتين والمسح الشامل
5. Fujita & Luca (2018): عدم وجود رباعيات ديوفانتين من أعداد فيبوناتشي
6. Hamtat (2025): ثلاثيات ديوفانتين من الأعداد المثلثية (ورقة مسودة ذات صلة)
7. He, Togbé & Ziegler (2019): عدم وجود خماسيات $D(1)$

تشكل هذه المراجع المراجع الأساسية لبحث $m$-العناصر الديوفانتية، خاصة أعمال Dujella التي توفر مسحاً شاملاً للمجال.

الملخص

حققت هذه الورقة تقدماً مهماً في دراسة الخصائص الديوفانتية للأعداد المثلثية، حيث قدمت طريقة بناء عودية أنيقة، وأثبتت أن كل عدد مثلثي ينتمي إلى عدد لا نهائي من ثلاثيات $D(m^2)$. تكمن المزايا الرئيسية للورقة في منهجية الطريقة وصرامة النظرية، حيث تحول العلاقات العودية إلى صيغ مغلقة قابلة للحساب من خلال الصيغ الصريحة. ومع ذلك، يشير عدم اكتمال البناء إلى أن المشكلة لا تزال تستحق دراسة متعمقة. هذه ورقة نظرية أعداد متينة توفر أدوات نظرية قيمة واتجاهات بحثية جديدة لهذا المجال.