Fungsi kuintik

Dalam aljabar, **fungsi kuintik** adalah fungsi berbentukg(x)=ax^5+bx^4+cx^3+dx^2+ex+f,\,dengan a,b,c,d,e,f merupakan anggota dari lapangan, Anggota tersebut secara umum berupa bilangan rasional, bilangan real ataupun bilangan kompleks, serta a bukan nol. Dengan kata lain, fungsi kuintik adalah suatu fungsi yang didefinisikan dengan sebuah polinomial dengan derajat lima.

Karena mempunyai derajat bernilai ganjil, fungsi kuintik normal tampak mirip seperti fungsi kubik normal saat menggambarkannya, kecuali mempunyai satu buah maksimum lokal dan satu buah minimum lokal tambahan. Turunan dari fungsi kuintik adalah fungsi kuartik.

Dengan menetapkan , dan mengasumsi bahwa , akan menghasilkan **persamaan kuintik** dalam bentuk:ax^5+bx^4+cx^3+dx^2+ex+f=0.\,

Memecahkan persamaan kuintik dalam bentuk 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

Mencari akar dari polinomial telah menjadi masalah matematika yang menonjol. Persamaan polinomial seperti persamaan linear, persamaan kuadrat, persamaan kubik dan persamaan kuartik selalu dapat diselesaikan dengan menggunakan faktorisasi dan kemudian diubah menjadi akar, tidak peduli apakah akarnya bernilai bilangan rasional atau irasional, bilangan real atau bilangan kompleks, dan ada rumus-rumus yang menghasilkan solusi yang dibutuhkan. Sayangnya, persamaan polinomial seperti persamaan kuintik tidak mempunyai ekspresi akar untuk solusinya atas bilangan rasional. Pernyataan ini dikenal sebagai teorema Abel–Ruffini, yang pertama kali pernyataan tersebut diterbitkan pada tahun 1799, dan buktinya diselesaikan pada tahun 1824. Teorema ini juga berlaku untuk persamaan derajat yang lebih tinggi. Sebagai contoh, akar dari persamaan kuintik  tidak dapat diubah menjadi ekspresi radikal.

Ada beberapa persamaan kuintik yang dapat diselesaikan dengan menggunakan ekspresi akar. Akan tetapi, solusi tersebut umumnya terlalu rumit untuk digunakan pada praktiknya. Sebagai gantinya, aproksimasi numerik dihitung menggunakan algoritma pencarian akar untuk polinomial.

## Persamaan kuintik yang terpecahkan

Beberapa persamaan kuintik dapat diselesaikan dalam bentuk akar, dan persamaan tersebut didefinisikan dengan polinomial tersederhanakan, seperti . Sebagai contoh, persamaanx^5-x-r=0telah diperlihatkan mempunyai solusi dalam ekspresi akar jika dan hanya jika persamaan tersebut mempunyai solusi bilangan bulat atau r 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. Karena itu, istilah "kuintik" hanya akan merujuk pada kuintik tak tersederhanakan. **Kuintik terpecahkan** () 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). Kriteria tersebut menjelaskan sebagai berikut.

Diberikan persamaan ax^5+bx^4+cx^3+dx^2+ex+f=0, maka transformasi Tschirnhaus , yang menekan persamaan kuintik (dengan kata lain, menghilangkan suku derajat empat), memberikan persamaan  y^5+p y^3+q y^2+r y+s=0dengan\begin{align}p &= \frac{5ac-2b^2}{5a^2}\\
q &= \frac{25a^2d-15abc+4b^3}{25a^3}\\
r &= \frac{125a^3e-50a^2bd+15ab^2c-3b^4}{125a^4}\\
s &= \frac{3125 a^4f-625a^3 be+125a^2b^2 d-25ab^3 c+4 b^5}{3125a^5}\end{align}

Kedua persamaan kuintik di atas terselesaikan dengan akar jika dan hanya jika kedua persamaan tersebut dapat difaktorkan dalam persamaan derajat yang lebih rendah dengan koefisien bilangan rasional atau polinomial , yang bernama *resolven Cayley*, mempunyai akar rasional di, dengan
P =z^3-z^2(20r+3p^2)- z(8p^2r - 16pq^2- 240r^2 + 400sq - 3p^4) - p^6 + 28p^4r- 16p^3q^2- 176p^2r^2- 80p^2sq + 224prq^2- 64q^4 + 4000ps^2 + 320r^3- 1600rsq
dan \Delta=-128p^2r^4+3125s^4-72p^4qrs+560p^2qr^2s+16p^4r^3+256r^5+108p^5s^2-1600qr^3s+144pq^2r^3-900p^3rs^2+2000pr^2s^2-3750pqs^3+825p^2q^2s^2+2250q^2rs^2+108q^5s-27q^4r^2-630pq^3rs+16p^3q^3s-4p^3q^2r^2.
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 menjelaskan cara menyelesaikan suatu persamaan kuintik terselesaikan tanpa menyediakan rumus yang eksplisit. Rumus tersebut ditulis dalam tiga halaman oleh Daniel Lazard.
## Solusi selain dalam ekspresi akar

