डायोफैंटीय समीकरण

पूर्णांक भुजाओं वाले सभी समकोण त्रिभुज प्राप्त करना एक प्रकार से डायोफैंटीय समीकरण <math>a^2+b^2=c^2 \,</math> के हल करने के तुल्य ही है।

डायोफैंटस नामक यूनानी गणितज्ञ ने, जो संभवत: ईसा के पश्चात् तीसरी शताब्दी में रहा, बहुत से बहुपदीय अनिर्धार्य समीकरणों (Undetermined Equations) का अध्ययन किया तथा पूर्णांकों में उनके हलों को ज्ञात किया। किन्तु आधुनिक तथ्यों के प्रकाश में अब इसमें कोई सन्देश नहीं रह गया है कि डायोफैण्टस से बहुत पहले ही भारतीय गणितज्ञों ने इस क्षेत्र में अत्यन्त महत्वपूर्ण कार्य कर लिया था।

डायोफैंटीय समस्याओं में समीकरणों की संख्या चरों की संख्या से कम होती है (अर्थात समीकरण अनिर्धारित होते हैं)। इन समीकरणों में चरों के गुणांक पूर्णांक होते हैं और चरों का ऐसा पूर्णांक मान प्राप्त करना होता है जो इन समीकरणों को संतुष्ट करें। इसलिए उन सभी समीकरणों का नाम डायोफैंटीय समीकरण (Diophantine Equations) पड़ गया जिनमें चरों के गुणांक पूर्णांक होते हैं।

डायोफैंटीय समस्याओं के गणितीय अध्ययन को आजकल डायोफैंटीय विश्लेषण (Diophantine analysis) कहते हैं। इतिहास में हरेक डायोफैंटीय समीकरण एक बुझौवल (puzzle) की तरह प्रयोग की जाती रही हैं किन्तु डायोफैंटीय समीकरणों का सामान्य सिद्धान्त (जो द्विघात रूपों के परे भी जांय) बीसवीं शती की एक बड़ी गणितीय उपलब्धि मानी जाती है।

डायोफैंटीय समीकरण के उदाहरण

नीचे दिये गये डायोफैंटीय समीकरणों में x, y, तथा z अज्ञात राशियाँ हैं; अन्य अक्षर नियत राशियाँ हैं।
<math>ax+by=1\,</math>	यह एक रैखिक डायोफैंटीय समीकरण है।
<math>x^n+y^n=z^n \,</math>	n = 2 के लिये (x,y,z) के अनन्त हल सम्भव हैं जो पाइथागोरीय त्रिक (Pythagorean triple) होंगे। n के 3 से बड़े मानों के लिये, फर्मा के अन्तिम प्रमेय (Fermat's Last Theorem) के अनुसार (x, y, z) का कोई भी धनात्मक पूर्णांक हल सम्भव नहीं है
<math>x^2-ny^2=\pm 1\,</math>	यह पेल्ल का समीकरण है जो अंग्रेज गणितज्ञ जॉन पेल्ल (John Pell) के नाम पर पड़ा है। इसे ब्रह्मगुप्त ने सातवीं शती में इसका अध्ययन किया था। फर्मा (Fermat) ने सत्रहवीं शती में इसका अध्ययन किया।
<math>\frac{4}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}</math>	यह इर्डॉस-स्ट्रॉस कान्जेक्चर (Erdős–Straus conjecture) कहलाता है। इसके अनुसार, 2 से बड़ी धन पूर्णांकों के लिये (n ≥ 2), एक हल सम्भव है जिसमें x, y, तथा z सभी धन पूर्णांक होंगे। यद्यपि इस समीकरण को बहुपद के रूप में नहीं व्यक्त किया जाता, किन्तु यह उदाहरण बहुपद समीकरण 4xyz = yzn + xzn + xyn = n(yz + xz + xy) के तुल्य ही है।

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

डायोफैंटीय विश्लेषण में प्राय: निम्नलिखित प्रश्नों पर विचार किया जाता है-

