2025-11-10T03:07:12.132652

Rational angle bisectors on the coordinate plane and solutions of Pell's equations

Hirotsu
On the coordinate plane, the slopes $a$ and $b$ of two straight lines and the slope $c$ of one of their angle bisectors satisfy the equation $(a-c)^2(b^2+1) = (b-c)^2(a^2+1).$ Recently, an explicit formula for nontrivial integral solutions of this equation with solutions of negative Pell's equations was discovered by the author. In this article, for a given square-free integer $d > 1$ and a given integer $z > 1,$ we describe every integral solution $(x,y)$ of $|x^2-dy^2| = z$ such that $x$ and $dy$ are coprime by using the fundamental unit of $\mathbb Q(\sqrt d)$ and elements of $\mathbb Z[\sqrt d]$ whose absolute value of norms are the smallest prime powers. We also describe every nontrivial rational solution of the above equation as one of its applications.
academic

निर्देशांक तल पर परिमेय कोण समद्विभाजक और पेल समीकरणों के समाधान

मूल जानकारी

  • पेपर ID: 2305.01091
  • शीर्षक: निर्देशांक तल पर परिमेय कोण समद्विभाजक और पेल समीकरणों के समाधान
  • लेखक: Takashi HIROTSU
  • वर्गीकरण: math.NT (संख्या सिद्धांत)
  • प्रकाशन समय: 11 दिसंबर, 2024 (arXiv पूर्वप्रिंट)
  • पेपर लिंक: https://arxiv.org/abs/2305.01091

सारांश

निर्देशांक तल पर, दो सीधी रेखाओं की ढलान aa और bb तथा उनके एक कोण समद्विभाजक की ढलान cc समीकरण (a−c)2(b2+1)=(b−c)2(a2+1)(a-c)^2(b^2+1) = (b-c)^2(a^2+1) को संतुष्ट करते हैं। लेखक ने हाल ही में इस समीकरण के गैर-तुच्छ पूर्णांक समाधानों और ऋणात्मक पेल समीकरण के समाधानों के बीच स्पष्ट सूत्र की खोज की है। यह पेपर दिए गए वर्गमुक्त पूर्णांक d>1d > 1 और दिए गए पूर्णांक z>1z > 1 के लिए, Q(d)\mathbb{Q}(\sqrt{d}) की मौलिक इकाई और Z[d]\mathbb{Z}[\sqrt{d}] में न्यूनतम अभाज्य घात के निरपेक्ष मान वाले तत्वों का उपयोग करके, ∣x2−dy2∣=z|x^2-dy^2| = z के सभी पूर्णांक समाधान (x,y)(x,y) का वर्णन करता है जहाँ xx और dydy सहअभाज्य हैं। अनुप्रयोग के रूप में, उपरोक्त समीकरण के सभी गैर-तुच्छ परिमेय समाधानों का भी वर्णन किया गया है।

अनुसंधान पृष्ठभूमि और प्रेरणा

मूल समस्या

यह पेपर परिमेय कोण समद्विभाजक समस्या का अध्ययन करता है: किन परिमेय संख्याओं aa और bb के लिए, ढलान aa और bb वाली दो सीधी रेखाओं के बीच कोण समद्विभाजक की ढलान परिमेय है?

समस्या की महत्ता

  1. ज्यामितीय रचना का महत्व: जब जाली बिंदु OO, AA, BB दिए गए हों, तो क्या OO को अन्य जाली बिंदुओं से जोड़कर ∠AOB\angle AOB का कोण समद्विभाजक बनाया जा सकता है, यह रचना तकनीक में महत्वपूर्ण है
  2. इंजीनियरिंग अनुप्रयोग मूल्य: इंजीनियरिंग में पूर्णांक अनुपात का उपयोग करके विकिरण सीमा और प्रकाश अक्ष को निर्दिष्ट किया जा सकता है, जिससे अपरिमेय संख्याओं के सन्निकटन से होने वाली त्रुटियों से बचा जा सकता है
  3. संख्या सिद्धांत सैद्धांतिक मूल्य: यह समस्या पेल समीकरण के समाधान से घनिष्ठ रूप से संबंधित है, जो ज्यामितीय समस्याओं को बीजगणितीय संख्या सिद्धांत से जोड़ता है

