फ़र्मेट संख्या: Difference between revisions

Fermat prime
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

Latest revision as of 17:25, 13 July 2023

गणित में एक फ़र्मेट संख्या जिसका नाम पियरे डी फ़र्मेट के नाम पर रखा गया है जिन्होंने सबसे पहले उनका अध्ययन किया था इस रूप की एक प्राकृतिक संख्या है

F_{n}=2^{2^{n}}+1,

जहाँ n एक गैर-ऋणात्मक पूर्णांक है। पहले कुछ फ़र्मेट नंबर हैं:

3 (संख्या), 5 (संख्या), 17 (संख्या), 257 (संख्या), 65537 (संख्या), 4294967297, 18446744073709551617, ... (sequence A000215 in the OEIS).

यदि 2^k+1 अभाज्य संख्या है और k > 0, तो k 2 की घात होनी चाहिए, इसलिए 2^k + 1 एक फ़र्मेट संख्या है; ऐसे अभाज्यों को फर्मेट अभाज्य कहा जाता है। As of 2023^[update], एकमात्र ज्ञात फ़र्मेट प्राइम हैं F₀ = 3, F₁ = 5, F₂ = 17, F₃ = 257, और F₄ = 65537 (sequence A019434 in the OEIS); अनुमान बताते हैं कि अब और नहीं हैं।

मूलभूत गुण

फ़र्मेट संख्याएँ निम्नलिखित पुनरावृत्ति संबंध को संतुष्ट करती हैं:

F_{n}=(F_{n-1}-1)^{2}+1

F_{n}=F_{0}\cdots F_{n-1}+2

n ≥ 1 के लिए,

F_{n}=F_{n-1}+2^{2^{n-1}}F_{0}\cdots F_{n-2}

F_{n}=F_{n-1}^{2}-2(F_{n-2}-1)^{2}

n ≥ 2 के लिए इनमें से प्रत्येक संबंध को गणितीय प्रेरण द्वारा सिद्ध किया जा सकता है। दूसरे समीकरण से हम गोल्डबैक के प्रमेय (क्रिश्चियन गोल्डबैक के नाम पर) का अनुमान लगा सकते हैं: कोई भी दो फ़र्मेट संख्याएं 1 से अधिक एक सामान्य पूर्णांक कारक साझा नहीं करती हैं। इसे देखने के लिए मान लें कि 0 ≤ i < j और F_i और F_j का एक सामान्य कारक a > 1 है फिर a दोनों को विभाजित करता है

F_{0}\cdots F_{j-1}

और F_j इसलिए a उनके अंतर को विभाजित करता है, 2. चूँकि a > 1, यह a = 2 को बल देता है। यह एक विरोधाभास है, क्योंकि प्रत्येक फ़र्मेट संख्या स्पष्ट रूप से विषम है। परिणाम के रूप में हमें अभाज्य संख्याओं की अनंतता का एक और प्रमाण मिलता है: प्रत्येक F_n के लिए, एक अभाज्य गुणनखंड p_n चुनें; तो अनुक्रम {p_n} अलग-अलग अभाज्य संख्याओं का एक अनंत अनुक्रम है।

अतिरिक्त गुण

किसी भी फ़र्मेट प्राइम को दो pth घातों के अंतर के रूप में व्यक्त नहीं किया जा सकता है, जहाँ p एक विषम प्राइम है।
F₀ और F₁ के अपवाद के साथ फ़र्मेट संख्या का अंतिम अंक 7 है।
सभी फ़र्मेट संख्याओं के व्युत्क्रमों का योग (sequence A051158 in the OEIS) अपरिमेय संख्या है. (सोलोमन डब्ल्यू गोलोम्ब, 1963)

प्राचीनता

फ़र्मेट संख्याओं और फ़र्मेट प्राइम का अध्ययन सबसे पहले पियरे डी फ़र्मेट द्वारा किया गया था, जिन्होंने अनुमान लगाया था कि सभी फ़र्मेट संख्याएँ अभाज्य हैं। वास्तव में पहले पांच फ़र्मेट नंबर F₀, ..., F₄ को आसानी से अभाज्य दिखाया गया है। 1732 में लियोनहार्ड यूलर ने फ़र्मेट के अनुमान का खंडन किया जब उन्होंने दिखाया कि

F_{5}=2^{2^{5}}+1=2^{32}+1=4294967297=641\times 6700417.

यूलर ने सिद्ध किया कि n ≥ 2 के लिए F_n के प्रत्येक कारक का रूप k 2ⁿ⁺¹ + 1 होना चाहिए (बाद में लुकास द्वारा इसे k 2ⁿ⁺² + 1 में सुधार किया गया)।

यह कि 641, F₅ का एक गुणनखंड है, समानता 641 = 2⁷ × 5 + 1 और 641 = 2⁴ + 5⁴ से निकाला जा सकता है। यह पहली समानता से पता चलता है कि 2⁷ × 5 ≡ −1 (मॉड 641) और इसलिए (बढ़ाते हुए) चौथी शक्ति) वह 2²⁸ × 5⁴ ≡ 1 (मॉड 641)दूसरी ओर, दूसरी समानता का तात्पर्य है कि 5⁴ ≡ −2⁴ (मॉड 641)। इन सर्वांगसमताओं का अर्थ है कि 2³² ≡ −1 (मॉड 641)।

फ़र्मेट को संभवतः यूलर द्वारा बाद में सिद्ध किए गए कारकों के स्वरूप के बारे में पता था, इसलिए यह उत्सुक लगता है कि वह कारक को खोजने के लिए सीधी गणना का पालन करने में विफल रहा था।^[1] एक सामान्य व्याख्या यह है कि फ़र्मेट ने एक कम्प्यूटेशनल गलती की है।

n > 4 के साथ कोई अन्य ज्ञात फ़र्मेट अभाज्य F_n नहीं है, किन्तु बड़े n के लिए फ़र्मेट संख्याओं के बारे में बहुत कम जानकारी है। वास्तव में, निम्नलिखित में से प्रत्येक एक खुली समस्या है:

F_n सभी के लिए भाज्य संख्या n > 4? है
क्या फ़र्मेट अभाज्य अनंत रूप से अनेक हैं? (गोटथोल्ड आइज़ेंस्टीन 1844^[2])
क्या मिश्रित फ़र्मेट संख्याएँ अपरिमित रूप से अनेक हैं?
क्या कोई फ़र्मेट संख्या उपस्थित है जो वर्ग-मुक्त संख्या या वर्ग-मुक्त नहीं है?

2014 तक, यह ज्ञात है कि F_n 5 ≤ n ≤ 32 के लिए मिश्रित है, चूँकि इनमें से, F_n का पूर्ण गुणनखंडन केवल 0 ≤ n ≤ 11 के लिए जाना जाता है, और n = 20 और n = 24 के लिए कोई ज्ञात अभाज्य कारक नहीं हैं।^[3] समग्र के रूप में ज्ञात सबसे बड़ी फ़र्मेट संख्या F_18233954 है, और इसका अभाज्य कारक 7 × 2^18233956 + 1 अक्टूबर 2020 में खोजा गया था।

विवेकपूर्ण तर्क

अनुमान बताते हैं कि F₄ अंतिम फ़र्मेट प्राइम है।

अभाज्य संख्या प्रमेय का तात्पर्य है कि N के चारों ओर एक उपयुक्त अंतराल में एक यादृच्छिक पूर्णांक संभावना 1 / ln N के साथ अभाज्य है। यदि कोई अनुमान का उपयोग करता है कि एक फ़र्मेट संख्या अपने आकार के यादृच्छिक पूर्णांक के समान संभावना के साथ अभाज्य है, और वह F₅, ..., F₃₂ समग्र हैं, तो F₄ से परे (या समकक्ष, F₃₂ से परे) फ़र्मेट प्राइम की अपेक्षित संख्या होनी चाहिए

\sum _{n\geq 33}{\frac {1}{\ln F_{n}}}<{\frac {1}{\ln 2}}\sum _{n\geq 33}{\frac {1}{\log _{2}(2^{2^{n}})}}={\frac {1}{\ln 2}}2^{-32}<3.36\times 10^{-10}.

कोई इस संख्या की व्याख्या इस संभावना की ऊपरी सीमा के रूप में कर सकता है कि F₄ से परे एक फ़र्मेट प्राइम उपस्थित है।

यह तर्क कोई कठोर प्रमाण नहीं है. एक बात के लिए, यह माना जाता है कि फ़र्मेट संख्याएँ यादृच्छिक रूप से व्यवहार करती हैं, किन्तु फ़र्मेट संख्याओं के कारकों में विशेष गुण होते हैं। बोकलान और जॉन एच. कॉनवे ने एक अधिक स्पष्ट विश्लेषण प्रकाशित किया जिसमें बताया गया कि एक और फ़र्मेट प्राइम होने की संभावना एक अरब में एक से भी कम है।^[4]

समतुल्य स्थितियाँ

मान लीजिए $F_{n}=2^{2^{n}}+1$ nवाँ फ़र्मेट संख्या है। पेपिन का परीक्षण बताता है कि n > 0 के लिए,

F_{n}

अभाज्य है यदि और केवल यदि

3^{(F_{n}-1)/2}\equiv -1{\pmod {F_{n}}}.

व्यंजक $3^{(F_{n}-1)/2}$ का मूल्यांकन बार-बार वर्ग करके मॉड्यूल $F_{n}$ किया जा सकता है। यह परीक्षण को एक तेज़ बहुपद-समय एल्गोरिथ्म बनाता है। किन्तु फ़र्मेट संख्याएँ इतनी तेज़ी से बढ़ती हैं कि उनमें से केवल मुट्ठी भर का ही उचित मात्रा और स्थान में परीक्षण किया जा सकता है।

k 2^m + 1 के रूप की संख्याओं के लिए कुछ परीक्षण हैं जैसे कि प्रारंभिकता के लिए फ़र्मेट संख्याओं के कारक है।

प्रोथ का प्रमेय (1878)। मान लीजिए N = k 2^m + 1 विषम k < 2^m के साथ यदि कोई पूर्णांक ऐसा है

a^{(N-1)/2}\equiv -1{\pmod {N}}

तब

N

अभाज्य है. इसके विपरीत, यदि उपरोक्त अनुरूपता कायम नहीं है, और इसके अतिरिक्त

\left({\frac {a}{N}}\right)=-1

(जेकोबी प्रतीक देखें)

तब

N

समग्र है.

यदि N = F_n > 3, तो उपरोक्त जैकोबी प्रतीक सदैव −1 के समान होता है a = 3, और प्रोथ के प्रमेय के इस विशेष स्थिति को पेपिन परीक्षण के रूप में जाना जाता है। चूँकि पेपिन के परीक्षण और प्रोथ के प्रमेय को कुछ फ़र्मेट संख्याओं की समग्रता को सिद्ध करने के लिए कंप्यूटर पर प्रयुक्त किया गया है, किन्तु कोई भी परीक्षण एक विशिष्ट गैर-तुच्छ कारक नहीं देता है। वास्तव में, n = 20 और 24 के लिए कोई विशिष्ट अभाज्य गुणनखंड ज्ञात नहीं है।

गुणनखंडीकरण

फ़र्मेट संख्याओं के आकार के कारण, गुणनखंड बनाना या यहां तक कि प्रारंभिकता की जांच करना भी कठिन है। पेपिन का परीक्षण फ़र्मेट संख्याओं की प्रारंभिकता के लिए एक आवश्यक और पर्याप्त स्थिति देता है, और इसे आधुनिक कंप्यूटरों द्वारा कार्यान्वित किया जा सकता है। अण्डाकार वक्र विधि संख्याओं के छोटे अभाज्य विभाजक ज्ञात करने की एक तेज़ विधि है। वितरित कंप्यूटिंग परियोजना फर्माटसर्च ने फर्मेट संख्याओं के कुछ कारक खोजे हैं। यवेस गैलोट के proth.exe का उपयोग बड़े फ़र्मेट संख्याओं के गुणनखंडों को खोजने के लिए किया गया है। एडौर्ड लुकास ने यूलर के उपर्युक्त परिणाम में सुधार करते हुए 1878 में सिद्ध किया कि फ़र्मेट संख्या का प्रत्येक कारक $F_{n}$ , कम से कम 2 के साथ, $k\times 2^{n+2}+1$ फॉर्म का है (प्रोथ संख्या देखें), जहां k एक धनात्मक पूर्णांक है। अपने आप में, इससे ज्ञात फ़र्मेट अभाज्यों की आदिमता को सिद्ध करना आसान हो जाता है।

