Tiling a triangle into a prime number of congruent triangles

तकनीकी सारांश: एक त्रिभुज को अभाज्य संख्या की समरूप त्रिभुजों में टाइलिंग करना

समस्या विवरण
यह शोध पत्र उन पूर्णांकों $N$ के लक्षण वर्णन की समस्या को संबोधित करता है जिनके लिए एक त्रिभुज $T$ को $N$ समरूप त्रिभुजों $R$ में विभाजित किया जा सकता है। विशेष रूप से, यह इस बात की जांच करता है कि $N$ एक अभाज्य संख्या कब हो सकती है। यह कार्य पूर्ववर्ती शोध (एर्दोस समस्या 633 - गैर-वर्ग टाइलिंग के संबंध में और एर्दोस समस्या 634 - उन $N$ के लक्षण वर्णन के संबंध में जिसके लिए कोई टाइलिंग मौजूद नहीं है) पर आधारित है। केंद्रीय प्रश्न यह है: ज्ञात अपवादों के अलावा, क्या एक त्रिभुज को $N > 3$ की एक अभाज्य संख्या के समरूप त्रिभुजों में टाइल किया जा सकता है?

कार्यप्रणाली
लेखक टाइल के आकारों के वर्गीकरण और कोणों एवं भुजाओं की सुसंगतता (commensurability) पर आधारित मामला-आधारित विश्लेषण का उपयोग करता है। कार्यप्रणाली इस प्रकार है:

1. मामलों का वर्गीकरण: विश्लेषण त्रिभुज $T$ को इस आधार पर अलग करता है कि वे समबाहु (equilateral), समद्विबाहु (isosceles), या विषमबाहु (scalene) हैं, और क्या उनके कोण सुसंगत (commensurable - $\pi$ के परिमेय गुणक) हैं या असंगत (incommensurable) हैं।
2. पूर्ववर्ती परिणामों का लाभ उठाना: यह पत्र स्थापित प्रमेयों (लैचकोविच, बीसन और अन्य के कार्यों से उद्धृत) पर निर्भर करता है जो उन मामलों को समाप्त करते हैं जहाँ $T$ समबाहु, समद्विबाहु है, या जिसके कोण सुसंगत हैं। ये पूर्ववर्ती परिणाम मुख्य रूप से यह स्थापित करते हैं कि ऐसे त्रिभुजों के लिए, $N$ या तो अभाज्य नहीं है या विशिष्ट छोटे मानों ($N=2, 3$) तक सीमित है।
3. असंगत कोणों पर ध्यान केंद्रित करना: मुख्य भाग इस कठिन मामले को संबोधित करता है: $T$ के कोण असंगत हैं, वह समबाहु या समद्विबाहु नहीं है, और इसे $(\alpha, \beta, \gamma)$ कोणों वाले एक टाइल $R$ द्वारा टाइल किया गया है।
   • प्रमेय 2 द्वारा, यदि $R$ के कोण असंगत हैं और वह $T$ के समरूप नहीं है, तो $R$ की भुजाएं सुसंगत होनी चाहिए। यह $R$ की भुजाओं को पूर्णांक $(a, b, c)$ के रूप में मानने की अनुमति देता है।
   • विश्लेषण "ग्रुप 2" टाइलिंग्स पर केंद्रित है, जिसे शर्त $3\alpha + 3\beta = \pi$ (जिसका अर्थ है $\gamma = 2\pi/3$) द्वारा परिभाषित किया गया है। ग्रुप 1 टाइलिंग्स ($3\alpha + 2\beta = \pi$) को पहले ही हल किया जा चुका है।
4. बीजगणितीय संख्या सिद्धांत (Algebraic Number Theory): ग्रुप 2 में $T$ के चार संभावित आकारों के लिए, लेखक टाइल की भुजाओं के संबंध में $N$ के स्पष्ट सूत्र व्युत्पन्न करता है।
   • साइन के नियम (Law of Sines) और क्षेत्रफल समीकरणों का उपयोग करते हुए, $T$ की भुजाओं को $R$ की भुजाओं के रैखिक संयोजन के रूप में व्यक्त किया जाता है।
   • $T$ की भुजाओं और एक मूल पूर्णांक त्रिक (primitive integer triple) के बीच अनुपातिकता कारक $\lambda$ को एक पूर्णांक सिद्ध किया गया है (लेम्मा 14)।
   • $T$ के क्षेत्रफल को $N$ बार टाइल के क्षेत्रफल के बराबर रखा गया है, जिससे $N$ का $\lambda$ और टाइल की भुजाओं के संदर्भ में गुणनखंड प्राप्त होता है।

