यूलर का कुल कार्य: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(10 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Number of integers coprime to and not exceeding n}}
{{Short description|Number of integers coprime to and not exceeding n}}
{{Redirect|φ(n)||Phi}}
{{Redirect|φ(n)||फ़ाई}}
{{distinguish|Euler function}}
{{distinguish|यूलर फलन}}


[[Image:EulerPhi.svg|thumb|के पहले हजार मान {{math|''φ''(''n'')}}. शीर्ष रेखा पर बिंदु दर्शाते हैं {{Math|''φ''(''p'')}} कब {{mvar|p}} एक अभाज्य संख्या है, जो है {{Math|''p'' − 1.}}<ref>{{Cite web
[[Image:EulerPhi.svg|thumb|के पहले हजार मान {{math|''φ''(''n'')}}. शीर्ष रेखा पर बिंदु दर्शाते हैं {{Math|''φ''(''p'')}} कब {{mvar|p}} अभाज्य संख्या है, जो है {{Math|''p'' − 1.}}<ref>{{Cite web
| url = https://www.khanacademy.org/computing/computer-science/cryptography/modern-crypt/v/euler-s-totient-function-phi-function
| url = https://www.khanacademy.org/computing/computer-science/cryptography/modern-crypt/v/euler-s-totient-function-phi-function
| title = Euler's totient function
| title = Euler's totient function
| website = Khan Academy
| website = Khan Academy
| access-date = 2016-02-26
| access-date = 2016-02-26
}}</ref>]][[संख्या सिद्धांत]] में, यूलर का कुल फलन किसी दिए गए पूर्णांक तक धनात्मक पूर्णांकों की गणना करता है {{mvar|n}} जो अपेक्षाकृत प्रमुख हैं {{mvar|n}}. इसे ग्रीक अक्षर [[phi]] as का प्रयोग करके लिखा गया है <math>\varphi(n)</math> या <math>\phi(n)</math>, और इसे यूलर का फ़ाई फ़ंक्शन भी कहा जा सकता है। दूसरे शब्दों में, यह पूर्णांकों की संख्या है {{mvar|k}} सीमा में {{math|1 ≤ ''k'' ≤ ''n''}} जिसके लिए सबसे बड़ा सामान्य भाजक है {{math|gcd(''n'', ''k'')}} 1 के बराबर है।<ref>{{harvtxt|Long|1972|p=85}}</ref><ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=72}}</ref> पूर्णांक {{mvar|k}इस रूप के } को कभी-कभी के [[योग]] के रूप में संदर्भित किया जाता है {{mvar|n}}.
}}</ref>]][[संख्या सिद्धांत]] में, यूलर का कुल फलन किसी दिए गए पूर्णांक तक धनात्मक पूर्णांकों {{mvar|n}} की गणना करता है | जो {{mvar|n}} अपेक्षाकृत प्रमुख हैं | इसे ग्रीक अक्षर [[phi]] का प्रयोग <math>\varphi(n)</math> या <math>\phi(n)</math>के रूप में लिखा गया है, और इसे यूलर का φ फलन भी कहा जा सकता है। दूसरे शब्दों में, यह {{math|1 ≤ ''k'' ≤ ''n''}} पूर्णांकों {{mvar|k}} की संख्या है | जिसके लिए सबसे बड़ा सामान्य भाजक {{math|gcd(''n'', ''k'')}} 1 के समान है। <ref>{{harvtxt|Long|1972|p=85}}</ref><ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=72}}</ref> इस रूप के पूर्णांक k को कभी-कभी {{mvar|n}} के [[योग]] के रूप में संदर्भित किया जाता है |


उदाहरण के लिए, के योग {{math|1= ''n'' = 9}} छः संख्याएँ 1, 2, 4, 5, 7 और 8 हैं। वे सभी 9 से अपेक्षाकृत प्रमुख हैं, लेकिन इस श्रेणी में अन्य तीन संख्याएँ, 3, 6, और 9 नहीं हैं, क्योंकि {{math|1= gcd(9, 3) = gcd(9, 6) = 3}} और {{math|1= gcd(9, 9) = 9}}. इसलिए, {{math|1= ''φ''(9) = 6}}. एक अन्य उदाहरण के रूप में, {{math|1= ''φ''(1) = 1}} तब से {{math|1= ''n'' = 1}} 1 से रेंज में एकमात्र पूर्णांक {{mvar|n}} स्वयं 1 है, और {{math|1= gcd(1, 1) = 1}}.
उदाहरण के लिए {{math|1= ''n'' = 9}} के योग छह संख्याएँ 1, 2, 4, 5, 7 और 8 हैं। वे सभी 9 से अपेक्षाकृत अभाज्य हैं | किन्तु इस श्रेणी में अन्य तीन संख्याएँ, 3, 6 और 9 नहीं हैं | क्योंकि {{math|1= gcd(9, 3) = gcd(9, 6) = 3}} इसलिए {{math|1= ''φ''(9) = 6}}. एक अन्य उदाहरण के रूप में {{math|1= ''φ''(1) = 1}} क्योंकि {{math|1= ''n'' = 1}} के लिए केवल पूर्णांक है 1 से {{mvar|n}} तक की सीमा 1 ही है, और {{math|1= gcd(1, 1) = 1}} है।
 
