शेषफल

गणित में, शेषफल वह राशि है जो कुछ संगणना करने के बाद शेष रहती है। अंकगणित में, पूर्णांक भागफल (यूक्लिडियन विभाजन) उत्पन्न करने के लिए एक पूर्णांक को दूसरे पूर्णांक से विभाजित करने के बाद शेषफल "बचा हुआ" पूर्णांक होता है। बहुपदों के बीजगणित में, एक बहुपद को दूसरे बहुपद से भाग देने पर बचा हुआ बहुपद शेषफल होता है। 'मॉड्यूल ऑपरेशन' वह संक्रिया है जो लाभांश और भाजक दिए जाने पर ऐसा शेषफल उत्पन्न करता है।

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

पूर्णांक विभाजन
एक पूर्णांक a और एक गैर-शून्य पूर्णांक d दिया गया है, यह दिखाया जा सकता है कि अद्वितीय पूर्णांक q और r उपस्थित हैं, जैसे कि $a = qd + r$ और $0 ≤ r < |d|$. संख्या q को भागफल कहा जाता है, जबकि r को शेषफल कहा जाता है।

(इस परिणाम के प्रमाण के लिए, यूक्लिडियन विभाजन देखें। शेषफल की गणना करने के तरीके का वर्णन करने वाले एल्गोरिदम के लिए, विभाजन एल्गोरिथ्म देखें।)

शेषफल, जैसा कि ऊपर परिभाषित किया गया है, को सबसे कम धनात्मक शेषफल या केवल शेषफल कहा जाता है। पूर्णांक a या तो d का गुणज है, या d के क्रमागत गुणकों के बीच अंतराल में स्थित है, अर्थात्, q⋅d और (q + 1)d (सकारात्मक q के लिए)।

कुछ अवसर पर, विभाजन करना सुविधाजनक होता है ताकि a जितना संभव हो सके d के अभिन्न गुणक के सन्निकट हो, अर्थात् हम लिख सकते हैं
 * a = k⋅d + s, |s| के साथ ≤ |d/2| किसी पूर्णांक k के लिए,

इस स्थिति में, s को लघुत्तम न्यूनतम पूर्ण शेषफल कहा जाता है। जैसा कि भागफल और शेषफल के साथ होता है, k और s विशिष्ट रूप से निर्धारित होते हैं, उस स्थिति को छोड़कर जहाँ d = 2n और s = ± n। इस अपवाद के लिए, हमारे पास है,
 * a = k⋅d + n = (k + 1) d - n

इस स्थिति में कुछ परिपाटी द्वारा अद्वितीय शेषफल प्राप्त किया जा सकता है - जैसे सदैव s का धनात्मक मान लेना।

उदाहरण
43 बटा 5 के विभाजन में, हमारे पास,
 * 43 = 8 × 5 + 3,

इसलिए 3 सबसे कम धनात्मक शेषफल है। हमारे पास वह भी है,
 * 43 = 9 × 5 - 2,

और -2 न्यूनतम पूर्ण शेषफल है।

ये परिभाषाएँ तब भी मान्य होती हैं जब d ऋणात्मक हो, उदाहरण के लिए, 43 को -5 से विभाजित करने पर,


 * 43 = (−8) × (−5) + 3,

और 3 सबसे कम धनात्मक शेषफल है, जबकि,


 * 43 = (−9) × (−5) + (−2)

और -2 न्यूनतम पूर्ण शेषफल है।

42 से 5 के विभाजन में, हमारे पास है,
 * 42 = 8 × 5 + 2,

और चूँकि 2 < 5/2, 2 न्यूनतम धनात्मक शेषफल और न्यूनतम निरपेक्ष शेषफल दोनों है।

इन उदाहरणों में, (नकारात्मक) कम से कम निरपेक्ष शेषफल 5 घटाकर प्राप्त किया जाता है, जो कि d है। यह सामान्य रूप से रहता है। d से विभाजित करते समय, या तो दोनों अवशेषफल सकारात्मक होते हैं और इसलिए बराबर होते हैं, या उनके विपरीत संकेत होते हैं। यदि धनात्मक शेषफल r1 है, और नकारात्मक शेषफल r2 है, तो


 * r1 = r2 + d

