கேள்வி: இரு வர்க்கங்களின் கூடுதல் மீதான பெர்மாவின் தேற்றம் - நிறுவல் பற்றி நீங்கள் என்ன அறிந்துள்ளீர்கள்?
பதில்: பகாஎண்கள் மட்டுமில்லாமல் நேர்முழு எண்களையும் இரு வர்க்கங்களின் கூடுதலாக எழுதலாம் என்பதை முதன்முறையாகக் கண்டறிந்தவர் கணிதவியலாளர் ஆல்பர்ட் ஜிரார்டு ஆவார். எனினும் அவரது காலத்திற்குப் பின்னரே 1634 இல், இந்த முடிவு வெளியானது.L. E. Dickson, History of the Theory of Numbers, Vol. II, Ch. VI, p. 227. கணிதவியலாளர் பியரே டி பேர்மட், திசம்பர் 25, 1640 இல், பிரெஞ்சு கணிதவியலாளர் மாரின் மெர்செனெக்கு எழுதிய கடிதத்தில், இத் வர்க்கங்களின் கூடுதல் தொடர்பான இத் தேற்றத்தை எழுதியிருந்தார். ஆனால் பெர்மா இத் தேற்றத்தின் நிறுவலை எங்கும் எழுத்துபூர்வமாகத் தரவில்லை. முதல் நிறுவலை முறையாக அளித்தவர் ஆய்லர் ஆவார். 1747, 1749 ஆம் ஆண்டுகளில் கணிதவியலாளர் கிறிஸ்டியன் கோல்டுபேச்சுக்கு (Christian Goldbach) ஆய்லர் எழுதிய கடிதங்களில் இந் நிறுவல் குறித்துத் தெரிவித்த ஆய்லர், 1752-1755 இல் இந் நிறுவலை இரு கட்டுரைகளாக வெளியிட்டார்.De numerus qui sunt aggregata quorum quadratorum. (Novi commentarii academiae scientiarum Petropolitanae 4 (1752/3), 1758, 3-40)Demonstratio theorematis FERMATIANI omnem numerum primum formae 4n+1 esse summam duorum quadratorum. (Novi commentarii academiae scientiarum Petropolitanae 5 (1754/5), 1760, 3-13) 1775 ஆம் ஆண்டில் கணிதவியலாளர் ஜோசப் லூயி லாக்ராஞ்சி அவரது இருபடி வடிவின் ஆய்வை அடிப்படையாகக் கொண்டு இத் தேற்றத்திற்கு ஒரு நிறுவலைக் கண்டறிந்தார். கணிதவியலாளர் கார்ல் ஃப்ரெடெரிக் காஸ் இந் நிறுவல் எளிமைப்படுத்தி வெளியிடப்பட்டது. இவை தவிர பல நிறுவல்கள் வேறுசில கணிதவியலாளர்களாலும் கண்டுபிடிக்கப்பட்டுள்ளன.
கேள்வி: இரு வர்க்கங்களின் கூடுதல் மீதான பெர்மாவின் தேற்றம் - தொடர்புடைய முடிவுகள் என்பது என்ன?
பதில்: செப்டம்பர் 25, 1654 இல் பிலைசு பாஸ்கல் எழுதிய கடிதத்தில், இம் முடிவுடன் தொடர்புடைய ஒற்றைப் பகாஎண்களுக்கான இரு முடிவுகளை பெர்மா அறிவித்தார்: p ஒற்றைப் பகாஎண் எனில், *p = x^2 + 2y^2 \Leftrightarrow p\equiv 1\mbox{ or }p\equiv 3\pmod{8}, *p= x^2 + 3y^2 \Leftrightarrow p\equiv 1 \pmod{3}. மேலும்: 20''k''&nbsp;+&nbsp;3 அல்லது 20''k''&nbsp;+&nbsp;7 வடிவில் அமைந்த இரு பகாஎண்கள் ''p, q'' எனில்: *pq = x^2+5y^2. பின்னர் ஆய்லர் இதனை கீழ்க்காணும் கணிப்பாக மேம்படுத்தினார்: * p = x^2 + 5y^2 \Leftrightarrow p\equiv 1\mbox{ or }p\equiv 9\pmod{20}, * 2p = x^2 + 5y^2 \Leftrightarrow p\equiv 3\mbox{ or }p\equiv 7\pmod{20}. பெர்மா, ஆய்லர் இருவரது முடிவுகளும் லெக்ராஞ்சியால் நிறுவப்பட்டது.