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

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

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

தேற்றத்தின் கூற்றும் எடுத்துக்காட்டுகளும்

6, ஒரு செவ்விய எண் என்பதனை குசேனைரே கோல்கள் மூலம் விளக்கும் படம்

செவ்விய எண்

தனது தகு வகுஎண்களின் கூட்டுத்தொகைக்குச் சமமாகவுள்ள இயல் எண்ணானது ஒரு செவ்விய எண் எனப்படுகிறது. எடுத்துக்காட்டாக 6 ஒரு செவ்விய எண்; ஏனெனில் அதன் தகுவகுஎண்களின் கூட்டுத்தொகை: 1 + 2 + 3 = 6.

மெர்சென் பகாத்தனி

வார்ப்புரு:Math வடிவிலமையும் பகாத்தனிகள். இவ்வடிவிலமையும் எண்கள் பகா எண்களாக இருப்பதற்கு வார்ப்புரு:Mvar உம் ஒரு பகா எண்ணாக இருக்க வேண்டும். ஆனால் வார்ப்புரு:Mvar இன் அனைத்து பகா எண் மதிப்புகளுக்கும், 2^p − 1 ஒரு பகா எண்ணாக இருப்பதில்லை. எடுத்துக்காட்டாக,

வார்ப்புரு:Nowrap . இது ஒரு பகா எண்; மேலும் மெர்சென் பகா எண்ணுங்கூட.

ஆனால் 11 ஒரு பகாஎண்ணாக இருந்தாலும்,

வார்ப்புரு:Nowrap பகா எண் அல்ல.

தேற்றத்தின் கூற்று

ஓர் இரட்டையெண்ணானது வார்ப்புரு:Math, (இதில் வார்ப்புரு:Math என்பது மெர்சென் பகாத்தனி) என்ற வடிவில் "இருந்தால், இருந்தால் மட்டுமே", அந்த இரட்டையெண் ஒரு செவ்விய எண்ணாக இருக்கமுடியும்.

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

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

வார்ப்புரு:Nowrap, (மெர்சென் பகாத்தனி வார்ப்புரு:Mvar₂ = 2)

வார்ப்புரு:Nowrap, (மெர்சென் பகாத்தனி வார்ப்புரு:Mvar₃ = 7)

நிறுவல்

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

போதுமானது

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

நிறுவல்

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

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

• வகுஎண்களின் கூட்டுத்தொகைச் சார்பானது பெருக்கல் சார்பாதலால்:

$\sigma (n)=\sigma (2^{p-1}(2^p-1))=\sigma (2^{p-1})\sigma (2^p-1).$

இதிலுள்ள முதல் காரணி வார்ப்புரு:Math இன் வகுஎண்கள் வார்ப்புரு:Math.

இது ஒரு பெருக்குத் தொடர். எனவே இவற்றின் கூட்டுத்தொகை வார்ப்புரு:Math.

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

• எனவே இவற்றைபெருக்கல் சார்பின் பண்பில் பதிலிட

$$\begin{array}{cc}\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{array}$$

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

தேவையானது

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

நிறுவல்

வார்ப்புரு:Math ஆனது, வார்ப்புரு:Math எனக் காரணிப்படுத்தப்படுகிறது.

இதிலுள்ள இரு காரணிகளில் 2^k ஓர் இரட்டையெண்; எனவே வார்ப்புரு:Mvar ஒற்றையெண்ணாக இருக்கும்.

வார்ப்புரு:Math ஒரு செவ்விய எண் என்பதால், அதன் வகுஎண்களின் கூட்டுத்தொகை $\sigma (n)=2n$ ஆகும் வார்ப்புரு:Math எனப் பதிலிட,

$\sigma (2^{k}x)=2.(2^{k}x)=2^{k+1}x$

$⟹2^{k+1}x=\sigma (2^{k}x)=\sigma (2^k).\sigma (x)$ (வகுஎண் கூட்டுத்தொகைச் சார்பு ஒரு பெருக்கல் சார்பு என்பதால்).