फ़्लोटिंग-पॉइंट संख्या के लिए
जब ए और डी फ़्लोटिंग-पॉइंट संख्या होते हैं, डी गैर-शून्य के साथ, ए को शेषफल के बिना डी द्वारा विभाजित किया जा सकता है, भागफल एक और फ़्लोटिंग-पॉइंट संख्या होता है। यदि भागफल एक पूर्णांक होने के लिए विवश है, तथापि, शेषफल की अवधारणा अभी भी आवश्यक है। यह साबित किया जा सकता है कि एक अद्वितीय पूर्णांक भागफल q और एक अद्वितीय फ़्लोटिंग-पॉइंट शेषफल r उपस्थित है जैसे a = qd + r 0 ≤ r < |d| के साथ।

चल बिन्दु संख्या के लिए शेषफल की परिभाषा का विस्तार, जैसा कि ऊपर वर्णित है, गणित में सैद्धांतिक महत्व का नहीं है; हालाँकि, कई प्रोग्रामिंग भाषाएँ इस परिभाषा को लागू करती हैं (मॉड्यूलो संक्रिया देखें)।

प्रोग्रामिंग भाषाओं में
जबकि परिभाषाओं में निहित कोई कठिनाइयां नहीं हैं, कार्यान्वयन के मुद्दे हैं जो तब उत्पन्न होते हैं जब शेषफलों की गणना में ऋणात्मक संख्याएं शामिल होती हैं। विभिन्न प्रोग्रामिंग भाषाओं ने अलग-अलग परंपराओं को अपनाया है। उदाहरण के लिए,

(C99 से पहले, C भाषा अन्य विकल्पों की अनुमति देती थी।)
 * पास्कल (प्रोग्रामिंग भाषा) मॉड संक्रिया के परिणाम को सकारात्मक चुनता है, लेकिन d को नकारात्मक या शून्य होने की अनुमति नहीं देता है (इसलिए, a = (a div d ) × d + a mod d सदैव मान्य नहीं होता है)।
 * C99 लाभांश के समान चिन्ह के साथ शेषफल को चुनता है।
 * पर्ल, पायथन (प्रोग्रामिंग भाषा) (केवल आधुनिक संस्करण) भाजक डी के समान चिह्न के साथ शेषफल का चयन करें।
 * हास्केल (प्रोग्रामिंग भाषा) और स्कीम (प्रोग्रामिंग लैंग्वेज) दो कार्यों की पेशकश करते हैं, शेषफल और मोडुलो - एडा (प्रोग्रामिंग लैंग्वेज), सामान्य लिस्प और पीएल / आई में मॉड और रेम है, जबकि फोरट्रान में मॉड और मोडुलो है; प्रत्येक स्थिति में, पूर्व लाभांश के साथ हस्ताक्षर करता है, और बाद वाला भाजक के साथ।

बहुपद विभाजन
बहुपदों का यूक्लिडियन विभाजन पूर्णांकों के यूक्लिडियन विभाजन के समान है और बहुपद अवशेषफल की ओर जाता है। इसका अस्तित्व निम्नलिखित प्रमेय पर आधारित है, दिए गए दो अविभाजित बहुपद a(x) और b(x) (जहाँ b(x) एक गैर-शून्य बहुपद है) एक क्षेत्र पर परिभाषित (विशेषफल रूप से, वास्तविक संख्या या जटिल संख्याएँ), दो बहुपद q(x) (भागफल) और r(x) (शेषफल ) उपस्थित हैं जो संतुष्ट करते हैं,
 * $$a(x) = b(x)q(x) + r(x)$$

कहाँ पे
 * $$\deg(r(x)) < \deg(b(x)),$$

जहाँ deg(...) बहुपद की डिग्री को दर्शाता है (स्थिर बहुपद की डिग्री जिसका मान सदैव 0 होता है, को ऋणात्मक के रूप में परिभाषित किया जा सकता है, ताकि यह डिग्री स्थिति सदैव मान्य रहे जब यह शेषफल हो)। इसके अलावा, q(x) और r(x) इन संबंधों द्वारा विशिष्ट रूप से निर्धारित होते हैं।

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

बहुपद विभाजन बहुपद शेषफल प्रमेय के रूप में ज्ञात परिणाम की ओर ले जाता है, यदि एक बहुपद f(x) को x - k से विभाजित किया जाता है, तो शेषफल अचर r = f(k) होता है।

यह भी देखें

 * शेष प्रमेय
 * विभाज्यता नियम
 * गुणा और भाग
 * यूक्लिडियन एल्गोरिथ्म
 * लम्ब विभाजन
 * मॉड्यूलर अंकगणित
 * बहुपद लंब विभाजन
 * सिंथेटिक विभाजन
 * रफ़िनी का नियम, संश्लिष्ट विभाजन का एक विशेष मामला
 * टेलर की प्रमेय

टिप्पणियाँ
