The irrationality measure of arctan1/2 is at most 8.585166

في المشهد الشاسع للرياضيات، توجد أعداد يمكن كتابتها في صورة كسور بسيطة، مثل النصف أو ثلاثة أرباع، وأعداد أخرى لا يمكن ذلك. تُسمى هذه الأخيرة بالأعداد غير النسبية (الأعداد الصماء). وبينما نعلم وجود الكثير منها، مثل نسبة محيط الدائرة إلى قطرها، يبرز تساؤل أعمق: ما مدى "قرب" كسر ما من هذه الأعداد غير النسبية دون أن يكون هي نفسها؟ يقيس الرياضيون هذا القرب باستخدام مفهوم يُسمى "مقياس عدم النسبية". فكر في هذا المقياس كمسطرة تقيس مدى جودة تقريب عدد ما بواسطة الكسور؛ حيث يعني الرقم الأقل أن العدد غير النسبي يصعب خداعه بالكسور البسيطة، بينما يشير الرقم الأعلى إلى أنه من السهل تقريبه. إن فهم هذه المقاييس يساعد الرياضيين على رسم الهيكل الخفي للأعداد وتحديد حدود قدرتنا على حصر قيمها باستخدام القيم النسبية.

تتناول دراسة حديثة أجراها عالم الرياضيات "يوفي باي" هذا السؤال بالنسبة لعدد غير نسبي محدد ومألوف: الزاوية التي ظلّها هو نصف، وتُكتب هذه الزاوية غالبًا بـ "ظل التمام لنصف" (arctangent of one-half). تظهر هذه الزاوية في الهندسة وحساب المثلثات، لكن طبيعتها الدقيقة كعدد غير نسبي كانت موضوعًا للتحسين المستمر. لم يكن الهدف من هذا العمل إثبات أن العدد غير نسبي — فقد كان ذلك معروفًا بالفعل — بل كان تقليص الحد العلوي لمقياس عدم نسبته. ومن خلال وضع حد أكثر صرامة، يضيق البحث نطاق الاحتمالات لكيفية تقريب هذا العدد، مما يدفع بحدود الدقة الرياضية المعروفة.

ولتحقيق ذلك، قام الباحث بإنشاء سلسلة من الكائنات الرياضية المعقدة المعروفة باسم "التكاملات". هذه ليست مجرد مساحات بسيطة تحت منحنى، بل هي أدوات متخصصة للغاية مصممة للتفاعل مع العدد المحدد المعني. بدأت العملية بتعريف عائلة من هذه التكاملات، كل منها أكثر تعقيدًا من سابقه، وتتضمن كثيرات حدود ونطاقات حسابية محددة. ثم طبق الباحث "إزاحة" ذكية لمركز هذه الحسابات، حيث نقل التركيز إلى نقطة جديدة للكشف عن تناظرات خفية. سمح هذا التناظر بتفكيك التعبيرات المعقدة إلى أجزاء أبسط، تمامًا مثل فصل آلة معقدة إلى تروسها ونوابضها الفردية.

تضمن جوهر العمل تحليل "المعاملات"، أو اللبنات العددية التي ظهرت من تفكيك هذه التكاملات. أثبت الباحث أن هذه الأعداد، رغم أنها تبدو معقدة وتتضمن مكونات تخيلية، تمتلك في الواقع بنية محددة وصارمة للغاية. وقد برهن على أنه عندما تُضرب هذه الأعداد في عوامل مختارة بعناية، تكون النتائج دائمًا أعدادًا صحيحة. هذه الخاصية المتعلقة بـ "العدد الصحيح" أمر بالغ الأهمية لأنها تسمح للباحث بمعاملة هذه القيم المعقدة كما لو كانت أعدادًا صحيحة بسيطة لأغراض الحساب، مما يزيل الأجزاء الكسرية الفوضوية التي عادة ما تعقد مثل هذه المسائل.

بعد إثبات خصائص الأعداد الصحيحة هذه، فحص الباحث كيفية سلوك حجم هذه التكاملات مع زيادة تعقيد الحساب. وباستخدام طريقة تُعرف باسم "تقنية نقطة السرج" (saddle-point technique)، والتي تتضمن إيجاد النقاط الأكثر حرجًا في مشهد رياضي للتنبؤ بالسلوك العام، حسب الباحث معدل نمو أو تقلص هذه التكاملات. وكشف التحليل أن التكاملات تتقلص بمعدل سريع ومحدد للغاية، بينما تنمو المعاملات المرتبطة بالعدد غير النسبي بمعدل مختلف وأبطأ. ومن خلال مقارنة هذين المعدلين، استطاع الباحث تحديد القيمة القصوى الممكنة لمقياس عدم النسبية.

النتيجة النهائية لهذا التحليل الدقيق هي حد جديد وأكثر إحكامًا لمقياس عدم نسبية "ظل التمام لنصف". وتخلص الدراسة إلى أن هذا المقياس لا يتجاوز 8.585166. ويمثل هذا الرقم تحسينًا كبيرًا في فهمنا لخصائص هذا العدد. وهو لا يدعي إيجاد المقياس الدقيق، ولا يشير إلى أن العدد غير نسبي بأي شكل آخر. بدلاً من ذلك، فإنه يوفر سقفًا نهائيًا، مثبتًا أنه مهما بلغت شدة المحاولة، فإن مقياس عدم النسبية لا يمكن أن يتجاوز هذه القيمة المحددة. يضيف هذا الاكتشاف لبنة دقيقة إلى أساس نظرية الأعداد، مما يوفر صورة أوضح للتضاريس الرياضية المحيطة بهذا الثابت الأساسي.