# இணையியச் சிக்கலெண் மூலத் தேற்றம்

கணிதத்தில் **இணையியச் சிக்கலெண் மூலத் தேற்ற**த்தின்படி (*complex conjugate root theorem*), மெய்யெண் கெழுக்களுடன், ஒரு மாறியில் அமைந்த பல்லுறுப்புக்கோவையின் ஒரு மூலம் சிக்கலெண்ணாக இருந்தால், அச் சிக்கலெண்ணின் இணையியமும் அதற்கு இன்னொரு மூலமாக இருக்கும்.  

;தேற்றத்தின் கூற்று  
மெய்யெண் கெழுக்களுடன், ஒரு மாறியில் அமைந்த பல்லுறுக்கோவை *P* எனில்:  
:*a*&nbsp;+&nbsp;*bi* என்ற சிக்கலெண் இப் பல்லுறுப்புக்கோவைக்கு ஒரு மூலம் எனில். அதன் இணையியச் சிக்கலெண்ணான *a*&nbsp;−&nbsp;*bi* ம், *P* இன் மற்றொரு மூலமாகும்.  

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

## எடுத்துக்காட்டுகள்
- <math>x^2+1=0 </math>
:<math>x^2+1 = (x+i)(x-i) </math>  
:ஃ மூலங்கள்: <math>\pm i \,</math>  

- <math>x^2-4x+5=0 </math>
:<math>x^2-4x+5 = (x-\overline {2+i})(x-\overline{2-i}) </math>  
:ஃ மூலங்கள்: <math>2 \pm i \,</math>  

- <math>x^3-3x^2+4x-2=0 </math>
:<math>x^3-3x^2+4x-2 = (x-1)(x^2-2x+2) = (x-1)(x-\overline {1+i})(x-\overline{1-i}) </math>  
:ஃ மூலங்கள்: <math>1, \, 1 \pm i \,</math>  

இந்த எடுத்துக்காட்டிலுள்ள பல்லுறுப்புக்கோவையின் படி (3) ஒற்றையெண்ணாக உள்ளது. மேலும், மூன்று தீர்வுகளில் இரண்டு இணையியச் சிக்கலெண்களாகவும் ஒன்று மெய்யெண்ணாகவும் இருப்பதைக் காணலாம்.  

## விளைவுகள்
- எந்தவொரு ஒற்றையெண் படியுடைய, மெய்யெண் சதுர அணியும் குறைந்தபட்சம் ஒரு ஐகென் மதிப்பாவது கொண்டிருக்கும்.
:எடுத்துக்காட்டாக, செங்குத்து அணியின் ஐகென் மதிப்புகள் 1 அல்லது −1 ஆகும்.  
- பல்லுறுப்புக்கோவைகளில், மெய்யெண்ணல்லாத காரணிகள் சோடிகளாக அமைகின்றன; மேலும் அவற்றைப் பெருக்கினால் மெய்யெண் கெழுக்களைக் கொண்ட இருபடிப் பல்லுறுப்புக்கோவை கிடைக்கிறது. சிக்கலெண் கெழுக்களையுடைய பல்லுறுப்புக்கோவைகளை முதற்படிக் காரணிகளாகக் காரணியாக்கம் செய்யலாம் என்பதால்,

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

;எடுத்துக்காட்டு  
பல்லுறுப்புக்கோவை <math> x^3 - 7x^2 + 41x - 87\, </math> இன் மூலங்கள்:  
::<math> 3,\, 2 + 5i,\, 2 - 5i,</math>  

காரணிகளின் வடிவில்:  
::<math> (x - 3)(x - 2 - 5i)(x - 2 + 5i).\,</math>  

கடைசி இரு காரணிகளையும் பெருக்கிச் சுருக்கக் கிடைப்பது:  
::<math> (x - 3)(x^2 - 4x + 29).\,</math> (சோடியாக அமையும் ஒரு பல்லுறுப்புக்கோவையின் மெய்யெண்ணல்லாத காரணிகள் இரண்டும் பெருக்கப்படும்போது, மெய்யெண் கெழுக்களுடைய இருபடி பல்லுறுப்புக்கோவை கிடைக்கிறது)  

## எளிய நிறுவல்
இத் தேற்றத்தின் ஒரு நிறுவல்:  

: <math>P(z) = a_0 + a_1z + a_2z^2 + \cdots + a_nz^n</math> (இங்கு *a*<sub>*r*</sub> அனைத்தும் மெய்யெண்கள்)  

*P* இன் ஒரு மூலம் சிக்கலெண் *&zeta;* (*P*(*&zeta;*)&nbsp;=&nbsp;0) எனில், அதன் இணையியச் சிக்கலெண் <math>P(\overline{\zeta}) </math> மற்றொரு மூலம் என்பதை நிறுவ வேண்டும். அதாவது <math>P(\overline{\zeta}) = 0</math> எனக் காட்ட வேண்டும்.  

*P*(*&zeta;*)&nbsp;=&nbsp;0 எனில்,  
: <math>a_0 + a_1\zeta + a_2\zeta^2 + \cdots + a_n\zeta^n = 0\,</math>  

இதனைப் பின்வருமாறு எழுதலாம்:  
: <math>\sum_{r=0}^n a_r\zeta^r = 0. \quad (1)</math>  

;நிறுவல்  
: <math>P(\overline{\zeta}) = \sum_{r=0}^n a_r\(\overline{\zeta}\)^r</math>  
: <math>= \sum_{r=0}^n a_r\(\overline{\zeta}\)^r = \sum_{r=0}^n a_r \overline{\zeta^r} = \sum_{r=0}^n \overline{a_r\zeta^r} = \overline {\sum_{r=0}^n a_r\zeta^r} = \overline{0} = 0.</math> (இணையியச் சிக்கலெண்களின் பண்புகள் மற்றும் சமன்பாடு களின்படி)  

அதாவது,  
: <math>P(\overline{\zeta}) = a_0 + a_1\overline{\zeta} + a_2\(\overline{\zeta}\)^2 + \cdots + a_n\(\overline{\zeta}\)^n = 0.</math>