ثلاث مقالات حول صيغ ماكين

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

• معرّف الورقة: 2302.00154
• العنوان: Three essays on Machin's type formulas
• المؤلفون: Armengol Gasull (Universitat Autònoma de Barcelona)، Florian Luca (Wits University & UNAM)، Juan L. Varona (Universidad de La Rioja)
• التصنيف: math.NT (نظرية الأعداد)
• المجلة المنشورة: Indagationes Mathematicae (قيد النشر)
• رابط الورقة: https://arxiv.org/abs/2302.00154

الملخص

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

السياق البحثي والدافع

الخلفية التاريخية

تعود صيغ ماكين إلى الهوية التي اكتشفها جون ماكين عام 1706: $4 \arctan\frac{1}{5} - \arctan\frac{1}{239} = \frac{\pi}{4}$

بالاقتران مع تطور سلسلة الظل العكسي التي اكتشفها غريغوري عام 1671: $\arctan x = \sum_{m=0}^{\infty} \frac{(-1)^m}{2m+1} x^{2m+1}, |x| < 1$

استخدم ماكين هذه الصيغة لحساب 100 منزلة عشرية من π.

دافع البحث

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

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

• عدد محدود من صيغ ماكين المعروفة
• نقص في الطرق المنهجية للبناء
• بحث غير كافٍ عن الصيغ ذات الأشكال الخاصة (مثل تلك التي تتضمن قوى العدد 2)
• وجود حذف في البحث السابق حول النسبة الذهبية

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

1. التصنيف الكامل لصيغ ماكين ذات الحدين المتعلقة بـ 2-الأعداد الصحيحة: تقديم 10 حلول متفرقة و2 عائلة معاملات
2. اقتراح طريقة "آلة صيغ ماكين": القدرة على توليد صيغ ماكين ذات $N$ حد بشكل منهجي
3. إثبات وجود صيغ ماكين ذات حدين بمقياس ليهمر صغير بشكل تعسفي: توفير إثبات بناء
4. تصحيح وتحسين تصنيف صيغ ماكين لقوى النسبة الذهبية: اكتشاف 16 هوية مختلفة بشكل جوهري

شرح الطرق

المسألة الأولى: صيغ ماكين 2-الأعداد الصحيحة

تعريف المهمة

البحث عن جميع الحلول من الشكل: $x_1 \arctan(z_1) + x_2 \arctan(z_2) = \frac{\pi}{4}$ حيث $x_1, x_2 \in \mathbb{Q}$، و $z_k \in (0,1)$ و $z_k = 2^{a_k}/b_k$ أو $b_k/2^{a_k}$.

التقنية الأساسية

باستخدام التمثيل المعقد، يتم تحويل المسألة إلى: $(1 + iz_1)^{12u_1}(1 + iz_2)^{12|u_2|} = (1 - iz_1)^{12u_1}(1 - iz_2)^{12|u_2|}$

من خلال تحليل تحليل الأعداد الصحيحة الغاوسية، بالاقتران مع حلول معادلات ديوفانتين المعروفة:

• $x^2 + 1 = 2y^n$
• $x^2 + 2^a = y^n$

المسألة الثانية: آلة صيغ ماكين

الفكرة الأساسية

تعريف الدوال النسبية $R_j(n,x)$ ($j = 0,1,2,3$)، بحيث: $\frac{d}{dx}\arctan(R_j(n,x)) = \frac{n}{1+x^2}$

تعريف الدوال

بناءً على صيغة ديموافر، يتم تعريف: $R_j(n,x) = \tan(n\arctan(x) + j\pi/4)$

التعبيرات المحددة:

• $R_0(n,x) = \frac{\text{numer}_n(x)}{\text{denom}_n(x)}$
• $R_1(n,x) = \frac{\text{denom}_n(x) + \text{numer}_n(x)}{\text{denom}_n(x) - \text{numer}_n(x)}$
• $R_2(n,x) = -\frac{1}{R_0(n,x)}$
• $R_3(n,x) = -\frac{1}{R_1(n,x)}$

النظرية الرئيسية

بالنسبة للأعداد الصحيحة التي تحقق $\sum_{k=1}^N r_k = 0$، لدينا: $\sum_{k=1}^N \frac{r_k}{n_k} \arctan(R_{j_k}(n_k, x)) = \frac{r}{s}\pi$

المسألة الثالثة: صيغ النسبة الذهبية

وصف المسألة

تصنيف جميع الصيغ من الشكل: $x_1 \arctan(\phi^{a_1}) + x_2 \arctan(\phi^{a_2}) = \frac{\pi}{4}$ حيث $\phi = \frac{1+\sqrt{5}}{2}$ هي النسبة الذهبية.

الطريقة التقنية

من خلال تحليل معايير العناصر في $K = \mathbb{Q}(i,\sqrt{5})$ وتحليل العوامل الأولية، باستخدام نظرية العوامل الأولية الأساسية لأعداد فيبوناتشي ولوكاس.

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

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

النظرية 1: صيغ ماكين 2-الأعداد الصحيحة

