द्विघात अपरिमेय संख्या

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


 * $${a+b\sqrt{c} \over d},$$

पूर्णांकों के लिए $a, b, c, d$; साथ $b$, $c$ तथा $d$ गैर-शून्य, और वर्ग-मुक्त पूर्णांक $c$ की सकारात्मकता का निर्धारण कर हमें वास्तविक द्विघात अपरिमेय संख्याएँ मिलती हैं, जबकि एक ऋणात्मक $c$ जटिल द्विघात अपरिमेय संख्याएँ देता है जो वास्तविक संख्याएँ नहीं हैं। यह द्विघात अपरिमेय से चौगुनी पूर्णांकों के लिए एक अंतःक्षेपी फलन को परिभाषित करता है, इसलिए उनकी संख्यात्मकता सबसे अधिक गणना योग्य है; चूँकि दूसरी ओर एक अभाज्य संख्या का प्रत्येक वर्गमूल एक विशिष्ट द्विघात अपरिमेय है, और कई अभाज्य संख्याएँ हैं, वे न्यूनतम गणनीय हैं; इसलिए द्विघात अपरिमेय एक गणनीय समुच्चय हैं।

परिमेय संख्याओं के क्षेत्र(गणित) के क्षेत्र विस्तार के निर्माण के लिए क्षेत्र सिद्धांत(गणित) में द्विघात अपरिमेय का उपयोग किया जाता है $Q$. वर्ग मुक्त पूर्णांक दिया गया है $c$, की वृद्धि $Q$ द्विघात अपरिमेय का उपयोग करके $√c$ द्विघात क्षेत्र उत्पन्न करता है $Q(√c$). उदाहरण के लिए, तत्वों का गुणात्मक व्युत्क्रम $Q(√c$) उपरोक्त बीजगणितीय संख्याओं के समान रूप हैं:


 * $${d \over a+b\sqrt{c}} = {ad - bd\sqrt{c} \over a^2-b^2c}. $$

द्विघात अपरिमेय में उपयोगी गुण होते हैं, विशेष रूप से निरंतर अंशों के संबंध में, जहां हमारे पास यह परिणाम होता है कि सभी वास्तविक द्विघात अपरिमेय, और केवल वास्तविक द्विघात अपरिमेय, आवधिक निरंतर अंश रूप होते हैं। उदाहरण के लिए


 * $$\sqrt{3} = 1.732\ldots=[1;1,2,1,2,1,2,\ldots]$$

आवधिक निरंतर अंशों को तर्कसंगत संख्याओं के साथ एक-से-एक पत्राचार में रखा जा सकता है। पत्राचार स्पष्ट रूप से मिंकोस्की के प्रश्न चिह्न समारोह द्वारा प्रदान किया गया है, और उस लेख में एक स्पष्ट निर्माण दिया गया है। यह पूरी तरह से परिमेय संख्याओं और द्विआधारी अंकों के तार के बीच पत्राचार के अनुरूप है, जिसमें अंततः दोहराई जाने वाली कड़ी होती है, जो प्रश्न चिह्न फलन द्वारा भी प्रदान की जाती है। इस तरह के दोहराए जाने वाले अनुक्रम डायाडिक परिवर्तन(द्विआधारी अंकों के लिए) और गॉस-कुज़मिन-विर्सिंग ऑपरेटर की आवधिक कक्षाओं के अनुरूप हैं। $$h(x)=1/x-\lfloor 1/x \rfloor$$ निरंतर अंशों के लिए व्यक्त किया गया है।

वास्तविक द्विघात अपरिमेय संख्या और अनिश्चित द्विआधारी द्विघात रूप
हम द्विघात अपरिमेयता को इस प्रकार फिर से लिख सकते हैं:


 * $$\frac{a+b\sqrt{c}} d = \frac{a+\sqrt{b^2c}} d.$$

यह इस प्रकार है कि प्रत्येक द्विघात अपरिमेय संख्या को रूप में लिखा जा सकता है


 * $$\frac{a+\sqrt{c}} d.$$

यह अभिव्यक्ति अद्वितीय नहीं है।

एक गैर-वर्ग, धनात्मक पूर्णांक को $$c$$ मॉड्यूलर अंकगणित $$0$$ या $$1$$ मापांक $$4$$, और एक सेट को परिभाषित करें $$S_c$$ जैसा


 * $$S_c = \left\{ \frac{a+\sqrt{c}} d \colon a, d \text{ integers, } \, d \text{ even}, \, a^2 \equiv c \pmod{2d} \right\}.$$

