The irrationality measure of {\pi} is at most 7.101862832357
من خلال إدخال أُسَّيْ بَسْطٍ مستقلين في تكامل زيلبيرج-زوديلين وتخصيصهما لتصبح A1=A2=27851857، يضع المؤلف حداً علوياً جديداً يبلغ تقريباً 7.10186 لدرجة عدم عقلانية π، محققاً بذلك تحسناً عن الرقم القياسي السابق بأكثر من 0.00134.
في المشهد الشاسع للرياضيات، توجد أعداد لا يمكن كتابتها في شكل كسور بسيطة. تُسمى هذه الأعداد بالأعداد غير النسبية، وهي تشمل ثوابت مألوفة مثل الجذر التربيعي لـ 2، ونسبة محيط الدائرة إلى قطرها، المعروفة باسم "باي" (π). وبينما يمكننا حساب هذه الأعداد إلى تريليونات الخانات العشرية، يظل هناك سؤال أعمق: ما مدى جودة قدرتنا على تقريب هذه الأعداد باستخدام الكسور؟ يقيس الرياضيون هذه الصعوبة بمفهوم يسمى "مقياس عدم النسبية". فكر في هذا المقياس كجهاز قياس لمدى "عناد" العدد؛ حيث يعني الرقم المنخفض أن العدد يصعب خداعه بكسر بسيط، بينما يشير الرقم المرتفع إلى أنه من السهل تقريبه. لقرون، حاول الرياضيون تحديد الدرجة الدقيقة لـ "باي". نحن نعلم أنها لا تقل عن اثنين، لكن الحد الأعلى الدقيق كان هدفاً متحركاً، حيث وضعت أفضل الجهود السابقة حدها عند ما فوق السبعة بقليل.
لقد دفع بحث حديث أجراه "يوفي باي" (Yufei Bai) هذا الحد إلى الأمام، حيث أثبت أن مقياس عدم نسبية "باي" أقل تماماً من 7.101862832357. قد يبدو هذا تعديلاً طفيفاً، ولكن في عالم نظرية الأعداد عالية الدقة، يعد هذا قفزة كبيرة. يبني هذا البحث على طريقة متطورة طورها الرياضيان "دورون زيلبرجير" و"واديم زوديلين"، والتي تستخدم تكاملات معقدة — وهي في الأساس مساحات تحت خطوط منحنية في المستوى المركب — لتوليد تعبيرات رياضية خاصة. تعمل هذه التعبيرات كاختبار: إذا تصرفت بطريقة معينة، فإنها تثبت أن "باي" لا يمكن تقريبه بسهولة شديدة بواسطة الكسور. كانت أفضل نتيجة سابقة باستخدام هذه الطريقة قد وضعت الحد عند 7.1032 تقريباً. يعمل عمل "باي" على تنقيح مكونات هذا الاختبار، من خلال ضبط القوى المحددة المستخدمة في صيغة التكامل لاستخراج نتيجة أفضل قليلاً.
يكمن جوهر الإنجاز في كيفية تعديل الباحث للمعلمات (parameters) الخاصة بالتكامل. تخيل التكامل كآلة لها قرصا تحكم يتحكمان في حساسيتها. كان العمل السابق قد ضبط هذين القرصين على وضع متوازن ومحدد. اكتشف "باي" أنه من خلال تدوير كلا القرصين إلى إعداد جديد ومحدد للغاية — حيث تكون القيم تقريباً 1857 مقسوماً على 2785 — تصبح الآلة أكثر كفاءة في اكتشاف الطبيعة الحقيقية لـ "باي". هذا التعديل ليس مجرد تخمين عشوائي؛ إذ يوضح البحث أن هذا الإعداد المحدد هو حد أدنى محلي لدالة الخطأ، مما يعني أن أي إزاحة صغيرة في أي اتجاه ستجعل النتيجة أسوأ. إنه تحسين دقيق ومحسوب داخل وادٍ رياضي ضيق.
لإثبات ذلك، يبني البحث تسلسلاً من التعبيرات القائمة على الأعداد الصحيحة التي تتضمن "باي". ثم يحلل الباحث قوتين متنافستين داخل هذه التعبيرات. قوة تجعل الأعداد تكبر مع تقدم التسلسل، بينما قوة أخرى تجعل التعبير بأكمله يتقلص نحو الصفر. الهدف هو إيجاد توازن يصبح فيه التعبير ضئيلاً للغاية دون أن تصبح الأعداد بداخله ضخمة بشكل مستحيل. ومن خلال التتبع الدقيق لنمو المقامات وتضاؤل التكامل، يضع البحث متباينة صارمة. وتظهر الرياضيات أنه بالنسبة للمعلمات المختارة، يتقلص التعبير بسرعة كافية لإثبات أن مقياس عدم نسبية "باي" لا يمكن أن يتجاوز العتبة الجديدة الأدنى.
الدراسة دقيقة ومكتفية بذاتها. فهي لا تعتمد على عمليات محاكاة الكمبيوتر لتخمين الإجابة، بل تستخدم الحساب الدقيق والاستنتاج المنطقي للتحقق من كل خطوة. يشير المؤلف صراحةً إلى أن هذه النتيجة هي تحسين محلي؛ فهي تثبت أن هذه النقطة المحددة أفضل من جيرانها المباشرين، لكنها لا تدعي أنها الإعداد الأفضل مطلقاً لكل زمان. علاوة على ذلك، تقر الورقة بالاستعانة بأدوات الذكاء الاصطناعي التوليدي في استكشاف المعلمات والتحقق من البراهين، مع التأكيد على أن الادعاءات الرياضية والنص النهائي هما مسؤولية المؤلف وحده. وتقف النتيجة كحد موثق وأكثر إحكاماً لمدى جودة تقريب "باي"، حيث خفضت السقف المعروف بجزء ضئيل من المئة تطلب دقة هائلة لإيجاده.
ملخص تقني: مقياس عدم عقلانية π لا يتجاوز 7.101862832357
1. بيان المشكلة تتناول الورقة البحثية تحديد مقياس عدم العقلانية لـ π، والذي يُرمز له بـ μ(π)، والمعرّف بأنه الحد الأدنى للأعداد الحقيقية μ بحيث تتحقق المتباينة ∣π−p/q∣>q−μ−ε لجميع الأعداد الصحيحة p ولجميع الأعداد الصحيحة الموجبة q الكبيرة بما يكفي. وبينما تظل القيمة الدقيقة غير معروفة، فإن الهدف هو وضع أضيق حد أعلى ممكن. الحالة الراهنة لأحدث ما توصل إليه العلم قبل هذا العمل تم إثباتها بواسطة زيلبرجير و زوديلين [5]، اللذين أثبتا أن μ(π)≤7.103205334137… باستخدام بناء تكامل محدد المعالم عبر مسار كونتور (contour integral) بمعلمات ثابتة.
2. المنهجية يقدم المؤلف تنقيحاً لتكامل زيلبرجير-زوديلين عن طريق إدراج أُسّين مستقلين للبسط، A1 و A2، في التكامل: IA1,A2(N)=−i∫4−2i4+2ixN+1(x−10)N+1(x−5)A1NQ0(x)A2Ndx حيث Q0(x)=(x−4+2i)(x−4−2i)(x−6+2i)(x−6−2i).
تتقدم المنهجية عبر أربع مراحل رئيسية:
البناء الحسابي: يتم تحويل التكامل عبر تغيير المتغيرات (t=x−5) إلى دالة نسبية Rn(t) مُتكاملة على قطعة رأسية. تشتق الورقة تفكيك الكسور الجزئية لـ Rn(t)، وتحدد المعاملات cj,n. ومن خلال تحليل قيم التقييم الـ p-adic لهذه المعاملات (تحديداً عند الأعداد الأولية 2 و 5)، يبني المؤلف صيغ خطية صحيحة MnJn=Un+Vnπ. ويعد "توفير العدد الأولي القابل للإزالة" مكوناً حرجاً، حيث يُظهر أن ناتج ضرب Φn لأعداد أولية محددة يقسم مقامات المعاملات، مما يقلل من معدل نمو المقام المُنقّى Mn.
التقدير التحليلي: تقدّر الورقة معدل نمو المعاملات VnومعدلاضمحلالالتكاملJ_n$.
يتم تحديد معدل نمو المعامل r باستخدام طريقة نقطة السرج ذات المعاملات الموجبة (Lemma 4.1) المطبقة على الدالة المولدة للمعاملات.
يتم تحديد معدل اضمحلال التكامل s عن طريق تشويه مسار التكامل إلى مسار يمر بنقطة سرج مركبة yc، مما يعظم دالة الطور F(y).
تحسين المعلمات: يُعرّف المؤلف دالة حد مساعدة صريحة B(α,β) (حيث α,β هي الأُسس المعيرة) تمثل تقدير مقياس عدم العقلانية الناتج. وتوضح الورقة أن نقطة زيلبرجير-زوديلين الأصلية ليست حداً أدنى محلياً لهذه الدالة ثنائية المعلمات. وقد حدد البحث ضمن "العائلة القطرية" (A1=A2) نقطة عقلانية محددة (A1,A2)=(1857/2785,1857/2785) تعطي حداً أدنى.
إثبات الأمثلية المحلية: تثبت الورقة أن هذه النقطة العقلانية المحددة هي حد أدنى محلي صارم ثنائي الأبعاد للدالة الحدية B(α,β) داخل الغرفة الحسابية المسموح بها. ويتم تحقيق ذلك من خلال اشتقاق صيغة تباين لوغاريتمي دقيقة لعنصر توفير الأعداد الأولية وتحليل المشتقات الاتجاهية عبر اثني عشر قطاعاً في فضاء المعلمات.
3. المساهمات والنتائج الرئيسية
الحد الأعلى الجديد: النتيجة الأساسية (Theorem 1.1) تثبت أن: μ(π)<7.101862832357 وهذا يحسن من حد زيلبرجير-زوديلين بأكثر من $0.001342501780،أيانخفاضاًبنسبةتقارب0.0189%$.
اختيار المعلمات: المعلمات المستخدمة هي (a,b,c)=(1857,3714,5570)، والتي تقابل الأُسس المعيرة (α∗,β∗)=(1857/5570,1857/2785).
الأمثلية المحلية: يثبت Theorem 1.2 و Theorem 6.3 أن نقطة المعلمة المختارة هي حد أدنى محلي صارم لدالة الحد المساعدة B(α,β). ويتضمن الإثبات تحليلاً دقيقاً للمشتقات الاتجاهية لعنصر توفير الأعداد الأولية ϕ(α,β)، مما يوضح أن أي تغيير طفيف في المعلمات يؤدي إلى زيادة الحد.
الحصر العددي الصارم: توفر الورقة حصورات عقلانية صريحة وصارمة لجميع الثوابت الوسيطة، بما في ذلك معدل توفير الأعداد الأولية ω، ومعدل نمو المعامل r، ومعدل اضمحلال التكامل s. وتتجنب هذه الحسابات افتراضات الفاصلة العائمة، مستخدمةً حسابات عقلانية دقيقة وحصور فترات للوغاريتمات وأعداد برنولي.
4. الأهمية والنطاق تدعي الورقة أهميتها في مجالين محددين:
التحسين الكمي: تقدم حداً أعلى جديداً لـ μ(π) يحسن من حد زيلبرجير-زوديلين، مما يثبت أن بناء المعلمات الثابتة يمكن تنقيحه بإدخال أُس ثانٍ مستقل.
الرؤية الهيكلية: تثبت أن النقطة القطرية المثلى سابقاً ليست أمثلية محلية للتشويه ثنائي المعلمات. يقدم العمل فهماً هندسياً وتحليلياً مفصلاً لـ "الغرفة الحسابية" حيث تُعرف هذه الحدود، مثبتاً أن النقطة الجديدة هي حد أدنى محلي بالمعنى الثنائي الأبعاد.
الأمثلية المحلية (Theorem 1.2) هي بيان محلي يتعلق بالدالة المساعدة المحددة B(α,β) داخل الغرفة المسموح بها. وهي لا تدعي الأمثلية العالمية على جميع البناءات الممكنة، أو جميع توفيرات المقام الممكنة، أو جميع المعلمات الموجبة.
التحسين خاص بعائلة التكاملات المحددة بالتشويه ثنائي الأُس، وهذا لا يعني أن مقياس عدم العقلانية الحقيقي لـ π قريب من هذا الحد، كما أنه لا يستبعد وجود حدود أفضل من إنشاءات مختلفة تماماً.
الإفصاح تشير الورقة إلى أن الذكاء الاصطناعي التوليدي (OpenAI's GPT-5.6 Sol و GPT-6 Astra) قد ساعد في استكشاف المعلمات، وتطوير البراهين، والحوسبة، وصياغة المخطوطة. ومع ذلك، يؤكد المؤلف مسؤوليته الكاملة عن جميع الادعاءات الرياضية والنص النهائي.