View source for परिमेय मूल प्रमेय

{{short description|Relationship between the rational roots of a polynomial and its extreme coefficients}}
[[बीजगणित]] में, परिमेय मूल प्रमेय (या परिमेय मूल परीक्षण, परिमेय शून्य प्रमेय, परिमेय शून्य परीक्षण या {{math|''p''/''q''}} प्रमेय) एक [[बहुपद समीकरण]] के [[परिमेय संख्या]] समीकरण को हल करने पर एक बाधा बताता है

:<math>a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0 = 0</math>
[[पूर्णांक]] गुणांक के साथ <math>a_i\in\mathbb{Z}</math> तथा <math>a_0,a_n \neq 0</math>. समीकरण के हल को [[बहुपद]] का मूल या बहुपद का बायीं ओर का शून्यक भी कहा जाता है।

प्रमेय कहता है कि प्रत्येक तर्कसंगत संख्या समाधान {{math|1=''x''&nbsp;=&nbsp;''<sup>p</sup>⁄<sub>q</sub>''}}, सबसे कम शब्दों में लिखा है जिससे  {{math|''p''}} तथा {{math|''q''}} अपेक्षाकृत प्रमुख हैं, संतुष्ट हैं:

* {{math|''p''}} अचर पद का पूर्णांक वि[[भाजक]] है {{math|''a''<sub>0</sub>}}, तथा

* {{math|''q''}} अग्रणी गुणांक का एक पूर्णांक कारक है {{math|''a<sub>n</sub>''}}.

तर्कसंगत मूल प्रमेय गॉस की लेम्मा (बहुपद) का एक विशेष मामला है (एकल रैखिक कारक के लिए) | गॉस की लेम्मा बहुपदों के गुणन पर। अभिन्न मूल प्रमेय तर्कसंगत मूल प्रमेय का विशेष मामला है जब अग्रणी गुणांक होता है{{math|1=''a<sub>n</sub>''&nbsp;=&nbsp;1}}.

== आवेदन ==

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

===[[घन समीकरण]]===

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

:<math>ax^3+bx^2+cx+d=0</math>
पूर्णांक गुणांक के साथ [[जटिल विमान]] में तीन समाधान होते हैं। यदि तर्कसंगत मूल परीक्षण में कोई तर्कसंगत समाधान नहीं मिलता है, तो समाधान को व्यक्त करने का एकमात्र तरीका बीजगणितीय अभिव्यक्ति [[क्यूबिक फ़ंक्शन|घन फलन]] का उपयोग करता है। लेकिन अगर परीक्षण एक तर्कसंगत समाधान पाता है {{math|''r''}}, फिर फैक्टरिंग करें {{math|(''x'' – ''r'')}} एक [[द्विघात बहुपद]] छोड़ता है जिसकी दो मूलें, [[द्विघात सूत्र]] के साथ पाई जाती हैं, घन की शेष दो मूलें हैं, घनमूल से बचती हैं।

== प्रमाण ==

=== प्रारंभिक प्रमाण ===

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

:<math>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.</math>
हर को स्पष्ट करने के लिए, दोनों पक्षों को से गुणा करें {{math|''q''<sup>''n''</sup>}}: 

:<math>a_n p^n + a_{n-1} p^{n-1}q + \cdots + a_1 p q^{n-1} + a_0 q^n = 0.</math>
परिवर्तन कर रहा है {{math|''a''<sub>0</sub>}} टर्म को दाईं ओर और फैक्टरिंग आउट {{mvar|p}} बाईं ओर पैदा करता है:

:<math>p \left (a_np^{n-1} + a_{n-1}qp^{n-2} + \cdots + a_1q^{n-1} \right ) = -a_0q^n.</math>
इस प्रकार, {{mvar|p}} विभाजित {{math|''a''<sub>0</sub>''q<sup>n</sup>''}}. परंतु {{mvar|p}} सहअभाज्य है {{mvar|q}} और इसलिए {{math|''q<sup>n</sup>''}}, इसलिए यूक्लिड की लेम्मा द्वारा {{mvar|p}} शेष कारक को विभाजित करना चाहिए {{math|''a''<sub>0</sub>}}.

दूसरी ओर, स्थानांतरित कर रहा है {{math|''a''<sub>''n''</sub>}} टर्म को दाईं ओर और फैक्टरिंग आउट {{mvar|q}} बाईं ओर पैदा करता है:

:<math>q \left (a_{n-1}p^{n-1} + a_{n-2}qp^{n-2} + \cdots + a_0q^{n-1} \right ) = -a_np^n.</math>
पहले की तरह तर्क करना, यह उसका अनुसरण करता है {{mvar|q}} विभाजित {{math|''a<sub>n</sub>''}}.<ref>{{cite book |first=D. |last=Arnold |first2=G. |last2=Arnold |title=चार इकाई गणित|publisher=Edward Arnold |year=1993 |isbn=0-340-54335-3 |pages=120–121 }}</ref>



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

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

== उदाहरण ==

=== पहला ===

बहुपद में

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

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

