An Elementary proof for Bertrand's Postulate

शीर्षक और सार के आधार पर, यह पहले एक महत्वपूर्ण संदर्भ को स्पष्ट करना आवश्यक है: बर्ट्रेंड का अनुमान (Bertrand's Postulate) (जो कहता है कि प्रत्येक पूर्णांक $n > 1$ के लिए, हमेशा कम से कम एक अभाज्य संख्या $p$ होती है जहाँ $n < p < 2n$), मूल रूप से पफनटी चेबिशेव (Pafnuty Chebyshev) द्वारा 1850 में रीमैन ज़ेटा फलन (Riemann zeta function) और गामा फलन (Gamma function) के गुणों से जुड़ी जटिल विश्लेषणात्मक विधियों का उपयोग करके सिद्ध किया गया था।

आप जिस शोध पत्र का संदर्भ दे रहे हैं, जिसका शीर्षक "An Elementary proof for Bertrand's Postulate" है, वह लगभग निश्चित रूप से पॉल एर्दोश (Paul Erdős) के प्रसिद्ध 1932 के प्रमाण की ओर संकेत करता है। एर्दोश का कार्य ऐतिहासिक रूप से महत्वपूर्ण है क्योंकि इसने केवल "तत्वों" (elementary) की विधियों (अर्थात अंकगणित, संयोजन विज्ञान और द्विपद गुणांकों के गुणों) का उपयोग करके एक समाधान प्रदान किया, जिसमें जटिल विश्लेषण (complex analysis) की भारी मशीनरी पर निर्भरता नहीं थी।

नीचे इस विशिष्ट प्रकार के प्रमाण (एर्दोश के दृष्टिकोण) से जुड़ी कार्यप्रणाली और योगदानों का विस्तृत तकनीकी सारांश दिया गया है, जो ऐसे शीर्षक की मानक व्याख्या है।

1. समस्या

संबोधित मुख्य समस्या बर्ट्रेंड का अनुमान (Bertrand's Postulate) है:

प्रत्येक पूर्णांक $n > 1$ के लिए, एक अभाज्य संख्या $p$ मौजूद होती है ताकि $n < p < 2n$ हो।

"तत्वों" वाले प्रमाण से पहले, इस प्रमेय को विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) का उपयोग करके स्थापित किया गया था। चुनौती यह प्रदर्शित करने की थी कि इस अस्तित्व को केवल तत्वों के संख्या सिद्धांत (elementary number theory) (विशेष रूप से, जटिल विश्लेषण, अभाज्य संख्या प्रमेय, या रीमैन ज़ेटा फलन से बचते हुए) का उपयोग करके कैसे सिद्ध किया जाए।

2. कार्यप्रणाली

यह प्रमाण केंद्रीय द्विपद गुणांक (central binomial coefficient), जिसे $\binom{2n}{n}$ द्वारा दर्शाया जाता है, के गुणों पर आधारित है। कार्यप्रणाली निम्नलिखित तार्किक चरणों के माध्यम से आगे बढ़ती है:

• द्विपद गुणांकों का अभाज्य गुणनखंडन (Prime Factorization of Binomial Coefficients):
  प्रमाण $\binom{2n}{n} = \frac{(2n)!}{(n!)^2}$ के अभाज्य गुणनखंडन का विश्लेषण करता है। यह लेजेंड्रा के सूत्र (Legendre's Formula) का उपयोग करता है, जो $n!$ के गुणनखंडन में एक अभाज्य $p$ की घात निर्धारित करता है:
  $$E_p(n!) = \sum_{k=1}^{\infty} \left\lfloor \frac{n}{p^k} \right\rfloor$$
  परिणामस्वरूप, $\binom{2n}{n}$ में एक अभाज्य $p$ की घात है:
  $$E_p\left(\binom{2n}{n}\right) = \sum_{k=1}^{\infty} \left( \left\lfloor \frac{2n}{p^k} \right\rfloor - 2\left\lfloor \frac{n}{p^k} \right\rfloor \right)$$
  योग (summation) के भीतर का पद या तो 0 या 1 होता है।

• द्विपद गुणांक का परिसीमन (Bounding the Binomial Coefficient):
  प्रमाण $\binom{2n}{n}$ के लिए दो परस्पर विरोधी सीमाओं (bounds) को स्थापित करता है:

  1. निम्न सीमा (Lower Bound): द्विपद गुणांकों के योग का उपयोग करते हुए, यह दिखाया गया है कि $\binom{2n}{n} \geq \frac{4^n}{2n}$ है।
  2. उच्च सीमा (Upper Bound): प्रमाण $\binom{2n}{n}$ को विभाजित करने वाले अभाज्य संख्याओं को तीन श्रेणियों में विभाजित करता है:
     • अभाज्य $p \leq \sqrt{2n}$।
     • अभाज्य $\sqrt{2n} < p \leq \frac{2n}{3}$।
     • अभाज्य $\frac{2n}{3} < p \leq 2n$।

  प्रमाण यह दर्शाता है कि यदि $(n, 2n]$ अंतराल में कोई अभाज्य संख्या नहीं है, तो द्विपद गुणांक के अभाज्य गुणनखंडन से प्राप्त उच्च सीमा, पर्याप्त बड़े $n$ के लिए द्विपद गुणांक के परिमाण से प्राप्त निम्न सीमा से स्पष्ट रूप से छोटी हो जाती है।

• विरोधाभास (Contradiction):
  यह दिखाकर कि " $n$ और $2n$ के बीच कोई अभाज्य संख्या नहीं है" का अनुमान एक गणितीय विरोधाभास (जहाँ $\binom{2n}{n}$ का गणना किया गया मान एक साथ बहुत बड़ा और बहुत छोटा है) की ओर ले जाता है, उस अंतराल में कम से कम एक अभाज्य संख्या का अस्तित्व सिद्ध होता है।

• परिमित सत्यापन (Finite Verification):
  तत्वों वाले प्रतिबंध (bounds) केवल एक निश्चित सीमा से बड़े $n$ के लिए ही मान्य होते हैं (आमतौर पर $n \geq 468$)। छोटे मानों के लिए, प्रमेय को प्रत्यक्ष गणना (विशिष्ट अभाज्य अनुक्रमों की जाँच) द्वारा सत्यापित किया जाता है।

3. प्रमुख योगदान

• विश्लेषणात्मक उपकरणों का उन्मूलन (Elimination of Analytic Tools): प्राथमिक योगदान रीमैन ज़ेटा फलन और जटिल विश्लेषण पर निर्भरता को हटाना है, जिससे यह प्रमेय उन लोगों के लिए सुलभ हो जाता है जिनके पास केवल हाई-स्कूल या स्नातक स्तर के संख्या सिद्धांत की पृष्ठभूमि है।
• संयोजन संबंधी अंतर्दृष्टि (Combinatorial Insight): इसने अभाज्य संख्याओं के वितरण के लिए एक "प्रोब" (probe) के रूप में केंद्रीय द्विपद गुणांक का उपयोग करने की एक शक्तिशाली तकनीक पेश की, जिसे बाद में विश्लेषणात्मक संख्या सिद्धांत की अन्य समस्याओं पर लागू किया गया।
• सरलता और लालित्य (Simplicity and Elegance): यह प्रमाण अपने तार्किक लालित्य के लिए सराहा जाता है, जो गहरे प्रमेयों के बजाय सरल असमानताओं और फ्लोर फंक्शन (floor functions) के गुणों पर निर्भर करता है।

4. परिणाम

• प्रमेय की पुष्टि (Theorem Confirmation): शोध पत्र कठोरता से पुष्टि करता है कि सभी पूर्णांकों $n > 1$ के लिए, अंतराल $(n, 2n)$ में कम से कम एक अभाज्य संख्या होती है।
• स्पष्ट सीमाएँ (Explicit Bounds): प्रमाण अभाज्य संख्याओं के वितरण पर स्पष्ट (यद्यपि ढीली) सीमाएँ प्रदान करता है, यह दर्शाता है कि क्रमिक अभाज्य संख्याओं के बीच का अंतर स्वयं अभाज्य संख्याओं के आकार के सापेक्ष अनिश्चित रूप से बड़ा नहीं होता है।

5. महत्व

• ऐतिहासिक प्रभाव (Historical Impact): पॉल एर्दोश का प्रमाण (जो संभवतः यह शोध पत्र प्रस्तुत कर रहा है) गणित के सबसे सुंदर प्रमाणों में से एक माना जाता है। इसने प्रदर्शित किया कि संख्या सिद्धांत के गहरे परिणामों को कभी-कभी "तत्वों" (elementary) के माध्यम से प्राप्त किया जा सकता है, जिसने इस प्रचलित विश्वास को चुनौती दी कि ऐसे परिणामों के लिए अभाज्य संख्या प्रमेय आवश्यक है।
• शैक्षिक मूल्य (Educational Value): यह प्रमाण संख्या सिद्धांत के पाठ्यक्रम का एक अनिवार्य हिस्सा है क्योंकि यह छात्रों को सिखाता है कि गहन परिणाम प्राप्त करने के लिए फैक्टोरियल, द्विपद गुणांक और असमानताओं का हेरफेर कैसे किया जाए।
• आगे के अनुसंधान का आधार (Foundation for Further Research): उपयोग की गई तकनीकें (विशेष रूप से $\binom{2n}{n}$ का विश्लेषण) ने 1949 में एटले सेलबर्ग और पॉल एर्दोश द्वारा अभाज्य संख्या प्रमेय के बाद के तत्वों वाले प्रमाणों के लिए मार्ग प्रशस्त किया।

निष्कर्ष

यह शोध पत्र बर्ट्रेंड के अनुमान का एक स्व-निहित, तत्वपूर्ण प्रदर्शन प्रदान करता है। केंद्रीय द्विपद गुणांक और लेजेंड्रा के सूत्र के गुणों का लाभ उठाकर, यह जटिल विश्लेषण का सहारा लिए बिना $(n, 2n)$ अंतराल में अभाज्य संख्याओं के अस्तित्व को स्थापित करता है, जो तत्वपूर्ण संख्या सिद्धांत के इतिहास में एक महत्वपूर्ण मील का पत्थर है।