A fixed-point iteration method for the number Pi with arbitrary odd order of convergence based on the sine function

إليك ملخص تقني مفصل للورقة البحثية بعنوان "طريقة التكرار ذو النقطة الثابتة لحساب عدد $\pi$ برتبة تقارب فردية اختيارية بناءً على دالة الجيب" للباحث ألويس شيسل (Alois Schiessl).

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

تتناول الورقة البحثية تحدي حساب الثابت الرياضي $\pi$ بدقة عالية. وبينما توجد خوارزميات عديدة (مثل خوارزمية تشودنوفسكي، وصيغ ماشين الشبيهة)، يقترح هذا العمل طريقة تكرار نقطة ثابتة مبتكرة قادرة على تحقيق رتبة تقارب فردية اختيارية. الهدف هو بناء مخطط تكراري بسيط يعتمد على دالة الجيب (sine) يسمح بالتقارب السريع نحو $\pi$ دون الحاجة إلى سلاسل معقدة أو حسابات معيارية (modular arithmetic) في كل خطوة، شريطة توفر تخمين أولي قريب بما يكفي.

2. المنهجية

الدالة الجوهرية

يعرّف المؤلف دالة نقطة ثابتة $S(x)$ مُعلمة بعدد صحيح $P \in \mathbb{N}$. يتم بناء الدالة عن طريق قطع متسلسلة القوى لـ $\arcsin(t)$ وتعويض $t = \sin(x)$.

تُعرف الدالة كما يلي:
$$S(x) = x + \sum_{k=1}^{P} \left( \prod_{\ell=1}^{k-1} \frac{2\ell-1}{2\ell} \right) \frac{\sin(x)^{2k-1}}{2k-1}$$

قاعدة التكرار هي:
$$x_{n+1} = S(x_n)$$

الأساس النظري

تعتمد الطريقة على متسلسلة تايلور لـ $\arcsin(t)$:
$$\arcsin(t) = \sum_{k=1}^{\infty} \left( \prod_{\ell=1}^{k-1} \frac{2\ell-1}{2\ell} \right) \frac{t^{2k-1}}{2k-1}$$
من خلال وضع $t = \sin(x)$، فإن المتسلسلة اللانهائية تساوي نظرياً $x$ (عندما يكون $x$ قريباً من $\pi$ حيث تكون $\sin(x)$ صغيرة). تقوم الورقة بقطع هذه المتسلسلة عند $P$ من الحدود لإنشاء متعدد حدود منتهي في $\sin(x)$ يُضاف إلى $x$.

الإثبات الرياضي

تقدم الورقة إثباتاً صارماً لثلاث خصائص رئيسية:

1. النقطة الثابتة: $S(\pi) = \pi$ لأن $\sin(\pi) = 0$، مما يؤدي إلى تلاشي جميع حدود الجمع.
2. تلاشي المشتقات: يثبت المؤلف أن أول $2P$ من مشتقات $S(x)$ عند $x=\pi$ هي صفر ($S^{(k)}(\pi) = 0$ لـ $1 \le k \le 2P$). ويتم تحقيق ذلك من خلال التفاضل الدقيق وتطبيق قاعدة ليبنيز على الحد $\sin(x)^{2P-1}$.
3. رتبة التقارب: المشتقة رقم $(2P+1)$ عند $\pi$ غير صفرية. وتحديداً:
   $$S^{(2P+1)}(\pi) = \left( \prod_{\ell=1}^{P} (2\ell-1) \right)^2$$
   وفقاً لنظرية تكرار النقطة الثابتة، إذا كانت أول $m-1$ من المشتقات عند النقطة الثابتة تساوي صفراً والمشتقة $m$ غير صفرية، فإن رتبة التقارب هي $m$. وبناءً عليه، فإن رتبة التقارب هي $2P + 1$ تماماً.

استراتيجيات التحسين

للحساب عالي الدقة من الناحية العملية، يقترح المؤلف ثلاثة تحسينات:

