# மீதி (கணிதம்)

கணிதத்தில் **மீதி** அல்லது **மீதம்** (*remainder*) என்பது ஏதேனுமொரு கணிக்கிடுதலுக்குப் பின்னர் ’விடுபட்டுள்ள தொகை’யாகும். எண்கணிதத்தில், ஒரு முழு எண்ணை மற்றொரு முழுஎண்ணால் வகுத்து, ஒரு முழுஎண் ஈவு கிடைத்தபின் விடுபட்டப் பகுதி மீதி எனப்படும். இயற்கணிதத்தில் மீதி என்பது, ஒரு பல்லுறுப்புக்கோவையை மற்றொரு பல்லுறுப்புக்கோவையால் வகுத்தபின் விடுபட்டுள்ள பல்லுறுப்புக்கோவை. வகுபடு எண்ணும் வகுஎண்ணும் தரப்பட்டுள்ளபோது, ’மீதி’யைத் தருகின்ற செயலி சமானம், மாடுலோ n ஆகும். சார்பை, ஒரு தொடர் விரிவாகத் தோராயமாக எழுதும்போது விடுபட்டுப் போகும் பகுதியானது (பிழை) ”மீதமுள்ள உறுப்பு” எனப்படும்.  

இரு எண்களைக் கழிக்கக் கிடைக்கும் எண்ணானது அவ்விரு எண்களுக்கு இடையேயான ’வித்தியாசம்’ ஆகும். எனினும், அது பொதுவாக மீதி அல்லது மிச்சம் என்றே அழைக்கப்படுகிறது. இந்தப் பயன்பாட்டைத் தொடக்கப்பள்ளிப் பாடப்புத்தகங்களில் காணலாம். எடுத்துக்காட்டாக ஒரு சிறு கழித்தல் கணக்கின் கேள்வி: ”உன்னிடம் 100 உள்ளது. 70 ரூபாய்க்குப் புத்தகங்கள் வாங்கிவிட்டாய். இப்பொழுது உன்னிடம் எவ்வளவு பணம் ’மீதம்’ இருக்கும்?  

## முழுஎண் வகுத்தல்

*a* , *d* இரு முழுஎண்கள்; *d* ≠ 0 எனில்:  

::*a* = *qd*&nbsp;+&nbsp;*r* and 0&nbsp;≤&nbsp;*r*&nbsp;<&nbsp;*|d|*  

என்றமையுமாறு *q* , *r* என்ற இரு தனித்த முழுஎண்களைக் காணமுடியும். இதில *q*, ஈவு என்றும் *r* மீதி என்றும் அழைக்கப்படும் (யூக்ளிடிய வகுத்தல்).  

இவ்வாறு வரையறுக்கப்பட்ட மீதியானது, *மிகச்சிறிய நேர்ம மீதி* அல்லது சுருக்கமாக, *மீதி* என அழைக்கப்படும். முழுஎண் *a* , *d* இன் மடங்காகவோ அல்லது *d* இன் இரு தொடர் மடங்குகளுக்கு இடைப்பட்டதாகவோ (*q⋅d* அல்லது (*q* + 1)*d* , *q* ஒரு நேர்ம எண்).  

சில சமயங்களில் *d* முழுஎண் மடங்கொன்றுக்கு முடிந்தளவுக்கு மிகஅருகிலானதாக *a* இருக்குமாறு வகுத்தலைச் செய்வது வசதியாக இருக்கும். அதாவது பின்வருமாறு எழுதலாம்:  
:*a* = *k⋅d* + *s*, |*s*| ≤ |*d*/2| , *k* ஒரு முழுஎண்.  

இம்முறையில் *s* என்பது *மிகச்சிறிய தனி மீதி* எனப்படும். *d* = 2*n* , *s* = ± *n* என்ற நிலையைத் தவிர்த்து, இதில் *k* , *s* இரண்டும் தனித்த மதிப்புகள் கொண்டிருக்கும்.  

*d* = 2*n* , *s* = ± *n* எனில் *a* , கீழ்வருமாறு அமையும்:  
: *a* = *k⋅d* + *n* = (*k* + 1)*d* - *n*.  

இதில், எப்பொழுதும் *s* இன் நேர்ம மதிப்பை எடுத்துக்கொள்வதன் மூலம் மீதியின் மதிப்பு தனித்ததாக அமையுமாறு பார்த்துக் கொள்ளலாம்..  

