Persamaan aljabar

Templat:Refimprove Dalam matematika, Persamaan aljabar atau Persamaan polinomial adalah persamaan dari bentuk

$P=0$

di mana P adalah polinomial dengan koefisien di beberapa bidang, sering kali bidang bilangan rasional. Bagi kebanyakan penulis, persamaan aljabar adalah univariat, yang berarti hanya melibatkan satu variabel. Di sisi lain, persamaan polinomial dapat melibatkan beberapa variabel, dalam hal ini disebut multivariate dan istilah persamaan polinomial biasanya lebih disukai daripada persamaan aljabar.

Sebagai contoh:

$x^5-3x+1=0$

adalah persamaan aljabar dengan koefisien bilangan bulat dan

$y^4+\frac{xy}{2}=\frac{x^3}{3}-x{y}^2+y^2-\frac{1}{7}$

adalah persamaan polinomial multivariat di atas rasio.

Beberapa tetapi tidak semua persamaan polinomial dengan koefisien rasional memiliki solusi berupa ekspresi aljabar yang dapat ditemukan menggunakan sejumlah operasi yang terbatas, bisa diselesaikan secara aljabar). Ini dapat dilakukan untuk semua persamaan derajat satu, dua, tiga, atau empat; tapi untuk derajat lima atau lebih hanya bisa dilakukan untuk beberapa persamaan, tidak untuk semua. Sejumlah besar penelitian telah dikhususkan untuk menghitung perkiraan yang akurat secara efisien dari solusi bilangan riil atau bilangan kompleks dari persamaan aljabar univariat (lihat Algoritme pencarian akar) dan solusi umum dari beberapa persamaan polinomial multivariat (lihat Sistem persamaan polinomial).

Sejarah

Studi tentang persamaan aljabar mungkin sudah setua matematika: matematikawan Babilonia, sedini 2000 SM dapat memecahkan beberapa jenis persamaan kuadrat (ditampilkan pada Babilonia Tua lauh tanah liat).

Persamaan aljabar univariat di atas rasio (yaitu, dengan koefisien rasional) memiliki sejarah yang sangat panjang. Ahli matematika kuno menginginkan solusi dalam bentuk ekspresi radikal , seperti $x=\frac{1+\sqrt{5}}{2}$ for the positive solution of $x^2-x-1=0$. Orang Mesir kuno tahu bagaimana menyelesaikan persamaan derajat 2 dengan cara ini. Matematikawan India Brahmagupta (597–668 M) secara eksplisit mendeskripsikan rumus kuadrat dalam risalahnya Brāhmasphuṭas, tetapi ditulis dengan kata-kata, bukan simbol. Pada abad ke-9 Muhammad bin Musa al-Khwarizmi dan ahli matematika Islam lainnya menurunkan rumus kuadrat, solusi umum dari persamaan derajat 2, dan mengakui pentingnya diskriminan. Selama Renaisans pada tahun 1545, Gerolamo Cardano menerbitkan solusi Scipione del Ferro dan Niccolò Fontana Tartaglia menjadi persamaan derajat 3 dan Lodovico Ferrari untuk persamaan derajat 4. Akhirnya Niels Henrik Abel membuktikan, pada tahun 1824, bahwa persamaan derajat 5 dan yang lebih tinggi. Teori Galois, dinamai berdasarkan Évariste Galois, menunjukkan bahwa beberapa persamaan dengan setidaknya derajat 5 bahkan tidak memiliki solusi idiosinkratik dalam radikal, dan memberikan kriteria untuk memutuskan apakah suatu persamaan ternyata dapat diselesaikan menggunakan akar.

Bidang studi

Persamaan aljabar adalah dasar dari sejumlah bidang matematika modern: Teori bilangan aljabar adalah studi tentang persamaan aljabar (univariat) di atas rasio (yaitu, dengan koefisien rasional). Teori Galois diperkenalkan oleh Évariste Galois untuk menentukan kriteria untuk memutuskan apakah persamaan aljabar dapat diselesaikan dalam istilah akar. Dalam teori medan, ekstensi aljabar adalah perpanjangan sedemikian rupa sehingga setiap elemen adalah akar persamaan aljabar di atas bidang alas. Teori bilangan transendental adalah studi tentang bilangan real yang bukan merupakan solusi persamaan aljabar di atas rasio. Persamaan Diofantin adalah persamaan polinomial (biasanya multivariat) dengan koefisien integer yang mana salah satunya tertarik pada solusi bilangan bulat. Geometri aljabar adalah studi tentang solusi dalam bidang tertutup aljabar dari persamaan polinomial multivariat.

Dua persamaan dianggap ekivalen jika mereka memiliki himpunan solusi yang sama. Secara khusus persamaan $P=Q$ setara dengan $P-Q=0$. Oleh karena itu, studi tentang persamaan aljabar setara dengan studi tentang polinomial.

Persamaan polinomial di atas rasio selalu dapat diubah menjadi persamaan yang koefisien adalah bilangan bulat. Misalnya, mengalikan dengan 42 = 2 · 3 · 7 dan mengelompokkan suku-suku di anggota pertama, persamaan polinomial yang disebutkan sebelumnya $y^4+\frac{xy}{2}=\frac{x^3}{3}-x{y}^2+y^2-\frac{1}{7}$ menjadi

