🔢 mathematics

Collinear Interior Lattice Points in Triangles Satisfying $B(T)\in\{4,5\}$

यह शोध पत्र उन पूर्णांकों $k$ को वर्गीकृत करता है जिनके लिए 4 या 5 सीमा बिंदुओं और $k$ आंतरिक बिंदुओं वाले सभी लैटिस त्रिभुजों के आंतरिक बिंदु संरेखीय होते हैं, यह सिद्ध करते हुए कि 4 सीमा बिंदुओं के लिए केवल $k \in \{1, 2, 5\}$ ही इस स्थिति को संतुष्ट करते हैं जबकि 5 सीमा बिंदुओं के लिए ऐसे कोई पूर्णांक मौजूद नहीं हैं।

मूल लेखक: Jonathan Sakunkoo, Annabella Sakunkoo, Dana Paquin

प्रकाशित 2026-08-04

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Jonathan Sakunkoo, Annabella Sakunkoo, Dana Paquin

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

एक ऐसी दुनिया की कल्पना करें जहाँ आप केवल बिंदुओं को एक पूर्ण ग्रिड में व्यवस्थित करके आकृतियाँ बना सकते हैं, जैसे कि ग्राफ़ पेपर पर वर्गाकार खाने होते हैं। इस "लैटिस" (lattice) दुनिया में, ज्यामिति चिकनी वक्र रेखाओं या अनंत रेखाओं के बारे में नहीं है; यह गिनती के बारे में है। पिक का प्रमेय (Pick's Theorem) नामक एक प्रसिद्ध नियम हमें बताता है कि यदि आप जानते हैं कि एक आकृति के किनारे पर कितने बिंदु स्थित हैं और उसके अंदर कितने बिंदु हैं, तो आप उस आकृति का सटीक क्षेत्रफल निकाल सकते हैं। यह कुछ ऐसा है जैसे दीवार के घेरे पर कितनी ईंटें हैं और अंदर कितनी ईंटें छिपी हुई हैं, यह जानकर दीवार के कुल आकार का पता लगाना।

लेकिन गणितज्ञ जिज्ञासु प्राणी होते हैं। वे केवल गिनना नहीं चाहते; वे यह भी जानना चाहते हैं कि वे बिंदु कैसे व्यवस्थित हैं। विशेष रूप से, वे "कोलीनियैरिटी" (collinearity) के प्रति आकर्षित होते हैं—एक फैंसी शब्द जिसका अर्थ है कि सभी बिंदु एक ही सीधी रेखा में संरेखित हैं। यदि आपके पास एक त्रिभुज के भीतर कुछ बिंदु हैं, तो क्या वे स्वाभाविक रूप से एक सीधी रेखा में गिरते हैं, या वे एक बिखरे हुए, टेढ़े-मेढ़े पैटर्न में फैल सकते हैं? यह प्रश्न ज्यामिति (आकृतियों), संख्या सिद्धांत (गिनती और पैटर्न), और कॉम्बिनेटरिक्स (व्यवस्थाओं) के मिलन बिंदु पर स्थित है। यह एक पहेली है कि क्या ग्रिड के नियम बिंदुओं को एक कठोर, व्यवस्थित तरीके से व्यवहार करने के लिए मजबूर करते हैं, या उनके पास इधर-उधर घूमने की स्वतंत्रता है।

यह शोध पत्र, जिसे जोनाथन सकुनकू, एनाबेला सकुनकू और डाना पाकिन द्वारा लिखा गया है, त्रिभुजों के लिए इस पहेली की गहराई में जाता है। वे एक बहुत ही विशिष्ट प्रश्न पूछते हैं: यदि आप त्रिभुज के किनारे पर बिंदुओं की संख्या निर्धारित कर देते हैं, तो क्या वह अंदर के सभी बिंदुओं को एक सीधी रेखा में संरेखित होने के लिए मजबूर करता है? वे दो विशिष्ट परिदृश्यों पर ध्यान केंद्रित करते हैं: वे त्रिभुज जिनमें ठीक 4 किनारे वाले बिंदु हैं और वे जिनमें ठीक 5 किनारे वाले बिंदु हैं।

यहाँ उन्होंने क्या खोजा, यह देखें। सबसे पहले, उन्होंने 4 किनारे वाले बिंदुओं वाले त्रिभुजों को देखा। उन्होंने पाया कि आंतरिक बिंदुओं की अधिकांश संख्याओं के लिए, बिंदु बिखर सकते हैं और सीधी रेखा में आने से इनकार कर सकते हैं। हालाँकि, तीन विशेष संख्याएँ हैं जहाँ बिंदुओं को अनिवार्य रूप से एक सीधी रेखा में होना ही होगा: यदि अंदर 1, 2, या 5 बिंदु हैं। यदि आपके पास 1 बिंदु है, तो वह अपने आप में एक रेखा है। यदि आपके पास 2 हैं, तो कोई भी दो बिंदु एक रेखा बनाते हैं। लेकिन संख्या 5 एक आश्चर्यजनक सितारा है; लेखकों ने गणितीय रूप से सिद्ध किया कि यदि एक त्रिभुज में 4 किनारे वाले बिंदु और 5 अंदरूनी बिंदु हैं, तो वे 5 आंतरिक बिंदु एक पूर्ण सीधी रेखा बनाने के लिए मजबूर हैं। उन्होंने यह भी सिद्ध किया कि आंतरिक बिंदुओं की किसी भी संख्या (जैसे 6, 7, 8, आदि) के लिए, आप हमेशा एक ऐसा त्रिभुज पा सकते हैं जहाँ बिंदु बिखरे हुए और गैर-संरेखित हों।

फिर, उन्होंने 5 किनारे वाले बिंदुओं वाले त्रिभुजों की ओर ध्यान केंद्रित किया। यहाँ, कहानी एक तीखा मोड़ लेती है। लेखकों ने सिद्ध किया कि आंतरिक बिंदुओं की कोई भी संख्या उन्हें एक सीधी रेखा में संरेखित होने के लिए मजबूर नहीं करती है। चाहे आपके पास अंदर 3 बिंदु हों, 6 बिंदु हों, या 100 बिंदु हों, हमेशा एक तरीका होता है जिससे त्रिभुज को इस तरह व्यवस्थित किया जा सके कि आंतरिक बिंदु बिखरे हुए और सीधी रेखा में न हों। इससे भी अधिक दिलचस्प बात यह है कि उन्होंने दिखाया कि यदि आप 5 किनारे वाले बिंदुओं वाला एक ऐसा त्रिभुज बनाने की कोशिश करते हैं जिसमें आंतरिक बिंदुओं की संख्या 3 का गुणज नहीं है (जैसे 4 या 5), तो ऐसा त्रिभुज ग्रिड पर बिल्कुल भी अस्तित्व में नहीं रह सकता। लेकिन जो अस्तित्व में हैं, उनके लिए, "सीधी रेखा" वाला नियम कभी लागू नहीं होता है।

लेखकों ने प्रत्येक संभावित त्रिभुज को एक "कैनोनिकल" (मानक) संस्करण में सरल बनाने के लिए एक चतुर विधि का उपयोग किया, जैसे कि एक कुचले हुए कागज को एक साफ आयत में सीधा करना, ताकि गणित आसान हो सके। उन्होंने यह दिखाने के लिए कि बिंदु कब संरेखित होने के लिए मजबूर होते हैं, अभाज्य संख्याओं से संबंधित एक विशेष गिनती उपकरण का भी उपयोग किया। उनका कार्य एक पूर्ण गणितीय प्रमाण है, जिसका अर्थ है कि उन्होंने केवल अनुमान या सिमुलेशन नहीं किया; उन्होंने दिखाया कि यह सभी मामलों के लिए सत्य होना ही चाहिए।

बड़ी तस्वीर एक संरचनात्मक विषमता है। 4 किनारे वाले बिंदुओं के साथ, ग्रिड इतना कठोर है कि वह विशिष्ट, दुर्लभ मामलों (जैसे कि 5 आंतरिक बिंदुओं के मामले में) में एक सीधी रेखा बनाने के लिए मजबूर करता है। लेकिन 5 बिंदुओं के साथ, ग्रिड इतना लचीला हो जाता है कि वह उस पैटर्न को पूरी तरह से तोड़ देता है। लेखक सुझाव देते हैं कि 4 और 5 के बीच यह तीव्र परिवर्तन कि ग्रिड के बिंदु कैसे व्यवहार करते हैं, एक बड़े, रहस्यमय पैटर्न की शुरुआत हो सकता है, जो भविष्य के खोजकर्ताओं के लिए 6, 7, या उससे अधिक किनारे वाले बिंदुओं के साथ जांच करने के लिए द्वार खोलता है।

तकनीकी सारांश: त्रिभुजों में कोलीनियर (संरेखीय) आंतरिक जालक बिंदु जो $B(T) \in \{4, 5\}$ को संतुष्ट करते हैं

समस्या विवरण
यह शोध पत्र सीमावर्ती जालक बिंदुओं की संख्या, जिसे $B(T)$ द्वारा दर्शाया गया है, पर आधारित जालक त्रिभुजों के भीतर आंतरिक जालक बिंदुओं की ज्यामितीय कठोरता (geometric rigidity) की जांच करता है। एक पूर्णांक $k$ को $B_n$ -कोलीनियर कहा जाता है यदि कम से कम एक ऐसा जालक त्रिभुज मौजूद है जिसमें ठीक $n$ सीमावर्ती बिंदु और $k$ आंतरिक बिंदु हैं, और प्रत्येक ऐसा त्रिभुज इस गुण को प्रदर्शित करता है कि उसके सभी $k$ आंतरिक बिंदु कोलीनियर (एक ही रेखा पर स्थित) हैं।

ली और पाकिन के पूर्व कार्य पर आधारित, जिन्होंने यह स्थापित किया था कि $B(T)=3$ के लिए, एकमात्र $B_3$ -कोलीनियर पूर्णांक $\{1, 2, 4, 7\}$ हैं, यह अध्ययन $B_4$ -कोलीनियर और $B_5$ -कोलीनियर पूर्णांकों का पूर्ण वर्गीकरण करने का लक्ष्य रखता है। केंद्रीय प्रश्न यह है कि क्या सीमावर्ती गणना द्वारा लगाए गए संयोजन संबंधी प्रतिबंध (combinatorial constraints) आंतरिक बिंदुओं को कोलीनियर विन्यास में रहने के लिए बाध्य करते हैं।

कार्यप्रणाली
लेखक कैनोनिकल जालक निरूपण, पिक के प्रमेय (Pick's Theorem), और एक सामान्यीकृत टोंटिएंट फलन (totient function) के अंकगणितीय गुणों के संयोजन का उपयोग करते हैं।

कैनोनिकल रूप (Canonical Form): लेखक ली और पाकिन द्वारा स्थापित कैनोनिक ढांचे को अनुकूलित करते हैं। किसी भी जालक त्रिभुज को, जिसमें $n$ सीमावर्ती बिंदु हैं, एक "कैनोनिकल" त्रिभुज में बदला जा सकता है जिसके शीर्ष $(0,0)$ , $(1,0)$ , और $(a,b)$ पर हों, बिना आंतरिक बिंदुओं, सीमावर्ती बिंदुओं, या आंतरिक बिंदुओं की कोलीनियैरिटी को बदले।
- $B(T)=4$ के लिए, ऊंचाई $b$ पिक के प्रमेय द्वारा $b = 2k + 2$ के रूप में निर्धारित होती है। $a$ का एक चयन "वैध" (valid) तब माना जाता है यदि $\{ \gcd(a, b), \gcd(a-1, b) \} = \{1, 2\}$ हो।
- $B(T)=5$ के लिए, ऊंचाई $b = 2k + 3$ होती है। $a$ का एक चयन "वैध" तब माना जाता है यदि $\{ \gcd(a, b), \gcd(a-1, b) \} = \{1, 3\}$ हो।
गैर-कोलीनियैरिटी मानदंड (Non-Collinearity Criteria): यह शोध पत्र यह सिद्ध करने के लिए एक मानदंड स्थापित करता है कि आंतरिक बिंदु कोलीनियर नहीं हैं। कैनोनिकल त्रिभुज के $x=1$ रेखा के साथ प्रतिच्छेदन का विश्लेषण करके, लेखक प्रदर्शित करते हैं कि यदि एक विशिष्ट सीमा के भीतर (विशेष रूप से $3 \le a \le k$ ) एक वैध पैरामीटर $a$ मौजूद है, तो त्रिभुज में $x=1$ रेखा पर कम से कम दो आंतरिक बिंदु और इस रेखा से बाहर कम से कम एक आंतरिक बिंदु होगा। चूंकि दो बिंदु एक अद्वितीय रेखा निर्धारित करते हैं, इसलिए उस रेखा से बाहर स्थित तीसरा बिंदु गैर-कोलीनियैरिटी को सिद्ध करता है।
अंकगणितीय उपकरण (एल्डर का फलन - Alder's Function): ऐसे वैध पैरामीटर $a$ के अस्तित्व को निर्धारित करने के लिए, लेखक एल्डर के सामान्यीकृत टोंटिएंट फलन $g(m)$ का उपयोग करते हैं, जिसे $0 \le r < m$ ऐसे पूर्णांकों की संख्या के रूप में परिभाषित किया गया है कि $\gcd(m, r) = \gcd(m, 2r+1) = 1$ हो।
- $B(T)=4$ के मामले में $k$ और $3 $के बीच वैध$ a $मानों की संख्या ठीक$ g(k+1) - 1$ दिखाई गई है।
- फलन $g$ को गुणात्मक (multiplicative) सिद्ध किया गया है, जिससे $k+1$ के अभाज्य गुणनखंडन (prime factorization) के आधार पर $g(k+1)$ का विश्लेषण संभव होता है।

मुख्य परिणाम

प्रमेय 1 (मामला $B(T)=4$ ): एकमात्र $B_4$ -कोलीनियर पूर्णांक 1, 2, और 5 हैं।
- प्रमाण तर्क: $k=1$ और $k=2$ के लिए, कोलीनियैरिटी स्वतः स्पष्ट (trivial) है। $k=3$ और $k=4$ के लिए, स्पष्ट प्रति-उदाहरण (गैर-कोलीनियर त्रिभुज) प्रदान किए गए हैं। $k=5$ के लिए, लेखक सिद्ध करते हैं कि एकमात्र वैध $a$ मान $2 $या$ 11 \pmod{12}$ के तुल्य हैं। दोनों मामलों में, आंतरिक बिंदु एक एकल माध्य रेखा (median line) पर स्थित हैं, जो कोलीनियैरिटी सुनिश्चित करता है। $k > 5$ के सभी मानों के लिए, वे दिखाते हैं कि $g(k+1) > 1$ है, जिसका अर्थ है कि $[3, k]$ रेंज में एक वैध $a$ का अस्तित्व है। गैर-कोलीनियैरिटी मानदंड द्वारा, यह एक ऐसे त्रिभुज के अस्तित्व की गारंटी देता है जिसमें गैर-कोलीनियर आंतरिक बिंदु हैं।
प्रमेय 2 (मामला $B(T)=5$ ): कोई भी $B_5$ -कोलीनियर पूर्णांक नहीं हैं।
- प्रमाण तर्क: सबसे पहले, लेखक दिखाते हैं कि $B(T)=5$ वाले जालक त्रिभुज के अस्तित्व के लिए, आंतरिक बिंदुओं की संख्या $k$ को 3 का गुणज होना चाहिए (इस शर्त से प्राप्त कि $b = 2k+3$ को 3 से विभाज्य होना चाहिए)।
- $k$ के किसी भी गुणज के लिए, लेखक एक विशिष्ट कैनोनिकल त्रिभुज $T_k$ का निर्माण करते हैं जिसके शीर्ष $(0,0)$ , $(1,0)$ , और $(4, 2k+3)$ हैं। वे सिद्ध करते हैं कि $k \ge 3$ के लिए, इस त्रिभुज में $x=1$ रेखा पर कम से कम दो आंतरिक बिंदु और उस रेखा से बाहर कम से कम एक आंतरिक बिंदु है। फलस्वरूप, कोई भी पूर्णांक $k$ कोलीनियैरिटी को बाध्य नहीं करता है। जो पूर्णांक 3 से विभाज्य नहीं हैं, उन्हें परिभाषा के अनुसार ही बाहर कर दिया गया है क्योंकि ऐसे त्रिभुजों का अस्तित्व ही नहीं है।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह पहले तीन गैर-तुच्छ (non-trivial) सीमा मामलों ( $n=3, 4, 5$ ) के लिए पूर्ण वर्गीकरण प्रदान करता है। परिणाम एक तीव्र संरचनात्मक अंतर प्रकट करते हैं:

जबकि $B(T)=3$ और $B(T)=4$ विशिष्ट बाधाओं को प्रदर्शित करते हैं जहाँ कुछ आंतरिक गणनाएँ कोलीनियैरिटी को मजबूर करती हैं, $B(T)=5$ इस पैटर्न को पूरी तरह से बाधित कर देता है।
लेखक तर्क देते हैं कि सीमा संरचना और आंतरिक-बिंदु ज्यामिति के बीच की अंतःक्रिया पहले की तुलना में अधिक सूक्ष्म है, क्योंकि सीमा गणना को 4 से 5 तक बढ़ाने से किसी भी $k$ के लिए मजबूर कोलीनियैरिटी की संभावना समाप्त हो जाती है।

शोध पत्र $B_6$ -कोलीनियर पूर्णांकों के वर्गीकरण और $n \to \infty$ के रूप में सामान्य व्यवहार की पहचान करके भविष्य के अनुसंधान के लिए खुले प्रश्नों के रूप में समाप्त होता है, यह नोट करते हुए कि विकसित की गई विधियाँ इन जांचों के लिए एक आधार के रूप में कार्य करती हैं। लेखक स्पष्ट रूप से कहते हैं कि उनका कम्प्यूटेशनल सत्यापन ( $B(T)=4$ के लिए $10^6$ तक $k$ की जाँच) सैद्धांतिक वर्गीकरण का समर्थन करता है लेकिन यह औपचारिक प्रमाण का हिस्सा नहीं है।

इसी तरह के और पेपर