डायोफैंटाइन समीकरण: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Polynomial equation whose integer solutions are sought}}
{{Short description|Polynomial equation whose integer solutions are sought}}
{{Use dmy dates|date=October 2020}}
{{Use dmy dates|date=October 2020}}
[[File:Rtriangle.svg|thumb|पूर्णांक भुजा-लंबाई वाले सभी [[पायथागॉरियन ट्रिपल]] | समकोण त्रिभुजों को ढूँढना डायोफैंटाइन समीकरण को हल करने के बराबर है {{math|1=''a''<sup>2</sup> + ''b''<sup>2</sup> = ''c''<sup>2</sup>}}.]]गणित में, डायोफैंटाइन समीकरण [[बहुपद समीकरण]] है, जिसमें आमतौर पर दो या अधिक [[अज्ञात (गणित)|अपरिचित]] सम्मिलित होते हैं, जैसे कि ब्याज का एकमात्र समीकरण [[पूर्णांक]] हैं। रेखीय डायोफैंटाइन समीकरण दो या दो से अधिक [[एकपदीयों]] के योग के बराबर होता है, जिनमें से प्रत्येक [[एक बहुपद की डिग्री]] होती है। घातीय डायोफैंटाइन समीकरण वह है जिसमें अज्ञात घातांक में प्रकट हो सकते हैं।
[[File:Rtriangle.svg|thumb|पूर्णांक भुजा-लंबाई वाले सभी [[पायथागॉरियन ट्रिपल]] | समकोण त्रिभुजों को ढूँढना डायोफैंटाइन समीकरण को हल करने के बराबर है {{math|1=''a''<sup>2</sup> + ''b''<sup>2</sup> = ''c''<sup>2</sup>}}.]]गणित में, डायोफैंटाइन समीकरण [[बहुपद समीकरण]] है, जिसमें आमतौर पर दो या अधिक [[अज्ञात (गणित)|अपरिचित]] सम्मिलित होते हैं, जैसे कि ब्याज का एकमात्र समीकरण [[पूर्णांक]] हैं। रेखीय डायोफैंटाइन समीकरण दो या दो से अधिक [[एकपदीयों|एक पदीयों]] के योग के बराबर होता है, जिनमें से प्रत्येक [[एक बहुपद की डिग्री]] होती है। घातीय डायोफैंटाइन समीकरण वह है जिसमें अज्ञात घातांक में प्रकट हो सकते हैं।


डायोफैंटाइन समस्याओं में अज्ञात की तुलना में कम समीकरण होते हैं और इसमें पूर्णांकों को खोजना सम्मिलित होता है जो एक साथ सभी समीकरणों को हल करते हैं। जैसा कि समीकरणों की ऐसी प्रणालियाँ [[बीजगणित]]ीय वक्र, [[बीजगणितीय सतह]]ों, या अधिक सामान्यतः [[बीजगणितीय सेट]]ों को परिभाषित करती हैं, उनका अध्ययन [[बीजगणितीय ज्यामिति]] का एक हिस्सा है जिसे '[[डायोफैंटाइन ज्यामिति]]' कहा जाता है।
डायोफैंटाइन समस्याओं में अज्ञात की तुलना में कम समीकरण होते हैं और इसमें पूर्णांकों को खोजना सम्मिलित होता है जो एक साथ सभी समीकरणों को हल करते हैं। जैसा कि समीकरणों की ऐसी प्रणालियाँ [[बीजगणित]]ीय वक्र, [[बीजगणितीय सतह]], या अधिक सामान्यतः [[बीजगणितीय सेट]] को परिभाषित करती हैं, उनका अध्ययन [[बीजगणितीय ज्यामिति]] का एक हिस्सा है जिसे '[[डायोफैंटाइन ज्यामिति]]' कहा जाता है।


''डायोफैंटाइन'' शब्द तीसरी शताब्दी के हेलेनिस्टिक गणितज्ञ, [[सिकंदरिया]] के [[डायोफैंटस]], जिन्होंने इस तरह के समीकरणों का अध्ययन किया और बीजगणित में [[गणितीय प्रतीक]] पेश करने वाले पहले गणितज्ञों में से एक थे। डायोफैंटाइन समस्याओं का गणितीय अध्ययन जो डायोफैंटस ने प्रारंभ किया था, उसे अब डायोफैंटाइन विश्लेषण कहा जाता है।
''डायोफैंटाइन'' शब्द तीसरी शताब्दी के हेलेनिस्टिक गणितज्ञ, [[सिकंदरिया]] के [[डायोफैंटस]], जिन्होंने इस तरह के समीकरणों का अध्ययन किया और बीजगणित में [[गणितीय प्रतीक]] पेश करने वाले पहले गणितज्ञों में से एक थे। डायोफैंटाइन समस्याओं का गणितीय अध्ययन जो डायोफैंटस ने प्रारंभ किया था, उसे अब डायोफैंटाइन विश्लेषण कहा जाता है।


जबकि व्यक्तिगत समीकरण एक प्रकार की पहेली पेश करते हैं और पूरे इतिहास में इस पर विचार किया गया है, डायोफैंटाइन समीकरणों (रैखिक और [[द्विघात समीकरण]] समीकरणों के मामले से परे) के सामान्य सिद्धांतों का सूत्रीकरण बीसवीं सदी की एक उपलब्धि थी।
जबकि व्यक्तिगत समीकरण एक प्रकार की पहेली पेश करते हैं और पूरे इतिहास में इस पर विचार किया गया है, डायोफैंटाइन समीकरणों(रैखिक और [[द्विघात समीकरण]] समीकरणों के मामले से परे) के सामान्य सिद्धांतों का सूत्रीकरण बीसवीं सदी की एक उपलब्धि थी।