यूलर का कुल फलन एक गुणक फलन है, जिसका अर्थ है कि यदि दो संख्याएँ हैं {{mvar|m}} और {{mvar|n}} तब अपेक्षाकृत प्रमुख हैं {{math|1= ''φ''(''mn'') = ''φ''(''m'')''φ''(''n'')}}.<ref>{{harvtxt|Long|1972|p=162}}</ref><ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=80}}</ref>
यह फलन पूर्णांकों के गुणक समूह का क्रम (समूह सिद्धांत) देता है। {{mvar|n}} ([[अंगूठी (बीजगणित)]] की इकाई (रिंग थ्योरी) के पूर्णांक मॉड्यूलो एन का गुणक समूह <math>\Z/n\Z</math>).<ref>See [[#Euler's theorem|Euler's theorem]].</ref> इसका उपयोग RSA (क्रिप्टोसिस्टम) को परिभाषित करने के लिए भी किया जाता है।
 
'''[[अर्नोल्ड वाल्फिज़]] के कारण, इसका प्रमाण इवान मटेवेविच विनोग्रादोव के कारण घातीय रकम पर अनुमानों का शोषण करता है|I. एम. विनोग्रादोव और एन. एम. कोरोबोव।
वैन डेर कॉर्पुट और विनोग्रादोव के तरीकों के संयोजन से, H.-Q. लियू (ऑन यूलर फंक्शन। प्रोक। रॉय। सोक। एडिनबर्ग सेक्ट। ए 146 (2016), नंबर 4, 769-775)
त्रुटि शब्द में सुधार किया'''


यूलर का कुल फलन एक गुणक फलन है | जिसका अर्थ है कि यदि दो संख्याएँ {{mvar|m}} और {{mvar|n}} अपेक्षाकृत अभाज्य हैं, तो {{math|1= ''φ''(''mn'') = ''φ''(''m'')''φ''(''n'')}}.<ref>{{harvtxt|Long|1972|p=162}}</ref><ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=80}}</ref> यह फलन पूर्णांक मॉड्यूलो {{mvar|n}} (रिंग <math>\Z/n\Z</math>) की इकाइयों के समूह का क्रम देता है। <ref>See [[#Euler's theorem|Euler's theorem]].</ref> इसका उपयोग आरएसए एन्क्रिप्शन प्रणाली को परिभाषित करने के लिए भी किया जाता है।
== इतिहास, शब्दावली और अंकन ==
== इतिहास, शब्दावली और अंकन ==


[[लियोनहार्ड यूलर]] ने 1763 में समारोह की शुरुआत की।<ref>L. Euler "[http://eulerarchive.maa.org/pages/E271.html Theoremata arithmetica nova methodo demonstrata]" (An arithmetic theorem proved by a new method), ''Novi commentarii academiae scientiarum imperialis Petropolitanae'' (New Memoirs of the Saint-Petersburg Imperial Academy of Sciences), '''8''' (1763), 74–104. (The work was presented at the Saint-Petersburg Academy on October 15, 1759. A work with the same title was presented at the Berlin Academy on June 8, 1758). Available on-line in: [[Ferdinand Rudio]], {{abbr|ed.|editor}}, ''Leonhardi Euleri Commentationes Arithmeticae'', volume 1, in: ''Leonhardi Euleri Opera Omnia'', series 1, volume 2 (Leipzig, Germany, B. G. Teubner, 1915), [http://gallica.bnf.fr/ark:/12148/bpt6k6952c/f571.image pages 531–555]. On page 531, Euler defines {{mvar|n}} as the number of integers that are smaller than {{mvar|N}} and relatively prime to {{mvar|N}} (... aequalis sit multitudini numerorum ipso N minorum, qui simul ad eum sint primi, ...), which is the phi function, φ(N).</ref><ref name="Sandifer, p. 203">Sandifer, p. 203</ref><ref>Graham et al. p. 133 note 111</ref> हालाँकि, उन्होंने उस समय इसे निरूपित करने के लिए किसी विशिष्ट प्रतीक का चयन नहीं किया। 1784 के एक प्रकाशन में, यूलर ने ग्रीक अक्षर को चुनते हुए, कार्य का और अध्ययन किया {{mvar|π}} इसे निरूपित करने के लिए: उन्होंने लिखा {{math|''πD''}} से कम संख्याओं की भीड़ के लिए {{mvar|D}}, और जिसके साथ कोई उभयनिष्ठ भाजक नहीं है।<ref>L. Euler, ''[http://math.dartmouth.edu/~euler/docs/originals/E564.pdf Speculationes circa quasdam insignes proprietates numerorum]'', Acta Academiae Scientarum Imperialis Petropolitinae, vol. 4, (1784), pp. 18–30, or Opera Omnia, Series 1, volume 4, pp. 105–115. (The work was presented at the Saint-Petersburg Academy on October 9, 1775).</ref> यह परिभाषा वर्तमान परिभाषा से totient फ़ंक्शन के लिए भिन्न होती है {{math|1=''D'' = 1}} लेकिन अन्यथा वही है। अब-मानक संकेतन<ref name="Sandifer, p. 203"/><ref>Both {{math|''φ''(''n'')}} and {{math|''ϕ''(''n'')}} are seen in the literature. These are two forms of the lower-case Greek letter [[phi]].</ref> {{math|''φ''(''A'')}} [[गॉस]] के 1801 ग्रंथ अरिथमेटिक डिक्विजिशन से आता है,<ref>Gauss, ''Disquisitiones Arithmeticae'' article&nbsp;38</ref><ref>{{cite book |last=Cajori |first=Florian |author-link=Florian Cajori |title=ए हिस्ट्री ऑफ़ मैथेमेटिकल नोटेशन वॉल्यूम II|year=1929 |publisher=Open Court Publishing Company|at=§409}}</ref> हालांकि गॉस ने तर्क के चारों ओर कोष्ठक का उपयोग नहीं किया और लिखा {{math|''φA''}}. इस प्रकार, इसे अक्सर यूलर का फ़ाई फ़ंक्शन या केवल फ़ाई फ़ंक्शन कहा जाता है।
[[लियोनहार्ड यूलर]] ने 1763 में कार्य का प्रारंभ किया था। <ref>L. Euler "[http://eulerarchive.maa.org/pages/E271.html Theoremata arithmetica nova methodo demonstrata]" (An arithmetic theorem proved by a new method), ''Novi commentarii academiae scientiarum imperialis Petropolitanae'' (New Memoirs of the Saint-Petersburg Imperial Academy of Sciences), '''8''' (1763), 74–104. (The work was presented at the Saint-Petersburg Academy on October 15, 1759. A work with the same title was presented at the Berlin Academy on June 8, 1758). Available on-line in: [[Ferdinand Rudio]], {{abbr|ed.|editor}}, ''Leonhardi Euleri Commentationes Arithmeticae'', volume 1, in: ''Leonhardi Euleri Opera Omnia'', series 1, volume 2 (Leipzig, Germany, B. G. Teubner, 1915), [http://gallica.bnf.fr/ark:/12148/bpt6k6952c/f571.image pages 531–555]. On page 531, Euler defines {{mvar|n}} as the number of integers that are smaller than {{mvar|N}} and relatively prime to {{mvar|N}} (... aequalis sit multitudini numerorum ipso N minorum, qui simul ad eum sint primi, ...), which is the phi function, φ(N).</ref><ref name="Sandifer, p. 203">Sandifer, p. 203</ref><ref>Graham et al. p. 133 note 111</ref> चूँकि, उन्होंने उस समय इसे निरूपित करने के लिए किसी विशिष्ट प्रतीक का चयन नहीं किया था। यूलर ने 1784 के प्रकाशन में, ग्रीक अक्षर को चुनते हुए, कार्य का और अध्ययन किया था और {{mvar|π}} इसे निरूपित करने के लिए: उन्होंने लिखा {{math|''πD''}} से कम संख्याओं की भीड़ के लिए {{mvar|D}}, और जिसके साथ कोई उभयनिष्ठ भाजक नहीं है। <ref>L. Euler, ''[http://math.dartmouth.edu/~euler/docs/originals/E564.pdf Speculationes circa quasdam insignes proprietates numerorum]'', Acta Academiae Scientarum Imperialis Petropolitinae, vol. 4, (1784), pp. 18–30, or Opera Omnia, Series 1, volume 4, pp. 105–115. (The work was presented at the Saint-Petersburg Academy on October 9, 1775).</ref> यह परिभाषा वर्तमान परिभाषा से टोटिएंट फलन {{math|1=''D'' = 1}} के लिए भिन्न होती है | किन्तु अन्यथा वही है। अब-मानक संकेतन <ref name="Sandifer, p. 203"/><ref>Both {{math|''φ''(''n'')}} and {{math|''ϕ''(''n'')}} are seen in the literature. These are two forms of the lower-case Greek letter [[phi]].</ref> {{math|''φ''(''A'')}} [[गॉस]] के 1801 ग्रंथ अरिथमेटिक डिक्विजिशन से आता है | <ref>Gauss, ''Disquisitiones Arithmeticae'' article&nbsp;38</ref><ref>{{cite book |last=Cajori |first=Florian |author-link=Florian Cajori |title=ए हिस्ट्री ऑफ़ मैथेमेटिकल नोटेशन वॉल्यूम II|year=1929 |publisher=Open Court Publishing Company|at=§409}}</ref> चूँकि गॉस ने तर्क के चारों ओर कोष्ठक का उपयोग नहीं किया और {{math|''φA''}} लिखा था | इस प्रकार, इसे अधिकांशतः यूलर का φ फलन या केवल φ फलन कहा जाता है।


1879 में, जेम्स जोसेफ सिल्वेस्टर|जे. जे. सिल्वेस्टर ने इस कार्य के लिए टोटिएंट शब्द गढ़ा,<ref>J. J. Sylvester (1879) "On certain ternary cubic-form equations", ''American Journal of Mathematics'', '''2''' : 357-393; Sylvester coins the term "totient" on [https://books.google.com/books?id=-AcPAAAAIAAJ&pg=PA361 page 361].</ref><ref>{{cite OED2|totient}}</ref> इसलिए इसे यूलर के टोटिएंट फंक्शन, यूलर टोटिएंट या यूलर के टोटिएंट के रूप में भी जाना जाता है। जॉर्डन का टोटिएंट फंक्शन|जॉर्डन का टोटिएंट यूलर का एक सामान्यीकरण है।
जेम्स जोसेफ सिल्वेस्टर ने 1879 में, इस कार्य के लिए टोटिएंट शब्द निर्मित किया था |,<ref>J. J. Sylvester (1879) "On certain ternary cubic-form equations", ''American Journal of Mathematics'', '''2''' : 357-393; Sylvester coins the term "totient" on [https://books.google.com/books?id=-AcPAAAAIAAJ&pg=PA361 page 361].</ref><ref>{{cite OED2|totient}}</ref> इसलिए इसे यूलर के टोटिएंट फलन, यूलर टोटिएंट या यूलर के टोटिएंट के रूप में भी जाना जाता है। जॉर्डन का टोटिएंट फलन यूलर का सामान्यीकरण है।


का कोटिटेंट {{mvar|n}} परिभाषित किया जाता है {{math|''n'' − ''φ''(''n'')}}. यह इससे कम या इसके बराबर धनात्मक पूर्णांकों की संख्या की गणना करता है {{mvar|n}} जिसमें कम से कम एक [[अभाज्य संख्या]] उभयनिष्ठ हो {{mvar|n}}.
कोटिटेंट {{mvar|n}} कों {{math|''n'' − ''φ''(''n'')}} से परिभाषित किया जाता है | यह इससे कम या इसके समान धनात्मक पूर्णांकों की संख्या {{mvar|n}} की गणना करता है | जिसमें कम से कम [[अभाज्य संख्या]] {{mvar|n}} उभयनिष्ठ हो |


== यूलर के टोटिएंट फंक्शन की गणना ==
== यूलर के टोटिएंट फलन की गणना ==


गणना के लिए कई सूत्र हैं {{math|''φ''(''n'')}}.
{{math|''φ''(''n'')}} की गणना के लिए कई सूत्र हैं |


===यूलर का उत्पाद सूत्र===
===यूलर का उत्पाद सूत्र===


वो कहता है
य़ह कहता है
:<math>\varphi(n) =n \prod_{p\mid n} \left(1-\frac{1}{p}\right),</math>
:<math>\varphi(n) =n \prod_{p\mid n} \left(1-\frac{1}{p}\right),</math>
जहां गुणनफल विभाजित होने वाली अलग-अलग अभाज्य संख्याओं के ऊपर है {{mvar|n}}. (संकेतन के लिए, अंकगणितीय फलन # संकेतन देखें।)
जहां गुणनफल विभाजित होने वाली अलग-अलग अभाज्य संख्याओं {{mvar|n}} के ऊपर है | (संकेतन के लिए, अंकगणितीय फलन संकेतन देखें।) |


समतुल्य सूत्रीकरण है
समतुल्य सूत्रीकरण है |
<math display="block">\varphi(n) = p_1^{k_1-1}(p_1{-}1)\,p_2^{k_2-1}(p_2{-}1)\cdots p_r^{k_r-1}(p_r{-}1),</math> कहाँ के लिए <math>n = p_1^{k_1} p_2^{k_2} \cdots p_r^{k_r}</math> का प्रमुख गुणनखंड है <math>n</math> (वह है, <math>p_1, p_2,\ldots,p_r</math> विशिष्ट अभाज्य संख्याएँ हैं।
<math display="block">\varphi(n) = p_1^{k_1-1}(p_1{-}1)\,p_2^{k_2-1}(p_2{-}1)\cdots p_r^{k_r-1}(p_r{-}1),</math> जहाँ <math>n = p_1^{k_1} p_2^{k_2} \cdots p_r^{k_r}</math> के लिए <math>n</math> (अर्थात, <math>p_1, p_2,\ldots,p_r</math> विशिष्ट अभाज्य संख्याएँ हैं।) का प्रमुख गुणनखंड है


इन सूत्रों का प्रमाण दो महत्वपूर्ण तथ्यों पर निर्भर करता है।
इन सूत्रों का प्रमाण दो महत्वपूर्ण तथ्यों पर निर्भर करता है।


==== Phi एक गुणक फलन है ====
==== φ एक गुणक फलन है ====


इसका मतलब है कि अगर {{math|1=gcd(''m'', ''n'') = 1}}, तब {{math|1=''φ''(''m'') ''φ''(''n'') = ''φ''(''mn'')}}. सबूत की रूपरेखा: चलो {{mvar|A}}, {{mvar|B}}, {{mvar|C}} धनात्मक पूर्णांकों का समुच्चय हो जो इससे कम और सहअभाज्य हों {{mvar|m}}, {{mvar|n}}, {{mvar|mn}}, क्रमशः, ताकि {{math|1={{!}}''A''{{!}} = ''φ''(''m'')}}, आदि। फिर बीच में आक्षेप होता है {{math|''A'' × ''B''}} और {{mvar|C}} [[चीनी शेष प्रमेय]] द्वारा।
इसका अर्थ है कि यदि {{math|1=gcd(''m'', ''n'') = 1}}, तो {{math|1=''φ''(''m'') ''φ''(''n'') = ''φ''(''mn'')}}। उपपत्ति की रूपरेखा है | मान लीजिए {{mvar|A}}, {{mvar|B}}, {{mvar|C}} धनात्मक पूर्णांकों के समुच्चय हैं | जो क्रमशः {{mvar|m}}, {{mvar|n}}, {{mvar|mn}} के सहअभाज्य और उससे कम हैं,| जिससे {{math|1={{!}}''A''{{!}} = ''φ''(''m'')}}, आदि फिर [[चीनी शेष प्रमेय]] द्वारा {{math|''A'' × ''B''}} और {{mvar|C}} के बीच एक आपत्ति है।


==== एक प्रमुख शक्ति तर्क के लिए phi का मान ====
==== प्रमुख शक्ति तर्क के लिए φ का मान ====


अगर {{mvar|p}} प्रधान है और {{math|''k'' ≥ 1}}, तब
यदि {{mvar|p}} अभाज्य है और {{math|''k'' ≥ 1}} है, तो


:<math>\varphi \left(p^k\right) = p^k-p^{k-1} = p^{k-1}(p-1) = p^k \left( 1 - \tfrac{1}{p} \right).</math>
:<math>\varphi \left(p^k\right) = p^k-p^{k-1} = p^{k-1}(p-1) = p^k \left( 1 - \tfrac{1}{p} \right).</math>
सबूत: चूंकि {{mvar|p}} एक अभाज्य संख्या है, जिसका एकमात्र संभव मान है {{math|gcd(''p''<sup>''k''</sup>, ''m'')}} हैं {{math|1, ''p'', ''p''<sup>2</sup>, ..., ''p''<sup>''k''</sup>}}, और पाने का एकमात्र तरीका है {{math|gcd(''p''<sup>''k''</sup>, ''m'') > 1}} अगर है {{mvar|m}} का गुणज है {{mvar|p}}, वह है, {{math|1=''m'' ∈ {{mset|1=''p'', 2''p'', 3''p'', ..., ''p''<sup>''k'' − 1</sup>''p'' = ''p''<sup>''k''</sup>}}}}, और वहाँ है {{math|''p''<sup>''k'' − 1</sup>}} ऐसे गुणज से अधिक नहीं {{math|''p''<sup>''k''</sup>}}. इसलिए दूसरे {{math|''p''<sup>''k''</sup> − ''p''<sup>''k'' − 1</sup>}} संख्याएँ सभी अपेक्षाकृत प्रमुख हैं {{math|''p''<sup>''k''</sup>}}.
उपपत्ति: चूँकि {{mvar|p}} एक अभाज्य संख्या है | {{math|gcd(''p''<sup>''k''</sup>, ''m'')}} के केवल संभावित मान {{math|1, ''p'', ''p''<sup>2</sup>, ..., ''p''<sup>''k''</sup>}} हैं, और {{math|gcd(''p''<sup>''k''</sup>, ''m'') > 1}} होने की एकमात्र विधि है | यदि {{mvar|m}} {{mvar|p}} का गुणज है जो {{math|1=''m'' ∈ {{mset|1=''p'', 2''p'', 3''p'', ..., ''p''<sup>''k'' − 1</sup>''p'' = ''p''<sup>''k''</sup>}}}} है और {{math|''p''<sup>''k'' − 1</sup>}} ऐसे गुणज हैं | जो {{math|''p''<sup>''k''</sup>}} से अधिक नहीं हैं। इसलिए अन्य {{math|''p''<sup>''k''</sup> − ''p''<sup>''k'' − 1</sup>}} संख्याएँ सभी {{math|''p''<sup>''k''</sup>}} से अपेक्षाकृत प्रमुख हैं।


==== यूलर के उत्पाद सूत्र का प्रमाण ====
==== यूलर के उत्पाद सूत्र का प्रमाण ====


[[अंकगणित का मौलिक प्रमेय]] कहता है कि यदि {{math|''n'' > 1}} एक अनूठी अभिव्यक्ति है <math>n = p_1^{k_1} p_2^{k_2} \cdots p_r^{k_r}, </math> कहाँ {{math|''p''<sub>1</sub> < ''p''<sub>2</sub> < ... < ''p''<sub>''r''</sub>}} अभाज्य संख्याएँ हैं और प्रत्येक {{math|''k''<sub>''i''</sub> ≥ 1}}. (मामला {{math|1=''n'' = 1}} खाली गुणनफल से मेल खाता है।) के गुणात्मक गुण का बार-बार उपयोग करना {{mvar|φ}} और के लिए सूत्र {{math|''φ''(''p''<sup>''k''</sup>)}} देता है
[[अंकगणित का मौलिक प्रमेय]] कहता है कि यदि {{math|''n'' > 1}} अनूठी अभिव्यक्ति है | <math>n = p_1^{k_1} p_2^{k_2} \cdots p_r^{k_r}, </math> जहाँ {{math|''p''<sub>1</sub> < ''p''<sub>2</sub> < ... < ''p''<sub>''r''</sub>}} अभाज्य संख्याएँ हैं और प्रत्येक {{math|''k''<sub>''i''</sub> ≥ 1}}. (स्थिति {{math|1=''n'' = 1}} खाली गुणनफल से मेल खाता है।) के गुणात्मक गुण का बार-बार उपयोग करना {{mvar|φ}} और के लिए सूत्र {{math|''φ''(''p''<sup>''k''</sup>)}} देता है |


:<math>\begin{array} {rcl}
:<math>\begin{array} {rcl}
Line 67: Line 61:
यह यूलर के उत्पाद सूत्र के दोनों संस्करण देता है।
यह यूलर के उत्पाद सूत्र के दोनों संस्करण देता है।


एक वैकल्पिक प्रमाण जिसके लिए गुणात्मक संपत्ति की आवश्यकता नहीं होती है, बल्कि सेट पर लागू समावेशन-बहिष्करण सिद्धांत का उपयोग करता है <math>\{1,2,\ldots,n\}</math>, प्रधान विभाजकों द्वारा विभाज्य पूर्णांकों के सेट को छोड़कर।
वैकल्पिक प्रमाण जिसके लिए गुणात्मक गुण की आवश्यकता नहीं होती है | किन्तु समुच्चय पर प्रयुक्त समावेशन-बहिष्करण सिद्धांत का उपयोग करता है | प्रधान विभाजकों <math>\{1,2,\ldots,n\}</math> द्वारा विभाज्य पूर्णांकों के समुच्चय को छोड़कर बहिष्करण सिद्धांत का उपयोग करता है।


==== उदाहरण ====
==== उदाहरण ====
Line 73: Line 67:
:<math>\varphi(20)=\varphi(2^2 5)=20\,(1-\tfrac12)\,(1-\tfrac15)
:<math>\varphi(20)=\varphi(2^2 5)=20\,(1-\tfrac12)\,(1-\tfrac15)
=20\cdot\tfrac12\cdot\tfrac45=8.</math>
=20\cdot\tfrac12\cdot\tfrac45=8.</math>
शब्दों में: 20 के विशिष्ट अभाज्य गुणनखंड 2 और 5 हैं; 1 से 20 तक के बीस पूर्णांकों में से आधे 2 से विभाज्य हैं, दस को छोड़कर; उनमें से पाँचवाँ भाग 5 से विभाज्य है, जिससे आठ संख्याएँ 20 तक सहअभाज्य हो जाती हैं; ये हैं: 1, 3, 7, 9, 11, 13, 17, 19।
शब्दों में: 20 के विशिष्ट अभाज्य गुणनखंड 2 और 5 हैं; 1 से 20 तक के बीस पूर्णांकों में से आधे 2 से विभाज्य हैं, दस को छोड़कर; उनमें से पाँचवाँ भाग 5 से विभाज्य है, जिससे आठ संख्याएँ 20 तक सहअभाज्य हो जाती हैं; ये हैं: 1, 3, 7, 9, 11, 13, 17, 19 है।


वैकल्पिक सूत्र केवल पूर्णांकों का उपयोग करता है:<math display="block">\varphi(20) = \varphi(2^2 5^1)= 2^{2-1}(2{-}1)\,5^{1-1}(5{-}1) = 2\cdot 1\cdot 1\cdot 4 = 8.</math>
वैकल्पिक सूत्र केवल पूर्णांकों का उपयोग करता है:<math display="block">\varphi(20) = \varphi(2^2 5^1)= 2^{2-1}(2{-}1)\,5^{1-1}(5{-}1) = 2\cdot 1\cdot 1\cdot 4 = 8.</math>
=== फूरियर रूपांतरण ===


टोटिएंट महानतम सामान्य भाजक का [[असतत फूरियर रूपांतरण]] है | जिसका मूल्यांकन 1 पर किया जाता है।<ref>{{harvtxt|Schramm|2008}}</ref>


=== फूरियर रूपांतरण ===
माना
 
टोटिएंट महानतम सामान्य भाजक का [[असतत फूरियर रूपांतरण]] है, जिसका मूल्यांकन 1 पर किया जाता है।<ref>{{harvtxt|Schramm|2008}}</ref> होने देना


:<math> \mathcal{F} \{ \mathbf{x} \}[m] = \sum\limits_{k=1}^n x_k \cdot e^{{-2\pi i}\frac{mk}{n}}</math>
:<math> \mathcal{F} \{ \mathbf{x} \}[m] = \sum\limits_{k=1}^n x_k \cdot e^{{-2\pi i}\frac{mk}{n}}</math>
कहाँ {{math|''x<sub>k</sub>'' {{=}} gcd(''k'',''n'')}} के लिए {{math|''k'' ∈ {1, ..., ''n''}<nowiki/>}}. तब
जहाँ {{math|''x<sub>k</sub>'' {{=}} gcd(''k'',''n'')}} के लिए {{math|''k'' ∈ {1, ..., ''n''}<nowiki/>}}. तब


:<math>\varphi (n) = \mathcal{F} \{ \mathbf{x} \}[1] = \sum\limits_{k=1}^n \gcd(k,n) e^{-2\pi i\frac{k}{n}}.</math>
:<math>\varphi (n) = \mathcal{F} \{ \mathbf{x} \}[1] = \sum\limits_{k=1}^n \gcd(k,n) e^{-2\pi i\frac{k}{n}}.</math>
इस सूत्र का वास्तविक भाग है
इस सूत्र का वास्तविक भाग है |


:<math>\varphi (n)=\sum\limits_{k=1}^n \gcd(k,n) \cos {\tfrac{2\pi k}{n}}
:<math>\varphi (n)=\sum\limits_{k=1}^n \gcd(k,n) \cos {\tfrac{2\pi k}{n}}
Line 101: Line 95:
&=& 4 .
&=& 4 .
\end{array}
\end{array}
</math>यूलर उत्पाद और विभाजक योग सूत्र के विपरीत, इसके कारकों को जानने की आवश्यकता नहीं है {{mvar|n}}. हालाँकि, इसमें सबसे बड़े सामान्य विभाजक की गणना शामिल है {{mvar|n}} और प्रत्येक धनात्मक पूर्णांक से कम {{mvar|n}}, जो वैसे भी गुणनखंड प्रदान करने के लिए पर्याप्त है।
</math>यूलर उत्पाद और विभाजक योग सूत्र के विपरीत, इसके कारकों {{mvar|n}} को जानने की आवश्यकता नहीं है | चूँकि, इसमें सबसे बड़े सामान्य विभाजक की गणना {{mvar|n}} सम्मिलित है और प्रत्येक धनात्मक पूर्णांक से कम {{mvar|n}}, जो वैसे भी गुणनखंड प्रदान करने के लिए पर्याप्त है।


=== भाजक योग ===
=== भाजक योग ===


गॉस द्वारा स्थापित संपत्ति,<ref>Gauss, DA, art 39</ref> वह
गॉस द्वारा स्थापित गुण ,<ref>Gauss, DA, art 39</ref> वह


:<math>\sum_{d\mid n}\varphi(d)=n,</math>
:<math>\sum_{d\mid n}\varphi(d)=n,</math>
जहां योग सभी सकारात्मक विभाजकों से अधिक है {{mvar|d}} का {{mvar|n}}, कई तरह से सिद्ध किया जा सकता है। (अंकगणितीय समारोह # नोटेशन सम्मेलनों के लिए अंकगणित देखें।)
जहां योग सभी सकारात्मक विभाजकों {{mvar|d}} का {{mvar|n}} से अधिक है | कई तरह से सिद्ध किया जा सकता है। (अंकगणितीय फलन नोटेशन सम्मेलनों के लिए अंकगणित देखें।)


एक प्रमाण यह ध्यान रखना है {{math|''φ''(''d'')}} [[चक्रीय समूह]] के संभावित जनरेटर की संख्या के बराबर भी है {{math|''C''<sub>''d''</sub>}} ; विशेष रूप से, यदि {{math|''C''<sub>''d''</sub> {{=}} ⟨''g''⟩}} साथ {{math|1=''g''<sup>''d''</sup> = 1}}, तब {{math|''g''<sup>''k''</sup>}} प्रत्येक के लिए एक जनरेटर है {{mvar|k}} कोप्राइम टू {{mvar|d}}. चूंकि प्रत्येक तत्व {{math|''C''<sub>''n''</sub>}} चक्रीय [[उपसमूह]] और सभी उपसमूह उत्पन्न करता है {{math|''C''<sub>''d''</sub> ⊆ ''C''<sub>''n''</sub>}} ठीक से उत्पन्न होते हैं {{math|''φ''(''d'')}} घटक {{math|''C''<sub>''n''</sub>}}, सूत्र इस प्रकार है।<ref>Gauss, DA art. 39, arts. 52-54</ref> समतुल्य रूप से, सूत्र एकता के मूल पर लागू समान तर्क द्वारा प्राप्त किया जा सकता है#एकता के nवें मूल का समूह|गुणक समूह का एकता {{mvar|n}}एकता की जड़ और एकता की आदिम जड़|आदिम {{mvar|d}एकता की वें जड़ें।
प्रमाण यह ध्यान रखना है {{math|''φ''(''d'')}} [[चक्रीय समूह]] {{math|''C''<sub>''d''</sub>}} के संभावित जनरेटर की संख्या के समान भी है | विशेष रूप से, यदि {{math|''C''<sub>''d''</sub> {{=}} ⟨''g''⟩}} साथ {{math|1=''g''<sup>''d''</sup> = 1}}, तब {{math|''g''<sup>''k''</sup>}} प्रत्येक {{mvar|k}} कोप्राइम से {{mvar|d}} के लिए जनरेटर है | चूंकि {{math|''C''<sub>''n''</sub>}} का प्रत्येक तत्व चक्रीय [[उपसमूह]] उत्पन्न करता है और सभी उपसमूह {{math|''C''<sub>''d''</sub> ⊆ ''C''<sub>''n''</sub>}} ठीक {{math|''C''<sub>''n''</sub>}} से {{math|''φ''(''d'')}} उत्पन्न होते हैं | सूत्र इस प्रकार है। <ref>Gauss, DA art. 39, arts. 52-54</ref> समतुल्य रूप से, सूत्र एकता के nवें मूल पर प्रयुक्त समान तर्क द्वारा प्राप्त किया जा सकता है |  


सूत्र को प्राथमिक अंकगणित से भी प्राप्त किया जा सकता है।<ref>Graham et al. pp. 134-135</ref> उदाहरण के लिए, चलो {{math|''n'' {{=}} 20}} और हर 20 के साथ 1 तक के सकारात्मक अंशों पर विचार करें:
सूत्र को प्राथमिक अंकगणित से भी प्राप्त किया जा सकता है। <ref>Graham et al. pp. 134-135</ref> उदाहरण के लिए, माना {{math|''n'' {{=}} 20}} और हर 20 के साथ 1 तक के सकारात्मक अंशों पर विचार करें |
:<math>
:<math>
  \tfrac{ 1}{20},\,\tfrac{ 2}{20},\,\tfrac{ 3}{20},\,\tfrac{ 4}{20},\,
  \tfrac{ 1}{20},\,\tfrac{ 2}{20},\,\tfrac{ 3}{20},\,\tfrac{ 4}{20},\,
Line 128: Line 122:
  \tfrac{17}{20},\,\tfrac{ 9}{10},\,\tfrac{19}{20},\,\tfrac{1}{1}
  \tfrac{17}{20},\,\tfrac{ 9}{10},\,\tfrac{19}{20},\,\tfrac{1}{1}
</math>
</math>
ये बीस अंश सभी धनात्मक हैं {{sfrac|''k''|''d''}} ≤ 1 जिसके हर भाजक हैं {{math|''d''  {{=}} 1, 2, 4, 5, 10, 20}}. हर के रूप में 20 वाले अंश वे हैं जिनके अंश अपेक्षाकृत 20 तक हैं, अर्थात् {{sfrac|1|20}}, {{sfrac|3|20}}, {{sfrac|7|20}}, {{sfrac|9|20}}, {{sfrac|11|20}}, {{sfrac|13|20}}, {{sfrac|17|20}}, {{sfrac|19|20}}; परिभाषा के अनुसार यह है {{math|''φ''(20)}} अंश। इसी प्रकार, हैं {{math|''φ''(10)}} भाजक 10 के साथ अंश, और {{math|''φ''(5)}} भाजक 5 के साथ अंश, आदि। इस प्रकार बीस अंशों का सेट आकार के सबसेट में विभाजित होता है {{math|''φ''(''d'')}} प्रत्येक के लिए {{math|''d''}} 20 को विभाजित करना। समान तर्क किसी भी n के लिए लागू होता है।
ये बीस अंश सभी धनात्मक {{sfrac|''k''|''d''}} ≤ 1 हैं | जिसके प्रत्येक भाजक हैं | {{math|''d''  {{=}} 1, 2, 4, 5, 10, 20}}. प्रत्येक के रूप में 20 वाले अंश वे हैं जिनके अंश अपेक्षाकृत 20 तक हैं, अर्थात् {{sfrac|1|20}}, {{sfrac|3|20}}, {{sfrac|7|20}}, {{sfrac|9|20}}, {{sfrac|11|20}}, {{sfrac|13|20}}, {{sfrac|17|20}}, {{sfrac|19|20}}; परिभाषा के अनुसार {{math|''φ''(20)}} भिन्न है। इसी प्रकार,प्रत्येक 10 के साथ {{math|''φ''(10)}} भाजक अंश है और प्रत्येक भाजक 5 के साथ {{math|''φ''(5)}} अंश है | आदि इस प्रकार बीस अंशों का समुच्चय {{math|''d''}} 20 के लिए आकार के सबसमुच्चय में विभाजित होता है |


विभाजक योग सूत्र पर लागू मोबियस उलटा देता है
विभाजक योग सूत्र पर प्रयुक्त मोबियस उलटा देता है
:<math> \varphi(n) = \sum_{d\mid n} \mu\left( d \right) \cdot \frac{n}{d}  = n\sum_{d\mid n} \frac{\mu (d)}{d},</math>
:<math> \varphi(n) = \sum_{d\mid n} \mu\left( d \right) \cdot \frac{n}{d}  = n\sum_{d\mid n} \frac{\mu (d)}{d},</math>
कहाँ {{mvar|μ}} मोबियस फलन है, जिसके द्वारा परिभाषित गुणक फलन है <math>\mu(p) = -1</math> और <math> \mu(p^k) = 0</math> प्रत्येक प्रधान के लिए {{math|1=''p''}} और {{math|1=''k'' ≥ 2}}. यह सूत्र उत्पाद सूत्र से गुणा करके भी प्राप्त किया जा सकता है <math display="inline"> \prod_{p\mid n} (1 - \frac{1}{p}) </math> पाने के <math display="inline"> \sum_{d \mid n} \frac{\mu (d)}{d}. </math>
जहाँ {{mvar|μ}} मोबियस फलन है, जिसके द्वारा परिभाषित गुणक फलन <math>\mu(p) = -1</math> और <math> \mu(p^k) = 0</math> है | प्रत्येक प्रधान के लिए {{math|1=''p''}} और {{math|1=''k'' ≥ 2}}.के लिए परिभाषित है। यह सूत्र <math display="inline"> \sum_{d \mid n} \frac{\mu (d)}{d}. </math> उत्पाद सूत्र से गुणा करके भी <math display="inline"> \prod_{p\mid n} (1 - \frac{1}{p}) </math> प्राप्त किया जा सकता है |
एक उदाहरण:<math display="block">
उदाहरण:<math display="block">
  \begin{align}
  \begin{align}
\varphi(20) &= \mu(1)\cdot 20 + \mu(2)\cdot 10 +\mu(4)\cdot 5 +\mu(5)\cdot 4 + \mu(10)\cdot 2+\mu(20)\cdot 1\\[.5em]
\varphi(20) &= \mu(1)\cdot 20 + \mu(2)\cdot 10 +\mu(4)\cdot 5 +\mu(5)\cdot 4 + \mu(10)\cdot 2+\mu(20)\cdot 1\\[.5em]
Line 139: Line 133:
\end{align}
\end{align}
</math>
</math>
== कुछ मूल्य ==
== कुछ मूल्य ==


Line 180: Line 172:
| 72 || 44 || 60 || 46 || 72 || 32 || 96 || 42 || 60 || 40  
| 72 || 44 || 60 || 46 || 72 || 32 || 96 || 42 || 60 || 40  
|}
|}
शीर्ष रेखा के दाईं ओर ग्राफ़ में {{math|''y'' {{=}} ''n'' − 1}} एक [[ऊपरी सीमा]] है जो सभी के लिए मान्य है {{mvar|n}} एक के अलावा, और अगर और केवल अगर प्राप्त किया {{mvar|n}} एक अभाज्य संख्या है। एक साधारण निचली सीमा है <math>\varphi(n) \ge \sqrt{n/2} </math>, जो ढीला है: वास्तव में, ग्राफ की सीमा श्रेष्ठ और सीमा हीन आनुपातिक है {{math|{{sfrac|''n''|log log ''n''}}}}.<ref name="hw328"/>
{{clear}}


शीर्ष रेखा के दाईं ओर ग्राफ़ में {{math|''y'' {{=}} ''n'' − 1}} [[ऊपरी सीमा]] है जो सभी के लिए मान्य है {{mvar|n}} के अतिरिक्त, और यदि और केवल यदि प्राप्त किया {{mvar|n}} अभाज्य संख्या है। साधारण निचली सीमा है <math>\varphi(n) \ge \sqrt{n/2} </math>, जो ढीला है: वास्तव में, ग्राफ की सीमा श्रेष्ठ और {{math|{{sfrac|''n''|log log ''n''}}}} सीमा हीन आनुपातिक है |<ref name="hw328" />
== यूलर प्रमेय ==
== यूलर प्रमेय ==


{{main article|Euler's theorem}}
{{main article|यूलर प्रमेय}}


इसमें कहा गया है कि अगर {{mvar|a}} और {{mvar|n}} तब अपेक्षाकृत प्रमुख हैं
इसमें कहा गया है कि यदि {{mvar|a}} और {{mvar|n}} तब अपेक्षाकृत प्रमुख हैं |


:<math> a^{\varphi(n)} \equiv 1\mod n.</math>
:<math> a^{\varphi(n)} \equiv 1\mod n.</math>
विशेष मामला जहां {{mvar|n}} प्राइम है जिसे फर्मेट की छोटी प्रमेय के रूप में जाना जाता है।
विशेष स्थिति जहां {{mvar|n}} प्राइम है जिसे फर्मेट की छोटी प्रमेय के रूप में जाना जाता है।


यह Lagrange के प्रमेय (समूह सिद्धांत) | Lagrange के प्रमेय और इस तथ्य से आता है {{math|''φ''(''n'')}} पूर्णांक मॉड्यूलो के गुणक समूह का क्रम (समूह सिद्धांत) है n|पूर्णांक मॉड्यूलो का गुणक समूह {{mvar|n}}.
यह लैग्रेंज के प्रमेय (समूह सिद्धांत) और {{math|''φ''(''n'')}} इस तथ्य से आता है | पूर्णांक मॉड्यूलो के गुणक समूह का क्रम (समूह सिद्धांत) {{mvar|n}} है |


[[आरएसए (एल्गोरिदम)]] इस प्रमेय पर आधारित है: इसका तात्पर्य है कि फ़ंक्शन का उलटा कार्य {{math|''a'' ↦ ''a<sup>e</sup>'' mod ''n''}}, कहाँ {{mvar|e}} (सार्वजनिक) एन्क्रिप्शन प्रतिपादक है, कार्य है {{math|''b'' ↦ ''b<sup>d</sup>'' mod ''n''}}, कहाँ {{mvar|d}}, (निजी) डिक्रिप्शन एक्सपोनेंट, का गुणात्मक व्युत्क्रम है {{mvar|e}} मापांक {{math|''φ''(''n'')}}. कंप्यूटिंग की कठिनाई {{math|''φ''(''n'')}} के गुणनखंड को जाने बिना {{mvar|n}} इस प्रकार कंप्यूटिंग की कठिनाई है {{mvar|d}}: इसे [[आरएसए समस्या]] के रूप में जाना जाता है जिसे फैक्टरिंग द्वारा हल किया जा सकता है {{mvar|n}}. निजी कुंजी का स्वामी गुणनखंडन को जानता है, क्योंकि RSA निजी कुंजी को चुनकर बनाया जाता है {{mvar|n}} दो (यादृच्छिक रूप से चुने गए) बड़े प्राइम्स के उत्पाद के रूप में {{mvar|p}} और {{mvar|q}}. केवल {{mvar|n}} सार्वजनिक रूप से प्रकट किया गया है, और [[पूर्णांक गुणनखंडन]] को देखते हुए हमारे पास गारंटी है कि किसी और को गुणनखंडन के बारे में पता नहीं है।
[[आरएसए (एल्गोरिदम)]] इस प्रमेय पर आधारित है: इसका तात्पर्य है कि फलन का उलटा कार्य {{math|''a'' ↦ ''a<sup>e</sup>'' mod ''n''}}, जहाँ {{mvar|e}} (सार्वजनिक) एन्क्रिप्शन प्रतिपादक है, कार्य है {{math|''b'' ↦ ''b<sup>d</sup>'' mod ''n''}}, जहाँ {{mvar|d}}, (निजी) डिक्रिप्शन एक्सपोनेंट, का गुणात्मक व्युत्क्रम है | {{mvar|e}} मापांक {{math|''φ''(''n'')}}. कंप्यूटिंग की कठिनाई {{math|''φ''(''n'')}} के गुणनखंड को जाने बिना {{mvar|n}} इस प्रकार कंप्यूटिंग की कठिनाई {{mvar|d}} है | इसे [[आरएसए समस्या]] के रूप में जाना जाता है जिसे फैक्टरिंग {{mvar|n}} द्वारा हल किया जा सकता है | निजी कुंजी का स्वामी गुणनखंडन को जानता है | क्योंकि आरएसए निजी कुंजी को चुनकर बनाया जाता है | {{mvar|n}} दो (यादृच्छिक रूप से चुने गए) बड़े प्राइम्स के उत्पाद के रूप में {{mvar|p}} और {{mvar|q}}. केवल {{mvar|n}} सार्वजनिक रूप से प्रकट किया गया है, और [[पूर्णांक गुणनखंडन]] को देखते हुए हमारे पास गारंटी है कि किसी और को गुणनखंडन के बारे में पता नहीं है।


== अन्य सूत्र ==
== अन्य सूत्र ==
<उल>
<math>a\mid b \implies \varphi(a)\mid\varphi(b)</math>
<ली><math>a\mid b \implies \varphi(a)\mid\varphi(b)</math></ली>
 
<ली><math> m \mid \varphi(a^m-1)</math></ली>
<math> m \mid \varphi(a^m-1)</math>
<ली><math>\varphi(mn) = \varphi(m)\varphi(n)\cdot\frac{d}{\varphi(d)} \quad\text{where }d = \operatorname{gcd}(m,n)</math>
 
<math>\varphi(mn) = \varphi(m)\varphi(n)\cdot\frac{d}{\varphi(d)} \quad\text{where }d = \operatorname{gcd}(m,n)</math>
<p>विशेष रूप से:</p>
<p>विशेष रूप से:</p>
*<math>\varphi(2m) = \begin{cases}
*<math>\varphi(2m) = \begin{cases}
Line 206: Line 198:
\varphi(m) &\text{ if } m \text{ is odd}
\varphi(m) &\text{ if } m \text{ is odd}
\end{cases}</math>
\end{cases}</math>
*<math>\varphi\left(n^m\right) = n^{m-1}\varphi(n)</math></ली>
*<math>\varphi\left(n^m\right) = n^{m-1}\varphi(n)</math>
<ली><math>\varphi(\operatorname{lcm}(m,n))\cdot\varphi(\operatorname{gcd}(m,n)) = \varphi(m)\cdot\varphi(n)</math>
<math>\varphi(\operatorname{lcm}(m,n))\cdot\varphi(\operatorname{gcd}(m,n)) = \varphi(m)\cdot\varphi(n)</math>
<p>इसकी तुलना सूत्र से करें <math display=inline>\operatorname{lcm}(m,n)\cdot \operatorname{gcd}(m,n) = m \cdot n</math> (लघुतम समापवर्त्य देखें)।</p>
<p>इसकी तुलना सूत्र से करें <math display=inline>\operatorname{lcm}(m,n)\cdot \operatorname{gcd}(m,n) = m \cdot n</math> (लघुतम समापवर्त्य देखें)।</p>
</ली>
<ली>{{math|''φ''(''n'')}} के लिए भी है {{math|''n'' ≥ 3}}. <p>इसके अलावा, अगर {{mvar|n}} है {{mvar|r}} विशिष्ट विषम अभाज्य कारक, {{math|2<sup>''r''</sup> {{!}} ''φ''(''n'')}</p></li>
<li> किसी के लिए {{math|''a'' > 1}} और {{math|''n'' > 6}} ऐसा है कि {{math|4 ∤ ''n''}} वहाँ एक मौजूद है {{math|''l'' ≥ 2''n''}} ऐसा है कि {{math|''l'' {{!}} ''φ''(''a<sup>n</sup>'' − 1)}}.</ली>
<ली><math>\frac{\varphi(n)}{n}=\frac{\varphi(\operatorname{rad}(n))}{\operatorname{rad}(n)}</math>
<p>कहां {{math|rad(''n'')}} एक पूर्णांक का मूलांक है | का मूलांक है {{mvar|n}} (विभाजन करने वाले सभी विशिष्ट अभाज्य संख्याओं का गुणनफल {{mvar|[[radical of an integer|n]]}}).</p></li>
<ली><math>\sum_{d \mid n} \frac{\mu^2(d)}{\varphi(d)} = \frac{n}{\varphi(n)}</math> <ref>Dineva (in external refs), prop. 1</ref></ली>
<ली><math>\sum_{1\le k\le n \atop (k,n)=1}\!\!k = \tfrac12 n\varphi(n) \quad \text{for }n>1</math></ली>
<ली><math>\sum_{k=1}^n\varphi(k) = \tfrac12 \left(1+ \sum_{k=1}^n \mu(k)\left\lfloor\frac{n}{k}\right\rfloor^2\right)
=\frac3{\pi^2}n^2+O\left(n(\log n)^\frac23(\log\log n)^\frac43\right)</math> (<ref name=Wal1963>{{cite book | zbl=0146.06003 | last=Walfisz | first=Arnold | author-link=Arnold Walfisz | title=आधुनिक संख्या सिद्धांत में वेइल का घातीय योग| language=de | series=Mathematische Forschungsberichte | volume=16 | location=Berlin | publisher=[[VEB Deutscher Verlag der Wissenschaften]] | year=1963 }}</ref> में उद्धृत करना<ref>{{citation | last = Lomadse | first = G. | title = The scientific work of Arnold Walfisz | journal = Acta Arithmetica | year = 1964 | volume = 10 | issue = 3 | pages = 227–237 | doi = 10.4064/aa-10-3-227-237 | url = http://matwbn.icm.edu.pl/ksiazki/aa/aa10/aa10111.pdf}}</ref>)</ली>


<ली><math>\sum_{k=1}^n\frac{\varphi(k)}{k} = \sum_{k=1}^n\frac{\mu(k)}{k}\left\lfloor\frac{n}{k}\right\rfloor=\frac6{\pi^2}n+O\left((\log n)^\frac23(\log\log n)^\frac43\right)</math> <ref name=Wal1963/></ली>
<ली><math>\sum_{k=1}^n\frac{k}{\varphi(k)} = \frac{315\,\zeta(3)}{2\pi^4}n-\frac{\log n}2+O\left((\log n)^\frac23\right)</math> <ref name=Sita>{{cite journal|first=R. |last=Sitaramachandrarao |title=लैंडौ II की त्रुटि अवधि पर|journal=Rocky Mountain J. Math. |volume=15 |date=1985 |issue=2 |pages=579–588|doi=10.1216/RMJ-1985-15-2-579 |doi-access=free }}</ref></ली>
<ली><math>\sum_{k=1}^n\frac{1}{\varphi(k)} = \frac{315\,\zeta(3)}{2\pi^4}\left(\log n+\gamma-\sum_{p\text{ prime}}\frac{\log p}{p^2-p+1}\right)+O\left(\frac{(\log n)^\frac23}n\right)</math> <ref name=Sita />


<p>(जहाँ {{mvar|γ}} यूलर-माशेरोनी स्थिरांक है)।</p></li>
{{math|''φ''(''n'')}} के लिए भी है {{math|''n'' ≥ 3}}. <p>इसके अतिरिक्त, यदि {{mvar|n}} है {{mvar|r}} विशिष्ट विषम अभाज्य कारक, {{math|2<sup>''r''</sup> {{!}} ''φ''(''n'')}</p>
<li> किसी के लिए {{math|''a'' > 1}} और {{math|''n'' > 6}} ऐसा है कि {{math|4 ∤ ''n''}} वहाँ उपस्थित है {{math|''l'' ≥ 2''n''}} ऐसा है कि {{math|''l'' {{!}} ''φ''(''a<sup>n</sup>'' − 1)}}.</li><li> <math>\frac{\varphi(n)}{n}=\frac{\varphi(\operatorname{rad}(n))}{\operatorname{rad}(n)}</math>
<p>जहाँ {{math|rad(''n'')}} पूर्णांक का मूलांक है | {{mvar|n}} (विभाजन करने वाले सभी विशिष्ट अभाज्य संख्याओं का गुणनफल {{mvar|[[radical of an integer|n]]}}).</p></li>
<math>\sum_{d \mid n} \frac{\mu^2(d)}{\varphi(d)} = \frac{n}{\varphi(n)}</math> <ref>Dineva (in external refs), prop. 1</ref>
 
<math>\sum_{1\le k\le n \atop (k,n)=1}\!\!k = \tfrac12 n\varphi(n) \quad \text{for }n>1</math>
 
<math>\sum_{k=1}^n\varphi(k) = \tfrac12 \left(1+ \sum_{k=1}^n \mu(k)\left\lfloor\frac{n}{k}\right\rfloor^2\right)
=\frac3{\pi^2}n^2+O\left(n(\log n)^\frac23(\log\log n)^\frac43\right)</math> (<ref name="Wal1963">{{cite book | zbl=0146.06003 | last=Walfisz | first=Arnold | author-link=Arnold Walfisz | title=आधुनिक संख्या सिद्धांत में वेइल का घातीय योग| language=de | series=Mathematische Forschungsberichte | volume=16 | location=Berlin | publisher=[[VEB Deutscher Verlag der Wissenschaften]] | year=1963 }}</ref> में उद्धृत करना<ref>{{citation | last = Lomadse | first = G. | title = The scientific work of Arnold Walfisz | journal = Acta Arithmetica | year = 1964 | volume = 10 | issue = 3 | pages = 227–237 | doi = 10.4064/aa-10-3-227-237 | url = http://matwbn.icm.edu.pl/ksiazki/aa/aa10/aa10111.pdf}}</ref>)
 
<math>\sum_{k=1}^n\frac{\varphi(k)}{k} = \sum_{k=1}^n\frac{\mu(k)}{k}\left\lfloor\frac{n}{k}\right\rfloor=\frac6{\pi^2}n+O\left((\log n)^\frac23(\log\log n)^\frac43\right)</math> <ref name="Wal1963" />
 
<math>\sum_{k=1}^n\frac{k}{\varphi(k)} = \frac{315\,\zeta(3)}{2\pi^4}n-\frac{\log n}2+O\left((\log n)^\frac23\right)</math> <ref name="Sita">{{cite journal|first=R. |last=Sitaramachandrarao |title=लैंडौ II की त्रुटि अवधि पर|journal=Rocky Mountain J. Math. |volume=15 |date=1985 |issue=2 |pages=579–588|doi=10.1216/RMJ-1985-15-2-579 |doi-access=free }}</ref>
 
<math>\sum_{k=1}^n\frac{1}{\varphi(k)} = \frac{315\,\zeta(3)}{2\pi^4}\left(\log n+\gamma-\sum_{p\text{ prime}}\frac{\log p}{p^2-p+1}\right)+O\left(\frac{(\log n)^\frac23}n\right)</math> <ref name="Sita" />
 
<p>(जहाँ {{mvar|γ}} यूलर-माशेरोनी स्थिरांक है)।</p>


<ली><math>\sum_\stackrel{1\le k\le n}{\operatorname{gcd}(k,m)=1} \!\!\!\! 1 = n \frac {\varphi(m)}{m} + O \left ( 2^{\omega(m)} \right )</math>
<math>\sum_\stackrel{1\le k\le n}{\operatorname{gcd}(k,m)=1} \!\!\!\! 1 = n \frac {\varphi(m)}{m} + O \left ( 2^{\omega(m)} \right )</math>
<p>कहां {{math|''m'' > 1}} एक सकारात्मक पूर्णांक है और {{math|''ω''(''m'')}} के विशिष्ट प्रमुख कारकों की संख्या है {{mvar|m}}.<ref>Bordellès in the [[#External links|external links]]</ref> </p>
<p>जहाँ {{math|''m'' > 1}} सकारात्मक पूर्णांक है और {{math|''ω''(''m'')}} के विशिष्ट प्रमुख कारकों की संख्या {{mvar|m}} है |<ref>Bordellès in the [[#External links|external links]]</ref> </p>


===मेनन की पहचान===
===मेनन की पहचान===


{{Main article|Arithmetic_function#Menon.27s_identity|l1=Menon's identity}} }
{{Main article|अरिथमेटिक_फंक्शन# मेनन.27s_आइडेंटिटी|l1=मेनन की पहचान}}  
1965 में पी. केसव मेनन ने साबित किया
 
1965 में पी. केसव मेनन ने सिद्ध किया है |
: : : : : : : : : : : : : : : : : : : : : : : : :<math>\sum_{\stackrel{1\le k\le n}{ \gcd(k,n)=1}} \!\!\!\! \gcd(k-1,n)=\varphi(n)d(n),</math>
: : : : : : : : : : : : : : : : : : : : : : : : :<math>\sum_{\stackrel{1\le k\le n}{ \gcd(k,n)=1}} \!\!\!\! \gcd(k-1,n)=\varphi(n)d(n),</math>
कहाँ {{math|[[Divisor function|''d''(''n'') {{=}} ''σ''<sub>0</sub>(''n'')]]}} के विभाजकों की संख्या है {{mvar|n}}.
जहाँ {{math|[[Divisor function|''d''(''n'') {{=}} ''σ''<sub>0</sub>(''n'')]]}} के विभाजकों की संख्या {{mvar|n}} है |


== कार्य उत्पन्न करना ==
== कार्य उत्पन्न करना ==


के लिए [[डिरिचलेट श्रृंखला]] {{math|''φ''(''n'')}} को [[रीमैन जीटा फ़ंक्शन]] के रूप में लिखा जा सकता है:<ref>{{harvnb|Hardy|Wright|1979|loc=thm. 288}}</ref>
[[डिरिचलेट श्रृंखला]] के लिए {{math|''φ''(''n'')}} को [[रीमैन जीटा फ़ंक्शन|रीमैन जीटा फलन]] के रूप में लिखा जा सकता है |<ref>{{harvnb|Hardy|Wright|1979|loc=thm. 288}}</ref>
:<math>\sum_{n=1}^\infty \frac{\varphi(n)}{n^s}=\frac{\zeta(s-1)}{\zeta(s)}</math>
:<math>\sum_{n=1}^\infty \frac{\varphi(n)}{n^s}=\frac{\zeta(s-1)}{\zeta(s)}</math>
जहां बाईं ओर के लिए अभिसरण होता है <math>\Re (s)>2</math>.
जहां बाईं ओर <math>\Re (s)>2</math> के लिए अभिसरण होता है .


[[लैम्बर्ट श्रृंखला]] जनरेटिंग फ़ंक्शन है<ref>{{harvnb|Hardy|Wright|1979|loc=thm. 309}}</ref>
[[लैम्बर्ट श्रृंखला]] जनरेटिंग फलन है <ref>{{harvnb|Hardy|Wright|1979|loc=thm. 309}}</ref>
:<math>\sum_{n=1}^{\infty} \frac{\varphi(n) q^n}{1-q^n}= \frac{q}{(1-q)^2}</math>
:<math>\sum_{n=1}^{\infty} \frac{\varphi(n) q^n}{1-q^n}= \frac{q}{(1-q)^2}</math>
जो के लिए अभिसरण करता है {{math|{{abs|''q''}} < 1}}.
जो {{math|{{abs|''q''}} < 1}} के लिए अभिसरण करता है .


ये दोनों प्रारंभिक श्रृंखला जोड़तोड़ और के लिए सूत्रों द्वारा सिद्ध होते हैं {{math|''φ''(''n'')}}.
ये दोनों प्रारंभिक श्रृंखला जोड़तोड़ और {{math|''φ''(''n'')}} के लिए सूत्रों द्वारा सिद्ध होते हैं |


== विकास दर ==
== विकास दर ==


हार्डी एंड राइट के शब्दों में, का क्रम {{math|''φ''(''n'')}} हमेशा 'लगभग' होता है {{mvar|n}}'.<ref>{{harvnb|Hardy|Wright|1979|loc=intro to § 18.4}}</ref>
हार्डी एंड राइट के शब्दों में,{{math|''φ''(''n'')}} का क्रम सदैव 'लगभग' {{mvar|n}} होता है |<ref>{{harvnb|Hardy|Wright|1979|loc=intro to § 18.4}}</ref> पहला <ref>{{harvnb|Hardy|Wright|1979|loc=thm. 326}}</ref>
पहला<ref>{{harvnb|Hardy|Wright|1979|loc=thm. 326}}</ref>
 
:<math>\lim\sup \frac{\varphi(n)}{n}= 1,</math>
:<math>\lim\sup \frac{\varphi(n)}{n}= 1,</math>
लेकिन जैसे n अनंत तक जाता है,<ref>{{harvnb|Hardy|Wright|1979|loc=thm. 327}}</ref> सभी के लिए {{math|''δ'' > 0}}
किन्तु जैसे n सभी {{math|''δ'' > 0}} के लिए अनंत तक जाता है |<ref>{{harvnb|Hardy|Wright|1979|loc=thm. 327}}</ref>  


:<math>\frac{\varphi(n)}{n^{1-\delta}}\rightarrow\infty.</math>
:<math>\frac{\varphi(n)}{n^{1-\delta}}\rightarrow\infty.</math>
इन दोनों सूत्रों को सूत्र से थोड़ा अधिक प्रयोग करके सिद्ध किया जा सकता है {{math|''φ''(''n'')}} और [[भाजक समारोह]] {{math|''σ''(''n'')}}.
इन दोनों सूत्रों को {{math|''φ''(''n'')}} और [[भाजक समारोह|भाजक फलन]] {{math|''σ''(''n'')}}. सूत्र से थोड़ा अधिक प्रयोग करके सिद्ध किया जा सकता है |


वास्तव में, दूसरे सूत्र के प्रमाण के दौरान, असमानता
वास्तव में, दूसरे सूत्र के प्रमाण के समय, असमानता होती है |


:<math>\frac {6}{\pi^2} < \frac{\varphi(n) \sigma(n)}{n^2} < 1,</math>
:<math>\frac {6}{\pi^2} < \frac{\varphi(n) \sigma(n)}{n^2} < 1,</math>
के लिए सच है {{math|''n'' > 1}}, सिद्ध होता है।
सही है {{math|''n'' > 1}},के लिए सिद्ध होता है।


हमारे पास भी है<ref name="hw328">{{harvnb|Hardy|Wright|1979|loc=thm. 328}}</ref>
हमारे पास भी है <ref name="hw328">{{harvnb|Hardy|Wright|1979|loc=thm. 328}}</ref>
:<math>\lim\inf\frac{\varphi(n)}{n}\log\log n = e^{-\gamma}.</math>
:<math>\lim\inf\frac{\varphi(n)}{n}\log\log n = e^{-\gamma}.</math>
यहाँ {{mvar|γ}} यूलर-मास्चेरोनी स्थिरांक है|यूलर स्थिरांक, {{math|''γ'' {{=}} 0.577215665...}}, इसलिए {{math|''e<sup>γ</sup>'' {{=}} 1.7810724...}} और {{math|''e''<sup>−''γ''</sup> {{=}} 0.56145948...}}.
यहाँ {{mvar|γ}} यूलर-मास्चेरोनी स्थिरांक है | यूलर स्थिरांक, {{math|''γ'' {{=}} 0.577215665...}}, इसलिए {{math|''e<sup>γ</sup>'' {{=}} 1.7810724...}} और {{math|''e''<sup>−''γ''</sup> {{=}} 0.56145948...}}.


इसे सिद्ध करने के लिए अभाज्य संख्या प्रमेय की आवश्यकता नहीं है।<ref>In fact Chebyshev's theorem ({{harvnb|Hardy|Wright|1979|loc=thm.7}}) and
इसे सिद्ध करने के लिए अभाज्य संख्या प्रमेय की आवश्यकता नहीं है। <ref>In fact Chebyshev's theorem ({{harvnb|Hardy|Wright|1979|loc=thm.7}}) and
Mertens' third theorem is all that is needed.</ref><ref>{{harvnb|Hardy|Wright|1979|loc=thm. 436}}</ref> तब से {{math|log log ''n''}} अनंत तक जाता है, यह सूत्र बताता है
Mertens' third theorem is all that is needed.</ref><ref>{{harvnb|Hardy|Wright|1979|loc=thm. 436}}</ref> तब से {{math|log log ''n''}} अनंत तक जाता है, यह सूत्र बताता है


:<math>\lim\inf\frac{\varphi(n)}{n}= 0.</math>
:<math>\lim\inf\frac{\varphi(n)}{n}= 0.</math>
वास्तव में, अधिक सत्य है।<ref>Theorem 15 of {{cite journal|last1=Rosser |first1=J. Barkley |last2=Schoenfeld |first2=Lowell |title=Approximate formulas for some functions of prime numbers |journal=Illinois J. Math. |volume=6 |date=1962 |issue=1 |pages=64–94 |doi=10.1215/ijm/1255631807 |url=http://projecteuclid.org/euclid.ijm/1255631807|doi-access=free }}</ref><ref>Bach & Shallit, thm. 8.8.7</ref><ref name=Rib320>{{cite book|last=Ribenboim|title=द बुक ऑफ प्राइम नंबर रिकॉर्ड्स|edition=2nd |publisher=Springer-Verlag |location=New York |chapter=How are the Prime Numbers Distributed? §I.C The Distribution of Values of Euler's Function |pages=172–175 |doi= 10.1007/978-1-4684-0507-1_5 |date=1989 |isbn=978-1-4684-0509-5 }}</ref>
वास्तव में, अधिक सत्य है। <ref>Theorem 15 of {{cite journal|last1=Rosser |first1=J. Barkley |last2=Schoenfeld |first2=Lowell |title=Approximate formulas for some functions of prime numbers |journal=Illinois J. Math. |volume=6 |date=1962 |issue=1 |pages=64–94 |doi=10.1215/ijm/1255631807 |url=http://projecteuclid.org/euclid.ijm/1255631807|doi-access=free }}</ref><ref>Bach & Shallit, thm. 8.8.7</ref><ref name="Rib320">{{cite book|last=Ribenboim|title=द बुक ऑफ प्राइम नंबर रिकॉर्ड्स|edition=2nd |publisher=Springer-Verlag |location=New York |chapter=How are the Prime Numbers Distributed? §I.C The Distribution of Values of Euler's Function |pages=172–175 |doi= 10.1007/978-1-4684-0507-1_5 |date=1989 |isbn=978-1-4684-0509-5 }}</ref>
:<math>\varphi(n) > \frac {n} {e^\gamma\; \log \log n + \frac {3} {\log \log n}} \quad\text{for } n>2</math>
:<math>\varphi(n) > \frac {n} {e^\gamma\; \log \log n + \frac {3} {\log \log n}} \quad\text{for } n>2</math>
और
और


:<math>\varphi(n) < \frac {n} {e^{ \gamma}\log \log n} \quad\text{for infinitely many } n.</math>
:<math>\varphi(n) < \frac {n} {e^{ \gamma}\log \log n} \quad\text{for infinitely many } n.</math>
दूसरी असमानता [[जीन लुइस निकोलस]] द्वारा प्रदर्शित की गई थी। रिबेनबोइम कहते हैं कि प्रमाण की विधि दिलचस्प है, इसमें असमानता को पहले इस धारणा के तहत दिखाया गया है कि [[रीमैन परिकल्पना]] सत्य है, दूसरी विपरीत धारणा के तहत।<ref name=Rib320/>{{rp|173}}
दूसरी असमानता [[जीन लुइस निकोलस]] द्वारा प्रदर्शित की गई थी। रिबेनबोइम कहते हैं कि प्रमाण की विधि रोचक है, इसमें असमानता को पहले इस धारणा के अनुसार दिखाया गया है कि [[रीमैन परिकल्पना]] सत्य है, दूसरी विपरीत धारणा के अनुसार ये भी सही है।<ref name=Rib320/>{{rp|173}}


औसत आदेश के लिए, हमारे पास है<ref name=Wal1963/><ref name=SMC2425>Sándor, Mitrinović & Crstici (2006) pp.24–25</ref>
औसत आदेश के लिए, हमारे पास है |<ref name=Wal1963/><ref name=SMC2425>Sándor, Mitrinović & Crstici (2006) pp.24–25</ref>
:<math>\varphi(1)+\varphi(2)+\cdots+\varphi(n) = \frac{3n^2}{\pi^2}+O\left(n(\log n)^\frac23(\log\log n)^\frac43\right) \quad\text{as }n\rightarrow\infty,</math>
:<math>\varphi(1)+\varphi(2)+\cdots+\varphi(n) = \frac{3n^2}{\pi^2}+O\left(n(\log n)^\frac23(\log\log n)^\frac43\right) \quad\text{as }n\rightarrow\infty,</math>
[[अर्नोल्ड वाल्फिज़]] के कारण, इसका प्रमाण इवान मटेवेविच विनोग्रादोव के कारण घातीय रकम पर अनुमानों का शोषण करता है|I. एम. विनोग्रादोव और एन. एम. कोरोबोव।
[[अर्नोल्ड वाल्फिज़]] के कारण, इसका प्रमाण इवान मटेवेविच विनोग्रादोव के कारण घातीय रकम पर अनुमानों का उपयोग करता है | एम. विनोग्रादोव और एन. एम. कोरोबोव है।
वैन डेर कॉर्पुट और विनोग्रादोव के तरीकों के संयोजन से, H.-Q. लियू (ऑन यूलर फंक्शन। प्रोक। रॉय। सोक। एडिनबर्ग सेक्ट। ए 146 (2016), नंबर 4, 769-775)
 
त्रुटि शब्द में सुधार किया
वैन डेर कॉर्पुट और विनोग्रादोव के विधियों के संयोजन से, H.-Q. लियू (ऑन यूलर फलन। प्रोक। रॉय। सोक। एडिनबर्ग सेक्ट। ए 146 (2016), नंबर 4, 769-775) त्रुटि शब्द में सुधार किया है |
:<math>
:<math>
O\left(n(\log n)^\frac23(\log\log n)^\frac13\right)  
O\left(n(\log n)^\frac23(\log\log n)^\frac13\right)  
</math>
</math>
(यह वर्तमान में इस प्रकार का सबसे अच्छा ज्ञात अनुमान है)। बिग ओ नोटेशन | बड़ा {{mvar|O}} एक ऐसी मात्रा के लिए खड़ा है जो एक निरंतर समय के कार्य से बंधी है {{mvar|n}} कोष्ठक के अंदर (जो की तुलना में छोटा है {{math|''n''<sup>2</sup>}}).
(यह वर्तमान में इस प्रकार का सबसे अच्छा ज्ञात अनुमान है)। बिग ओ नोटेशन बड़ा {{mvar|O}} ऐसी मात्रा के लिए खड़ा है जो निरंतर समय के कार्य {{mvar|n}} से बंधी है कोष्ठक के अंदर (जो की {{math|''n''<sup>2</sup>}} तुलना में छोटा है).


इस परिणाम का उपयोग सिद्ध करने के लिए किया जा सकता है<ref>{{harvnb|Hardy|Wright|1979|loc=thm. 332}}</ref> यादृच्छिक रूप से चुनी गई दो संख्याओं के अपेक्षाकृत अभाज्य होने की प्रायिकता है {{sfrac|6|{{pi}}<sup>2</sup>}}.
इस परिणाम का उपयोग सिद्ध करने के लिए किया जा सकता है | <ref>{{harvnb|Hardy|Wright|1979|loc=thm. 332}}</ref> यादृच्छिक रूप से चुनी गई दो संख्याओं के अपेक्षाकृत {{sfrac|6|{{pi}}<sup>2</sup>}} अभाज्य होने की प्रायिकता है |


== लगातार मूल्यों का अनुपात ==
== निरंतर मूल्यों का अनुपात ==


1950 में सोमयाजुलु साबित हुआ<ref name=Rib38>Ribenboim, p.38</ref><ref name=SMC16>Sándor, Mitrinović & Crstici (2006) p.16</ref>
1950 में सोमयाजुलु सिद्ध हुआ | <ref name=Rib38>Ribenboim, p.38</ref><ref name=SMC16>Sándor, Mitrinović & Crstici (2006) p.16</ref>
:<math>\begin{align}
:<math>\begin{align}
\lim\inf \frac{\varphi(n+1)}{\varphi(n)}&= 0 \quad\text{and} \\[5px]
\lim\inf \frac{\varphi(n+1)}{\varphi(n)}&= 0 \quad\text{and} \\[5px]
\lim\sup \frac{\varphi(n+1)}{\varphi(n)}&= \infty.
\lim\sup \frac{\varphi(n+1)}{\varphi(n)}&= \infty.
\end{align}</math>
\end{align}</math>
1954 में [[एंड्रयू शिंजेल]] और वाक्लाव सिएरपिन्स्की | सिएरपिन्स्की ने इसे साबित करते हुए इसे मजबूत किया<ref name=Rib38/><ref name=SMC16/>वह सेट
1954 में [[एंड्रयू शिंजेल]] और वाक्लाव सिएरपिन्स्की ने इसे सिद्ध करते हुए इसे शक्तिशाली किया | <ref name=Rib38/><ref name=SMC16/>  


:<math>\left\{\frac{\varphi(n+1)}{\varphi(n)},\;\;n = 1,2,\ldots\right\}</math>
:<math>\left\{\frac{\varphi(n+1)}{\varphi(n)},\;\;n = 1,2,\ldots\right\}</math>
धनात्मक वास्तविक संख्याओं में सघन सेट है। वे सिद्ध भी हुए<ref name=Rib38/>वह सेट
वह समुच्चय धनात्मक वास्तविक संख्याओं में सघन समुच्चय है। वे सिद्ध भी हुए है |<ref name=Rib38/>


:<math>\left\{\frac{\varphi(n)}{n},\;\;n = 1,2,\ldots\right\}</math>
:<math>\left\{\frac{\varphi(n)}{n},\;\;n = 1,2,\ldots\right\}</math>
अंतराल (0,1) में सघन है।
वह समुच्चय अंतराल (0,1) में सघन है।


== कुल संख्या ==
== कुल संख्या ==
एक टोटिएंट नंबर यूलर के टोटिएंट फंक्शन का मान है: यानी, a {{mvar|m}} जिसके लिए कम से कम एक है {{mvar|n}} जिसके लिए {{math|''φ''(''n'') {{=}} ''m''}}. कुल संख्या की संयोजकता या बहुलता {{mvar|m}} इस समीकरण के समाधान की संख्या है।<ref name=Guy144>Guy (2004) p.144</ref> नॉनटोटिएंट एक प्राकृतिक संख्या है जो टोटिएंट संख्या नहीं है। 1 से अधिक प्रत्येक विषम पूर्णांक तुच्छ रूप से एक गैर-परमाणु है। यहाँ अपरिमित रूप से बहुत से अचिंतक भी हैं,<ref name=SC230>Sándor & Crstici (2004) p.230</ref> और वास्तव में प्रत्येक धनात्मक पूर्णांक का एक गुणज होता है जो एक सम अचिंतक होता है।<ref name=Zha1993>{{cite journal | zbl=0772.11001 | last=Zhang | first=Mingzhi | title=नास्तिकों पर| journal=[[Journal of Number Theory]] | volume=43 | number=2 | pages=168–172 | year=1993 | issn=0022-314X | doi=10.1006/jnth.1993.1014| doi-access=free }}</ref>
टोटिएंट नंबर यूलर के टोटिएंट फलन का मान है | अर्थात, a {{mvar|m}} जिसके लिए कम से कम {{mvar|n}} है | जिसके लिए {{math|''φ''(''n'') {{=}} ''m''}}. कुल संख्या की संयोजकता या बहुलता {{mvar|m}} इस समीकरण के समाधान की संख्या है। <ref name=Guy144>Guy (2004) p.144</ref> नॉनटोटिएंट प्राकृतिक संख्या है जो टोटिएंट संख्या नहीं है। 1 से अधिक प्रत्येक विषम पूर्णांक तुच्छ रूप से गैर-परमाणु है। यहाँ अपरिमित रूप से बहुत से अचिंतक भी हैं |<ref name=SC230>Sándor & Crstici (2004) p.230</ref> और वास्तव में प्रत्येक धनात्मक पूर्णांक का गुणज होता है जो सम अचिंतक होता है।<ref name=Zha1993>{{cite journal | zbl=0772.11001 | last=Zhang | first=Mingzhi | title=नास्तिकों पर| journal=[[Journal of Number Theory]] | volume=43 | number=2 | pages=168–172 | year=1993 | issn=0022-314X | doi=10.1006/jnth.1993.1014| doi-access=free }}</ref>
दी गई सीमा तक कुल संख्याओं की संख्या {{mvar|x}} है
 
दी गई सीमा तक कुल संख्याओं की संख्या {{mvar|x}} है |


:<math>\frac{x}{\log x}e^{ \big(C+o(1)\big)(\log\log\log x)^2 } </math>
:<math>\frac{x}{\log x}e^{ \big(C+o(1)\big)(\log\log\log x)^2 } </math>
एक स्थिर के लिए {{math|''C'' {{=}} 0.8178146...}}.<ref name=Ford1998>{{cite journal | zbl=0914.11053 | last=Ford | first=Kevin | title=टोटियों का वितरण| journal=Ramanujan J. | series=Developments in Mathematics | volume=2 | number=1–2 | pages=67–151 | year=1998 | issn=1382-4090 | doi=10.1007/978-1-4757-4507-8_8| arxiv=1104.3264 | isbn=978-1-4419-5058-1 }}</ref>
स्थिर के लिए {{math|''C'' {{=}} 0.8178146...}}.<ref name="Ford1998">{{cite journal | zbl=0914.11053 | last=Ford | first=Kevin | title=टोटियों का वितरण| journal=Ramanujan J. | series=Developments in Mathematics | volume=2 | number=1–2 | pages=67–151 | year=1998 | issn=1382-4090 | doi=10.1007/978-1-4757-4507-8_8| arxiv=1104.3264 | isbn=978-1-4419-5058-1 }}</ref> है |
 
यदि बहुलता के अनुसार गिना जाता है, तो दी गई सीमा तक कुल संख्याओं की संख्या {{mvar|x}} है
यदि बहुलता के अनुसार गिना जाता है, तो दी गई सीमा तक कुल संख्याओं की संख्या {{mvar|x}} है


:<math>\Big\vert\{ n : \varphi(n) \le x \}\Big\vert = \frac{\zeta(2)\zeta(3)}{\zeta(6)} \cdot x + R(x)</math>
:<math>\Big\vert\{ n : \varphi(n) \le x \}\Big\vert = \frac{\zeta(2)\zeta(3)}{\zeta(6)} \cdot x + R(x)</math>
जहां त्रुटि शब्द {{mvar|R}} अधिक से अधिक क्रम में है {{math|{{sfrac|''x''|(log ''x'')<sup>''k''</sup>}}}} किसी भी सकारात्मक के लिए {{mvar|k}}.<ref name=SMC22>Sándor et al (2006) p.22</ref>
जहां त्रुटि शब्द {{mvar|R}} अधिक से अधिक क्रम में {{math|{{sfrac|''x''|(log ''x'')<sup>''k''</sup>}}}} है | किसी भी सकारात्मक {{mvar|k}} के लिए .<ref name="SMC22">Sándor et al (2006) p.22</ref> यह ज्ञात है कि की बहुलता {{mvar|m}} से अधिक है {{math|''m''<sup>''δ''</sup>}} असीम रूप से अधिकांशतः किसी के लिए {{math|''δ'' < 0.55655}}.<ref name="SMC21">Sándor et al (2006) p.21</ref><ref name="Guy145">Guy (2004) p.145</ref> है |
यह ज्ञात है कि की बहुलता {{mvar|m}} से अधिक है {{math|''m''<sup>''δ''</sup>}} असीम रूप से अक्सर किसी के लिए {{math|''δ'' < 0.55655}}.<ref name=SMC21>Sándor et al (2006) p.21</ref><ref name=Guy145>Guy (2004) p.145</ref>
 
 
=== फोर्ड की प्रमेय ===
=== फोर्ड की प्रमेय ===


{{harvtxt|Ford|1999}} ने सिद्ध किया कि प्रत्येक पूर्णांक के लिए {{math|''k'' ≥ 2}} वहाँ एक sotient संख्या है {{mvar|m}} बहुलता का {{mvar|k}}: वह है, जिसके लिए समीकरण {{math|''φ''(''n'') {{=}} ''m''}} ठीक है {{mvar|k}} समाधान; यह परिणाम पहले वैक्लाव सिएरपिन्स्की द्वारा अनुमानित किया गया था,<ref name=SC229>Sándor & Crstici (2004) p.229</ref> और इसे शिंजेल की परिकल्पना एच के परिणामस्वरूप प्राप्त किया गया था।<ref name=Ford1998/>वास्तव में, प्रत्येक बहुलता जो घटित होती है, वह अनंत बार ऐसा करती है।<ref name=Ford1998/><ref name=Guy145/>
{{harvtxt|फोर्ड|1999}} ने सिद्ध किया कि प्रत्येक पूर्णांक {{math|''k'' ≥ 2}} के लिए बहुलता {{mvar|k}} का एक कुल संख्या {{mvar|m}} है | अर्थात, जिसके लिए समीकरण {{math|''φ''(''n'') {{=}} ''m''}} का बिल्कुल {{mvar|k}} समाधान है | यह परिणाम पहले वैक्लाव सिएरपिन्स्की द्वारा अनुमानित किया गया था,|<ref name="SC229">Sándor & Crstici (2004) p.229</ref> और इसे शिंजेल की परिकल्पना एच के परिणाम के रूप में प्राप्त किया गया था। <ref name=Ford1998/> वास्तव में, प्रत्येक बहुलता जो घटित होती है, अनंत बार होती है। <ref name=Ford1998/><ref name=Guy145/>
 
हालांकि, कोई संख्या नहीं {{mvar|m}} बहुलता से जाना जाता है {{math|''k'' {{=}} 1}}. कारमाइकल का संपूर्ण कार्य अनुमान यह कथन है कि ऐसा कोई नहीं है {{mvar|m}}.<ref name=SC228>Sándor & Crstici (2004) p.228</ref>
 


चूँकि, कोई संख्या नहीं {{mvar|m}} बहुलता से जाना जाता है | {{math|''k'' {{=}} 1}}. कारमाइकल का संपूर्ण कार्य अनुमान यह कथन है कि ऐसा कोई {{mvar|m}} नहीं है |.<ref name=SC228>Sándor & Crstici (2004) p.228</ref>
===पूर्ण सम संख्याएं===
===पूर्ण सम संख्याएं===


{{main article|Perfect totient number}}
{{main article|पूर्ण सम संख्याएं}}
एक पूर्ण कुल संख्या एक पूर्णांक है जो इसके पुनरावृत्त कुलों के योग के बराबर है। अर्थात्, हम टोटिएंट फ़ंक्शन को संख्या n पर लागू करते हैं, इसे परिणामी टोटिएंट पर फिर से लागू करते हैं, और इसी तरह, जब तक कि संख्या 1 तक नहीं पहुंच जाती है, और संख्याओं के परिणामी क्रम को एक साथ जोड़ देते हैं; यदि योग n के बराबर है, तो n एक पूर्ण पूर्ण संख्या है।
पूर्ण कुल संख्या एक पूर्णांक है जो इसके पुनरावृत्त कुलों के योग के समान है। अर्थात्, हम टोटिएंट फलन को संख्या n पर प्रयुक्त करते हैं, इसे परिणामी टोटिएंट पर फिर से प्रयुक्त करते हैं, और इसी तरह, जब तक कि संख्या 1 तक नहीं पहुंच जाती है, और संख्याओं के परिणामी क्रम को साथ जोड़ देते हैं; यदि योग n के समान है, तो n पूर्ण पूर्ण संख्या है।


== अनुप्रयोग ==
== अनुप्रयोग ==
Line 333: Line 327:
=== साइक्लोटॉमी ===
=== साइक्लोटॉमी ===


{{main article|Constructible polygon}}
{{main article|रचनात्मक बहुभुज}}


डिसक्विजिशन अरिथमेटिका के अंतिम खंड में<ref>Gauss, DA. The 7th § is arts. 336–366</ref><ref>Gauss proved if {{mvar|n}} satisfies certain conditions then the {{mvar|n}}-gon can be constructed. In 1837 [[Pierre Wantzel]] proved the converse, if the {{mvar|n}}-gon is constructible, then {{mvar|n}} must satisfy Gauss's conditions</ref> गॉस साबित करता है<ref>Gauss, DA, art 366</ref> कि एक नियमित {{mvar|n}}-गॉन का निर्माण स्ट्रेटेज और कंपास से किया जा सकता है अगर {{math|''φ''(''n'')}} 2 की शक्ति है। यदि {{mvar|n}} एक विषम अभाज्य संख्या की शक्ति है, टोटिएंट के लिए सूत्र कहता है कि इसका टोटिएंट केवल दो की शक्ति हो सकता है {{mvar|n}} पहली शक्ति है और {{math|''n'' − 1}} 2 की शक्ति है। वे अभाज्य संख्याएँ जो 2 की शक्ति से एक अधिक होती हैं, [[फर्मेट प्राइम]]्स कहलाती हैं, और केवल पाँच ज्ञात हैं: 3, 5, 17, 257, और 65537। फर्मेट और गॉस इनके बारे में जानते थे। कोई भी यह साबित करने में सक्षम नहीं है कि क्या और भी हैं।
डिसक्विजिशन अरिथमेटिका के अंतिम खंड में <ref>Gauss, DA. The 7th § is arts. 336–366</ref><ref>Gauss proved if {{mvar|n}} satisfies certain conditions then the {{mvar|n}}-gon can be constructed. In 1837 [[Pierre Wantzel]] proved the converse, if the {{mvar|n}}-gon is constructible, then {{mvar|n}} must satisfy Gauss's conditions</ref> गॉस सिद्ध करता है | <ref>Gauss, DA, art 366</ref> कि नियमित {{mvar|n}}-गॉन का निर्माण स्ट्रेटेज और कंपास से किया जा सकता है | यदि {{math|''φ''(''n'')}} 2 की शक्ति है। यदि {{mvar|n}} विषम अभाज्य संख्या की शक्ति है,| टोटिएंट के लिए सूत्र कहता है कि इसका टोटिएंट केवल दो की शक्ति हो सकता है | {{mvar|n}} पहली शक्ति है और {{math|''n'' − 1}} 2 की शक्ति है। वे अभाज्य संख्याएँ जो 2 की शक्ति से अधिक होती हैं,| [[फर्मेट प्राइम]] कहलाती हैं, और केवल पाँच ज्ञात हैं: 3, 5, 17, 257, और 65537 है। फर्मेट और गॉस इनके बारे में जानते थे। कोई भी यह सिद्ध करने में सक्षम नहीं है कि क्या और भी हैं।


इस प्रकार, एक नियमित {{mvar|n}}-गॉन का स्ट्रेटएज-एंड-कम्पास निर्माण होता है यदि n विशिष्ट फर्मेट प्राइम्स और 2 की किसी भी शक्ति का उत्पाद है। पहले कुछ ऐसे {{mvar|n}} हैं<ref>Gauss, DA, art. 366. This list is the last sentence in the ''Disquisitiones''</ref>
इस प्रकार, नियमित {{mvar|n}}-गॉन का स्ट्रेटएज-एंड-कम्पास निर्माण होता है | यदि n विशिष्ट फर्मेट प्राइम्स और 2 की किसी भी शक्ति का उत्पाद है। पहले कुछ ऐसे {{mvar|n}} हैं |<ref>Gauss, DA, art. 366. This list is the last sentence in the ''Disquisitiones''</ref>
:2, 3, 4, 5, 6, 8, 10, 12, 15, 16, 17, 20, 24, 30, 32, 34, 40,... {{OEIS|A003401}}.
:2, 3, 4, 5, 6, 8, 10, 12, 15, 16, 17, 20, 24, 30, 32, 34, 40,... {{OEIS|A003401}}.


=== अंकगणितीय प्रगति के लिए अभाज्य संख्या प्रमेय ===
=== अंकगणितीय प्रगति के लिए अभाज्य संख्या प्रमेय ===


{{main article|Prime number theorem#Prime number theorem for arithmetic progressions}}
{{main article|अभाज्य संख्या प्रमेय # अंकगणितीय प्रगति के लिए अभाज्य संख्या प्रमेय}}


=== आरएसए क्रिप्टोसिस्टम ===
=== आरएसए क्रिप्टोप्रणाली ===


{{main article|RSA (algorithm)}}
{{main article|आरएसए (एल्गोरिदम)}}


RSA प्रणाली की स्थापना में बड़ी अभाज्य संख्याओं को चुनना शामिल है {{mvar|p}} और {{mvar|q}}, कंप्यूटिंग {{math|''n'' {{=}} ''pq''}} और {{math|''k'' {{=}} ''φ''(''n'')}}, और दो संख्याएँ ढूँढना {{mvar|e}} और {{mvar|d}} ऐसा है कि {{math|''ed'' ≡ 1 (mod ''k'')}}. संख्या {{mvar|n}} और {{mvar|e}} (एन्क्रिप्शन कुंजी ) जनता के लिए जारी की जाती हैं, और {{mvar|d}} (डिक्रिप्शन कुंजी ) को निजी रखा जाता है।
आरएसए प्रणाली की स्थापना में बड़ी अभाज्य संख्याओं {{mvar|p}} और {{mvar|q}}, को चुनना {{math|''n'' {{=}} ''pq''}} और {{math|''k'' {{=}} ''φ''(''n'')}},की गणना करना और दो संख्याएँ {{mvar|e}} और {{mvar|d}} सम्मिलित है | कि {{math|''ed'' ≡ 1 (mod ''k'')}}. संख्या {{mvar|n}} और {{mvar|e}} (एन्क्रिप्शन कुंजी ) जनता के लिए जारी की जाती हैं, और {{mvar|d}} (डिक्रिप्शन कुंजी ) को निजी रखा जाता है।


एक संदेश, एक पूर्णांक द्वारा दर्शाया गया {{mvar|m}}, कहाँ {{math|0 < ''m'' < ''n''}}, कंप्यूटिंग द्वारा एन्क्रिप्ट किया गया है {{math|''S'' {{=}} ''m''<sup>''e''</sup> (mod ''n'')}}.
संदेश, पूर्णांक द्वारा दर्शाया गया {{mvar|m}}, जहाँ {{math|0 < ''m'' < ''n''}}, कंप्यूटिंग {{math|''S'' {{=}} ''m''<sup>''e''</sup> (mod ''n'')}} द्वारा एन्क्रिप्ट किया गया है |


इसे कंप्यूटिंग द्वारा डिक्रिप्ट किया जाता है {{math|''t'' {{=}} ''S''<sup>''d''</sup> (mod ''n'')}}. यूलर के प्रमेय का उपयोग यह दिखाने के लिए किया जा सकता है कि यदि {{math|0 < ''t'' < ''n''}}, तब {{math|''t'' {{=}} ''m''}}.
इसे कंप्यूटिंग {{math|''t'' {{=}} ''S''<sup>''d''</sup> (mod ''n'')}} द्वारा डिक्रिप्ट किया जाता है | यूलर के प्रमेय का उपयोग यह दिखाने के लिए किया जा सकता है कि यदि {{math|0 < ''t'' < ''n''}}, तब {{math|''t'' {{=}} ''m''}}.


संख्या होने पर RSA सिस्टम की सुरक्षा से समझौता किया जाएगा {{mvar|n}} को कुशलता से फैक्टर किया जा सकता है या यदि {{math|''φ''(''n'')}} बिना फैक्टरिंग के कुशलता से गणना की जा सकती है {{mvar|n}}.
संख्या होने पर आरएसए प्रणाली की सुरक्षा से समझौता किया जाएगा {{mvar|n}} को कुशलता से फैक्टर किया जा सकता है या यदि {{math|''φ''(''n'')}} बिना फैक्टरिंग के कुशलता से {{mvar|n}} गणना की जा सकती है |


== अनसुलझी समस्याएं ==
== अनसुलझी समस्याएं ==
Line 360: Line 354:
=== लेहमर का अनुमान ===
=== लेहमर का अनुमान ===


{{main article|Lehmer's totient problem}}
{{main article|लेहमर की समस्या}}
 
अगर {{mvar|p}} प्रधान है, तो {{math|''φ''(''p'') {{=}} ''p'' − 1}}. 1932 में डी. एच. लेहमर ने पूछा कि क्या कोई मिश्रित संख्याएँ हैं {{mvar|n}} ऐसा है कि {{math|''φ''(''n'') }} विभाजित करता है {{math|''n'' − 1}}. कोई नहीं जानता।<ref>Ribenboim, pp. 36–37.</ref>
1933 में उन्होंने साबित कर दिया कि अगर कोई ऐसा है {{mvar|n}} मौजूद है, यह विषम, वर्ग रहित और कम से कम सात अभाज्य संख्याओं से विभाज्य होना चाहिए (अर्थात {{math|''ω''(''n'') ≥ 7}}). 1980 में कोहेन और हागिस ने यह साबित कर दिया {{math|''n'' > 10<sup>20</sup>}} ओर वो {{math|''ω''(''n'') ≥ 14}}.<ref>{{cite journal | zbl=0436.10002 | last1=Cohen | first1=Graeme L. | last2=Hagis | first2=Peter Jr. | title=On the number of prime factors of {{mvar|n}} if {{math|''φ''(''n'')}} divides {{math|''n'' − 1}} | journal=Nieuw Arch. Wiskd. |series=III Series | volume=28 | pages=177–185 | year=1980 | issn=0028-9825 }}</ref> आगे, हैगिस ने दिखाया कि यदि 3 विभाजित होता है {{mvar|n}} तब {{math|''n'' > 10<sup>1937042</sup>}} और {{math|''ω''(''n'') ≥ 298848}}.<ref>{{cite journal | zbl=0668.10006 | last=Hagis | first=Peter Jr. | title=On the equation {{math|''M''·φ(''n'') {{=}} ''n'' − 1}} | journal=Nieuw Arch. Wiskd. |series=IV Series | volume=6 | number=3 | pages=255–261 | year=1988 | issn=0028-9825 }}</ref><ref name=Guy142>Guy (2004) p.142</ref>


यदि {{mvar|p}} प्रधान है, तो {{math|''φ''(''p'') {{=}} ''p'' − 1}}. 1932 में डी. एच. लेहमर ने पूछा कि क्या कोई मिश्रित संख्याएँ {{mvar|n}} हैं | ऐसा है कि {{math|''φ''(''n'') }} विभाजित करता है {{math|''n'' − 1}}. कोई नहीं जानता है।<ref>Ribenboim, pp. 36–37.</ref>


1933 में उन्होंने सिद्ध कर दिया कि यदि कोई ऐसा {{mvar|n}} उपस्थित है, यह विषम, वर्ग रहित और कम से कम सात अभाज्य संख्याओं से विभाज्य होना चाहिए (अर्थात {{math|''ω''(''n'') ≥ 7}}). 1980 में कोहेन और हागिस ने यह सिद्ध कर दिया {{math|''n'' > 10<sup>20</sup>}} ओर वो {{math|''ω''(''n'') ≥ 14}}.<ref>{{cite journal | zbl=0436.10002 | last1=Cohen | first1=Graeme L. | last2=Hagis | first2=Peter Jr. | title=On the number of prime factors of {{mvar|n}} if {{math|''φ''(''n'')}} divides {{math|''n'' − 1}} | journal=Nieuw Arch. Wiskd. |series=III Series | volume=28 | pages=177–185 | year=1980 | issn=0028-9825 }}</ref> आगे, हैगिस ने दिखाया कि यदि 3 विभाजित होता है | {{mvar|n}} तब {{math|''n'' > 10<sup>1937042</sup>}} और {{math|''ω''(''n'') ≥ 298848}}.<ref>{{cite journal | zbl=0668.10006 | last=Hagis | first=Peter Jr. | title=On the equation {{math|''M''·φ(''n'') {{=}} ''n'' − 1}} | journal=Nieuw Arch. Wiskd. |series=IV Series | volume=6 | number=3 | pages=255–261 | year=1988 | issn=0028-9825 }}</ref><ref name="Guy142">Guy (2004) p.142</ref> |
=== कारमाइकल का अनुमान ===
=== कारमाइकल का अनुमान ===


{{main article|Carmichael's totient function conjecture}}
{{main article|कारमाइकल का कार्य अनुमान}}
 
यह बताता है कि कोई संख्या नहीं है {{mvar|n}} संपत्ति के साथ कि अन्य सभी नंबरों के लिए {{mvar|m}}, {{math|''m'' ≠ ''n''}}, {{math|''φ''(''m'') ≠ ''φ''(''n'')}}. ऊपर #Ford's theorem|Ford's theorem देखें।
 
जैसा कि मुख्य लेख में कहा गया है, यदि इस अनुमान के लिए एक एकल प्रति उदाहरण है, तो असीम रूप से कई प्रति उदाहरण होने चाहिए, और सबसे छोटे वाले के पास आधार 10 में कम से कम दस अरब अंक हैं।<ref name=Guy144/>


यह बताता है कि कोई संख्या नहीं है {{mvar|n}} गुण के साथ कि अन्य सभी नंबरों के लिए {{mvar|m}}, {{math|''m'' ≠ ''n''}}, {{math|''φ''(''m'') ≠ ''φ''(''n'')}}. ऊपर फोर्ड की प्रमेय देखें।


जैसा कि मुख्य लेख में कहा गया है, यदि इस अनुमान के लिए एकल प्रति उदाहरण है, तो असीम रूप से कई प्रति उदाहरण होने चाहिए, और सबसे छोटे वाले के पास आधार 10 में कम से कम दस अरब अंक हैं।<ref name=Guy144/>
=== रीमैन परिकल्पना ===
=== रीमैन परिकल्पना ===


रीमैन परिकल्पना सच है अगर और केवल अगर असमानता
रीमैन परिकल्पना सही है यदि और केवल यदि असमानता है |
:<math>\frac{n}{\varphi (n)}<e^\gamma \log\log n+\frac{e^\gamma (4+\gamma-\log 4\pi)}{\sqrt{\log n}}</math>
:<math>\frac{n}{\varphi (n)}<e^\gamma \log\log n+\frac{e^\gamma (4+\gamma-\log 4\pi)}{\sqrt{\log n}}</math>
सभी के लिए सत्य है {{math|''n'' ≥ ''p''<sub>120569</sub>#}} कहाँ {{mvar|γ}} यूलर स्थिरांक है और {{math|''p''<sub>120569</sub>#}} प्राथमिक है {{math|120569}} प्राइम्स।<ref>{{Cite book |last1=Broughan |first1=Kevin |title=Equivalents of the Riemann Hypothesis, Volume One: Arithmetic Equivalents |publisher=Cambridge University Press |year=2017 |edition=First |isbn=978-1-107-19704-6}} Corollary 5.35</ref>
सभी {{math|''n'' ≥ ''p''<sub>120569</sub>#}} के लिए सत्य है | जहाँ {{mvar|γ}} यूलर स्थिरांक है और {{math|''p''<sub>120569</sub>#}} प्राथमिक {{math|120569}} अभाज्य संख्याओं का गुणनफल है।<ref>{{Cite book |last1=Broughan |first1=Kevin |title=Equivalents of the Riemann Hypothesis, Volume One: Arithmetic Equivalents |publisher=Cambridge University Press |year=2017 |edition=First |isbn=978-1-107-19704-6}} Corollary 5.35</ref>
 
 
== यह भी देखें ==
== यह भी देखें ==
* [[कारमाइकल समारोह]]
* [[कारमाइकल समारोह|कारमाइकल फलन]]
* डफिन-शेफ़र अनुमान
* डफिन-शेफ़र अनुमान
*Fermat की छोटी प्रमेय#सामान्यीकरण|Fermat की छोटी प्रमेय का सामान्यीकरण
*फर्मेट की छोटी प्रमेय सामान्यीकरण फर्मेट की छोटी प्रमेय का सामान्यीकरण
* अत्यधिक समग्र संख्या
* अत्यधिक समग्र संख्या
*पूर्णांक मॉड्यूलो का गुणक समूह n|पूर्णांक मॉड्यूलो का गुणक समूह {{mvar|n}}
*पूर्णांक मॉड्यूलो का गुणक समूह n|पूर्णांक मॉड्यूलो का गुणक समूह {{mvar|n}}
* मैं [[रामनुजन शूम]]
* [[रामनुजन शूम]]
* [[संपूर्ण सारांश समारोह]]
* [[संपूर्ण सारांश समारोह|संपूर्ण सारांश फलन]]
*डेडेकाइंड का साई फंक्शन
*डेडेकाइंड का साई फलन


== टिप्पणियाँ ==
== टिप्पणियाँ ==
Line 507: Line 496:




==बाहरी संबंध==<!-- This section is linked from [[Euler's totient function]] -->
==बाहरी संबंध==
* {{springer|title=Totient function|id=p/t110040}}
* {{springer|title=Totient function|id=p/t110040}}
*[http://mathcenter.oxford.emory.edu/site/math125/chineseRemainderTheorem/ Euler's Phi Function and the Chinese Remainder Theorem — proof that {{math|''φ''(''n'')}} is multiplicative]
*[http://mathcenter.oxford.emory.edu/site/math125/chineseRemainderTheorem/ Euler's φ Function and the Chinese Remainder Theorem — proof that {{math|''φ''(''n'')}} is multiplicative]
*[http://www.javascripter.net/math/calculators/eulertotientfunction.htm Euler's totient function calculator in JavaScript — up to 20 digits]
*[http://www.javascripter.net/math/calculators/eulertotientfunction.htm Euler's टोटिएंट function calculator in JavaScript — up to 20 digits]
*Dineva, Rosica, [http://www.mtholyoke.edu/~robinson/reu/reu05/rdineva1.pdf The Euler Totient, the Möbius, and the Divisor Functions]
*Dineva, Rosica, [http://www.mtholyoke.edu/~robinson/reu/reu05/rdineva1.pdf The Euler Totient, the Möbius, and the Divisor Functions]
*Plytage, Loomis, Polhill [http://facstaff.bloomu.edu/jpolhill/cmj034-042.pdf Summing Up The Euler Phi Function]
*Plytage, Loomis, Polhill [http://facstaff.bloomu.edu/jpolhill/cmj034-042.pdf Summing Up The Euler φ Function]


{{Totient}}
{{Totient}}
[[Category: मॉड्यूलर अंकगणित]] [[Category: गुणक कार्य]] [[Category: प्रमाण युक्त लेख]] [[Category: बीजगणित]] [[Category: संख्या सिद्धांत]] [[Category: लियोनहार्ड यूलर]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:CS1 Deutsch-language sources (de)]]
[[Category:Collapse templates]]
[[Category:Created On 26/04/2023]]
[[Category:Created On 26/04/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Missing redirects]]
[[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 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:संख्या सिद्धांत]]

Latest revision as of 17:54, 17 May 2023

के पहले हजार मान φ(n). शीर्ष रेखा पर बिंदु दर्शाते हैं φ(p) कब p अभाज्य संख्या है, जो है p − 1.[1]

संख्या सिद्धांत में, यूलर का कुल फलन किसी दिए गए पूर्णांक तक धनात्मक पूर्णांकों n की गणना करता है | जो n अपेक्षाकृत प्रमुख हैं | इसे ग्रीक अक्षर φ का प्रयोग या के रूप में लिखा गया है, और इसे यूलर का φ फलन भी कहा जा सकता है। दूसरे शब्दों में, यह 1 ≤ kn पूर्णांकों k की संख्या है | जिसके लिए सबसे बड़ा सामान्य भाजक gcd(n, k) 1 के समान है। [2][3] इस रूप के पूर्णांक k को कभी-कभी n के योग के रूप में संदर्भित किया जाता है |

उदाहरण के लिए n = 9 के योग छह संख्याएँ 1, 2, 4, 5, 7 और 8 हैं। वे सभी 9 से अपेक्षाकृत अभाज्य हैं | किन्तु इस श्रेणी में अन्य तीन संख्याएँ, 3, 6 और 9 नहीं हैं | क्योंकि gcd(9, 3) = gcd(9, 6) = 3 इसलिए φ(9) = 6. एक अन्य उदाहरण के रूप में φ(1) = 1 क्योंकि n = 1 के लिए केवल पूर्णांक है 1 से n तक की सीमा 1 ही है, और gcd(1, 1) = 1 है।

यूलर का कुल फलन एक गुणक फलन है | जिसका अर्थ है कि यदि दो संख्याएँ m और n अपेक्षाकृत अभाज्य हैं, तो φ(mn) = φ(m)φ(n).[4][5] यह फलन पूर्णांक मॉड्यूलो n (रिंग ) की इकाइयों के समूह का क्रम देता है। [6] इसका उपयोग आरएसए एन्क्रिप्शन प्रणाली को परिभाषित करने के लिए भी किया जाता है।

इतिहास, शब्दावली और अंकन

लियोनहार्ड यूलर ने 1763 में कार्य का प्रारंभ किया था। [7][8][9] चूँकि, उन्होंने उस समय इसे निरूपित करने के लिए किसी विशिष्ट प्रतीक का चयन नहीं किया था। यूलर ने 1784 के प्रकाशन में, ग्रीक अक्षर को चुनते हुए, कार्य का और अध्ययन किया था और π इसे निरूपित करने के लिए: उन्होंने लिखा πD से कम संख्याओं की भीड़ के लिए D, और जिसके साथ कोई उभयनिष्ठ भाजक नहीं है। [10] यह परिभाषा वर्तमान परिभाषा से टोटिएंट फलन D = 1 के लिए भिन्न होती है | किन्तु अन्यथा वही है। अब-मानक संकेतन [8][11] φ(A) गॉस के 1801 ग्रंथ अरिथमेटिक डिक्विजिशन से आता है | [12][13] चूँकि गॉस ने तर्क के चारों ओर कोष्ठक का उपयोग नहीं किया और φA लिखा था | इस प्रकार, इसे अधिकांशतः यूलर का φ फलन या केवल φ फलन कहा जाता है।

जेम्स जोसेफ सिल्वेस्टर ने 1879 में, इस कार्य के लिए टोटिएंट शब्द निर्मित किया था |,[14][15] इसलिए इसे यूलर के टोटिएंट फलन, यूलर टोटिएंट या यूलर के टोटिएंट के रूप में भी जाना जाता है। जॉर्डन का टोटिएंट फलन यूलर का सामान्यीकरण है।

कोटिटेंट n कों nφ(n) से परिभाषित किया जाता है | यह इससे कम या इसके समान धनात्मक पूर्णांकों की संख्या n की गणना करता है | जिसमें कम से कम अभाज्य संख्या n उभयनिष्ठ हो |

यूलर के टोटिएंट फलन की गणना

φ(n) की गणना के लिए कई सूत्र हैं |

यूलर का उत्पाद सूत्र

य़ह कहता है

जहां गुणनफल विभाजित होने वाली अलग-अलग अभाज्य संख्याओं n के ऊपर है | (संकेतन के लिए, अंकगणितीय फलन संकेतन देखें।) |

समतुल्य सूत्रीकरण है |

जहाँ के लिए (अर्थात, विशिष्ट अभाज्य संख्याएँ हैं।) का प्रमुख गुणनखंड है

इन सूत्रों का प्रमाण दो महत्वपूर्ण तथ्यों पर निर्भर करता है।

φ एक गुणक फलन है

इसका अर्थ है कि यदि gcd(m, n) = 1, तो φ(m) φ(n) = φ(mn)। उपपत्ति की रूपरेखा है | मान लीजिए A, B, C धनात्मक पूर्णांकों के समुच्चय हैं | जो क्रमशः m, n, mn के सहअभाज्य और उससे कम हैं,| जिससे |A| = φ(m), आदि फिर चीनी शेष प्रमेय द्वारा A × B और C के बीच एक आपत्ति है।

प्रमुख शक्ति तर्क के लिए φ का मान

यदि p अभाज्य है और k ≥ 1 है, तो

उपपत्ति: चूँकि p एक अभाज्य संख्या है | gcd(pk, m) के केवल संभावित मान 1, p, p2, ..., pk हैं, और gcd(pk, m) > 1 होने की एकमात्र विधि है | यदि m p का गुणज है जो m ∈ {p, 2p, 3p, ..., pk − 1p = pk} है और pk − 1 ऐसे गुणज हैं | जो pk से अधिक नहीं हैं। इसलिए अन्य pkpk − 1 संख्याएँ सभी pk से अपेक्षाकृत प्रमुख हैं।

यूलर के उत्पाद सूत्र का प्रमाण

अंकगणित का मौलिक प्रमेय कहता है कि यदि n > 1 अनूठी अभिव्यक्ति है | जहाँ p1 < p2 < ... < pr अभाज्य संख्याएँ हैं और प्रत्येक ki ≥ 1. (स्थिति n = 1 खाली गुणनफल से मेल खाता है।) के गुणात्मक गुण का बार-बार उपयोग करना φ और के लिए सूत्र φ(pk) देता है |

यह यूलर के उत्पाद सूत्र के दोनों संस्करण देता है।

वैकल्पिक प्रमाण जिसके लिए गुणात्मक गुण की आवश्यकता नहीं होती है | किन्तु समुच्चय पर प्रयुक्त समावेशन-बहिष्करण सिद्धांत का उपयोग करता है | प्रधान विभाजकों द्वारा विभाज्य पूर्णांकों के समुच्चय को छोड़कर बहिष्करण सिद्धांत का उपयोग करता है।

उदाहरण

शब्दों में: 20 के विशिष्ट अभाज्य गुणनखंड 2 और 5 हैं; 1 से 20 तक के बीस पूर्णांकों में से आधे 2 से विभाज्य हैं, दस को छोड़कर; उनमें से पाँचवाँ भाग 5 से विभाज्य है, जिससे आठ संख्याएँ 20 तक सहअभाज्य हो जाती हैं; ये हैं: 1, 3, 7, 9, 11, 13, 17, 19 है।

वैकल्पिक सूत्र केवल पूर्णांकों का उपयोग करता है:

फूरियर रूपांतरण

टोटिएंट महानतम सामान्य भाजक का असतत फूरियर रूपांतरण है | जिसका मूल्यांकन 1 पर किया जाता है।[16]

माना

जहाँ xk = gcd(k,n) के लिए k ∈ {1, ..., n}. तब

इस सूत्र का वास्तविक भाग है |

उदाहरण के लिए, का उपयोग करना और :

यूलर उत्पाद और विभाजक योग सूत्र के विपरीत, इसके कारकों n को जानने की आवश्यकता नहीं है | चूँकि, इसमें सबसे बड़े सामान्य विभाजक की गणना n सम्मिलित है और प्रत्येक धनात्मक पूर्णांक से कम n, जो वैसे भी गुणनखंड प्रदान करने के लिए पर्याप्त है।

भाजक योग

गॉस द्वारा स्थापित गुण ,[17] वह

जहां योग सभी सकारात्मक विभाजकों d का n से अधिक है | कई तरह से सिद्ध किया जा सकता है। (अंकगणितीय फलन नोटेशन सम्मेलनों के लिए अंकगणित देखें।)

प्रमाण यह ध्यान रखना है φ(d) चक्रीय समूह Cd के संभावित जनरेटर की संख्या के समान भी है | विशेष रूप से, यदि Cd = ⟨g साथ gd = 1, तब gk प्रत्येक k कोप्राइम से d के लिए जनरेटर है | चूंकि Cn का प्रत्येक तत्व चक्रीय उपसमूह उत्पन्न करता है और सभी उपसमूह CdCn ठीक Cn से φ(d) उत्पन्न होते हैं | सूत्र इस प्रकार है। [18] समतुल्य रूप से, सूत्र एकता के nवें मूल पर प्रयुक्त समान तर्क द्वारा प्राप्त किया जा सकता है |

सूत्र को प्राथमिक अंकगणित से भी प्राप्त किया जा सकता है। [19] उदाहरण के लिए, माना n = 20 और हर 20 के साथ 1 तक के सकारात्मक अंशों पर विचार करें |

उन्हें निम्नतम शब्दों में रखें:

ये बीस अंश सभी धनात्मक k/d ≤ 1 हैं | जिसके प्रत्येक भाजक हैं | d = 1, 2, 4, 5, 10, 20. प्रत्येक के रूप में 20 वाले अंश वे हैं जिनके अंश अपेक्षाकृत 20 तक हैं, अर्थात् 1/20, 3/20, 7/20, 9/20, 11/20, 13/20, 17/20, 19/20; परिभाषा के अनुसार φ(20) भिन्न है। इसी प्रकार,प्रत्येक 10 के साथ φ(10) भाजक अंश है और प्रत्येक भाजक 5 के साथ φ(5) अंश है | आदि इस प्रकार बीस अंशों का समुच्चय d 20 के लिए आकार के सबसमुच्चय में विभाजित होता है |

विभाजक योग सूत्र पर प्रयुक्त मोबियस उलटा देता है

जहाँ μ मोबियस फलन है, जिसके द्वारा परिभाषित गुणक फलन और है | प्रत्येक प्रधान के लिए p और k ≥ 2.के लिए परिभाषित है। यह सूत्र उत्पाद सूत्र से गुणा करके भी प्राप्त किया जा सकता है | उदाहरण:

कुछ मूल्य

पहले 100 मान (sequence A000010 in the OEIS) को नीचे तालिका और ग्राफ़ में दिखाया गया है:

पहले 100 मानों का ग्राफ़

:{| class="wikitable" style="text-align: right"

|+φ(n) for 1 ≤ n ≤ 100 ! + ! 1 || 2 || 3 || 4 || 5 || 6 || 7 || 8 || 9 || 10 |- ! 0 | 1 || 1 || 2 || 2 || 4 || 2 || 6 || 4 || 6 || 4 |- ! 10 | 10 || 4 || 12 || 6 || 8 || 8 || 16 || 6 || 18 || 8 |- ! 20 | 12 || 10 || 22 || 8 || 20 || 12 || 18 || 12 || 28 || 8 |- ! 30 | 30 || 16 || 20 || 16 || 24 || 12 || 36 || 18 || 24 || 16 |- ! 40 | 40 || 12 || 42 || 20 || 24 || 22 || 46 || 16 || 42 || 20 |- ! 50 | 32 || 24 || 52 || 18 || 40 || 24 || 36 || 28 || 58 || 16 |- ! 60 | 60 || 30 || 36 || 32 || 48 || 20 || 66 || 32 || 44 || 24 |- ! 70 | 70 || 24 || 72 || 36 || 40 || 36 || 60 || 24 || 78 || 32 |- ! 80 | 54 || 40 || 82 || 24 || 64 || 42 || 56 || 40 || 88 || 24 |- ! 90 | 72 || 44 || 60 || 46 || 72 || 32 || 96 || 42 || 60 || 40 |}

शीर्ष रेखा के दाईं ओर ग्राफ़ में y = n − 1 ऊपरी सीमा है जो सभी के लिए मान्य है n के अतिरिक्त, और यदि और केवल यदि प्राप्त किया n अभाज्य संख्या है। साधारण निचली सीमा है , जो ढीला है: वास्तव में, ग्राफ की सीमा श्रेष्ठ और n/log log n सीमा हीन आनुपातिक है |[20]

यूलर प्रमेय

इसमें कहा गया है कि यदि a और n तब अपेक्षाकृत प्रमुख हैं |

विशेष स्थिति जहां n प्राइम है जिसे फर्मेट की छोटी प्रमेय के रूप में जाना जाता है।

यह लैग्रेंज के प्रमेय (समूह सिद्धांत) और φ(n) इस तथ्य से आता है | पूर्णांक मॉड्यूलो के गुणक समूह का क्रम (समूह सिद्धांत) n है |

आरएसए (एल्गोरिदम) इस प्रमेय पर आधारित है: इसका तात्पर्य है कि फलन का उलटा कार्य aae mod n, जहाँ e (सार्वजनिक) एन्क्रिप्शन प्रतिपादक है, कार्य है bbd mod n, जहाँ d, (निजी) डिक्रिप्शन एक्सपोनेंट, का गुणात्मक व्युत्क्रम है | e मापांक φ(n). कंप्यूटिंग की कठिनाई φ(n) के गुणनखंड को जाने बिना n इस प्रकार कंप्यूटिंग की कठिनाई d है | इसे आरएसए समस्या के रूप में जाना जाता है जिसे फैक्टरिंग n द्वारा हल किया जा सकता है | निजी कुंजी का स्वामी गुणनखंडन को जानता है | क्योंकि आरएसए निजी कुंजी को चुनकर बनाया जाता है | n दो (यादृच्छिक रूप से चुने गए) बड़े प्राइम्स के उत्पाद के रूप में p और q. केवल n सार्वजनिक रूप से प्रकट किया गया है, और पूर्णांक गुणनखंडन को देखते हुए हमारे पास गारंटी है कि किसी और को गुणनखंडन के बारे में पता नहीं है।

अन्य सूत्र

विशेष रूप से:

इसकी तुलना सूत्र से करें (लघुतम समापवर्त्य देखें)।


φ(n) के लिए भी है n ≥ 3.

इसके अतिरिक्त, यदि n है r विशिष्ट विषम अभाज्य कारक, {{math|2r | φ(n)}

  • किसी के लिए a > 1 और n > 6 ऐसा है कि 4 ∤ n वहाँ उपस्थित है l ≥ 2n ऐसा है कि l | φ(an − 1).
  • जहाँ rad(n) पूर्णांक का मूलांक है | n (विभाजन करने वाले सभी विशिष्ट अभाज्य संख्याओं का गुणनफल n).

  •  [21]

     ([22] में उद्धृत करना[23])

     [22]

     [24]

     [24]

    (जहाँ γ यूलर-माशेरोनी स्थिरांक है)।

    जहाँ m > 1 सकारात्मक पूर्णांक है और ω(m) के विशिष्ट प्रमुख कारकों की संख्या m है |[25]

    मेनन की पहचान

    1965 में पी. केसव मेनन ने सिद्ध किया है |

    : : : : : : : : : : : : : : : : : : : : : : : :

    जहाँ d(n) = σ0(n) के विभाजकों की संख्या n है |

    कार्य उत्पन्न करना

    डिरिचलेट श्रृंखला के लिए φ(n) को रीमैन जीटा फलन के रूप में लिखा जा सकता है |[26]

    जहां बाईं ओर के लिए अभिसरण होता है .

    लैम्बर्ट श्रृंखला जनरेटिंग फलन है [27]

    जो |q| < 1 के लिए अभिसरण करता है .

    ये दोनों प्रारंभिक श्रृंखला जोड़तोड़ और φ(n) के लिए सूत्रों द्वारा सिद्ध होते हैं |

    विकास दर

    हार्डी एंड राइट के शब्दों में,φ(n) का क्रम सदैव 'लगभग' n होता है |[28] पहला [29]

    किन्तु जैसे n सभी δ > 0 के लिए अनंत तक जाता है |[30]

    इन दोनों सूत्रों को φ(n) और भाजक फलन σ(n). सूत्र से थोड़ा अधिक प्रयोग करके सिद्ध किया जा सकता है |

    वास्तव में, दूसरे सूत्र के प्रमाण के समय, असमानता होती है |

    सही है n > 1,के लिए सिद्ध होता है।

    हमारे पास भी है [20]

    यहाँ γ यूलर-मास्चेरोनी स्थिरांक है | यूलर स्थिरांक, γ = 0.577215665..., इसलिए eγ = 1.7810724... और eγ = 0.56145948....

    इसे सिद्ध करने के लिए अभाज्य संख्या प्रमेय की आवश्यकता नहीं है। [31][32] तब से log log n अनंत तक जाता है, यह सूत्र बताता है

    वास्तव में, अधिक सत्य है। [33][34][35]

    और

    दूसरी असमानता जीन लुइस निकोलस द्वारा प्रदर्शित की गई थी। रिबेनबोइम कहते हैं कि प्रमाण की विधि रोचक है, इसमें असमानता को पहले इस धारणा के अनुसार दिखाया गया है कि रीमैन परिकल्पना सत्य है, दूसरी विपरीत धारणा के अनुसार ये भी सही है।[35]: 173 

    औसत आदेश के लिए, हमारे पास है |[22][36]

    अर्नोल्ड वाल्फिज़ के कारण, इसका प्रमाण इवान मटेवेविच विनोग्रादोव के कारण घातीय रकम पर अनुमानों का उपयोग करता है | एम. विनोग्रादोव और एन. एम. कोरोबोव है।

    वैन डेर कॉर्पुट और विनोग्रादोव के विधियों के संयोजन से, H.-Q. लियू (ऑन यूलर फलन। प्रोक। रॉय। सोक। एडिनबर्ग सेक्ट। ए 146 (2016), नंबर 4, 769-775) त्रुटि शब्द में सुधार किया है |

    (यह वर्तमान में इस प्रकार का सबसे अच्छा ज्ञात अनुमान है)। बिग ओ नोटेशन बड़ा O ऐसी मात्रा के लिए खड़ा है जो निरंतर समय के कार्य n से बंधी है कोष्ठक के अंदर (जो की n2 तुलना में छोटा है).

    इस परिणाम का उपयोग सिद्ध करने के लिए किया जा सकता है | [37] यादृच्छिक रूप से चुनी गई दो संख्याओं के अपेक्षाकृत 6/π2 अभाज्य होने की प्रायिकता है |

    निरंतर मूल्यों का अनुपात

    1950 में सोमयाजुलु सिद्ध हुआ | [38][39]

    1954 में एंड्रयू शिंजेल और वाक्लाव सिएरपिन्स्की ने इसे सिद्ध करते हुए इसे शक्तिशाली किया | [38][39]

    वह समुच्चय धनात्मक वास्तविक संख्याओं में सघन समुच्चय है। वे सिद्ध भी हुए है |[38]

    वह समुच्चय अंतराल (0,1) में सघन है।

    कुल संख्या

    टोटिएंट नंबर यूलर के टोटिएंट फलन का मान है | अर्थात, a m जिसके लिए कम से कम n है | जिसके लिए φ(n) = m. कुल संख्या की संयोजकता या बहुलता m इस समीकरण के समाधान की संख्या है। [40] नॉनटोटिएंट प्राकृतिक संख्या है जो टोटिएंट संख्या नहीं है। 1 से अधिक प्रत्येक विषम पूर्णांक तुच्छ रूप से गैर-परमाणु है। यहाँ अपरिमित रूप से बहुत से अचिंतक भी हैं |[41] और वास्तव में प्रत्येक धनात्मक पूर्णांक का गुणज होता है जो सम अचिंतक होता है।[42]

    दी गई सीमा तक कुल संख्याओं की संख्या x है |

    स्थिर के लिए C = 0.8178146....[43] है |

    यदि बहुलता के अनुसार गिना जाता है, तो दी गई सीमा तक कुल संख्याओं की संख्या x है

    जहां त्रुटि शब्द R अधिक से अधिक क्रम में x/(log x)k है | किसी भी सकारात्मक k के लिए .[44] यह ज्ञात है कि की बहुलता m से अधिक है mδ असीम रूप से अधिकांशतः किसी के लिए δ < 0.55655.[45][46] है |

    फोर्ड की प्रमेय

    फोर्ड (1999) ने सिद्ध किया कि प्रत्येक पूर्णांक k ≥ 2 के लिए बहुलता k का एक कुल संख्या m है | अर्थात, जिसके लिए समीकरण φ(n) = m का बिल्कुल k समाधान है | यह परिणाम पहले वैक्लाव सिएरपिन्स्की द्वारा अनुमानित किया गया था,|[47] और इसे शिंजेल की परिकल्पना एच के परिणाम के रूप में प्राप्त किया गया था। [43] वास्तव में, प्रत्येक बहुलता जो घटित होती है, अनंत बार होती है। [43][46]

    चूँकि, कोई संख्या नहीं m बहुलता से जाना जाता है | k = 1. कारमाइकल का संपूर्ण कार्य अनुमान यह कथन है कि ऐसा कोई m नहीं है |.[48]

    पूर्ण सम संख्याएं

    पूर्ण कुल संख्या एक पूर्णांक है जो इसके पुनरावृत्त कुलों के योग के समान है। अर्थात्, हम टोटिएंट फलन को संख्या n पर प्रयुक्त करते हैं, इसे परिणामी टोटिएंट पर फिर से प्रयुक्त करते हैं, और इसी तरह, जब तक कि संख्या 1 तक नहीं पहुंच जाती है, और संख्याओं के परिणामी क्रम को साथ जोड़ देते हैं; यदि योग n के समान है, तो n पूर्ण पूर्ण संख्या है।

    अनुप्रयोग

    साइक्लोटॉमी

    डिसक्विजिशन अरिथमेटिका के अंतिम खंड में [49][50] गॉस सिद्ध करता है | [51] कि नियमित n-गॉन का निर्माण स्ट्रेटेज और कंपास से किया जा सकता है | यदि φ(n) 2 की शक्ति है। यदि n विषम अभाज्य संख्या की शक्ति है,| टोटिएंट के लिए सूत्र कहता है कि इसका टोटिएंट केवल दो की शक्ति हो सकता है | n पहली शक्ति है और n − 1 2 की शक्ति है। वे अभाज्य संख्याएँ जो 2 की शक्ति से अधिक होती हैं,| फर्मेट प्राइम कहलाती हैं, और केवल पाँच ज्ञात हैं: 3, 5, 17, 257, और 65537 है। फर्मेट और गॉस इनके बारे में जानते थे। कोई भी यह सिद्ध करने में सक्षम नहीं है कि क्या और भी हैं।

    इस प्रकार, नियमित n-गॉन का स्ट्रेटएज-एंड-कम्पास निर्माण होता है | यदि n विशिष्ट फर्मेट प्राइम्स और 2 की किसी भी शक्ति का उत्पाद है। पहले कुछ ऐसे n हैं |[52]

    2, 3, 4, 5, 6, 8, 10, 12, 15, 16, 17, 20, 24, 30, 32, 34, 40,... (sequence A003401 in the OEIS).

    अंकगणितीय प्रगति के लिए अभाज्य संख्या प्रमेय

    आरएसए क्रिप्टोप्रणाली

    आरएसए प्रणाली की स्थापना में बड़ी अभाज्य संख्याओं p और q, को चुनना n = pq और k = φ(n),की गणना करना और दो संख्याएँ e और d सम्मिलित है | कि ed ≡ 1 (mod k). संख्या n और e (एन्क्रिप्शन कुंजी ) जनता के लिए जारी की जाती हैं, और d (डिक्रिप्शन कुंजी ) को निजी रखा जाता है।

    संदेश, पूर्णांक द्वारा दर्शाया गया m, जहाँ 0 < m < n, कंप्यूटिंग S = me (mod n) द्वारा एन्क्रिप्ट किया गया है |

    इसे कंप्यूटिंग t = Sd (mod n) द्वारा डिक्रिप्ट किया जाता है | यूलर के प्रमेय का उपयोग यह दिखाने के लिए किया जा सकता है कि यदि 0 < t < n, तब t = m.

    संख्या होने पर आरएसए प्रणाली की सुरक्षा से समझौता किया जाएगा n को कुशलता से फैक्टर किया जा सकता है या यदि φ(n) बिना फैक्टरिंग के कुशलता से n गणना की जा सकती है |

    अनसुलझी समस्याएं

    लेहमर का अनुमान

    यदि p प्रधान है, तो φ(p) = p − 1. 1932 में डी. एच. लेहमर ने पूछा कि क्या कोई मिश्रित संख्याएँ n हैं | ऐसा है कि φ(n) विभाजित करता है n − 1. कोई नहीं जानता है।[53]

    1933 में उन्होंने सिद्ध कर दिया कि यदि कोई ऐसा n उपस्थित है, यह विषम, वर्ग रहित और कम से कम सात अभाज्य संख्याओं से विभाज्य होना चाहिए (अर्थात ω(n) ≥ 7). 1980 में कोहेन और हागिस ने यह सिद्ध कर दिया n > 1020 ओर वो ω(n) ≥ 14.[54] आगे, हैगिस ने दिखाया कि यदि 3 विभाजित होता है | n तब n > 101937042 और ω(n) ≥ 298848.[55][56] |

    कारमाइकल का अनुमान

    यह बताता है कि कोई संख्या नहीं है n गुण के साथ कि अन्य सभी नंबरों के लिए m, mn, φ(m) ≠ φ(n). ऊपर फोर्ड की प्रमेय देखें।

    जैसा कि मुख्य लेख में कहा गया है, यदि इस अनुमान के लिए एकल प्रति उदाहरण है, तो असीम रूप से कई प्रति उदाहरण होने चाहिए, और सबसे छोटे वाले के पास आधार 10 में कम से कम दस अरब अंक हैं।[40]

    रीमैन परिकल्पना

    रीमैन परिकल्पना सही है यदि और केवल यदि असमानता है |

    सभी np120569# के लिए सत्य है | जहाँ γ यूलर स्थिरांक है और p120569# प्राथमिक 120569 अभाज्य संख्याओं का गुणनफल है।[57]

    यह भी देखें

    • कारमाइकल फलन
    • डफिन-शेफ़र अनुमान
    • फर्मेट की छोटी प्रमेय सामान्यीकरण फर्मेट की छोटी प्रमेय का सामान्यीकरण
    • अत्यधिक समग्र संख्या
    • पूर्णांक मॉड्यूलो का गुणक समूह n|पूर्णांक मॉड्यूलो का गुणक समूह n
    • रामनुजन शूम
    • संपूर्ण सारांश फलन
    • डेडेकाइंड का साई फलन

    टिप्पणियाँ

    1. "Euler's totient function". Khan Academy. Retrieved 2016-02-26.
    2. Long (1972, p. 85)
    3. Pettofrezzo & Byrkit (1970, p. 72)
    4. Long (1972, p. 162)
    5. Pettofrezzo & Byrkit (1970, p. 80)
    6. See Euler's theorem.
    7. L. Euler "Theoremata arithmetica nova methodo demonstrata" (An arithmetic theorem proved by a new method), Novi commentarii academiae scientiarum imperialis Petropolitanae (New Memoirs of the Saint-Petersburg Imperial Academy of Sciences), 8 (1763), 74–104. (The work was presented at the Saint-Petersburg Academy on October 15, 1759. A work with the same title was presented at the Berlin Academy on June 8, 1758). Available on-line in: Ferdinand Rudio, ed., Leonhardi Euleri Commentationes Arithmeticae, volume 1, in: Leonhardi Euleri Opera Omnia, series 1, volume 2 (Leipzig, Germany, B. G. Teubner, 1915), pages 531–555. On page 531, Euler defines n as the number of integers that are smaller than N and relatively prime to N (... aequalis sit multitudini numerorum ipso N minorum, qui simul ad eum sint primi, ...), which is the phi function, φ(N).
    8. 8.0 8.1 Sandifer, p. 203
    9. Graham et al. p. 133 note 111
    10. L. Euler, Speculationes circa quasdam insignes proprietates numerorum, Acta Academiae Scientarum Imperialis Petropolitinae, vol. 4, (1784), pp. 18–30, or Opera Omnia, Series 1, volume 4, pp. 105–115. (The work was presented at the Saint-Petersburg Academy on October 9, 1775).
    11. Both φ(n) and ϕ(n) are seen in the literature. These are two forms of the lower-case Greek letter phi.
    12. Gauss, Disquisitiones Arithmeticae article 38
    13. Cajori, Florian (1929). ए हिस्ट्री ऑफ़ मैथेमेटिकल नोटेशन वॉल्यूम II. Open Court Publishing Company. §409.
    14. J. J. Sylvester (1879) "On certain ternary cubic-form equations", American Journal of Mathematics, 2 : 357-393; Sylvester coins the term "totient" on page 361.
    15. "totient". Oxford English Dictionary (2nd ed.). Oxford University Press. 1989.
    16. Schramm (2008)
    17. Gauss, DA, art 39
    18. Gauss, DA art. 39, arts. 52-54
    19. Graham et al. pp. 134-135
    20. 20.0 20.1 Hardy & Wright 1979, thm. 328
    21. Dineva (in external refs), prop. 1
    22. 22.0 22.1 22.2 Walfisz, Arnold (1963). आधुनिक संख्या सिद्धांत में वेइल का घातीय योग. Mathematische Forschungsberichte (in Deutsch). Vol. 16. Berlin: VEB Deutscher Verlag der Wissenschaften. Zbl 0146.06003.
    23. Lomadse, G. (1964), "The scientific work of Arnold Walfisz" (PDF), Acta Arithmetica, 10 (3): 227–237, doi:10.4064/aa-10-3-227-237
    24. 24.0 24.1 Sitaramachandrarao, R. (1985). "लैंडौ II की त्रुटि अवधि पर". Rocky Mountain J. Math. 15 (2): 579–588. doi:10.1216/RMJ-1985-15-2-579.
    25. Bordellès in the external links
    26. Hardy & Wright 1979, thm. 288
    27. Hardy & Wright 1979, thm. 309
    28. Hardy & Wright 1979, intro to § 18.4
    29. Hardy & Wright 1979, thm. 326
    30. Hardy & Wright 1979, thm. 327
    31. In fact Chebyshev's theorem (Hardy & Wright 1979, thm.7) and Mertens' third theorem is all that is needed.
    32. Hardy & Wright 1979, thm. 436
    33. Theorem 15 of Rosser, J. Barkley; Schoenfeld, Lowell (1962). "Approximate formulas for some functions of prime numbers". Illinois J. Math. 6 (1): 64–94. doi:10.1215/ijm/1255631807.
    34. Bach & Shallit, thm. 8.8.7
    35. 35.0 35.1 Ribenboim (1989). "How are the Prime Numbers Distributed? §I.C The Distribution of Values of Euler's Function". द बुक ऑफ प्राइम नंबर रिकॉर्ड्स (2nd ed.). New York: Springer-Verlag. pp. 172–175. doi:10.1007/978-1-4684-0507-1_5. ISBN 978-1-4684-0509-5.
    36. Sándor, Mitrinović & Crstici (2006) pp.24–25
    37. Hardy & Wright 1979, thm. 332
    38. 38.0 38.1 38.2 Ribenboim, p.38
    39. 39.0 39.1 Sándor, Mitrinović & Crstici (2006) p.16
    40. 40.0 40.1 Guy (2004) p.144
    41. Sándor & Crstici (2004) p.230
    42. Zhang, Mingzhi (1993). "नास्तिकों पर". Journal of Number Theory. 43 (2): 168–172. doi:10.1006/jnth.1993.1014. ISSN 0022-314X. Zbl 0772.11001.
    43. 43.0 43.1 43.2 Ford, Kevin (1998). "टोटियों का वितरण". Ramanujan J. Developments in Mathematics. 2 (1–2): 67–151. arXiv:1104.3264. doi:10.1007/978-1-4757-4507-8_8. ISBN 978-1-4419-5058-1. ISSN 1382-4090. Zbl 0914.11053.
    44. Sándor et al (2006) p.22
    45. Sándor et al (2006) p.21
    46. 46.0 46.1 Guy (2004) p.145
    47. Sándor & Crstici (2004) p.229
    48. Sándor & Crstici (2004) p.228
    49. Gauss, DA. The 7th § is arts. 336–366
    50. Gauss proved if n satisfies certain conditions then the n-gon can be constructed. In 1837 Pierre Wantzel proved the converse, if the n-gon is constructible, then n must satisfy Gauss's conditions
    51. Gauss, DA, art 366
    52. Gauss, DA, art. 366. This list is the last sentence in the Disquisitiones
    53. Ribenboim, pp. 36–37.
    54. Cohen, Graeme L.; Hagis, Peter Jr. (1980). "On the number of prime factors of n if φ(n) divides n − 1". Nieuw Arch. Wiskd. III Series. 28: 177–185. ISSN 0028-9825. Zbl 0436.10002.
    55. Hagis, Peter Jr. (1988). "On the equation M·φ(n) = n − 1". Nieuw Arch. Wiskd. IV Series. 6 (3): 255–261. ISSN 0028-9825. Zbl 0668.10006.
    56. Guy (2004) p.142
    57. Broughan, Kevin (2017). Equivalents of the Riemann Hypothesis, Volume One: Arithmetic Equivalents (First ed.). Cambridge University Press. ISBN 978-1-107-19704-6. Corollary 5.35


    संदर्भ

    The Disquisitiones Arithmeticae has been translated from Latin into English and German. The German edition includes all of Gauss' papers on number theory: all the proofs of quadratic reciprocity, the determination of the sign of the Gauss sum, the investigations into biquadratic reciprocity, and unpublished notes.

    संदर्भ to the Disquisitiones are of the form Gauss, DA, art. nnn.


    बाहरी संबंध