# யூக்ளிடு-ஆய்லர் தேற்றம்

கணிதத்தின் எண்கோட்பாட்டில் **யூக்ளிடு-ஆய்லர் தேற்றம்** (*Euclid–Euler theorem*) என்பது செவ்விய எண்களை மெர்சென் பகாத்தனிகளுடன் தொடர்புபடுத்தும் ஒரு தேற்றமாகும். ஓர் இரட்டையெண்ணானது (இதில், ஒரு பகா எண்) என்ற வடிவில் "இருந்தால், இருந்தால் மட்டுமே", அந்த இரட்டையெண் ஒரு செவ்விய எண்ணாக இருக்கமுடியும் என இத்தேற்றம் கூறுகிறது. இத்தேற்றத்தில் "இருந்தால்", "இருந்தால் மட்டுமே" எனும் இரு பகுதிகளை முறையே நிறுவிய யூக்ளிடு, ஆய்லர் என்ற இரு கணிதவியலாளர்களின் பெயரால் இத்தேற்றம் அழைக்கப்படுகிறது.  

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

எடுத்துக்காட்டுகள்:  
:6, 28 ஆகிய இரு எண்களும் இரட்டைச் செவ்விய எண்களாகவும், அதேசமயம் வடிவில் எழுதக்கூடியவையாகவும் உள்ளதைக் காணலாம்:  

:, (மெர்சென் பகாத்தனி <sub>2</sub> = 2)  
:, (மெர்சென் பகாத்தனி <sub>3</sub> = 7)  

## நிறுவல்
வகுஎண்களின் கூட்டுத்தொகைச் சார்பானது ஒரு பெருக்கல் சார்பு என்பதைக்கொண்டு இந்நிறுவல் செயல்படுகிறது; அதாவது, , இரண்டும் சார்பகா முழுஎண்கள் எனில், . வகுஎண்களின் கூட்டுத்தொகை காணும்போது தகு வகுஎண்களை மட்டுமல்லாமல் அந்த எண்ணையும் சேர்த்துக்கொண்டால்தான் பெருக்கல் சார்பு எனும் கூற்று உண்மையாக இருக்கும். ஒரு எண்ணின் அனைத்து வகு எண்களின் கூட்டுத்தொகைச் சார்பலனானது அவ்வெண்ணின் இருமடங்காக "இருந்தால், இருந்தால் மட்டுமே", அது ஒரு செவ்விய எண்ணாக இருக்கும். <math>n</math> ஒரு செவ்விய எண் எனில், <math>\sigma(n)=2n</math>.  

### போதுமானது

ஒரு இரட்டை முழுவெண்; மேலும் இது என்ற வடிவிலுள்ளது எனில், ஒரு செவ்விய எண் என நிறுவவேண்டும்.  

;நிறுவல்  

- யூக்ளிடால் ஏற்கனவே நிறுவப்பட்ட இப்பகுதியானது பெருக்கல் சார்பின் பண்பிலிருந்து பெறப்படுகிறது:

- மெர்செனி பகாத்தனியின் பொதுவடிவம்: , இது ஒரு பகாஎண்.

- வகுஎண்களின் கூட்டுத்தொகைச் சார்பானது பெருக்கல் சார்பாதலால்:
:<math display-block>\sigma(n) = \sigma(2^{p-1}(2^p - 1)) = \sigma(2^{p-1})\sigma(2^p - 1).</math>  
: இதிலுள்ள முதல் காரணி இன் வகுஎண்கள் .  
: இது ஒரு பெருக்குத் தொடர். எனவே இவற்றின் கூட்டுத்தொகை .  
: அடுத்து இரண்டாவது காரணி ஒரு பகாஎண் (மெர்சென்பகாத்தனி) என்பதால் இதன் வகுஎண்கள் , மட்டுமே. இவை இரண்டின் கூட்டுத்தொகை .  

- எனவே இவற்றைபெருக்கல் சார்பின் பண்பில் பதிலிட
<math display=block>\begin{align}  
\sigma(n) = \sigma(2^{p-1}(2^p - 1)) &= \sigma(2^{p-1})\sigma(2^p - 1) \\  
&= (2^p - 1)(2^p) \\  
&= 2(2^{p-1})(2^p - 1)\\  
&= 2n.\\  
\end{align}</math>  