पहले बारह फ़र्मेट संख्याओं के गुणनखंडन इस प्रकार हैं:

F₀	=	2¹	+	1	=	3 अभाज्य है
F₁	=	2²	+	1	=	5 अभाज्य है
F₂	=	2⁴	+	1	=	17 अभाज्य है
F₃	=	2⁸	+	1	=	257 अभाज्य है
F₄	=	2¹⁶	+	1	=	65,537 सबसे बड़ा ज्ञात फ़र्मेट प्राइम है
F₅	=	2³²	+	1	=	4,294,967,297
					=	641 × 6,700,417 (पूरी तरह से तथ्यात्मक 1732^[5])
F₆	=	2⁶⁴	+	1	=	18,446,744,073,709,551,617 (20 डिजिट्स )
					=	274,177 × 67,280,421,310,721 (14 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1855)
F₇	=	2¹²⁸	+	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)
F₈	=	2²⁵⁶	+	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)
F₉	=	2⁵¹²	+	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)
F₁₀	=	2¹⁰²⁴	+	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)
F₁₁	=	2²⁰⁴⁸	+	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 तक, केवल F₀ से F₁₁ को पूरी तरह से सम्मिलित किया गया है।^[3] वितरित कंप्यूटिंग प्रोजेक्ट फ़र्मेट सर्च फ़र्मेट संख्याओं के नए कारकों की खोज कर रहा है।^[6] ओईआईएस में सभी फ़र्मेट कारकों का सेट A050922 (या, क्रमबद्ध, A023394) है।

फ़र्मेट संख्या के निम्नलिखित कारक 1950 से पहले ज्ञात थे (तब से, डिजिटल कंप्यूटर ने अधिक कारकों को खोजने में सहायता की है):

वर्ष	खोजक	फ़र्मेट संख्या	कारक
1732	यूलर	$F_{5}$	$5\cdot 2^{7}+1$
1732	यूलर	$F_{5}$ (पूरी तरह से तथ्यात्मक)	$52347\cdot 2^{7}+1$
1855	क्लॉसन	$F_{6}$	$1071\cdot 2^{8}+1$
1855	क्लॉसन	$F_{6}$ (पूरी तरह से तथ्यात्मक)	$262814145745\cdot 2^{8}+1$
1877	परवुशिन	$F_{12}$	$7\cdot 2^{14}+1$
1878	परवुशिन	$F_{23}$	$5\cdot 2^{25}+1$
1886	सीलहॉफ	$F_{36}$	$5\cdot 2^{39}+1$
1899	कनिंघम	$F_{11}$	$39\cdot 2^{13}+1$
1899	कनिंघम	$F_{11}$	$119\cdot 2^{13}+1$
1903	वेस्टर्न	$F_{9}$	$37\cdot 2^{16}+1$
1903	वेस्टर्न	$F_{12}$	$397\cdot 2^{16}+1$
1903	वेस्टर्न	$F_{12}$	$973\cdot 2^{16}+1$
1903	वेस्टर्न	$F_{18}$	$13\cdot 2^{20}+1$
1903	कुलेन	$F_{38}$	$3\cdot 2^{41}+1$
1906	मोरेहेड	$F_{73}$	$5\cdot 2^{75}+1$
1925	क्रैचिक	$F_{15}$	$579\cdot 2^{21}+1$

As of April 2023^[update], फ़र्मेट संख्याओं के 362 अभाज्य गुणनखंड ज्ञात हैं, और 318 फ़र्मेट संख्याओं को मिश्रित माना जाता है।^[3] हर साल कई नए फ़र्मेट कारक पाए जाते हैं।^[7]

स्यूडोप्राइम्स और फ़र्मेट संख्याएँ

फॉर्म 2^p − 1, की मिश्रित संख्याओं की तरह, प्रत्येक मिश्रित फ़र्मेट संख्या आधार 2 के लिए एक शसक्त छद्म अभाज्य है। ऐसा इसलिए है क्योंकि आधार 2 के सभी शसक्त छद्म अभाज्य भी फ़र्मेट छद्म अभाज्य हैं - अर्थात,

2^{F_{n}-1}\equiv 1{\pmod {F_{n}}}

सभी फ़र्मेट नंबरों के लिए.

1904 में, सिपोला ने दिखाया कि कम से कम दो अलग-अलग अभाज्य या मिश्रित फ़र्मेट संख्याओं का उत्पाद $F_{a}F_{b}\dots F_{s},$ $a>b>\dots >s>1$ आधार 2 के लिए एक फ़र्मेट स्यूडोप्राइम होगा यदि और केवल यदि $2^{s}>a$ ।^[8]

फ़र्मेट संख्याओं के बारे में अन्य प्रमेय

Lemma. — यदि n एक धनात्मक पूर्णांक है,

a^{n}-b^{n}=(a-b)\sum _{k=0}^{n-1}a^{k}b^{n-1-k}.

Proof

${\begin{aligned}(a-b)\sum _{k=0}^{n-1}a^{k}b^{n-1-k}&=\sum _{k=0}^{n-1}a^{k+1}b^{n-1-k}-\sum _{k=0}^{n-1}a^{k}b^{n-k}\\&=a^{n}+\sum _{k=1}^{n-1}a^{k}b^{n-k}-\sum _{k=1}^{n-1}a^{k}b^{n-k}-b^{n}\\&=a^{n}-b^{n}\end{aligned}}$

Theorem — यदि $2^{k}+1$ तो फिर यह एक विचित्र अभाज्य है $k$ 2 की पॉवर है.

Proof

If $k$ एक धनात्मक पूर्णांक है किन्तु 2 की घात नहीं है, इसमें एक विषम अभाज्य गुणनखंड होना चाहिए $s>2$ , and we may write $k=rs$ where $1\leq r<k$ .

पूर्ववर्ती लेम्मा द्वारा, सकारात्मक पूर्णांक के लिए $m$ ,

(a-b)\mid (a^{m}-b^{m})

जहाँ $\mid$ का अर्थ है "समान रूप से विभाजित"। स्थानापन्न $a=2^{r},b=-1$ , and $m=s$ और उसका उपयोग कर रहे हैं $s$ is odd,

(2^{r}+1)\mid (2^{rs}+1),

और इस तरह

(2^{r}+1)\mid (2^{k}+1).

क्यूंकि $1<2^{r}+1<2^{k}+1$ ,यह इस प्रकार है कि $2^{k}+1$ प्रमुख नहीं है. इसलिए, द्वारा contraposition $k$ 2 की पॉवर होनी चाहिए.

Theorem — एक फ़र्मेट प्राइम नहीं हो सकता Wieferich prime.

Proof

हम दिखाते हैं यदि $p=2^{m}+1$ एक फ़र्मेट प्राइम है (और इसलिए उपरोक्त के अनुसार, m 2 की घात है), तो सर्वांगसमता $2^{p-1}\equiv 1{\bmod {p^{2}}}$ नहीं रखता.

इसलिए $2m|p-1$ हम लिख सकते हैं $p-1=2m\lambda$ . यदि दी गई सर्वांगसमता कायम रहती है, तो $p^{2}|2^{2m\lambda }-1$ , और इसलिए

0\equiv {\frac {2^{2m\lambda }-1}{2^{m}+1}}=(2^{m}-1)\left(1+2^{2m}+2^{4m}+\cdots +2^{2(\lambda -1)m}\right)\equiv -2\lambda {\pmod {2^{m}+1}}.

इस तरह $2^{m}+1|2\lambda$ , और इसलिए $2\lambda \geq 2^{m}+1$ . इससे ये होता है $p-1\geq m(2^{m}+1)$ , जो तब से असंभव है $m\geq 2$ .

Theorem (Édouard Lucas) — पी का कोई अभाज्य भाजक $F_{n}=2^{2^{n}}+1$ स्वरूप का है $k2^{n+2}+1$ जब कभी भी n > 1.

Sketch of proof

Let G_pगुणन के अंतर्गत गैर-शून्य पूर्णांकों के समूह p को निरूपित करें, जिसका क्रम p − 1 है। ध्यान दें कि 2 (सख्ती से कहें तो, इसकी छवि मॉड्यूलो पी) का गुणक क्रम बराबर है $2^{n+1}$ in G_p (since $2^{2^{n+1}}$ का वर्ग है $2^{2^{n}}$ जो −1 मॉड्यूलो है F_n),ताकि, लैग्रेंज का प्रमेय, p − 1 से विभाज्य हो $2^{n+1}$ और पी का रूप है $k2^{n+1}+1$ कुछ पूर्णांक k के लिए, जैसा कि यूलर जानता था। एडौर्ड लुकास और आगे बढ़ गये। चूँकि n > 1, ऊपर का अभाज्य p 1 मॉड्यूल 8 के सर्वांगसम है। इसलिए (जैसा कि कार्ल फ्रेडरिक गॉस को ज्ञात था), 2 एक है द्विघात अवशेष मोडुलो पी, अर्थात पूर्णांक a ऐसा है $p|a^{2}-2.$ फिर ए की छवि में क्रम है $2^{n+2}$ समूह G_p में और (लैग्रेंज के प्रमेय का फिर से उपयोग करके), p − 1 द्वारा विभाज्य है $2^{n+2}$ और पी का रूप है $s2^{n+2}+1$ कुछ पूर्णांक के लिए s.

वास्तव में, यह प्रत्यक्ष रूप से देखा जा सकता है कि 2 एक द्विघात अवशेष मॉड्यूलो पी है, क्योंकि

\left(1+2^{2^{n-1}}\right)^{2}\equiv 2^{1+2^{n-1}}{\pmod {p}}.

चूँकि 2 की एक विषम घात एक द्विघात अवशेष मॉड्यूलो p है, इसलिए 2 भी स्वयं है।

एक फ़र्मेट नंबर एक पूर्ण संख्या या सौहार्दपूर्ण संख्याओं की जोड़ी का भाग नहीं हो सकता है। (लुका 2000)

फ़र्मेट संख्याओं के सभी अभाज्य विभाजकों के व्युत्क्रमों की श्रृंखला अभिसारी श्रृंखला है। (Křížek, Luca & Somer 2002)

यदि nⁿ + 1 अभाज्य है, तो एक पूर्णांक m उपस्थित है जैसे कि n = 2^2m। उस स्थिति में समीकरण nⁿ + 1 = F_(2^m+m) उस स्थिति में रखता है^[9]^[10]

माना कि फ़र्मेट संख्या F_n का सबसे बड़ा अभाज्य गुणनखंड P(F_n) है। तब,

P(F_{n})\geq 2^{n+2}(4n+9)+1.

(Grytczuk, Luca & Wójtowicz 2001)

रचनात्मक बहुभुजों से संबंध

1000 भुजाओं तक ज्ञात निर्माण योग्य बहुभुजों की भुजाओं की संख्या (बोल्ड) या विषम भुजाओं की संख्या (लाल)

कार्ल फ्रेडरिक गॉस ने अपने अंकगणितीय विवेचन में गॉसियन काल के सिद्धांत को विकसित किया और नियमित बहुभुजों की रचना के लिए पर्याप्त नियम तैयार की। गॉस ने कहा कि यह नियम भी आवश्यक नियम थी,^[11] किन्तु कभी कोई प्रमाण प्रकाशित नहीं किया। पियरे वांटज़ेल ने 1837 में आवश्यकता का पूर्ण प्रमाण दिया+ परिणाम को गॉस-वांटज़ेल प्रमेय के रूप में जाना जाता है:

एक n -पक्षीय नियमित बहुभुज का निर्माण कम्पास और स्ट्रेटएज के साथ किया जा सकता है यदि और केवल यदि n 2 की शक्ति और अलग-अलग फ़र्मेट प्राइम का उत्पाद है: दूसरे शब्दों में, यदि और केवल यदि एन फॉर्म n = 2^kp₁p₂...p_s का है ... ps, जहाँ k, s अऋणात्मक पूर्णांक हैं और p_i विशिष्ट फ़र्मेट अभाज्य हैं।

एक धनात्मक पूर्णांक n उपरोक्त रूप का है यदि और केवल यदि इसका यूलर का टोटिएंट फ़ंक्शन φ(n) 2 की शक्ति है।

फ़र्मेट संख्याओं का अनुप्रयोग

छद्म यादृच्छिक संख्या पीढ़ी

