Fungsi kuintik: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
Dedhert.Jr (bicara | kontrib)
k Dedhert.Jr memindahkan halaman Persamaan kuintik ke Fungsi kuintik
Putrianh (bicara | kontrib)
Fitur saranan suntingan: 3 pranala ditambahkan.
 
(6 revisi perantara oleh 4 pengguna tidak ditampilkan)
Baris 1:
{{In use}}[[Berkas:Quintic polynomial.svg|thumb|right|233px|Grafik polinomial dengan derajat 5, mempunyai tiga akar real dan empat [[titik kritis (matematika)|titik kritis]].]]
Dalam [[aljabar]], '''fungsi kuintik''' adalah [[fungsi (matematika)|fungsi]] berbentuk<math display="block">g(x)=ax^5+bx^4+cx^3+dx^2+ex+f,\,</math>dengan <math>a,b,c,d,e,f</math> merupakan anggota dari [[Lapangan (matematika)|lapangan]], Anggota tersebut secara umum berupa [[bilangan rasional]], [[bilangan real]] ataupun [[bilangan kompleks]], serta <math>a</math> bukan nol. Dengan kata lain, fungsi kuintik adalah suatu fungsi yang didefinisikan dengan sebuah [[polinomial]] dengan [[Derajat polinomial|derajat]] lima.
 
Baris 6:
Dengan menetapkan {{math|''g''(''x'') {{=}} 0}}, dan mengasumsi bahwa {{math|''a'' ≠ 0}}, akan menghasilkan '''persamaan kuintik''' dalam bentuk:<math display="block">ax^5+bx^4+cx^3+dx^2+ex+f=0.\,</math>
 
Memecahkan [[persamaan kuintik]] dalam bentuk [[Akar ke-n|akar]] adalah masalah utama dalam aljabar pada abad ke-16, ketika menemukan solusi dari [[persamaan kubik]] dan [[persamaan kuartik]]. Hingga pada setengah abad ke-19, kemustahilan untuk mendapatkan solusi umum dari polinomial tersebut dibuktikan dengan menggunakan [[teorema Abel–Ruffini]].
 
== Mencari akar dari persamaan kuintik ==
Baris 16:
== Persamaan kuintik yang terpecahkan ==
 
Beberapa persamaan kuintik dapat diselesaikan dalam bentuk akar, dan persamaan tersebut didefinisikan dengan polinomial [[polinomial tak tersederhanakan|tersederhanakan]], seperti {{math|''x''<sup>5</sup> − ''x''<sup>4</sup> − ''x'' + 1 {{=}} (''x''<sup>2</sup> + 1)(''x'' + 1)(''x'' − 1)<sup>2</sup>}}. Sebagai contoh, persamaan<math display="block">x^5-x-r=0</math>telah diperlihatkan<ref>Michele Elia and Piero Filipponi. "Equations of the Bring-Jerrard form, the golden section, and square Fibonacci numbers", ''Fibonacci Quarterly'' 36, June-July 1998, 282–286. http://www.fq.math.ca/Scanned/36-3/elia.pdf {{Webarchive|url=https://web.archive.org/web/20230417160819/https://www.fq.math.ca/Scanned/36-3/elia.pdf |date=2023-04-17 }}</ref> mempunyai solusi dalam ekspresi akar [[jika dan hanya jika]] persamaan tersebut mempunyai solusi [[bilangan bulat]] atau <math>r</math> bernilai ±15, ± 22440, atau ± 2759640. Pada kasus ini, polinomial tersebut dapat disederhanakan.
 
Penyelesaian persamaan kuintik tersederhanakan disederhanakan secara langung agar membentuk penyelesaian polinomial dengan derajat yang lebih kecil, sehingga yang tersisa hanyalah persamaan kuintik tak tersederhanakan. IstilahKarena itu, istilah "kuintik" hanya akan merujuk pada kuintik tak tersederhanakan. '''Kuintik terpecahkan''' ({{Lang-en|solvable quintic}}) adalah polinomial kuintik tak tersederhanakan yang akarnya dapat dinyatakan dalam ekspresi akar..
 
