Fungsi phi Euler: Perbedaan antara revisi
Tidak ada ringkasan suntingan Tag: VisualEditor Suntingan perangkat seluler Suntingan peramban seluler |
RaFaDa20631 (bicara | kontrib) k Moving from Category:Artikel yang berisi bukti to Category:Artikel yang memuat pembuktian using Cat-a-lot |
||
(32 revisi perantara oleh 10 pengguna tidak ditampilkan) | |||
Baris 1: | Baris 1: | ||
{{short description|Memberikan jumlah bilangan bulat yang relatif prima untuk masukannya}} |
|||
{{Redirect|Φ(n)||phi}}{{Periksa terjemahan}}[[Gambar:EulerPhi.svg|thumb|Seribu nilai pertama {{math|''φ''(''n'')}}. Titik di garis atas adalah {{Math|''φ''(''p'')}} bila {{mvar | p}} adalah bilangan prima, yaitu {{Math|''p'' − 1.}}<ref>{{Cite web |
|||
| url = https://www.khanacademy.org/computing/computer-science/cryptography/modern-crypt/v/euler-s-totient-function-phi-function |
|||
| title = Euler's totient function |
|||
| website = Khan Academy |
|||
| access-date = 2016-02-26 |
|||
}}</ref>]] |
|||
Dalam [[teori bilangan]], '''fungsi phi Euler''' ({{Lang-en|Euler's totient function}}) adalah fungsi yang menghitung bilangan bulat positif hingga diberikan bilangan bulat <math>n</math> yang [[Koprima (bilangan)|prima nisbi]] dengan <math>n</math>. Fungsi ini ditulis dengan menggunakan huruf Yunani, [[Fi|phi]], yang dilambangkan sebagai <math>\varphi(m)</math> atau <math>\phi(m)</math> menyatakan ''kardinal'' [[himpunan]] [[bilangan asli]] <math>1\leq n\leq m</math> dimana <math>\gcd(m,n) = 1</math>. |
|||
[[Bilangan bulat]] positif yang < 9 adalah 1, 2, 3, 4, 5, 6, 7, 8. Diantara bilangan-bilangan tersebut yang [[Koprima (bilangan)|saling prima]] terhadap 9 adalah 1, 2, 4, 5, 7, 8, maka banyaknya bilangan yang saling prima terhadap 9 adalah sebanyak 6 sehingga φ(9) = 6. |
|||
'''Fungsi Phi Euler''' ⍉{m} atau φ{m} menyatakan ''kardinal'' himpunan bilangan asli n < m dimana fpb(m,n) = 1. |
|||
Fungsi ini dikemukakan oleh [[Leonhard Euler]] (L. 15 April 1707, [[Konfederasi Swiss Lama|Swiss.]] w. 18 September 1783, [[Kekaisaran Rusia|Rusia]]). |
|||
== Identitas == |
|||
Dikemukakan oleh '''Leonhard Euler''' (L. 15 April 1707, Swiss. w. 18 September 1783, Rusia). Pada kisaran tahun 1750-an. |
|||
{{tanpa referensi|date=Juni 2021}}Terdapat beberapa identitas mengenai fungsi Euler phi, diantaranya: |
|||
* <math>\varphi(1) = 0</math>, <math>\varphi(2) = 1</math> |
|||
'''Contoh :''' |
|||
* <math>\varphi(p) = p - 1</math>, untuk <math>p</math> adalah bilangan prima |
|||
* <math>\varphi(mn) = \varphi(m) \varphi(n)</math> jika <math>\gcd(m,n) = 1</math> |
|||
Bilangan bulat positif yang 9 adalah 1, 2, 3, 4, 5, 6, 7, 8. Diantara bilangan-bilangan tersebut yang saling prima terhadap 9 adalah 1, 2, 4, 5, 7, 8, maka banyaknya bilangan yang saling prima terhadap 9 adalah sebanyak 6 sehingga ∅(9) = 6. |
|||
* <math>\varphi(p^n) = p^{n - 1} (p - 1)</math> |
|||
* <math>\varphi \left(\prod_{i = 1}^n p_i \right) = \prod_{i = 1}^n \left( p_i - 1 \right)</math> |
|||
== Rumus lainnya == |
|||
'''Identitas :''' |
|||
Apabila rumus lain mengenai fungsi Euler phi, diantaranya |
|||
* <math>a\mid b \implies \varphi(a)\mid\varphi(b)</math> |
|||
* <math> n \mid \varphi(a^n-1)</math>, untuk setiap <math>a, n > 1</math> |
|||
* <math>\varphi(m,n) = \varphi(m) \cdot \varphi(n)</math> |
|||
:Perhatikan kasus khusus |
|||
:* <math>\varphi(2m) = \begin{cases} |
|||
2\varphi(m) &\text{ jika } m \text{ adalah genap} \\ |
|||
\varphi(m) &\text{ jika } m \text{ adalah ganjil} |
|||
\end{cases}</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> Bandingkan dengan rumus |
|||
:* <math>\operatorname{lcm}(m,n)\cdot \operatorname{gcd}(m,n) = m \cdot n</math> |
|||
:(Lihat [[kelipatan persekutuan terkecil]].) |
|||
⍉(1) = 0 |
|||
* {{math|''φ''(''n'')}} genap untuk {{math|''n'' ≥ 3}}. Selain itu, jika {{mvar|n}} memiliki {{mvar|r}} faktor prima ganjil yang berbeda, {{math|2<sup>''r''</sup> {{!}} ''φ''(''n'')}} |
|||
⍉(2) = 1 |
|||
* Untuk {{math|''a'' > 1}} dan {{math|''n'' > 6}} sehingga {{math|4 ∤ ''n''}} terdapat {{math|''l'' ≥ 2''n''}} sedemikian sehingga {{math|''l'' {{!}} ''φ''(''a<sup>n</sup>'' − 1)}}. |
|||
* <math>\frac{\varphi(n)}{n}=\frac{\varphi(\operatorname{rad}(n))}{\operatorname{rad}(n)}</math> |
|||
:di mana <math>\operatorname{rad}(n)</math> adalah [[bilangan bulat radikal|radikal dari <math>n</math>]]. |
|||
* <math>\sum_{d \mid n} \frac{\mu^2(d)}{\varphi(d)} = \frac{n}{\varphi(n)}</math> <ref>Dineva (dalam referensi eksternal), prop. 1</ref> |
|||
* <math>\sum_{1\le k\le n \atop (k,n)=1}\!\!k = \tfrac12 n\varphi(n)</math>, untuk <math>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 | authorlink=Arnold Walfisz | title=Weylsche Exponentialsummen in der neueren Zahlentheorie | language=Jerman | series=Mathematische Forschungsberichte | volume=16 | location=Berlin | publisher=[[VEB Deutscher Verlag der Wissenschaften]] | year=1963 }}</ref> dikutip dalam<ref>{{citation | last = Lomadse | first = G. | title = The scientific work of Arnold Walfisz | journal = Acta Arithmetica | volume = 10 | issue = 3 | pages = 227–237 | url = http://matwbn.icm.edu.pl/ksiazki/aa/aa10/aa10111.pdf | accessdate = 2020-04-22 | archive-date = 2023-06-06 | archive-url = https://web.archive.org/web/20230606045537/http://matwbn.icm.edu.pl/ksiazki/aa/aa10/aa10111.pdf | dead-url = no }}</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/> |
|||
⍉(3) = 2 |
|||
* <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=On an error term of Landau II |journal=Rocky Mountain J. Math. |volume=15 |date=1985 |pages=579–588}}</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 /> |
|||
:(dengan <math>\gamma</math> adalah [[konstanta Euler–Mascheroni]]). |
|||
⍉(4) = 2 |
|||
* <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) = P - 1 |
|||
:dimana <math>m > 1</math> adalah bilangan bulat positif dan <math>\omega(m)</math> adalah jumlah faktor prima yang berbeda dari <math>m</math>.<ref>Bordellès di [[#Pranala luar|pranala luar]]</ref> |
|||
== Beberapa bilangan == |
|||
⍉(mn) = ⍉(m)⍉(n) |
|||
100 nilai pertama {{OEIS|A000010}} ditampilkan pada tabel dan grafik di bawah ini: |
|||
[[Berkas:EulerPhi100.svg|thumb|Grafik dari 100 nilai pertama]] |
|||
:{| class="wikitable" style="text-align: right" |
|||
|+<math>\varphi(n)</math> untuk <math>1 \le n \le 100</math> |
|||
! + |
|||
! 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 |
|||
|} |
|||
Dalam grafik di kanan atas baris <math>y = n - 1</math> adalah [[batas atas]] valid untuk semua <math>n</math> selain satu, dan dicapai jika dan hanya jika <math>n</math> adalah [[bilangan prima]]. Batas bawah sederhana adalah <math>\varphi(n) \ge \sqrt{\frac{n}{2}} </math>, yang agak longgar: sebenarnya, [[Limit superior dan limit inferior|lower limit]] dari grafik sebanding dengan <math>\frac{n}{\log \log n}</math>.<ref name="hw328"/> |
|||
{{clear}} |
|||
== Fungsi pembangkit == |
|||
[[Deret Dirichlet]] untuk <math>\varphi(n)</math> dapat ditulis dalam istilah [[fungsi zeta Riemann]] sebagai:<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> |
|||
Fungsi pembangkit [[deret Lambert]] adalah<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> |
|||
konvergen untuk <math>|q| < 1</math>. |
|||
Keduanya dibuktikan dengan manipulasi deret dasar dan rumus untuk <math>\varphi(n)</math>. |
|||
== Rasio bilangan berurutan == |
|||
Pada tahun 1950 Somayajulu membuktikan<ref name=Rib38>Ribenboim, p.38</ref><ref name=SMC16>Sándor, Mitrinović & Crstici (2006) p.16</ref> |
|||
:<math>\lim\inf \frac{\varphi(n+1)}{\varphi(n)} = 0</math> dan <math>\lim\sup \frac{\varphi(n+1)}{\varphi(n)}= \infty |
|||
</math> |
|||
Pada tahun 1954 [[Andrzej Schinzel|Schinzel]] dan [[Wacław Sierpiński|Sierpiński]] memperkuat ini, membuktikan<ref name=Rib38/><ref name=SMC16/> bahwa himpunan |
|||
:<math>\left\{\frac{\varphi(n+1)}{\varphi(n)},\;\;n = 1,2,\ldots\right\}</math> |
|||
adalah [[Himpunan padat|padat]] dalam [[bilangan riil]] positif. Mereka pun membuktikannya<ref name=Rib38/> bahwa himpunan |
|||
:<math>\left\{\frac{\varphi(n)}{n},\;\;n = 1,2,\ldots\right\}</math> |
|||
padat dalam interval <math>(0,1)</math>. |
|||
== Lihat pula == |
|||
* [[Fungsi Carmichael]] |
|||
* [[Konjektur Duffin–Schaeffer]] |
|||
*[[Teorema kecil Fermat#Generalisasi|Generalisasi teorema kecil Fermat]] |
|||
* [[Bilangan komposit tinggi]] |
|||
* [[Grup perkalian bilangan bulat modulo n|Grup perkalian bilangan bulat modulo {{mvar|n}}]] |
|||
* [[Jumlah Ramanujan]] |
|||
* [[Fungsi penjumlahan total]] |
|||
== Catatan == |
|||
{{Reflist}} |
|||
== Referensi == |
|||
{{refbegin|colwidth=30em}} |
|||
''[[Disquisitiones Arithmeticae]]'' telah diterjemahkan dari bahasa Latin ke dalam bahasa Inggris dan Jerman. Edisi Jerman mencakup semua makalah Gauss tentang teori bilangan: semua bukti timbal balik kuadrat, penentuan tanda jumlah Gauss, penyelidikan timbal balik biquadratic, dan catatan yang tidak diterbitkan. |
|||
Referensi ke ''Disquisitiones'' adalah dari bentuk Gauss, DA, art. ''nnn''. |
|||
*{{citation |
|||
| last1 = Abramowitz |
|||
| first1 = M. |
|||
| author1-link = Milton Abramowitz |
|||
| last2 = Stegun |
|||
| first2 = I. A. |
|||
| author2-link = Irene A. Stegun |
|||
| isbn = 0-486-61272-4 |
|||
| location = New York |
|||
| publisher = [[Dover Publications]] |
|||
| title = Handbook of Mathematical Functions |
|||
| year = 1964 |
|||
| url = https://archive.org/details/handbookofmathe000abra |
|||
}}. See paragraph 24.3.2. |
|||
*{{citation |
|||
| last1 = Bach | first1 = Eric | author1-link = Eric Bach |
|||
| last2 = Shallit | first2 = Jeffrey | author2-link = Jeffrey Shallit |
|||
| title = Algorithmic Number Theory (Vol I: Efficient Algorithms) |
|||
| publisher = [[The MIT Press]] |
|||
| location = Cambridge, MA |
|||
| year = 1996 |
|||
| isbn = 0-262-02405-5 |
|||
| zbl=0873.11070 |
|||
| series=MIT Press Series in the Foundations of Computing |
|||
}} |
|||
* Dickson, Leonard Eugene, "History Of The Theory Of Numbers", vol 1, chapter 5 "Euler's Function, Generalizations; Farey Series", Chelsea Publishing 1952 |
|||
*{{citation |
|||
| last = Ford | first = Kevin |
|||
| doi = 10.2307/121103 |
|||
| mr = 1715326 | zbl=0978.11053 |
|||
| issn= 0003-486X |
|||
| issue = 1 |
|||
| journal = [[Annals of Mathematics]] |
|||
| jstor = 121103 |
|||
| pages = 283–311 |
|||
| title = The number of solutions of φ(''x'') = ''m'' |
|||
| volume = 150 |
|||
| year = 1999}}. |
|||
*{{citation |
|||
| last1 = Gauss | first1 = Carl Friedrich | author1-link = Carl Friedrich Gauss |
|||
| last2 = Clarke | first2 = Arthur A. (translator into English) |
|||
| title = Disquisitiones Arithmeticae (Second, corrected edition) |
|||
| publisher = [[Springer Publishing|Springer]] |
|||
| location = New York |
|||
| year = 1986 |
|||
| isbn = 0-387-96254-9}} |
|||
*{{citation |
|||
| last1 = Gauss | first1 = Carl Friedrich | author1-link = Carl Friedrich Gauss |
|||
| last2 = Maser | first2 = H. (translator into German) |
|||
| title = Untersuchungen uber hohere Arithmetik (Disquisitiones Arithmeticae & other papers on number theory) (Second edition) |
|||
| publisher = Chelsea |
|||
| location = New York |
|||
| year = 1965 |
|||
| isbn = 0-8284-0191-8}} |
|||
*{{citation |
|||
| last1 = Graham | first1 = Ronald | author1-link = Ronald Graham |
|||
| last2 = Knuth | first2 = Donald | author2-link = Donald Knuth |
|||
| last3 = Patashnik | first3 = Oren | author3-link = Oren Patashnik |
|||
| title = [[Concrete Mathematics]]: a foundation for computer science |
|||
| edition=2nd |
|||
| publisher = Addison-Wesley |
|||
| location = Reading, MA |
|||
| year = 1994 |
|||
| isbn = 0-201-55802-5 | zbl=0836.00001}} |
|||
* {{citation | first=Richard K. | last=Guy | author-link=Richard K. Guy | title=Unsolved Problems in Number Theory | edition=3rd | publisher=[[Springer-Verlag]] | year=2004 | isbn=0-387-20860-7 | zbl=1058.11001 | series=Problem Books in Mathematics | location=New York, NY }} |
|||
*{{citation |
|||
| last1 = Hardy | first1 = G. H. | author1-link = G. H. Hardy |
|||
| last2 = Wright | first2 = E. M. | author2-link = E. M. Wright |
|||
| title = [[An Introduction to the Theory of Numbers]] |
|||
| edition = Fifth |
|||
| publisher = [[Oxford University Press]] |
|||
| location = Oxford |
|||
| year = 1979 |
|||
| isbn = 978-0-19-853171-5}} |
|||
* {{citation | first1 = Calvin T. | last1 = Long | year = 1972 | title = Elementary Introduction to Number Theory | edition = 2nd | publisher = [[D. C. Heath and Company]] | location = Lexington | lccn = 77-171950 }} |
|||
* {{citation | first1 = Anthony J. | last1 = Pettofrezzo | first2 = Donald R. | last2 = Byrkit | year = 1970 | title = Elements of Number Theory | publisher = [[Prentice Hall]] | location = Englewood Cliffs | lccn = 77-81766 }} |
|||
*{{citation |
|||
| last1 = Ribenboim | first1 = Paulo | author-link = Paulo Ribenboim |
|||
| title = The New Book of Prime Number Records | edition=3rd |
|||
| publisher = [[Springer Science+Business Media|Springer]] |
|||
| location = New York |
|||
| year = 1996 |
|||
| zbl=0856.11001 |
|||
| isbn = 0-387-94457-5}} |
|||
*{{citation |
|||
| last1 = Sandifer | first1 = Charles |
|||
| title = The early mathematics of Leonhard Euler |
|||
| publisher = MAA |
|||
| year = 2007 |
|||
| isbn = 0-88385-559-3}} |
|||
* {{citation | editor1-last=Sándor | editor1-first=József | editor2-last=Mitrinović | editor2-first=Dragoslav S. | editor3-last=Crstici |editor3-first=Borislav | title=Handbook of number theory I | location=Dordrecht | publisher=[[Springer-Verlag]] | year=2006 | isbn=1-4020-4215-9 | zbl=1151.11300 | pages=9–36}} |
|||
* {{cite book | last1=Sándor | first1=Jozsef | last2=Crstici | first2=Borislav | title=Handbook of number theory II | url=https://archive.org/details/handbooknumberth00sand_741 | url-access=limited | location=Dordrecht | publisher=Kluwer Academic | year=2004 | isbn=1-4020-2546-7 | zbl=1079.11001 | pages=[https://archive.org/details/handbooknumberth00sand_741/page/n179 179]–327 }} |
|||
*{{citation |
|||
| last = Schramm |
|||
| first = Wolfgang |
|||
| issue = 8(1) |
|||
| journal = Electronic Journal of Combinatorial Number Theory |
|||
| title = The Fourier transform of functions of the greatest common divisor |
|||
| volume = A50 |
|||
| year = 2008 |
|||
| url = http://www.integers-ejcnt.org/vol8.html |
|||
| accessdate = 2021-01-27 |
|||
| archive-date = 2009-05-01 |
|||
| archive-url = https://web.archive.org/web/20090501150001/http://www.integers-ejcnt.org/vol8.html |
|||
| dead-url = no |
|||
}}. |
|||
{{refend}} |
|||
== Pranala luar ==<!-- Bagian ini ditautkan dari [[fungsi total Euler]] --> |
|||
* {{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] {{Webarchive|url=https://web.archive.org/web/20210228071226/http://mathcenter.oxford.emory.edu/site/math125/chineseRemainderTheorem/ |date=2021-02-28 }} |
|||
*[http://www.javascripter.net/math/calculators/eulertotientfunction.htm Euler's totient function calculator in JavaScript — up to 20 digits] {{Webarchive|url=https://web.archive.org/web/20230706152617/http://www.javascripter.net/math/calculators/eulertotientfunction.htm |date=2023-07-06 }} |
|||
*Dineva, Rosica, [http://www.mtholyoke.edu/~robinson/reu/reu05/rdineva1.pdf The Euler Totient, the Möbius, and the Divisor Functions] {{Webarchive|url=https://web.archive.org/web/20210116061553/https://www.mtholyoke.edu/~robinson/reu/reu05/rdineva1.pdf |date=2021-01-16 }} |
|||
*Plytage, Loomis, Polhill [http://facstaff.bloomu.edu/jpolhill/cmj034-042.pdf Summing Up The Euler Phi Function] {{Webarchive|url=https://web.archive.org/web/20230523102207/http://facstaff.bloomu.edu/jpolhill/cmj034-042.pdf |date=2023-05-23 }} |
|||
{{Daftar fungsi matematika}} |
|||
[[Kategori:Aritmetika modular]] |
|||
[[Kategori:Fungsi perkalian]] |
|||
[[Kategori:Artikel yang memuat pembuktian]] |
|||
[[Kategori:Aljabar]] |
|||
[[Kategori:Teori bilangan]] |
|||
[[Kategori:Leonhard Euler]] |
Revisi terkini sejak 19 Agustus 2024 04.00
Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari Fungsi phi Euler di en.wiki-indonesia.club. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan. (Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat pula: panduan penerjemahan artikel) |
Dalam teori bilangan, fungsi phi Euler (bahasa Inggris: Euler's totient function) adalah fungsi yang menghitung bilangan bulat positif hingga diberikan bilangan bulat yang prima nisbi dengan . Fungsi ini ditulis dengan menggunakan huruf Yunani, phi, yang dilambangkan sebagai atau menyatakan kardinal himpunan bilangan asli dimana .
Bilangan bulat positif yang < 9 adalah 1, 2, 3, 4, 5, 6, 7, 8. Diantara bilangan-bilangan tersebut yang saling prima terhadap 9 adalah 1, 2, 4, 5, 7, 8, maka banyaknya bilangan yang saling prima terhadap 9 adalah sebanyak 6 sehingga φ(9) = 6.
Fungsi ini dikemukakan oleh Leonhard Euler (L. 15 April 1707, Swiss. w. 18 September 1783, Rusia).
Identitas
[sunting | sunting sumber]Terdapat beberapa identitas mengenai fungsi Euler phi, diantaranya:
- ,
- , untuk adalah bilangan prima
- jika
Rumus lainnya
[sunting | sunting sumber]Apabila rumus lain mengenai fungsi Euler phi, diantaranya
- , untuk setiap
- Perhatikan kasus khusus
- Bandingkan dengan rumus
- (Lihat kelipatan persekutuan terkecil.)
- φ(n) genap untuk n ≥ 3. Selain itu, jika n memiliki r faktor prima ganjil yang berbeda, 2r | φ(n)
- Untuk a > 1 dan n > 6 sehingga 4 ∤ n terdapat l ≥ 2n sedemikian sehingga l | φ(an − 1).
- di mana adalah radikal dari .
- (dengan adalah konstanta Euler–Mascheroni).
- dimana adalah bilangan bulat positif dan adalah jumlah faktor prima yang berbeda dari .[6]
Beberapa bilangan
[sunting | sunting sumber]100 nilai pertama (barisan A000010 pada OEIS) ditampilkan pada tabel dan grafik di bawah ini:
untuk + 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
Dalam grafik di kanan atas baris adalah batas atas valid untuk semua selain satu, dan dicapai jika dan hanya jika adalah bilangan prima. Batas bawah sederhana adalah , yang agak longgar: sebenarnya, lower limit dari grafik sebanding dengan .[7]
Fungsi pembangkit
[sunting | sunting sumber]Deret Dirichlet untuk dapat ditulis dalam istilah fungsi zeta Riemann sebagai:[8]
Fungsi pembangkit deret Lambert adalah[9]
konvergen untuk .
Keduanya dibuktikan dengan manipulasi deret dasar dan rumus untuk .
Rasio bilangan berurutan
[sunting | sunting sumber]Pada tahun 1950 Somayajulu membuktikan[10][11]
- dan
Pada tahun 1954 Schinzel dan Sierpiński memperkuat ini, membuktikan[10][11] bahwa himpunan
adalah padat dalam bilangan riil positif. Mereka pun membuktikannya[10] bahwa himpunan
padat dalam interval .
Lihat pula
[sunting | sunting sumber]- Fungsi Carmichael
- Konjektur Duffin–Schaeffer
- Generalisasi teorema kecil Fermat
- Bilangan komposit tinggi
- Grup perkalian bilangan bulat modulo n
- Jumlah Ramanujan
- Fungsi penjumlahan total
Catatan
[sunting | sunting sumber]- ^ "Euler's totient function". Khan Academy. Diakses tanggal 2016-02-26.
- ^ Dineva (dalam referensi eksternal), prop. 1
- ^ a b Walfisz, Arnold (1963). Weylsche Exponentialsummen in der neueren Zahlentheorie. Mathematische Forschungsberichte (dalam bahasa Jerman). 16. Berlin: VEB Deutscher Verlag der Wissenschaften. Zbl 0146.06003.
- ^ Lomadse, G., "The scientific work of Arnold Walfisz" (PDF), Acta Arithmetica, 10 (3): 227–237, diarsipkan (PDF) dari versi asli tanggal 2023-06-06, diakses tanggal 2020-04-22
- ^ a b Sitaramachandrarao, R. (1985). "On an error term of Landau II". Rocky Mountain J. Math. 15: 579–588.
- ^ Bordellès di pranala luar
- ^ Kesalahan pengutipan: Tag
<ref>
tidak sah; tidak ditemukan teks untuk ref bernamahw328
- ^ Hardy & Wright 1979, thm. 288
- ^ Hardy & Wright 1979, thm. 309
- ^ a b c Ribenboim, p.38
- ^ a b Sándor, Mitrinović & Crstici (2006) p.16
Referensi
[sunting | sunting sumber]Disquisitiones Arithmeticae telah diterjemahkan dari bahasa Latin ke dalam bahasa Inggris dan Jerman. Edisi Jerman mencakup semua makalah Gauss tentang teori bilangan: semua bukti timbal balik kuadrat, penentuan tanda jumlah Gauss, penyelidikan timbal balik biquadratic, dan catatan yang tidak diterbitkan.
Referensi ke Disquisitiones adalah dari bentuk Gauss, DA, art. nnn.
- Abramowitz, M.; Stegun, I. A. (1964), Handbook of Mathematical Functions, New York: Dover Publications, ISBN 0-486-61272-4. See paragraph 24.3.2.
- Bach, Eric; Shallit, Jeffrey (1996), Algorithmic Number Theory (Vol I: Efficient Algorithms), MIT Press Series in the Foundations of Computing, Cambridge, MA: The MIT Press, ISBN 0-262-02405-5, Zbl 0873.11070
- Dickson, Leonard Eugene, "History Of The Theory Of Numbers", vol 1, chapter 5 "Euler's Function, Generalizations; Farey Series", Chelsea Publishing 1952
- Ford, Kevin (1999), "The number of solutions of φ(x) = m", Annals of Mathematics, 150 (1): 283–311, doi:10.2307/121103, ISSN 0003-486X, JSTOR 121103, MR 1715326, Zbl 0978.11053.
- Gauss, Carl Friedrich; Clarke, Arthur A. (translator into English) (1986), Disquisitiones Arithmeticae (Second, corrected edition), New York: Springer, ISBN 0-387-96254-9
- Gauss, Carl Friedrich; Maser, H. (translator into German) (1965), Untersuchungen uber hohere Arithmetik (Disquisitiones Arithmeticae & other papers on number theory) (Second edition), New York: Chelsea, ISBN 0-8284-0191-8
- Graham, Ronald; Knuth, Donald; Patashnik, Oren (1994), Concrete Mathematics: a foundation for computer science (edisi ke-2nd), Reading, MA: Addison-Wesley, ISBN 0-201-55802-5, Zbl 0836.00001
- Guy, Richard K. (2004), Unsolved Problems in Number Theory, Problem Books in Mathematics (edisi ke-3rd), New York, NY: Springer-Verlag, ISBN 0-387-20860-7, Zbl 1058.11001
- Hardy, G. H.; Wright, E. M. (1979), An Introduction to the Theory of Numbers (edisi ke-Fifth), Oxford: Oxford University Press, ISBN 978-0-19-853171-5
- Long, Calvin T. (1972), Elementary Introduction to Number Theory (edisi ke-2nd), Lexington: D. C. Heath and Company, LCCN 77-171950
- Pettofrezzo, Anthony J.; Byrkit, Donald R. (1970), Elements of Number Theory, Englewood Cliffs: Prentice Hall, LCCN 77-81766
- Ribenboim, Paulo (1996), The New Book of Prime Number Records (edisi ke-3rd), New York: Springer, ISBN 0-387-94457-5, Zbl 0856.11001
- Sandifer, Charles (2007), The early mathematics of Leonhard Euler, MAA, ISBN 0-88385-559-3
- Sándor, József; Mitrinović, Dragoslav S.; Crstici, Borislav, ed. (2006), Handbook of number theory I, Dordrecht: Springer-Verlag, hlm. 9–36, ISBN 1-4020-4215-9, Zbl 1151.11300
- Sándor, Jozsef; Crstici, Borislav (2004). Handbook of number theory II. Dordrecht: Kluwer Academic. hlm. 179–327. ISBN 1-4020-2546-7. Zbl 1079.11001.
- Schramm, Wolfgang (2008), "The Fourier transform of functions of the greatest common divisor", Electronic Journal of Combinatorial Number Theory, A50 (8(1)), diarsipkan dari versi asli tanggal 2009-05-01, diakses tanggal 2021-01-27.
Pranala luar
[sunting | sunting sumber]- Hazewinkel, Michiel, ed. (2001) [1994], "Totient function", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
- Euler's Phi Function and the Chinese Remainder Theorem — proof that φ(n) is multiplicative Diarsipkan 2021-02-28 di Wayback Machine.
- Euler's totient function calculator in JavaScript — up to 20 digits Diarsipkan 2023-07-06 di Wayback Machine.
- Dineva, Rosica, The Euler Totient, the Möbius, and the Divisor Functions Diarsipkan 2021-01-16 di Wayback Machine.
- Plytage, Loomis, Polhill Summing Up The Euler Phi Function Diarsipkan 2023-05-23 di Wayback Machine.