प्रत्येक द्विघात अपरिमेयता किसी न किसी समुच्चय में होती है $$S_c$$, क्योंकि सर्वांगसमता की शर्तों को अंश और हर को एक उचित गुणक द्वारा मापन करके पूरा किया जा सकता है।

एक आव्यूह(गणित)


 * $$\begin{pmatrix} \alpha & \beta\\ \gamma & \delta\end{pmatrix}$$

पूर्णांक प्रविष्टियों के साथ और $$\alpha \delta-\beta \gamma=1$$ एक संख्या को बदलने के लिए उपयोग किया जा सकता है $$y$$ में $$S_c$$. रूपांतरित संख्या है


 * $$z = \frac{\alpha y+\beta}{\gamma y+\delta}$$

यदि $$y$$ में $$S_c$$ है, फिर भी $$z$$,

के बीच संबंध $$y$$ तथा $$z$$ के ऊपर एक तुल्यता संबंध है।(यह इस प्रकार है, उदाहरण के लिए, क्योंकि उपरोक्त परिवर्तन सेट पर निर्धारक 1 के साथ पूर्णांक $$S_c$$ आव्यूह के समूह(गणित) की एक समूह क्रिया(गणित) देता है ।) इस प्रकार, $$S_c$$ समतुल्य वर्गों में विभाजन, प्रत्येक तुल्यता वर्ग में कुछ आव्यूह की क्रिया के माध्यम से प्रत्येक युग्म समतुल्य के साथ द्विघात अपरिमेयताओं का संग्रह होता है। सेरेट के प्रमेय का अर्थ है कि समतुल्य द्विघात अपरिमेयताओं के नियमित निरंतर अंश विस्तार अंततः समान होते हैं, अर्थात, आंशिक भागफलों के उनके अनुक्रम में एक ही कड़ी होती है। इस प्रकार, एक तुल्यता वर्ग में सभी संख्याओं में निरंतर अंश विस्तार होता है जो अंततः एक ही कड़ी के साथ आवधिक होते हैं।

इसमें द्विघात अपरिमेयताओं के निश्चित रूप से कई तुल्यता वर्ग हैं $$S_c$$. इसके मानक गणितीय प्रमाण में मानचित्र पर विचार करना सम्मिलित है $$\phi$$ विवेचक के द्विआधारी द्विघात रूपों से $$c$$ प्रति $$S_c$$ के द्वारा दिया गया


 * $$ \phi (tx^2 + uxy + vy^2) = \frac{-u + \sqrt{c}}{2t}$$

एक गणना से पता चलता है $$\phi$$ एक आक्षेप है जो प्रत्येक सेट पर आव्यूह क्रिया का सम्मान करता है। द्विघात अपरिमेयता के तुल्यता वर्ग तब द्विआधारी द्विघात रूपों के तुल्यता वर्गों के साथ आपत्ति में हैं, और लैग्रेंज ने दिखाया कि दिए गए विवेचक के द्विआधारी द्विघात रूपों के बहुत सारे तुल्यता वर्ग हैं।

आपत्ति के माध्यम से $$\phi$$, में एक संख्या का विस्तार $$S_c$$ एक निरंतर अंश में द्विघात रूप को कम करने के अनुरूप है। निरंतर अंश की अंततः आवधिक प्रकृति तब घटी हुई द्विघात रूप की कक्षा की अंततः आवधिक प्रकृति में परिलक्षित होती है, कम द्विघात रूपों के अनुरूप कम द्विघात अपरिमेयता(विशुद्ध रूप से आवधिक निरंतर अंश वाले) के साथ।

गैर-वर्ग का वर्गमूल अपरिमेय है
द्विघात अपरिमेय की परिभाषा के लिए उन्हें दो शर्तों को पूरा करने की आवश्यकता होती है: उन्हें एक द्विघात समीकरण को संतुष्ट करना चाहिए और उन्हें अपरिमेय होना चाहिए। द्विघात समीकरण ax2 + bx + c = 0 का हल हैं


 * $$\frac{-b\pm\sqrt{b^2-4ac}}{2a}.$$

इस प्रकार द्विघात अपरिमेय ठीक इस रूप में वे वास्तविक संख्याएँ हैं जो परिमेय नहीं हैं। चूँकि b और 2a दोनों पूर्णांक हैं, यह पूछना कि उपरोक्त मात्रा कब अपरिमेय है, यह पूछने के समान है कि पूर्णांक का वर्गमूल कब अपरिमेय है। इसका उत्तर यह है कि किसी भी प्राकृत संख्या का वर्गमूल जो कि वर्ग संख्या नहीं है, अपरिमेय होती है।

