Fungsi kuintik: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Dedhert.Jr (bicara | kontrib) k Dedhert.Jr memindahkan halaman Persamaan kuintik ke Fungsi kuintik |
Fitur saranan suntingan: 3 pranala ditambahkan. |
||
(6 revisi perantara oleh 4 pengguna tidak ditampilkan) | |||
Baris 1:
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.
▲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
===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.
-->
Memecahkan lokasi [[titik Lagrangian]] dari orbit astronomi
Lebih tepatnya, lokasi
▲== 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 ±
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
: <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>
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>
== 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. 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. 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. 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.
|