मौजूदा अनुसंधान की सीमाएं

  • हालांकि कोण समद्विभाजक समस्या को समीकरण (a−c)2(b2+1)=(b−c)2(a2+1)(a-c)^2(b^2+1) = (b-c)^2(a^2+1) के समाधान में परिवर्तित किया जा सकता है, लेकिन समाधानों का व्यवस्थित वर्गीकरण और विशेषता अभी भी अधूरी है
  • सामान्य पेल समीकरण ∣x2−dy2∣=z|x^2-dy^2| = z के समाधानों का पूर्ण विवरण अभी भी पर्याप्त नहीं है, विशेषकर कठोर मौलिक समाधानों की विशेषता के लिए

मूल योगदान

  1. कोण समद्विभाजक समस्या और पेल समीकरण के बीच सटीक संबंध स्थापित किया: सिद्ध किया कि कोण समद्विभाजक समीकरण का प्रत्येक गैर-तुच्छ परिमेय समाधान ऋणात्मक पेल समीकरण x2−dy2=−1x^2-dy^2 = -1 के परिमेय समाधान से मेल खाता है
  2. पेल समीकरण के कठोर मौलिक समाधानों की पूर्ण विशेषता दी: ∣x2−dy2∣=z|x^2-dy^2| = z के लिए, सभी पूर्णांक समाधानों का पूर्ण विवरण दिया जहाँ xx और dydy सहअभाज्य हैं
  3. परिमेय कोण समद्विभाजकों के लिए स्पष्ट सूत्र प्रदान किए: क्रमशः x2−y2=−1x^2-y^2 = -1 और सामान्य ऋणात्मक पेल समीकरण के मामलों में पूर्ण विश्लेषणात्मक अभिव्यक्तियाँ दीं
  4. अभाज्य गुणनखंडन सिद्धांत का निर्माण किया: समुच्चय S(d)S(d) और संबंधित पैरामीटर ξp\xi_p का परिचय दिया, पेल समीकरण के समाधानों और द्विघात क्षेत्र के अंकगणित के बीच गहरे संबंध स्थापित किए

विधि विवरण

कार्य परिभाषा

इनपुट: दो सीधी रेखाओं की ढलान a,b∈Qa, b \in \mathbb{Q}
आउटपुट: यह निर्धारित करें कि कोण समद्विभाजक की ढलान cc परिमेय है या नहीं, और सभी संभावित परिमेय कोण समद्विभाजक ढलानें दें
बाधा: ∣a∣≠∣b∣|a| \neq |b| (गैर-तुच्छ मामला)

मूल गणितीय ढांचा

1. कोण समद्विभाजक समीकरण

कोण समद्विभाजक समस्या निम्नलिखित समीकरण को हल करने के बराबर है: (a−c)2(b2+1)=(b−c)2(a2+1)(⋆)(a-c)^2(b^2+1) = (b-c)^2(a^2+1) \quad (\star)

2. कठोर मौलिक समाधान की परिभाषा

समीकरण ∣x2−dy2∣=z|x^2-dy^2| = z के पूर्णांक समाधान (x,y)(x,y) के लिए, इसे कठोर मौलिक कहा जाता है, यदि और केवल यदि gcd⁡(x,dy)=1\gcd(x, dy) = 1।

3. मुख्य समुच्चय और पैरामीटर

  • S(d)={p अभाज्य∣∣x2−dy2∣=pl के पास कठोर मौलिक पूर्णांक समाधान है, किसी पूर्णांक के लिएl>0}S(d) = \{p\text{ अभाज्य} | |x^2-dy^2| = p^l \text{ के पास कठोर मौलिक पूर्णांक समाधान है, किसी पूर्णांक के लिए}l > 0\}
  • प्रत्येक p∈S(d)p \in S(d) के लिए, lp=min⁡{l∈Z∣∣x2−dy2∣=pl के पास कठोर मौलिक पूर्णांक समाधान है,l>0}l_p = \min\{l \in \mathbb{Z} | |x^2-dy^2| = p^l \text{ के पास कठोर मौलिक पूर्णांक समाधान है}, l > 0\} को परिभाषित करें
  • ξp=xp+ypd\xi_p = x_p + y_p\sqrt{d}, जहाँ (xp,yp)(x_p, y_p) संबंधित मौलिक समाधान है