### எடுத்துக்காட்டுகள்
43 ஐ 5 ஆல் வகுக்கும்போது:  
: 43 = 8 &times; 5 + 3, இதில் 3, ”மிகச்சிறிய நேர்ம மீதி”  

: 43 = 9 &times; 5 - 2 எனவும் எழுத முடியும். இதில் &minus;2 ”மிகச்சிறியத் தனி மீதி”.  

*d* எதிர்ம எண்ணாக இருந்தாலும் இந்த வரையறைகள் பொருந்தும்.  

43 ஐ &minus;5 ஆல் வகுக்கும்போது,  
:43 = (&minus;8)&times;(&minus;5) + 3, இதில் 3, ”மிகச்சிறிய நேர்ம மீதி”  

இதே 43ஐ கீழுள்ளவாறும் எழுதலாம்:  
:43 = (&minus;9)&times;(&minus;5) + (&minus;2) இதில் &minus;2, ”மிகச்சிறிய தனி மீதி”  

42 ஐ 5 ஆல் வகுக்கும்போது:  
:42 = 8 &times; 5 + 2, இதில் 2 < 5/2 என்பதால், 2 ஆனது ”மிகச்சிறிய நேர்ம மீதி”யாகவும் , ”மிகச்சிறிய தனி மீதி”யாகவும் இருக்கும்.  

மேலுள்ள எடுத்துக்காட்டுகளில், ”மிகச்சிறிய நேர்ம மீதி”யிலிருந்து வகுஎண்ணைக் கழித்தால் ”மிகச்சிறிய தனி மீதி” கிடைப்பதைக் காணலாம். ”மிகச்சிறிய நேர்ம மீதி”, ”மிகச்சிறிய தனி மீதி” இரண்டும் சமமாக அமையும் அல்லது எதிர்க்குறி கொண்டவையாக இருக்கும் ”மிகச்சிறிய நேர்ம மீதி” *r*<sub>1</sub> -”மிகச்சிறிய நேர்ம மீதி”; எதிர்க்குறி கொண்ட மீதி *r*<sub>2</sub> எனில்,  
:r<sub>1</sub> = *r*<sub>2</sub> + *d*.  

## பல்லுறுப்புக்கோவை வகுத்தல்
முழுஎண்களின் யூக்ளிடிய வகுத்தல் போன்றே பல்லுறுப்புக்கோவைகளின் யூக்ளிடிய வகுத்தல் வரையறுக்கப்படுகிறது.  
: ஒரு களத்தில் (பெரும்பாலும் மெய்யெண்கள் அல்லது சிக்கலெண்கள்) *a*(*x*) , *b*(*x*) (*b*(*x*) பூச்சிய பல்லுறுப்புக்கோவையாக இருக்கக் கூடாது) இரண்டும் ஒருமாறியிலமைந்த பல்லுறுப்புக்கோவைகள் எனில் *q*(*x*) (ஈவு) ,*r*(*x*) (மீதி) என இரு பல்லுறுப்புக்கோவைகள்,  
:<math>a(x)=b(x)q(x)+r(x)</math>  
:<math>\deg(r(x))<\deg(b(x)),</math> என்ற முடிவை நிறைவு செய்யும்  

இங்கு "deg(...)" என்பது பல்லுறுப்புக்கோவையின் படியைக் குறிக்கிறது. (படிகளுக்கான நிபந்தனை எப்போதும் செல்லுபடியாவதற்காக, 0 ஆகவுள்ள மாறிலி பல்லுறுப்புக்கோவையின் படி எதிர்மமாக வரையறுத்துக் கொள்ளப்படுகிறது). இத்தொடர்புகளால் *q*(*x*) , *r*(*x*) இரண்டும் தனித்தவைகளாகின்றன. பல்லுறுப்புக்கோவை வகுத்தலில் படிகளுக்குத் தரப்படும் நிபந்தனைக்குப் பதிலாக முழுஎண் வகுத்தலில் நிபந்தனை மீதியின் மீது வைக்கப்படுகிறது.  

பல்லுறுப்புக்கோவை வகுத்தலின் விளைவாக கிடைப்பது பல்லுறுப்புக் கோவை மீதியத் தேற்றம் ஆகும்:  

*f*(*x*) என்ற பல்லுறுப்புக்கோவையை *x* - *k* ஆல் வகுக்கும்போது கிடைக்கும் மீதி *r* = *f*(*k*) எனும் மாறிலியாகும்.