சமனிலி (கணிதம்)

கணிதத்தில் **சமனிலி** (*inequality*) என்பது வெவ்வேறான இரு அளவுகளுக்கு இடையேயான உறவாகும்.

*a* என்பது *b* க்குச் சமமானதாக இல்லை என்பதைக் குறிக்கும் குறியீடு:
: a \not = b 

*a* என்பது *b* க்குச் சமமானதாக இல்லை என்பதை மட்டுமே, இக்குறியீடு காட்டுகிறது. இரண்டு மதிப்புகளில் எது பெரியது, எது சிறியது அல்லது அவை ஒப்பிடக் கூடியவையா போன்ற விவரங்களைத் தருவதில்லை.

எடுத்துக்கொள்ளப்பட்ட மதிப்புகள் முழு எண்கள் அல்லது மெய்யெண்கள் போன்ற வரிசைப்படுத்தப்பட்ட கணத்தின் உறுப்புகளாக இருந்தால், அவற்றின் அளவுகளை ஒப்பிட முடியும்.

* *a* , *b* ஐ **விடச் சிறியது** என்பதன் குறியீடு  *a*  *b* .

இரண்டிலும்  *a* , *b* க்குச் சமனானது இல்லை.

**<**, **>** இரண்டும் **கண்டிப்பான சமனிலிகள்** (*strict inequalities*) எனப்படும்.  *a*  *c* எனில்,   *a* > *c*
**  *a* = *b* மற்றும் *b* > *c* எனில்,  *a* > *c*

### மறுதலை
≤ , ≥ இரண்டும் ஒன்றுக்கொன்று மறுதலை உறவுகள்
*  *a* , *b* இரண்டும் ஏதேனும் இரு மெய்யெண்கள் எனில்:
** *a* ≤ *b* எனில், *b* ≥ *a*.
** *a* ≥ *b* எனில், *b* ≤ *a*.

### கூட்டலும் கழித்தலும்

ஒரு சமனிலியின் இருபுறமும், ஒரு பொது மாறிலி *c* ஐக் கூட்டலாம் அல்லது கழிக்கலாம். அதனால் சமனிலியில் எந்தவொரு மாற்றமும் இராது.

* *a*, *b*, *c* மூன்று மெய்யெண்கள்:
** *a* ≤ *b*, எனில் *a* + *c* ≤ *b* + *c* மற்றும் *a* − *c* ≤ *b* − *c*.
** *a* ≥ *b* எனில், *a* + *c* ≥ *b* + *c* மற்றும் *a* − *c* ≥ *b* − *c*.

அதாவது கூட்டலின் கீழ் மெய்யெண்களின் கணம் ஒரு வரிசைப்படுத்தப்பட்ட குலமாகும்.

### பெருக்கலும் வகுத்தலும்

*a*, *b* , *c* ≠ 0 என்பவை மூன்று மெய்யெண்கள்.

*  *c* > 0 எனில் அதனைக் கொண்டு, ஒரு சமனிலியின் இருபுறமும் பெருக்குவதாலோ அல்லது வகுப்பதாலோ சமனிலியின் தன்மை மாறாது:
::  *a* ≥ *b* , *c* > 0 எனில், *ac* ≥ *bc* மற்றும் *a/c* ≥ *b/c*.
::  *a* ≤ *b* , *c* > 0 எனில், *ac* ≤ *bc* மற்றும் *a/c* ≤ *b/c*.