Penyelesaian persamaan kuintik tersederhanakan disederhanakan secara langung agar membentuk penyelesaian polinomial dengan derajat yang lebih kecil, sehingga yang tersisa hanyalah persamaan kuintik tak tersederhanakan. Istilah "kuintik" hanya akan merujuk pada kuintik tak tersederhanakan. '''Kuintik terpecahkan''' ({{Lang-en|solvable quintic}}) adalah polinomial kuintik tak tersederhanakan yang akarnya dapat dinyatakan dalam ekspresi akar..
 
Untuk mengkarakterisasi kuintik terpecahkan, dan untuk polinomial dengan derajat yang lebih tinggi, [[Évariste Galois]] mengembangkan teknik yang memunculkan [[teori grup]] dan [[teori Galois]]. Ketika menerapkan teknik tersebut, [[Arthur Cayley]] menemukan kriteria umum untuk menentukan apakah sebarang persamaan kuintik terselesaikan (dapat diselesaikan).<ref>A. Cayley. "On a new auxiliary equation in the theory of equation of the fifth order", Philosophical Transactions of the Royal Society of London (1861).</ref> Kriteria tersebut menjelaskan sebagai berikut.<ref>Formulasi hasil Cayley ini diambil dari Lazard (2004) paper.</ref>
Baris 33 ⟶ 32:
</math>Hasil Cayley memungkinkan seseorang untuk menguji apakah persamaan kuintik tersebut terpecahkan. Jika demikian, maka mencari akarnya adalah masalah yang lebih sulit, yang terdiri dari mencari akar dalam ekspresi radikal yang melibatkan koefisien dari persamaan kuintik dan akar rasional dari resolven Cayley.
 
