फ़र्मेट संख्या: Difference between revisions
No edit summary |
No edit summary |
||
Line 71: | Line 71: | ||
अनुमान बताते हैं कि ''F''<sub>4</sub> अंतिम फ़र्मेट प्राइम है। | अनुमान बताते हैं कि ''F''<sub>4</sub> अंतिम फ़र्मेट प्राइम है। | ||
अभाज्य संख्या प्रमेय का तात्पर्य है कि N के चारों ओर एक उपयुक्त अंतराल में एक यादृच्छिक पूर्णांक संभावना 1 / ln ''N'' के साथ अभाज्य है। यदि कोई अनुमान का उपयोग करता है कि एक फ़र्मेट संख्या अपने आकार के यादृच्छिक पूर्णांक के समान संभावना के साथ अभाज्य है, और वह ''F''<sub>5</sub>, ..., ''F''<sub>32</sub>समग्र हैं, तो ''F''<sub>4</sub> से परे (या समकक्ष, ''F''<sub>32</sub> से परे) फ़र्मेट प्राइम की अपेक्षित संख्या होनी चाहिए | |||
:<math> \sum_{n \ge 33} \frac{1}{\ln F_{n}} < \frac{1}{\ln 2} \sum_{n \ge 33} \frac{1}{\log_2(2^{2^n})} = \frac{1}{\ln 2} 2^{-32} < 3.36 \times 10^{-10}.</math> | :<math> \sum_{n \ge 33} \frac{1}{\ln F_{n}} < \frac{1}{\ln 2} \sum_{n \ge 33} \frac{1}{\log_2(2^{2^n})} = \frac{1}{\ln 2} 2^{-32} < 3.36 \times 10^{-10}.</math> | ||
कोई इस संख्या की व्याख्या इस संभावना की ऊपरी सीमा के रूप में कर सकता है कि F | कोई इस संख्या की व्याख्या इस संभावना की ऊपरी सीमा के रूप में कर सकता है कि ''F''<sub>4</sub> से परे एक फ़र्मेट प्राइम उपस्थित है। | ||
यह तर्क कोई कठोर प्रमाण नहीं है. एक बात के लिए, यह माना जाता है कि फ़र्मेट संख्याएँ यादृच्छिक रूप से व्यवहार करती हैं, किन्तु फ़र्मेट संख्याओं के कारकों में विशेष गुण होते हैं। बोकलान और जॉन एच. कॉनवे ने एक अधिक स्पष्ट विश्लेषण प्रकाशित किया जिसमें बताया गया कि एक और फ़र्मेट प्राइम होने की संभावना एक अरब में एक से भी कम है।<ref>{{Cite journal |last1=Boklan |first1=Kent D. |last2=Conway |first2=John H. |date=2017 |title=नये फ़र्मेट प्राइम के अधिकतम एक अरबवें हिस्से की अपेक्षा करें!|journal=The Mathematical Intelligencer |volume=39 |issue=1 |pages=3–5 |arxiv=1605.01371 |doi=10.1007/s00283-016-9644-3|s2cid=119165671 }}</ref> | |||
===समतुल्य स्थितियाँ=== | ===समतुल्य स्थितियाँ=== | ||
{{Main article| | {{Main article|पेपिन का परीक्षण}} | ||
मान लीजिए <math>F_n=2^{2^n}+1</math> nवाँ फ़र्मेट संख्या है। पेपिन का परीक्षण बताता है कि n > 0 के लिए, | |||
:<math>F_n</math> | :<math>F_n</math> अभाज्य है यदि और केवल यदि <math>3^{(F_n-1)/2}\equiv-1\pmod{F_n}.</math> | ||
व्यंजक <math>3^{(F_n-1)/2}</math> का मूल्यांकन बार-बार वर्ग करके मॉड्यूल <math>F_n</math> किया जा सकता है। यह परीक्षण को एक तेज़ बहुपद-समय एल्गोरिथ्म बनाता है। किन्तु फ़र्मेट संख्याएँ इतनी तेज़ी से बढ़ती हैं कि उनमें से केवल मुट्ठी भर का ही उचित मात्रा और स्थान में परीक्षण किया जा सकता है। | |||
{{nowrap|''k''{{space|hair}}2<sup>''m''</sup> + 1}} के रूप की संख्याओं के लिए कुछ परीक्षण हैं जैसे कि प्रारंभिकता के लिए फ़र्मेट संख्याओं के कारक है। | |||
:प्रोथ का प्रमेय (1878)। | :प्रोथ का प्रमेय (1878)। मान लीजिए {{nowrap|1=''N'' = ''k''{{space|hair}}2<sup>''m''</sup> + 1}} विषम {{nowrap|''k'' < 2<sup>''m''</sup>}} के साथ यदि कोई पूर्णांक ऐसा है | ||
:: <math>a^{(N-1)/2} \equiv -1\pmod{N}</math> | :: <math>a^{(N-1)/2} \equiv -1\pmod{N}</math> | ||
:तब <math>N</math> | :तब <math>N</math> अभाज्य है. इसके विपरीत, यदि उपरोक्त अनुरूपता कायम नहीं है, और इसके अतिरिक्त | ||
:: <math>\left(\frac{a}{N}\right)=-1</math> (जेकोबी प्रतीक देखें) | :: <math>\left(\frac{a}{N}\right)=-1</math> (जेकोबी प्रतीक देखें) | ||
:तब <math>N</math> समग्र है. | :तब <math>N</math> समग्र है. | ||
यदि {{nowrap|1=''N'' = ''F''<sub>''n''</sub> > 3}}, तो उपरोक्त जैकोबी प्रतीक सदैव −1 के समान होता है {{nowrap|1=''a'' = 3}}, और प्रोथ के प्रमेय के इस विशेष स्थिति को पेपिन परीक्षण के रूप में जाना जाता है। चूँकि पेपिन के परीक्षण और प्रोथ के प्रमेय को कुछ फ़र्मेट संख्याओं की समग्रता को सिद्ध करने के लिए कंप्यूटर पर प्रयुक्त किया गया है, किन्तु कोई भी परीक्षण एक विशिष्ट गैर-तुच्छ कारक नहीं देता है। वास्तव में, {{nowrap|1=''n'' = 20}} और 24 के लिए कोई विशिष्ट अभाज्य गुणनखंड ज्ञात नहीं है। | |||
==गुणनखंडीकरण== | ==गुणनखंडीकरण== | ||
फ़र्मेट संख्याओं के आकार के कारण, गुणनखंड बनाना या यहां तक कि प्रारंभिकता की जांच करना भी | फ़र्मेट संख्याओं के आकार के कारण, गुणनखंड बनाना या यहां तक कि प्रारंभिकता की जांच करना भी कठिन है। पेपिन का परीक्षण फ़र्मेट संख्याओं की प्रारंभिकता के लिए एक आवश्यक और पर्याप्त स्थिति देता है, और इसे आधुनिक कंप्यूटरों द्वारा कार्यान्वित किया जा सकता है। [[अण्डाकार वक्र विधि]] संख्याओं के छोटे अभाज्य विभाजक ज्ञात करने की एक तेज़ विधि है। वितरित कंप्यूटिंग परियोजना फर्माटसर्च ने फर्मेट संख्याओं के कुछ कारक खोजे हैं। यवेस गैलोट के proth.exe का उपयोग बड़े फ़र्मेट संख्याओं के गुणनखंडों को खोजने के लिए किया गया है। एडौर्ड लुकास ने यूलर के उपर्युक्त परिणाम में सुधार करते हुए 1878 में सिद्ध किया कि फ़र्मेट संख्या का प्रत्येक कारक <math>F_n</math>, कम से कम 2 के साथ, <math>k\times2^{n+2}+1</math> फॉर्म का है ([[प्रोथ संख्या]] देखें), जहां k एक धनात्मक पूर्णांक है। अपने आप में, इससे ज्ञात फ़र्मेट अभाज्यों की आदिमता को सिद्ध करना आसान हो जाता है। | ||
पहले बारह फ़र्मेट संख्याओं के गुणनखंडन इस प्रकार हैं: | पहले बारह फ़र्मेट संख्याओं के गुणनखंडन इस प्रकार हैं: | ||
Line 103: | Line 102: | ||
:{| | :{| | ||
|- valign="top" | |- valign="top" | ||
|''F''<sub>0</sub> ||=|| 2<sup>1</sup>||+||1 ||=||[[3 (number)|3]] | |''F''<sub>0</sub> ||=|| 2<sup>1</sup>||+||1 ||=||[[3 (number)|3]] अभाज्य है|| | ||
|- valign="top" | |- valign="top" | ||
|''F''<sub>1</sub> ||=|| 2<sup>2</sup>||+||1 ||=||[[5 (number)|5]] | |''F''<sub>1</sub> ||=|| 2<sup>2</sup>||+||1 ||=||[[5 (number)|5]] अभाज्य है|| | ||
|- valign="top" | |- valign="top" | ||
|''F''<sub>2</sub> ||=|| 2<sup>4</sup>||+||1 ||=||[[17 (number)|17]] | |''F''<sub>2</sub> ||=|| 2<sup>4</sup>||+||1 ||=||[[17 (number)|17]] अभाज्य है|| | ||
|- valign="top" | |- valign="top" | ||
|''F''<sub>3</sub> ||=|| 2<sup>8</sup>||+||1 ||=||[[257 (number)|257]] | |''F''<sub>3</sub> ||=|| 2<sup>8</sup>||+||1 ||=||[[257 (number)|257]] अभाज्य है|| | ||
|- valign="top" | |- valign="top" | ||
|''F''<sub>4</sub> ||=|| 2<sup>16</sup>||+||1 ||=||[[65537 (number)|65,537]] | |''F''<sub>4</sub> ||=|| 2<sup>16</sup>||+||1 ||=||[[65537 (number)|65,537]] सबसे बड़ा ज्ञात फ़र्मेट प्राइम है|| | ||
|- valign="top" | |- valign="top" | ||
|''F''<sub>5</sub> ||=|| 2<sup>32</sup>||+||1 ||=||4,294,967,297|| | |''F''<sub>5</sub> ||=|| 2<sup>32</sup>||+||1 ||=||4,294,967,297|| | ||
|- style="background:white; color:#700000" | |- style="background:white; color:#700000" | ||
| || || || || ||=||641 × 6,700,417 ( | | || || || || ||=||641 × 6,700,417 (पूरी तरह से तथ्यात्मक 1732<ref>{{cite web |last1=Sandifer |first1=Ed |title=How Euler Did it |url=http://eulerarchive.maa.org/hedi/HEDI-2007-03.pdf |archive-url=https://ghostarchive.org/archive/20221009/http://eulerarchive.maa.org/hedi/HEDI-2007-03.pdf |archive-date=2022-10-09 |url-status=live |website=MAA Online |publisher=Mathematical Association of America |access-date=2020-06-13}}</ref>) | ||
|- valign="top" | |- valign="top" | ||
|''F''<sub>6</sub> ||=|| 2<sup>64</sup>||+||1 ||=||18,446,744,073,709,551,617 (20 | |''F''<sub>6</sub> ||=|| 2<sup>64</sup>||+||1 ||=||18,446,744,073,709,551,617 (20 डिजिट्स ) || | ||
|- style="background:white; color:#700000" | |- style="background:white; color:#700000" | ||
| || || || || ||=||274,177 × 67,280,421,310,721 (14 | | || || || || ||=||274,177 × 67,280,421,310,721 (14 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1855) | ||
|- valign="top" | |- valign="top" | ||
|''F''<sub>7</sub> ||=|| 2<sup>128</sup>||+||1 ||=||340,282,366,920,938,463,463,374,607,431,768,211,457 (39 | |''F''<sub>7</sub> ||=|| 2<sup>128</sup>||+||1 ||=||340,282,366,920,938,463,463,374,607,431,768,211,457 (39 डिजिट्स )|| | ||
|- style="background:white; color:#700000" | |- style="background:white; color:#700000" | ||
| || || || || ||=||59,649,589,127,497,217 (17 | | || || || || ||=||59,649,589,127,497,217 (17 डिजिट्स ) × 5,704,689,200,685,129,054,721 (22 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1970) | ||
|- valign="top" | |- valign="top" | ||
|''F''<sub>8</sub> ||=|| 2<sup>256</sup>||+||1 ||=||115,792,089,237,316,195,423,570,985,008,687,907,853,269,984,665,640,564,039,457,584,007,913,129,<br>639,937 (78 | |''F''<sub>8</sub> ||=|| 2<sup>256</sup>||+||1 ||=||115,792,089,237,316,195,423,570,985,008,687,907,853,269,984,665,640,564,039,457,584,007,913,129,<br>639,937 (78 डिजिट्स )|| | ||
|- style="background:white; color:#700000; vertical-align:top" | |- style="background:white; color:#700000; vertical-align:top" | ||
| || || || || ||=||1,238,926,361,552,897 (16 | | || || || || ||=||1,238,926,361,552,897 (16 डिजिट्स ) × <br>93,461,639,715,357,977,769,163,558,199,606,896,584,051,237,541,638,188,580,280,321 (62 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1980) | ||
|- valign="top" | |- valign="top" | ||
|''F''<sub>9</sub> ||=|| 2<sup>512</sup>||+||1 ||=||13,407,807,929,942,597,099,574,024,998,205,846,127,479,365,820,592,393,377,723,561,443,721,764,0<br>30,073,546,976,801,874,298,166,903,427,690,031,858,186,486,050,853,753,882,811,946,569,946,433,6<br>49,006,084,097 (155 | |''F''<sub>9</sub> ||=|| 2<sup>512</sup>||+||1 ||=||13,407,807,929,942,597,099,574,024,998,205,846,127,479,365,820,592,393,377,723,561,443,721,764,0<br>30,073,546,976,801,874,298,166,903,427,690,031,858,186,486,050,853,753,882,811,946,569,946,433,6<br>49,006,084,097 (155 डिजिट्स )|| | ||
|- style="background:white; color:#700000; vertical-align:top" | |- style="background:white; color:#700000; vertical-align:top" | ||
| || || || || ||=|| 2,424,833 × 7,455,602,825,647,884,208,337,395,736,200,454,918,783,366,342,657 (49 | | || || || || ||=|| 2,424,833 × 7,455,602,825,647,884,208,337,395,736,200,454,918,783,366,342,657 (49 डिजिट्स ) × <br>741,640,062,627,530,801,524,787,141,901,937,474,059,940,781,097,519,023,905,821,316,144,415,759,<br>504,705,008,092,818,711,693,940,737 (99 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1990) | ||
|- valign="top" | |- valign="top" | ||
|''F''<sub>10</sub> ||=|| 2<sup>1024</sup>||+||1 | |''F''<sub>10</sub> ||=|| 2<sup>1024</sup>||+||1 | ||
||=||179,769,313,486,231,590,772,930...304,835,356,329,624,224,137,217 (309 | ||=||179,769,313,486,231,590,772,930...304,835,356,329,624,224,137,217 (309 डिजिट्स )|| | ||
|- style="background:white; color:#700000; vertical-align:top" | |- style="background:white; color:#700000; vertical-align:top" | ||
| || || || || ||=||45,592,577 × 6,487,031,809 × 4,659,775,785,220,018,543,264,560,743,076,778,192,897 (40 | | || || || || ||=||45,592,577 × 6,487,031,809 × 4,659,775,785,220,018,543,264,560,743,076,778,192,897 (40 डिजिट्स ) × <br>130,439,874,405,488,189,727,484...806,217,820,753,127,014,424,577 (252 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1995) | ||
|- valign="top" | |- valign="top" | ||
|''F''<sub>11</sub> ||=|| 2<sup>2048</sup>||+||1 | |''F''<sub>11</sub> ||=|| 2<sup>2048</sup>||+||1 | ||
||=||32,317,006,071,311,007,300,714,8...193,555,853,611,059,596,230,657 (617 | ||=||32,317,006,071,311,007,300,714,8...193,555,853,611,059,596,230,657 (617 डिजिट्स )|| | ||
|- style="background:white; color:#700000; vertical-align:top" | |- style="background:white; color:#700000; vertical-align:top" | ||
| || || || || ||=|| 319,489 × 974,849 × 167,988,556,341,760,475,137 (21 | | || || || || ||=|| 319,489 × 974,849 × 167,988,556,341,760,475,137 (21 डिजिट्स ) × 3,560,841,906,445,833,920,513 (22 डिजिट्स ) × <br>173,462,447,179,147,555,430,258...491,382,441,723,306,598,834,177 (564 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1988) | ||
|- | |- | ||
|} | |} | ||
फ़र्मेट संख्या के निम्नलिखित कारक 1950 से पहले ज्ञात थे (तब से, डिजिटल कंप्यूटर ने अधिक कारकों को खोजने में | अप्रैल 2023 तक, केवल ''F''<sub>0</sub> से ''F''<sub>11</sub> को पूरी तरह से सम्मिलित किया गया है।<ref name="Keller" /> वितरित कंप्यूटिंग प्रोजेक्ट फ़र्मेट सर्च फ़र्मेट संख्याओं के नए कारकों की खोज कर रहा है।<ref>{{cite web|url=http://www.fermatsearch.org/|title=:: F E R M A T S E A R C H . O R G :: Home page|website=www.fermatsearch.org|access-date=7 April 2018}}</ref> ओईआईएस में सभी फ़र्मेट कारकों का सेट A050922 (या, क्रमबद्ध, A023394) है। | ||
फ़र्मेट संख्या के निम्नलिखित कारक 1950 से पहले ज्ञात थे (तब से, डिजिटल कंप्यूटर ने अधिक कारकों को खोजने में सहायता की है): | |||
{| class="wikitable" | {| class="wikitable" | ||
|- | |- | ||
! | ! वर्ष | ||
! | ! खोजक | ||
! | ! फ़र्मेट संख्या | ||
! | ! कारक | ||
|- | |- | ||
| 1732 | | 1732 | ||
| [[Euler]] | | [[Euler|यूलर]] | ||
| <math>F_5</math> | | <math>F_5</math> | ||
| <math>5 \cdot 2^7 + 1</math> | | <math>5 \cdot 2^7 + 1</math> | ||
|- | |- | ||
| 1732 | | 1732 | ||
| | | यूलर | ||
| <math>F_5</math> ( | | <math>F_5</math> (पूरी तरह से तथ्यात्मक) | ||
| <math>52347 \cdot 2^7 + 1</math> | | <math>52347 \cdot 2^7 + 1</math> | ||
|- | |- | ||
| 1855 | | 1855 | ||
| [[Thomas Clausen (mathematician)| | | [[Thomas Clausen (mathematician)|क्लॉसन]] | ||
| <math>F_6</math> | | <math>F_6</math> | ||
| <math>1071 \cdot 2^8 + 1</math> | | <math>1071 \cdot 2^8 + 1</math> | ||
|- | |- | ||
| 1855 | | 1855 | ||
| | | क्लॉसन | ||
| <math>F_6</math> ( | | <math>F_6</math> (पूरी तरह से तथ्यात्मक) | ||
| <math>262814145745 \cdot 2^8 + 1</math> | | <math>262814145745 \cdot 2^8 + 1</math> | ||
|- | |- | ||
| 1877 | | 1877 | ||
| [[Ivan Pervushin| | | [[Ivan Pervushin|परवुशिन]] | ||
| <math>F_{12}</math> | | <math>F_{12}</math> | ||
| <math>7 \cdot 2^{14} + 1</math> | | <math>7 \cdot 2^{14} + 1</math> | ||
|- | |- | ||
| 1878 | | 1878 | ||
| | | परवुशिन | ||
| <math>F_{23}</math> | | <math>F_{23}</math> | ||
| <math>5 \cdot 2^{25} + 1</math> | | <math>5 \cdot 2^{25} + 1</math> | ||
|- | |- | ||
| 1886 | | 1886 | ||
| [[Paul Peter Heinrich Seelhoff| | | [[Paul Peter Heinrich Seelhoff|सीलहॉफ]] | ||
| <math>F_{36}</math> | | <math>F_{36}</math> | ||
| <math>5 \cdot 2^{39} + 1</math> | | <math>5 \cdot 2^{39} + 1</math> | ||
|- | |- | ||
| 1899 | | 1899 | ||
| [[Allan Joseph Champneys Cunningham| | | [[Allan Joseph Champneys Cunningham|कनिंघम]] | ||
| <math>F_{11}</math> | | <math>F_{11}</math> | ||
| <math>39 \cdot 2^{13} + 1</math> | | <math>39 \cdot 2^{13} + 1</math> | ||
|- | |- | ||
| 1899 | | 1899 | ||
| | | कनिंघम | ||
| <math>F_{11}</math> | | <math>F_{11}</math> | ||
| <math>119 \cdot 2^{13} + 1</math> | | <math>119 \cdot 2^{13} + 1</math> | ||
|- | |- | ||
| 1903 | | 1903 | ||
| [[Alfred Western| | | [[Alfred Western|वेस्टर्न]] | ||
| <math>F_9</math> | | <math>F_9</math> | ||
| <math>37 \cdot 2^{16} + 1</math> | | <math>37 \cdot 2^{16} + 1</math> | ||
|- | |- | ||
| 1903 | | 1903 | ||
| | | वेस्टर्न | ||
| <math>F_{12}</math> | | <math>F_{12}</math> | ||
| <math>397 \cdot 2^{16} + 1</math> | | <math>397 \cdot 2^{16} + 1</math> | ||
|- | |- | ||
| 1903 | | 1903 | ||
| | | वेस्टर्न | ||
| <math>F_{12}</math> | | <math>F_{12}</math> | ||
| <math>973 \cdot 2^{16} + 1</math> | | <math>973 \cdot 2^{16} + 1</math> | ||
|- | |- | ||
| 1903 | | 1903 | ||
| | | वेस्टर्न | ||
| <math>F_{18}</math> | | <math>F_{18}</math> | ||
| <math>13 \cdot 2^{20} + 1</math> | | <math>13 \cdot 2^{20} + 1</math> | ||
|- | |- | ||
| 1903 | | 1903 | ||
| [[James Cullen (mathematician)| | | [[James Cullen (mathematician)|कुलेन]] | ||
| <math>F_{38}</math> | | <math>F_{38}</math> | ||
| <math>3 \cdot 2^{41} + 1</math> | | <math>3 \cdot 2^{41} + 1</math> | ||
|- | |- | ||
| 1906 | | 1906 | ||
| [[James C. Morehead| | | [[James C. Morehead|मोरेहेड]] | ||
| <math>F_{73}</math> | | <math>F_{73}</math> | ||
| <math>5 \cdot 2^{75} + 1</math> | | <math>5 \cdot 2^{75} + 1</math> | ||
|- | |- | ||
| 1925 | | 1925 | ||
| [[Maurice Kraitchik| | | [[Maurice Kraitchik|क्रैचिक]] | ||
| <math>F_{15}</math> | | <math>F_{15}</math> | ||
| <math>579 \cdot 2^{21} + 1</math> | | <math>579 \cdot 2^{21} + 1</math> | ||
Line 242: | Line 242: | ||
==स्यूडोप्राइम्स और फ़र्मेट संख्याएँ== | ==स्यूडोप्राइम्स और फ़र्मेट संख्याएँ== | ||
फॉर्म 2<sup>''p''</sup> − 1, की मिश्रित संख्याओं की तरह, प्रत्येक मिश्रित फ़र्मेट संख्या आधार 2 के लिए एक शसक्त छद्म अभाज्य है। ऐसा इसलिए है क्योंकि आधार 2 के सभी शसक्त छद्म अभाज्य भी फ़र्मेट छद्म अभाज्य हैं - अर्थात, | |||
:<math>2^{F_n-1} \equiv 1 \pmod{F_n}</math> | :<math>2^{F_n-1} \equiv 1 \pmod{F_n}</math> | ||
सभी फ़र्मेट नंबरों के लिए. | सभी फ़र्मेट नंबरों के लिए. | ||
1904 में, सिपोला ने दिखाया कि कम से कम दो अलग-अलग अभाज्य या मिश्रित फ़र्मेट संख्याओं का | 1904 में, सिपोला ने दिखाया कि कम से कम दो अलग-अलग अभाज्य या मिश्रित फ़र्मेट संख्याओं का उत्पाद <math>F_{a} F_{b} \dots F_{s},</math> <math>a > b > \dots > s > 1</math> आधार 2 के लिए एक फ़र्मेट स्यूडोप्राइम होगा यदि और केवल यदि <math>2^s > a </math>।<ref>{{cite book|url=https://books.google.com/books?id=hgfSBwAAQBAJ&q=cipolla+fermat+1904&pg=PA132|title=17 Lectures on Fermat Numbers: From Number Theory to Geometry|first1=Michal|last1=Krizek|first2=Florian|last2=Luca|first3=Lawrence|last3=Somer|date=14 March 2013|publisher=Springer Science & Business Media|access-date=7 April 2018|via=Google Books|isbn=9780387218502}}</ref> | ||
==फ़र्मेट संख्याओं के बारे में अन्य प्रमेय== | ==फ़र्मेट संख्याओं के बारे में अन्य प्रमेय== | ||
{{math theorem|name=Lemma.|If ''n'' is a positive integer, | {{math theorem|name=Lemma.|If ''n'' is a positive integer, | ||
Line 297: | Line 295: | ||
}}}} | }}}} | ||
एक फ़र्मेट नंबर एक पूर्ण संख्या या सौहार्दपूर्ण संख्याओं की जोड़ी का | एक फ़र्मेट नंबर एक पूर्ण संख्या या सौहार्दपूर्ण संख्याओं की जोड़ी का भाग नहीं हो सकता है। {{harv|लुका|2000}} | ||
फ़र्मेट संख्याओं के सभी अभाज्य विभाजकों के व्युत्क्रमों की श्रृंखला अभिसारी श्रृंखला है। {{harv|Křížek|Luca|Somer|2002}} | फ़र्मेट संख्याओं के सभी अभाज्य विभाजकों के व्युत्क्रमों की श्रृंखला अभिसारी श्रृंखला है। {{harv|Křížek|Luca|Somer|2002}} | ||
यदि ''n<sup>n</sup>'' + 1 अभाज्य है, तो एक पूर्णांक m उपस्थित है जैसे कि ''n'' = 2<sup>2''m''</sup>। उस स्थिति में समीकरण ''n<sup>n</sup>'' + 1 = ''F''<sub>(2<sup>''m''</sup>+''m'')</sub> उस स्थिति में रखता है<ref>Jeppe Stig Nielsen, [http://jeppesn.dk/nton.html "S(n) = n^n + 1"].</ref><ref>{{MathWorld|urlname=SierpinskiNumberoftheFirstKind|title=Sierpiński Number of the First Kind}}</ref> | |||
उस | माना कि फ़र्मेट संख्या ''F<sub>n</sub>'' का सबसे बड़ा अभाज्य गुणनखंड ''P''(''F<sub>n</sub>'') है। तब, | ||
माना कि फ़र्मेट संख्या F का सबसे बड़ा अभाज्य गुणनखंड | |||
:<math>P(F_n) \ge 2^{n+2}(4n+9) + 1.</math> {{harv|Grytczuk|Luca|Wójtowicz|2001}} | :<math>P(F_n) \ge 2^{n+2}(4n+9) + 1.</math> {{harv|Grytczuk|Luca|Wójtowicz|2001}} | ||
==रचनात्मक बहुभुजों से संबंध== | ==रचनात्मक बहुभुजों से संबंध== | ||
[[File:Constructible polygon set.svg|thumb|300px|1000 भुजाओं तक ज्ञात निर्माण योग्य बहुभुजों की भुजाओं की संख्या (बोल्ड) या विषम भुजाओं की संख्या (लाल)]] | [[File:Constructible polygon set.svg|thumb|300px|1000 भुजाओं तक ज्ञात निर्माण योग्य बहुभुजों की भुजाओं की संख्या (बोल्ड) या विषम भुजाओं की संख्या (लाल)]] | ||
{{Main article| | {{Main article|निर्माण योग्य बहुभुज}} | ||
[[कार्ल फ्रेडरिक गॉस]] ने अपने [[अंकगणितीय विवेचन]] में गॉसियन काल के सिद्धांत को विकसित किया और नियमित बहुभुजों की रचना के लिए पर्याप्त | [[कार्ल फ्रेडरिक गॉस]] ने अपने [[अंकगणितीय विवेचन]] में गॉसियन काल के सिद्धांत को विकसित किया और नियमित बहुभुजों की रचना के लिए पर्याप्त नियम तैयार की। गॉस ने कहा कि यह नियम भी [[आवश्यक शर्त|आवश्यक नियम]] थी,<ref>{{cite book |last1=Gauss |first1=Carl Friedrich |title=अंकगणितीय पूछताछ|date=1966 |publisher=Yale University Press |location=New Haven and London |pages=458–460 |url=https://archive.org/details/disquisitionesar0000carl/ |access-date=25 January 2023}}</ref> किन्तु कभी कोई प्रमाण प्रकाशित नहीं किया। [[पियरे वांटज़ेल]] ने 1837 में आवश्यकता का पूर्ण प्रमाण दिया+ परिणाम को गॉस-वांटज़ेल प्रमेय के रूप में जाना जाता है: | ||
: एक '' | :एक ''n'' -पक्षीय नियमित बहुभुज का निर्माण कम्पास और स्ट्रेटएज के साथ किया जा सकता है यदि और केवल यदि ''n'' 2 की शक्ति और अलग-अलग फ़र्मेट प्राइम का उत्पाद है: दूसरे शब्दों में, यदि और केवल यदि एन फॉर्म {{nowrap|1=''n'' = 2<sup>''k''</sup>''p''<sub>1</sub>''p''<sub>2</sub>...''p''<sub>''s''</sub>}} का है ... ps, जहाँ k, s अऋणात्मक पूर्णांक हैं और p<sub>''i''</sub> विशिष्ट फ़र्मेट अभाज्य हैं। | ||
: | |||
एक धनात्मक पूर्णांक n उपरोक्त रूप का है यदि और केवल यदि इसका यूलर का टोटिएंट फ़ंक्शन φ(n) 2 की शक्ति है। | एक धनात्मक पूर्णांक n उपरोक्त रूप का है यदि और केवल यदि इसका यूलर का टोटिएंट फ़ंक्शन φ(n) 2 की शक्ति है। | ||
Line 320: | Line 318: | ||
===छद्म यादृच्छिक संख्या पीढ़ी=== | ===छद्म यादृच्छिक संख्या पीढ़ी=== | ||
फ़र्मेट प्राइम्स विशेष रूप से 1, ..., एन की श्रेणी में संख्याओं के छद्म-यादृच्छिक अनुक्रम उत्पन्न करने में उपयोगी होते हैं, जहां एन 2 की शक्ति है। उपयोग की जाने वाली सबसे | फ़र्मेट प्राइम्स विशेष रूप से 1, ..., एन की श्रेणी में संख्याओं के छद्म-यादृच्छिक अनुक्रम उत्पन्न करने में उपयोगी होते हैं, जहां एन 2 की शक्ति है। उपयोग की जाने वाली सबसे समान्य विधि 1 और के बीच किसी भी बीज मूल्य को लेना है {{nowrap|''P'' − 1}}, जहां P एक फ़र्मेट प्राइम है। अब इसे एक संख्या A से गुणा करें, जो P के [[वर्गमूल]] से अधिक है और एक आदिम मूल मॉड्यूलो P है (अथार्त , यह एक [[द्विघात अवशेष]] नहीं है)। फिर परिणाम मॉड्यूल पी लें। परिणाम आरएनजी के लिए नया मान है। | ||
: <math>V_{j+1} = (A \times V_j) \bmod P</math> ([[रैखिक सर्वांगसम जनरेटर]], [[RANDU]] देखें) | : <math>V_{j+1} = (A \times V_j) \bmod P</math> ([[रैखिक सर्वांगसम जनरेटर]], [[RANDU|आरएएनडीयू]] देखें) | ||
यह कंप्यूटर विज्ञान में उपयोगी है, क्योंकि अधिकांश डेटा संरचनाओं में 2 | यह कंप्यूटर विज्ञान में उपयोगी है, क्योंकि अधिकांश डेटा संरचनाओं में 2<sup>''X''</sup> संभावित मान वाले सदस्य होते हैं। उदाहरण के लिए, एक बाइट में 256 (2<sup>8</sup>) संभावित मान (0-255) होते हैं। इसलिए, किसी बाइट या बाइट्स को यादृच्छिक मानों से भरने के लिए, एक यादृच्छिक संख्या जनरेटर का उपयोग किया जा सकता है जो 1-256 मान उत्पन्न करता है, बाइट आउटपुट मान -1 लेता है। इस कारण से बहुत बड़े फ़र्मेट प्राइम डेटा एन्क्रिप्शन में विशेष रुचि रखते हैं। यह विधि केवल छद्म यादृच्छिक मान उत्पन्न करती है, क्योंकि P - 1 दोहराव के बाद, अनुक्रम दोहराता है। खराब विधि से चुने गए गुणक के परिणामस्वरूप अनुक्रम P - 1 से पहले दोहराया जा सकता है। | ||
==सामान्यीकृत फ़र्मेट संख्या== | ==सामान्यीकृत फ़र्मेट संख्या== | ||
फॉर्म के नंबर <math>a^{2^{ \overset{n} {}}} \!\!+ b^{2^{ \overset{n} {}}}</math> | फॉर्म के नंबर <math>a^{2^{ \overset{n} {}}} \!\!+ b^{2^{ \overset{n} {}}}</math> ''a'', ''b'' के साथ कोई सहअभाज्य पूर्णांक, {{nowrap|''a'' > ''b'' > 0}}, सामान्यीकृत फ़र्मेट संख्याएँ कहलाती हैं। एक विषम अभाज्य ''p'' एक सामान्यीकृत फ़र्मेट संख्या है यदि और केवल तभी जब ''p'' पायथागॉरियन अभाज्य या 1 (मॉड 4) के सर्वांगसम हो। (यहां हम केवल स्थिति पर विचार करते हैं {{nowrap|''n'' > 0}}, इसलिए {{nowrap|1=3 = <math>2^{2^{0}} \!+ 1</math>}} एक प्रतिउदाहरण नहीं है।) | ||
इस फॉर्म के संभावित अभाज्य का एक उदाहरण 1215<sup>131072</sup> + 242<sup>131072</sup> (केलेन शेंटन द्वारा पाया गया) है।<ref>[http://www.primenumbers.net/prptop/searchform.php?form=x%5E131072%2By%5E131072&action=Search PRP Top Records, search for x^131072+y^131072], by Henri & Renaud Lifchitz.</ref> | |||
सामान्य फ़र्मेट संख्याओं के अनुरूप, फॉर्म <math>a^{2^{ \overset{n} {}}} \!\!+ 1</math> के सामान्यीकृत फ़र्मेट संख्याओं को ''F<sub>n</sub>''(''a'') के रूप में लिखना समान्य बात है। उदाहरण के लिए, इस नोटेशन में संख्या 100,000,001 को ''F''<sub>3</sub>(10) के रूप में लिखा जाएगा। निम्नलिखित में हम स्वयं को इस रूप के अभाज्य संख्याओं तक ही सीमित रखेंगे, | |||
, <math>a^{2^{ \overset{n} {}}} \!\!+ 1</math>, ऐसे अभाज्यों को फ़र्मेट अभाज्य आधार a कहा जाता है। निःसंदेह, ये अभाज्य संख्याएँ केवल तभी उपस्थित होती हैं जब a [[समता (गणित)]] हो। | |||
यदि हमें n > 0 की आवश्यकता है, तो लैंडौ की चौथी समस्या पूछती है कि क्या अनंत रूप से कई सामान्यीकृत फ़र्मेट अभाज्य ''F<sub>n</sub>''(''a'') हैं। | |||
===सामान्यीकृत फ़र्मेट अभाज्य=== | ===सामान्यीकृत फ़र्मेट अभाज्य=== | ||
अपनी आदिमता को | अपनी आदिमता को सिद्ध करने में आसानी के कारण, सामान्यीकृत फ़र्मेट प्राइम हाल के वर्षों में संख्या सिद्धांत के क्षेत्र में शोध का विषय बन गए हैं। आज के सबसे बड़े ज्ञात अभाज्यों में से कई सामान्यीकृत फ़र्मेट अभाज्य हैं। | ||
सामान्यीकृत फ़र्मेट संख्याएँ केवल सम | सामान्यीकृत फ़र्मेट संख्याएँ केवल सम {{mvar|a}} के लिए अभाज्य हो सकती हैं, क्योंकि यदि {{mvar|a}} विषम है तो प्रत्येक सामान्यीकृत फ़र्मेट संख्या 2 से विभाज्य होगी। n>4 के साथ सबसे छोटी अभाज्य संख्या <math>F_n(a)</math> <math>n>4</math> (a) <math>F_5(30)</math> या 30<sup>32</sup> + 1 है। इसके अतिरिक्त हम एक विषम आधार के लिए "आधे सामान्यीकृत फ़र्मेट संख्या" को परिभाषित कर सकते हैं, आधार a के लिए एक आधा सामान्यीकृत फ़र्मेट संख्या (विषम a के लिए) है <math>\frac{a^{2^n} \!+ 1}{2}</math> और यह भी उम्मीद की जानी चाहिए कि प्रत्येक विषम आधार के लिए केवल सीमित संख्या में आधे सामान्यीकृत फ़र्मेट अभाज्य होंगे। | ||
(सूची में, सामान्यीकृत फ़र्मेट | (सूची में, सम {{mvar|a}} के लिए सामान्यीकृत फ़र्मेट संख्या <math>F_n(a)</math> <math>a^{2^n} \!+ 1</math>हैं, विषम {{mvar|a}} के लिए, वे <math>\frac{a^{2^n} \!\!+ 1}{2}</math> हैं। यदि OEIS में विषम घातांक ({{OEIS|id=A070265}}, तो सभी सामान्यीकृत फ़र्मेट संख्या को बीजगणितीय गुणनखंडित किया जा सकता है, इसलिए वे अभाज्य नहीं हो सकते है | ||
(सबसे छोटी संख्या के लिए <math>n</math> ऐसा है कि <math>F_n(a)</math> | (सबसे छोटी संख्या के लिए <math>n</math> ऐसा है कि <math>F_n(a)</math> अभाज्य है, देखिये {{oeis|id=A253242}}) | ||
{|class="wikitable" | {|class="wikitable" | ||
!<math>a</math> | !<math>a</math> | ||
!numbers <math>n</math><br/>such that<br/><math>F_n(a)</math> | !numbers <math>n</math><br/>such that<br/><math>F_n(a)</math> अभाज्य है | ||
!<math>a</math> | !<math>a</math> | ||
!numbers <math>n</math><br/>such that<br/><math>F_n(a)</math> | !numbers <math>n</math><br/>such that<br/><math>F_n(a)</math> अभाज्य है | ||
!<math>a</math> | !<math>a</math> | ||
!numbers <math>n</math><br/>such that<br/><math>F_n(a)</math> | !numbers <math>n</math><br/>such that<br/><math>F_n(a)</math> अभाज्य है | ||
!<math>a</math> | !<math>a</math> | ||
!numbers <math>n</math><br/>such that<br/><math>F_n(a)</math> | !numbers <math>n</math><br/>such that<br/><math>F_n(a)</math> अभाज्य है | ||
|- | |- | ||
|2 | |2 | ||
Line 633: | Line 634: | ||
|- | |- | ||
|46 | |46 | ||
|47, 4477457, 46<sup>512</sup>+1 (852 | |47, 4477457, 46<sup>512</sup>+1 (852 डिजिट्स : 214787904487...289480994817) | ||
|- | |- | ||
|47 | |47 | ||
Line 654: | Line 655: | ||
!<math>a</math> | !<math>a</math> | ||
!<math>b</math> | !<math>b</math> | ||
!numbers <math>n</math> such that<br/><math>\frac{a^{2^n}+b^{2^n}}{\gcd(a+b,2)} (=F_n(a,b))</math><br/> | !numbers <math>n</math> such that<br/><math>\frac{a^{2^n}+b^{2^n}}{\gcd(a+b,2)} (=F_n(a,b))</math><br/>अभाज्य है | ||
|- | |- | ||
|2 | |2 | ||
Line 972: | Line 973: | ||
|0, ... | |0, ... | ||
|} | |} | ||
(सबसे छोटे सम आधार के लिए {{mvar|a}} ऐसा है कि <math>F_n(a)</math> | (सबसे छोटे सम आधार के लिए {{mvar|a}} ऐसा है कि <math>F_n(a)</math> अभाज्य है, देखिये {{oeis|id=A056993}}) | ||
{|class="wikitable" | {|class="wikitable" | ||
!<math>n</math> | !<math>n</math> | ||
!bases {{mvar|a}} such that <math>F_n(a)</math> | !bases {{mvar|a}} such that <math>F_n(a)</math> अभाज्य है (only consider even {{mvar|a}}) | ||
![[OEIS]] sequence | ![[OEIS]] sequence | ||
|- | |- | ||
Line 1,079: | Line 1,080: | ||
! Prime number | ! Prime number | ||
! Generalized Fermat notation | ! Generalized Fermat notation | ||
! Number of | ! Number of डिजिट्स | ||
! Discovery date | ! Discovery date | ||
! ref. | ! ref. |
Revision as of 22:16, 5 July 2023
Named after | Pierre de Fermat |
---|---|
No. of known terms | 5 |
Conjectured no. of terms | 5 |
Subsequence of | Fermat numbers |
First terms | 3, 5, 17, 257, 65537 |
Largest known term | 65537 |
OEIS index | A019434 |
गणित में एक फ़र्मेट संख्या जिसका नाम पियरे डी फ़र्मेट के नाम पर रखा गया है जिन्होंने सबसे पहले उनका अध्ययन किया था इस रूप की एक प्राकृतिक संख्या है
जहाँ n एक गैर-ऋणात्मक पूर्णांक है। पहले कुछ फ़र्मेट नंबर हैं:
- 3 (संख्या), 5 (संख्या), 17 (संख्या), 257 (संख्या), 65537 (संख्या), 4294967297, 18446744073709551617, ... (sequence A000215 in the OEIS).
यदि 2k+1 अभाज्य संख्या है और k > 0, तो k 2 की घात होनी चाहिए, इसलिए 2k + 1 एक फ़र्मेट संख्या है; ऐसे अभाज्यों को फर्मेट अभाज्य कहा जाता है। As of 2023[update], एकमात्र ज्ञात फ़र्मेट प्राइम हैं F0 = 3, F1 = 5, F2 = 17, F3 = 257, और F4 = 65537 (sequence A019434 in the OEIS); अनुमान बताते हैं कि अब और नहीं हैं।
मूलभूत गुण
फ़र्मेट संख्याएँ निम्नलिखित पुनरावृत्ति संबंध को संतुष्ट करती हैं:
n ≥ 1 के लिए,
n ≥ 2 के लिए इनमें से प्रत्येक संबंध को गणितीय प्रेरण द्वारा सिद्ध किया जा सकता है। दूसरे समीकरण से, हम गोल्डबैक के प्रमेय (क्रिश्चियन गोल्डबैक के नाम पर) का अनुमान लगा सकते हैं: कोई भी दो फ़र्मेट संख्याएं 1 से अधिक एक सामान्य पूर्णांक कारक साझा नहीं करती हैं। इसे देखने के लिए मान लें कि 0 ≤ i < j और Fi और Fj का एक सामान्य कारक a > 1 है फिर a दोनों को विभाजित करता है
और Fj इसलिए a उनके अंतर को विभाजित करता है, 2. चूँकि a > 1, यह a = 2 को बल देता है। यह एक विरोधाभास है, क्योंकि प्रत्येक फ़र्मेट संख्या स्पष्ट रूप से विषम है। परिणाम के रूप में, हमें अभाज्य संख्याओं की अनंतता का एक और प्रमाण मिलता है: प्रत्येक Fn के लिए, एक अभाज्य गुणनखंड pn चुनें; तो अनुक्रम {pn} अलग-अलग अभाज्य संख्याओं का एक अनंत अनुक्रम है।
अतिरिक्त गुण
- किसी भी फ़र्मेट प्राइम को दो pth घातों के अंतर के रूप में व्यक्त नहीं किया जा सकता है, जहाँ p एक विषम प्राइम है।
- एफ को छोड़कर0 और एफ1, फ़र्मेट संख्या का अंतिम अंक 7 है।
- F0 और F1 के अपवाद के साथ, फ़र्मेट संख्या का अंतिम अंक 7 है।
- सभी फ़र्मेट संख्याओं के व्युत्क्रमों का योग (sequence A051158 in the OEIS) अपरिमेय संख्या है. (सोलोमन डब्ल्यू गोलोम्ब, 1963)
प्राचीनता
फ़र्मेट संख्याओं और फ़र्मेट प्राइम का अध्ययन सबसे पहले पियरे डी फ़र्मेट द्वारा किया गया था, जिन्होंने अनुमान लगाया था कि सभी फ़र्मेट संख्याएँ अभाज्य हैं। दरअसल, पहले पांच फ़र्मेट नंबर F0, ..., F4 को आसानी से अभाज्य दिखाया गया है। 1732 में लियोनहार्ड यूलर ने फ़र्मेट के अनुमान का खंडन किया जब उन्होंने दिखाया कि
यूलर ने सिद्ध किया कि n ≥ 2 के लिए Fn के प्रत्येक कारक का रूप k 2n+1 + 1 होना चाहिए (बाद में लुकास द्वारा इसे k 2n+2 + 1 में सुधार किया गया)।
यह कि 641, F5 का एक गुणनखंड है, समानता 641 = 27 × 5 + 1 और 641 = 24 + 54 से निकाला जा सकता है। यह पहली समानता से पता चलता है कि 27 × 5 ≡ −1 (मॉड 641) और इसलिए (बढ़ाते हुए) चौथी शक्ति) वह 228 × 54 ≡ 1 (मॉड 641)दूसरी ओर, दूसरी समानता का तात्पर्य है कि 54 ≡ −24 (मॉड 641)। इन सर्वांगसमताओं का अर्थ है कि 232 ≡ −1 (मॉड 641)।
फ़र्मेट को संभवतः यूलर द्वारा बाद में सिद्ध किए गए कारकों के स्वरूप के बारे में पता था, इसलिए यह उत्सुक लगता है कि वह कारक को खोजने के लिए सीधी गणना का पालन करने में विफल रहा।[1] एक सामान्य व्याख्या यह है कि फ़र्मेट ने एक कम्प्यूटेशनल गलती की है।
n > 4 के साथ कोई अन्य ज्ञात फ़र्मेट अभाज्य Fn नहीं है, किन्तु बड़े n के लिए फ़र्मेट संख्याओं के बारे में बहुत कम जानकारी है। वास्तव में, निम्नलिखित में से प्रत्येक एक खुली समस्या है:
- Fn सभी के लिए भाज्य संख्या n > 4? है
- क्या फ़र्मेट अभाज्य अनंत रूप से अनेक हैं? (गोटथोल्ड आइज़ेंस्टीन 1844[2])
- क्या मिश्रित फ़र्मेट संख्याएँ अपरिमित रूप से अनेक हैं?
- क्या कोई फ़र्मेट संख्या उपस्थित है जो वर्ग-मुक्त संख्या या वर्ग-मुक्त नहीं है?
2014 तक, यह ज्ञात है कि Fn 5 ≤ n ≤ 32 के लिए मिश्रित है, चूँकि इनमें से, Fn का पूर्ण गुणनखंडन केवल 0 ≤ n ≤ 11 के लिए जाना जाता है, और n = 20 और n = 24 के लिए कोई ज्ञात अभाज्य कारक नहीं हैं।[3] समग्र के रूप में ज्ञात सबसे बड़ी फ़र्मेट संख्या F18233954 है, और इसका अभाज्य कारक 7 × 218233956 + 1 अक्टूबर 2020 में खोजा गया था।
विवेकपूर्ण तर्क
अनुमान बताते हैं कि F4 अंतिम फ़र्मेट प्राइम है।
अभाज्य संख्या प्रमेय का तात्पर्य है कि N के चारों ओर एक उपयुक्त अंतराल में एक यादृच्छिक पूर्णांक संभावना 1 / ln N के साथ अभाज्य है। यदि कोई अनुमान का उपयोग करता है कि एक फ़र्मेट संख्या अपने आकार के यादृच्छिक पूर्णांक के समान संभावना के साथ अभाज्य है, और वह F5, ..., F32समग्र हैं, तो F4 से परे (या समकक्ष, F32 से परे) फ़र्मेट प्राइम की अपेक्षित संख्या होनी चाहिए
कोई इस संख्या की व्याख्या इस संभावना की ऊपरी सीमा के रूप में कर सकता है कि F4 से परे एक फ़र्मेट प्राइम उपस्थित है।
यह तर्क कोई कठोर प्रमाण नहीं है. एक बात के लिए, यह माना जाता है कि फ़र्मेट संख्याएँ यादृच्छिक रूप से व्यवहार करती हैं, किन्तु फ़र्मेट संख्याओं के कारकों में विशेष गुण होते हैं। बोकलान और जॉन एच. कॉनवे ने एक अधिक स्पष्ट विश्लेषण प्रकाशित किया जिसमें बताया गया कि एक और फ़र्मेट प्राइम होने की संभावना एक अरब में एक से भी कम है।[4]
समतुल्य स्थितियाँ
मान लीजिए nवाँ फ़र्मेट संख्या है। पेपिन का परीक्षण बताता है कि n > 0 के लिए,
- अभाज्य है यदि और केवल यदि
व्यंजक का मूल्यांकन बार-बार वर्ग करके मॉड्यूल किया जा सकता है। यह परीक्षण को एक तेज़ बहुपद-समय एल्गोरिथ्म बनाता है। किन्तु फ़र्मेट संख्याएँ इतनी तेज़ी से बढ़ती हैं कि उनमें से केवल मुट्ठी भर का ही उचित मात्रा और स्थान में परीक्षण किया जा सकता है।
k 2m + 1 के रूप की संख्याओं के लिए कुछ परीक्षण हैं जैसे कि प्रारंभिकता के लिए फ़र्मेट संख्याओं के कारक है।
- प्रोथ का प्रमेय (1878)। मान लीजिए N = k 2m + 1 विषम k < 2m के साथ यदि कोई पूर्णांक ऐसा है
- तब अभाज्य है. इसके विपरीत, यदि उपरोक्त अनुरूपता कायम नहीं है, और इसके अतिरिक्त
- (जेकोबी प्रतीक देखें)
- तब समग्र है.
यदि N = Fn > 3, तो उपरोक्त जैकोबी प्रतीक सदैव −1 के समान होता है a = 3, और प्रोथ के प्रमेय के इस विशेष स्थिति को पेपिन परीक्षण के रूप में जाना जाता है। चूँकि पेपिन के परीक्षण और प्रोथ के प्रमेय को कुछ फ़र्मेट संख्याओं की समग्रता को सिद्ध करने के लिए कंप्यूटर पर प्रयुक्त किया गया है, किन्तु कोई भी परीक्षण एक विशिष्ट गैर-तुच्छ कारक नहीं देता है। वास्तव में, n = 20 और 24 के लिए कोई विशिष्ट अभाज्य गुणनखंड ज्ञात नहीं है।
गुणनखंडीकरण
फ़र्मेट संख्याओं के आकार के कारण, गुणनखंड बनाना या यहां तक कि प्रारंभिकता की जांच करना भी कठिन है। पेपिन का परीक्षण फ़र्मेट संख्याओं की प्रारंभिकता के लिए एक आवश्यक और पर्याप्त स्थिति देता है, और इसे आधुनिक कंप्यूटरों द्वारा कार्यान्वित किया जा सकता है। अण्डाकार वक्र विधि संख्याओं के छोटे अभाज्य विभाजक ज्ञात करने की एक तेज़ विधि है। वितरित कंप्यूटिंग परियोजना फर्माटसर्च ने फर्मेट संख्याओं के कुछ कारक खोजे हैं। यवेस गैलोट के proth.exe का उपयोग बड़े फ़र्मेट संख्याओं के गुणनखंडों को खोजने के लिए किया गया है। एडौर्ड लुकास ने यूलर के उपर्युक्त परिणाम में सुधार करते हुए 1878 में सिद्ध किया कि फ़र्मेट संख्या का प्रत्येक कारक , कम से कम 2 के साथ, फॉर्म का है (प्रोथ संख्या देखें), जहां k एक धनात्मक पूर्णांक है। अपने आप में, इससे ज्ञात फ़र्मेट अभाज्यों की आदिमता को सिद्ध करना आसान हो जाता है।
पहले बारह फ़र्मेट संख्याओं के गुणनखंडन इस प्रकार हैं:
F0 = 21 + 1 = 3 अभाज्य है F1 = 22 + 1 = 5 अभाज्य है F2 = 24 + 1 = 17 अभाज्य है F3 = 28 + 1 = 257 अभाज्य है F4 = 216 + 1 = 65,537 सबसे बड़ा ज्ञात फ़र्मेट प्राइम है F5 = 232 + 1 = 4,294,967,297 = 641 × 6,700,417 (पूरी तरह से तथ्यात्मक 1732[5]) F6 = 264 + 1 = 18,446,744,073,709,551,617 (20 डिजिट्स ) = 274,177 × 67,280,421,310,721 (14 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1855) F7 = 2128 + 1 = 340,282,366,920,938,463,463,374,607,431,768,211,457 (39 डिजिट्स ) = 59,649,589,127,497,217 (17 डिजिट्स ) × 5,704,689,200,685,129,054,721 (22 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1970) F8 = 2256 + 1 = 115,792,089,237,316,195,423,570,985,008,687,907,853,269,984,665,640,564,039,457,584,007,913,129,
639,937 (78 डिजिट्स )= 1,238,926,361,552,897 (16 डिजिट्स ) ×
93,461,639,715,357,977,769,163,558,199,606,896,584,051,237,541,638,188,580,280,321 (62 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1980)F9 = 2512 + 1 = 13,407,807,929,942,597,099,574,024,998,205,846,127,479,365,820,592,393,377,723,561,443,721,764,0
30,073,546,976,801,874,298,166,903,427,690,031,858,186,486,050,853,753,882,811,946,569,946,433,6
49,006,084,097 (155 डिजिट्स )= 2,424,833 × 7,455,602,825,647,884,208,337,395,736,200,454,918,783,366,342,657 (49 डिजिट्स ) ×
741,640,062,627,530,801,524,787,141,901,937,474,059,940,781,097,519,023,905,821,316,144,415,759,
504,705,008,092,818,711,693,940,737 (99 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1990)F10 = 21024 + 1 = 179,769,313,486,231,590,772,930...304,835,356,329,624,224,137,217 (309 डिजिट्स ) = 45,592,577 × 6,487,031,809 × 4,659,775,785,220,018,543,264,560,743,076,778,192,897 (40 डिजिट्स ) ×
130,439,874,405,488,189,727,484...806,217,820,753,127,014,424,577 (252 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1995)F11 = 22048 + 1 = 32,317,006,071,311,007,300,714,8...193,555,853,611,059,596,230,657 (617 डिजिट्स ) = 319,489 × 974,849 × 167,988,556,341,760,475,137 (21 डिजिट्स ) × 3,560,841,906,445,833,920,513 (22 डिजिट्स ) ×
173,462,447,179,147,555,430,258...491,382,441,723,306,598,834,177 (564 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1988)
अप्रैल 2023 तक, केवल F0 से F11 को पूरी तरह से सम्मिलित किया गया है।[3] वितरित कंप्यूटिंग प्रोजेक्ट फ़र्मेट सर्च फ़र्मेट संख्याओं के नए कारकों की खोज कर रहा है।[6] ओईआईएस में सभी फ़र्मेट कारकों का सेट A050922 (या, क्रमबद्ध, A023394) है।
फ़र्मेट संख्या के निम्नलिखित कारक 1950 से पहले ज्ञात थे (तब से, डिजिटल कंप्यूटर ने अधिक कारकों को खोजने में सहायता की है):
वर्ष | खोजक | फ़र्मेट संख्या | कारक |
---|---|---|---|
1732 | यूलर | ||
1732 | यूलर | (पूरी तरह से तथ्यात्मक) | |
1855 | क्लॉसन | ||
1855 | क्लॉसन | (पूरी तरह से तथ्यात्मक) | |
1877 | परवुशिन | ||
1878 | परवुशिन | ||
1886 | सीलहॉफ | ||
1899 | कनिंघम | ||
1899 | कनिंघम | ||
1903 | वेस्टर्न | ||
1903 | वेस्टर्न | ||
1903 | वेस्टर्न | ||
1903 | वेस्टर्न | ||
1903 | कुलेन | ||
1906 | मोरेहेड | ||
1925 | क्रैचिक |
As of April 2023[update], फ़र्मेट संख्याओं के 362 अभाज्य गुणनखंड ज्ञात हैं, और 318 फ़र्मेट संख्याओं को मिश्रित माना जाता है।[3] हर साल कई नए फ़र्मेट कारक पाए जाते हैं।[7]
स्यूडोप्राइम्स और फ़र्मेट संख्याएँ
फॉर्म 2p − 1, की मिश्रित संख्याओं की तरह, प्रत्येक मिश्रित फ़र्मेट संख्या आधार 2 के लिए एक शसक्त छद्म अभाज्य है। ऐसा इसलिए है क्योंकि आधार 2 के सभी शसक्त छद्म अभाज्य भी फ़र्मेट छद्म अभाज्य हैं - अर्थात,
सभी फ़र्मेट नंबरों के लिए.
1904 में, सिपोला ने दिखाया कि कम से कम दो अलग-अलग अभाज्य या मिश्रित फ़र्मेट संख्याओं का उत्पाद आधार 2 के लिए एक फ़र्मेट स्यूडोप्राइम होगा यदि और केवल यदि ।[8]
फ़र्मेट संख्याओं के बारे में अन्य प्रमेय
Lemma. — If n is a positive integer,
Theorem — If is an odd prime, then is a power of 2.
If is a positive integer but not a power of 2, it must have an odd prime factor , and we may write where .
By the preceding lemma, for positive integer ,
where means "evenly divides". Substituting , and and using that is odd,
and thus
Because , it follows that is not prime. Therefore, by contraposition must be a power of 2.
Theorem — A Fermat prime cannot be a Wieferich prime.
We show if is a Fermat prime (and hence by the above, m is a power of 2), then the congruence does not hold.
Since we may write . If the given congruence holds, then , and therefore
Hence , and therefore . This leads to , which is impossible since .
Theorem (Édouard Lucas) — Any prime divisor p of is of the form whenever n > 1.
Let Gp denote the group of non-zero integers modulo p under multiplication, which has order p − 1. Notice that 2 (strictly speaking, its image modulo p) has multiplicative order equal to in Gp (since is the square of which is −1 modulo Fn), so that, by Lagrange's theorem, p − 1 is divisible by and p has the form for some integer k, as Euler knew. Édouard Lucas went further. Since n > 1, the prime p above is congruent to 1 modulo 8. Hence (as was known to Carl Friedrich Gauss), 2 is a quadratic residue modulo p, that is, there is integer a such that Then the image of a has order in the group Gp and (using Lagrange's theorem again), p − 1 is divisible by and p has the form for some integer s.
In fact, it can be seen directly that 2 is a quadratic residue modulo p, since
Since an odd power of 2 is a quadratic residue modulo p, so is 2 itself.
एक फ़र्मेट नंबर एक पूर्ण संख्या या सौहार्दपूर्ण संख्याओं की जोड़ी का भाग नहीं हो सकता है। (लुका 2000)
फ़र्मेट संख्याओं के सभी अभाज्य विभाजकों के व्युत्क्रमों की श्रृंखला अभिसारी श्रृंखला है। (Křížek, Luca & Somer 2002)
यदि nn + 1 अभाज्य है, तो एक पूर्णांक m उपस्थित है जैसे कि n = 22m। उस स्थिति में समीकरण nn + 1 = F(2m+m) उस स्थिति में रखता है[9][10]
माना कि फ़र्मेट संख्या Fn का सबसे बड़ा अभाज्य गुणनखंड P(Fn) है। तब,
रचनात्मक बहुभुजों से संबंध
कार्ल फ्रेडरिक गॉस ने अपने अंकगणितीय विवेचन में गॉसियन काल के सिद्धांत को विकसित किया और नियमित बहुभुजों की रचना के लिए पर्याप्त नियम तैयार की। गॉस ने कहा कि यह नियम भी आवश्यक नियम थी,[11] किन्तु कभी कोई प्रमाण प्रकाशित नहीं किया। पियरे वांटज़ेल ने 1837 में आवश्यकता का पूर्ण प्रमाण दिया+ परिणाम को गॉस-वांटज़ेल प्रमेय के रूप में जाना जाता है:
- एक n -पक्षीय नियमित बहुभुज का निर्माण कम्पास और स्ट्रेटएज के साथ किया जा सकता है यदि और केवल यदि n 2 की शक्ति और अलग-अलग फ़र्मेट प्राइम का उत्पाद है: दूसरे शब्दों में, यदि और केवल यदि एन फॉर्म n = 2kp1p2...ps का है ... ps, जहाँ k, s अऋणात्मक पूर्णांक हैं और pi विशिष्ट फ़र्मेट अभाज्य हैं।
एक धनात्मक पूर्णांक n उपरोक्त रूप का है यदि और केवल यदि इसका यूलर का टोटिएंट फ़ंक्शन φ(n) 2 की शक्ति है।
फ़र्मेट संख्याओं का अनुप्रयोग
छद्म यादृच्छिक संख्या पीढ़ी
फ़र्मेट प्राइम्स विशेष रूप से 1, ..., एन की श्रेणी में संख्याओं के छद्म-यादृच्छिक अनुक्रम उत्पन्न करने में उपयोगी होते हैं, जहां एन 2 की शक्ति है। उपयोग की जाने वाली सबसे समान्य विधि 1 और के बीच किसी भी बीज मूल्य को लेना है P − 1, जहां P एक फ़र्मेट प्राइम है। अब इसे एक संख्या A से गुणा करें, जो P के वर्गमूल से अधिक है और एक आदिम मूल मॉड्यूलो P है (अथार्त , यह एक द्विघात अवशेष नहीं है)। फिर परिणाम मॉड्यूल पी लें। परिणाम आरएनजी के लिए नया मान है।
- (रैखिक सर्वांगसम जनरेटर, आरएएनडीयू देखें)
यह कंप्यूटर विज्ञान में उपयोगी है, क्योंकि अधिकांश डेटा संरचनाओं में 2X संभावित मान वाले सदस्य होते हैं। उदाहरण के लिए, एक बाइट में 256 (28) संभावित मान (0-255) होते हैं। इसलिए, किसी बाइट या बाइट्स को यादृच्छिक मानों से भरने के लिए, एक यादृच्छिक संख्या जनरेटर का उपयोग किया जा सकता है जो 1-256 मान उत्पन्न करता है, बाइट आउटपुट मान -1 लेता है। इस कारण से बहुत बड़े फ़र्मेट प्राइम डेटा एन्क्रिप्शन में विशेष रुचि रखते हैं। यह विधि केवल छद्म यादृच्छिक मान उत्पन्न करती है, क्योंकि P - 1 दोहराव के बाद, अनुक्रम दोहराता है। खराब विधि से चुने गए गुणक के परिणामस्वरूप अनुक्रम P - 1 से पहले दोहराया जा सकता है।
सामान्यीकृत फ़र्मेट संख्या
फॉर्म के नंबर a, b के साथ कोई सहअभाज्य पूर्णांक, a > b > 0, सामान्यीकृत फ़र्मेट संख्याएँ कहलाती हैं। एक विषम अभाज्य p एक सामान्यीकृत फ़र्मेट संख्या है यदि और केवल तभी जब p पायथागॉरियन अभाज्य या 1 (मॉड 4) के सर्वांगसम हो। (यहां हम केवल स्थिति पर विचार करते हैं n > 0, इसलिए 3 = एक प्रतिउदाहरण नहीं है।)
इस फॉर्म के संभावित अभाज्य का एक उदाहरण 1215131072 + 242131072 (केलेन शेंटन द्वारा पाया गया) है।[12]
सामान्य फ़र्मेट संख्याओं के अनुरूप, फॉर्म के सामान्यीकृत फ़र्मेट संख्याओं को Fn(a) के रूप में लिखना समान्य बात है। उदाहरण के लिए, इस नोटेशन में संख्या 100,000,001 को F3(10) के रूप में लिखा जाएगा। निम्नलिखित में हम स्वयं को इस रूप के अभाज्य संख्याओं तक ही सीमित रखेंगे,
, , ऐसे अभाज्यों को फ़र्मेट अभाज्य आधार a कहा जाता है। निःसंदेह, ये अभाज्य संख्याएँ केवल तभी उपस्थित होती हैं जब a समता (गणित) हो।
यदि हमें n > 0 की आवश्यकता है, तो लैंडौ की चौथी समस्या पूछती है कि क्या अनंत रूप से कई सामान्यीकृत फ़र्मेट अभाज्य Fn(a) हैं।
सामान्यीकृत फ़र्मेट अभाज्य
अपनी आदिमता को सिद्ध करने में आसानी के कारण, सामान्यीकृत फ़र्मेट प्राइम हाल के वर्षों में संख्या सिद्धांत के क्षेत्र में शोध का विषय बन गए हैं। आज के सबसे बड़े ज्ञात अभाज्यों में से कई सामान्यीकृत फ़र्मेट अभाज्य हैं।
सामान्यीकृत फ़र्मेट संख्याएँ केवल सम a के लिए अभाज्य हो सकती हैं, क्योंकि यदि a विषम है तो प्रत्येक सामान्यीकृत फ़र्मेट संख्या 2 से विभाज्य होगी। n>4 के साथ सबसे छोटी अभाज्य संख्या (a) या 3032 + 1 है। इसके अतिरिक्त हम एक विषम आधार के लिए "आधे सामान्यीकृत फ़र्मेट संख्या" को परिभाषित कर सकते हैं, आधार a के लिए एक आधा सामान्यीकृत फ़र्मेट संख्या (विषम a के लिए) है और यह भी उम्मीद की जानी चाहिए कि प्रत्येक विषम आधार के लिए केवल सीमित संख्या में आधे सामान्यीकृत फ़र्मेट अभाज्य होंगे।
(सूची में, सम a के लिए सामान्यीकृत फ़र्मेट संख्या हैं, विषम a के लिए, वे हैं। यदि OEIS में विषम घातांक ((sequence A070265 in the OEIS), तो सभी सामान्यीकृत फ़र्मेट संख्या को बीजगणितीय गुणनखंडित किया जा सकता है, इसलिए वे अभाज्य नहीं हो सकते है
(सबसे छोटी संख्या के लिए ऐसा है कि अभाज्य है, देखिये OEIS: A253242)
numbers such that अभाज्य है |
numbers such that अभाज्य है |
numbers such that अभाज्य है |
numbers such that अभाज्य है | ||||
---|---|---|---|---|---|---|---|
2 | 0, 1, 2, 3, 4, ... | 18 | 0, ... | 34 | 2, ... | 50 | ... |
3 | 0, 1, 2, 4, 5, 6, ... | 19 | 1, ... | 35 | 1, 2, 6, ... | 51 | 1, 3, 6, ... |
4 | 0, 1, 2, 3, ... | 20 | 1, 2, ... | 36 | 0, 1, ... | 52 | 0, ... |
5 | 0, 1, 2, ... | 21 | 0, 2, 5, ... | 37 | 0, ... | 53 | 3, ... |
6 | 0, 1, 2, ... | 22 | 0, ... | 38 | ... | 54 | 1, 2, 5, ... |
7 | 2, ... | 23 | 2, ... | 39 | 1, 2, ... | 55 | ... |
8 | (none) | 24 | 1, 2, ... | 40 | 0, 1, ... | 56 | 1, 2, ... |
9 | 0, 1, 3, 4, 5, ... | 25 | 0, 1, ... | 41 | 4, ... | 57 | 0, 2, ... |
10 | 0, 1, ... | 26 | 1, ... | 42 | 0, ... | 58 | 0, ... |
11 | 1, 2, ... | 27 | (none) | 43 | 3, ... | 59 | 1, ... |
12 | 0, ... | 28 | 0, 2, ... | 44 | 4, ... | 60 | 0, ... |
13 | 0, 2, 3, ... | 29 | 1, 2, 4, ... | 45 | 0, 1, ... | 61 | 0, 1, 2, ... |
14 | 1, ... | 30 | 0, 5, ... | 46 | 0, 2, 9, ... | 62 | ... |
15 | 1, ... | 31 | ... | 47 | 3, ... | 63 | ... |
16 | 0, 1, 2, ... | 32 | (none) | 48 | 2, ... | 64 | (none) |
17 | 2, ... | 33 | 0, 3, ... | 49 | 1, ... | 65 | 1, 2, 5, ... |
b | known generalized (half) Fermat prime base b |
2 | 3, 5, 17, 257, 65537 |
3 | 2, 5, 41, 21523361, 926510094425921, 1716841910146256242328924544641 |
4 | 5, 17, 257, 65537 |
5 | 3, 13, 313 |
6 | 7, 37, 1297 |
7 | 1201 |
8 | (not possible) |
9 | 5, 41, 21523361, 926510094425921, 1716841910146256242328924544641 |
10 | 11, 101 |
11 | 61, 7321 |
12 | 13 |
13 | 7, 14281, 407865361 |
14 | 197 |
15 | 113 |
16 | 17, 257, 65537 |
17 | 41761 |
18 | 19 |
19 | 181 |
20 | 401, 160001 |
21 | 11, 97241, 1023263388750334684164671319051311082339521 |
22 | 23 |
23 | 139921 |
24 | 577, 331777 |
25 | 13, 313 |
26 | 677 |
27 | (not possible) |
28 | 29, 614657 |
29 | 421, 353641, 125123236840173674393761 |
30 | 31, 185302018885184100000000000000000000000000000001 |
31 | |
32 | (not possible) |
33 | 17, 703204309121 |
34 | 1336337 |
35 | 613, 750313, 330616742651687834074918381127337110499579842147487712949050636668246738736343104392290115356445313 |
36 | 37, 1297 |
37 | 19 |
38 | |
39 | 761, 1156721 |
40 | 41, 1601 |
41 | 31879515457326527173216321 |
42 | 43 |
43 | 5844100138801 |
44 | 197352587024076973231046657 |
45 | 23, 1013 |
46 | 47, 4477457, 46512+1 (852 डिजिट्स : 214787904487...289480994817) |
47 | 11905643330881 |
48 | 5308417 |
49 | 1201 |
50 |
(देखना [13][14] अधिक जानकारी के लिए (1000 तक के आधार भी), यह भी देखें [15] विषम आधारों के लिए)
(प्रपत्र के सबसे छोटे अभाज्य के लिए (विषम के लिए ), यह सभी देखें OEIS: A111635)
numbers such that अभाज्य है | ||
---|---|---|
2 | 1 | 0, 1, 2, 3, 4, ... |
3 | 1 | 0, 1, 2, 4, 5, 6, ... |
3 | 2 | 0, 1, 2, ... |
4 | 1 | 0, 1, 2, 3, ... |
4 | 3 | 0, 2, 4, ... |
5 | 1 | 0, 1, 2, ... |
5 | 2 | 0, 1, 2, ... |
5 | 3 | 1, 2, 3, ... |
5 | 4 | 1, 2, ... |
6 | 1 | 0, 1, 2, ... |
6 | 5 | 0, 1, 3, 4, ... |
7 | 1 | 2, ... |
7 | 2 | 1, 2, ... |
7 | 3 | 0, 1, 8, ... |
7 | 4 | 0, 2, ... |
7 | 5 | 1, 4, ... |
7 | 6 | 0, 2, 4, ... |
8 | 1 | (none) |
8 | 3 | 0, 1, 2, ... |
8 | 5 | 0, 1, 2, ... |
8 | 7 | 1, 4, ... |
9 | 1 | 0, 1, 3, 4, 5, ... |
9 | 2 | 0, 2, ... |
9 | 4 | 0, 1, ... |
9 | 5 | 0, 1, 2, ... |
9 | 7 | 2, ... |
9 | 8 | 0, 2, 5, ... |
10 | 1 | 0, 1, ... |
10 | 3 | 0, 1, 3, ... |
10 | 7 | 0, 1, 2, ... |
10 | 9 | 0, 1, 2, ... |
11 | 1 | 1, 2, ... |
11 | 2 | 0, 2, ... |
11 | 3 | 0, 3, ... |
11 | 4 | 1, 2, ... |
11 | 5 | 1, ... |
11 | 6 | 0, 1, 2, ... |
11 | 7 | 2, 4, 5, ... |
11 | 8 | 0, 6, ... |
11 | 9 | 1, 2, ... |
11 | 10 | 5, ... |
12 | 1 | 0, ... |
12 | 5 | 0, 4, ... |
12 | 7 | 0, 1, 3, ... |
12 | 11 | 0, ... |
13 | 1 | 0, 2, 3, ... |
13 | 2 | 1, 3, 9, ... |
13 | 3 | 1, 2, ... |
13 | 4 | 0, 2, ... |
13 | 5 | 1, 2, 4, ... |
13 | 6 | 0, 6, ... |
13 | 7 | 1, ... |
13 | 8 | 1, 3, 4, ... |
13 | 9 | 0, 3, ... |
13 | 10 | 0, 1, 2, 4, ... |
13 | 11 | 2, ... |
13 | 12 | 1, 2, 5, ... |
14 | 1 | 1, ... |
14 | 3 | 0, 3, ... |
14 | 5 | 0, 2, 4, 8, ... |
14 | 9 | 0, 1, 8, ... |
14 | 11 | 1, ... |
14 | 13 | 2, ... |
15 | 1 | 1, ... |
15 | 2 | 0, 1, ... |
15 | 4 | 0, 1, ... |
15 | 7 | 0, 1, 2, ... |
15 | 8 | 0, 2, 3, ... |
15 | 11 | 0, 1, 2, ... |
15 | 13 | 1, 4, ... |
15 | 14 | 0, 1, 2, 4, ... |
16 | 1 | 0, 1, 2, ... |
16 | 3 | 0, 2, 8, ... |
16 | 5 | 1, 2, ... |
16 | 7 | 0, 6, ... |
16 | 9 | 1, 3, ... |
16 | 11 | 2, 4, ... |
16 | 13 | 0, 3, ... |
16 | 15 | 0, ... |
(सबसे छोटे सम आधार के लिए a ऐसा है कि अभाज्य है, देखिये OEIS: A056993)
bases a such that अभाज्य है (only consider even a) | OEIS sequence | |
---|---|---|
0 | 2, 4, 6, 10, 12, 16, 18, 22, 28, 30, 36, 40, 42, 46, 52, 58, 60, 66, 70, 72, 78, 82, 88, 96, 100, 102, 106, 108, 112, 126, 130, 136, 138, 148, 150, ... | A006093 |
1 | 2, 4, 6, 10, 14, 16, 20, 24, 26, 36, 40, 54, 56, 66, 74, 84, 90, 94, 110, 116, 120, 124, 126, 130, 134, 146, 150, 156, 160, 170, 176, 180, 184, ... | A005574 |
2 | 2, 4, 6, 16, 20, 24, 28, 34, 46, 48, 54, 56, 74, 80, 82, 88, 90, 106, 118, 132, 140, 142, 154, 160, 164, 174, 180, 194, 198, 204, 210, 220, 228, ... | A000068 |
3 | 2, 4, 118, 132, 140, 152, 208, 240, 242, 288, 290, 306, 378, 392, 426, 434, 442, 508, 510, 540, 542, 562, 596, 610, 664, 680, 682, 732, 782, ... | A006314 |
4 | 2, 44, 74, 76, 94, 156, 158, 176, 188, 198, 248, 288, 306, 318, 330, 348, 370, 382, 396, 452, 456, 470, 474, 476, 478, 560, 568, 598, 642, ... | A006313 |
5 | 30, 54, 96, 112, 114, 132, 156, 332, 342, 360, 376, 428, 430, 432, 448, 562, 588, 726, 738, 804, 850, 884, 1068, 1142, 1198, 1306, 1540, 1568, ... | A006315 |
6 | 102, 162, 274, 300, 412, 562, 592, 728, 1084, 1094, 1108, 1120, 1200, 1558, 1566, 1630, 1804, 1876, 2094, 2162, 2164, 2238, 2336, 2388, ... | A006316 |
7 | 120, 190, 234, 506, 532, 548, 960, 1738, 1786, 2884, 3000, 3420, 3476, 3658, 4258, 5788, 6080, 6562, 6750, 7692, 8296, 9108, 9356, 9582, ... | A056994 |
8 | 278, 614, 892, 898, 1348, 1494, 1574, 1938, 2116, 2122, 2278, 2762, 3434, 4094, 4204, 4728, 5712, 5744, 6066, 6508, 6930, 7022, 7332, ... | A056995 |
9 | 46, 1036, 1318, 1342, 2472, 2926, 3154, 3878, 4386, 4464, 4474, 4482, 4616, 4688, 5374, 5698, 5716, 5770, 6268, 6386, 6682, 7388, 7992, ... | A057465 |
10 | 824, 1476, 1632, 2462, 2484, 2520, 3064, 3402, 3820, 4026, 6640, 7026, 7158, 9070, 12202, 12548, 12994, 13042, 15358, 17646, 17670, ... | A057002 |
11 | 150, 2558, 4650, 4772, 11272, 13236, 15048, 23302, 26946, 29504, 31614, 33308, 35054, 36702, 37062, 39020, 39056, 43738, 44174, 45654, ... | A088361 |
12 | 1534, 7316, 17582, 18224, 28234, 34954, 41336, 48824, 51558, 51914, 57394, 61686, 62060, 89762, 96632, 98242, 100540, 101578, 109696, ... | A088362 |
13 | 30406, 71852, 85654, 111850, 126308, 134492, 144642, 147942, 150152, 165894, 176206, 180924, 201170, 212724, 222764, 225174, 241600, ... | A226528 |
14 | 67234, 101830, 114024, 133858, 162192, 165306, 210714, 216968, 229310, 232798, 422666, 426690, 449732, 462470, 468144, 498904, 506664, ... | A226529 |
15 | 70906, 167176, 204462, 249830, 321164, 330716, 332554, 429370, 499310, 524552, 553602, 743788, 825324, 831648, 855124, 999236, 1041870, ... | A226530 |
16 | 48594, 108368, 141146, 189590, 255694, 291726, 292550, 357868, 440846, 544118, 549868, 671600, 843832, 857678, 1024390, 1057476, 1087540, ... | A251597 |
17 | 62722, 130816, 228188, 386892, 572186, 689186, 909548, 1063730, 1176694, 1361244, 1372930, 1560730, 1660830, 1717162, 1722230, 1766192, ... | A253854 |
18 | 24518, 40734, 145310, 361658, 525094, 676754, 773620, 1415198, 1488256, 1615588, 1828858, 2042774, 2514168, 2611294, 2676404, 3060772, ... | A244150 |
19 | 75898, 341112, 356926, 475856, 1880370, 2061748, 2312092, 2733014, 2788032, 2877652, 2985036, 3214654, 3638450, 4896418, 5897794, ... | A243959 |
20 | 919444, 1059094, 1951734, 1963736, ... | A321323 |
सबसे छोटा आधार b इस प्रकार है कि b2n + 1 अभाज्य हैं
- 2, 2, 2, 2, 2, 30, 102, 120, 278, 46, 824, 150, 1534, 30406, 67234, 70906, 48594, 62722, 24518, 75898, 919444, ... (sequence A056993 in the OEIS)
सबसे छोटा k ऐसा है कि (2n)k+1 अभाज्य हैं
- 1, 1, 1, 0, 1, 1, 2, 1, 1, 2, 1, 2, 2, 1, 1, 0, 4, 1, ... (अगला पद अज्ञात है) (sequence A079706 in the OEIS) (यह भी देखें OEIS: A228101 और OEIS: A084712)
जिसके लिए आधारों की संख्या की भविष्यवाणी करने के लिए एक अधिक विस्तृत सिद्धांत का उपयोग किया जा सकता है तय के लिए प्रमुख होगा . सामान्यीकृत फ़र्मेट प्राइम की संख्या मोटे तौर पर आधी होने की उम्मीद की जा सकती है 1 से बढ़ गया है.
सबसे बड़ा ज्ञात सामान्यीकृत फ़र्मेट अभाज्य
निम्नलिखित 5 सबसे बड़े ज्ञात सामान्यीकृत फ़र्मेट अभाज्यों की सूची है।[16] संपूर्ण शीर्ष-5 की खोज प्राइमग्रिड परियोजना में प्रतिभागियों द्वारा की गई है।
Rank | Prime number | Generalized Fermat notation | Number of डिजिट्स | Discovery date | ref. |
---|---|---|---|---|---|
1 | 19637361048576 + 1 | F20(1963736) | 6,598,776 | Sep 2022 | [17] |
2 | 19517341048576 + 1 | F20(1951734) | 6,595,985 | Aug 2022 | [18] |
3 | 10590941048576 + 1 | F20(1059094) | 6,317,602 | Nov 2018 | [19] |
4 | 9194441048576 + 1 | F20(919444) | 6,253,210 | Sep 2017 | [20] |
5 | 81 × 220498148 + 1 | F2(3 × 25124537) | 6,170,560 | Jun 2023 | [21] |
प्राइम पेजों पर कोई भी वर्तमान शीर्ष 100 सामान्यीकृत फ़र्मेट प्राइम पा सकता है।
यह भी देखें
- निर्माण योग्य बहुभुज: कौन सा नियमित बहुभुज रचनात्मक है, यह आंशिक रूप से फ़र्मेट अभाज्य पर निर्भर करता है।
- दोहरा घातीय कार्य
- लुकास का प्रमेय
- मेर्सन प्रीमियम
- पियरपोंट प्राइम
- प्राथमिकता परीक्षण
- प्रोथ का प्रमेय
- स्यूडोप्राइम
- सिएरपिंस्की नंबर
- सिल्वेस्टर का क्रम
टिप्पणियाँ
- ↑ Křížek, Luca & Somer 2001, p. 38, Remark 4.15
- ↑ Ribenboim 1996, p. 88.
- ↑ 3.0 3.1 3.2 Keller, Wilfrid (January 18, 2021), "Prime Factors of Fermat Numbers", ProthSearch.com, retrieved January 19, 2021
- ↑ Boklan, Kent D.; Conway, John H. (2017). "नये फ़र्मेट प्राइम के अधिकतम एक अरबवें हिस्से की अपेक्षा करें!". The Mathematical Intelligencer. 39 (1): 3–5. arXiv:1605.01371. doi:10.1007/s00283-016-9644-3. S2CID 119165671.
- ↑ Sandifer, Ed. "How Euler Did it" (PDF). MAA Online. Mathematical Association of America. Archived (PDF) from the original on 2022-10-09. Retrieved 2020-06-13.
- ↑ ":: F E R M A T S E A R C H . O R G :: Home page". www.fermatsearch.org. Retrieved 7 April 2018.
- ↑ "::FERMATSEARCH.ORG:: News". www.fermatsearch.org. Retrieved 7 April 2018.
- ↑ Krizek, Michal; Luca, Florian; Somer, Lawrence (14 March 2013). 17 Lectures on Fermat Numbers: From Number Theory to Geometry. Springer Science & Business Media. ISBN 9780387218502. Retrieved 7 April 2018 – via Google Books.
- ↑ Jeppe Stig Nielsen, "S(n) = n^n + 1".
- ↑ Weisstein, Eric W. "Sierpiński Number of the First Kind". MathWorld.
- ↑ Gauss, Carl Friedrich (1966). अंकगणितीय पूछताछ. New Haven and London: Yale University Press. pp. 458–460. Retrieved 25 January 2023.
- ↑ PRP Top Records, search for x^131072+y^131072, by Henri & Renaud Lifchitz.
- ↑ "सामान्यीकृत फ़र्मेट प्राइम्स". jeppesn.dk. Retrieved 7 April 2018.
- ↑ "Generalized Fermat primes for bases up to 1030". noprimeleftbehind.net. Retrieved 7 April 2018.
- ↑ "विषम आधारों में सामान्यीकृत फ़र्मेट अभाज्य". fermatquotient.com. Retrieved 7 April 2018.
- ↑ Caldwell, Chris K. "The Top Twenty: Generalized Fermat". The Prime Pages. Retrieved 11 July 2019.
- ↑ 19637361048576 + 1
- ↑ 19517341048576 + 1
- ↑ 10590941048576 + 1
- ↑ 9194441048576 + 1
- ↑ 81*220498148 + 1
संदर्भ
- Golomb, S. W. (January 1, 1963), "On the sum of the reciprocals of the Fermat numbers and related irrationalities", Canadian Journal of Mathematics, 15: 475–478, doi:10.4153/CJM-1963-051-0, S2CID 123138118
- Grytczuk, A.; Luca, F. & Wójtowicz, M. (2001), "Another note on the greatest prime factors of Fermat numbers", Southeast Asian Bulletin of Mathematics, 25 (1): 111–115, doi:10.1007/s10012-001-0111-4, S2CID 122332537
- Guy, Richard K. (2004), Unsolved Problems in Number Theory, Problem Books in Mathematics, vol. 1 (3rd ed.), New York: Springer Verlag, pp. A3, A12, B21, ISBN 978-0-387-20860-2
- Křížek, Michal; Luca, Florian & Somer, Lawrence (2001), 17 Lectures on Fermat Numbers: From Number Theory to Geometry, CMS books in mathematics, vol. 10, New York: Springer, ISBN 978-0-387-95332-8 - This book contains an extensive list of references.
- Křížek, Michal; Luca, Florian & Somer, Lawrence (2002), "On the convergence of series of reciprocals of primes related to the Fermat numbers", Journal of Number Theory, 97 (1): 95–112, doi:10.1006/jnth.2002.2782
- Luca, Florian (2000), "The anti-social Fermat number", American Mathematical Monthly, 107 (2): 171–173, doi:10.2307/2589441, JSTOR 2589441
- Ribenboim, Paulo (1996), The New Book of Prime Number Records (3rd ed.), New York: Springer, ISBN 978-0-387-94457-9
- Robinson, Raphael M. (1954), "Mersenne and Fermat Numbers", Proceedings of the American Mathematical Society, 5 (5): 842–846, doi:10.2307/2031878, JSTOR 2031878
- Yabuta, M. (2001), "A simple proof of Carmichael's theorem on primitive divisors" (PDF), Fibonacci Quarterly, 39: 439–443, archived (PDF) from the original on 2022-10-09
बाहरी संबंध
- Chris Caldwell, The Prime Glossary: Fermat number at The Prime Pages.
- Luigi Morelli, History of Fermat Numbers
- John Cosgrave, Unification of Mersenne and Fermat Numbers
- Wilfrid Keller, Prime Factors of Fermat Numbers
- Weisstein, Eric W. "Fermat Number". MathWorld.
- Weisstein, Eric W. "Fermat Prime". MathWorld.
- Weisstein, Eric W. "Generalized Fermat Number". MathWorld.
- Yves Gallot, Generalized Fermat Prime Search
- Mark S. Manasse, Complete factorization of the ninth Fermat number (original announcement)
- Peyton Hayslette, Largest Known Generalized Fermat Prime Announcement