फ़र्मेट प्राइम्स विशेष रूप से 1, ..., एन की श्रेणी में संख्याओं के छद्म-यादृच्छिक अनुक्रम उत्पन्न करने में उपयोगी होते हैं, जहां एन 2 की शक्ति है। उपयोग की जाने वाली सबसे समान्य विधि 1 और के बीच किसी भी बीज मूल्य को लेना है P − 1, जहां P एक फ़र्मेट प्राइम है। अब इसे एक संख्या A से गुणा करें, जो P के वर्गमूल से अधिक है और एक आदिम मूल मॉड्यूलो P है (अथार्त , यह एक द्विघात अवशेष नहीं है)। फिर परिणाम मॉड्यूल पी लें। परिणाम आरएनजी के लिए नया मान है।

V_{j+1}=(A\times V_{j}){\bmod {P}}

(रैखिक सर्वांगसम जनरेटर, आरएएनडीयू देखें)

यह कंप्यूटर विज्ञान में उपयोगी है, क्योंकि अधिकांश डेटा संरचनाओं में 2^X संभावित मान वाले सदस्य होते हैं। उदाहरण के लिए, एक बाइट में 256 (2⁸) संभावित मान (0-255) होते हैं। इसलिए, किसी बाइट या बाइट्स को यादृच्छिक मानों से भरने के लिए, एक यादृच्छिक संख्या जनरेटर का उपयोग किया जा सकता है जो 1-256 मान उत्पन्न करता है, बाइट आउटपुट मान -1 लेता है। इस कारण से बहुत बड़े फ़र्मेट प्राइम डेटा एन्क्रिप्शन में विशेष रुचि रखते हैं। यह विधि केवल छद्म यादृच्छिक मान उत्पन्न करती है, क्योंकि P - 1 दोहराव के बाद, अनुक्रम दोहराता है। खराब विधि से चुने गए गुणक के परिणामस्वरूप अनुक्रम P - 1 से पहले दोहराया जा सकता है।

सामान्यीकृत फ़र्मेट संख्या

फॉर्म के नंबर $a^{2^{\overset {n}{}}}\!\!+b^{2^{\overset {n}{}}}$ a, b के साथ कोई सहअभाज्य पूर्णांक, a > b > 0, सामान्यीकृत फ़र्मेट संख्याएँ कहलाती हैं। एक विषम अभाज्य p एक सामान्यीकृत फ़र्मेट संख्या है यदि और केवल तभी जब p पायथागॉरियन अभाज्य या 1 (मॉड 4) के सर्वांगसम हो। (यहां हम केवल स्थिति पर विचार करते हैं n > 0, इसलिए 3 = $2^{2^{0}}\!+1$ एक प्रतिउदाहरण नहीं है।)

इस फॉर्म के संभावित अभाज्य का एक उदाहरण 1215¹³¹⁰⁷² + 242¹³¹⁰⁷² (केलेन शेंटन द्वारा पाया गया) है।^[12]

सामान्य फ़र्मेट संख्याओं के अनुरूप, फॉर्म $a^{2^{\overset {n}{}}}\!\!+1$ के सामान्यीकृत फ़र्मेट संख्याओं को F_n(a) के रूप में लिखना समान्य बात है। उदाहरण के लिए, इस नोटेशन में संख्या 100,000,001 को F₃(10) के रूप में लिखा जाएगा। निम्नलिखित में हम स्वयं को इस रूप के अभाज्य संख्याओं तक ही सीमित रखेंगे,

, $a^{2^{\overset {n}{}}}\!\!+1$ , ऐसे अभाज्यों को फ़र्मेट अभाज्य आधार a कहा जाता है। निःसंदेह, ये अभाज्य संख्याएँ केवल तभी उपस्थित होती हैं जब a समता (गणित) हो।

यदि हमें n > 0 की आवश्यकता है, तो लैंडौ की चौथी समस्या पूछती है कि क्या अनंत रूप से कई सामान्यीकृत फ़र्मेट अभाज्य F_n(a) हैं।

सामान्यीकृत फ़र्मेट अभाज्य

अपनी आदिमता को सिद्ध करने में आसानी के कारण, सामान्यीकृत फ़र्मेट प्राइम हाल के वर्षों में संख्या सिद्धांत के क्षेत्र में शोध का विषय बन गए हैं। आज के सबसे बड़े ज्ञात अभाज्यों में से कई सामान्यीकृत फ़र्मेट अभाज्य हैं।

सामान्यीकृत फ़र्मेट संख्याएँ केवल सम $a$ के लिए अभाज्य हो सकती हैं, क्योंकि यदि $a$ विषम है तो प्रत्येक सामान्यीकृत फ़र्मेट संख्या 2 से विभाज्य होगी। n>4 के साथ सबसे छोटी अभाज्य संख्या $F_{n}(a)$ $n>4$ (a) $F_{5}(30)$ या 30³² + 1 है। इसके अतिरिक्त हम एक विषम आधार के लिए "आधे सामान्यीकृत फ़र्मेट संख्या" को परिभाषित कर सकते हैं, आधार a के लिए एक आधा सामान्यीकृत फ़र्मेट संख्या (विषम a के लिए) है ${\frac {a^{2^{n}}\!+1}{2}}$ और यह भी उम्मीद की जानी चाहिए कि प्रत्येक विषम आधार के लिए केवल सीमित संख्या में आधे सामान्यीकृत फ़र्मेट अभाज्य होंगे।

(सूची में, सम $a$ के लिए सामान्यीकृत फ़र्मेट संख्या $F_{n}(a)$ $a^{2^{n}}\!+1$ हैं, विषम $a$ के लिए, वे ${\frac {a^{2^{n}}\!\!+1}{2}}$ हैं। यदि OEIS में विषम घातांक ((sequence A070265 in the OEIS), तो सभी सामान्यीकृत फ़र्मेट संख्या को बीजगणितीय गुणनखंडित किया जा सकता है, इसलिए वे अभाज्य नहीं हो सकते है

(सबसे छोटी संख्या के लिए $n$ ऐसा है कि $F_{n}(a)$ अभाज्य है, देखिये OEIS: A253242)

$a$	नंबर $n$ ऐसा है कि $F_{n}(a)$ अभाज्य है	$a$	नंबर $n$ ऐसा है कि $F_{n}(a)$ अभाज्य है	$a$	नंबर $n$ ऐसा है कि $F_{n}(a)$ अभाज्य है	$a$	नंबर $n$ ऐसा है कि $F_{n}(a)$ अभाज्य है
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	ज्ञात सामान्यीकृत (आधा) फ़र्मेट प्राइम बेस बी
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	(संभव नहीं)
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	(संभव नहीं)
28	29, 614657
29	421, 353641, 125123236840173674393761
30	31, 185302018885184100000000000000000000000000000001
31
32	(संभव नहीं)
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, 46⁵¹²+1 (852 डिजिट्स : 214787904487...289480994817)
47	11905643330881
48	5308417
49	1201
50

(देखना ^[13]^[14] अधिक जानकारी के लिए (1000 तक के आधार भी), यह भी देखें ^[15] विषम आधारों के लिए)

(प्रपत्र के सबसे छोटे अभाज्य के लिए $F_{n}(a,b)$ (विषम के लिए $a+b$ ), यह सभी देखें OEIS: A111635)

$a$	$b$	नंबर $n$ ऐसा है कि ${\frac {a^{2^{n}}+b^{2^{n}}}{\gcd(a+b,2)}}(=F_{n}(a,b))$ अभाज्य है
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$ ऐसा है कि $F_{n}(a)$ अभाज्य है, देखिये OEIS: A056993)

$n$	आधार $a$ ऐसा है कि $F_{n}(a)$ अभाज्य है (केवल $a$ पर भी विचार करें)	ओईआईएस अनुक्रम
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 इस प्रकार है कि b^2ⁿ + 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)

जिसके लिए आधारों की संख्या की भविष्यवाणी करने के लिए एक अधिक विस्तृत सिद्धांत का उपयोग किया जा सकता है $F_{n}(a)$ तय के लिए प्रमुख होगा $n$ . सामान्यीकृत फ़र्मेट प्राइम की संख्या मोटे तौर पर आधी होने की उम्मीद की जा सकती है $n$ 1 से बढ़ गया है.

सबसे बड़ा ज्ञात सामान्यीकृत फ़र्मेट अभाज्य

निम्नलिखित 5 सबसे बड़े ज्ञात सामान्यीकृत फ़र्मेट अभाज्यों की सूची है।^[16] संपूर्ण शीर्ष-5 की खोज प्राइमग्रिड परियोजना में प्रतिभागियों द्वारा की गई है।

श्रेणी	प्रमुख संख्या	सामान्यीकृत फ़र्मेट संकेतन	अंकों की संख्या	खोज तिथि	सन्दर्भ
1	1963736^1048576 + 1	F₂₀(1963736)	6,598,776	Sep 2022	^[17]
2	1951734^1048576 + 1	F₂₀(1951734)	6,595,985	Aug 2022	^[18]
3	1059094^1048576 + 1	F₂₀(1059094)	6,317,602	Nov 2018	^[19]
4	919444^1048576 + 1	F₂₀(919444)	6,253,210	Sep 2017	^[20]
5	81 × 2^20498148 + 1	F₂(3 × 2^5124537)	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.
↑ 1963736^1048576 + 1
↑ 1951734^1048576 + 1
↑ 1059094^1048576 + 1
↑ 919444^1048576 + 1
↑ 81*2^20498148 + 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

[1] Křížek, Luca & Somer 2001, p. 38, Remark 4.15

[2] Ribenboim 1996, p. 88.

[Keller-3] 3.0 ^3.1 ^3.2 Keller, Wilfrid (January 18, 2021), "Prime Factors of Fermat Numbers", ProthSearch.com, retrieved January 19, 2021

[4] 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.

[5] 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.

[6] ":: F E R M A T S E A R C H . O R G :: Home page". www.fermatsearch.org. Retrieved 7 April 2018.

[7] "::FERMATSEARCH.ORG:: News". www.fermatsearch.org. Retrieved 7 April 2018.

[8] 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.

[9] Jeppe Stig Nielsen, "S(n) = n^n + 1".

[10] Weisstein, Eric W. "Sierpiński Number of the First Kind". MathWorld.

[11] Gauss, Carl Friedrich (1966). अंकगणितीय पूछताछ. New Haven and London: Yale University Press. pp. 458–460. Retrieved 25 January 2023.

[12] PRP Top Records, search for x^131072+y^131072, by Henri & Renaud Lifchitz.

[13] "सामान्यीकृत फ़र्मेट प्राइम्स". jeppesn.dk. Retrieved 7 April 2018.

[14] "Generalized Fermat primes for bases up to 1030". noprimeleftbehind.net. Retrieved 7 April 2018.

[15] "विषम आधारों में सामान्यीकृत फ़र्मेट अभाज्य". fermatquotient.com. Retrieved 7 April 2018.