मुख्य योगदान और परिणाम
यह पत्र सिद्ध करता है कि यदि एक त्रिभुज $T$ को $N$ समरूप त्रिभुजों $R$ द्वारा टाइल किया गया है (जहाँ $T, R$ के समरूप नहीं है), और $N > 3$ है, तो $N$ एक अभाज्य संख्या नहीं हो सकती।

ग्रुप 2 के असंगत मामले में $T$ के चार आकारों के लिए विशिष्ट परिणाम इस प्रकार हैं:

• मामला 1: $T$ के कोण $(\alpha, 2\alpha, 3\beta)$ हैं। टाइल्स की संख्या $N = 3\lambda^2(a + 2b)(a + b)$ है। चूंकि $a, b, \lambda$ धनात्मक पूर्णांक हैं, इसलिए $N$ भाज्य (composite) है।
• मामला 2: $T$ के कोण $(\alpha, 2\beta, 2\alpha + \beta)$ हैं। टाइल्स की संख्या $N = \lambda^2(2a + b)(a + b)$ है, जो कि भाज्य है।
• मामला 3: $T$ के कोण $(\alpha, \alpha + \beta, \alpha + 2\beta)$ हैं। टाइल्स की संख्या $N = \lambda^2(a + b)/b$ है। लेखक सिद्ध करता है कि $a+b$ भाज्य है (लेम्मा 15), जो सुनिश्चित करता है कि $N$ अभाज्य नहीं है।
• मामला 4: $T$ के कोण $(2\alpha, 2\beta, \alpha + \beta)$ हैं। टाइल्स की संख्या $N = \lambda^2(a + 2b)(2a + b)$ है, जो कि भाज्य है।

महत्व और मुख्य प्रमेय
यह पत्र प्रमेय 22 के साथ समाप्त होता है, जो कहता है: मान लीजिए कि त्रिभुज $T$ को एक ऐसे टाइल द्वारा $N$-टाइल किया गया है जो $T$ के समरूप नहीं है। यदि $N > 3$ है, तो $N$ अभाज्य नहीं है।

रेप्टिलिंग्स (reptilings - वे टाइलिंग्स जहाँ टाइल $T$ के समरूप है) पर पूर्ववर्ती परिणामों और ज्ञात अपवादों (समद्विबाहु $N=2$, समबाहु $N=3$, और विशिष्ट समकोण त्रिभुज) के साथ मिलकर, यह पत्र अनुवर्त 23 (Corollary 23) में अभाज्य टाइलिंग्स का पूर्ण लक्षण वर्णन प्रदान करता है:

• किसी अभाज्य $N$ के लिए किसी त्रिभुज की $N$-टाइलिंग तभी संभव है यदि:
  • $N = 2$ (ऊंचाई द्वारा कटा हुआ कोई भी समद्विबाहु त्रिभुज);
  • $N = 3$ (एक 30-60-90 त्रिभुज);
  • $N \equiv 1 \pmod 4$ (एक समकोण त्रिभुज जिसकी भुजाओं का अनुपात $M/K$ है जहाँ $N = M^2 + K^2$)।

परिणामस्वरूप, उन अभाज्य संख्याओं $N$ का सेट जिनके लिए कोई भी त्रिभुज $N$ समरूप त्रिभुजों में टाइल नहीं किया जा सकता, ठीक वे अभाज्य संख्याएँ हैं जो 3 से बड़ी हैं और $3 \pmod 4$ के अनुरूप हैं।

विनम्रता और विस्तार (Scope)
लेख स्वीकार करता है कि "बुलडोजर-शैली" (bulldozer-style) के तर्क में मामलों की एक सीमित संख्या की जाँच शामिल है। यह उल्लेख करता है कि इसमें शामिल संख्या सिद्धांत, संबंधित एर्दोस समस्या 633 (जिसने गैर-वर्ग टाइलिंगों से संबंधित गैर-वर्ग टाइलिंगों के लिए दीर्घवृत्तीय समीकरणों की आवश्यकता थी) की तुलना में सरल है, क्योंकि प्राथमिक कठिनाई यहाँ समद्विबाही त्रिभुजों को संभालने में है, जिन्हें पूर्ववर्ती साहित्य में पहले ही हल किया जा चुका था। लेख विशेष रूप से लेम्मा 14 और लेम्मा 16 की खोज का श्रेय एक AI सहायक (क्लॉड फेबल) को देता है, जो ज्यामितीय प्रमाण के भीतर विशिष्ट संख्या-सिद्धांत चरणों को सत्यापित करने में कम्प्यूटेशनल उपकरणों की भूमिका को रेखांकित करता है।