Another inequality inspired by Erdős

कल्पना कीजिए कि आप संख्या सिद्धांत (Number Theory) के विशाल, शांत पुस्तकालय में काम करने वाले एक जासूस हैं, जो पूर्ण संख्याओं के छिपे हुए रहस्यों को समर्पित गणित की एक शाखा है। इस दुनिया में, संख्याएँ केवल सेब गिनने के उपकरण नहीं हैं; वे अपने स्वयं के व्यक्तित्व, संबंध और सख्त नियम वाले पात्र हैं। इस पुस्तकालय में सबसे प्रसिद्ध नियमों में से एक "बर्ट्रेंड पोस्टुलेट" (Bertrand Postulate) है, जो सदियों पुराना एक अवलोकन है कि यदि आप 6 से बड़ी कोई संख्या चुनते हैं, तो उसके ठीक नीचे के एक विशिष्ट पड़ोस में हमेशा कम से कम एक अभाज्य संख्या (एक ऐसी संख्या जो केवल 1 और स्वयं से विभाज्य है) छिपी होती है। लंबे समय तक, पॉल एर्दोस (Paul Erdős) जैसे दिग्गजों ने द्विपद गुणांकों (binomial coefficients - जो उन संख्याओं की तरह हैं जो वस्तुओं के संयोजन को गिनने पर प्राप्त होती हैं) का उपयोग करके इन नियमों को सिद्ध करने के लिए चतुर तरकीबें निकालीं। लेकिन कभी-कभी, सबसे दिलचस्प रहस्य बड़े, शोर मचाने वाले प्रमेय नहीं होते, बल्कि वे शांत, अजीब असमानताएं (inequalities) होती हैं जो उन प्रमाणों को सरल बनाने के प्रयास में सामने आती हैं। ये वे "अजीबोगरीब चीजें" (oddities) हैं जो गणितज्ञों को अपना सिर खुजलाने पर मजबूर कर देती हैं और सोचने पर मजबूर करती हैं, "क्या यह हमेशा सत्य होगा, या संख्याओं में कोई चालाक अपवाद छिपा हुआ है?"

यह शोध पत्र, जिसका शीर्षक "एर्दोस से प्रेरित एक अन्य असमानता" (Another Inequality Inspired by Erdős) है, उन अजीबोगरीब असमानताओं में से एक की गहराई से जांच करता है। इस शोध के लेखक, बारोरा बाटिकोवा (Barora Batíková), तोमाश जे. केपका (Tomáš J. Kepka), और पेट्र सी. नेमेक (Petr C. Němec), धनात्मक पूर्णांकों से संबंधित एक विशिष्ट गणितीय संबंध की जांच कर रहे हैं। वे प्रत्येक संख्या $n$ के लिए कुछ विशेष "पात्रों" को परिभाषित करते हैं: $z(n)$ का एक मान जो $2n$ में 3 कितनी बार फिट बैठता है उससे संबंधित है, $m(n)$ का एक मान जो $\sqrt{2n}$ से संबंधित है, और $r(n)$ का एक मान जो 2 की घातों (powers of 2) से संबंधित है। फिर वे इन सबको मिलाकर एक जटिल अभिव्यक्ति $y(n)$ बनाते हैं, और एक सरल प्रश्न पूछते हैं: क्या यह अभिव्यक्ति हमेशा ऋणात्मक होती है, हमेशा धनात्मक होती है, या यह बदलती रहती है? यह शोध पत्र यह सिद्ध करता है कि यह अभिव्यक्ति कभी भी ठीक शून्य नहीं होती (यह कभी भी रेखा पर नहीं आती), और यह स्पष्ट रूप से मानचित्रित करता है कि कौन सी संख्याएँ इसे ऋणात्मक बनाती हैं और कौन सी इसे धनात्मक। यह बिल्कुल वैसा ही है जैसे किसी बहुत लंबी सड़क के हर घर की जांच करना कि लाइट जल रही है या नहीं, यह पाते हुए कि हालांकि अधिकांश घर एक पैटर्न का पालन करते हैं, लेकिन कुछ विशिष्ट पतों पर लाइटें अलग व्यवहार करती हैं।

महान संख्या खोज (The Great Number Hunt)

