परिमेय मूल प्रमेय

बीजगणित में, परिमेय मूल प्रमेय (या परिमेय मूल परीक्षण, परिमेय शून्य प्रमेय, परिमेय शून्य परीक्षण या $p/q$ प्रमेय) एक बहुपद समीकरण के परिमेय संख्या समीकरण को हल करने पर एक बाधा बताता है


 * $$a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0 = 0$$

पूर्णांक गुणांक के साथ $$a_i\in\mathbb{Z}$$ तथा $$a_0,a_n \neq 0$$. समीकरण के हल को बहुपद का मूल या बहुपद का बायीं ओर का शून्यक भी कहा जाता है।

प्रमेय कहता है कि प्रत्येक तर्कसंगत संख्या समाधान $x = ^{p}⁄_{q}$, सबसे कम शब्दों में लिखा है जिससे $p$ तथा $q$ अपेक्षाकृत प्रमुख हैं, संतुष्ट हैं:


 * $p$ अचर पद का पूर्णांक विभाजक है $a_{0}$, तथा


 * $q$ अग्रणी गुणांक का एक पूर्णांक कारक है $a_{n}$.

तर्कसंगत मूल प्रमेय गॉस की लेम्मा (बहुपद) का एक विशेष मामला है (एकल रैखिक कारक के लिए) | गॉस की लेम्मा बहुपदों के गुणन पर। अभिन्न मूल प्रमेय तर्कसंगत मूल प्रमेय का विशेष प्रसंग है जब अग्रणी गुणांक होता है$a_{n} = 1$.

आवेदन
प्रमेय का उपयोग बहुपद की सभी परिमेय जड़ों को ढूँढ़ने के लिए किया जाता है,घन फलन यदि कोई हो। यह संभावित अंशों की एक परिमित संख्या देता है जिसे यह देखने के लिए जांचा जा सकता है कि क्या वे जड़ें हैं। यदि एक तर्कसंगत मूल $x = r$ पाया जाता है, तो एक रैखिक बहुपद $(x – r)$ बहुपद लंबे विभाजन का उपयोग करके बहुपद से बाहर निकाला जा सकता है, जिसके परिणामस्वरूप कम डिग्री का बहुपद होता है जिसकी जड़ें मूल बहुपद की जड़ें भी होती हैं।

घन समीकरण
सामान्य घन समीकरण


 * $$ax^3+bx^2+cx+d=0$$

पूर्णांक गुणांक के साथ जटिल विमान में तीन समाधान होते हैं। यदि तर्कसंगत मूल परीक्षण में कोई भी तर्कसंगत समाधान नहीं मिलता है, तो समाधान को व्यक्त करने का एकमात्र तरीका ही बीजगणितीय अभिव्यक्ति घन फलन का उपयोग करता है। लेकिन अगर परीक्षण एक तर्कसंगत समाधान पाता है $r$, तो फिर गुणक करें $(x – r)$ एक द्विघात बहुपद छोड़ता है जिसकी दो जड़ें, द्विघात सूत्र के साथ पाई जाती हैं, घन की शेष दो जड़ें हैं, घनमूल से बचती हैं।

प्रारंभिक प्रमाण
होने देना $$P(x) \ =\ a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0$$ साथ $$a_0, \ldots a_n \in \mathbb{Z}.$$ मान लीजिए कि $P(p/q) = 0$ कुछ सह अभाज्य के लिए $p, q ∈ ℤ$:


 * $$P\left(\tfrac{p}{q}\right) = a_n\left(\tfrac{p}{q}\right)^n + a_{n-1}\left(\tfrac{p}{q}\right)^{n-1} + \cdots + a_1 \left(\tfrac{p}{q}\right) + a_0 = 0.$$

हर को स्पष्ट करने के लिए, दोनों पक्षों को से गुणा करें $q^{n}$:


 * $$a_n p^n + a_{n-1} p^{n-1}q + \cdots + a_1 p q^{n-1} + a_0 q^n = 0.$$

परिवर्तन कर रहा है $a_{0}$ पद को दाईं ओर से और फैक्टरिंग आउट $p$ बाईं ओर से पैदा करता है:


 * $$p \left (a_np^{n-1} + a_{n-1}qp^{n-2} + \cdots + a_1q^{n-1} \right ) = -a_0q^n.$$

इस प्रकार, $p$ विभाजित $a_{0}q^{n}$. परंतु $p$ सहअभाज्य है $q$ और इसलिए $q^{n}$, इसलिए यूक्लिड की लेम्मा द्वारा $p$ शेष कारक को विभाजित करना चाहिए $a_{0}$.

दूसरी ओर, स्थानांतरित कर रहा है $a_{n}$ टर्म को दाईं ओर से और फैक्टरिंग आउट $q$ बाईं ओर से पैदा करता है:


 * $$q \left (a_{n-1}p^{n-1} + a_{n-2}qp^{n-2} + \cdots + a_0q^{n-1} \right ) = -a_np^n.$$

पहले की तरह तर्क करने पर, यह निष्कर्ष निकलता है कि q, a को विभाजित करता है।

गॉस लेम्मा
का उपयोग करके प्रमाण

