Binomial coefficients coprime to 6

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

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

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