اكتشاف 10 حلول متفرقة و2 عائلة معاملات:

أمثلة على الحلول المتفرقة:

• $(-1, \frac{1}{239}, 4, \frac{1}{5})$ (صيغة ماكين الكلاسيكية)
• $(1, \frac{1}{41}, 2, \frac{2}{5})$

عائلات المعاملات:

• $(1, \frac{1}{2^{a^2}+1}, 1, \frac{2^{a^2}}{2^{a^2}+1})$
• $(1, \frac{1}{2^{a^2}-1}, 1, \frac{2^{a^2}-1}{2^{a^2}})$

النظرية 3: صيغ مقياس ليهمر الصغير

إثبات أنه لأي $\varepsilon > 0$، توجد صيغة ماكين: $n \arctan\frac{1}{b_1} - \arctan\frac{a_2}{b_2} = \frac{\pi}{4}$ بمقياس ليهمر أقل من $\varepsilon$.

يعتمد الإثبات البناء على متقاربات الكسر المستمر لـ π، مع النتائج المحددة في الجدول 1 والجدول 2.

أمثلة عددية محددة

يعرض الجدول 1 صيغاً بناءً على متقاربات الكسر المستمر لـ π، مع انخفاض مقياس ليهمر من 0.901429 إلى 0.172125.

يعرض الجدول 2 صيغاً بناءً على $2^m$، حيث يصل الحد الأدنى لمقياس ليهمر إلى 0.199544.

صيغ النسبة الذهبية

اكتشاف 16 هوية مختلفة بشكل جوهري، بما في ذلك:

• $\frac{\pi}{4} = \frac{1}{3}\arctan(\phi^3) + \frac{1}{3}\arctan(\phi)$
• $\frac{\pi}{4} = -\frac{1}{2}\arctan(\phi^5) + \frac{3}{2}\arctan(\phi)$

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

التطور التاريخي

• Störmer (1895): إثبات أن الصيغ من الشكل $x_1\arctan(1/m_1) + x_2\arctan(1/m_2) = \pi/4$ تقتصر على 4 صيغ فقط
• Lehmer (1938): اقتراح مقياس ليهمر كمقياس للكفاءة الحسابية
• التطور الحديث: خوارزميات مثل خوارزمية تشودنوفسكي لحساب π بشكل أسرع

البحث ذو الصلة

تعمل "آلة صيغ ماكين" في هذه الورقة على توسيع النتائج في 4، التي استخدمت العلاقات العودية لمتعددات ريديي للحصول على حالات خاصة من دالة $R_3(n,x)$.

الخلاصة والمناقشة

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

1. حل كامل لمسألة تصنيف صيغ ماكين ذات الحدين المتعلقة بـ 2-الأعداد الصحيحة
2. توفير طريقة منهجية عامة لبناء صيغ ماكين
3. إثبات إمكانية بناء صيغ بمقياس ليهمر صغير بشكل تعسفي
4. تصحيح وتحسين تصنيف الصيغ المتعلقة بالنسبة الذهبية

القيود

1. بالنسبة للحالات التي $N > 2$، قد لا تغطي الطريقة جميع الصيغ المعروفة
2. على الرغم من القدرة على بناء صيغ بمقياس ليهمر صغير، فإن عدد أرقام البسط والمقام كبير جداً، وتتطلب الكفاءة الحسابية الفعلية موازنة
3. يتمتع حساب π الحديث بخوارزميات أكثر كفاءة (مثل خوارزمية تشودنوفسكي)، والقيمة العملية لصيغ ماكين محدودة

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

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

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

المزايا

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

النقاط التقنية البارزة

1. التعقيد المعقد الماهر: تحويل المسائل الحقيقية إلى مسائل جبرية في المجال المعقد
2. تطبيق معادلات ديوفانتين: الاستخدام الفعال لحلول معادلات ديوفانتين المعروفة
3. تطبيق نظرية الكسور المستمرة: استخدام خصائص الكسر المستمر لـ π لبناء صيغ بمقياس ليهمر صغير

أوجه القصور

1. القيمة العملية محدودة: في حساب π عالي الدقة الحديث، لا تتمتع هذه الصيغ بميزة واضحة
2. مسألة التعقيد: الصيغ المبنية بمقياس ليهمر صغير تتضمن أعداداً صحيحة بأرقام كثيرة جداً
3. قابلية التعميم: تطبيق الطريقة على حالات أكثر عمومية محدود

التأثير

1. المساهمة النظرية: توفير إطار منهجي لنظرية صيغ ماكين
2. الرياضيات الحسابية: توفير أدوات جديدة لدراسة هويات الدوال الخاصة
3. تطبيقات نظرية الأعداد: إظهار قوة طرق نظرية الأعداد الجبرية في المسائل المحددة

المراجع

تستشهد الورقة بـ 24 مرجعاً مهماً، تغطي الأعمال الكلاسيكية من ماكين (1706) وغريغوري (1671) إلى البحث الحديث ذي الصلة، خاصة الأعمال الأساسية لـ Störmer و Lehmer وآخرين في هذا المجال.