• क्या कोई हल सम्भव है?
• किसी दी हुई संख्या (जिसके लिये आसानी से देखकर ही पता चल जाता है कि यह डायोफैंटीय समीकरण का हल है) के परे कोई हल सम्भव हैं?
• हलों की संख्या सीमित है या अनन्त ?
• क्या सैद्धान्तिक रूप से सभी हल प्राप्त करना सम्भव है?
• क्या कोई व्यक्ति सभी हलों की गणना कर सकता है? क्या यह व्यावहारिक है?

भारत के प्राचीन गणितज्ञों द्वारा कृत डायोफैंटीय विश्लेषण

ब्रह्मगुप्त

८०० ईसापूर्व से ५०० ईसापूर्व रचित शुल्बसूत्रों में डायोफैंटीय समीकरणों का पूर्णांक हल मिलता है। लगभग ८०० ईसापूर्व में बौधायन ने युगपत (simultaneous) डायोफैंटीय समीकरणों का हल दो धनात्मक पूर्णाकों का सेट के रूप में प्राप्त किया था। उन्होने चार अज्ञात राशियों से युक्त युगपत डायोफैंटीय समीकरणों का हल निकालने की भी कोशिश की थी। ६०० ईसापूर्व में आपस्तम्ब ने ५ अज्ञात राशियों वाले डायोफैंटीय समीकरणों का हल करने की कोशिश की थी।

कुट्टक

अति प्राचीन काल से ही भारतीय गणितज्ञ <math>ax + by = c</math> प्रकार के समीकरणों का पूर्णांक हल खोजने की दिशा में कार्यरत रहे हैं। यद्यपि आजकल इन्हें 'डायोफैण्टीय समीकरण' कहा जाता है किन्तु डायोफैण्टस से बहुत पहले शुल्बसूत्रों में ऐसी गणितीय समस्याओं की विशद चर्चा है। शुल्बसूत्रों का काल ८०० ईसापूर्व या उससे भी पहले है।

आर्यभट ने इस प्रकार की समस्याओं के हल को 'कुट्टक' नाम दिया है। भास्कर ने आर्यभटीय की टीका में निम्नलिखित कुट्टक दिया है-

वह संख्या निकालो जिसमें ८ से भाग देने पर ५ शेष रहता है, ९ से भाग देने पर ५ शेष रहता है तथा ७ से भाग देने पर १ शेष रहता है।

अर्थात् पूर्णांक <math>N</math> निकालो जहाँ <math>N = 8x+5 = 9y+4 = 7z+1 </math>। इसे हल करने पर <math>N</math> का मान <math>85</math> आता है।

'कुट्टक' का शाब्दिक अर्थ 'कूटने वाला' (पल्वराइजर) है। कुट्टक विधि वास्तव में एक पुनरावर्ती (recursive) विधि है। वर्तमान समय में भास्कर द्वारा 621 ई में व्याख्या सहित दी गयी इस विधि को 'आर्यभट की कलनविधि' (Aryabhata algorithm) कहते हैं जो प्रथम घात वाले डायोफैण्टीय समीकरणों के हल की मानक विधि बन गयी है।

इसी प्रकार, ब्रह्मगुप्त ने निम्नलिखित अनिर्धार्य समीकरण को हल किया है:

<math>4567x - 10,000y = 2166</math>

ब्रह्मगुप्त के 'खण्डखाद्यक' नामक ग्रन्थ में 'कुट्टकाध्याय' नामक एक पूरा अध्याय है।

१७वीं एवं १८वीं श्ताब्दी

फर्मा (Pierre de Fermat) ने इस दिशा में काफी काम किया।

बाहरी कड़ियाँ

• डायोफैंटीय समीकरण का हल - भास्कराचार्य द्वारा गणित में किये गये योगदान का विश्लेषण (रमा जैन)
• Diophantine equations: The Kuttaka (अमर्त्य कुमार दत्त)
• Diophantine Equation. From MathWorld at Wolfram Research.
• Diophantine Equation. From PlanetMath.
• Dario Alpern's Online Calculator. Retrieved 18 March 2009