* *c*  *b* எனில், 1/*a* > 1/*b*.

இவற்றைக் கீழுள்ளவாறு தொடர் குறியீட்டில் எழுதலாம்:
* பூச்சியமற்ற இரு மெய்யெண்கள் *a* , *b* :
:: 0  0.
:: *a* ≤ *b*  1/*a* ≥ 1/*b*.
:: *a*  *a* ≥ *b* எனில், 1/*a* ≤ 1/*b*  0 எனில், 0  0 > *b* எனில், 1/*a* > 0 > 1/*b*.

### இருபுறத்திலும் சார்பைப் பயன்படுத்தல்

ஓரியல்பாகக் கூடும் சார்பொன்றை, அச்சார்பின் ஆட்களத்திலமைந்த ஒரு சமனிலியின் இருபுறமும் செயற்படுத்தும்போது, சமனிலியின் நிலையில் மாற்றம் இருக்காது.

ஓரியல்பாகக் குறையும் சார்பொன்றை, அச்சார்பின் ஆட்களத்திலமைந்த ஒரு சமனிலியின் இருபுறமும் செயற்படுத்தும்போது, சமனிலியின் நிலை நேர்மாறாக மாறும்.  நேர் எண்களின் கூட்டல் நேர்மாறு, பெருக்கல் நேர்மாறுகளுக்கான விதிகள், ஓரியல்பாகக் குறையும் சார்பைச் சமனிலியின் இருபுறமும் செயற்படுத்துவதற்கான எடுத்துக்காட்டுகளாகும்.

சமனிலி கண்டிப்பானதாகவும் (*a*  *b*), சார்பு கண்டிப்பாக கூடும் சார்பாகவும் இருந்தால், விளைவும் கண்டிப்பான சமனிலியாக இருக்கும். ஏதேனும் ஒன்று மட்டுமே இருக்குமானால் விளைவு, கண்டிப்பற்ற சமனிலியாக அமையும்.

எடுத்துக்காட்டுகள்: 
*நேர் எண்ணால் அடுக்கேற்றம்

*n > 0* ; *a* , *b* நேர் மெய்யெண்கள் எனில்:
::*a* ≤ *b* ⇔ *a*n ≤ *b*n.
::*a* ≤ *b* ⇔ *a*-n ≥ *b*-n.

* இயல் மடக்கை காணல்

*a* , *b* நேர் மெய்யெண்கள் எனில்:
::*a* ≤ *b* ⇔ ln(*a*) ≤ ln(*b*).
::*a*  இரண்டும் கண்டிப்பான முழுவரிசைகளாக இருக்கும்.

## சராசரிகளுக்கிடையிலான சமனிலிகள்
: மற்றும் *a*1, *a*2, …, *a**n* நேர் எண்கள் எனில் இச்சராசரிகளுக்கு இடையேயுள்ள சமனிலி:

:: H \le G \le A \le Q 

## அடுக்குச் சமனிலிகள்
*a* , *b* நேர் மெய்யெண்கள் அல்லது கோவைகள் எனில், *a**b* வடிவ உறுப்புகள் கொண்ட சமனிலி, அடுக்குச் சமனிலி ஆகும்.

### எடுத்துக்காட்டுகள்

* *x* ஒரு மெய்யெண் எனில்,
:: e^x \ge 1+x\,
*  *x* > 0 எனில்,
:: x^x \ge \left( \frac{1}{e}\right)^{1/e}\,
*  *x* ≥ 1 எனில்,
:: x^{x^x} \ge x\,
*  *x*, *y*, *z* > 0 எனில்,
:: (x+y)^z + (x+z)^y + (y+z)^x > 2\,
* *a* , *b* வெவ்வேறான இரு மெய்யெண்கள் எனில்,
:: \frac{e^b-e^a}{b-a} > e^{(a+b)/2}
*  *x*, *y* > 0 , 0 (x+y)^p 
*  *x*, *y*, *z* > 0 எனில்,
:: x^x y^y z^z \ge (xyz)^{(x+y+z)/3}\,
*  *a*, *b* > 0 எனில்,
:: a^a + b^b \ge a^b + b^a\,
*  *a*, *b* > 0 எனில்,
:: a^{ea} + b^{eb} \ge a^{eb} + b^{ea}\,
*  *a*, *b*, *c* > 0 எனில்,
:: a^{2a} + b^{2b} + c^{2c} \ge a^{2b} + b^{2c} + c^{2a}\,
*  *a*, *b* > 0 எனில்,
:: a^b + b^a > 1\,
*a*1,&nbsp;...,&nbsp;*a**n* > 0 எனில்,
:: a_1^{a_2}+a_2^{a_3}+\cdots+a_n^{a_1}>1

## குறிப்புகள்

## மேற்கோள்கள்
*
*
*
*
*
*
*
*
*
*

## வெளியிணைப்புகள்

* 
* Graph of Inequalities by Ed Pegg, Jr., Wolfram Demonstrations Project.
* AoPS Wiki entry about Inequalities

பகுப்பு:அடிப்படை இயற்கணிதம்
பகுப்பு:கணிதச் சமனிலிகள்