मुख्य प्रमेय

प्रमेय 1: पेल समीकरण समाधानों की पूर्ण विशेषता

पूर्णांक z>1z > 1 के लिए, ∣x2−dy2∣=z|x^2-dy^2| = z के पास कठोर मौलिक पूर्णांक समाधान है यदि और केवल यदि ordp(z)={lpnpयदि p∈S(d)0यदि p∉S(d)\text{ord}_p(z) = \begin{cases} l_p n_p & \text{यदि } p \in S(d) \\ 0 & \text{यदि } p \notin S(d) \end{cases} किसी np∈Nn_p \in \mathbb{N} के लिए। इस समय समाधान का रूप है: x+yd=±ηn∏p∈S(d)ξp∗npx + y\sqrt{d} = \pm\eta^n \prod_{p \in S(d)} \xi_p^{*n_p}

प्रमेय 2: परिमेय कोण समद्विभाजकों के लिए स्पष्ट सूत्र

मामला 1: जब a,ba, b x2−y2=−1x^2-y^2 = -1 के परिमेय समाधानों के xx घटक हों: (a,b,c)=(l2−n22ln,m2−n22mn,lm−n2(l+m)n)(a, b, c) = \left(\frac{l^2-n^2}{2ln}, \frac{m^2-n^2}{2mn}, \frac{lm-n^2}{(l+m)n}\right)

मामला 2: जब a,ba, b x2−dy2=−1x^2-dy^2 = -1 के परिमेय समाधानों के xx घटक हों: (a,b,c)=(α+α′2,β+β′2,αβ−(αβ)′(α+β)−(α+β)′)(a, b, c) = \left(\frac{\alpha+\alpha'}{2}, \frac{\beta+\beta'}{2}, \frac{\alpha\beta-(\alpha\beta)'}{(\alpha+\beta)-(\alpha+\beta)'}\right) जहाँ α,β∈Q(d)\alpha, \beta \in \mathbb{Q}(\sqrt{d}) N(α)=N(β)=−1N(\alpha) = N(\beta) = -1 को संतुष्ट करते हैं।

तकनीकी नवाचार बिंदु

  1. कठोर मौलिकता की अवधारणा: पारंपरिक मौलिकता (gcd⁡(x,y)=1\gcd(x,y)=1) से अलग, gcd⁡(x,dy)=1\gcd(x,dy)=1 की कठोर मौलिकता का परिचय दिया, जो पेल समीकरण को संभालने के लिए अधिक उपयुक्त है
  2. अभाज्य गुणनखंडन विधि: S(d)S(d) समुच्चय के परिचय के माध्यम से, सामान्य पेल समीकरण के समाधान को अभाज्य घात मामलों के संयोजन में विघटित किया
  3. द्विघात क्षेत्र सिद्धांत का अनुप्रयोग: Q(d)\mathbb{Q}(\sqrt{d}) की इकाई समूह संरचना और आदर्श वर्ग समूह सिद्धांत का कुशलतापूर्वक उपयोग किया

प्रायोगिक सेटअप

सैद्धांतिक सत्यापन

पेपर कई ठोस उदाहरणों के माध्यम से सैद्धांतिक परिणामों की सत्यता को सत्यापित करता है:

उदाहरण 1: मौलिक मामला

  • (a,b,c)=(3/4,12/5,9/7)(a,b,c) = (3/4, 12/5, 9/7): सूत्र (1.3) में (l,m,n)=(2,5,1)(l,m,n) = (2,5,1) के माध्यम से प्राप्त
  • (a,b,c)=(1/7,23/7,6/7)(a,b,c) = (1/7, 23/7, 6/7): d=2d=2 के मामले से मेल खाता है

उदाहरण 2: द्विघात क्षेत्र मामला

  • d=34d = 34 मामला: α=(5+34)/3\alpha = (5+\sqrt{34})/3, β=ηα\beta = \eta\alpha, जहाँ η=35+634\eta = 35+6\sqrt{34}
  • (a,b,c)=(5/3,379/3,32/9)(a,b,c) = (5/3, 379/3, 32/9) प्राप्त होता है

गणना तालिका

पेपर परिशिष्ट d≤34d \leq 34 के लिए विस्तृत गणना डेटा प्रदान करता है, जिसमें शामिल हैं:

  • मौलिक इकाई η\eta के मान
  • प्रत्येक अभाज्य p≤97p \leq 97 के लिए संबंधित ξp\xi_p मान
  • आदर्श वर्ग संख्या hh

प्रायोगिक परिणाम

मुख्य परिणाम सत्यापन

  1. सूत्र की सत्यता: सभी दिए गए उदाहरण कोण समद्विभाजक समीकरण (⋆)(\star) को संतुष्ट करते हैं
  2. पूर्णता: प्रमेय 3 द्वारा दी गई शर्तें कठोर मौलिक समाधानों के अस्तित्व को पूरी तरह से दर्शाती हैं
  3. निर्माणात्मकता: प्रमेय 2 के सूत्र सभी गैर-तुच्छ परिमेय समाधान उत्पन्न कर सकते हैं

सैद्धांतिक खोजें

  1. S(d)S(d) की विशेषता:
    • जब d≡1(mod8)d \equiv 1 \pmod{8} या अन्य विशिष्ट शर्तें पूरी हों, तो S(d)S(d) बिल्कुल Q(d)\mathbb{Q}(\sqrt{d}) में विभाजित होने वाली सभी अभाज्य संख्याएं हैं
    • जब d≡5(mod8)d \equiv 5 \pmod{8} और η∉Z[d]\eta \notin \mathbb{Z}[\sqrt{d}] हो, तो S(d)S(d) में अभाज्य 2 भी शामिल है
  2. समाधान की संरचना: प्रत्येक कठोर मौलिक समाधान को मौलिक इकाई की घात और अभाज्य-संबंधित तत्वों के गुणनफल के रूप में लिखा जा सकता है

संबंधित कार्य

पारंपरिक पेल समीकरण सिद्धांत

  • कार्मिकेल प्रमेय: पेल समीकरण समाधानों के गुणक गुणों के बारे में
  • द्विघात क्षेत्र इकाई समूह सिद्धांत: Q(d)\mathbb{Q}(\sqrt{d}) की इकाई समूह संरचना {±ηn∣n∈Z}\{\pm\eta^n | n \in \mathbb{Z}\}

कोण समद्विभाजक समस्या

  • लेखक का पूर्व कार्य5: कोण समद्विभाजक समस्या और पेल समीकरण के बीच संबंध स्थापित किया
  • यह पेपर उस कार्य का महत्वपूर्ण विस्तार और सुधार है

द्विघात रूप सिद्धांत

  • फर्मेट दो वर्गों का योग प्रमेय: अभाज्य संख्याओं को दो वर्गों के योग के रूप में प्रस्तुत करने की शर्तें
  • आदर्श वर्ग समूह सिद्धांत: द्विघात क्षेत्र की अंकगणितीय संरचना

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. परिमेय कोण समद्विभाजक समस्या को पूरी तरह हल किया: सभी गैर-तुच्छ परिमेय समाधानों के स्पष्ट सूत्र दिए
  2. पेल समीकरण का नया सिद्धांत स्थापित किया: कठोर मौलिक समाधानों की पूर्ण विशेषता इस क्षेत्र के अंतराल को भरती है
  3. ज्यामिति और संख्या सिद्धांत को जोड़ा: निर्देशांक ज्यामिति समस्याओं और बीजगणितीय संख्या सिद्धांत के बीच गहरे संबंध को दर्शाया

सीमाएं

  1. गणना जटिलता: बड़े dd मानों के लिए, S(d)S(d) और संबंधित पैरामीटर की गणना अधिक जटिल हो सकती है
  2. विशेष मामले: कुछ मॉड्यूलो 8 अवशेष मामलों को विशेष रूप से संभाला जाना आवश्यक है
  3. सामान्यीकरण: क्या विधि को उच्च-क्रम पेल समीकरणों या अन्य द्विघात रूपों तक विस्तारित किया जा सकता है, यह अभी स्पष्ट नहीं है

भविष्य की दिशाएं

  1. गणना एल्गोरिदम: S(d)S(d) और ξp\xi_p की गणना के लिए कुशल एल्गोरिदम विकसित करना
  2. सामान्यीकरण अनुसंधान: विधि को उच्च-क्रम पेल समीकरणों या अन्य द्विघात रूपों तक विस्तारित करना
  3. अनुप्रयोग अन्वेषण: क्रिप्टोग्राफी, कोडिंग सिद्धांत आदि क्षेत्रों में संभावित अनुप्रयोग

गहन मूल्यांकन

शक्तियां

  1. सैद्धांतिक पूर्णता: समस्या का पूर्ण समाधान देता है, सैद्धांतिक प्रणाली कठोर है
  2. विधि नवाचार: कठोर मौलिकता की अवधारणा और अभाज्य गुणनखंडन विधि मौलिक हैं
  3. व्यावहारिक मूल्य: गणना योग्य स्पष्ट सूत्र प्रदान करता है
  4. लेखन स्पष्टता: परिभाषाएं स्पष्ट हैं, प्रमाण विस्तृत हैं, उदाहरण समृद्ध हैं

कमियां

  1. प्रमाण तकनीकी रूप से मजबूत: कुछ प्रमाणों में गहन बीजगणितीय संख्या सिद्धांत शामिल है, जो पाठकों की सीमा को प्रभावित कर सकता है
  2. गणना जटिलता विश्लेषण अनुपस्थित: एल्गोरिदम की समय जटिलता पर चर्चा नहीं की गई है
  3. सीमित अनुप्रयोग परिदृश्य: मुख्य रूप से सैद्धांतिक योगदान है, व्यावहारिक अनुप्रयोग के लिए आगे विकास की आवश्यकता है

प्रभाव

  1. सैद्धांतिक योगदान: पेल समीकरण सिद्धांत के लिए नया दृष्टिकोण और उपकरण प्रदान करता है
  2. अंतः-विषय मूल्य: ज्यामिति, बीजगणितीय संख्या सिद्धांत और गणना गणित को जोड़ता है
  3. पुनरुत्पादनीयता: विस्तृत गणना तालिकाएं और ठोस उदाहरण प्रदान करता है

उपयुक्त परिदृश्य

  1. संख्या सिद्धांत अनुसंधान: पेल समीकरणों और द्विघात रूपों का आगे अनुसंधान
  2. गणना ज्यामिति: परिमेय कोण समद्विभाजकों की आवश्यकता वाली ज्यामितीय एल्गोरिदम
  3. क्रिप्टोग्राफी अनुप्रयोग: द्विघात क्षेत्र-आधारित क्रिप्टोग्राफी प्रणाली डिजाइन
  4. शिक्षण उद्देश्य: प्रारंभिक ज्यामिति को उच्च संख्या सिद्धांत से जोड़ने का उत्कृष्ट उदाहरण

संदर्भ

पेपर निम्नलिखित मुख्य साहित्य का हवाला देता है:

  1. Andreescu & Andrica: द्विघात डायोफेंटाइन समीकरण - पेल समीकरणों की शास्त्रीय पाठ्यपुस्तक
  2. Conrad: पेल का समीकरण, II - पेल समीकरण समाधानों का आधुनिक सिद्धांत
  3. लेखक का पूर्व कार्य: कोण समद्विभाजकों से संबंधित डायोफेंटाइन समीकरण
  4. Mollin: द्विघात - द्विघात क्षेत्र सिद्धांत का मानक संदर्भ

समग्र मूल्यांकन: यह एक उच्च गुणवत्ता का संख्या सिद्धांत पेपर है जो परिमेय कोण समद्विभाजक की इस ज्यामितीय रूप से सहज संख्या सैद्धांतिक समस्या को पूरी तरह हल करता है। पेपर का सैद्धांतिक योगदान महत्वपूर्ण है, विधि नवाचारी है, और यह पेल समीकरण सिद्धांत के लिए नए उपकरण और दृष्टिकोण प्रदान करता है। हालांकि तकनीकी रूप से मजबूत है, लेकिन इसकी ज्यामिति और संख्या सिद्धांत को जोड़ने वाली अद्वितीय मूल्य इसे इस क्षेत्र का एक महत्वपूर्ण योगदान बनाती है।