கோல்டுபேக்கின் அனுமானம்

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

கோல்டுபேக்கின் அனுமானம்
கோல்டுபேக், ஆய்லருக்கு எழுதிய கடிதம் (ஜூன் 7, 1742; இலத்தீன்-செருமானியம்)[1]
புலம்எண் கோட்பாடு
யூகித்தவர்கிறிஸ்டியன் கோல்டுபேக்
யூகிக்கப்பட்டது1742
திறந்த சிக்கல்ஆம்
விளைவுகள்கோல்டுபேக்கின் வலுவற்ற அனுமானம்

4×1018 க்குக் குறைவான அனைத்து முழுஎண்களுக்கும் இக்கூற்று உண்மையெனக் காட்டப்பட்டிருந்தாலும் இன்னமும் நிறுவப்படாமலேதான் இருக்கிறது.[2]

வரலாறு

தொகு

ஜூன் 7, 1742 இல் புருசியக் கணிதவியலாளரான கிறிஸ்டியன் கோல்டுபேக் ஆய்லருக்கு எழுதிய கடிமொன்றில் (கடிதம் XLIII) கீழ்வரும் அனுமானத்தை முன்வைத்தார்[3]:

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

தற்போது கைவிடப்பட்ட கருத்தான 'எண் '1' ஒரு பகா எண்' என்ற கருத்தைப் பின்பற்றுபவராகக் கோல்டுபேக் இருந்தார்.[4]

அவரது கடிதத்தின் ஓரத்தில் முதலாது அனுமானத்தைத் தரக்கூடிய இரண்டாவது அனுமானத்தையும் எழுதியிருந்தார்:[5]

... eine jede Zahl, die grösser ist als 2, ein aggregatum trium numerorum primorum sey.
2 ஐ விடப் பெரியதாகவுள்ள ஒவ்வொரு முழுவெண்ணையும் மூன்று பகா எண்களின் கூடுதலாக எழுதமுடியும்.

ஆய்லர் இக்கடிதத்திற்கு, ஜூன் 30 1742 இல் பதில் கடிதம் எழுதினார்.[6] அதில் அவர்கள் இருவருக்கிடையே முன்பு நிகழ்ந்த உரையாடலைக் குறிப்பிட்டிருந்தார், ("... so Ew vormals mit mir communicirt haben ..."), அந்த உரையாடலில், முதல் இரு அனுமானங்களும் பின்வரும் கூற்றிலிருந்து பெறப்படுமென கோல்டுபேக் கூறியதைச் சுட்டியிருந்தார்.

ஒவ்வொரு இரட்டை முழு எண்ணையும் இரு பகாஎண்களின் கூடுதலாக எழுதலாம்.

உண்மையில் இது கோல்பேக்கின் கடிதத்தின் ஓரமாக எழுதப்பட்டிருந்த அனுமானத்திற்குச் சமானமானதாகும்..

ஆய்லர் தனது ஜூன் 30 1742 நாளிட்ட கடிதத்தில் கூறியிருந்தது:[7][8]

Dass ... ein jeder numerus par eine summa duorum primorum sey, halte ich für ein ganz gewisses theorema, ungeachtet ich dasselbe nicht demonstriren kann.
That ... ஒவ்வொரு இரட்டை முழுஎண்ணும் இரு பகாஎண்களின் கூடுதல்; இதனை என்னால் நிறுவ முடியாவிட்டாலும் ஒரு முழுமையான தேற்றமாகக் கருதுகிறேன்

தற்காலத்திய '1' பகாஎண்ணல்ல என்ற வரையறையைக் கொண்டு இந்த மூன்று அனுமானங்களுக்கும் ஒத்த கூற்றுகள்:

முதல் அனுமானத்தின் தற்கால வடிவம்:

இரு பகாஎண்களின் கூடுதலாக எழுதக்கூடிய ஒவ்வொரு முழுஎண்ணையும் எத்தனை பகாஎண்களின் கூடுதலாகவும் எழுதலாம்: முழுஎண் இரட்டையாக இருக்கும்போது அத்தனை பகாஎண்களும் '2' ஆகவே இருக்குவேண்டும்; முழுஎண் ஒற்றையாக இருந்தால், ஒரு பகாஎண் '3' ஆகவும் மற்றவை '2' ஆகவும் இருக்கும்வரை பிரித்தெழுதலாம்

இரண்டாம் அனுமானத்தின் தற்கால வடிவம்:

5 ஐ விடப்பெரிய முழுஎண் ஒவ்வொன்றையும் மூன்று பகாஎண்களின் கூட்டுதலாக எழுதலாம்.