कहानी अतीत की ओर एक नज़र के साथ शुरू होती है। 1845 में, जे. बर्ट्रेंड नामक एक गणितज्ञ ने एक साहसी अनुमान लगाया था: किसी भी संख्या $n$ के लिए जो 6 से बड़ी है, $n-2$ और $n^2$ के बीच हमेशा एक अभाज्य संख्या होती है। बाद में, पॉल एर्दोस, जो अपनी सुरुचिपूर्ण और सरल प्रमाणों के लिए जाने जाने वाले एक जीनियस थे, ने इस विचार के थोड़े अलग संस्करण को सिद्ध करने के लिए एक नया तरीका निकाला। ऐसा करते हुए, वे कुछ असामान्य असमानताओं से टकरा गए। इनमें से एक, $x(n)$ नामक मान से जुड़ी, पहले के एक शोध पत्र में इन्हीं लेखकों द्वारा अध्ययन की गई थी। उन्होंने पाया कि $x(n)$ आमतौर पर ऋणात्मक होता है, लेकिन यह कुछ चुनिंदा संख्याओं के लिए ठीक शून्य हो जाता है: 436, 451, 529, 545, और 546।

अब, लेखक एक "सहोदर" असमानता की ओर ध्यान आकर्षित करते हैं, जो पहली असमानता की ही एक संतान है, जिसे वे $y(n)$ कहते हैं। यह नई अभिव्यक्ति थोड़ी अधिक जटिल है, जिसमें 2 की घातों और $n$ की घातों का मिश्रण है। इस शोध का लक्ष्य एक पहेली को सुलझाना है: किन धनात्मक पूर्णांकों $n$ के लिए $y(n)$ शून्य से कम है? और, महत्वपूर्ण रूप से, क्या $y(n)$ कभी ठीक शून्य होता है?

दो-तरफा हमला (The Two-Pronged Attack)

इसे हल करने के लिए, लेखक दो अलग-अलग रणनीतियों का उपयोग करते हैं, जैसे एक जासूस आवर्धक लेंस (magnifying glass) और एक हाई-टेक स्कैनर दोनों का उपयोग करता है।

रणनीति 1: शुद्ध अंकगणितीय दृष्टिकोण (The Pure Arithmetic Approach)
सबसे पहले, वे "शुद्ध अंकगणित" का उपयोग करते हैं, जिसका अर्थ है कि वे कैलकुलस की चिकनी वक्र रेखाओं का उपयोग किए बिना केवल पूर्ण संख्याओं के नियमों का सख्ती से पालन करते हैं। वे अनंत संख्या रेखा को प्रबंधनीय खंडों में तोड़ देते हैं। वे महसूस करते हैं कि संख्याओं के कुछ विशेष श्रेणियों के लिए, $m(n)$ और $r(n)$ के मान समान रहते हैं। यह उन्हें अंतरालों (intervals) में समूह बनाने की अनुमति देता है।

वे इन अंतरालों का एक विशाल मानचित्र बनाते हैं। उदाहरण के लिए, वे 1 से 403 तक की संख्याओं को देखते हैं और प्रत्येक ब्लॉक में $y(n)$ के चिह्न की जांच करते हैं। वे पाते हैं कि छोटी संख्याओं (जैसे 1, 2, 3, 4) के लिए, $y(n)$ धनात्मक है। लेकिन $n=5$ से शुरू होकर, यह ऋणात्मक में बदल जाता है। यह एक लंबे अंतराल के लिए ऋणात्मक रहता है, लेकिन फिर, बिल्कुल एक रोलरकोस्टर की तरह, यह विशिष्ट खंडों में ऊपर-नीचे होता है।

घातों (powers) की सावधानीपूर्वक गणना और तुलना करके (जैसे यह जांचना कि क्या $2^{20}$, $3^{15}$ से बड़ी है), वे सिद्ध करते हैं कि $y(n)$ विशिष्ट श्रेणियों के लिए ऋणात्मक है:

• 5 से लेकर 335 तक।
• 338 से लेकर 350 तक।
• 365 से लेकर 368 तक।