1. تخمين أولي عالي الدقة: البدء بـ $x_0$ دقيق بالفعل حتى $\approx 18$ رقماً.
2. الحساب بدقة متغيرة: بما أن الطريقة ذاتية التصحيح، فإن التكرارات المبكرة لا تتطلب دقة كاملة. يتم زيادة الدقة العاملة (عدد الأرقام) هندسياً ($18 \times (2P+1)^n$) في كل خطوة لتتوافق مع الدقة المتزايدة للنتيجة، مما يوفر وقت الحساب.
3. الحساب المسبق للمعاملات: معاملات متعدد الحدود ثابتة ويمكن حسابها مسبقاً وتخزينها.

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

• تقارب فردي اختياري: تقدم الورقة إطاراً موحداً حيث يمكن ضبط رتبة التقارب لأي عدد فردي ($3, 5, 7, \dots$) ببساطة عن طريق زيادة المعلمة $P$.
• بساطة التنفيذ: على عكس بعض الطرق عالية الرتبة التي تتطلب تقريبات نسبية معقدة أو تقييمات متعددة لمتعددات الحدود، تعتمد هذه الطريقة فقط على دالة الجيب وحسابات متعدد الحدود البسيطة.
• الاشتقاق الصارم: توفر الورقة إثباتاً تحليلياً كاملاً لرتبة التقارب باستخدام متسلسلات تايلور وقاعدة ليبنيز، مما يميزها عن الطرق العددية التجريبية.
• الكفاءة العملية: يوضح حساب مليون رقم من $\pi$ في 6 تكرارات فقط باستخدام $P=4$ (تقارب من الرتبة التاسعة) مدى الكفاءة القصوى للطريقة عند دمجها مع الحساب بدقة متغيرة.

4. النتائج

أجرى المؤلف اختبارات حوسبية باستخدام Maple 2025.2 على جهاز كمبيوتر شخصي قياسي (AMD Ryzen 5 5600G).

• الحالة 1 ($P=1$، الرتبة الثالثة):

  • البدء من $x_0 = 3$.
  • بعد 7 تكرارات، حققت النتيجة أكثر من 900 رقم عشري صحيح.
  • اتبع تقليل الخطأ نمطاً تكعيبياً ($10^{-11} \to 10^{-34} \to 10^{-100}$).

• الحالة 2 ($P=4$، الرتبة التاسعة):

  • الهدف: 1,000,000 رقم.
  • البدء من $x_0 \approx 3.14159...$ (18 رقماً).
  • استخدام الدقة المتغيرة (البدء بـ 162 رقماً، ثم التصعيد).
  • النتيجة: تحقيق أكثر من 1,059,070 رقماً صحيحاً في 6 تكرارات فقط.
  • زاد أس الخطأ بعامل قدره 9 تقريباً في كل خطوة، مما أكد تقارب الرتبة التاسعة النظري.

5. الأهمية

تقدم هذه الورقة طريقة أنيقة رياضياً وفعالة حوسبياً لحساب $\pi$ بدقة عالية.

• القيمة النظرية: توضح كيف يؤدي قطع متسلسلة $\arcsin$ إلى إنشاء تكرار نقطة ثابتة قوي وقابل للتحكم في رتبة التقارب.
• القيمة العملية: هذه الطريقة مناسبة جداً لمكتبات الحساب بدقة اختيارية. ومن خلال الجمع بين مخطط عالي الرتبة ($P \ge 4$) واستراتيجيات "مضاعفة" (أو في هذه الحالة ضرب الدقة في $2P+1$) الدقة، يتم تقليل تكلفة تقييمات دالة الجيب المكلفة عالية الدقة.
• سهولة الوصول: الخوارزمية سهلة التنفيذ نسبياً مقارنة بالخوارزميات الأخرى فائقة السرعة (مثل خوارزمية تشودنوفسكي التي تتضمن عمليات أس معيارية معقدة)، مما يجعلها مرشحاً قوياً للأغراض التعليمية أو تطبيقات الدقة العالية المحددة حيث تتوفر دوال الجيب بسهولة.

ملاحظة حول السياق: تاريخ الورقة هو 14 مارس 2026 (يوم $\pi$)، مما يشير إلى أنها ورقة بحثية مؤرخة مستقبلياً أو افتراضية مخصصة للاحتفال بـ "يوم $\pi$"، رغم أن المحتوى الرياضي مقدم كاشتقاق صارم.