ما الذي تقوم به هذه الحاسبة
هذه أداة بحث ترفيهية في نظرية الأعداد مستوحاة من مبرهنة فيرما الأخيرة. تنص مبرهنة فيرما على أنه لكل عدد صحيح n ≥ 3 لا توجد أعداد صحيحة موجبة X و Y و Z تحقق \(X^n + Y^n = Z^n\). تعمم هذه الأداة الطرف الأيسر ليصبح مجموع n من القوى النونية المتتالية، وتختبر الفرضية التالية: لا توجد أعداد طبيعية a و b بحيث يساوي مجموع n من القوى النونية المتتالية بدءًا من a القيمةَ \(b^n\)، وذلك عندما يكون n ≥ 4. ولكل أُسّ n ضمن النطاق الذي تحدده، تبحث الأداة في كل قاعدة ابتدائية a ضمن نطاقك، وتُبلّغ عن أي زوج (a، b) تعثر عليه، أو تطبع "--" عند عدم وجود أي حل في تلك النافذة.
كيفية الاستخدام
أدخل أصغر وأكبر قيمة للأُسّ n المراد اختباره (n ≥ 2)، وأصغر وأكبر قيمة للقاعدة الابتدائية a المراد اختبارها (a ≥ 1). تمر الأداة على كل قيمة n، ولكل قيمة a تحسب \(S = a^n + (a+1)^n + \ldots + (a+n-1)^n\)، ثم تجد الجذر النوني الصحيح للقيمة S، وتتحقق منه بدقة باستخدام حسابات الأعداد الصحيحة الكبيرة. لاحظ أن البحث في نطاقات واسعة بطيء، لأن قيمة S تنمو بسرعة هائلة.
شرح الصيغة
المعادلة هي $$\sum_{j=0}^{n-1}\left(a+j\right)^{n} = b^{n}, \qquad \begin{aligned} n &\in \left[\text{n Start},\, \text{n End}\right] \\ a &\in \left[\text{a Start},\, \text{a End}\right] \end{aligned}$$ ولتفادي النتائج الإيجابية الزائفة الناجمة عن الفاصلة العائمة، تحسب الأداة قيمة S كعدد صحيح كبير دقيق، ثم تستنتج جذرًا مرشحًا b عبر التنصيف، ثم تعيد اختبار b-1 و b و b+1 بالفحص الدقيق \(b^n == S\). توجد حلول معروفة لقيم n الصغيرة: عند n = 2 نجد \(3^2 + 4^2 = 5^2\) و \(20^2 + 21^2 = 29^2\)؛ وعند n = 3 نجد \(3^3 + 4^3 + 5^3 = 6^3\).
مثال محلول
اضبط nStart = 3، nEnd = 3، aStart = 1، aEnd = 10. عند a = 3: $$S = 27 + 64 + 125 = 216$$ والجذر التكعيبي الصحيح للعدد 216 هو 6 حيث \(6^3 = 216\). تسجّل الأداة n = 3 → a = 3، b = 6.
الأسئلة الشائعة
هل يُثبت هذا صحة الفرضية؟ لا. فهي تبحث فقط ضمن نافذة محدودة عن أمثلة مضادة؛ وعدم العثور على أي مثال لا يُعدّ برهانًا.
لماذا تسمح بالقيمتين n = 2 و n = 3؟ لأن هاتين الحالتين لهما حلول معروفة، فيمكن للأداة عرضها، رغم أن ادعاء انعدام الحل يستهدف فقط القيم n ≥ 4.
لماذا قد تتوقف الأداة بسبب انتهاء المهلة؟ ينمو المجموع تقريبًا بمعدل \(n \cdot (a + n)^n\)، لذا فإن النطاقات الكبيرة تولّد أعدادًا ضخمة؛ احرص على إبقاء النطاقات معتدلة.