== उदाहरण ==
== उदाहरण ==
Line 14: Line 14:
| {{math|1=''ax'' + ''by'' = c}}||यह एक रेखीय डायोफैंटाइन समीकरण है।
| {{math|1=''ax'' + ''by'' = c}}||यह एक रेखीय डायोफैंटाइन समीकरण है।
|-
|-
| {{math|1=''w''<sup>3</sup> + ''x''<sup>3</sup> = ''y''<sup>3</sup> + ''z''<sup>3</sup>}}|| धनात्मक पूर्णांकों में सबसे छोटा गैर-तुच्छ समाधान 12 <sup>3</sup> + 1 <sup>3</sup> = 9 <sup>3</sup> + 10 <sup>3</sup> = 1729 है। यह प्रसिद्ध रूप से 1729 की स्पष्ट संपत्ति के रूप में दिया गया था,  [[Ramanujan|रामानुजन]] द्वारा [[G. H. Hardy|हार्डी]] को मिलने के दौरान [[Index.php?title=टैक्सीकैब संख्या|टैक्सीकैब संख्या]] (जिसे [[Hardy–Ramanujan number|हार्डी-रामानुजन संख्या]] भी कहा जाता है) 1917 में।  असीम रूप से कई गैर-तुच्छ समाधान हैं।<ref>{{citation|title=An Introduction to Number Theory|volume=232|series=Graduate Texts in Mathematics|first1=G.|last1=Everest|first2=Thomas|last2=Ward|publisher=Springer|year=2006|isbn=9781846280443|page=117|url=https://books.google.com/books?id=Z9MAm0lTKuEC&pg=PA117}}.</ref>
| {{math|1=''w''<sup>3</sup> + ''x''<sup>3</sup> = ''y''<sup>3</sup> + ''z''<sup>3</sup>}}|| धनात्मक पूर्णांकों में सबसे छोटा गैर-तुच्छ समाधान 12 <sup>3</sup> + 1 <sup>3</sup> = 9 <sup>3</sup> + 10 <sup>3</sup> = 1729 है। यह प्रसिद्ध रूप से 1729 की स्पष्ट संपत्ति के रूप में दिया गया था,  [[Ramanujan|रामानुजन]] द्वारा [[G. H. Hardy|हार्डी]] को मिलने के दौरान [[Index.php?title=टैक्सीकैब संख्या|टैक्सीकैब संख्या]](जिसे [[Hardy–Ramanujan number|हार्डी-रामानुजन संख्या]] भी कहा जाता है) 1917 में।  असीम रूप से कई गैर-तुच्छ समाधान हैं।<ref>{{citation|title=An Introduction to Number Theory|volume=232|series=Graduate Texts in Mathematics|first1=G.|last1=Everest|first2=Thomas|last2=Ward|publisher=Springer|year=2006|isbn=9781846280443|page=117|url=https://books.google.com/books?id=Z9MAm0lTKuEC&pg=PA117}}.</ref>
|-
|-
| {{math|1=''x<sup>n</sup>'' + ''y<sup>n</sup>'' = ''z<sup>n</sup>''}}||''n'' = 2 के लिए असीम रूप से कई समाधान हैं ( ''x'' , ''y'' , ''z'' ) : [[Pythagorean triple|पायथागॉरियन ट्रिपल]]। ''n'' के बड़े पूर्णांक मानों के लिए , Fermat की अंतिम प्रमेय (प्रारंभ में Fermat द्वारा 1637 में दावा किया गया और 1995 में [[Wiles's proof of Fermat's Last Theorem|एंड्रयू विल्स द्वारा सिद्ध किया गया]])<ref name="wiles">{{cite journal|last=Wiles|first=Andrew|author-link=Andrew Wiles|year=1995|title=Modular elliptic curves and Fermat's Last Theorem|url=http://users.tpg.com.au/nanahcub/flt.pdf |journal=Annals of Mathematics|volume=141|issue=3|pages=443–551|oclc=37032255|doi=10.2307/2118559|jstor=2118559}}</ref> बताता है कि कोई सकारात्मक पूर्णांक समाधान ( ''x'' , ''y'' , ''z'' ) नहीं हैं ।
| {{math|1=''x<sup>n</sup>'' + ''y<sup>n</sup>'' = ''z<sup>n</sup>''}}||''n'' = 2 के लिए असीम रूप से कई समाधान हैं( ''x'' , ''y'' , ''z'' ) : [[Pythagorean triple|पायथागॉरियन ट्रिपल]]। ''n'' के बड़े पूर्णांक मानों के लिए , Fermat की अंतिम प्रमेय(प्रारंभ में Fermat द्वारा 1637 में दावा किया गया और 1995 में [[Wiles's proof of Fermat's Last Theorem|एंड्रयू विल्स द्वारा सिद्ध किया गया]])<ref name="wiles">{{cite journal|last=Wiles|first=Andrew|author-link=Andrew Wiles|year=1995|title=Modular elliptic curves and Fermat's Last Theorem|url=http://users.tpg.com.au/nanahcub/flt.pdf |journal=Annals of Mathematics|volume=141|issue=3|pages=443–551|oclc=37032255|doi=10.2307/2118559|jstor=2118559}}</ref> बताता है कि कोई सकारात्मक पूर्णांक समाधान( ''x'' , ''y'' , ''z'' ) नहीं हैं ।
|-
|-
| {{math|1=''x''<sup>2</sup> − ''ny''<sup>2</sup> = ±1}}|| यह [[Index.php?title= पेल का समीकरण|पेल का समीकरण]] है , जिसका नाम अंग्रेजी गणितज्ञ [[John Pell (mathematician)|जॉन पेल]] के नाम पर रखा गया है । इसका अध्ययन ब्रह्मगुप्त ने 7वीं शताब्दी में किया था, साथ ही साथ 17वीं शताब्दी में फर्मेट ने भी।
| {{math|1=''x''<sup>2</sup> − ''ny''<sup>2</sup> = ±1}}|| यह [[Index.php?title= पेल का समीकरण|पेल का समीकरण]] है , जिसका नाम अंग्रेजी गणितज्ञ [[John Pell (mathematician)|जॉन पेल]] के नाम पर रखा गया है । इसका अध्ययन ब्रह्मगुप्त ने 7वीं शताब्दी में किया था, साथ ही साथ 17वीं शताब्दी में फर्मेट ने भी।
|-
|-
| {{math|1={{sfrac|4|''n''}} = {{sfrac|1|''x''}} + {{sfrac|1|''y''}} + {{sfrac|1|''z''}}}}||[[Index.php?title=एर्डोस -स्ट्रॉस अनुमान|एर्डोस -स्ट्रॉस अनुमान]] कहता है कि, प्रत्येक सकारात्मक पूर्णांक ''n ≥ 2 के लिए, x'' , ''y'' और ''z'' में एक समाधान मौजूद है , सभी सकारात्मक पूर्णांक के रूप में। हालांकि आमतौर पर बहुपद रूप में नहीं कहा जाता है, यह उदाहरण बहुपद समीकरण 4 ''xyz'' = ''yzn'' + ''xzn'' + ''xyn'' = ''n'' ( ''yz'' + ''xz'' + ''xy'' ) के बराबर है।
| {{math|1={{sfrac|4|''n''}} = {{sfrac|1|''x''}} + {{sfrac|1|''y''}} + {{sfrac|1|''z''}}}}||[[Index.php?title=एर्डोस -स्ट्रॉस अनुमान|एर्डोस -स्ट्रॉस अनुमान]] कहता है कि, प्रत्येक सकारात्मक पूर्णांक ''n ≥ 2 के लिए, x'' , ''y'' और ''z'' में एक समाधान मौजूद है , सभी सकारात्मक पूर्णांक के रूप में। हालांकि आमतौर पर बहुपद रूप में नहीं कहा जाता है, यह उदाहरण बहुपद समीकरण 4 ''xyz'' = ''yzn'' + ''xzn'' + ''xyn'' = ''n''( ''yz'' + ''xz'' + ''xy'' ) के बराबर है।
|-
|-
| {{math|1=''x''<sup>4</sup> + ''y''<sup>4</sup> + ''z''<sup>4</sup> = ''w''<sup>4</sup>}}||[[Euler|यूलर]] द्वारा गलत तरीके से अनुमान लगाया गया कि कोई गैर-तुच्छ समाधान नहीं है। Elkies द्वारा सिद्ध किया गया है कि असीम रूप से कई गैर-तुच्छ समाधान हैं, फ्राइ द्वारा कंप्यूटर खोज के साथ सबसे छोटा गैर-तुच्छ समाधान निर्धारित करता है, 95800 <sup>4</sup> + 217519 <sup>4</sup> + 414560 <sup>4</sup> = 422481 <sup>4</sup>।<ref>{{cite journal |authorlink=Noam Elkies |first=Noam |last=Elkies |title=On ''A''<sup>4</sup> + ''B''<sup>4</sup> + ''C''<sup>4</sup> = ''D''<sup>4</sup> |url= https://www.ams.org/journals/mcom/1988-51-184/S0025-5718-1988-0930224-9/S0025-5718-1988-0930224-9.pdf |journal=[[Mathematics of Computation]] |year=1988 |volume=51 |issue=184 |pages=825–835 |doi=10.2307/2008781 |mr=0930224 |jstor=2008781}}</ref><ref>{{cite conference|last = Frye|first = Roger E.|year = 1988|title = Proceedings of Supercomputing 88, Vol.II: Science and Applications|contribution = Finding 95800<sup>4</sup> + 217519<sup>4</sup> + 414560<sup>4</sup> = 422481<sup>4</sup> on the Connection Machine|doi = 10.1109/SUPERC.1988.74138|pages = 106–116}}</ref>  
| {{math|1=''x''<sup>4</sup> + ''y''<sup>4</sup> + ''z''<sup>4</sup> = ''w''<sup>4</sup>}}||[[Euler|यूलर]] द्वारा गलत तरीके से अनुमान लगाया गया कि कोई गैर-तुच्छ समाधान नहीं है। Elkies द्वारा सिद्ध किया गया है कि असीम रूप से कई गैर-तुच्छ समाधान हैं, फ्राइ द्वारा कंप्यूटर खोज के साथ सबसे छोटा गैर-तुच्छ समाधान निर्धारित करता है, 95800 <sup>4</sup> + 217519 <sup>4</sup> + 414560 <sup>4</sup> = 422481 <sup>4</sup>।<ref>{{cite journal |authorlink=Noam Elkies |first=Noam |last=Elkies |title=On ''A''<sup>4</sup> + ''B''<sup>4</sup> + ''C''<sup>4</sup> = ''D''<sup>4</sup> |url= https://www.ams.org/journals/mcom/1988-51-184/S0025-5718-1988-0930224-9/S0025-5718-1988-0930224-9.pdf |journal=[[Mathematics of Computation]] |year=1988 |volume=51 |issue=184 |pages=825–835 |doi=10.2307/2008781 |mr=0930224 |jstor=2008781}}</ref><ref>{{cite conference|last = Frye|first = Roger E.|year = 1988|title = Proceedings of Supercomputing 88, Vol.II: Science and Applications|contribution = Finding 95800<sup>4</sup> + 217519<sup>4</sup> + 414560<sup>4</sup> = 422481<sup>4</sup> on the Connection Machine|doi = 10.1109/SUPERC.1988.74138|pages = 106–116}}</ref>  
Line 29: Line 29:
=== एक समीकरण ===
=== एक समीकरण ===
सरलतम रेखीय डायोफैंटाइन समीकरण {{math|1=''ax'' + ''by'' = ''c''}} के रूप में होता है, जहां {{math|''a''}}, {{math|''b''}} तथा {{math|''c''}} पूर्णांक दिए गए हैं। समाधान निम्नलिखित प्रमेय द्वारा वर्णित हैं:
सरलतम रेखीय डायोफैंटाइन समीकरण {{math|1=''ax'' + ''by'' = ''c''}} के रूप में होता है, जहां {{math|''a''}}, {{math|''b''}} तथा {{math|''c''}} पूर्णांक दिए गए हैं। समाधान निम्नलिखित प्रमेय द्वारा वर्णित हैं:
: इस डायोफैंटाइन समीकरण का समाधान है (जहाँ {{math|''x''}} तथा {{math|''y''}} पूर्णांक हैं) अगर ''c , a और b के सबसे बड़े सामान्य भाजक का गुणज है''। ''इसके अलावा, यदि'' {{math|(''x'', ''y'')}} एक समाधान है, तो अन्य समाधानों का रूप है {{math|(''x'' + ''kv'', ''y'' − ''ku'')}}, जहाँ {{math|''k''}} एक ''स्वेच्छ'' पूर्णांक है, ''u और v, a और b के भागफल हैं'', ''(क्रमशः) a'' ''और b के महत्तम समापवर्तक द्वारा'' ।
: इस डायोफैंटाइन समीकरण का समाधान है(जहाँ {{math|''x''}} तथा {{math|''y''}} पूर्णांक हैं) अगर ''c , a और b के सबसे बड़े सामान्य भाजक का गुणज है''। ''इसके अलावा, यदि'' {{math|(''x'', ''y'')}} एक समाधान है, तो अन्य समाधानों का रूप है {{math|(''x'' + ''kv'', ''y'' − ''ku'')}}, जहाँ {{math|''k''}} एक ''स्वेच्छ'' पूर्णांक है, ''u और v, a और b के भागफल हैं'',''(क्रमशः) a'' ''और b के महत्तम समापवर्तक द्वारा'' ।


'''प्रमाण:''' यदि {{math|''d''}} सबसे बड़ा सामान्य विभाजक है, तो बेजाउट की पहचान पूर्णांक {{math|''e''}} तथा {{math|''f''}}  के अस्तित्व पर जोर देती है जैसे कि {{math|1=''ae'' + ''bf'' = ''d''}}। यदि {{math|''c''}} का गुणज {{math|''d''}} है, तो {{math|1=''c'' = ''dh''}} किसी पूर्णांक {{math|''h''}} के लिए {{math|(''eh'', ''fh'')}} एक समाधान है। दूसरी ओर, पूर्णांक {{math|''x''}} और {{math|''y''}} के प्रत्येक युग्म के लिए सबसे बड़ा सामान्य विभाजक {{math|''d''}} का {{math|''a''}} तथा {{math|''b''}} विभाजित {{math|''ax'' + ''by''}}. इस प्रकार, यदि समीकरण का हल है, तो {{math|''c''}} का गुणज होना चाहिए {{math|''d''}}. यदि {{math|1=''a'' = ''ud''}} तथा {{math|''b'' {{=}} ''vd''}}, फिर हर समाधान के लिए {{math|(''x'', ''y'')}}, अपने पास
'''प्रमाण:''' यदि {{math|''d''}} सबसे बड़ा सामान्य विभाजक है, तो बेजाउट की पहचान पूर्णांक {{math|''e''}} तथा {{math|''f''}}  के अस्तित्व पर जोर देती है जैसे कि {{math|1=''ae'' + ''bf'' = ''d''}}। यदि {{math|''c''}} का गुणज {{math|''d''}} है, तो {{math|1=''c'' = ''dh''}} किसी पूर्णांक {{math|''h''}} के लिए {{math|(''eh'', ''fh'')}} एक समाधान है। दूसरी ओर, पूर्णांक {{math|''x''}} और {{math|''y''}} के प्रत्येक युग्म के लिए सबसे बड़ा सामान्य विभाजक {{math|''d''}} का {{math|''a''}} तथा {{math|''b''}} विभाजित {{math|''ax'' + ''by''}}. इस प्रकार, यदि समीकरण का हल है, तो {{math|''c''}} का गुणज होना चाहिए {{math|''d''}}. यदि {{math|1=''a'' = ''ud''}} तथा {{math|''b'' {{=}} ''vd''}}, फिर हर समाधान के लिए {{math|(''x'', ''y'')}}, अपने पास
Line 35: Line 35:
{{math|(''x'' + ''kv'', ''y'' − ''ku'')}} एक अन्य उपाय है। अंत में, दो समाधान दिए गए जैसे कि {{math|1=''ax''<sub>1</sub> + ''by''<sub>1</sub> = ''ax''<sub>2</sub> + ''by''<sub>2</sub> = ''c''}}, एक यह निष्कर्ष निकालता है {{math|1=''u''(''x''<sub>2</sub> − ''x''<sub>1</sub>) + ''v''(''y''<sub>2</sub> − ''y''<sub>1</sub>) = 0}}. जैसा {{math|''u''}} तथा {{math|''v''}} [[सह अभाज्य]] हैं, यूक्लिड की लेम्मा यह दर्शाती है {{math|''v''}} विभाजित {{math|''x''<sub>2</sub> − ''x''<sub>1</sub>}}, और इस प्रकार एक पूर्णांक मौजूद है {{math|''k''}} ऐसा है कि {{math|1=''x''<sub>2</sub> − ''x''<sub>1</sub> = ''kv''}} तथा {{math|1=''y''<sub>2</sub> − ''y''<sub>1</sub> = −''ku''}}. इसलिए, {{math|1=''x''<sub>2</sub> = ''x''<sub>1</sub> + ''kv''}} तथा {{math|1=''y''<sub>2</sub> = ''y''<sub>1</sub> − ''ku''}}, जो प्रमाण को पूरा करता है।
{{math|(''x'' + ''kv'', ''y'' − ''ku'')}} एक अन्य उपाय है। अंत में, दो समाधान दिए गए जैसे कि {{math|1=''ax''<sub>1</sub> + ''by''<sub>1</sub> = ''ax''<sub>2</sub> + ''by''<sub>2</sub> = ''c''}}, एक यह निष्कर्ष निकालता है {{math|1=''u''(''x''<sub>2</sub> − ''x''<sub>1</sub>) + ''v''(''y''<sub>2</sub> − ''y''<sub>1</sub>) = 0}}. जैसा {{math|''u''}} तथा {{math|''v''}} [[सह अभाज्य]] हैं, यूक्लिड की लेम्मा यह दर्शाती है {{math|''v''}} विभाजित {{math|''x''<sub>2</sub> − ''x''<sub>1</sub>}}, और इस प्रकार एक पूर्णांक मौजूद है {{math|''k''}} ऐसा है कि {{math|1=''x''<sub>2</sub> − ''x''<sub>1</sub> = ''kv''}} तथा {{math|1=''y''<sub>2</sub> − ''y''<sub>1</sub> = −''ku''}}. इसलिए, {{math|1=''x''<sub>2</sub> = ''x''<sub>1</sub> + ''kv''}} तथा {{math|1=''y''<sub>2</sub> = ''y''<sub>1</sub> − ''ku''}}, जो प्रमाण को पूरा करता है।


=== [[चीनी शेष प्रमेय]] ===
=== [[चीनी शेष प्रमेय|चीन(चाइनीज) शेषफल प्रमेय]] ===


चीनी शेष प्रमेय समीकरणों के रैखिक डायोफैंटाइन सिस्टम के महत्वपूर्ण वर्ग का वर्णन करता है: चलो {{math|''n''<sub>1</sub>, …, ''n''<sub>''k''</sub>}} होना {{math|''k''}} जोड़ो में एक से अधिक कोप्राइम पूर्णांक, {{math|''a''<sub>1</sub>, …, ''a''<sub>''k''</sub>}} होना {{math|''k''}} मनमाना पूर्णांक, और {{math|''N''}} उत्पाद हो {{math|''n''<sub>1</sub> ⋯ ''n''<sub>''k''</sub>}}. चीनी शेष प्रमेय का दावा है कि निम्नलिखित रैखिक डायोफैंटाइन प्रणाली का एक ही समाधान है {{math|(''x'', ''x''<sub>1</sub>, …, ''x''<sub>''k''</sub>)}} ऐसा है कि {{math|0 ≤ ''x'' < ''N''}}, और यह कि अन्य समाधान जोड़कर प्राप्त किए जाते हैं {{math|''x''}} का एक गुणक {{math|''N''}}:
चाइनीज शेषफल प्रमेय समीकरणों के रैखिक डायोफैंटाइन सिस्टम के महत्वपूर्ण वर्ग का वर्णन करता है: चलो {{math|''n''<sub>1</sub>, …, ''n''<sub>''k''</sub>}} होना {{math|''k''}} जोड़ो में एक से अधिक कोप्राइम पूर्णांक, {{math|''a''<sub>1</sub>, …, ''a''<sub>''k''</sub>}} होना {{math|''k''}} मनमाना पूर्णांक, और {{math|''N''}} उत्पाद हो {{math|''n''<sub>1</sub> ⋯ ''n''<sub>''k''</sub>}}. चाइनीज शेषफल प्रमेय का दावा है कि निम्नलिखित रैखिक डायोफैंटाइन प्रणाली का एक ही समाधान है {{math|(''x'', ''x''<sub>1</sub>, …, ''x''<sub>''k''</sub>)}} ऐसा है कि {{math|0 ≤ ''x'' < ''N''}}, और यह कि अन्य समाधान जोड़कर प्राप्त किए जाते हैं {{math|''x''}} का एक गुणक {{math|''N''}}:
:<math>\begin{align}
:<math>\begin{align}
x &= a_1 + n_1\,x_1\\
x &= a_1 + n_1\,x_1\\
Line 44: Line 44:
\end{align}</math>
\end{align}</math>
=== रैखिक डायोफैंटाइन समीकरणों की प्रणाली ===
=== रैखिक डायोफैंटाइन समीकरणों की प्रणाली ===
आम तौर पर, रेखीय डायोफैंटाइन समीकरणों की प्रत्येक प्रणाली को उसके मैट्रिक्स के [[स्मिथ सामान्य रूप]] की गणना करके हल किया जा सकता है, जो एक क्षेत्र पर [[रैखिक समीकरणों की प्रणाली]] को हल करने के लिए कम पंक्ति सोपानक रूप के उपयोग के समान है। मैट्रिक्स (गणित) # अंकन का उपयोग करते हुए रैखिक डायोफैंटाइन समीकरणों की प्रत्येक प्रणाली को लिखा जा सकता है
आम तौर पर, रेखीय डायोफैंटाइन समीकरणों की प्रत्येक प्रणाली को उसके आव्यूह के [[स्मिथ सामान्य रूप]] की गणना करके हल किया जा सकता है, जो एक क्षेत्र पर [[रैखिक समीकरणों की प्रणाली]] को हल करने के लिए कम पंक्ति सोपान रूप के उपयोग के समान है। आव्यूह(गणित) अंकन का उपयोग करते हुए रैखिक डायोफैंटाइन समीकरणों की प्रत्येक प्रणाली को लिखा जा सकता है
:{{math|1=''A''&thinsp;''X'' = ''C''}},
:{{math|1=''A''&thinsp;''X'' = ''C''}},
कहाँ पे {{math|''A''}} एक {{math|''m'' × ''n''}} पूर्णांकों का आव्यूह, {{math|''X''}} एक {{math|''n'' × 1}} अज्ञात का [[कॉलम मैट्रिक्स]] और {{math|''C''}} एक {{math|''m'' × 1}} पूर्णांकों का स्तंभ मैट्रिक्स।
कहाँ पे {{math|''A''}} एक {{math|''m'' × ''n''}} पूर्णांकों का आव्यूह, {{math|''X''}} एक {{math|''n'' × 1}} अज्ञात का [[कॉलम मैट्रिक्स|कॉलम आव्यूह]] और {{math|''C''}} एक {{math|''m'' × 1}} पूर्णांकों का स्तंभ आव्यूह।


स्मिथ के सामान्य रूप की गणना {{math|''A''}} दो [[यूनिमॉड्यूलर मैट्रिक्स]] प्रदान करता है (जो मैट्रिक्स है जो पूर्णांकों पर उलटा होता है और निर्धारक के रूप में ±1 होता है) {{math|''U''}} तथा {{math|''V''}} संबंधित आयामों की {{math|''m'' × ''m''}} तथा {{math|''n'' × ''n''}}, जैसे कि मैट्रिक्स
स्मिथ के सामान्य रूप की गणना {{math|''A''}} दो [[यूनिमॉड्यूलर मैट्रिक्स|यूनिमॉड्यूलर आव्यूह]] प्रदान करता है(जो आव्यूह है जो पूर्णांकों पर उलटा होता है और निर्धारक के रूप में ±1 होता है) {{math|''U''}} तथा {{math|''V''}} संबंधित आयामों की {{math|''m'' × ''m''}} तथा {{math|''n'' × ''n''}}, जैसे कि आव्यूह
:{{math|1=''B'' = [''b''{{sub|''i'',''j''}}] = ''UAV''}}
:{{math|1=''B'' = [''b''{{sub|''i'',''j''}}] = ''UAV''}}
इस प्रकार कि {{math|''b''<sub>''i'',''i''</sub>}} के लिए शून्य नहीं है {{math|''i''}} किसी पूर्णांक से अधिक नहीं {{math|''k''}}, और अन्य सभी प्रविष्टियाँ शून्य हैं। हल की जाने वाली प्रणाली को इस प्रकार फिर से लिखा जा सकता है
इस प्रकार कि {{math|''b''<sub>''i'',''i''</sub>}} के लिए शून्य नहीं है {{math|''i''}} किसी पूर्णांक से अधिक नहीं {{math|''k''}}, और अन्य सभी प्रविष्टियाँ शून्य हैं। हल की जाने वाली प्रणाली को इस प्रकार फिर से लिखा जा सकता है
Line 55: Line 55:
:{{math|1=''b''<sub>''i'',''i''</sub>&thinsp;''y''<sub>''i''</sub> = ''d''<sub>''i''</sub>}} के लिये {{math|1 ≤ ''i'' ≤ ''k''}},
:{{math|1=''b''<sub>''i'',''i''</sub>&thinsp;''y''<sub>''i''</sub> = ''d''<sub>''i''</sub>}} के लिये {{math|1 ≤ ''i'' ≤ ''k''}},
:{{math|1=0&thinsp;''y''<sub>''i''</sub> = ''d''<sub>''i''</sub>}} के लिये {{math|''k'' < ''i'' ≤ ''n''}}.
:{{math|1=0&thinsp;''y''<sub>''i''</sub> = ''d''<sub>''i''</sub>}} के लिये {{math|''k'' < ''i'' ≤ ''n''}}.
यह प्रणाली निम्नलिखित अर्थों में दिए गए एक के बराबर है: पूर्णांकों का एक स्तंभ मैट्रिक्स {{math|''x''}} दी गई प्रणाली का एक समाधान है अगर और केवल अगर {{math|1=''x'' = ''Vy''}} पूर्णांकों के कुछ स्तंभ मैट्रिक्स के लिए {{math|''y''}} ऐसा है कि {{math|1=''By'' = ''D''}}.
यह प्रणाली निम्नलिखित अर्थों में दिए गए एक के बराबर है: पूर्णांकों का एक स्तंभ आव्यूह {{math|''x''}} दी गई प्रणाली का एक समाधान है अगर {{math|1=''x'' = ''Vy''}} पूर्णांकों के कुछ स्तंभ आव्यूह के लिए {{math|''y''}} ऐसा है कि {{math|1=''By'' = ''D''}}.


यह इस प्रकार है कि सिस्टम का एक समाधान है अगर और केवल अगर {{math|''b''<sub>''i'',''i''</sub>}} विभाजित {{math|''d''<sub>''i''</sub>}} के लिये {{math|''i'' ≤ ''k''}} तथा {{math|1=''d''<sub>''i''</sub> = 0}} के लिये {{math|''i'' > ''k''}}. यदि यह स्थिति पूरी हो जाती है, तो दी गई प्रणाली के समाधान हैं
यह इस प्रकार है कि सिस्टम का एक समाधान है अगर {{math|''b''<sub>''i'',''i''</sub>}} विभाजित {{math|''d''<sub>''i''</sub>}} के लिये {{math|''i'' ≤ ''k''}} तथा {{math|1=''d''<sub>''i''</sub> = 0}} के लिये {{math|''i'' > ''k''}}. यदि यह स्थिति पूरी हो जाती है, तो दी गई प्रणाली के समाधान हैं
:<math> V\,
:<math> V\,
\begin{bmatrix}
\begin{bmatrix}
Line 70: Line 70:


रेखीय डायोफैंटाइन समीकरणों की प्रणालियों को हल करने के लिए [[हर्मिट सामान्य रूप]] का भी उपयोग किया जा सकता है। हालाँकि, हर्मिट सामान्य रूप सीधे समाधान प्रदान नहीं करता है; हर्मिट सामान्य रूप से समाधान प्राप्त करने के लिए, कई रैखिक समीकरणों को क्रमिक रूप से हल करना होगा। फिर भी, रिचर्ड ज़िप्पल ने लिखा है कि स्मिथ का सामान्य रूप रैखिक डायोफैंटाइन समीकरणों को हल करने के लिए वास्तव में आवश्यक से कुछ अधिक है। समीकरण को विकर्ण रूप में कम करने के बजाय, हमें केवल इसे त्रिकोणीय बनाने की आवश्यकता है, जिसे हर्मिट सामान्य रूप कहा जाता है। स्मिथ सामान्य रूप की तुलना में हर्मिट सामान्य रूप की गणना करना काफी आसान है।<ref name="Zippel1993">{{cite book|author=Richard Zippel|title=प्रभावी बहुपद संगणना|year=1993|publisher=Springer Science & Business Media|isbn=978-0-7923-9375-7|page=50}}</ref>
रेखीय डायोफैंटाइन समीकरणों की प्रणालियों को हल करने के लिए [[हर्मिट सामान्य रूप]] का भी उपयोग किया जा सकता है। हालाँकि, हर्मिट सामान्य रूप सीधे समाधान प्रदान नहीं करता है; हर्मिट सामान्य रूप से समाधान प्राप्त करने के लिए, कई रैखिक समीकरणों को क्रमिक रूप से हल करना होगा। फिर भी, रिचर्ड ज़िप्पल ने लिखा है कि स्मिथ का सामान्य रूप रैखिक डायोफैंटाइन समीकरणों को हल करने के लिए वास्तव में आवश्यक से कुछ अधिक है। समीकरण को विकर्ण रूप में कम करने के बजाय, हमें केवल इसे त्रिकोणीय बनाने की आवश्यकता है, जिसे हर्मिट सामान्य रूप कहा जाता है। स्मिथ सामान्य रूप की तुलना में हर्मिट सामान्य रूप की गणना करना काफी आसान है।<ref name="Zippel1993">{{cite book|author=Richard Zippel|title=प्रभावी बहुपद संगणना|year=1993|publisher=Springer Science & Business Media|isbn=978-0-7923-9375-7|page=50}}</ref>
[[पूर्णांक रैखिक प्रोग्रामिंग]] रैखिक प्रणालियों के कुछ पूर्णांक समाधान (कुछ अर्थों में इष्टतम) खोजने के लिए है जिसमें [[असमानता]]एं भी सम्मिलित हैं। इस प्रकार रैखिक डायोफैंटाइन समीकरणों की प्रणालियाँ इस संदर्भ में बुनियादी हैं, और पूर्णांक प्रोग्रामिंग पर पाठ्यपुस्तकों में आमतौर पर रैखिक डायोफैंटाइन समीकरणों की प्रणालियों का उपचार होता है।<ref>{{cite book|editor=John Alan Robinson and Andrei Voronkov|title=स्वचालित रीज़निंग वॉल्यूम I की हैंडबुक|year=2001|publisher=Elsevier and MIT Press|id= (Elsevier) (MIT Press)|author=Alexander Bockmayr, Volker Weispfenning|chapter=Solving Numerical Constraints|page=779|isbn=0-444-82949-0}}</ref>
[[पूर्णांक रैखिक प्रोग्रामिंग]] रैखिक प्रणालियों के कुछ पूर्णांक समाधान(कुछ अर्थों में इष्टतम) खोजने के लिए है जिसमें [[असमानता]]एं भी सम्मिलित हैं। इस प्रकार रैखिक डायोफैंटाइन समीकरणों की प्रणालियाँ इस संदर्भ में बुनियादी हैं, और पूर्णांक प्रोग्रामिंग पर पाठ्यपुस्तकों में आमतौर पर रैखिक डायोफैंटाइन समीकरणों की प्रणालियों का उपचार होता है।<ref>{{cite book|editor=John Alan Robinson and Andrei Voronkov|title=स्वचालित रीज़निंग वॉल्यूम I की हैंडबुक|year=2001|publisher=Elsevier and MIT Press|id= (Elsevier) (MIT Press)|author=Alexander Bockmayr, Volker Weispfenning|chapter=Solving Numerical Constraints|page=779|isbn=0-444-82949-0}}</ref>
== सजातीय समीकरण ==
== सजातीय समीकरण ==
एक सजातीय डायोफैंटाइन समीकरण एक डायोफैंटाइन समीकरण है जिसे एक [[सजातीय बहुपद]] द्वारा परिभाषित किया गया है। इस तरह का एक विशिष्ट समीकरण फर्मेट के अंतिम प्रमेय का समीकरण है
एक सजातीय डायोफैंटाइन समीकरण एक डायोफैंटाइन समीकरण है जिसे एक [[सजातीय बहुपद]] द्वारा परिभाषित किया गया है। इस तरह का एक विशिष्ट समीकरण फर्मेट के अंतिम प्रमेय का समीकरण है
Line 76: Line 76:
में एक सजातीय बहुपद के रूप में {{mvar|n}} अनिश्चित आयाम के प्रक्षेपी स्थान में एक [[प्रक्षेपी हाइपरसफेस]] को परिभाषित करता है {{math|''n'' − 1}}, एक सजातीय डायोफैंटाइन समीकरण को हल करना एक प्रक्षेपी हाइपरसफेस के [[तर्कसंगत बिंदु]]ओं को खोजने के समान है।
में एक सजातीय बहुपद के रूप में {{mvar|n}} अनिश्चित आयाम के प्रक्षेपी स्थान में एक [[प्रक्षेपी हाइपरसफेस]] को परिभाषित करता है {{math|''n'' − 1}}, एक सजातीय डायोफैंटाइन समीकरण को हल करना एक प्रक्षेपी हाइपरसफेस के [[तर्कसंगत बिंदु]]ओं को खोजने के समान है।


एक सजातीय डायोफैंटाइन समीकरण को हल करना आम तौर पर एक बहुत ही कठिन समस्या है, यहां तक ​​​​कि तीन अनिश्चित के सबसे सरल गैर-तुच्छ मामले में भी (दो अनिश्चित के मामले में समस्या परीक्षण के बराबर है यदि एक [[परिमेय संख्या]] है {{mvar|d}}किसी अन्य परिमेय संख्या की घात)। समस्या की कठिनाई का एक गवाह फ़र्मेट की अंतिम प्रमेय है (के लिए {{math|''d'' > 2}}, उपरोक्त समीकरण का कोई पूर्णांक समाधान नहीं है), जिसे हल करने से पहले गणितज्ञों के तीन शताब्दियों से अधिक के प्रयासों की आवश्यकता थी।
एक सजातीय डायोफैंटाइन समीकरण को हल करना आम तौर पर एक बहुत ही कठिन समस्या है, यहां तक ​​​​कि तीन अनिश्चित के सबसे सरल गैर-तुच्छ मामले में भी(दो अनिश्चित के मामले में समस्या परीक्षण के बराबर है यदि एक [[परिमेय संख्या]] है {{mvar|d}}किसी अन्य परिमेय संख्या की घात)। समस्या की कठिनाई का एक गवाह फ़र्मेट की अंतिम प्रमेय है(के लिए {{math|''d'' > 2}}, उपरोक्त समीकरण का कोई पूर्णांक समाधान नहीं है), जिसे हल करने से पहले गणितज्ञों के तीन शताब्दियों से अधिक के प्रयासों की आवश्यकता थी।


तीन से अधिक डिग्री के लिए, अधिकांश ज्ञात परिणाम प्रमेय हैं जो दावा करते हैं कि कोई समाधान नहीं है (उदाहरण के लिए फर्मेट की अंतिम प्रमेय) या समाधान की संख्या परिमित है (उदाहरण के लिए फाल्टिंग प्रमेय)।
तीन से अधिक डिग्री के लिए, अधिकांश ज्ञात परिणाम प्रमेय हैं जो दावा करते हैं कि कोई समाधान नहीं है(उदाहरण के लिए फर्मेट की अंतिम प्रमेय) या समाधान की संख्या परिमित है(उदाहरण के लिए फाल्टिंग प्रमेय)।


डिग्री तीन के लिए, सामान्य हल करने के तरीके हैं, जो व्यवहार में आने वाले लगभग सभी समीकरणों पर काम करते हैं, लेकिन कोई एल्गोरिदम ज्ञात नहीं है जो प्रत्येक घन समीकरण के लिए काम करता हो।<ref>{{Cite web|last=Kovacic|first=Jerald|date=8 May 1985|title=दूसरे क्रम के रैखिक सजातीय विभेदक समीकरणों को हल करने के लिए एक एल्गोरिथम|url=https://core.ac.uk/download/pdf/82509765.pdf|url-status=live|website=Core|archive-url=https://web.archive.org/web/20190416022032/https://core.ac.uk/download/pdf/82509765.pdf |archive-date=16 April 2019 }}</ref>
डिग्री तीन के लिए, सामान्य हल करने के तरीके हैं, जो व्यवहार में आने वाले लगभग सभी समीकरणों पर काम करते हैं, लेकिन कोई एल्गोरिदम ज्ञात नहीं है जो प्रत्येक घन समीकरण के लिए काम करता हो।<ref>{{Cite web|last=Kovacic|first=Jerald|date=8 May 1985|title=दूसरे क्रम के रैखिक सजातीय विभेदक समीकरणों को हल करने के लिए एक एल्गोरिथम|url=https://core.ac.uk/download/pdf/82509765.pdf|url-status=live|website=Core|archive-url=https://web.archive.org/web/20190416022032/https://core.ac.uk/download/pdf/82509765.pdf |archive-date=16 April 2019 }}</ref>
Line 95: Line 95:
होने देना
होने देना
:<math>Q(x_1, \ldots, x_n)=0</math>
:<math>Q(x_1, \ldots, x_n)=0</math>
एक सजातीय डायोफैंटाइन समीकरण हो, जहां <math>Q(x_1, \ldots, x_n)</math> एक [[द्विघात रूप]] है (अर्थात, डिग्री 2 का एक सजातीय बहुपद), पूर्णांक गुणांक के साथ। तुच्छ समाधान वह समाधान है जहाँ सभी <math>x_i</math> शून्य हैं। यदि <math>(a_1, \ldots, a_n)</math> तब इस समीकरण का एक गैर-तुच्छ पूर्णांक समाधान है <math>\left(a_1, \ldots, a_n\right)</math> द्वारा परिभाषित हाइपरसफेस के एक तर्कसंगत बिंदु के [[सजातीय निर्देशांक]] हैं {{mvar|Q}}. इसके विपरीत यदि  <math display="inline">\left(\frac {p_1}q, \ldots, \frac {p_n}q \right)</math> इस हाइपरसफेस के तर्कसंगत बिंदु के सजातीय निर्देशांक हैं, जहां <math>q, p_1, \ldots, p_n</math> पूर्णांक हैं, तो <math>\left(p_1, \ldots, p_n\right)</math> डायोफैंटाइन समीकरण का एक पूर्णांक समाधान है। इसके अलावा, पूर्णांक समाधान जो किसी दिए गए परिमेय बिंदु को परिभाषित करते हैं, वे सभी रूप के क्रम हैं
एक सजातीय डायोफैंटाइन समीकरण हो, जहां <math>Q(x_1, \ldots, x_n)</math> एक [[द्विघात रूप]] है(अर्थात, डिग्री 2 का एक सजातीय बहुपद), पूर्णांक गुणांक के साथ। तुच्छ समाधान वह समाधान है जहाँ सभी <math>x_i</math> शून्य हैं। यदि <math>(a_1, \ldots, a_n)</math> तब इस समीकरण का एक गैर-तुच्छ पूर्णांक समाधान है <math>\left(a_1, \ldots, a_n\right)</math> द्वारा परिभाषित हाइपरसफेस के एक तर्कसंगत बिंदु के [[सजातीय निर्देशांक]] हैं {{mvar|Q}}. इसके विपरीत यदि  <math display="inline">\left(\frac {p_1}q, \ldots, \frac {p_n}q \right)</math> इस हाइपरसफेस के तर्कसंगत बिंदु के सजातीय निर्देशांक हैं, जहां <math>q, p_1, \ldots, p_n</math> पूर्णांक हैं, तो <math>\left(p_1, \ldots, p_n\right)</math> डायोफैंटाइन समीकरण का एक पूर्णांक समाधान है। इसके अलावा, पूर्णांक समाधान जो किसी दिए गए परिमेय बिंदु को परिभाषित करते हैं, वे सभी रूप के क्रम हैं
:<math>\left(k\frac{p_1}d, \ldots, k\frac{p_n}d\right),</math>
:<math>\left(k\frac{p_1}d, \ldots, k\frac{p_n}d\right),</math>
कहाँ पे {{mvar|k}} कोई पूर्णांक है, और {{mvar|d}} का सबसे बड़ा सामान्य विभाजक है <math>p_i.</math>
कहाँ पे {{mvar|k}} कोई पूर्णांक है, और {{mvar|d}} का सबसे बड़ा सामान्य विभाजक है <math>p_i.</math>
Line 102: Line 102:
====पैरामीटराइजेशन ====
====पैरामीटराइजेशन ====


अभी चलो <math>A=\left(a_1, \ldots, a_n\right)</math> समीकरण का पूर्णांक हल हो <math>Q(x_1, \ldots, x_n)=0.</math> जैसा {{mvar|Q}} डिग्री दो का एक बहुपद है, एक रेखा से होकर गुजरती है {{mvar|A}} हाइपरसफेस को एक अन्य बिंदु पर पार करता है, जो तर्कसंगत है अगर और केवल अगर लाइन तर्कसंगत है (यानी, अगर लाइन तर्कसंगत मापदंडों द्वारा परिभाषित की गई है)। इससे गुजरने वाली लाइनों द्वारा हाइपरसफेस को पैरामीटरेट करने की अनुमति मिलती है {{mvar|A}}, और परिमेय बिंदु वे हैं जो परिमेय रेखाओं से प्राप्त किए जाते हैं, अर्थात् वे जो प्राचलों के परिमेय मानों के संगत होते हैं।
अभी चलो <math>A=\left(a_1, \ldots, a_n\right)</math> समीकरण का पूर्णांक हल हो <math>Q(x_1, \ldots, x_n)=0.</math> जैसा {{mvar|Q}} डिग्री दो का एक बहुपद है, एक रेखा से होकर गुजरती है {{mvar|A}} हाइपरसफेस को एक अन्य बिंदु पर पार करता है, जो तर्कसंगत है अगर लाइन तर्कसंगत है(यानी, अगर लाइन तर्कसंगत मापदंडों द्वारा परिभाषित की गई है)। इससे गुजरने वाली लाइनों द्वारा हाइपरसफेस को पैरामीटरेट करने की अनुमति मिलती है {{mvar|A}}, और परिमेय बिंदु वे हैं जो परिमेय रेखाओं से प्राप्त किए जाते हैं, अर्थात् वे जो प्राचलों के परिमेय मानों के संगत होते हैं।


अधिक सटीक रूप से, कोई निम्नानुसार आगे बढ़ सकता है।
अधिक सटीक रूप से, कोई निम्नानुसार आगे बढ़ सकता है।
Line 114: Line 114:
तर्कसंगत बिंदुओं को नहीं बदलता है, और रूपांतरित करता है {{mvar|q}} में एक सजातीय बहुपद में {{math|''n'' − 1}} चर। इस मामले में, कम चर वाले समीकरण के लिए विधि को लागू करके समस्या को हल किया जा सकता है।
तर्कसंगत बिंदुओं को नहीं बदलता है, और रूपांतरित करता है {{mvar|q}} में एक सजातीय बहुपद में {{math|''n'' − 1}} चर। इस मामले में, कम चर वाले समीकरण के लिए विधि को लागू करके समस्या को हल किया जा सकता है।


यदि बहुपद {{mvar|q}} रैखिक बहुपदों (संभवतः गैर-तर्कसंगत गुणांकों के साथ) का एक उत्पाद है, तो यह दो [[hyperplane]] को परिभाषित करता है। इन हाइपरप्लेन का प्रतिच्छेदन एक तर्कसंगत फ्लैट (ज्यामिति) है, और इसमें तर्कसंगत एकवचन बिंदु सम्मिलित हैं। इस प्रकार यह मामला पूर्ववर्ती मामले का एक विशेष उदाहरण है।
यदि बहुपद {{mvar|q}} रैखिक बहुपदों(संभवतः गैर-तर्कसंगत गुणांकों के साथ) का एक उत्पाद है, तो यह दो [[hyperplane]] को परिभाषित करता है। इन हाइपरप्लेन का प्रतिच्छेदन एक तर्कसंगत फ्लैट(ज्यामिति) है, और इसमें तर्कसंगत एकवचन बिंदु सम्मिलित हैं। इस प्रकार यह मामला पूर्ववर्ती मामले का एक विशेषफल उदाहरण है।


सामान्य स्थिति में, गुजरने वाली रेखा के [[पैरामीट्रिक समीकरण]] पर विचार करें {{mvar|R}}:
सामान्य स्थिति में, गुजरने वाली रेखा के [[पैरामीट्रिक समीकरण]] पर विचार करें {{mvar|R}}:
Line 136: Line 136:
x_n&= F_n(t_1, \ldots, t_{n-1}).
x_n&= F_n(t_1, \ldots, t_{n-1}).
\end{align}</math>
\end{align}</math>
द्वारा परिभाषित प्रोजेक्टिव हाइपरसफेस का एक बिंदु {{mvar|Q}} तर्कसंगत है अगर और केवल अगर यह के तर्कसंगत मूल्यों से प्राप्त किया जा सकता है <math>t_1, \ldots, t_{n-1}.</math> जैसा <math>F_1, \ldots,F_n</math> सजातीय बहुपद हैं, यदि सभी बिंदु नहीं बदले हैं <math>t_i</math> समान परिमेय संख्या से गुणा किया जाता है। इस प्रकार, कोई यह मान सकता है <math>t_1, \ldots, t_{n-1}</math> [[कोप्राइम पूर्णांक]] हैं। यह इस प्रकार है कि डायोफैंटिन समीकरण के पूर्णांक समाधान बिल्कुल क्रम हैं <math>(x_1, \ldots, x_n)</math> कहाँ, के लिए {{math|1=''i'' = 1, ..., ''n''}},
द्वारा परिभाषित प्रोजेक्टिव हाइपरसफेस का एक बिंदु {{mvar|Q}} तर्कसंगत है अगर यह के तर्कसंगत मूल्यों से प्राप्त किया जा सकता है <math>t_1, \ldots, t_{n-1}.</math> जैसा <math>F_1, \ldots,F_n</math> सजातीय बहुपद हैं, यदि सभी बिंदु नहीं बदले हैं <math>t_i</math> समान परिमेय संख्या से गुणा किया जाता है। इस प्रकार, कोई यह मान सकता है <math>t_1, \ldots, t_{n-1}</math> [[कोप्राइम पूर्णांक]] हैं। यह इस प्रकार है कि डायोफैंटिन समीकरण के पूर्णांक समाधान बिल्कुल क्रम हैं <math>(x_1, \ldots, x_n)</math> कहाँ, के लिए {{math|1=''i'' = 1, ..., ''n''}},
:<math>x_i= k\,\frac{F_i(t_1, \ldots, t_{n-1})}{d},</math>
:<math>x_i= k\,\frac{F_i(t_1, \ldots, t_{n-1})}{d},</math>
कहाँ पे {{mvar|k}} एक पूर्णांक है, <math>t_1, \ldots, t_{n-1}</math> कोप्राइम पूर्णांक हैं, और {{mvar|d}} का सबसे बड़ा सामान्य विभाजक है {{mvar|n}} पूर्णांकों <math>F_i(t_1, \ldots, t_{n-1}).</math>
कहाँ पे {{mvar|k}} एक पूर्णांक है, <math>t_1, \ldots, t_{n-1}</math> कोप्राइम पूर्णांक हैं, और {{mvar|d}} का सबसे बड़ा सामान्य विभाजक है {{mvar|n}} पूर्णांकों <math>F_i(t_1, \ldots, t_{n-1}).</math>
Line 182: Line 182:
#क्या व्यवहार में कोई समाधान की पूरी सूची की गणना कर सकता है?
#क्या व्यवहार में कोई समाधान की पूरी सूची की गणना कर सकता है?


ये पारंपरिक समस्याएं प्रायः सदियों से अनसुलझी पड़ी रहती हैं, और गणितज्ञ धीरे-धीरे उनकी गहराई को समझने लगे (कुछ मामलों में), बजाय उन्हें पहेलियाँ मानने के।
ये पारंपरिक समस्याएं प्रायः सदियों से अनसुलझी पड़ी रहती हैं, और गणितज्ञ धीरे-धीरे उनकी गहराई को समझने लगे(कुछ मामलों में), बजाय उन्हें पहेलियाँ मानने के।


=== विशिष्ट समस्या ===
=== विशिष्ट समस्या ===
दी गई जानकारी यह है कि एक पिता की आयु उसके पुत्र की आयु के दोगुने से 1 कम है, और वह अंक {{math|''AB''}} पिता की उम्र बनाने से बेटे की उम्र में उल्टा हो जाता है (यानी {{math|''BA''}}). यह समीकरण की ओर जाता है {{math|10''A'' + ''B'' {{=}} 2(10''B'' + ''A'') − 1}}, इस प्रकार {{math|19''B'' − 8''A'' {{=}} 1}}. निरीक्षण परिणाम देता है {{math|''A'' {{=}} 7}}, {{math|''B'' {{=}} 3}}, और इस तरह {{math|''AB''}} 73 साल के बराबर और {{math|''BA''}} 37 साल के बराबर। कोई आसानी से दिखा सकता है कि इसके साथ कोई अन्य समाधान नहीं है {{math|''A''}} तथा {{math|''B''}} सकारात्मक पूर्णांक 10 से कम।
दी गई जानकारी यह है कि एक पिता की आयु उसके पुत्र की आयु के दोगुने से 1 कम है, और वह अंक {{math|''AB''}} पिता की उम्र बनाने से बेटे की उम्र में उल्टा हो जाता है(यानी {{math|''BA''}}). यह समीकरण की ओर जाता है {{math|10''A'' + ''B'' {{=}} 2(10''B'' + ''A'') − 1}}, इस प्रकार {{math|19''B'' − 8''A'' {{=}} 1}}. निरीक्षण परिणाम देता है {{math|''A'' {{=}} 7}}, {{math|''B'' {{=}} 3}}, और इस तरह {{math|''AB''}} 73 साल के बराबर और {{math|''BA''}} 37 साल के बराबर। कोई आसानी से दिखा सकता है कि इसके साथ कोई अन्य समाधान नहीं है {{math|''A''}} तथा {{math|''B''}} सकारात्मक पूर्णांक 10 से कम।


[[मनोरंजक गणित]] के क्षेत्र में कई प्रसिद्ध पहेलियाँ डायोफैंटाइन समीकरणों की ओर ले जाती हैं। उदाहरणों में [[तोप का गोला समस्या]], आर्किमिडीज़ की मवेशी समस्या और [[बंदर और नारियल]] सम्मिलित हैं।
[[मनोरंजक गणित]] के क्षेत्र में कई प्रसिद्ध पहेलियाँ डायोफैंटाइन समीकरणों की ओर ले जाती हैं। उदाहरणों में [[तोप का गोला समस्या]], आर्किमिडीज़ की मवेशी समस्या और [[बंदर और नारियल]] सम्मिलित हैं।
Line 192: Line 192:
1637 में, [[पियरे डी फर्मेट]] ने [[अंकगणित]] की अपनी प्रति के हाशिये पर लिखा: एक घन को दो घनों में, या एक चौथी शक्ति को दो चौथाई शक्तियों में, या सामान्य रूप से, दूसरी से अधिक किसी भी शक्ति को दो समान शक्तियों में अलग करना असंभव है।अधिक आधुनिक भाषा में कहा गया, समीकरण {{math|1=''a''{{i sup|''n''}} + ''b''{{i sup|''n''}} = ''c''{{i sup|''n''}}}} के पास किसी के लिए कोई समाधान नहीं है। इसके बाद, उन्होंने लिखा: मैंने इस प्रस्ताव का वास्तव में एक अद्भुत प्रमाण खोजा है, जो कि यह मार्जिन बहुत कम है। हालांकि, इस तरह के एक प्रमाण से गणितज्ञ सदियों तक दूर रहे, और इस तरह उनका बयान फ़र्मेट की अंतिम प्रमेय के रूप में प्रसिद्ध हुआ। यह 1995 तक नहीं था कि यह ब्रिटिश गणितज्ञ [[एंड्रयू विल्स]] द्वारा सिद्ध किया गया था।
1637 में, [[पियरे डी फर्मेट]] ने [[अंकगणित]] की अपनी प्रति के हाशिये पर लिखा: एक घन को दो घनों में, या एक चौथी शक्ति को दो चौथाई शक्तियों में, या सामान्य रूप से, दूसरी से अधिक किसी भी शक्ति को दो समान शक्तियों में अलग करना असंभव है।अधिक आधुनिक भाषा में कहा गया, समीकरण {{math|1=''a''{{i sup|''n''}} + ''b''{{i sup|''n''}} = ''c''{{i sup|''n''}}}} के पास किसी के लिए कोई समाधान नहीं है। इसके बाद, उन्होंने लिखा: मैंने इस प्रस्ताव का वास्तव में एक अद्भुत प्रमाण खोजा है, जो कि यह मार्जिन बहुत कम है। हालांकि, इस तरह के एक प्रमाण से गणितज्ञ सदियों तक दूर रहे, और इस तरह उनका बयान फ़र्मेट की अंतिम प्रमेय के रूप में प्रसिद्ध हुआ। यह 1995 तक नहीं था कि यह ब्रिटिश गणितज्ञ [[एंड्रयू विल्स]] द्वारा सिद्ध किया गया था।


1657 में, फ़र्मेट ने डायोफैंटाइन समीकरण को हल करने का प्रयास किया {{math|61''x''<sup>2</sup> + 1 {{=}} ''y''<sup>2</sup>}} (1000 साल पहले [[ब्रह्मगुप्त]] द्वारा हल)। 18 वीं शताब्दी की शुरुआत में समीकरण अंततः [[यूलर]] द्वारा हल किया गया था, जिसने कई अन्य डायोफैंटाइन समीकरणों को भी हल किया था। धनात्मक पूर्णांकों में इस समीकरण का सबसे छोटा हल है {{math|''x'' {{=}} 226153980}}, {{math|''y'' {{=}} 1766319049}} (देखें [[चक्रवला विधि]])।
1657 में, फ़र्मेट ने डायोफैंटाइन समीकरण को हल करने का प्रयास किया {{math|61''x''<sup>2</sup> + 1 {{=}} ''y''<sup>2</sup>}}(1000 साल पहले [[ब्रह्मगुप्त]] द्वारा हल)। 18 वीं शताब्दी की शुरुआत में समीकरण अंततः [[यूलर]] द्वारा हल किया गया था, जिसने कई अन्य डायोफैंटाइन समीकरणों को भी हल किया था। धनात्मक पूर्णांकों में इस समीकरण का सबसे छोटा हल है {{math|''x'' {{=}} 226153980}}, {{math|''y'' {{=}} 1766319049}}(देखें [[चक्रवला विधि]])।


=== हिल्बर्ट की दसवीं समस्या ===
=== हिल्बर्ट की दसवीं समस्या ===
{{main article|हिल्बर्ट की दसवीं समस्या}}
{{main article|हिल्बर्ट की दसवीं समस्या}}
1900 में, [[डेविड हिल्बर्ट]] ने हिल्बर्ट की अपनी हिल्बर्ट की समस्याओं की दसवीं समस्या के रूप में सभी डायोफ़ैंटाइन समीकरणों की विलेयता का प्रस्ताव दिया। 1970 में, [[यूरी मटियासेविच]] ने इसे नकारात्मक रूप से हल किया, [[जूलिया रॉबिन्सन]], [[मार्टिन डेविस (गणितज्ञ)]] और [[हिलेरी पटनम]] के काम पर निर्माण करके यह साबित करने के लिए कि सभी डायोफैंटाइन समीकरणों को हल करने के लिए एक सामान्य [[कलन विधि]] [[असंभवता का प्रमाण]] है।
1900 में, [[डेविड हिल्बर्ट]] ने हिल्बर्ट की अपनी हिल्बर्ट की समस्याओं की दसवीं समस्या के रूप में सभी डायोफ़ैंटाइन समीकरणों की विलेयता का प्रस्ताव दिया। 1970 में, [[यूरी मटियासेविच]] ने इसे नकारात्मक रूप से हल किया, [[जूलिया रॉबिन्सन]], [[मार्टिन डेविस (गणितज्ञ)|मार्टिन डेविस(गणितज्ञ)]] और [[हिलेरी पटनम]] के काम पर निर्माण करके यह साबित करने के लिए कि सभी डायोफैंटाइन समीकरणों को हल करने के लिए एक सामान्य [[कलन विधि]] [[असंभवता का प्रमाण]] है।


=== डायोफैंटाइन ज्यामिति ===
=== डायोफैंटाइन ज्यामिति ===
डायोफैंटाइन ज्यामिति, जो इस क्षेत्र में बीजगणितीय ज्यामिति से तकनीकों का अनुप्रयोग है, इसके परिणामस्वरूप विकास जारी रहा है; चूंकि मनमाना समीकरणों का इलाज करना एक मृत अंत है, ऐसे समीकरणों की ओर ध्यान जाता है जिनका एक ज्यामितीय अर्थ भी होता है। डायोफैंटाइन ज्यामिति का केंद्रीय विचार एक परिमेय बिंदु का है, अर्थात् एक बहुपद समीकरण का समाधान या बहुपद समीकरणों की एक प्रणाली, जो एक निर्धारित [[क्षेत्र (गणित)]] में एक सदिश है। {{math|''K''}}, जब {{math|''K''}} [[बीजगणितीय रूप से बंद]] नहीं है।
डायोफैंटाइन ज्यामिति, जो इस क्षेत्र में बीजगणितीय ज्यामिति से तकनीकों का अनुप्रयोग है, इसके परिणामस्वरूप विकास जारी रहा है; चूंकि मनमाना समीकरणों का इलाज करना एक मृत अंत है, ऐसे समीकरणों की ओर ध्यान जाता है जिनका एक ज्यामितीय अर्थ भी होता है। डायोफैंटाइन ज्यामिति का केंद्रीय विचार एक परिमेय बिंदु का है, अर्थात् एक बहुपद समीकरण का समाधान या बहुपद समीकरणों की एक प्रणाली, जो एक निर्धारित [[क्षेत्र (गणित)|क्षेत्र(गणित)]] में एक सदिश है। {{math|''K''}}, जब {{math|''K''}} [[बीजगणितीय रूप से बंद]] नहीं है।


=== आधुनिक अनुसंधान ===
=== आधुनिक अनुसंधान ===
Line 217: Line 217:


== घातीय डायोफैंटाइन समीकरण ==
== घातीय डायोफैंटाइन समीकरण ==
यदि डायोफैंटाइन समीकरण में अतिरिक्त चर या [[घातांक]] के रूप में होने वाले चर हैं, तो यह घातीय डायोफैंटाइन समीकरण है। उदाहरणों-रामानुजन-नागल समीकरण सम्मिलित हैं, {{math|1=2<sup>''n''</sup> − 7 = ''x''<sup>2</sup>}}, और फ़र्मेट-कातालान अनुमान और बील के अनुमान का समीकरण, {{math|1=''a''<sup>''m''</sup> + ''b''<sup>''n''</sup> = ''c''<sup>''k''</sup>}} घातांक पर असमानता प्रतिबंधों के साथ। ऐसे समीकरणों के लिए एक सामान्य सिद्धांत उपलब्ध नहीं है; कैटलन के अनुमान जैसे विशेष मामलों को सुलझाया गया है। हालांकि, अधिकांश तदर्थ तरीकों जैसे स्टॉर्मर प्रमेय या यहां तक ​​कि परीक्षण और त्रुटि के माध्यम से हल किए जाते हैं।
यदि डायोफैंटाइन समीकरण में अतिरिक्त चर या [[घातांक]] के रूप में होने वाले चर हैं, तो यह घातीय डायोफैंटाइन समीकरण है। उदाहरणों-रामानुजन-नागल समीकरण सम्मिलित हैं, {{math|1=2<sup>''n''</sup> − 7 = ''x''<sup>2</sup>}}, और फ़र्मेट-कातालान अनुमान और बील के अनुमान का समीकरण, {{math|1=''a''<sup>''m''</sup> + ''b''<sup>''n''</sup> = ''c''<sup>''k''</sup>}} घातांक पर असमानता प्रतिबंधों के साथ। ऐसे समीकरणों के लिए एक सामान्य सिद्धांत उपलब्ध नहीं है; कैटलन के अनुमान जैसे विशेषफल मामलों को सुलझाया गया है। हालांकि, अधिकांश तदर्थ तरीकों जैसे स्टॉर्मर प्रमेय या यहां तक ​​कि परीक्षण और त्रुटि के माध्यम से हल किए जाते हैं।


== यह भी देखें ==
== यह भी देखें ==
Line 231: Line 231:
* {{Cite book | first=John | last=Stillwell | title=Mathematics and its History | edition=Second | publisher=Springer Science + Business Media Inc. | year=2004 | isbn=0-387-95336-1|url=https://books.google.com/books?id=WNjRrqTm62QC&q=diophantine}}
* {{Cite book | first=John | last=Stillwell | title=Mathematics and its History | edition=Second | publisher=Springer Science + Business Media Inc. | year=2004 | isbn=0-387-95336-1|url=https://books.google.com/books?id=WNjRrqTm62QC&q=diophantine}}
==अग्रिम पठन==
==अग्रिम पठन==
*Bashmakova, Izabella G. "Diophante et Fermat", ''Revue d'Histoire des Sciences'' 19 (1966), pp. 289–306
*Bashmakova, Izabella G. "Diophante et Fermat", ''Revue d'Histoire des Sciences'' 19(1966), pp. 289–306
*Bashmakova, Izabella G. ''[[Diophantus and Diophantine Equations]]''. Moscow: Nauka 1972 [in Russian]. German translation: ''Diophant und diophantische Gleichungen''. Birkhauser, Basel/ Stuttgart, 1974. English translation: ''Diophantus and Diophantine Equations''. Translated by Abe Shenitzer with the editorial assistance of Hardy Grant and updated by Joseph Silverman. The Dolciani Mathematical Expositions, 20. Mathematical Association of America, Washington, DC. 1997.
*Bashmakova, Izabella G. ''[[Diophantus and Diophantine Equations]]''. Moscow: Nauka 1972 [in Russian]. German translation: ''Diophant und diophantische Gleichungen''. Birkhauser, Basel/ Stuttgart, 1974. English translation: ''Diophantus and Diophantine Equations''. Translated by Abe Shenitzer with the editorial assistance of Hardy Grant and updated by Joseph Silverman. The Dolciani Mathematical Expositions, 20. Mathematical Association of America, Washington, DC. 1997.
*Bashmakova, Izabella G. "[https://web.archive.org/web/20190403144351/https://core.ac.uk/download/pdf/81109310.pdf Arithmetic of Algebraic Curves from Diophantus to Poincaré"] ''Historia Mathematica'' 8 (1981), 393–416.
*Bashmakova, Izabella G. "[https://web.archive.org/web/20190403144351/https://core.ac.uk/download/pdf/81109310.pdf Arithmetic of Algebraic Curves from Diophantus to Poincaré"] ''Historia Mathematica'' 8(1981), 393–416.
*Bashmakova, Izabella G., Slavutin, E. I. ''History of Diophantine Analysis from Diophantus to Fermat''. Moscow: Nauka 1984 [in Russian].
*Bashmakova, Izabella G., Slavutin, E. I. ''History of Diophantine Analysis from Diophantus to Fermat''. Moscow: Nauka 1984 [in Russian].
*Bashmakova, Izabella G. "Diophantine Equations and the Evolution of Algebra", ''American Mathematical Society Translations'' 147 (2), 1990, pp. 85–100. Translated by A. Shenitzer and H. Grant.
*Bashmakova, Izabella G. "Diophantine Equations and the Evolution of Algebra", ''American Mathematical Society Translations'' 147(2), 1990, pp. 85–100. Translated by A. Shenitzer and H. Grant.
* {{cite book | last=Dickson | first=Leonard Eugene | author-link=Leonard Eugene Dickson | title=[[History of the Theory of Numbers]]. Volume II: Diophantine analysis | orig-year=1920 | zbl=1214.11002 | mr=0245500 | location=Mineola, NY | publisher=Dover Publications | isbn=978-0-486-44233-4 | year=2005}}
* {{cite book | last=Dickson | first=Leonard Eugene | author-link=Leonard Eugene Dickson | title=[[History of the Theory of Numbers]]. Volume II: Diophantine analysis | orig-year=1920 | zbl=1214.11002 | mr=0245500 | location=Mineola, NY | publisher=Dover Publications | isbn=978-0-486-44233-4 | year=2005}}
*Rashed, Roshdi, Houzel, Christian. ''Les Arithmétiques de Diophante : Lecture historique et mathématique'', Berlin, New York : Walter de Gruyter, 2013.
*Rashed, Roshdi, Houzel, Christian. ''Les Arithmétiques de Diophante : Lecture historique et mathématique'', Berlin, New York : Walter de Gruyter, 2013.

Revision as of 15:09, 5 December 2022

समकोण त्रिभुजों को ढूँढना डायोफैंटाइन समीकरण को हल करने के बराबर है a2 + b2 = c2.

गणित में, डायोफैंटाइन समीकरण बहुपद समीकरण है, जिसमें आमतौर पर दो या अधिक अपरिचित सम्मिलित होते हैं, जैसे कि ब्याज का एकमात्र समीकरण पूर्णांक हैं। रेखीय डायोफैंटाइन समीकरण दो या दो से अधिक एक पदीयों के योग के बराबर होता है, जिनमें से प्रत्येक एक बहुपद की डिग्री होती है। घातीय डायोफैंटाइन समीकरण वह है जिसमें अज्ञात घातांक में प्रकट हो सकते हैं।

डायोफैंटाइन समस्याओं में अज्ञात की तुलना में कम समीकरण होते हैं और इसमें पूर्णांकों को खोजना सम्मिलित होता है जो एक साथ सभी समीकरणों को हल करते हैं। जैसा कि समीकरणों की ऐसी प्रणालियाँ बीजगणितीय वक्र, बीजगणितीय सतह, या अधिक सामान्यतः बीजगणितीय सेट को परिभाषित करती हैं, उनका अध्ययन बीजगणितीय ज्यामिति का एक हिस्सा है जिसे 'डायोफैंटाइन ज्यामिति' कहा जाता है।

डायोफैंटाइन शब्द तीसरी शताब्दी के हेलेनिस्टिक गणितज्ञ, सिकंदरिया के डायोफैंटस, जिन्होंने इस तरह के समीकरणों का अध्ययन किया और बीजगणित में गणितीय प्रतीक पेश करने वाले पहले गणितज्ञों में से एक थे। डायोफैंटाइन समस्याओं का गणितीय अध्ययन जो डायोफैंटस ने प्रारंभ किया था, उसे अब डायोफैंटाइन विश्लेषण कहा जाता है।

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

उदाहरण

निम्नलिखित डायोफैंटाइन समीकरणों में, w, x, y, तथा z अज्ञात हैं और अन्य अक्षरों को स्थिरांक दिया गया है:

ax + by = c यह एक रेखीय डायोफैंटाइन समीकरण है।
w3 + x3 = y3 + z3 धनात्मक पूर्णांकों में सबसे छोटा गैर-तुच्छ समाधान 12 3 + 1 3 = 9 3 + 10 3 = 1729 है। यह प्रसिद्ध रूप से 1729 की स्पष्ट संपत्ति के रूप में दिया गया था, रामानुजन द्वारा हार्डी को मिलने के दौरान टैक्सीकैब संख्या(जिसे हार्डी-रामानुजन संख्या भी कहा जाता है) 1917 में।  असीम रूप से कई गैर-तुच्छ समाधान हैं।[1]
xn + yn = zn n = 2 के लिए असीम रूप से कई समाधान हैं( x , y , z ) : पायथागॉरियन ट्रिपलn के बड़े पूर्णांक मानों के लिए , Fermat की अंतिम प्रमेय(प्रारंभ में Fermat द्वारा 1637 में दावा किया गया और 1995 में एंड्रयू विल्स द्वारा सिद्ध किया गया)[2] बताता है कि कोई सकारात्मक पूर्णांक समाधान( x , y , z ) नहीं हैं ।
x2ny2 = ±1 यह पेल का समीकरण है , जिसका नाम अंग्रेजी गणितज्ञ जॉन पेल के नाम पर रखा गया है । इसका अध्ययन ब्रह्मगुप्त ने 7वीं शताब्दी में किया था, साथ ही साथ 17वीं शताब्दी में फर्मेट ने भी।
4/n = 1/x + 1/y + 1/z एर्डोस -स्ट्रॉस अनुमान कहता है कि, प्रत्येक सकारात्मक पूर्णांक n ≥ 2 के लिए, x , y और z में एक समाधान मौजूद है , सभी सकारात्मक पूर्णांक के रूप में। हालांकि आमतौर पर बहुपद रूप में नहीं कहा जाता है, यह उदाहरण बहुपद समीकरण 4 xyz = yzn + xzn + xyn = n( yz + xz + xy ) के बराबर है।
x4 + y4 + z4 = w4 यूलर द्वारा गलत तरीके से अनुमान लगाया गया कि कोई गैर-तुच्छ समाधान नहीं है। Elkies द्वारा सिद्ध किया गया है कि असीम रूप से कई गैर-तुच्छ समाधान हैं, फ्राइ द्वारा कंप्यूटर खोज के साथ सबसे छोटा गैर-तुच्छ समाधान निर्धारित करता है, 95800 4 + 217519 4 + 414560 4 = 422481 4[3][4]

रेखीय डायोफैंटाइन समीकरण

एक समीकरण

सरलतम रेखीय डायोफैंटाइन समीकरण ax + by = c के रूप में होता है, जहां a, b तथा c पूर्णांक दिए गए हैं। समाधान निम्नलिखित प्रमेय द्वारा वर्णित हैं:

इस डायोफैंटाइन समीकरण का समाधान है(जहाँ x तथा y पूर्णांक हैं) अगर c , a और b के सबसे बड़े सामान्य भाजक का गुणज हैइसके अलावा, यदि (x, y) एक समाधान है, तो अन्य समाधानों का रूप है (x + kv, yku), जहाँ k एक स्वेच्छ पूर्णांक है, u और v, a और b के भागफल हैं,(क्रमशः) a और b के महत्तम समापवर्तक द्वारा

प्रमाण: यदि d सबसे बड़ा सामान्य विभाजक है, तो बेजाउट की पहचान पूर्णांक e तथा f के अस्तित्व पर जोर देती है जैसे कि ae + bf = d। यदि c का गुणज d है, तो c = dh किसी पूर्णांक h के लिए (eh, fh) एक समाधान है। दूसरी ओर, पूर्णांक x और y के प्रत्येक युग्म के लिए सबसे बड़ा सामान्य विभाजक d का a तथा b विभाजित ax + by. इस प्रकार, यदि समीकरण का हल है, तो c का गुणज होना चाहिए d. यदि a = ud तथा b = vd, फिर हर समाधान के लिए (x, y), अपने पास

a(x + kv) + b(yku) = ax + by + k(avbu) = ax + by + k(udvvdu) = ax + by,

(x + kv, yku) एक अन्य उपाय है। अंत में, दो समाधान दिए गए जैसे कि ax1 + by1 = ax2 + by2 = c, एक यह निष्कर्ष निकालता है u(x2x1) + v(y2y1) = 0. जैसा u तथा v सह अभाज्य हैं, यूक्लिड की लेम्मा यह दर्शाती है v विभाजित x2x1, और इस प्रकार एक पूर्णांक मौजूद है k ऐसा है कि x2x1 = kv तथा y2y1 = −ku. इसलिए, x2 = x1 + kv तथा y2 = y1ku, जो प्रमाण को पूरा करता है।

चीन(चाइनीज) शेषफल प्रमेय

चाइनीज शेषफल प्रमेय समीकरणों के रैखिक डायोफैंटाइन सिस्टम के महत्वपूर्ण वर्ग का वर्णन करता है: चलो n1, …, nk होना k जोड़ो में एक से अधिक कोप्राइम पूर्णांक, a1, …, ak होना k मनमाना पूर्णांक, और N उत्पाद हो n1nk. चाइनीज शेषफल प्रमेय का दावा है कि निम्नलिखित रैखिक डायोफैंटाइन प्रणाली का एक ही समाधान है (x, x1, …, xk) ऐसा है कि 0 ≤ x < N, और यह कि अन्य समाधान जोड़कर प्राप्त किए जाते हैं x का एक गुणक N:

रैखिक डायोफैंटाइन समीकरणों की प्रणाली

आम तौर पर, रेखीय डायोफैंटाइन समीकरणों की प्रत्येक प्रणाली को उसके आव्यूह के स्मिथ सामान्य रूप की गणना करके हल किया जा सकता है, जो एक क्षेत्र पर रैखिक समीकरणों की प्रणाली को हल करने के लिए कम पंक्ति सोपान रूप के उपयोग के समान है। आव्यूह(गणित) अंकन का उपयोग करते हुए रैखिक डायोफैंटाइन समीकरणों की प्रत्येक प्रणाली को लिखा जा सकता है

AX = C,

कहाँ पे A एक m × n पूर्णांकों का आव्यूह, X एक n × 1 अज्ञात का कॉलम आव्यूह और C एक m × 1 पूर्णांकों का स्तंभ आव्यूह।

स्मिथ के सामान्य रूप की गणना A दो यूनिमॉड्यूलर आव्यूह प्रदान करता है(जो आव्यूह है जो पूर्णांकों पर उलटा होता है और निर्धारक के रूप में ±1 होता है) U तथा V संबंधित आयामों की m × m तथा n × n, जैसे कि आव्यूह

B = [bi,j] = UAV

इस प्रकार कि bi,i के लिए शून्य नहीं है i किसी पूर्णांक से अधिक नहीं k, और अन्य सभी प्रविष्टियाँ शून्य हैं। हल की जाने वाली प्रणाली को इस प्रकार फिर से लिखा जा सकता है

B (V−1X) = UC.

कॉलिंग yi की प्रविष्टियाँ V−1X तथा di उन लोगों के D = UC, यह सिस्टम की ओर जाता है

bi,iyi = di के लिये 1 ≤ ik,
0 yi = di के लिये k < in.

यह प्रणाली निम्नलिखित अर्थों में दिए गए एक के बराबर है: पूर्णांकों का एक स्तंभ आव्यूह x दी गई प्रणाली का एक समाधान है अगर x = Vy पूर्णांकों के कुछ स्तंभ आव्यूह के लिए y ऐसा है कि By = D.

यह इस प्रकार है कि सिस्टम का एक समाधान है अगर bi,i विभाजित di के लिये ik तथा di = 0 के लिये i > k. यदि यह स्थिति पूरी हो जाती है, तो दी गई प्रणाली के समाधान हैं

कहाँ पे hk+1, …, hn मनमाना पूर्णांक हैं।

रेखीय डायोफैंटाइन समीकरणों की प्रणालियों को हल करने के लिए हर्मिट सामान्य रूप का भी उपयोग किया जा सकता है। हालाँकि, हर्मिट सामान्य रूप सीधे समाधान प्रदान नहीं करता है; हर्मिट सामान्य रूप से समाधान प्राप्त करने के लिए, कई रैखिक समीकरणों को क्रमिक रूप से हल करना होगा। फिर भी, रिचर्ड ज़िप्पल ने लिखा है कि स्मिथ का सामान्य रूप रैखिक डायोफैंटाइन समीकरणों को हल करने के लिए वास्तव में आवश्यक से कुछ अधिक है। समीकरण को विकर्ण रूप में कम करने के बजाय, हमें केवल इसे त्रिकोणीय बनाने की आवश्यकता है, जिसे हर्मिट सामान्य रूप कहा जाता है। स्मिथ सामान्य रूप की तुलना में हर्मिट सामान्य रूप की गणना करना काफी आसान है।[5] पूर्णांक रैखिक प्रोग्रामिंग रैखिक प्रणालियों के कुछ पूर्णांक समाधान(कुछ अर्थों में इष्टतम) खोजने के लिए है जिसमें असमानताएं भी सम्मिलित हैं। इस प्रकार रैखिक डायोफैंटाइन समीकरणों की प्रणालियाँ इस संदर्भ में बुनियादी हैं, और पूर्णांक प्रोग्रामिंग पर पाठ्यपुस्तकों में आमतौर पर रैखिक डायोफैंटाइन समीकरणों की प्रणालियों का उपचार होता है।[6]

सजातीय समीकरण

एक सजातीय डायोफैंटाइन समीकरण एक डायोफैंटाइन समीकरण है जिसे एक सजातीय बहुपद द्वारा परिभाषित किया गया है। इस तरह का एक विशिष्ट समीकरण फर्मेट के अंतिम प्रमेय का समीकरण है

में एक सजातीय बहुपद के रूप में n अनिश्चित आयाम के प्रक्षेपी स्थान में एक प्रक्षेपी हाइपरसफेस को परिभाषित करता है n − 1, एक सजातीय डायोफैंटाइन समीकरण को हल करना एक प्रक्षेपी हाइपरसफेस के तर्कसंगत बिंदुओं को खोजने के समान है।

एक सजातीय डायोफैंटाइन समीकरण को हल करना आम तौर पर एक बहुत ही कठिन समस्या है, यहां तक ​​​​कि तीन अनिश्चित के सबसे सरल गैर-तुच्छ मामले में भी(दो अनिश्चित के मामले में समस्या परीक्षण के बराबर है यदि एक परिमेय संख्या है dकिसी अन्य परिमेय संख्या की घात)। समस्या की कठिनाई का एक गवाह फ़र्मेट की अंतिम प्रमेय है(के लिए d > 2, उपरोक्त समीकरण का कोई पूर्णांक समाधान नहीं है), जिसे हल करने से पहले गणितज्ञों के तीन शताब्दियों से अधिक के प्रयासों की आवश्यकता थी।

तीन से अधिक डिग्री के लिए, अधिकांश ज्ञात परिणाम प्रमेय हैं जो दावा करते हैं कि कोई समाधान नहीं है(उदाहरण के लिए फर्मेट की अंतिम प्रमेय) या समाधान की संख्या परिमित है(उदाहरण के लिए फाल्टिंग प्रमेय)।

डिग्री तीन के लिए, सामान्य हल करने के तरीके हैं, जो व्यवहार में आने वाले लगभग सभी समीकरणों पर काम करते हैं, लेकिन कोई एल्गोरिदम ज्ञात नहीं है जो प्रत्येक घन समीकरण के लिए काम करता हो।[7]

डिग्री दो

डिग्री दो के सजातीय डायोफैंटाइन समीकरणों को हल करना आसान है। मानक समाधान विधि दो चरणों में आगे बढ़ती है। व्यक्ति को पहले एक समाधान खोजना होता है, या यह सिद्ध करना होता है कि कोई समाधान नहीं है। जब एक समाधान मिल जाता है, तब सभी समाधान निकाले जाते हैं।

यह साबित करने के लिए कि कोई समाधान नहीं है, कोई समीकरण मॉड्यूलर अंकगणित | मॉड्यूल को कम कर सकता है p. उदाहरण के लिए, डायोफैंटाइन समीकरण

तुच्छ समाधान के अलावा और कोई उपाय नहीं है (0, 0, 0). वास्तव में, विभाजित करके x, y, तथा z उनके सबसे बड़े सामान्य विभाजक द्वारा, कोई यह मान सकता है कि वे कोप्राइम हैं। वर्ग मोडुलो 4 0 और 1 के सर्वांगसम हैं। इस प्रकार समीकरण का बायां हाथ 0, 1, या 2 के अनुरूप है, और दाहिना हाथ 0 या 3 के अनुरूप है। इस प्रकार समानता केवल प्राप्त की जा सकती है यदि x, y, तथा z सभी सम हैं, और इस प्रकार कोप्राइम नहीं हैं। इस प्रकार एकमात्र समाधान तुच्छ समाधान है (0, 0, 0). इससे पता चलता है कि त्रिज्या के एक वृत्त पर कोई परिमेय बिंदु नहीं होता है मूल पर केन्द्रित है।

अधिक आम तौर पर, हस्से सिद्धांत यह तय करने की अनुमति देता है कि क्या डिग्री दो के एक सजातीय डायोफैंटाइन समीकरण का एक पूर्णांक समाधान है, और यदि मौजूद है तो एक समाधान की गणना करता है।

यदि एक गैर-तुच्छ पूर्णांक समाधान ज्ञात है, तो निम्न तरीके से अन्य सभी समाधानों का उत्पादन किया जा सकता है।

ज्यामितीय व्याख्या

होने देना

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

कहाँ पे k कोई पूर्णांक है, और d का सबसे बड़ा सामान्य विभाजक है यह इस प्रकार है कि डायोफैंटाइन समीकरण को हल करना संबंधित प्रोजेक्टिव हाइपरसफेस के तर्कसंगत बिंदुओं को खोजने के लिए पूरी तरह से कम हो गया है।

पैरामीटराइजेशन

अभी चलो समीकरण का पूर्णांक हल हो जैसा Q डिग्री दो का एक बहुपद है, एक रेखा से होकर गुजरती है A हाइपरसफेस को एक अन्य बिंदु पर पार करता है, जो तर्कसंगत है अगर लाइन तर्कसंगत है(यानी, अगर लाइन तर्कसंगत मापदंडों द्वारा परिभाषित की गई है)। इससे गुजरने वाली लाइनों द्वारा हाइपरसफेस को पैरामीटरेट करने की अनुमति मिलती है A, और परिमेय बिंदु वे हैं जो परिमेय रेखाओं से प्राप्त किए जाते हैं, अर्थात् वे जो प्राचलों के परिमेय मानों के संगत होते हैं।

अधिक सटीक रूप से, कोई निम्नानुसार आगे बढ़ सकता है।

सूचकांकों की अनुमति देकर, सामान्यता के नुकसान के बिना, यह माना जा सकता है कि इसके बाद परिभाषित एफ़िन बीजगणितीय विविधता पर विचार करके कोई एफ़िन मामले में जा सकता है

जिसका तर्कसंगत बिंदु है

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

तर्कसंगत बिंदुओं को नहीं बदलता है, और रूपांतरित करता है q में एक सजातीय बहुपद में n − 1 चर। इस मामले में, कम चर वाले समीकरण के लिए विधि को लागू करके समस्या को हल किया जा सकता है।

यदि बहुपद q रैखिक बहुपदों(संभवतः गैर-तर्कसंगत गुणांकों के साथ) का एक उत्पाद है, तो यह दो hyperplane को परिभाषित करता है। इन हाइपरप्लेन का प्रतिच्छेदन एक तर्कसंगत फ्लैट(ज्यामिति) है, और इसमें तर्कसंगत एकवचन बिंदु सम्मिलित हैं। इस प्रकार यह मामला पूर्ववर्ती मामले का एक विशेषफल उदाहरण है।

सामान्य स्थिति में, गुजरने वाली रेखा के पैरामीट्रिक समीकरण पर विचार करें R:

इसे में प्रतिस्थापित करना q, डिग्री दो का बहुपद प्राप्त होता है इसके लिए शून्य है यह इस प्रकार से विभाज्य है . भागफल रैखिक है और व्यक्त करने के लिए हल किया जा सकता है अधिक से अधिक दो डिग्री के दो बहुपदों के भागफल के रूप में पूर्णांक गुणांक के साथ:

के भावों में इसे प्रतिस्थापित करना एक के लिए मिलता है i = 1, …, n − 1,

कहाँ पे पूर्णांक गुणांकों के साथ अधिक से अधिक दो डिग्री वाले बहुपद हैं।

फिर, सजातीय मामले में वापस आ सकता है। चलो, के लिए i = 1, …, n,

के एक बहुपद का समरूपीकरण हो पूर्णांक गुणांक वाले ये द्विघात बहुपद, द्वारा परिभाषित प्रक्षेपी हाइपरसफेस का एक पैरामीटर बनाते हैं Q:

द्वारा परिभाषित प्रोजेक्टिव हाइपरसफेस का एक बिंदु Q तर्कसंगत है अगर यह के तर्कसंगत मूल्यों से प्राप्त किया जा सकता है जैसा सजातीय बहुपद हैं, यदि सभी बिंदु नहीं बदले हैं समान परिमेय संख्या से गुणा किया जाता है। इस प्रकार, कोई यह मान सकता है कोप्राइम पूर्णांक हैं। यह इस प्रकार है कि डायोफैंटिन समीकरण के पूर्णांक समाधान बिल्कुल क्रम हैं कहाँ, के लिए i = 1, ..., n,

कहाँ पे k एक पूर्णांक है, कोप्राइम पूर्णांक हैं, और d का सबसे बड़ा सामान्य विभाजक है n पूर्णांकों कोई उम्मीद कर सकता है कि की सह-प्रकृति इसका मतलब हो सकता है d = 1. दुर्भाग्य से ऐसा नहीं है, जैसा कि अगले भाग में दिखाया गया है।

पाइथागोरस त्रिक का उदाहरण

समीकरण

शायद डिग्री दो का पहला सजातीय डायोफैंटाइन समीकरण है जिसका अध्ययन किया गया है। इसके समाधान पाइथागोरियन त्रिक हैं। यह यूनिट सर्कल का सजातीय समीकरण भी है। इस खंड में, हम दिखाते हैं कि कैसे उपरोक्त विधि पाइथागोरस त्रिक उत्पन्न करने के लिए यूक्लिड के सूत्र को पुनः प्राप्त करने की अनुमति देती है।

यूक्लिड के सूत्र को पुनः प्राप्त करने के लिए, हम समाधान से प्रारंभ करते हैं (−1, 0, 1), बिंदु के अनुरूप (−1, 0) यूनिट सर्कल का। इस बिंदु से गुजरने वाली एक रेखा को इसके ढलान से परिचालित किया जा सकता है:

इसे वृत्त समीकरण में रखने पर

एक मिलता है

द्वारा विभाजित करना x + 1, का परिणाम

जिसमें हल करना आसान है x:

का अनुसरण करना

जैसा कि ऊपर बताया गया है, समरूपीकरण से सभी समाधान प्राप्त होते हैं

कहाँ पे k कोई पूर्णांक है, s तथा t कोप्राइम पूर्णांक हैं, और d तीन अंशों का सबसे बड़ा सामान्य विभाजक है। वास्तव में, d = 2 यदि s तथा t दोनों विषम हैं, और d = 1 यदि एक विषम है और दूसरा सम है।

आदिम त्रिगुण वे समाधान हैं जहाँ k = 1 तथा s > t > 0.

समाधानों का यह विवरण यूक्लिड के सूत्र से थोड़ा भिन्न है क्योंकि यूक्लिड का सूत्र केवल ऐसे समाधानों पर विचार करता है जो x, y तथा z सभी सकारात्मक हैं, और दो त्रिगुणों के बीच अंतर नहीं करते हैं जो के आदान-प्रदान से भिन्न होते हैं x तथा y,

डायोफैंटाइन विश्लेषण

विशिष्ट प्रश्न

डायोफैंटाइन विश्लेषण में पूछे गए प्रश्नों में सम्मिलित हैं:

  1. क्या कोई उपाय है?
  2. क्या कुछ से परे कोई समाधान हैं जो गणितीय शब्दजाल #प्रूफ तकनीकों की सूची से आसानी से मिल जाते हैं?
  3. क्या परिमित या अपरिमित रूप से अनेक हल हैं?
  4. क्या सभी समाधान सिद्धांत में खोजे जा सकते हैं?
  5. क्या व्यवहार में कोई समाधान की पूरी सूची की गणना कर सकता है?

ये पारंपरिक समस्याएं प्रायः सदियों से अनसुलझी पड़ी रहती हैं, और गणितज्ञ धीरे-धीरे उनकी गहराई को समझने लगे(कुछ मामलों में), बजाय उन्हें पहेलियाँ मानने के।

विशिष्ट समस्या

दी गई जानकारी यह है कि एक पिता की आयु उसके पुत्र की आयु के दोगुने से 1 कम है, और वह अंक AB पिता की उम्र बनाने से बेटे की उम्र में उल्टा हो जाता है(यानी BA). यह समीकरण की ओर जाता है 10A + B = 2(10B + A) − 1, इस प्रकार 19B − 8A = 1. निरीक्षण परिणाम देता है A = 7, B = 3, और इस तरह AB 73 साल के बराबर और BA 37 साल के बराबर। कोई आसानी से दिखा सकता है कि इसके साथ कोई अन्य समाधान नहीं है A तथा B सकारात्मक पूर्णांक 10 से कम।

मनोरंजक गणित के क्षेत्र में कई प्रसिद्ध पहेलियाँ डायोफैंटाइन समीकरणों की ओर ले जाती हैं। उदाहरणों में तोप का गोला समस्या, आर्किमिडीज़ की मवेशी समस्या और बंदर और नारियल सम्मिलित हैं।

17वीं और 18वीं शताब्दी

1637 में, पियरे डी फर्मेट ने अंकगणित की अपनी प्रति के हाशिये पर लिखा: एक घन को दो घनों में, या एक चौथी शक्ति को दो चौथाई शक्तियों में, या सामान्य रूप से, दूसरी से अधिक किसी भी शक्ति को दो समान शक्तियों में अलग करना असंभव है।अधिक आधुनिक भाषा में कहा गया, समीकरण an + bn = cn के पास किसी के लिए कोई समाधान नहीं है। इसके बाद, उन्होंने लिखा: मैंने इस प्रस्ताव का वास्तव में एक अद्भुत प्रमाण खोजा है, जो कि यह मार्जिन बहुत कम है। हालांकि, इस तरह के एक प्रमाण से गणितज्ञ सदियों तक दूर रहे, और इस तरह उनका बयान फ़र्मेट की अंतिम प्रमेय के रूप में प्रसिद्ध हुआ। यह 1995 तक नहीं था कि यह ब्रिटिश गणितज्ञ एंड्रयू विल्स द्वारा सिद्ध किया गया था।

1657 में, फ़र्मेट ने डायोफैंटाइन समीकरण को हल करने का प्रयास किया 61x2 + 1 = y2(1000 साल पहले ब्रह्मगुप्त द्वारा हल)। 18 वीं शताब्दी की शुरुआत में समीकरण अंततः यूलर द्वारा हल किया गया था, जिसने कई अन्य डायोफैंटाइन समीकरणों को भी हल किया था। धनात्मक पूर्णांकों में इस समीकरण का सबसे छोटा हल है x = 226153980, y = 1766319049(देखें चक्रवला विधि)।

हिल्बर्ट की दसवीं समस्या

1900 में, डेविड हिल्बर्ट ने हिल्बर्ट की अपनी हिल्बर्ट की समस्याओं की दसवीं समस्या के रूप में सभी डायोफ़ैंटाइन समीकरणों की विलेयता का प्रस्ताव दिया। 1970 में, यूरी मटियासेविच ने इसे नकारात्मक रूप से हल किया, जूलिया रॉबिन्सन, मार्टिन डेविस(गणितज्ञ) और हिलेरी पटनम के काम पर निर्माण करके यह साबित करने के लिए कि सभी डायोफैंटाइन समीकरणों को हल करने के लिए एक सामान्य कलन विधि असंभवता का प्रमाण है।

डायोफैंटाइन ज्यामिति

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

आधुनिक अनुसंधान

कुछ सामान्य दृष्टिकोणों में से एक हस्से सिद्धांत के माध्यम से है। अनंत अवतरण पारंपरिक तरीका है, और इसे एक लंबा रास्ता तय किया गया है।

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

डायोफैंटाइन सन्निकटन का क्षेत्र डायोफैंटाइन असमानताओं के मामलों से संबंधित है। यहाँ चरों को अभी भी अभिन्न माना जाता है, लेकिन कुछ गुणांक अपरिमेय संख्या हो सकते हैं, और समानता चिह्न को ऊपरी और निचले सीमा से बदल दिया जाता है।

इस क्षेत्र में एकमात्र सर्वाधिक चर्चित प्रश्न, अनुमान जिसे फर्मेट की अंतिम प्रमेय के रूप में जाना जाता है, विल्स द्वारा फर्मेट की अंतिम प्रमेय का प्रमाण था,[2]पिछली शताब्दी के दौरान बीजगणितीय ज्यामिति से उपकरण का उपयोग संख्या सिद्धांत के बजाय विकसित किया गया था जहां अनुमान मूल रूप से तैयार किया गया था। फाल्टिंग्स प्रमेय जैसे अन्य प्रमुख परिणामों ने पुराने अनुमानों को समाप्त कर दिया है।

अनंत डायोफैंटाइन समीकरण

अनंत डायोफैंटाइन समीकरण का एक उदाहरण है:

n = a2 + 2b2 + 3c2 + 4d2 + 5e2 + ⋯, जिसे इस रूप में व्यक्त किया जा सकता है कि पूर्णांक कितनी विधियों से दिया जा सकता है, n वर्ग के योग के रूप में दो बार एक वर्ग के साथ तीन बार एक वर्ग और इसी तरह लिखा जाएगा? यह प्रत्येक के लिए कितने तरीकों से किया जा सकता है n एक पूर्णांक अनुक्रम बनाता है। अनंत डायोफैंटाइन समीकरण थीटा कार्यों और अनंत आयामी जाली से संबंधित हैं। इस समीकरण में हमेशा किसी भी सकारात्मक का हल होता है n.[8] इसकी तुलना करें:
n = a2 + 4b2 + 9c2 + 16d2 + 25e2 + ⋯,

जिसका हमेशा सकारात्मक समाधान नहीं होता है n.

घातीय डायोफैंटाइन समीकरण

यदि डायोफैंटाइन समीकरण में अतिरिक्त चर या घातांक के रूप में होने वाले चर हैं, तो यह घातीय डायोफैंटाइन समीकरण है। उदाहरणों-रामानुजन-नागल समीकरण सम्मिलित हैं, 2n − 7 = x2, और फ़र्मेट-कातालान अनुमान और बील के अनुमान का समीकरण, am + bn = ck घातांक पर असमानता प्रतिबंधों के साथ। ऐसे समीकरणों के लिए एक सामान्य सिद्धांत उपलब्ध नहीं है; कैटलन के अनुमान जैसे विशेषफल मामलों को सुलझाया गया है। हालांकि, अधिकांश तदर्थ तरीकों जैसे स्टॉर्मर प्रमेय या यहां तक ​​कि परीक्षण और त्रुटि के माध्यम से हल किए जाते हैं।

यह भी देखें

  • साथ ही, दो अज्ञात में रेखीय डायोफैंटाइन समीकरणों को हल करने के लिए आर्यभट्ट का एल्गोरिद्म

टिप्पणियाँ

  1. Everest, G.; Ward, Thomas (2006), An Introduction to Number Theory, Graduate Texts in Mathematics, vol. 232, Springer, p. 117, ISBN 9781846280443.
  2. 2.0 2.1 Wiles, Andrew (1995). "Modular elliptic curves and Fermat's Last Theorem" (PDF). Annals of Mathematics. 141 (3): 443–551. doi:10.2307/2118559. JSTOR 2118559. OCLC 37032255.
  3. Elkies, Noam (1988). "On A4 + B4 + C4 = D4" (PDF). Mathematics of Computation. 51 (184): 825–835. doi:10.2307/2008781. JSTOR 2008781. MR 0930224.
  4. Frye, Roger E. (1988). "Finding 958004 + 2175194 + 4145604 = 4224814 on the Connection Machine". Proceedings of Supercomputing 88, Vol.II: Science and Applications. pp. 106–116. doi:10.1109/SUPERC.1988.74138.
  5. Richard Zippel (1993). प्रभावी बहुपद संगणना. Springer Science & Business Media. p. 50. ISBN 978-0-7923-9375-7.
  6. Alexander Bockmayr, Volker Weispfenning (2001). "Solving Numerical Constraints". In John Alan Robinson and Andrei Voronkov (ed.). स्वचालित रीज़निंग वॉल्यूम I की हैंडबुक. Elsevier and MIT Press. p. 779. ISBN 0-444-82949-0. (Elsevier) (MIT Press).
  7. Kovacic, Jerald (8 May 1985). "दूसरे क्रम के रैखिक सजातीय विभेदक समीकरणों को हल करने के लिए एक एल्गोरिथम" (PDF). Core. Archived (PDF) from the original on 16 April 2019.
  8. "A320067 - Oeis".

संदर्भ

अग्रिम पठन

  • Bashmakova, Izabella G. "Diophante et Fermat", Revue d'Histoire des Sciences 19(1966), pp. 289–306
  • Bashmakova, Izabella G. Diophantus and Diophantine Equations. Moscow: Nauka 1972 [in Russian]. German translation: Diophant und diophantische Gleichungen. Birkhauser, Basel/ Stuttgart, 1974. English translation: Diophantus and Diophantine Equations. Translated by Abe Shenitzer with the editorial assistance of Hardy Grant and updated by Joseph Silverman. The Dolciani Mathematical Expositions, 20. Mathematical Association of America, Washington, DC. 1997.
  • Bashmakova, Izabella G. "Arithmetic of Algebraic Curves from Diophantus to Poincaré" Historia Mathematica 8(1981), 393–416.
  • Bashmakova, Izabella G., Slavutin, E. I. History of Diophantine Analysis from Diophantus to Fermat. Moscow: Nauka 1984 [in Russian].
  • Bashmakova, Izabella G. "Diophantine Equations and the Evolution of Algebra", American Mathematical Society Translations 147(2), 1990, pp. 85–100. Translated by A. Shenitzer and H. Grant.
  • Dickson, Leonard Eugene (2005) [1920]. History of the Theory of Numbers. Volume II: Diophantine analysis. Mineola, NY: Dover Publications. ISBN 978-0-486-44233-4. MR 0245500. Zbl 1214.11002.
  • Rashed, Roshdi, Houzel, Christian. Les Arithmétiques de Diophante : Lecture historique et mathématique, Berlin, New York : Walter de Gruyter, 2013.
  • Rashed, Roshdi, Histoire de l'analyse diophantienne classique : D'Abū Kāmil à Fermat, Berlin, New York : Walter de Gruyter.

बाहरी संबंध