- அதாவது வடிவிலமைந்தை இரட்டை எண் , ஒரு செவ்விய எண்.

### தேவையானது
ஒரு இரட்டைச் செவ்விய எண் எனில் என்ற வடிவிலமையும் என நிறுவ வேண்டும்.  

;நிறுவல்  
: ஆனது, எனக் காரணிப்படுத்தப்படுகிறது.  
: இதிலுள்ள இரு காரணிகளில் 2<sup>*k*</sup> ஓர் இரட்டையெண்; எனவே ஒற்றையெண்ணாக இருக்கும்.  
: ஒரு செவ்விய எண் என்பதால், அதன் வகுஎண்களின் கூட்டுத்தொகை <math> \sigma (n) = 2n </math> ஆகும் எனப் பதிலிட,  

: <math> \sigma (2^k x) = 2.(2^k x) = 2^{k+1}x</math>  

: <math>\implies 2^{k+1}x = \sigma (2^k x) = \sigma(2^k). \sigma(x)</math> (வகுஎண் கூட்டுத்தொகைச் சார்பு ஒரு பெருக்கல் சார்பு என்பதால்).  
: <math> \sigma (2^k )</math> ஒரு பெருக்குத் தொடராக இருக்குமென்பதால் பெருக்குத்தொடரின் கூட்டுத்தொகைக்கான வாய்பாட்டைப் பயன்படுத்த:  
:<math> \sigma (2^k ) = 2^{k+1} - 1</math>  
:  

**(∗)** இன் வலப்புறமுள்ள ஒரேயொரு ஒற்றைக்காரணி ஆனது குறைந்தபட்சம் 3 ஆக இருக்க வேண்டும்; மேலும், இடப்பக்கமுள்ள ஒரேயொரு ஒற்றைக்காரணி இன் வகுஎண்ணாக இருக்கும். எனவே என்பது இன் ஒரு தகுவகுஎண்.  

: **(∗)** இன் இருபுறமும் பொதுக்காரணி வகுக்க:  

: <math>2^{k+1}\frac{x}{2^{k+1} - 1} = \sigma(x)</math>  
: எனப் பதிலிட:  
: <math>\implies 2^{k+1}y = \sigma(x)</math> = x இன் வகுஎண்களின் கூட்டுத்தொகை  
: <math>\implies 2^{k+1}y =x + y + </math> *x* இன் மற்ற வகுஎண்கள்  
: <math>\implies 2^{k+1}y = 2^{k+1}y + </math> *x* இன் மற்ற வகுஎண்கள்  

இச்சமன் உண்மையாக இருக்கவேண்டுமானால், *x* இற்கு வேறு வகுஎண்கள் எதுவும் இருக்கமுடியாது; ஆகவும் இருக்கவேண்டும்.  

: எனப் பதிலிட *x* இன் மதிப்பு:  
: என்ற பகாஎண்ணாகும்.  

யூக்ளிடின் காலத்திற்கு பல்லாயிரம் ஆண்டுகளுக்குப் பின்னர், இபின் அல் ஹய்தம் ஒவ்வொரு செவ்விய இரட்டையெண்ணும் ( ஒரு பகா எண்), என்ற வடிவிலமையும் என்ற அனுமானத்தை வெளியிட்டார். ஆனால் அவரால் அதனை நிறுவ இயலவில்லை. யூக்ளிடுக்குப் பின்னர் 2000 ஆண்டுகள் கழித்தும் 18 ஆம் நூற்றாண்டுவரை இதற்கான நிறுவல் பெறப்படவில்லை.  

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

இத்தேற்றம் 1999 இலிருந்து, "சிறந்த 100 கணிதத் தேற்றங்களின்" இணையப் பட்டியலில் இடப்பெற்றுள்ளது. பின்னர் கணினியியலில் "நிறுவல் உதவிகளின்" திறமையைச் சோதித்தறியும் "திட்டஅளவி"யாக பிரீக் வியடிஜ்க் என்பவரால் பயன்படுத்தப்பட்டது. 2024 இல் யூக்ளிடு-ஆய்லர் தேற்றத்தின் நிறுவலானது, வியடிஜ்க்கால் பதிவுசெய்யப்பட்ட 12 "நிறுவல் உதவி"களில் 7 இல் முறைப்படுத்தப்பட்டுள்ளது.