ஆய்லர் நினைவுபடுத்திய பழைய உரையாடலின் அனுமானத்தின் தற்கால வடிவம்:

2 ஐ விடப்பெரிய முழுஎண் ஒவ்வொன்றையும் இரு பகாஎண்களின் கூடுதலாக எழுதலாம்.

மூன்றாவது தற்காலக் கூற்றுதான் (இரண்டாவதற்குச் சமானமானது) இக்காலத்தில் கோல்பேக்கின் அனுமானத்தின் வடிவவாக உள்ளது. இது "கோல்டுபேக்கின் வலுவான அனுமானம்" "கோல்டுபேக்கின் இரட்டை அல்லது இரும அனுமானம்" என்றும் அழைக்கப்படுகிறது.

தற்கால இரண்டாவது கூற்றின் பின்வரும் வலுவற்ற வடிவம் "கோல்டுபேக்கின் வலுவற்ற அனுமானம்", "கோல்டுபேக்கின் ஒற்றை அல்லது மும்ம அனுமானம்" என அழைக்கப்படுகிறது:

7 ஐ விடப் பெரிய முழுஎண் ஒவ்வொன்றையும் மூன்று ஒற்றை பகாஎண்களின் கூடுதலாக எழுதலாம்.

சரிபார்க்கப்பட்ட முடிவுகள்

தொகு

n இன் சிறிய மதிப்புகளுக்கு கோல்டுபேக்கின் வலுவான அனுமானத்தை (அதன்மூலம் வலுவற்ற அனுமானத்தையும்) நேரியாகச் சரிபாக்கலாம். எடுத்துக்காட்டாக, 1938 இல் கணிதவியலாளர் நில்சு பிப்பிங் n = 100000 மதிப்புகள் வரை கோல்டுபேக்கின் அனுமானத்தைச் சரிபார்த்தார்.[9] கணினிகளின் கண்டுபிடிப்பால் n இன் பெரிய மதிப்புகளுக்கும் அனுமானத்தைச் சரிபார்ப்பது சாத்தியமானது; 2013 வரையில், n4×1018 மதிப்பிற்கு டி. ஆலிவியரா இ சில்வா என்பவரால் கணினிப் பயன்பாட்டைக் கொண்டு (4×1017 வரை இருமுறை சரிபாக்கப்பட்டது) சரிபார்க்கப்பட்டது. இத் தேடலின்போது, இரு பகாஎண்களின் கூடுதலாக எழுதப்படும்போது அவ்விரண்டில் ஒரு பகாஎண் 9781 ஐ விட சிறியதாக இருக்கும்படியாக அமையக்கூடிய முழுஎண்களில் மிகச்சிறிய எண் 3325581707333960528 எனக் கண்டறியப்பட்டது.[10]

கல்லி-கியூகில் மற்றும் டுடெக் இருவரும்[11] (x, x + 9696 log^2 x] (x ≥ 2) இடைவெளியில் இரு ஒற்றைப் பகாஎண்களின் கூடுதலாகவுள்ள எண் இருக்கும் என்ற ரீமான் கருதுகோளின் மீதான முடிவொன்றை நிறுவினர்.

மேற்கோள்கள்

தொகு
  1. Correspondance mathématique et physique de quelques célèbres géomètres du XVIIIème siècle (Band 1), St.-Pétersbourg 1843, pp. 125–129.
  2. Oliveira e Silva, Tomás. "Goldbach conjecture verification". sweet.ua.pt.
  3. http://www.math.dartmouth.edu/~euler/correspondence/letters/OO0765.pdf [bare URL PDF]
  4. Weisstein, Eric W., "Goldbach Conjecture", MathWorld.
  5. In the printed version published by P. H. Fuss [1] 2 is misprinted as 1 in the marginal conjecture.
  6. http://eulerarchive.maa.org//correspondence/letters/OO0766.pdf [bare URL PDF]
  7. Ingham, A. E. "Popular Lectures" (PDF). Archived from the original (PDF) on 2003-06-16. பார்க்கப்பட்ட நாள் 2009-09-23.
  8. Caldwell, Chris (2008). "Goldbach's conjecture". பார்க்கப்பட்ட நாள் 2008-08-13.
  9. Pipping, Nils (1890–1982), "Die Goldbachsche Vermutung und der Goldbach-Vinogradowsche Satz". Acta Acad. Aboensis, Math. Phys. 11, 4–25, 1938.
  10. Tomás Oliveira e Silva, Goldbach conjecture verification. Retrieved 20 July 2013.
  11. Michaela Cully-Hugill and Adrian W. Dudek, An explicit mean-value estimate for the PNT in intervals

மேலதிக வாசிப்புக்கு

தொகு

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

தொகு