:<math>x^3-7x+6</math>
एकमात्र संभव परिमेय मूल में एक अंश होगा जो 6 को विभाजित करता है और एक भाजक जो 1 को विभाजित करता है, संभावनाओं को ±1, ±2, ±3, और ±6 तक सीमित करता है। इनमें से 1, 2 और -3 बहुपद को शून्य के बराबर करते हैं, और इसलिए इसके परिमेय मूल हैं। (वास्तव में ये इसकी एकमात्र मूलें हैं क्योंकि एक घन में केवल तीन मूलें होती हैं; सामान्य तौर पर, एक बहुपद में कुछ परिमेय और कुछ [[अपरिमेय संख्या]] मूलें हो सकती हैं।)

=== तीसरा ===

बहुपद की हर तर्कसंगत मूल
:<math>3x^3 - 5x^2 + 5x - 2 </math>
प्रतीकात्मक रूप से दर्शाई गई संख्याओं में से होना चाहिए:
: <math>\pm\tfrac{1,2}{1,3} = \pm \left\{1, 2, \tfrac{1}{3}, \tfrac{2}{3}\right\} .</math>
ये 8 मूल उम्मीदवार हैं {{math|1=''x'' = ''r''}} मूल्यांकन करके परखा जा सकता है {{math|''P''(''r'')}}, उदाहरण के लिए हॉर्नर की विधि का उपयोग करना। यह पता चला है कि बिल्कुल एक है {{math|1=''P''(''r'') = 0}}.

इस प्रक्रिया को और अधिक कुशल बनाया जा सकता है: यदि {{math|''P''(''r'') ≠ 0}}, इसका उपयोग शेष उम्मीदवारों की सूची को छोटा करने के लिए किया जा सकता है।<ref>{{cite journal |last=King |first=Jeremy D. |title=बहुपदों की पूर्णांक जड़ें|journal=Mathematical Gazette |volume=90 |date= November 2006 |pages=455–456 }}</ref> उदाहरण के लिए, {{math|1=''x'' = 1}} काम नहीं करता, के रूप में {{math|1=''P''(1) = 1}}. स्थानापन्न {{math|1=''x'' = 1 + ''t''}} में एक बहुपद देता है{{mvar|t}} निरंतर अवधि के साथ {{math|1=''P''(1) = 1}}, जबकि का गुणांक {{math|''t''<sup>3</sup>}} के गुणांक के समान रहता है {{math|''x''<sup>3</sup>}}. परिमेय मूल प्रमेय को लागू करने से संभावित मूल प्राप्त होते हैं <math>t=\pm\tfrac{1}{1,3}</math>, जिससे 

:<math>x = 1+t = 2, 0, \tfrac{4}{3}, \tfrac{2}{3}.</math>
ट्रू मूल दोनों सूचियों पर होने चाहिए, इसलिए तर्कसंगत मूल उम्मीदवारों की सूची सिकुड़ कर सिर्फ हो गई है {{math|1=''x'' = 2}} तथा {{math|1=''x'' = 2/3}}.

यदि {{math|''k'' ≥ 1}} तर्कसंगत मूलें पाई जाती हैं, हॉर्नर की विधि भी डिग्री के बहुपद का उत्पादन करेगी {{math|''n'' − ''k''}} जिसकी मूलें, तर्कसंगत मूलों के साथ मूल बहुपद की मूलें हैं। यदि कोई भी उम्मीदवार समाधान नहीं है, तो कोई तर्कसंगत समाधान नहीं हो सकता है।

== यह भी देखें ==
{{Portal|Mathematics}}
* [[बीजगणित का मौलिक प्रमेय]]
*[[एकीकृत रूप से बंद डोमेन]]
* डेसकार्टेस के संकेतों का नियम
* गॉस-लुकास प्रमेय
* [[बहुपद जड़ों के गुण|बहुपद मूलों के गुण]]
* [[सामग्री (बीजगणित)]]
* आइज़ेंस्टीन की कसौटी

==टिप्पणियाँ==
{{Reflist}}


==संदर्भ==
*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.&nbsp;216–221
*Phillip S. Jones, Jack D. Bedient: ''The historical roots of elementary mathematics''. Dover Courier Publications 1998, {{isbn|0-486-25563-8}}, pp.&nbsp;116–117  ({{Google books|7xArILpcndYC|online copy|page=116}})
*Ron Larson: ''Calculus: An Applied Approach''. Cengage Learning 2007, {{isbn|978-0-618-95825-2}}, pp.&nbsp;23–24  ({{Google books|bDG7V0OV34C|online copy|page=23}})


==बाहरी संबंध==
*{{MathWorld|urlname=RationalZeroTheorem|title=Rational Zero Theorem}}
*[http://planetmath.org/encyclopedia/RationalRootTheorem.html ''RationalRootTheorem''] at [[PlanetMath]]
* [http://www.cut-the-knot.org/Generalization/RationalRootTheorem.shtml Another proof that n<sup>th</sup> roots of integers are irrational, except for perfect nth powers] by Scott E. Brodie
*[http://www.purplemath.com/modules/rtnlroot.htm ''The Rational Roots Test''] at purplemath.com
[[Category: बहुपदों के बारे में प्रमेय]]
[[Category:रूट-फाइंडिंग एल्गोरिद्म]]


[[Category: Machine Translated Page]]
[[Category:Created On 24/11/2022]]