$42y^4+21xy-14x^3+42x{y}^2-42y^2+6=0.$

Karena sinus, eksponen, dan 1/ T bukan fungsi polinomial,

$e^T{x}^2+\frac{1}{T}xy+\sin (T)z-2=0$

adalah bukan persamaan polinomial dalam empat variabel x , y , z , dan T di atas bilangan rasional. Namun, ini adalah persamaan polinomial dalam tiga variabel x , y , dan z di atas bidang fungsi dasar dalam variabel T.

Teori

Polinomial

Diberikan persamaan yang tidak diketahui Templat:Math

$(\mathrm{E})a_n{x}^n+a_{n-1}{x}^{n-1}+\dots +a_{1}x+a_0=0$,

dengan koefisien dalam sebuah bidang Templat:Mvar, dapat dikatakan bahwa solusi dari (E) dalam Templat:Mvar adalah akar dalam Templat:Mvar dari polinomial

$P=a_n{X}^n+a_{n-1}{X}^{n-1}+\dots +a_{1}X+a_0\in K[X]$.

Dapat ditunjukkan bahwa polinomial derajat Templat:Mvar dalam suatu bidang memiliki paling banyak Templat:Mvar akar. Oleh karena itu, persamaan (E) memiliki paling banyak solusi Templat:Mvar.

Jika Templat:Mvar adalah ekstensi bidang dari Templat:Mvar, seseorang dapat menganggap (E) sebagai persamaan dengan koefisien dalam Templat:Mvar dan solusi (E) dalam Templat:Mvar juga solusi dalam Templat:Mvar (kebalikannya tidak berlaku secara umum). Itu selalu mungkin untuk menemukan ekstensi bidang dari Templat:Mvar yang dikenal sebagai medan pecah dari polinomial Templat:Mvar, di mana (E) memiliki setidaknya satu solusi.

Adanya solusi untuk persamaan nyata dan kompleks

Teorema dasar aljabar menyatakan bahwa bidang dari bilangan kompleks ditutup secara aljabar, artinya, semua persamaan polinomial dengan koefisien kompleks dan setidaknya satu derajat memiliki solusi.

Oleh karena itu, semua persamaan polinomial derajat 1 atau lebih dengan koefisien nyata memiliki solusi kompleks . Di sisi lain, persamaan seperti $x^2+1=0$ tidak memiliki solusi di $ℝ$ (solusinya adalah unit imajiner Templat:Math dan Templat:Math).

Sementara solusi nyata dari persamaan nyata bersifat intuitif (mereka adalah Templat:Mvar - koordinat titik-titik di mana kurva Templat:Math memotong sumbu Templat:Mvar), keberadaan solusi kompleks untuk persamaan riil dapat mengejutkan dan kurang mudah untuk divisualisasikan.

Namun, polinomial monik derajat ganjil harus memiliki akar nyata. Fungsi polinomial terkait di Templat:Mvar kontinu, dan itu mendekati $-\mathrm{\infty }$ sebagai Templat:Mvar dengan $-\mathrm{\infty }$ dan $+\mathrm{\infty }$ saat Templat:Mvar mendekat $+\mathrm{\infty }$. Dengan teorema nilai tengah, ia harus mengasumsikan nilai nol pada beberapa Templat:Mvar nyata, yang kemudian merupakan solusi dari persamaan polinomial.

Koneksi ke teori Galois

Ada rumus yang memberikan solusi dari polinomial nyata atau kompleks dengan derajat kurang dari atau sama dengan empat sebagai fungsi dari koefisiennya. Abel menunjukkan bahwa tidak mungkin menemukan rumus seperti itu secara umum (hanya menggunakan empat operasi aritmatika dan mengambil akar) untuk persamaan derajat lima atau lebih tinggi. Teori Galois memberikan kriteria yang memungkinkan seseorang untuk menentukan apakah solusi untuk persamaan polinomial tertentu dapat diekspresikan menggunakan akar.

Solusi eksplisit persamaan numerik

Pendekatan

Solusi eksplisit dari persamaan derajat 1 nyata atau kompleks adalah sepele. Menyelesaikan persamaan derajat yang lebih tinggi Templat:Mvar berkurang menjadi memfaktorkan polinomial terkait, yaitu

$a_n(x-z_1)\dots (x-z_n)=0$,

dimana solusinya maka $z_1,\dots ,z_n$. Masalahnya adalah untuk mengekspresikan $z_i$ dalam hal $a_i$.

Pendekatan ini berlaku lebih umum jika koefisien dan solusi termasuk dalam domain integral.

Lihat pula

• Fungsi aljabar
• Bilangan aljabar
• Kesimpulan akar
• Persamaan linear (derajat = 1)
• Persamaan kuadrat (derajat = 2)
• Persamaan kubik (derajat = 3)
• Persamaan kuartik (derajat = 4)
• Persamaan kuintik (derajat = 5)
• Persamaan urutan (derajat = 6)
• Persamaan septik (derajat = 7)
• Sistem persamaan linear
• Sistem persamaan polinomial
• Persamaan Diofantin Linear
• Persamaan linear gelanggang
• Teorema Cramer (kurva aljabar), pada jumlah titik biasanya cukup untuk menentukan kurva derajat ke-bivariat n

Referensi

• Templat:Springer
• Templat:MathWorld