वे यह भी सिद्ध करते हैं कि $y(n)$ कभी भी शून्य नहीं होता है। यह एक सख्त "या तो/या" वाली स्थिति है; संख्या या तो धनात्मक होती है या ऋणात्मक, वह कभी भी बाड़ (fence) पर नहीं बैठती। अन्य सभी संख्याओं (1 से 4 तक, और फिर 336, 337, 351 से 364 तक, और 369 से ऊपर की सभी संख्याओं के लिए) के लिए, मान धनात्मक होता है।

रणनीति 2: कैलकुलस दृष्टिकोण (The Calculus Approach)
अपने काम की दोबारा जांच करने और यह दिखाने के लिए कि उनके परिणाम निरंतर गणित (continuous mathematics) के लेंस से देखे जाने पर भी कायम रहते हैं, लेखक प्राथमिक कैलकुलस का उपयोग करते हैं। वे एक चिकनी, लहरदार फलन (function) $F(x)$ का आविष्कार करते हैं जो उनकी असतत (discrete) पूर्णांक समस्या के व्यवहार की नकल करता है।

वे इस वक्र (curve) के आकार का विश्लेषण करते हैं। वे दिखाते हैं कि वक्र अंततः ऊपर की ओर चढ़ना शुरू कर देता है। यह पता लगाकर कि वक्र कहाँ "शून्य रेखा" (x-अक्ष) को पार करता है, वे भविष्यवाणी कर सकते हैं कि उनके पूर्णांक मान $y(n)$ कहाँ धनात्मक या ऋणात्मक होंगे।

• वे सिद्ध करते हैं कि यदि $n$ बहुत बड़ा है (विशेष रूप से $n \ge 404$), तो मान निश्चित रूप से धनात्मक है।
• वे वक्र का उपयोग करके खोज क्षेत्र को सीमित करते हैं, जिससे पुष्टि होती कि कोई भी "ऋणात्मक" व्यवहार एक विशिष्ट विंडो (लगभग 5 और 379 के बीच) के भीतर ही होना चाहिए।
• इस विंडो के भीतर विशिष्ट पूर्णांक बिंदुओं की जांच करके, वे पहली रणनीति में पाए गए सटीक सीमाओं की पुष्टि करते हैं।

अंतिम निर्णय (The Final Verdict)

शोध पत्र क्षेत्र का एक निश्चित मानचित्र प्रस्तुत करता है। असमानता $y(n) < 0$ (अर्थात अभिव्यक्ति ऋणात्मक है) तभी सत्य है जब $n$ इन तीन समूहों में से एक में आता है:

1. $5 \le n \le 335$
2. $338 \le n \le 350$
3. $365 \le n \le 368$

इसके विपरीत, $y(n) > 0$ (अर्थात अभिव्यक्ति धनात्मक है) यदि $n$, 1 और 4 के बीच है, या ऋणात्मक क्षेत्रों के बीच के अंतराल में है, या यदि $n$, 369 या उससे बड़ा है।

सबसे महत्वपूर्ण बात यह है कि लेखक पूर्ण निश्चितता के साथ सिद्ध करते हैं कि किसी भी धनात्मक पूर्णांक $n$ के लिए $y(n)$ कभी भी शून्य के बराबर नहीं होता है। कोई "जादुई संख्या" नहीं है जहाँ अभिव्यक्ति पूरी तरह से लुप्त हो जाती है। यह धनात्मक और ऋणात्मक की एक सख्त द्विआधारी (binary) दुनिया है, जहाँ कोई तटस्थ आधार नहीं है।

यह कार्य पुराने ढंग की संख्या गणना (number crunching) को आधुनिक विश्लेषणात्मक उपकरणों के साथ मिलाने की शक्ति का एक प्रमाण है। हालाँकि अनभिज्ञ लोगों के लिए यह परिणाम एक सूक्ष्म पहेली लग सकता है, लेकिन यह उस सूक्ष्म, चरण-दर-चरण सत्यापन का प्रतिनिधित्व करता है जो गणित की नींव को ठोस रखता है। यह दिखाता है कि अमूर्त संख्याओं की दुनिया में भी, प्रत्येक मामले का महत्व होता है, और कभी-कभी, सबसे दिलचस्प खोज यह जानना होता है कि अपवाद वास्तव में कहाँ नहीं मौजूद हैं।