परिमेय मूल प्रमेय: Difference between revisions
No edit summary |
No edit summary |
||
(4 intermediate revisions by 3 users not shown) | |||
Line 5: | Line 5: | ||
[[पूर्णांक]] गुणांक के साथ <math>a_i\in\mathbb{Z}</math> तथा <math>a_0,a_n \neq 0</math>. समीकरण के हल को [[बहुपद]] का मूल या बहुपद का बायीं ओर का शून्यक भी कहा जाता है। | [[पूर्णांक]] गुणांक के साथ <math>a_i\in\mathbb{Z}</math> तथा <math>a_0,a_n \neq 0</math>. समीकरण के हल को [[बहुपद]] का मूल या बहुपद का बायीं ओर का शून्यक भी कहा जाता है। | ||
प्रमेय | प्रमेय में कहा गया है कि प्रत्येक तर्कसंगत संख्या समाधान {{math|1=''x'' = ''<sup>p</sup>⁄<sub>q</sub>''}}, न्यूनतम शब्दों में लिखा गया है जिससे {{math|''p''}} तथा {{math|''q''}} अपेक्षाकृत प्रमुख हों, संतुष्ट करें: | ||
* {{math|''p''}} अचर पद का पूर्णांक वि[[भाजक]] है {{math|''a''<sub>0</sub>}}, तथा | * {{math|''p''}} अचर पद का पूर्णांक वि[[भाजक]] है {{math|''a''<sub>0</sub>}}, तथा | ||
Line 15: | Line 15: | ||
== आवेदन == | == आवेदन == | ||
प्रमेय का उपयोग बहुपद की सभी परिमेय | प्रमेय का उपयोग बहुपद की सभी परिमेय जड़ों को ढूँढ़ने के लिए किया जाता है,घन फलन यदि कोई हो तो। यह संभावित अंशों की एक परिमित संख्या देता है जिसे यह देखने के लिए जांचा जा सकता है कि क्या वे जड़ें हैं।और यदि एक तर्कसंगत मूल {{math|1=''x'' = ''r''}} पाया जाता है, तो एक रैखिक बहुपद {{math|(''x'' – ''r'')}} बहुपद लंबे विभाजन का उपयोग करके बहुपद से बाहर निकाला जा सकता है, जिसके परिणामस्वरूप कम डिग्री का बहुपद होता है और जिसकी जड़ें मूल बहुपद की जड़ें भी होती हैं। | ||
===[[घन समीकरण]]=== | ===[[घन समीकरण]]=== | ||
Line 22: | Line 22: | ||
:<math>ax^3+bx^2+cx+d=0</math> | :<math>ax^3+bx^2+cx+d=0</math> | ||
पूर्णांक गुणांक के साथ [[जटिल विमान]] में तीन समाधान होते हैं। यदि तर्कसंगत मूल परीक्षण में कोई तर्कसंगत समाधान नहीं मिलता है, तो समाधान को व्यक्त करने का एकमात्र तरीका बीजगणितीय अभिव्यक्ति [[क्यूबिक फ़ंक्शन|घन फलन]] का उपयोग करता है। लेकिन अगर परीक्षण एक तर्कसंगत समाधान पाता है {{math|''r''}}, फिर गुणक करें {{math|(''x'' – ''r'')}} एक [[द्विघात बहुपद]] छोड़ता है जिसकी दो | पूर्णांक गुणांक के साथ [[जटिल विमान]] में तीन समाधान होते हैं। और यदि तर्कसंगत मूल परीक्षण में कोई भी तर्कसंगत समाधान नहीं मिलता है, तो समाधान को व्यक्त करने का एकमात्र तरीका ही बीजगणितीय अभिव्यक्ति [[क्यूबिक फ़ंक्शन|घन फलन]] का उपयोग करता है। लेकिन अगर परीक्षण एक तर्कसंगत समाधान पाता है {{math|''r''}}, तो फिर गुणक करें {{math|(''x'' – ''r'')}} एक [[द्विघात बहुपद]] छोड़ता है जिसकी दो जड़ें , [[द्विघात सूत्र]] के साथ पाई जाती हैं, घन की शेष दो जड़ें हैं, घनमूल से बचती हैं। | ||
== प्रमाण == | == प्रमाण == | ||
Line 28: | Line 28: | ||
=== प्रारंभिक प्रमाण === | === प्रारंभिक प्रमाण === | ||
होने देना <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(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>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> | ||
Line 34: | Line 34: | ||
:<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_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|''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> | :<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>}}. | इस प्रकार, {{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|''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> | :<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> | ||
पहले की तरह तर्क | पहले की तरह तर्क करने पर , यह निष्कर्ष निकलता है कि q, a को विभाजित करता है। <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> | ||
Line 48: | Line 48: | ||
=== गॉस लेम्मा === का उपयोग करके प्रमाण | === गॉस लेम्मा === का उपयोग करके प्रमाण | ||
क्या बहुपद के सभी गुणांकों को विभाजित करने वाला एक गैर-तुच्छ कारक होना चाहिए, तो कोई गुणांक के सबसे बड़े सामान्य विभाजक द्वारा विभाजित कर सकता है जिससे गॉस के लेम्मा (बहुपद) के अर्थ में एक आदिम बहुपद प्राप्त किया जा सके। गॉस की लेम्मा; यह तर्कसंगत मूलों के समूह को नहीं बदलता है और केवल विभाज्यता की स्थितियों को मजबूत करता है। वह लेम्मा कहती है कि यदि बहुपद कारकों में {{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|'''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''}}. | ||
== उदाहरण == | == उदाहरण == | ||
Line 57: | Line 57: | ||
:<math>2x^3+x-1,</math> | :<math>2x^3+x-1,</math> | ||
किसी भी परिमेय मूल को पूरी तरह से कम करने के लिए एक ऐसा अंश होना चाहिए जो 1 में समान रूप से विभाजित हो और एक भाजक जो 2 में समान रूप से विभाजित | किसी भी परिमेय मूल को पूरी तरह से कम करने के लिए एक ऐसा अंश होना चाहिए जो 1 में समान रूप से विभाजित हो सके और एक भाजक जो 2 में समान रूप से विभाजित हो सके। इसलिए केवल संभव परिमेय मूल ±1/2 और ±1 हैं; चूंकि इनमें से कोई भी बहुपद को शून्य के बराबर नहीं करता है, इसलिए इसका कोई परिमेय मूल नहीं है। | ||
=== दूसरा === | === दूसरा === | ||
Line 63: | Line 63: | ||
:<math>x^3-7x+6</math> | :<math>x^3-7x+6</math> | ||
एकमात्र संभव परिमेय मूल में एक अंश होगा जो 6 को विभाजित करता है और एक भाजक जो 1 को विभाजित करता है, संभावनाओं को ±1, ±2, ±3, और ±6 तक सीमित करता है। इनमें से 1, 2 और -3 बहुपद को शून्य के बराबर करते हैं, और इसलिए इसके परिमेय मूल हैं। (वास्तव में ये इसकी एकमात्र जड़ें हैं क्योंकि एक घन में केवल तीन जड़ें होती हैं; सामान्यतः, एक बहुपद में कुछ परिमेय और कुछ [[अपरिमेय संख्या]] जड़ें हो सकती हैं।) | एकमात्र संभव परिमेय मूल में एक अंश होगा जो कि 6 को विभाजित करता है और एक भाजक जो कि 1 को विभाजित करता है, तथा संभावनाओं को ±1, ±2, ±3, और ±6 तक सीमित करता है। इनमें से 1, 2 और -3 बहुपद को शून्य के बराबर करते हैं, और इसलिए इसके परिमेय मूल हैं। (वास्तव में ये इसकी एकमात्र जड़ें हैं क्योंकि एक घन में केवल तीन जड़ें होती हैं; सामान्यतः, एक बहुपद में कुछ परिमेय और कुछ [[अपरिमेय संख्या]] जड़ें हो सकती हैं।) | ||
=== तीसरा === | === तीसरा === | ||
Line 71: | Line 71: | ||
प्रतीकात्मक रूप से दर्शाई गई संख्याओं में से होना चाहिए: | प्रतीकात्मक रूप से दर्शाई गई संख्याओं में से होना चाहिए: | ||
: <math>\pm\tfrac{1,2}{1,3} = \pm \left\{1, 2, \tfrac{1}{3}, \tfrac{2}{3}\right\} .</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}}. | ये 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|''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>x = 1+t = 2, 0, \tfrac{4}{3}, \tfrac{2}{3}.</math> | ||
दोनों सूचियों में सही जड़ें होनी चाहिए, इसलिए परिमेय मूल उम्मीदवारों की सूची केवल x = 2 और x = 2/3 तक सिकुड़ गई | दोनों सूचियों में सही जड़ें होनी चाहिए, इसलिए परिमेय मूल उम्मीदवारों की सूची केवल x = 2 और x = 2/3 तक सिकुड़ गई है। | ||
यदि k ≥ 1 परिमेय मूल पाए जाते हैं, तो हॉर्नर की विधि भी डिग्री n - k का एक बहुपद प्राप्त करेगी, जिसकी जड़ें, परिमेय जड़ों के साथ, मूल बहुपद की ठीक-ठीक जड़ें हैं। यदि कोई भी उम्मीदवार समाधान नहीं है, तो कोई तर्कसंगत समाधान नहीं हो सकता है। | यदि k ≥ 1 परिमेय मूल पाए जाते हैं, तो हॉर्नर की विधि भी डिग्री n - k का एक बहुपद प्राप्त करेगी, जिसकी जड़ें, परिमेय जड़ों के साथ, मूल बहुपद की ठीक-ठीक जड़ें हैं। यदि कोई भी उम्मीदवार समाधान नहीं है, तो कोई तर्कसंगत समाधान नहीं हो सकता है। | ||
Line 105: | Line 105: | ||
* [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.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 | *[http://www.purplemath.com/modules/rtnlroot.htm ''The Rational Roots Test''] at purplemath.com | ||
[[Category:Articles with short description]] | |||
[[Category: | [[Category:CS1 français-language sources (fr)]] | ||
[[Category:CS1 maint]] | |||
[[Category:CS1 Ελληνικά-language sources (el)]] | |||
[[Category:Citation Style 1 templates|W]] | |||
[[Category:Collapse templates]] | |||
[[Category:Created On 24/11/2022]] | [[Category:Created On 24/11/2022]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages with empty portal template]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Portal templates with redlinked portals]] | |||
[[Category:Short description with empty Wikidata description]] | |||
[[Category:Sidebars with styles needing conversion]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates based on the Citation/CS1 Lua module]] | |||
[[Category:Templates generating COinS|Cite web]] | |||
[[Category:Templates generating microformats]] | |||
[[Category:Templates that are not mobile friendly]] | |||
[[Category:Templates used by AutoWikiBrowser|Cite web]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:Wikipedia fully protected templates|Cite web]] | |||
[[Category:Wikipedia metatemplates]] | |||
[[Category:बहुपदों के बारे में प्रमेय]] | |||
[[Category:रूट-फाइंडिंग एल्गोरिद्म]] |
Latest revision as of 09:38, 13 December 2022
बीजगणित में, परिमेय मूल प्रमेय (या परिमेय मूल परीक्षण, परिमेय शून्य प्रमेय, परिमेय शून्य परीक्षण या p/q प्रमेय) एक बहुपद समीकरण के परिमेय संख्या समीकरण को हल करने पर एक बाधा बताता है
पूर्णांक गुणांक के साथ तथा . समीकरण के हल को बहुपद का मूल या बहुपद का बायीं ओर का शून्यक भी कहा जाता है।
प्रमेय में कहा गया है कि प्रत्येक तर्कसंगत संख्या समाधान x = p⁄q, न्यूनतम शब्दों में लिखा गया है जिससे p तथा q अपेक्षाकृत प्रमुख हों, संतुष्ट करें:
- p अचर पद का पूर्णांक विभाजक है a0, तथा
- q अग्रणी गुणांक का एक पूर्णांक कारक है an.
तर्कसंगत मूल प्रमेय गॉस की लेम्मा (बहुपद) का एक विशेष मामला है (एकल रैखिक कारक के लिए) | गॉस की लेम्मा बहुपदों के गुणन पर। अभिन्न मूल प्रमेय तर्कसंगत मूल प्रमेय का विशेष प्रसंग है जब अग्रणी गुणांक होता हैan = 1.
आवेदन
प्रमेय का उपयोग बहुपद की सभी परिमेय जड़ों को ढूँढ़ने के लिए किया जाता है,घन फलन यदि कोई हो तो। यह संभावित अंशों की एक परिमित संख्या देता है जिसे यह देखने के लिए जांचा जा सकता है कि क्या वे जड़ें हैं।और यदि एक तर्कसंगत मूल x = r पाया जाता है, तो एक रैखिक बहुपद (x – r) बहुपद लंबे विभाजन का उपयोग करके बहुपद से बाहर निकाला जा सकता है, जिसके परिणामस्वरूप कम डिग्री का बहुपद होता है और जिसकी जड़ें मूल बहुपद की जड़ें भी होती हैं।
घन समीकरण
सामान्य घन समीकरण
पूर्णांक गुणांक के साथ जटिल विमान में तीन समाधान होते हैं। और यदि तर्कसंगत मूल परीक्षण में कोई भी तर्कसंगत समाधान नहीं मिलता है, तो समाधान को व्यक्त करने का एकमात्र तरीका ही बीजगणितीय अभिव्यक्ति घन फलन का उपयोग करता है। लेकिन अगर परीक्षण एक तर्कसंगत समाधान पाता है r, तो फिर गुणक करें (x – r) एक द्विघात बहुपद छोड़ता है जिसकी दो जड़ें , द्विघात सूत्र के साथ पाई जाती हैं, घन की शेष दो जड़ें हैं, घनमूल से बचती हैं।
प्रमाण
प्रारंभिक प्रमाण
होने देना साथ मान लीजिए कि P(p/q) = 0 कुछ सह अभाज्य के लिए p, q ∈ ℤ:
हर को स्पष्ट करने के लिए, दोनों पक्षों को से गुणा करें qn:
परिवर्तन कर रहा है a0 पद को दाईं ओर से और फैक्टरिंग आउट p बाईं ओर से पैदा करता है:
इस प्रकार, p विभाजित a0qn. परंतु p सहअभाज्य है q और इसलिए qn, इसलिए यूक्लिड की लेम्मा द्वारा p शेष कारक को विभाजित करना चाहिए a0.
दूसरी ओर, स्थानांतरित कर रहा है an टर्म को दाईं ओर से और फैक्टरिंग आउट q बाईं ओर से पैदा करता है:
पहले की तरह तर्क करने पर , यह निष्कर्ष निकलता है कि q, a को विभाजित करता है। [1]
=== गॉस लेम्मा === का उपयोग करके प्रमाण
क्या बहुपद के सभी गुणांकों को विभाजित करने वाला एक गैर-तुच्छ कारक होना चाहिए, तो कोई गुणांक के सबसे बड़े सामान्य विभाजक द्वारा विभाजित कर सकता है जिससे गॉस के लेम्मा (बहुपद) के अर्थ में एक आदिम बहुपद प्राप्त किया जा सके। गॉस की लेम्मा; यह तर्कसंगत मूलों के समूह को नहीं बदलता है और केवल विभाज्यता की स्थितियों को मजबूत करता है। वह लेम्मा कहती है कि यदि बहुपद कारकों में Q[X], तो यह भी कारक है Z[X] आदिम बहुपदों के उत्पाद के रूप में। अब कोई तर्कसंगत मूल p/q डिग्री 1 के कारक से मेल खाती है Q[X] बहुपद का, और इसका आदिम प्रतिनिधि तब होता है qx − p, ऐसा मानते हुए कि p तथा q सहअभाज्य हैं। लेकिन कोई भी बहु Z[X] का qx − p द्वारा अग्रणी शब्द विभाज्य है q और निरंतर पद से विभाज्य है p, जो कथन को सिद्ध करता है। तथा इस तर्क से पता चलता है कि अधिक सामान्यतः, का कोई अलघुकरणीय कारक P माना जा सकता है कि पूर्णांक गुणांक हैं, और अग्रणी और निरंतर गुणांक इसी गुणांक को विभाजित करते हैं P.
उदाहरण
पहला
बहुपद में
किसी भी परिमेय मूल को पूरी तरह से कम करने के लिए एक ऐसा अंश होना चाहिए जो 1 में समान रूप से विभाजित हो सके और एक भाजक जो 2 में समान रूप से विभाजित हो सके। इसलिए केवल संभव परिमेय मूल ±1/2 और ±1 हैं; चूंकि इनमें से कोई भी बहुपद को शून्य के बराबर नहीं करता है, इसलिए इसका कोई परिमेय मूल नहीं है।
दूसरा
बहुपद में
एकमात्र संभव परिमेय मूल में एक अंश होगा जो कि 6 को विभाजित करता है और एक भाजक जो कि 1 को विभाजित करता है, तथा संभावनाओं को ±1, ±2, ±3, और ±6 तक सीमित करता है। इनमें से 1, 2 और -3 बहुपद को शून्य के बराबर करते हैं, और इसलिए इसके परिमेय मूल हैं। (वास्तव में ये इसकी एकमात्र जड़ें हैं क्योंकि एक घन में केवल तीन जड़ें होती हैं; सामान्यतः, एक बहुपद में कुछ परिमेय और कुछ अपरिमेय संख्या जड़ें हो सकती हैं।)
तीसरा
बहुपद की हर तर्कसंगत मूल
प्रतीकात्मक रूप से दर्शाई गई संख्याओं में से होना चाहिए:
ये 8 मूल उम्मीदवार हैं x = r का मूल्यांकन करके परखा जा सकता है P(r), उदाहरण के लिए हॉर्नर की विधि का उपयोग करना। यह पता चला है कि बिल्कुल एक है P(r) = 0.
इस प्रक्रिया को और अधिक कुशल बनाया जा सकता है: यदि P(r) ≠ 0, इसका उपयोग शेष उम्मीदवारों की सूची को छोटा करने के लिए किया जा सकता है।[2] उदाहरण के लिए, x = 1 काम नहीं करता, के रूप में P(1) = 1. स्थानापन्न x = 1 + t में एक बहुपद देता हैt निरंतर अवधि के साथ P(1) = 1, यद्यपि गुणांक t3 के गुणांक के समान रहता है x3. परिमेय मूल प्रमेय को लागू करने से संभावित मूल प्राप्त होते हैं , जिससे
दोनों सूचियों में सही जड़ें होनी चाहिए, इसलिए परिमेय मूल उम्मीदवारों की सूची केवल x = 2 और x = 2/3 तक सिकुड़ गई है।
यदि k ≥ 1 परिमेय मूल पाए जाते हैं, तो हॉर्नर की विधि भी डिग्री n - k का एक बहुपद प्राप्त करेगी, जिसकी जड़ें, परिमेय जड़ों के साथ, मूल बहुपद की ठीक-ठीक जड़ें हैं। यदि कोई भी उम्मीदवार समाधान नहीं है, तो कोई तर्कसंगत समाधान नहीं हो सकता है।
यह भी देखें
- बीजगणित का मौलिक प्रमेय
- एकीकृत रूप से बंद डोमेन
- डेसकार्टेस के संकेतों का नियम
- गॉस-लुकास प्रमेय
- बहुपद मूलों के गुण
- सामग्री (बीजगणित)
- आइज़ेंस्टीन की कसौटी
टिप्पणियाँ
- ↑ Arnold, D.; Arnold, G. (1993). चार इकाई गणित. Edward Arnold. pp. 120–121. ISBN 0-340-54335-3.
- ↑ King, Jeremy D. (November 2006). "बहुपदों की पूर्णांक जड़ें". Mathematical Gazette. 90: 455–456.
संदर्भ
- 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 (online copy, p. 116, at Google Books)
- Ron Larson: Calculus: An Applied Approach. Cengage Learning 2007, ISBN 978-0-618-95825-2, pp. 23–24 (online copy, p. 23, at Google Books)
बाहरी संबंध
- Weisstein, Eric W. "Rational Zero Theorem". MathWorld.
- 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