क्या बहुपद के सभी गुणांकों को विभाजित करने वाला एक गैर-तुच्छ कारक होना चाहिए, तो कोई गुणांक के सबसे बड़े सामान्य विभाजक द्वारा विभाजित कर सकता है जिससे गॉस के लेम्मा (बहुपद) के अर्थ में एक आदिम बहुपद प्राप्त किया जा सके। गॉस की लेम्मा; यह तर्कसंगत मूलों के समूह को नहीं बदलता है और केवल विभाज्यता की स्थितियों को मजबूत करता है। वह लेम्मा कहती है कि यदि बहुपद कारकों में $Q[X]$, तो यह भी कारक है $Z[X]$ आदिम बहुपदों के उत्पाद के रूप में। अब कोई तर्कसंगत मूल $p/q$ डिग्री 1 के कारक से मेल खाती है $Q[X]$ बहुपद का, और इसका आदिम प्रतिनिधि तब होता है $qx − p$, ऐसा मानते हुए कि $p$ तथा $q$ सहअभाज्य हैं। लेकिन कोई भी बहु $Z[X]$ का $qx − p$ द्वारा अग्रणी शब्द विभाज्य है $q$ और निरंतर पद से विभाज्य है $p$, जो कथन को सिद्ध करता है। इस तर्क से पता चलता है कि अधिक सामान्यतः, का कोई अलघुकरणीय कारक $P$ माना जा सकता है कि पूर्णांक गुणांक हैं, और अग्रणी और निरंतर गुणांक इसी गुणांक को विभाजित करते हैं $P$.

पहला
बहुपद में


 * $$2x^3+x-1,$$

किसी भी परिमेय मूल को पूरी तरह से कम करने के लिए एक ऐसा अंश होना चाहिए जो 1 में समान रूप से विभाजित हो सके और एक भाजक जो 2 में समान रूप से विभाजित हो सके। इसलिए केवल संभव परिमेय मूल ±1/2 और ±1 हैं; चूंकि इनमें से कोई भी बहुपद को शून्य के बराबर नहीं करता है, इसलिए इसका कोई परिमेय मूल नहीं है।

दूसरा
बहुपद में


 * $$x^3-7x+6$$

एकमात्र संभव परिमेय मूल में एक अंश होगा जो कि 6 को विभाजित करता है और एक भाजक जो कि 1 को विभाजित करता है, संभावनाओं को ±1, ±2, ±3, और ±6 तक सीमित करता है। इनमें से 1, 2 और -3 बहुपद को शून्य के बराबर करते हैं, और इसलिए इसके परिमेय मूल हैं। (वास्तव में ये इसकी एकमात्र जड़ें हैं क्योंकि एक घन में केवल तीन जड़ें होती हैं; सामान्यतः, एक बहुपद में कुछ परिमेय और कुछ अपरिमेय संख्या जड़ें हो सकती हैं।)

तीसरा
बहुपद की हर तर्कसंगत मूल
 * $$3x^3 - 5x^2 + 5x - 2 $$

प्रतीकात्मक रूप से दर्शाई गई संख्याओं में से होना चाहिए:
 * $$\pm\tfrac{1,2}{1,3} = \pm \left\{1, 2, \tfrac{1}{3}, \tfrac{2}{3}\right\} .$$

ये 8 मूल उम्मीदवार हैं $x = r$ का मूल्यांकन करके परखा जा सकता है $P(r)$, उदाहरण के लिए हॉर्नर की विधि का उपयोग करना। यह पता चला है कि बिल्कुल एक है $P(r) = 0$.

इस प्रक्रिया को और अधिक कुशल बनाया जा सकता है: यदि $P(r) ≠ 0$, इसका उपयोग शेष उम्मीदवारों की सूची को छोटा करने के लिए किया जा सकता है। उदाहरण के लिए, $x = 1$ काम नहीं करता, के रूप में $P(1) = 1$. स्थानापन्न $x = 1 + t$ में एक बहुपद देता है$t$ निरंतर अवधि के साथ $P(1) = 1$, यद्यपि गुणांक $t^{3}$ के गुणांक के समान रहता है $x^{3}$. परिमेय मूल प्रमेय को लागू करने से संभावित मूल प्राप्त होते हैं $$t=\pm\tfrac{1}{1,3}$$, जिससे


 * $$x = 1+t = 2, 0, \tfrac{4}{3}, \tfrac{2}{3}.$$

दोनों सूचियों में सही जड़ें होनी चाहिए, इसलिए परिमेय मूल उम्मीदवारों की सूची केवल x = 2 और x = 2/3 तक सिकुड़ गई है।

यदि k ≥ 1 परिमेय मूल पाए जाते हैं, तो हॉर्नर की विधि भी डिग्री n - k का एक बहुपद प्राप्त करेगी, जिसकी जड़ें, परिमेय जड़ों के साथ, मूल बहुपद की ठीक-ठीक जड़ें हैं। यदि कोई भी उम्मीदवार समाधान नहीं है, तो कोई तर्कसंगत समाधान नहीं हो सकता है।

यह भी देखें

 * बीजगणित का मौलिक प्रमेय
 * एकीकृत रूप से बंद डोमेन
 * डेसकार्टेस के संकेतों का नियम
 * गॉस-लुकास प्रमेय
 * बहुपद मूलों के गुण
 * सामग्री (बीजगणित)
 * आइज़ेंस्टीन की कसौटी

संदर्भ

 * Charles D. Miller, Margaret L. Lial, David I. Schneider: Fundamentals of College Algebra. Scott & Foresman/Little & Brown Higher Education, 3rd edition 1990, ISBN 0-673-38638-4, pp. 216–221
 * Phillip S. Jones, Jack D. Bedient: The historical roots of elementary mathematics. Dover Courier Publications 1998, ISBN 0-486-25563-8, pp. 116–117
 * Ron Larson: Calculus: An Applied Approach. Cengage Learning 2007, ISBN 978-0-618-95825-2, pp. 23–24

बाहरी संबंध

 * RationalRootTheorem at PlanetMath
 * Another proof that nth roots of integers are irrational, except for perfect nth powers by Scott E. Brodie
 * The Rational Roots Test at purplemath.com
 * The Rational Roots Test at purplemath.com