Ratio of sum of digits functions in two bases

تخيل أنك محقق رقمي يحاول فك شفرة مخبأة داخل الأرقام. في عالم الرياضيات، يمكن كتابة كل رقم بلغات مختلفة تسمى "الأسس" (bases). الأساس الأكثر شيوعاً هو الأساس 10، حيث نستخدم الأرقام من 0 إلى 9. ولكن يمكنك أيضاً بكل بساية الكتابة في الأساس 2 (باستخدام 0 و1 فقط) أو الأساس 3 (باستخدام 0 و1 و2). فكر في الأساس كأنه مجموعة مختلفة من مكعبات البناء؛ في الأساس 10، يكون الرقم عبارة عن برج من المكعبات حيث يمثل كل مستوى قوة للعدد 10؛ وفي الأساس 2، يكون برجاً من قوى العدد 2.

تخيل أن لديك أداة خاصة تحسب القيمة الإجمالية لجميع المكعبات في برج الرقم. يطلق علماء الرياضيات على هذا اسم "مجموع الأرقام". إذا أخذت الرقم 19، ففي الأساس 10 هو $1 + 9 = 10$. ولكن إذا كتبت 19 في الأساس 2، فسيظهر كـ $10011_2$، ومجموع أرقامه هو $1+0+0+1+1 = 3$. السؤال الكبير الذي حير علماء الرياضيات لعقود هو: ماذا يحدث إذا قارنت هذه المجاميع عبر لغتين مختلفتين تماماً؟ إذا اخترت أساسين لا يتشاركان علاقة رياضية بسيطة (مثل 2 و3، أو 5 و7)، هل تتطابق مجاميع أرقامهما تماماً؟ هل يصلان يوماً إلى نسبة محددة، مثل أن يكون أحدهما ضعف الآخر تماماً؟ هذا ليس مجرد لعبة أرقام؛ بل يمس أسراراً عميقة حول كيفية تعايش العشوائية والنظام في الرياضيات، مما يساعدنا على فهم البنية الخفية لأبسط لبنات الكون.

هذه الورقة البحثية، التي كتبها باسكال جيلينيك، تغوص مباشرة في هذا الغموض. يثبت المؤلف قاعدة جديدة وقوية حول كيفية سلوك مجاميع هذه الأرقام عند الانتقال بين أساسين "مستقلين". قبل ذلك، كنا نعلم أن نسبة هذه المجاميع يمكن أن تقترب من أي عدد موجب بقدر ما نشاء، لكننا لم نكن نعرف ما إذا كان بإمكانها أن "تصيب" كل عدد نسبي (مثل 1/2، أو 3/4، أو 7/11) بدقة. يوضح جيلينيك أنها تفعل ذلك. في الواقع، لأي أساسين مستقلين ضربياً (بمعنى أن أحدهما ليس مجرد قوة للآخر، مثل 2 و4)، ولأي نسبة مستهدفة يمكنك تسميتها، هناك عدد لا نهائي من الأرقام حيث يكون مجموع أرقام الأساس الأول مقسوماً على مجموع أرقام الأساس الثاني مساوياً لتلك النسبة تماماً.

لا تكتفي الورقة بالقول "إن هذا يحدث" فحسب؛ بل تقدم برهاناً رياضياً صارماً على حدوث ذلك لمرات لا نهائية. بل إنها تقدم صيغة لتقدير عدد هذه الأرقام الموجودة تحت حجم معين، مما يوضح أنه رغم ندرتها، إلا أنها موجودة بالتأكيد. كما حل المؤلف الجانب الآخر من العملة: ماذا لو كانت الأسس مرتبطة، مثل الأساس 4 والأساس 16؟ في هذه الحالة، تثبت الورقة أن النسبة يمكن أن تقع فقط ضمن نطاق محدد ومحدود، وتصف بالضبط أي النسب ممكنة وأيها مستحيلة.

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

البرهان هو درس متقن في استخدام "المتواليات الحسابية". فكر في هذا كخط من الأرقام حيث تكون كل خطوة بنفس الحجم، مثل 5، 10، 15، 20. يوضح المؤلف أنه إذا اخترت نقطة البداية الصحيحة وحجم الخطوة الصحيح، فإن مجاميع الأرقام على طول ذلك الخط ستتصرف بطريقة يمكن التنبؤ بها، وبشكل يكاد يكون سحرياً. فهي تتوزع بالتساوي عبر جميع البواقي الممكنة، مما يسم يسمح للمؤلف بـ "ضبط" الأرقام حتى تصيب النسبة الهدف بدقة. هذا الأسلوب يوسع الأعمال السابقة التي حلت المشكلة لحالات محددة فقط (مثل الأساس 2 والأساس 3) إلى قاعدة عامة تعمل مع أي زوج من الأسس يمكنك تخيله.

في حالة الأسس المعتمدة (مثل الأساس 4 والأساس 16)، تعمل الورقة كحارس بوابة صارم. فهي تثبت أنه لا يمكنك تحقيق أي نسبة. على سبيل المثال، إذا كنت تقارن بين $b^k$ و $b^\ell$، فإن نسبة مجاميع الأرقام محصورة بين $1/(b^\ell - 1)$ و $b^k - 1$. يوضح المؤلف أن كل عدد نسبي داخل هذا الحصار يمكن تحقيقه لمرات لا نهائية، ولكن لا شيء خارج هذا النطاق ممكن. وهذا يعطينا خريطة كاملة للمنطقة: نحن الآن نعرف بالضبط أي النسب ممكنة وأيها محظورة، اعتماداً على العلاقة بين الأساسين.

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