Sekitar tahun 1835, Jerrard memperlihatkan bahwa persamaan kuintik dapat diselesaikan dengan menggunakan ultraradikal (atau juga dikenal sebagai radikal Bring), sebuah akar real dari persamaan  untuk bilangan real . 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 diperumum. Fenomena yang serupa terjadi dalam persamaan berderajat 7 (atau persamaan septik) dan persamaan berderajat 11, saat Klein mempelajarinya.
## Penerapan persamaan kuintik dalam mekanika benda angkasa
Memecahkan lokasi titik Lagrangian dari orbit astronomi dengan massa dari kedua objek tidak dapat diabaikan melibatkan penyelesaian kuintik.

Lebih tepatnya, lokasi L_2 dan L_1 adalah solusi untuk persamaan berikut, dengan gaya gravitasi dua objek bermassa terhadap objek ketiga (sebagai contoh, Matahari dan Bumi terhadap satelit seperti Gaia di L_2 dan SOHO di L_1) memberikan gaya sentripetal satelit yang diperlukan untuk tetap berada dalam orbit sinkron dengan Bumi di sekitar Matahari:

: \frac{G m M_S}{(R \pm r)^2} \pm \frac{G m M_E}{r^2} = m \omega^2 (R \pm r)

Tanda ± mewakili masing-masing L_2 dan L_1; G adalah konstanta gravitasi, \omega adalah kecepatan sudut, r adalah jarak satelit ke Bumi, R jarak Matahari ke Bumi (yaitu, sumbu semi-mayor orbit bumi), serta m, M_E, dan M_S adalah massa satelit, Bumi, dan Matahari.

Menggunakan Hukum Ketiga Kepler \omega^2=\frac{4 \pi^2}{P^2}=\frac{G (M_S+M_E)}{R^3} dan menyusun ulang semua partisipan persamaan menghasilkan kuintik:

: a r^5 + b r^4 + c r^3 + d r^2 + e r + f = 0

dengan a = \pm (M_S + M_E), b = + (M_S + M_E) 3 R, c = \pm (M_S + M_E) 3 R^2, d = + (M_E \mp M_E) R^3 (jadi d = 0 untuk L_2), e = \pm M_E 2 R^4, f = \mp M_E R^5.

Menyelesaikan kedua hasil kuintik ini akan menghasilkan  untuk L_2 dan  untuk L_1. Titik Lagrangian Matahari–Bumi L_2 dan L_1 biasanya menggunakan jarak sejauh 1,5 juta km dari Bumi.

Jika massa dari objek yang lebih kecil (M_E jauh di bawah massa objek yang lebih besar (M_S), maka persamaan kuintiknya dapat direduksi, serta L_1 dan L_2 akan kurang lebih berada pada radius bola Hill, sesuai dengan:

: r \approx R \sqrt[3]{\frac{M_E}{3 M_S}}

yang juga akan menghasilkan  untuk satelit pada L_1 dan L_2 dalam sistem Matahari-Bumi.

## Lihat pula
* Persamaan sekstik
* Fungsi septik
* Teori persamaan

## Catatan

## Referensi
* Charles Hermite, "Sur la résolution de l'équation du cinquème degré", *Œuvres de Charles Hermite*, t.2, pp.&nbsp;5–21, Gauthier-Villars, 1908.
* Felix Klein, ''Lectures on the Icosahedron and the Solution of Equations of the Fifth Degree'', trans. George Gavin Morrice, Trübner & Co., 1888. .
* Leopold Kronecker, "Sur la résolution de l'equation du cinquième degré, extrait d'une lettre adressée à M. Hermite", *Comptes Rendus de l'Académie des Sciences*, t. XLVI, 1858 (1), pp.&nbsp;1150–1152.
* Blair Spearman and Kenneth S. Williams, "Characterization of solvable quintics , *American Mathematical Monthly*, Vol. 101 (1994), pp.&nbsp;986–992.
* Ian Stewart, *Galois Theory* 2nd Edition, Chapman and Hall, 1989. . 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. . Chapter 8 () gives a description of the solution of solvable quintics .
* 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.
* 
* 

## Pranala luar
* Mathworld - Quintic Equation  – more details on methods for solving Quintics.
* Solving Solvable Quintics  – a method for solving solvable quintics due to David S. Dummit.
* A method for removing all intermediate terms from a given equation - a recent English translation of Tschirnhaus' 1683 paper.