$\sigma (2^k)$ ஒரு பெருக்குத் தொடராக இருக்குமென்பதால் பெருக்குத்தொடரின் கூட்டுத்தொகைக்கான வாய்பாட்டைப் பயன்படுத்த:

$\sigma (2^k)=2^{k+1}-1$

வார்ப்புரு:NumBlk

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

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

$2^{k+1}\frac{x}{2^{k+1}-1}=\sigma (x)$

வார்ப்புரு:Math எனப் பதிலிட:

$⟹2^{k+1}y=\sigma (x)$ = x இன் வகுஎண்களின் கூட்டுத்தொகை

$⟹2^{k+1}y=x+y+$ x இன் மற்ற வகுஎண்கள்

$⟹2^{k+1}y=2^{k+1}y+$ x இன் மற்ற வகுஎண்கள்

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

வார்ப்புரு:Mvar எனப் பதிலிட x இன் மதிப்பு:

வார்ப்புரு:Math என்ற பகாஎண்ணாகும்.

வார்ப்புரு:Mvar இன் இந்த மதிப்பை வார்ப்புரு:Math இல் பதிலிட:

$n=2^k(2^{k+1}-1)$

$n=2^{(k+1)-1}(2^{k+1}-1)$

வரலாறு

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

இம்முடிவை யூக்ளிடு பின்வருமாறு குறிப்பிடுகிறார்:

முதல் உறுப்பு 1; பொதுவிகிதம்  2 உடைய ஒரு முடிவுறு பெருக்குத் தொடரின் கூட்டுத்தொகை வார்ப்புரு:Mvar என்ற பகா எண்ணாக இருக்குமானால், இக்கூட்டுத்தொகை வார்ப்புரு:Mvar, பெருக்குத்தொடரின் கடைசி உறுப்பு வார்ப்புரு:Mvar ஆகிய இரண்டின் பெருக்கற்பலனாகக் கிடைக்கும் எண்ணானது ஒரு செவ்விய எண்ணாக இருக்கும்.

யூக்ளிடின் நிறுவல்

பெருக்குத்தொடரின் கூட்டுத்தொகைக்கான வாய்பாட்டின்படி ,

வார்ப்புரு:Mvar, ஒரு மெர்சென் பகாஎண்;

மேலும் பெருக்குத்தொடரின் கடைசி உறுப்பு:

வார்ப்புரு:Mvar

அடுத்து, முதல் உறுப்பு = வார்ப்புரு:Mvar; பொதுவிகிதம்  2 எனவும் அதே எண்ணிக்கையிலான உறுப்புகளையும் கொண்ட மற்றொரு பெருக்குத்தொடரானது மூலப் பெருக்குத்தொடருடன் விகிதசமமாக இருப்பதை யூக்ளிடு நிறுவினார்.

இப்போது, மூலப் பெருக்குத்தொடரின் கூட்டுத்தொகை வார்ப்புரு:Math என்பதால், இரண்டாவது பெருக்குத்தொடரின் கூட்டுத்தொகை வார்ப்புரு:Math ஆகும்.

இவ்விரு பெருக்குத்தொடர்களின் கூட்டுத்தொகைகளைக் கூட்டினால் வார்ப்புரு:Math கிடைக்கிறது.

இது அனுமானிக்கப்பட்ட செவ்விய எண் வார்ப்புரு:Math இன் இருமடங்காக உள்ளது.

q ஒரு பகாஎண்ணாதலால், இரு தொடர்களும் பொதுவுறுப்புகளற்றவை;

மேலும் வார்ப்புரு:Math இன் அனைத்து வகுஎண்களும் இவ்விரு தொடர்களின் மொத்த உறுப்புகளாக அமைகின்றன.

எனவே வார்ப்புரு:Math இன் அனைத்து வகுஎண்களின் கூடுதலானது, இவ்விரு பெருக்குத்தொடர்களின் கூட்டுத்தொகைகளின் கூடுதலான வார்ப்புரு:Math ஆக இருக்கும்.

அதாவது $\sigma (qt)=2(qt)$

இதுவே செவ்விய எண்ணுக்கான வரையறையாதலால்,

வார்ப்புரு:Math ஒரு செவ்விய எண்ணாகும்.

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

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

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