Pada tahun 1888, [[George Paxton Young]]<ref>George Paxton Young. ''Solvable Quintics Equations with Commensurable Coefficients'' ''American Journal of Mathematics'' '''10''' (1888), 99–130 [https://www.jstor.org/pss/2369502 at JSTOR] {{Webarchive|url=https://web.archive.org/web/20230726135131/https://www.jstor.org/stable/2369502 |date=2023-07-26 }}</ref> menjelaskan cara menyelesaikan suatu persamaan kuinitikkuintik terselesaikan tanpa menyediakan rumus yang eksplisit. Rumus tersebut ditulis dalam tiga halaman oleh [[Daniel Lazard]].<ref>{{harvtxt|Lazard|2004|p=207}}</ref><!--
===Quintics in Bring–Jerrard form===
 
Baris 176 ⟶ 175:
== Solusi selain dalam ekspresi akar ==
 
Sekitar tahun 1835, [[George Jerrard|Jerrard]] memperlihatkan bahwa persamaan kuintik dapat diselesaikan dengan menggunakan [[ultraradikal]] (atau juga dikenal sebagai [[radikal Bring]]), sebuah akar real dari persamaan {{math|''t''<sup>5</sup> + ''t'' − ''a'' {{=}} 0}} untuk bilangan real {{math|''a''}}. Pada tahun 1858, [[Charles Hermite]] memperlihatkan bahwa radikal Bring dapat dikarakterisasi dalam [[fungsi theta]] Jacobi dan [[fungsi modular eliptik]] iringannya, dengan menggunakan pendekatan yang mirip dengan pendekatan yang lebih dikenal dalam menyelesaikan [[persamaan kubik]] melalui [[fungsi trigonometri]]. Di sekitar waktu yang sama, [[Leopold Kronecker]] dan [[Francesco Brioschi]] menggunakan [[teori grup]] dan mengembangkan cara yang lebih sederhana untuk memperoleh hasil Hermite. [[Felix Klein]] kemudian menemukan metode yang mengaitkan simetri dari [[ikosahedron]], [[teori Galois]], dan fungsi modular eliptik yang dipakai dalam solusi Hermite; menjelaskan alasan fungsi tersebut harus dipakai, dan mengembangkan solusinya sendiri dengan menggunakan [[Fungsi hipergeometrik rampat|fungsi hipergeometrik diperumum]].<ref>{{Harv|Klein|1888}}; a modern exposition is given in {{Harv|Tóth|2002|loc=Section 1.6, Additional Topic: Klein's Theory of the Icosahedron, [https://books.google.com/books?id=i76mmyvDHYUC&pg=PA66 p. 66]}}</ref> Fenomena yang serupa terjadi dalam persamaan berderajat 7 (atau [[persamaan septik]]) dan persamaan berderajat 11, saat Klein mempelajarinya.<!--
<!--
=== Solving with Bring radicals ===
{{main article|Bring radical}}
Baris 217 ⟶ 215:
See [[Bring radical]] for details on these solutions and some related ones.
-->
== Penerapan persamaan kuinitikkuintik dalam mekanika benda angkasa ==
Memecahkan lokasi [[titik Lagrangian]] dari orbit astronomi di manadengan massa dari kedua objek tidak dapat diabaikan melibatkan penyelesaian kuintik.
 
Lebih tepatnya, lokasi ''L''<submath>2L_2</submath> dan ''L''<submath>1L_1</submath> adalah solusi untuk persamaan berikut, di manadengan [[Gravitasi|gaya gravitasi]] dua massaobjek padabermassa sepertigaterhadap objek ketiga (misalnyasebagai contoh, Matahari dan Bumi padaterhadap satelit seperti [[Gaia probe|Gaia]] di ''L''<submath>2L_2</submath> dan [[Observatorium Surya dan Heliosfer|SOHO]] padadi ''L''<submath>1L_1</submath>) memberikan [[gaya sentripetal]] satelit yang diperlukan untuk tetap berada dalam orbit sinkron dengan Bumi di sekitar Matahari:
== Penerapan persamaan kuinitik dalam mekanika benda angkasa ==
Memecahkan lokasi [[titik Lagrangian]] dari orbit astronomi di mana massa dari kedua objek tidak dapat diabaikan melibatkan penyelesaian kuintik.
 
Lebih tepatnya, lokasi ''L''<sub>2</sub> dan ''L''<sub>1</sub> adalah solusi untuk persamaan berikut, di mana gaya gravitasi dua massa pada sepertiga (misalnya, Matahari dan Bumi pada satelit seperti [[Gaia probe|Gaia]] di ''L''<sub>2</sub> dan [[Observatorium Surya dan Heliosfer|SOHO]] pada ''L''<sub>1</sub>) memberikan gaya sentripetal satelit yang diperlukan untuk berada dalam orbit sinkron dengan Bumi di sekitar Matahari:
 
: <math>\frac{G m M_S}{(R \pm r)^2} \pm \frac{G m M_E}{r^2} = m \omega^2 (R \pm r)</math>
 
Tanda ± samamewakili denganmasing-masing ''L''<submath>2L_2</submath> anddan ''L''<submath>1L_1</submath>, masing-masing; '' <math>G ''</math> adalah [[konstanta gravitasi]], ''<math>\omega</math> ω ''adalah [[kecepatan sudut]], '' <math>r</math> ''adalah jarak satelit ke Bumi, '' <math>R ''</math> jarak Matahari ke Bumi (yaitu, [[sumbu semi-mayor]] orbit bumi), danserta ''<math>m''</math>, ''M<submath>EM_E</submath>'', dan ''M<submath>SM_S</submath>'' adalah massa masing-masing satelit, [[Bumi]], dan [[Matahari]].
 
Menggunakan Hukum Ketiga Kepler <math display="inline">\omega^2=\frac{4 \pi^2}{P^2}=\frac{G (M_S+M_E)}{R^3}</math> dan mengaturmenyusun ulang semua istilahpartisipan persamaan menghasilkan kuintik:
 
: <math>a r^5 + b r^4 + c r^3 + d r^2 + e r + f = 0</math>
 
dengan <math>a = \pm (M_S + M_E)</math> , <math>b = + (M_S + M_E) 3 R</math> , <math>c = \pm (M_S + M_E) 3 R^2</math> , <math>d = + (M_E \mp M_E) R^3</math> (thusjadi ''<math>d'' = 0</math> foruntuk ''L''<submath>2L_2</submath>), <math>e = \pm M_E 2 R^4</math> , <math>f = \mp M_E R^5</math> .
 
Menyelesaikan kedua hasil kuintik ini akan menghasilkan {{math|1=''r'' = 1.501 x 10<sup>9</sup> m}} untuk <math>L_2</math> dan {{math|1=''r'' = 1.491 x 10<sup>9</sup> m}} untuk <math>L_1</math>. [[Daftar objek di titik Lagrange|Titik Lagrangian Matahari–Bumi]] <math>L_2</math> dan <math>L_1</math> biasanya menggunakan jarak sejauh 1,5 juta km dari Bumi.
 
Jika massa dari objek yang lebih kecil (<math>M_E</math> jauh di bawah massa objek yang lebih besar (<math>M_S</math>), maka persamaan kuintiknya dapat direduksi, serta <math>L_1</math> dan <math>L_2</math> akan kurang lebih berada pada radius [[bola Hill]], sesuai dengan:
 
: <math>r \approx R \sqrt[3]{\frac{M_E}{3 M_S}}</math>
 
Memecahkanyang duajuga hasilakan kuintik inimenghasilkan {{math|1=''r'' = 1.5015 x 10<sup>9</sup> ''m''}} for ''L''<sub>2</sub> dan {{math|1=''r'' = 1.491 x 10<sup>9</sup> ''m''}} untuk ''L''<sub>1</sub>.satelit [[Daftarpada objek di titik Lagrangian|Titik Lagrangian Matahari–Bumi]] ''L''<submath>2L_1</submath> dan ''L''<submath>1L_2</submath> biasanya diberikan sejauh 1,5 juta kmdalam darisistem Matahari-Bumi.
 
== Lihat pula ==
Baris 249 ⟶ 252:
* Blair Spearman and Kenneth S. Williams, "Characterization of solvable quintics {{math|''x''<sup>5</sup> + ''ax'' + ''b''}}, ''American Mathematical Monthly'', Vol. 101 (1994), pp.&nbsp;986–992.
* Ian Stewart, ''Galois Theory'' 2nd Edition, Chapman and Hall, 1989. {{isbn|0-412-34550-1}}. Discusses Galois Theory in general including a proof of insolvability of the general quintic.
* [[Jörg Bewersdorff]], ''Galois theory for beginners: A historical perspective'', [[American Mathematical Society]], 2006. {{isbn|0-8218-3817-2}}. Chapter 8 ({{webarchive|url=https://web.archive.org/web/20100331181637/http://www.ams.org/bookstore/pspdf/stml-35-prev.pdf|title=The solution of equations of the fifth degree|date=31 March 2010}}) gives a description of the solution of solvable quintics {{math|''x''<sup>5</sup> + ''cx'' + ''d''}}.
* Victor S. Adamchik and David J. Jeffrey, "Polynomial transformations of Tschirnhaus, Bring and Jerrard," ''ACM SIGSAM Bulletin'', Vol. 37, No. 3, September 2003, pp.&nbsp;90–94.
* Ehrenfried Walter von Tschirnhaus, "A method for removing all intermediate terms from a given equation," ''ACM SIGSAM Bulletin'', Vol. 37, No. 1, March 2003, pp.&nbsp;1–3.
Baris 256 ⟶ 259:
 
== Pranala luar ==
* [http://mathworld.wolfram.com/QuinticEquation.html Mathworld - Quintic Equation] {{Webarchive|url=https://web.archive.org/web/20201023004530/https://mathworld.wolfram.com/QuinticEquation.html |date=2020-10-23 }} – more details on methods for solving Quintics.
* [http://www.emba.uvm.edu/~dummit/quintics/solvable.pdf Solving Solvable Quintics] {{Webarchive|url=https://web.archive.org/web/20120307030156/http://www.emba.uvm.edu/~dummit/quintics/solvable.pdf |date=2012-03-07 }} – a method for solving solvable quintics due to David S. Dummit.
* [https://web.archive.org/web/20090226035640/http://www.sigsam.org/bulletin/articles/143/tschirnhaus.pdf A method for removing all intermediate terms from a given equation] - a recent English translation of Tschirnhaus' 1683 paper.