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

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

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

 தேற்றத்தின் கூற்றும் எடுத்துக்காட்டுகளும் 
alt=Cuisenaire rods showing the proper divisors of 6 (1, 2, and 3) adding up to 6|thumb|6, ஒரு செவ்விய எண் என்பதனை குசேனைரே கோல்கள் மூலம் விளக்கும் படம்
செவ்விய எண்
தனது தகு வகுஎண்களின் கூட்டுத்தொகைக்குச் சமமாகவுள்ள இயல் எண்ணானது ஒரு செவ்விய எண் எனப்படுகிறது. எடுத்துக்காட்டாக 6 ஒரு செவ்விய எண்; ஏனெனில் அதன் தகுவகுஎண்களின் கூட்டுத்தொகை: 1 + 2 + 3 = 6.

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

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

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

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

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

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

, (மெர்சென் பகாத்தனி 2 = 2)
, (மெர்சென் பகாத்தனி 3 = 7)

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

 போதுமானது 

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

நிறுவல்

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

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

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

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

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

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

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

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



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



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

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


  எனப் பதிலிட:
  = x இன் வகுஎண்களின் கூட்டுத்தொகை
  x இன் மற்ற வகுஎண்கள்
  x இன் மற்ற வகுஎண்கள்

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

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

  இன் இந்த மதிப்பை  இல் பதிலிட:



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

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

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

பெருக்குத்தொடரின் கூட்டுத்தொகைக்கான வாய்பாட்டின்படி ,
 , ஒரு மெர்சென் பகாஎண்;
 மேலும் பெருக்குத்தொடரின் கடைசி உறுப்பு:

 அடுத்து, முதல் உறுப்பு = ; பொதுவிகிதம்  2 எனவும் அதே எண்ணிக்கையிலான உறுப்புகளையும் கொண்ட மற்றொரு பெருக்குத்தொடரானது மூலப் பெருக்குத்தொடருடன் விகிதசமமாக இருப்பதை யூக்ளிடு நிறுவினார். 
 இப்போது,  மூலப் பெருக்குத்தொடரின் கூட்டுத்தொகை   என்பதால், இரண்டாவது பெருக்குத்தொடரின் கூட்டுத்தொகை  ஆகும்.
 இவ்விரு பெருக்குத்தொடர்களின் கூட்டுத்தொகைகளைக் கூட்டினால்  கிடைக்கிறது. 
 இது அனுமானிக்கப்பட்ட செவ்விய எண்  இன் இருமடங்காக உள்ளது. 
 q ஒரு பகாஎண்ணாதலால், இரு தொடர்களும் பொதுவுறுப்புகளற்றவை;
 மேலும்  இன் அனைத்து வகுஎண்களும் இவ்விரு தொடர்களின் மொத்த உறுப்புகளாக அமைகின்றன.
 எனவே  இன் அனைத்து வகுஎண்களின் கூடுதலானது, இவ்விரு பெருக்குத்தொடர்களின் கூட்டுத்தொகைகளின் கூடுதலான  ஆக இருக்கும்.
அதாவது 
 இதுவே செவ்விய எண்ணுக்கான வரையறையாதலால்,
 ஒரு செவ்விய எண்ணாகும்.. See in particular Prop. IX.36.

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

அதன் பின்னர்  என்ற வாய்பாடு அனைத்து இரட்டைச் செவ்விய எண்களையும் தருமென்பதை, லியோனார்டு ஆய்லர் நிறுவினார். ஆய்லரின் நிறுவல் மிகவும் சுருக்கமானது.. Originally read to the Berlin Academy on February 23, 1747, and published posthumously. See in particular section 8, p. 88. இதனால் செவ்விய எண்களுக்கும் மெர்சென் பகாஎண்களுக்கும் இடையே ஒன்றுக்கு-ஒன்று தொடர்புள்ளது என்பது உறுதியானது. ஆய்லர் இத்தேற்றத்தை நிறுவியதன் பின்னர், விக்டர்-அமெதீ லெபெசுகு, இராபர்ட் தானியேல் கார்மைக்கல், லியோனார்டு ஆய்கென் டிக்சன், வேய்னெ எல். மெக்தானியேல் உள்ளிட்ட பல கணிதவியலாளர்கள் இத்தேற்றத்துக்கான மாற்று நிறுவல்களை வெளியிட்டனர். இவற்றுள் டிக்சனின் நிறுவல், பொதுவாகப் பல பாடநூல்களில் பின்பற்றப்படுகிறது.

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

 மேற்கோள்கள் 

பகுப்பு:எண் கோட்பாட்டில் தேற்றங்கள்
பகுப்பு:செவ்விய எண்கள்
பகுப்பு:மெர்சென் பகாத்தனிகள்
பகுப்பு:லியோனார்டு ஆய்லர்