2 का वर्गमूल पहली ऐसी संख्या थी जिसे अपरिमेय सिद्ध किया गया था। सायरीन के थियोडोरस ने 17 तक की गैर-वर्ग प्राकृतिक संख्याओं के वर्गमूलों की अपरिमेयता को सिद्ध किया, लेकिन वहीं रुक गया, अनुमानतः इसलिए क्योंकि उसने जिस बीजगणित का उपयोग किया वह 17 से अधिक संख्याओं के वर्गमूल पर लागू नहीं किया जा सका। यूक्लिड की एलिमेंट्स बुक 10 समर्पित है अपरिमेय परिमाण का वर्गीकरण करने के लिए गैर-वर्ग प्राकृतिक संख्याओं की अपरिमेयता का मूल प्रमाण यूक्लिड के लेम्मा पर निर्भर करता है।

गैर-वर्ग प्राकृतिक संख्याओं के वर्गमूलों की अपरिमेयता के कई प्रमाण स्पष्ट रूप से अंकगणित के मौलिक प्रमेय को मानते हैं, जिसे सबसे पहले कार्ल फ्रेडरिक गॉस ने अपने डिक्विजिशन अरिथमेटिका में सिद्ध किया था। यह दावा करता है कि प्रत्येक पूर्णांक का अभाज्य में एक अद्वितीय गुणनखंड होता है। किसी भी परिमेय गैर-पूर्णांक के लिए निम्नतम शब्दों में भाजक में एक अभाज्य होना चाहिए जो अंश में विभाजित नहीं होता है। जब अंश का वर्ग किया जाता है तो वह अभाज्य अद्वितीय गुणनखंडन के कारण उसमें विभाजित नहीं होगा। इसलिए, एक तर्कसंगत गैर-पूर्णांक का वर्ग सदैव एक गैर-पूर्णांक होता है; प्रतिधनात्मक द्वारा, एक पूर्णांक का वर्गमूल सदैव या तो एक अन्य पूर्णांक होता है, या अपरिमेय होता है।

यूक्लिड ने मौलिक प्रमेय के प्रतिबंधित संस्करण और प्रमेय को प्रमाणित करने के लिए कुछ सावधानीपूर्वक तर्क का उपयोग किया। उसका प्रमाण यूक्लिड की एलिमेंट्स बुक X प्रस्ताव 9 में है। हालाँकि, परिणाम को सिद्ध करने के लिए अंकगणित के मौलिक प्रमेय की वास्तव में आवश्यकता नहीं है। रिचर्ड डेडेकिंड द्वारा स्व-निहित प्रमाण हैं, दूसरों के बीच में 1975 में थियोडोर एस्टरमैन द्वारा पाए गए 2 के वर्गमूल की अपरिमेयता के प्रमाण से निम्नलिखित प्रमाण को कॉलिन रिचर्ड ह्यूजेस द्वारा रूपांतरित किया गया था। मान लें कि डी एक गैर-वर्ग प्राकृतिक संख्या है, तो एक संख्या n है जैसे कि:


 * n2 <D <(n + 1) ,

तो विशेष रूप से


 * 0 < $\sqrt{D}$ - n <1

मान लें कि D का वर्गमूल एक परिमेय संख्या p/q है, मान लें कि यहाँ q सबसे छोटा है जिसके लिए यह सत्य है, इसलिए सबसे छोटी संख्या जिसके लिए q$\sqrt{D}$ एक पूर्णांक भी है।

फिर


 * ($\sqrt{D}$ - n) q$\sqrt{D}$ = qD - nq$\sqrt{D}$

यह एक पूर्णांक भी है। लेकिन 0<<($\sqrt{D}$− n) < 1 तो($\sqrt{D}$− n)q < q,

अतः ($\sqrt{D}$− n)q, q से छोटा पूर्णांक है। यह एक विरोधाभास है क्योंकि q को इस संपत्ति के साथ सबसे छोटी संख्या के रूप में परिभाषित किया गया था इसलिये $\sqrt{D}$ तर्कसंगत नहीं हो सकता।

यह भी देखें

 * बीजगणितीय संख्या क्षेत्र
 * एपोटोम(गणित)
 * आवधिक निरंतर अंश
 * प्रतिबंधित आंशिक भागफल
 * द्विघात पूर्णांक

बाहरी संबंध

 * Continued fraction calculator for quadratic irrationals
 * Proof that e is not a quadratic irrational
 * Proof that e is not a quadratic irrational