[Top_Twenty's_Generalized_Fermat_Primes-16] Caldwell, Chris K. "The Top Twenty: Generalized Fermat". The Prime Pages. Retrieved 11 July 2019.

[17] 1963736^1048576 + 1

[18] 1951734^1048576 + 1

[19] 1059094^1048576 + 1

[20] 919444^1048576 + 1

[21] 81*2^20498148 + 1

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

v t e प्राइम नंबर कक्षाएं
सूत्र द्वारा	[[Fermat संख्या \| fermat ( $2 2 n + 1$ )]] [[Mersenne Prime \| Mersenne ( $2 p - 1$ )]] [[डबल मर्सन नंबर \| डबल मर्सन ( $2 2 p -1 - 1$ 0]] [[Wagstaff Prime \| Wagstaff $(2 p + 1)/3$ ]] [[प्रोथ प्राइम \| प्रोथ ( $k \cdot2 n + 1$ )]] [[फैक्टरियल प्राइम \| फैक्टरियल ( $n! \pm 1$ )]] [[प्राइमोरियल प्राइम \| प्राइमोरियल ( $p n # \pm 1$ )]] [[यूक्लिड नंबर \| Euclid ( $p n # + 1$ )]] [[पाइथागोरियन प्राइम \| पाइथागोरियन ( $4 n + 1$ )]] [[पियरपॉन्ट प्राइम \| पियरपोंट ( $2 m \cdot3 n + 1$ )]] [[फौयन प्राइम \| क्वार्टन ( $x 4 + y 4$ )]] [[प्राइम सोलिनास \| सोलिनास ( $2 m \pm 2 n \pm 1$ )]] [[कुलेन नंबर \| कुलेन ( $n \cdot2 n + 1$ )]] [[वुडल नंबर \| वुडल ( $n \cdot2 n - 1$ )]] [[क्यूबन प्राइम \| क्यूबन (क्यूबन () $x 3 - y 3)/(x - y$ ]] [[Leyland संख्या \| Leyland ( $x y + y x$ )]] [[Thabit संख्या \| thabit ( $3\cdot2 n - 1$ )]] [[विलियम्स नंबर \| विलियम्स ( $(b -1)\cdot b n - 1$ )]] [[मिल्स निरंतर \| मिल्स ( $⌊ A 3 n ⌋$ )]]
पूर्णांक अनुक्रम द्वारा	Fibonacci लुकास पेल न्यूमैन -शैंक्स -विलियम्स पेरिन विभाजन बेल Motzkin
संपत्ति से	Wieferich ( जोड़ी) वॉल -सन -सन वोल्स्टेनहोल्मे विल्सन भाग्यशाली भाग्यशाली रामानुजन पिल्लई नियमित मजबूत स्टर्न सुपरसिंगुलर (अण्डाकार वक्र) सुपरसिंगुलर (मूनशाइन थ्योरी) अच्छा सुपर हिग्स अत्यधिक cototient अद्वितीय
आधार-आश्रित	पालिंड्रोमिक एमिर्प [[Repunit \| repunit $(10 n - 1)/9$ ]] पारगम्य परिपत्र truncatable न्यूनतम नाजुक प्राइमवेल पूर्ण रेप्टेंड अद्वितीय [हैप्पी नंबर # हैप्पी प्राइम्स
पैटर्न्स	[[ट्विन प्राइम \| ट्विन ( $p, p + 2$ ]] [[पिंडली के पेट \| शिन पेट ( $n \pm 1, 2 n \pm 1, 4 n \pm 1, \dots$ ]] [[प्राइम ट्रिपल \| ट्रिपल ( $p, p + 2 or p + 4, p + 6$ ]] [[प्राइम क्वाड्रुप्लेट \| क्वाड्रुलेट ( $p, p + 2, p + 6, p + 8$ ]] k -tuple [[चचेरे भाई प्राइम \| चचेरे भाई ( $p, p + 4$ ]] [[सेक्सी प्राइम \| सेक्सी ( $p, p + 6$ ]] चेन [[सेफ एंड सोफी जर्मेन प्राइम्स \| सोफी जर्मेन/सेफ ( $p, 2 p + 1$ ]] [[कनिंघम श्रृंखला \| कनिंघम ( $p, 2 p \pm 1, 4 p \pm 3, 8 p \pm 7, ...$ ]] [[अंकगणितीय प्रगति में primes \| अंकगणितीय प्रगति ( $p + a\cdotn, n = 0, 1, 2, 3, ...$ ]] [[संतुलित प्राइम \| संतुलित ( $consecutive p - n, p, p + n$ ]]
आकार से	मेगा(1,000,000+ अंक) सबसे बड़ा ज्ञात सूची
जटिल संख्या	Eisenstein Prime गाऊसी प्राइम
समग्र संख्या	स्यूडोप्राइम कैटलन अण्डाकार यूलर Euler -Jacobi Fermat फ्रोबेनियस लुकास सोमर -लुकास मजबूत कारमाइकल नंबर लगभग प्रमुख सेमीप्रीम इंटरप्राइम घबराहट
संबंधित विषय	संभावित प्राइम औद्योगिक-ग्रेड प्राइम अवैध प्राइम प्राइम्स के लिए सूत्र प्राइम गैप
पहला60अभाज्य	२ ३ ५ 7 ११ १३ 17 19 २३ २ ९ ३१ 37 ४१ ४३ 47 ५३ ५ ९ ६१ 67 71 73 79 83 89 97 १०१ १०३ 107 १० ९ ११३ 127 १३१ 137 १३ ९ १४ ९ १५१ 157 १६३ 167 173 179 181 १ ९ १ १ ९ ३ 197 199 211 २२३ 227 २२ ९ २३३ २३ ९ २४१ २५१ 257 २६३ 269 271 277 281
प्रमुख संख्याओं की सूची

v t e Pierre de Fermat
Work	Fermat's Last Theorem Fermat number Fermat's principle Fermat's little theorem Fermat polygonal number theorem Fermat pseudoprime Fermat point Fermat's theorem (stationary points) Fermat's theorem on sums of two squares Fermat's spiral Fermat's right triangle theorem
Related	List of things named after Pierre de Fermat Wiles's proof of Fermat's Last Theorem Fermat's Last Theorem in fiction Fermat Prize Fermat's Last Tango (2000 musical) Fermat's Last Theorem (popular science book)

Anonymous

Search

फ़र्मेट संख्या: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 17:25, 13 July 2023

Contents

मूलभूत गुण

अतिरिक्त गुण

प्राचीनता

विवेकपूर्ण तर्क

समतुल्य स्थितियाँ

गुणनखंडीकरण

स्यूडोप्राइम्स और फ़र्मेट संख्याएँ

फ़र्मेट संख्याओं के बारे में अन्य प्रमेय

रचनात्मक बहुभुजों से संबंध

फ़र्मेट संख्याओं का अनुप्रयोग

छद्म यादृच्छिक संख्या पीढ़ी

सामान्यीकृत फ़र्मेट संख्या

सामान्यीकृत फ़र्मेट अभाज्य

सबसे बड़ा ज्ञात सामान्यीकृत फ़र्मेट अभाज्य

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

@@ Line 11: / Line 11: @@
 }}
-गणित में, एक फ़र्मेट संख्या, जिसका नाम [[पियरे डी फ़र्मेट]] के नाम पर रखा गया है, जिन्होंने सबसे पहले उनका अध्ययन किया था, इस रूप की एक [[प्राकृतिक संख्या]] है
+गणित में एक फ़र्मेट संख्या जिसका नाम [[पियरे डी फ़र्मेट]] के नाम पर रखा गया है जिन्होंने सबसे पहले उनका अध्ययन किया था इस रूप की एक [[प्राकृतिक संख्या]] है
 :<math>F_{n} = 2^{2^n} + 1,</math>
@@ Line 19: / Line 19: @@
 यदि 2<sup>k</sup>+1 [[अभाज्य संख्या]] है और {{nowrap|''k'' > 0}}, तो k 2 की घात होनी चाहिए, इसलिए {{nowrap|2<sup>''k''</sup> + 1}} एक फ़र्मेट संख्या है; ऐसे अभाज्यों को फर्मेट अभाज्य कहा जाता है। {{As of|2023}}, एकमात्र ज्ञात फ़र्मेट प्राइम हैं {{nowrap|1=''F''<sub>0</sub> = 3}}, {{nowrap|1=''F''<sub>1</sub> = 5}}, {{nowrap|1=''F''<sub>2</sub> = 17}}, {{nowrap|1=''F''<sub>3</sub> = 257}}, और {{nowrap|1=''F''<sub>4</sub> = 65537}} {{OEIS|id=A019434}}; अनुमान बताते हैं कि अब और नहीं हैं।
-==बुनियादी गुण==
+==मूलभूत गुण==
-फ़र्मेट संख्याएँ निम्नलिखित [[पुनरावृत्ति संबंध]]ों को संतुष्ट करती हैं:
+फ़र्मेट संख्याएँ निम्नलिखित [[पुनरावृत्ति संबंध]] को संतुष्ट करती हैं:
 :<math>
@@ Line 32: / Line 32: @@
 :<math>
 F_{n} = F_{n-1}^2 - 2(F_{n-2}-1)^2</math>
-के लिए {{nowrap|''n'' ≥ 2}}. इनमें से प्रत्येक संबंध को [[गणितीय प्रेरण]] द्वारा सिद्ध किया जा सकता है। दूसरे समीकरण से, हम गोल्डबैक के प्रमेय ([[क्रिश्चियन गोल्डबैक]] के नाम पर) का अनुमान लगा सकते हैं: कोई भी दो फ़र्मेट संख्या सहअभाज्य नहीं है। ये देखना है तो वो मान लो {{nowrap|0 ≤ ''i'' < ''j''}} और एफ<sub>''i''</sub> और एफ<sub>''j''</sub> एक सामान्य कारक है {{nowrap|''a'' > 1}}. फिर a दोनों को विभाजित करता है
+{{nowrap|''n'' ≥ 2}} के लिए इनमें से प्रत्येक संबंध को गणितीय प्रेरण द्वारा सिद्ध किया जा सकता है। दूसरे समीकरण से हम गोल्डबैक के प्रमेय (क्रिश्चियन गोल्डबैक के नाम पर) का अनुमान लगा सकते हैं: कोई भी दो फ़र्मेट संख्याएं 1 से अधिक एक सामान्य पूर्णांक कारक साझा नहीं करती हैं। इसे देखने के लिए मान लें कि {{nowrap|0 ≤ ''i'' < ''j''}} और ''F<sub>i</sub>'' और ''F<sub>j</sub>'' का एक सामान्य कारक {{nowrap|''a'' > 1}} है फिर a दोनों को विभाजित करता है
 :<math>F_{0} \cdots F_{j-1}</math>
-और एफ<sub>''j''</sub>; इसलिए a उनके अंतर को विभाजित करता है, 2. चूँकि {{nowrap|''a'' > 1}}, यह बल देता है {{nowrap|1=''a'' = 2}}. यह एक [[विरोधाभास]] है, क्योंकि प्रत्येक फ़र्मेट संख्या स्पष्ट रूप से विषम है। [[परिणाम]] के रूप में, हमें अभाज्य संख्याओं की [[अनंतता]] का एक और प्रमाण प्राप्त होता है: प्रत्येक F के लिए<sub>''n''</sub>, एक अभाज्य गुणनखंड p चुनें<sub>''n''</sub>; फिर क्रम {{mset|''p''<sub>''n''</sub>}} अलग-अलग अभाज्य संख्याओं का एक अनंत अनुक्रम है।
+और ''F<sub>j</sub>'' इसलिए a उनके अंतर को विभाजित करता है, 2. चूँकि {{nowrap|''a'' > 1}}, यह {{nowrap|1=''a'' = 2}} को बल देता है। यह एक विरोधाभास है, क्योंकि प्रत्येक फ़र्मेट संख्या स्पष्ट रूप से विषम है। परिणाम के रूप में हमें अभाज्य संख्याओं की अनंतता का एक और प्रमाण मिलता है: प्रत्येक ''F<sub>n</sub>'' के लिए, एक अभाज्य गुणनखंड ''p<sub>n</sub>'' चुनें; तो अनुक्रम {''p<sub>n</sub>''} अलग-अलग अभाज्य संख्याओं का एक अनंत अनुक्रम है।
 ===अतिरिक्त गुण===
 * किसी भी फ़र्मेट प्राइम को दो pth घातों के अंतर के रूप में व्यक्त नहीं किया जा सकता है, जहाँ p एक विषम प्राइम है।
-*एफ को छोड़कर<sub>0</sub> और एफ<sub>1</sub>, फ़र्मेट संख्या का अंतिम अंक 7 है।
+*''F''<sub>0</sub> और ''F''<sub>1</sub> के अपवाद के साथ फ़र्मेट संख्या का अंतिम अंक 7 है।
 * सभी फ़र्मेट संख्याओं के [[व्युत्क्रमों का योग]] {{OEIS|id=A051158}} [[अपरिमेय संख्या]] है. (सोलोमन डब्ल्यू गोलोम्ब, 1963)
 ==प्राचीनता==
-फ़र्मेट संख्याओं और फ़र्मेट प्राइम का अध्ययन सबसे पहले पियरे डी फ़र्मेट द्वारा किया गया था, जिन्होंने [[अनुमान]] लगाया था कि सभी फ़र्मेट संख्याएँ अभाज्य हैं। दरअसल, पहले पांच फ़र्मेट नंबर एफ<sub>0</sub>, ..., एफ<sub>4</sub> आसानी से प्रधान दिखाया जाता है। 1732 में [[लियोनहार्ड यूलर]] ने फ़र्मेट के अनुमान का खंडन किया जब उन्होंने दिखाया कि
+फ़र्मेट संख्याओं और फ़र्मेट प्राइम का अध्ययन सबसे पहले पियरे डी फ़र्मेट द्वारा किया गया था, जिन्होंने अनुमान लगाया था कि सभी फ़र्मेट संख्याएँ अभाज्य हैं। वास्तव में पहले पांच फ़र्मेट नंबर ''F''<sub>0</sub>, ..., ''F''<sub>4</sub> को आसानी से अभाज्य दिखाया गया है। 1732 में लियोनहार्ड यूलर ने फ़र्मेट के अनुमान का खंडन किया जब उन्होंने दिखाया कि
 :<math> F_{5} = 2^{2^5} + 1 = 2^{32} + 1 = 4294967297 = 641 \times 6700417. </math>
-यूलर ने सिद्ध किया कि F का प्रत्येक गुणनखंड<sub>''n''</sub> फॉर्म होना चाहिए {{nowrap|''k''{{space|hair}}2<sup>''n''+1</sup> + 1}} (बाद में इसमें सुधार किया गया {{nowrap|''k''{{space|hair}}2<sup>''n''+2</sup> + 1}}एडौर्ड लुकास द्वारा) के लिए {{nowrap|''n'' ≥ 2}}.
+यूलर ने सिद्ध किया कि {{nowrap|''n'' ≥ 2}} के लिए ''F<sub>n</sub>'' के प्रत्येक कारक का रूप {{nowrap|''k''{{space|hair}}2<sup>''n''+1</sup> + 1}} होना चाहिए (बाद में लुकास द्वारा इसे {{nowrap|''k''{{space|hair}}2<sup>''n''+2</sup> + 1}} में सुधार किया गया)।
+यह कि 641, ''F''<sub>5</sub> का एक गुणनखंड है, समानता 641 = 2<sup>7</sup> × 5 + 1 और 641 = 2<sup>4</sup> + 5<sup>4</sup> से निकाला जा सकता है। यह पहली समानता से पता चलता है कि 2<sup>7</sup> × 5 ≡ −1 (मॉड 641) और इसलिए (बढ़ाते हुए) चौथी शक्ति) वह 2<sup>28</sup> × 5<sup>4</sup> ≡ 1 (मॉड 641)दूसरी ओर, दूसरी समानता का तात्पर्य है कि 5<sup>4</sup> ≡ −2<sup>4</sup> (मॉड 641)। इन सर्वांगसमताओं का अर्थ है कि 2<sup>32</sup> ≡ −1 (मॉड 641)।
+फ़र्मेट को संभवतः यूलर द्वारा बाद में सिद्ध किए गए कारकों के स्वरूप के बारे में पता था, इसलिए यह उत्सुक लगता है कि वह कारक को खोजने के लिए सीधी गणना का पालन करने में विफल रहा था।<ref>{{Harvnb|Křížek|Luca|Somer|2001|p=38, Remark 4.15}}</ref> एक सामान्य व्याख्या यह है कि फ़र्मेट ने एक कम्प्यूटेशनल गलती की है।
-वह 641 F का एक गुणनखंड है<sub>5</sub> समानता 641=2 से अनुमान लगाया जा सकता है<sup>7</sup>×5+1 और 641=2<sup>4</sup> +5<sup>4</sup>. प्रथम समानता से यह निष्कर्ष निकलता है कि 2<sup>7</sup> × 5 ≡-−1 (मॉड 641) और इसलिए (चौथी घात तक बढ़ाते हुए) कि 2<sup>28</sup>×5<sup>4</sup> ≡ 1 (मॉड 641)। दूसरी ओर, दूसरी समानता का तात्पर्य है कि 5<sup>4</sup> ≡ −2<sup>4</sup> (मॉड 641). इन [[मॉड्यूलर अंकगणित]] का अर्थ है कि 2<sup>32</sup> ≡ −1 (mod 641).
+{{nowrap|''n'' > 4}} के साथ कोई अन्य ज्ञात फ़र्मेट अभाज्य ''F<sub>n</sub>'' नहीं है, किन्तु बड़े n के लिए फ़र्मेट संख्याओं के बारे में बहुत कम जानकारी है। वास्तव में, निम्नलिखित में से प्रत्येक एक खुली समस्या है:
-फ़र्मेट को संभवतः यूलर द्वारा बाद में सिद्ध किए गए कारकों के स्वरूप के बारे में पता था, इसलिए यह उत्सुक लगता है कि वह कारक को खोजने के लिए सीधी गणना का पालन करने में विफल रहा।<ref>{{Harvnb|Křížek|Luca|Somer|2001|p=38, Remark 4.15}}</ref> एक सामान्य व्याख्या यह है कि फ़र्मेट ने एक कम्प्यूटेशनल गलती की है।
-कोई अन्य ज्ञात फ़र्मेट प्राइम्स एफ नहीं हैं<sub>''n''</sub> साथ {{nowrap|''n'' > 4}}, लेकिन बड़े n के लिए फ़र्मेट संख्याओं के बारे में बहुत कम जानकारी है।<ref>Chris Caldwell, [http://primes.utm.edu/links/theory/special_forms/ "Prime Links++: special forms"] {{webarchive|url=https://web.archive.org/web/20131224224552/http://primes.utm.edu/links/theory/special_forms/ |date=2013-12-24 }} at The [[Prime Pages]].</ref> वास्तव में, निम्नलिखित में से प्रत्येक एक खुली समस्या है:
-* एफ है<sub>''n''</sub> [[सभी के लिए]] भाज्य संख्या {{nowrap|''n'' > 4}}?
+* ''F<sub>n</sub>'' [[सभी के लिए]] भाज्य संख्या {{nowrap|''n'' > 4}}? है
 * क्या फ़र्मेट अभाज्य अनंत रूप से अनेक हैं? ([[गोटथोल्ड आइज़ेंस्टीन]] 1844<ref>{{Harvnb|Ribenboim|1996|p=88}}.</ref>)
 * क्या मिश्रित फ़र्मेट संख्याएँ अपरिमित रूप से अनेक हैं?
-* क्या कोई फ़र्मेट संख्या मौजूद है जो [[वर्ग-मुक्त संख्या]]|वर्ग-मुक्त नहीं है?
+* क्या कोई फ़र्मेट संख्या उपस्थित है जो [[वर्ग-मुक्त संख्या]] या वर्ग-मुक्त नहीं है?
-{{As of|2014}}, यह ज्ञात है कि एफ<sub>''n''</sub> के लिए समग्र है {{nowrap|5 ≤ ''n'' ≤ 32}}, हालांकि इनमें से, एफ का पूर्ण गुणनखंडन<sub>''n''</sub> के लिए ही जाने जाते हैं {{nowrap|0 ≤ ''n'' ≤ 11}}, और इसके लिए कोई ज्ञात प्रमुख कारक नहीं हैं {{nowrap|1=''n'' = 20}} और {{nowrap|1=''n'' = 24}}.<ref name="Keller"/>मिश्रित मानी जाने वाली सबसे बड़ी फ़र्मेट संख्या F है<sub>18233954</sub>, और इसका प्रमुख कारक {{nowrap|7 × 2<sup>18233956</sup> + 1}} की खोज अक्टूबर 2020 में हुई थी।
+तक, यह ज्ञात है कि ''F<sub>n</sub>'' {{nowrap|5 ≤ ''n'' ≤ 32}} के लिए मिश्रित है, चूँकि इनमें से, ''F<sub>n</sub>'' का पूर्ण गुणनखंडन केवल {{nowrap|0 ≤ ''n'' ≤ 11}} के लिए जाना जाता है, और n = 20 और {{nowrap|1=''n'' = 24}} के लिए कोई ज्ञात अभाज्य कारक नहीं हैं।<ref name="Keller" /> समग्र के रूप में ज्ञात सबसे बड़ी फ़र्मेट संख्या ''F''<sub>18233954</sub> है, और इसका अभाज्य कारक 7 × 2<sup>18233956</sup> + 1 अक्टूबर 2020 में खोजा गया था।
 ===विवेकपूर्ण तर्क===
-अनुमान बताते हैं कि एफ<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> से परे) फ़र्मेट प्राइम की अपेक्षित संख्या होनी चाहिए
-[[अभाज्य संख्या प्रमेय]] का तात्पर्य है कि N के चारों ओर एक उपयुक्त अंतराल में एक यादृच्छिक पूर्णांक संभाव्यता 1 के साथ अभाज्य है{{space|hair}}/{{space|hair}}एलएन एन. यदि कोई अनुमान का उपयोग करता है कि एक फ़र्मेट संख्या उसके आकार के यादृच्छिक पूर्णांक के समान संभावना के साथ अभाज्य है, और वह एफ<sub>5</sub>, ..., एफ<sub>32</sub> मिश्रित हैं, तो F से परे फ़र्मेट अभाज्यों की अपेक्षित संख्या<sub>4</sub> (या समकक्ष, एफ से परे<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>
-कोई इस संख्या की व्याख्या इस संभावना की ऊपरी सीमा के रूप में कर सकता है कि F से परे एक फ़र्मेट प्राइम है<sub>4</sub> मौजूद।
+कोई इस संख्या की व्याख्या इस संभावना की ऊपरी सीमा के रूप में कर सकता है कि ''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>
+यह तर्क कोई कठोर प्रमाण नहीं है. एक बात के लिए, यह माना जाता है कि फ़र्मेट संख्याएँ यादृच्छिक रूप से व्यवहार करती हैं, किन्तु फ़र्मेट संख्याओं के कारकों में विशेष गुण होते हैं। बोकलान और जॉन एच. कॉनवे ने एक अधिक स्पष्ट विश्लेषण प्रकाशित किया जिसमें बताया गया कि एक और फ़र्मेट प्राइम होने की संभावना एक अरब में एक से भी कम है।<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|Pépin's test}}
+{{Main article|पेपिन का परीक्षण}}
-होने देना <math>F_n=2^{2^n}+1</math> nवाँ फ़र्मेट नंबर हो। पेपिन का परीक्षण बताता है कि {{nowrap|''n'' > 0}},
+मान लीजिए <math>F_n=2^{2^n}+1</math> nवाँ फ़र्मेट संख्या है। पेपिन का परीक्षण बताता है कि n > 0 के लिए,
-:<math>F_n</math> प्रधान है यदि और केवल यदि <math>3^{(F_n-1)/2}\equiv-1\pmod{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> घातांक द्वारा, वर्ग करके। यह परीक्षण को एक तेज़ बहुपद-समय एल्गोरिथ्म बनाता है। लेकिन फ़र्मेट संख्याएँ इतनी तेज़ी से बढ़ती हैं कि उनमें से केवल मुट्ठी भर का ही उचित मात्रा और स्थान में परीक्षण किया जा सकता है।
+व्यंजक <math>3^{(F_n-1)/2}</math> का मूल्यांकन बार-बार वर्ग करके मॉड्यूल <math>F_n</math> किया जा सकता है। यह परीक्षण को एक तेज़ बहुपद-समय एल्गोरिथ्म बनाता है। किन्तु फ़र्मेट संख्याएँ इतनी तेज़ी से बढ़ती हैं कि उनमें से केवल मुट्ठी भर का ही उचित मात्रा और स्थान में परीक्षण किया जा सकता है।
-फॉर्म के नंबरों के लिए कुछ परीक्षण होते हैं {{nowrap|''k''{{space|hair}}2<sup>''m''</sup> + 1}}, जैसे कि फ़र्मेट संख्या के कारक, आदिमता के लिए।
+{{nowrap|''k''{{space|hair}}2<sup>''m''</sup> + 1}} के रूप की संख्याओं के लिए कुछ परीक्षण हैं जैसे कि प्रारंभिकता के लिए फ़र्मेट संख्याओं के कारक है।
-:प्रोथ का प्रमेय (1878)। होने देना {{nowrap|1=''N'' = ''k''{{space|hair}}2<sup>''m''</sup> + 1}} विषम के साथ {{nowrap|''k'' < 2<sup>''m''</sup>}}. यदि कोई पूर्णांक ऐसा है
+:प्रोथ का प्रमेय (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>N</math> प्रधान है. इसके विपरीत, यदि उपरोक्त अनुरूपता कायम नहीं है, और इसके अतिरिक्त
+:तब <math>N</math> अभाज्य है. इसके विपरीत, यदि उपरोक्त अनुरूपता कायम नहीं है, और इसके अतिरिक्त
 :: <math>\left(\frac{a}{N}\right)=-1</math> (जेकोबी प्रतीक देखें)
 :तब <math>N</math> समग्र है.
-अगर {{nowrap|1=''N'' = ''F''<sub>''n''</sub> > 3}}, तो उपरोक्त जैकोबी प्रतीक हमेशा −1 के बराबर होता है {{nowrap|1=''a'' = 3}}, और प्रोथ के प्रमेय के इस विशेष मामले को पेपिन परीक्षण के रूप में जाना जाता है। हालाँकि पेपिन के परीक्षण और प्रोथ के प्रमेय को कुछ फ़र्मेट संख्याओं की समग्रता को साबित करने के लिए कंप्यूटर पर लागू किया गया है, लेकिन कोई भी परीक्षण एक विशिष्ट गैर-तुच्छ कारक नहीं देता है। वास्तव में, कोई विशिष्ट अभाज्य कारक ज्ञात नहीं हैं {{nowrap|1=''n'' = 20}} और 24.
+यदि {{nowrap|1=''N'' = ''F''<sub>''n''</sub> > 3}}, तो उपरोक्त जैकोबी प्रतीक सदैव −1 के समान होता है {{nowrap|1=''a'' = 3}}, और प्रोथ के प्रमेय के इस विशेष स्थिति को पेपिन परीक्षण के रूप में जाना जाता है। चूँकि पेपिन के परीक्षण और प्रोथ के प्रमेय को कुछ फ़र्मेट संख्याओं की समग्रता को सिद्ध करने के लिए कंप्यूटर पर प्रयुक्त किया गया है, किन्तु कोई भी परीक्षण एक विशिष्ट गैर-तुच्छ कारक नहीं देता है। वास्तव में, {{nowrap|1=''n'' = 20}} और 24 के लिए कोई विशिष्ट अभाज्य गुणनखंड ज्ञात नहीं है।
 ==गुणनखंडीकरण==
-फ़र्मेट संख्याओं के आकार के कारण, गुणनखंड बनाना या यहां तक कि प्रारंभिकता की जांच करना भी मुश्किल है। पेपिन का परीक्षण फ़र्मेट संख्याओं की प्रारंभिकता के लिए एक आवश्यक और पर्याप्त स्थिति देता है, और इसे आधुनिक कंप्यूटरों द्वारा कार्यान्वित किया जा सकता है। [[अण्डाकार वक्र विधि]] संख्याओं के छोटे अभाज्य विभाजक ज्ञात करने की एक तेज़ विधि है। वितरित कंप्यूटिंग परियोजना Fermatsearch ने Fermat संख्याओं के कुछ कारक ढूंढे हैं। यवेस गैलोट के proth.exe का उपयोग बड़े फ़र्मेट संख्याओं के गुणनखंडों को खोजने के लिए किया गया है। एडौर्ड लुकास ने यूलर के उपर्युक्त परिणाम में सुधार करते हुए 1878 में साबित किया कि फ़र्मेट संख्या का प्रत्येक कारक <math>F_n</math>, कम से कम 2 के साथ, फॉर्म का है <math>k\times2^{n+2}+1</math> ([[प्रोथ संख्या]] देखें), जहां k एक धनात्मक पूर्णांक है। अपने आप में, इससे ज्ञात फ़र्मेट अभाज्यों की आदिमता को सिद्ध करना आसान हो जाता है।
+फ़र्मेट संख्याओं के आकार के कारण, गुणनखंड बनाना या यहां तक कि प्रारंभिकता की जांच करना भी कठिन है। पेपिन का परीक्षण फ़र्मेट संख्याओं की प्रारंभिकता के लिए एक आवश्यक और पर्याप्त स्थिति देता है, और इसे आधुनिक कंप्यूटरों द्वारा कार्यान्वित किया जा सकता है। [[अण्डाकार वक्र विधि]] संख्याओं के छोटे अभाज्य विभाजक ज्ञात करने की एक तेज़ विधि है। वितरित कंप्यूटिंग परियोजना फर्माटसर्च ने फर्मेट संख्याओं के कुछ कारक खोजे हैं। यवेस गैलोट के proth.exe का उपयोग बड़े फ़र्मेट संख्याओं के गुणनखंडों को खोजने के लिए किया गया है। एडौर्ड लुकास ने यूलर के उपर्युक्त परिणाम में सुधार करते हुए 1878 में सिद्ध किया कि फ़र्मेट संख्या का प्रत्येक कारक <math>F_n</math>, कम से कम 2 के साथ, <math>k\times2^{n+2}+1</math> फॉर्म का है ([[प्रोथ संख्या]] देखें), जहां k एक धनात्मक पूर्णांक है। अपने आप में, इससे ज्ञात फ़र्मेट अभाज्यों की आदिमता को सिद्ध करना आसान हो जाता है।
 पहले बारह फ़र्मेट संख्याओं के गुणनखंडन इस प्रकार हैं:
@@ Line 95: / Line 102: @@
 :{|
 |- valign="top"
-|''F''<sub>0</sub> ||=|| 2<sup>1</sup>||+||1 ||=||[[3 (number)|3]] is prime||
+|''F''<sub>0</sub> ||=|| 2<sup>1</sup>||+||1 ||=||[[3 (number)|3]] अभाज्य है||
 |- valign="top"
-|''F''<sub>1</sub> ||=|| 2<sup>2</sup>||+||1 ||=||[[5 (number)|5]] is prime||
+|''F''<sub>1</sub> ||=|| 2<sup>2</sup>||+||1 ||=||[[5 (number)|5]] अभाज्य है||
 |- valign="top"
-|''F''<sub>2</sub> ||=|| 2<sup>4</sup>||+||1 ||=||[[17 (number)|17]] is prime||
+|''F''<sub>2</sub> ||=|| 2<sup>4</sup>||+||1 ||=||[[17 (number)|17]] अभाज्य है||
 |- valign="top"
-|''F''<sub>3</sub> ||=|| 2<sup>8</sup>||+||1 ||=||[[257 (number)|257]] is prime||
+|''F''<sub>3</sub> ||=|| 2<sup>8</sup>||+||1 ||=||[[257 (number)|257]] अभाज्य है||
 |- valign="top"
-|''F''<sub>4</sub> ||=|| 2<sup>16</sup>||+||1 ||=||[[65537 (number)|65,537]] is the largest known Fermat prime||
+|''F''<sub>4</sub> ||=|| 2<sup>16</sup>||+||1 ||=||[[65537 (number)|65,537]] सबसे बड़ा ज्ञात फ़र्मेट प्राइम है||
 |- valign="top"
 |''F''<sub>5</sub> ||=|| 2<sup>32</sup>||+||1 ||=||4,294,967,297||
 |- style="background:white; color:#700000"
-| || || || || ||=||641 × 6,700,417 (fully factored 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>)
+| || || || || ||=||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"
-|''F''<sub>6</sub> ||=|| 2<sup>64</sup>||+||1 ||=||18,446,744,073,709,551,617 (20 digits) ||
+|''F''<sub>6</sub> ||=|| 2<sup>64</sup>||+||1 ||=||18,446,744,073,709,551,617 (20 डिजिट्स ) ||
 |- style="background:white; color:#700000"
-| || || || || ||=||274,177 × 67,280,421,310,721 (14 digits) (fully factored 1855)
+| || || || || ||=||274,177 × 67,280,421,310,721 (14 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1855)
 |- 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 digits)||
+|''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"
-| || || || || ||=||59,649,589,127,497,217 (17 digits) × 5,704,689,200,685,129,054,721 (22 digits) (fully factored 1970)
+| || || || || ||=||59,649,589,127,497,217 (17 डिजिट्स ) × 5,704,689,200,685,129,054,721 (22 डिजिट्स ) (पूरी तरह से तथ्यात्मक 1970)
 |- 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 digits)||
+|''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"
-| || || || || ||=||1,238,926,361,552,897 (16 digits) × <br>93,461,639,715,357,977,769,163,558,199,606,896,584,051,237,541,638,188,580,280,321 (62 digits) (fully factored 1980)
+| || || || || ||=||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"
-|''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 digits)||
+|''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"
-| || || || || ||=|| 2,424,833 × 7,455,602,825,647,884,208,337,395,736,200,454,918,783,366,342,657 (49 digits) × <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 digits) (fully factored 1990)
+| || || || || ||=|| 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"
 |''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 digits)||
+||=||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"
-| || || || || ||=||45,592,577 × 6,487,031,809 × 4,659,775,785,220,018,543,264,560,743,076,778,192,897 (40 digits) × <br>130,439,874,405,488,189,727,484...806,217,820,753,127,014,424,577 (252 digits) (fully factored 1995)
+| || || || || ||=||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"
 |''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 digits)||
+||=||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"
-| || || || || ||=|| 319,489 × 974,849 × 167,988,556,341,760,475,137 (21 digits) × 3,560,841,906,445,833,920,513 (22 digits) × <br>173,462,447,179,147,555,430,258...491,382,441,723,306,598,834,177 (564 digits) (fully factored 1988)
+| || || || || ||=|| 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)
 |-
 |}
-{{As of|2023|4}}, केवल एफ<sub>0</sub> एफ को<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> पूर्णांक अनुक्रमों के ऑन-लाइन विश्वकोश में सभी फ़र्मेट कारकों का सेट OEIS:A050922 (या, क्रमबद्ध, OEIS:A023394) है।
-फ़र्मेट संख्या के निम्नलिखित कारक 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"
 |-
-! Year
+! वर्ष
-! Finder
+! खोजक
-! Fermat number
+! फ़र्मेट संख्या
-! Factor
+! कारक
 |-
 | 1732
-| [[Euler]]
+| [[Euler|यूलर]]
 | <math>F_5</math>
 | <math>5 \cdot 2^7 + 1</math>
 |-
 | 1732
-| Euler
+| यूलर
-| <math>F_5</math> (fully factored)
+| <math>F_5</math> (पूरी तरह से तथ्यात्मक)
 | <math>52347 \cdot 2^7 + 1</math>
 |-
 | 1855
-| [[Thomas Clausen (mathematician)|Clausen]]
+| [[Thomas Clausen (mathematician)|क्लॉसन]]
 | <math>F_6</math>
 | <math>1071 \cdot 2^8 + 1</math>
 |-
 | 1855
-| Clausen
+| क्लॉसन
-| <math>F_6</math> (fully factored)
+| <math>F_6</math> (पूरी तरह से तथ्यात्मक)
 | <math>262814145745 \cdot 2^8 + 1</math>
 |-
 | 1877
-| [[Ivan Pervushin|Pervushin]]
+| [[Ivan Pervushin|परवुशिन]]
 | <math>F_{12}</math>
 | <math>7 \cdot 2^{14} + 1</math>
 |-
 | 1878
-| Pervushin
+| परवुशिन
 | <math>F_{23}</math>
 | <math>5 \cdot 2^{25} + 1</math>
 |-
 | 1886
-| [[Paul Peter Heinrich Seelhoff|Seelhoff]]
+| [[Paul Peter Heinrich Seelhoff|सीलहॉफ]]
 | <math>F_{36}</math>
 | <math>5 \cdot 2^{39} + 1</math>
 |-
 | 1899
-| [[Allan Joseph Champneys Cunningham|Cunningham]]
+| [[Allan Joseph Champneys Cunningham|कनिंघम]]
 | <math>F_{11}</math>
 | <math>39 \cdot 2^{13} + 1</math>
 |-
 | 1899
-| Cunningham
+| कनिंघम
 | <math>F_{11}</math>
 | <math>119 \cdot 2^{13} + 1</math>
 |-
 | 1903
-| [[Alfred Western|Western]]
+| [[Alfred Western|वेस्टर्न]]
 | <math>F_9</math>
 | <math>37 \cdot 2^{16} + 1</math>
 |-
 | 1903
-| Western
+| वेस्टर्न
 | <math>F_{12}</math>
 | <math>397 \cdot 2^{16} + 1</math>
 |-
 | 1903
-| Western
+| वेस्टर्न
 | <math>F_{12}</math>
 | <math>973 \cdot 2^{16} + 1</math>
 |-
 | 1903
-| Western
+| वेस्टर्न
 | <math>F_{18}</math>
 | <math>13 \cdot 2^{20} + 1</math>
 |-
 | 1903
-| [[James Cullen (mathematician)|Cullen]]
+| [[James Cullen (mathematician)|कुलेन]]
 | <math>F_{38}</math>
 | <math>3 \cdot 2^{41} + 1</math>
 |-
 | 1906
-| [[James C. Morehead|Morehead]]
+| [[James C. Morehead|मोरेहेड]]
 | <math>F_{73}</math>
 | <math>5 \cdot 2^{75} + 1</math>
 |-
 | 1925
-| [[Maurice Kraitchik|Kraitchik]]
+| [[Maurice Kraitchik|क्रैचिक]]
 | <math>F_{15}</math>
 | <math>579 \cdot 2^{21} + 1</math>
@@ Line 234: / Line 242: @@
 ==स्यूडोप्राइम्स और फ़र्मेट संख्याएँ==
-प्रपत्र 2 की भाज्य संख्याओं की तरह<sup>पी</sup> - 1, प्रत्येक मिश्रित फ़र्मेट संख्या आधार 2 के लिए एक मजबूत छद्म अभाज्य है। ऐसा इसलिए है क्योंकि आधार 2 के लिए सभी मजबूत छद्म अभाज्य भी फ़र्मेट छद्म अभाज्य हैं - अर्थात,
+फॉर्म 2<sup>''p''</sup> − 1, की मिश्रित संख्याओं की तरह, प्रत्येक मिश्रित फ़र्मेट संख्या आधार 2 के लिए एक शसक्त छद्म अभाज्य है। ऐसा इसलिए है क्योंकि आधार 2 के सभी शसक्त छद्म अभाज्य भी फ़र्मेट छद्म अभाज्य हैं - अर्थात,
 :<math>2^{F_n-1} \equiv 1 \pmod{F_n}</math>
 सभी फ़र्मेट नंबरों के लिए.
-में, सिपोला ने दिखाया कि कम से कम दो अलग-अलग अभाज्य या मिश्रित फ़र्मेट संख्याओं का गुणनफल <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>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.|यदि ''n'' एक धनात्मक पूर्णांक है,
 ::<math>a^n-b^n=(a-b)\sum_{k=0}^{n-1} a^kb^{n-1-k}.</math>
 {{math proof|
@@ Line 253: / Line 259: @@
 }}
 }}
-{{math theorem| If <math>2^k+1</math> is an odd prime, then <math>k</math> is a power of 2.
+{{math theorem| यदि <math>2^k+1</math> तो फिर यह एक विचित्र अभाज्य है<math>k</math> 2 की पॉवर है.
-{{math proof|If <math>k</math> is a positive integer but not a power of 2, it must have an odd prime factor <math>s > 2</math>, and we may write <math>k= rs</math> where <math>1 \le r < k</math>.
+{{math proof|If <math>k</math> एक धनात्मक पूर्णांक है किन्तु  2 की घात नहीं है, इसमें एक विषम अभाज्य गुणनखंड होना चाहिए<math>s > 2</math>, and we may write <math>k= rs</math> where <math>1 \le r < k</math>.
-By the preceding lemma, for positive integer <math>m</math>,
+पूर्ववर्ती लेम्मा द्वारा, सकारात्मक पूर्णांक के लिए<math>m</math>,
 :<math>(a-b) \mid (a^m-b^m)</math>
-where <math> \mid </math> means "evenly divides". Substituting <math>a = 2^r, b = -1</math>, and <math>m = s</math> and using that <math> s </math> is odd,
+जहाँ <math> \mid </math>का अर्थ है "समान रूप से विभाजित"। स्थानापन्न <math>a = 2^r, b = -1</math>, and <math>m = s</math> और उसका उपयोग कर रहे हैं <math> s </math> is odd,
 :<math> (2^r+1) \mid (2^{rs}+1), </math>
-and thus
+और इस तरह
 :<math> (2^r+1) \mid (2^k+1). </math>
-Because <math>1 < 2^r+1 < 2^k+1</math>, it follows that <math>2^k+1</math> is not prime. Therefore, by [[contraposition]] <math>k</math> must be a power of 2.
+क्यूंकि <math>1 < 2^r+1 < 2^k+1</math>,यह इस प्रकार है कि <math>2^k+1</math> प्रमुख नहीं है. इसलिए, द्वारा [[contraposition]] <math>k</math> 2 की पॉवर होनी चाहिए.
 }}}}
-{{math theorem| A Fermat prime cannot be a [[Wieferich prime]].
+{{math theorem|एक फ़र्मेट प्राइम नहीं हो सकता [[Wieferich prime]].
-{{math proof| We show if <math>p=2^m+1</math> is a Fermat prime (and hence by the above, ''m'' is a power of 2), then the congruence <math>2^{p-1} \equiv 1 \bmod {p^2}</math> does not hold.
+{{math proof| हम दिखाते हैं यदि <math>p=2^m+1</math> एक फ़र्मेट प्राइम है (और इसलिए उपरोक्त के अनुसार, ''m'' 2 की घात है), तो सर्वांगसमता<math>2^{p-1} \equiv 1 \bmod {p^2}</math> नहीं रखता.
-Since <math>2m |p-1</math> we may write <math>p-1=2m\lambda</math>. If the given congruence holds, then <math>p^2|2^{2m\lambda}-1</math>, and therefore
+इसलिए<math>2m |p-1</math> हम लिख सकते हैं<math>p-1=2m\lambda</math>. यदि दी गई सर्वांगसमता कायम रहती है, तो <math>p^2|2^{2m\lambda}-1</math>, और इसलिए
 :<math>0 \equiv \frac{2^{2m\lambda}-1}{2^m+1}=(2^m-1)\left(1+2^{2m}+2^{4m}+\cdots +2^{2(\lambda-1)m} \right) \equiv -2\lambda \pmod {2^m+1}.</math>
-Hence <math>2^m+1|2\lambda</math>, and therefore <math>2\lambda \geq 2^m+1</math>. This leads to <math>p-1 \geq m(2^m+1)</math>, which is impossible since <math>m \geq 2</math>.
+इस तरह<math>2^m+1|2\lambda</math>, और इसलिए <math>2\lambda \geq 2^m+1</math>. इससे ये होता है <math>p-1 \geq m(2^m+1)</math>, जो तब से असंभव है <math>m \geq 2</math>.
 }}}}
-{{math theorem|note=[[Édouard Lucas]]| Any prime divisor ''p'' of <math>F_n = 2^{2^n}+1</math> is of the form <math>k2^{n+2}+1</math> whenever {{nowrap|''n'' > 1}}.
+{{math theorem|note=[[Édouard Lucas]]|  ''पी'' का कोई अभाज्य भाजक<math>F_n = 2^{2^n}+1</math> स्वरूप का है <math>k2^{n+2}+1</math> जब कभी भी {{nowrap|''n'' > 1}}.
-{{math proof|title=''Sketch of proof''|Let ''G''<sub>''p''</sub> denote the [[Multiplicative group of integers modulo n|group of non-zero integers modulo ''p'' under multiplication]], which has order {{nowrap|''p'' − 1}}. Notice that 2 (strictly speaking, its image modulo ''p'') has multiplicative order equal to <math>2^{n+1}</math> in ''G''<sub>''p''</sub> (since <math> 2^{2^{n+1}}</math> is the square of <math>2^{2^n}</math> which is −1 modulo ''F''<sub>''n''</sub>), so that, by [[Lagrange's theorem (group theory)|Lagrange's theorem]], {{nowrap|''p'' − 1}} is divisible by <math>2^{n+1} </math> and ''p'' has the form <math>k2^{n+1} + 1</math> for some integer ''k'', as [[Euler]] knew. Édouard Lucas went further. Since {{nowrap|''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 <math>p|a^2-2.</math> Then the image of ''a'' has order <math>2^{n+2}</math> in the group ''G''<sub>''p''</sub> and (using Lagrange's theorem again), {{nowrap|''p'' − 1}} is divisible by <math>2^{n+2}</math> and ''p'' has the form <math>s2^{n+2} + 1</math> for some integer ''s''.
+{{math proof|title=''Sketch of proof''|Let ''G''<sub>''p''</sub>[[पूर्णांकों के गुणक समूह n|गुणन के अंतर्गत गैर-शून्य पूर्णांकों के समूह ''p'' को निरूपित करें]], जिसका क्रम {{nowrap|''p'' − 1}} है। ध्यान दें कि 2 (सख्ती से कहें तो, इसकी छवि मॉड्यूलो ''पी'') का गुणक क्रम बराबर है<math>2^{n+1}</math> in ''G''<sub>''p''</sub> (since <math> 2^{2^{n+1}}</math>का वर्ग है <math>2^{2^n}</math>जो −1 मॉड्यूलो है ''F''<sub>''n''</sub>),ताकि, [[लैग्रेंज का प्रमेय (समूह सिद्धांत)|लैग्रेंज का प्रमेय]], {{nowrap|''p'' − 1}} से विभाज्य हो
+<math>2^{n+1} </math> और ''पी'' का रूप है<math>k2^{n+1} + 1</math> कुछ पूर्णांक ''k'' के लिए, जैसा कि [[यूलर]] जानता था। एडौर्ड लुकास और आगे बढ़ गये। चूँकि {{nowrap|''n'' > 1}}, ऊपर का अभाज्य ''p'' 1 मॉड्यूल 8 के सर्वांगसम है। इसलिए (जैसा कि [[कार्ल फ्रेडरिक गॉस]] को ज्ञात था), 2 एक [[ है द्विघात अवशेष]] मोडुलो ''पी'', अर्थात पूर्णांक ''a'' ऐसा है<math>p|a^2-2.</math> फिर ''ए'' की छवि में क्रम है <math>2^{n+2}</math> समूह ''G''<sub>''p''</sub> में और (लैग्रेंज के प्रमेय का फिर से उपयोग करके), {{nowrap|''p'' − 1}} द्वारा विभाज्य है <math>2^{n+2}</math> और ''पी'' का रूप है <math>s2^{n+2} + 1</math>कुछ पूर्णांक के लिए ''s''.
-In fact, it can be seen directly that 2 is a quadratic residue modulo ''p'', since
+वास्तव में, यह प्रत्यक्ष रूप से देखा जा सकता है कि 2 एक द्विघात अवशेष मॉड्यूलो ''पी'' है, क्योंकि
 :<math>\left(1 +2^{2^{n-1}} \right)^{2} \equiv  2^{1+2^{n-1}} \pmod p.</math>
-Since an odd power of 2 is a quadratic residue modulo ''p'', so is 2 itself.
+चूँकि 2 की एक विषम घात एक द्विघात अवशेष मॉड्यूलो ''p'' है, इसलिए 2 भी स्वयं है।
 }}}}
-एक फ़र्मेट नंबर एक पूर्ण संख्या या सौहार्दपूर्ण संख्याओं की जोड़ी का हिस्सा नहीं हो सकता है। {{harv|Luca|2000}}
+एक फ़र्मेट नंबर एक पूर्ण संख्या या सौहार्दपूर्ण संख्याओं की जोड़ी का भाग नहीं हो सकता है। {{harv|लुका|2000}}
 फ़र्मेट संख्याओं के सभी अभाज्य विभाजकों के व्युत्क्रमों की श्रृंखला अभिसारी श्रृंखला है। {{harv|Křížek|Luca|Somer|2002}}
-अगर {{nowrap|''n''<sup>''n''</sup> + 1}} अभाज्य है, ऐसा एक पूर्णांक m मौजूद है {{nowrap|1=''n'' = 2<sup>2<sup>''m''</sup></sup>}}. समीकरण
+यदि ''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>
-{{nowrap|1=''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 का सबसे बड़ा अभाज्य गुणनखंड है<sub>''n''</sub> पी(एफ) हो<sub>''n''</sub>). तब,
 :<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 भुजाओं तक ज्ञात निर्माण योग्य बहुभुजों की भुजाओं की संख्या (बोल्ड) या विषम भुजाओं की संख्या (लाल)]]
-{{Main article|Constructible polygon}}
+{{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 में आवश्यकता का पूर्ण प्रमाण दिया। परिणाम को गॉस-वांटज़ेल प्रमेय के रूप में जाना जाता है:
+[[कार्ल फ्रेडरिक गॉस]] ने अपने [[अंकगणितीय विवेचन]] में गॉसियन काल के सिद्धांत को विकसित किया और नियमित बहुभुजों की रचना के लिए पर्याप्त नियम तैयार की। गॉस ने कहा कि यह नियम भी [[आवश्यक शर्त|आवश्यक नियम]] थी,<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 में आवश्यकता का पूर्ण प्रमाण दिया+ परिणाम को गॉस-वांटज़ेल प्रमेय के रूप में जाना जाता है:
-: एक ''एन''-पक्षीय नियमित बहुभुज का निर्माण [[कम्पास और सीधा किनारा]] के साथ किया जा सकता है यदि और केवल यदि ''एन'' 2 की शक्ति और अलग-अलग फ़र्मेट प्राइम का उत्पाद है: दूसरे शब्दों में, यदि और केवल यदि '' n'' रूप का है {{nowrap|1=''n'' = 2<sup>''k''</sup>''p''<sub>1</sub>''p''<sub>2</sub>...''p''<sub>''s''</sub>}}, जहां k, s अऋणात्मक पूर्णांक हैं और p<sub>''i''</sub> विशिष्ट फ़र्मेट अभाज्य हैं।
+:एक ''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 की शक्ति है।
@@ Line 312: / Line 319: @@
 ===छद्म यादृच्छिक संख्या पीढ़ी===
-फ़र्मेट प्राइम्स विशेष रूप से 1, ..., एन की श्रेणी में संख्याओं के छद्म-यादृच्छिक अनुक्रम उत्पन्न करने में उपयोगी होते हैं, जहां एन 2 की शक्ति है। उपयोग की जाने वाली सबसे आम विधि 1 और के बीच किसी भी बीज मूल्य को लेना है {{nowrap|''P'' − 1}}, जहां P एक फ़र्मेट प्राइम है। अब इसे एक संख्या A से गुणा करें, जो P के [[वर्गमूल]] से अधिक है और एक आदिम मूल modulo n modulo P है (यानी, यह एक [[द्विघात अवशेष]] नहीं है)। फिर परिणाम मॉड्यूल पी लें। परिणाम आरएनजी के लिए नया मान है।
+फ़र्मेट प्राइम्स विशेष रूप से 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 सदस्य होते हैं<sup>X</sup>संभावित मान. उदाहरण के लिए, एक बाइट में 256 (2) होता है<sup>8</sup>) संभावित मान (0-255)। इसलिए, किसी बाइट या बाइट्स को यादृच्छिक मानों से भरने के लिए, एक यादृच्छिक संख्या जनरेटर का उपयोग किया जा सकता है जो 1-256 मान उत्पन्न करता है, बाइट आउटपुट मान -1 लेता है। इस कारण से बहुत बड़े फ़र्मेट प्राइम डेटा एन्क्रिप्शन में विशेष रुचि रखते हैं। यह विधि केवल छद्म यादृच्छिक मान उत्पन्न करती है, जैसा कि बाद में हुआ {{nowrap|''P'' − 1}} पुनरावृत्ति, अनुक्रम दोहराता है। खराब तरीके से चुने गए गुणक के परिणामस्वरूप अनुक्रम जल्दी दोहराया जा सकता है {{nowrap|''P'' − 1}}.
+यह कंप्यूटर विज्ञान में उपयोगी है, क्योंकि अधिकांश डेटा संरचनाओं में 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> ए, बी के साथ कोई सहअभाज्य पूर्णांक, {{nowrap|''a'' > ''b'' > 0}}, सामान्यीकृत फ़र्मेट संख्याएँ कहलाती हैं। एक विषम अभाज्य ''पी'' एक सामान्यीकृत फ़र्मेट संख्या है यदि और केवल तभी जब ''पी'' पायथागॉरियन अभाज्य|1 (मॉड 4) के सर्वांगसम हो। (यहां हम केवल मामले पर विचार करते हैं {{nowrap|''n'' > 0}}, इसलिए {{nowrap|1=3 = <math>2^{2^{0}} \!+ 1</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 &amp; Renaud Lifchitz.</ref>
+इस फॉर्म के संभावित अभाज्य का एक उदाहरण 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 &amp; Renaud Lifchitz.</ref>
-सामान्य फ़र्मेट संख्याओं के अनुरूप, प्रपत्र की सामान्यीकृत फ़र्मेट संख्याएँ लिखना आम बात है <math>a^{2^{ \overset{n} {}}} \!\!+ 1</math> एफ के रूप में<sub>''n''</sub>(ए)। उदाहरण के लिए, इस नोटेशन में संख्या 100,000,001 को F के रूप में लिखा जाएगा<sub>3</sub>(10). निम्नलिखित में हम स्वयं को इस रूप के अभाज्य संख्याओं तक ही सीमित रखेंगे, <math>a^{2^{ \overset{n} {}}} \!\!+ 1</math>, ऐसे अभाज्यों को फ़र्मेट अभाज्य आधार a कहा जाता है। निःसंदेह, ये अभाज्य संख्याएँ केवल तभी मौजूद होती हैं जब a [[समता (गणित)]] हो।
-अगर हमें आवश्यकता है {{nowrap|''n'' > 0}}, फिर लैंडौ की समस्याएं|लैंडौ की चौथी समस्या पूछती है कि क्या अनंत रूप से कई सामान्यीकृत फ़र्मेट अभाज्य एफ हैं<sub>n</sub>(ए)।
+सामान्य फ़र्मेट संख्याओं के अनुरूप, फॉर्म <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 से विभाज्य होगी। सबसे छोटी अभाज्य संख्या <math>F_n(a)</math> साथ <math>n>4</math> है <math>F_5(30)</math>, या 30<sup>32</sup> + 1. इसके अलावा, हम एक विषम आधार के लिए आधे सामान्यीकृत फ़र्मेट संख्याओं को परिभाषित कर सकते हैं, आधार a के लिए एक आधा सामान्यीकृत फ़र्मेट संख्या (विषम a के लिए) है <math>\frac{a^{2^n} \!+ 1}{2}</math>, और यह भी उम्मीद की जानी चाहिए कि प्रत्येक विषम आधार के लिए केवल सीमित रूप से कई आधे सामान्यीकृत फ़र्मेट अभाज्य होंगे।
+सामान्यीकृत फ़र्मेट संख्याएँ केवल सम {{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> और यह भी उम्मीद की जानी चाहिए कि प्रत्येक विषम आधार के लिए केवल सीमित संख्या में आधे सामान्यीकृत फ़र्मेट अभाज्य होंगे।
-(सूची में, सामान्यीकृत फ़र्मेट संख्याएँ (<math>F_n(a)</math>) एक सम तक {{mvar|a}} हैं <math>a^{2^n} \!+ 1</math>, विषम के लिए {{mvar|a}}, वे हैं <math>\frac{a^{2^n} \!\!+ 1}{2}</math>. अगर {{mvar|a}} एक विषम घातांक वाली एक पूर्ण शक्ति है {{OEIS|id=A070265}}, तो सभी सामान्यीकृत फ़र्मेट संख्या को बीजगणितीय गुणनखंडित किया जा सकता है, इसलिए वे अभाज्य नहीं हो सकते)
+(सूची में, सम {{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> प्रधान है, देखिये {{oeis|id=A253242}})
+(सबसे छोटी संख्या के लिए <math>n</math> ऐसा है कि <math>F_n(a)</math> अभाज्य है, देखिये {{oeis|id=A253242}})
 {|class="wikitable"
 !<math>a</math>
-!numbers <math>n</math><br/>such that<br/><math>F_n(a)</math> is prime
+!नंबर <math>n</math><br/>ऐसा है कि<br/><math>F_n(a)</math> अभाज्य है
 !<math>a</math>
-!numbers <math>n</math><br/>such that<br/><math>F_n(a)</math> is prime
+!नंबर <math>n</math><br/>ऐसा है कि<br/><math>F_n(a)</math> अभाज्य है
 !<math>a</math>
-!numbers <math>n</math><br/>such that<br/><math>F_n(a)</math> is prime
+!नंबर <math>n</math><br/>ऐसा है कि<br/><math>F_n(a)</math> अभाज्य है
 !<math>a</math>
-!numbers <math>n</math><br/>such that<br/><math>F_n(a)</math> is prime
+!नंबर <math>n</math><br/>ऐसा है कि<br/><math>F_n(a)</math> अभाज्य है
 |-
 |2
@@ Line 490: / Line 500: @@
 {|class="wikitable"
 |''b''
-|known generalized (half) Fermat prime base ''b''
+|ज्ञात सामान्यीकृत (आधा) फ़र्मेट प्राइम बेस बी
 |-
 |2
@@ Line 511: / Line 521: @@
 |-
 |8
-|(not possible)
+|(संभव नहीं)
 |-
 |9
@@ Line 568: / Line 578: @@
 |-
 |27
-|(not possible)
+|(संभव नहीं)
 |-
 |28
@@ Line 583: / Line 593: @@
 |-
 |32
-|(not possible)
+|(संभव नहीं)
 |-
 |33
@@ Line 625: / Line 635: @@
 |-
 |46
-|47, 4477457, 46<sup>512</sup>+1 (852 digits: 214787904487...289480994817)
+|47, 4477457, 46<sup>512</sup>+1 (852 डिजिट्स : 214787904487...289480994817)
 |-
 |47
@@ Line 646: / Line 656: @@
 !<math>a</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/>is prime
+!नंबर <math>n</math> ऐसा है कि<br/><math>\frac{a^{2^n}+b^{2^n}}{\gcd(a+b,2)} (=F_n(a,b))</math><br/>अभाज्य है
 |-
 |2
@@ Line 964: / Line 974: @@
 |0, ...
 |}
-(सबसे छोटे सम आधार के लिए {{mvar|a}} ऐसा है कि <math>F_n(a)</math> प्रधान है, देखिये {{oeis|id=A056993}})
+(सबसे छोटे सम आधार के लिए {{mvar|a}} ऐसा है कि <math>F_n(a)</math> अभाज्य है, देखिये {{oeis|id=A056993}})
 {|class="wikitable"
 !<math>n</math>
-!bases {{mvar|a}} such that <math>F_n(a)</math> is prime (only consider even {{mvar|a}})
+!आधार {{mvar|a}} ऐसा है कि <math>F_n(a)</math> अभाज्य है (केवल {{mvar|a}} पर भी विचार करें)
-![[OEIS]] sequence
+!ओईआईएस अनुक्रम
 |-
 |0
@@ Line 1,068: / Line 1,078: @@
 {| class="wikitable" style="text-align:right"
 |-
-! Rank
+! श्रेणी
-! Prime number
+! प्रमुख संख्या
-! Generalized Fermat notation
+! सामान्यीकृत फ़र्मेट संकेतन
-! Number of digits
+! अंकों की संख्या
-! Discovery date
+! खोज तिथि
-! ref.
+! सन्दर्भ
 |-
 | 1
@@ Line 1,110: / Line 1,120: @@
 |<ref>[https://primes.utm.edu/primes/page.php?id=136165 81*2<sup>20498148</sup>&nbsp;+&nbsp;1]</ref>
 |}
-[[प्राइम पेज]]ों पर कोई भी [http://primes.utm.edu/primes/search.php?Comment=generalized+Fermat&OnList=yes&Number=100&Style=HTML वर्तमान शीर्ष 100 सामान्यीकृत फ़र्मेट प्राइम] पा सकता है।
+[[प्राइम पेज]] पर कोई भी [http://primes.utm.edu/primes/search.php?Comment=generalized+Fermat&OnList=yes&Number=100&Style=HTML वर्तमान शीर्ष 100 सामान्यीकृत फ़र्मेट प्राइम] पा सकता है।
 ==यह भी देखें==
@@ Line 1,156: / Line 1,166: @@
 {{Authority control}}
 {{Pierre de Fermat}}
-[[Category: निर्माणयोग्य बहुभुज]] [[Category: प्रमाण युक्त लेख]] [[Category: संख्या सिद्धांत विषयक अनसुलझी समस्याएं]] [[Category: बड़े पूर्णांक]] [[Category: अभाज्य संख्याओं के वर्ग]] [[Category: पूर्णांक क्रम]]
-[[Category: Machine Translated Page]]
+[[Category:All articles containing potentially dated statements]]
+[[Category:Articles containing potentially dated statements from 2023]]
+[[Category:Articles containing potentially dated statements from April 2023]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
+[[Category:Collapse templates]]
 [[Category:Created On 30/06/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Mathematics navigational boxes]]
+[[Category:Navbox orphans]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists]]
+[[Category:Pages with script errors]]
+[[Category:Sidebars with styles needing conversion]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Translated in Hindi]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates generating microformats]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that are not mobile friendly]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:Wikipedia metatemplates]]
+[[Category:अभाज्य संख्याओं के वर्ग]]
+[[Category:निर्माणयोग्य बहुभुज]]
+[[Category:पूर्णांक क्रम]]
+[[Category:प्रमाण युक्त लेख]]
+[[Category:बड़े पूर्णांक]]
+[[Category:संख्या सिद्धांत विषयक अनसुलझी समस्याएं]]

Anonymous

Search

फ़र्मेट संख्या: Difference between revisions

Latest revision as of 17:25, 13 July 2023

मूलभूत गुण

अतिरिक्त गुण

प्राचीनता

विवेकपूर्ण तर्क

समतुल्य स्थितियाँ

गुणनखंडीकरण

स्यूडोप्राइम्स और फ़र्मेट संख्याएँ

फ़र्मेट संख्याओं के बारे में अन्य प्रमेय

रचनात्मक बहुभुजों से संबंध

फ़र्मेट संख्याओं का अनुप्रयोग

छद्म यादृच्छिक संख्या पीढ़ी

सामान्यीकृत फ़र्मेट संख्या

सामान्यीकृत फ़र्मेट अभाज्य

सबसे बड़ा ज्ञात सामान्यीकृत फ़र्मेट अभाज्य

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories