Saya temukan di statistik blog ini kata kunci pencarian tentang bilangan imajiner berkenaan dengan posting terdahulu tentang sejarah dan filosofi bilangan imajiner. Kemunculan bilangan imajiner secara historis tidak bisa dipisahkan dari upaya penanganan persamaan kubik, baik melalui metode geometris (seperti salah satunya terdapat di posting ini), maupun secara aljabar seperti melalui trik persamaan depressed cubic atau formula kubik homogen melalui persamaan Ferro-Tartaglia. Ringkasan penyelesaian persamaan kubik tersebut dalam tiga langkah telah saya tulis pada posting sebelumnya. Pembaca juga mungkin tertarik dengan beberapa fitur dari pada posting tersebut :
,
bila dikuadratkan menjadi :
.
Lebih jauh didapatkan :
, , dan .
Penggunaan notasi bisa diterapkan tidak hanya pada persamaan kubik homogen yang melibatkan satu atau dua variabel (kubik biner), tapi juga persamaan kubik dengan banyak variabel. Sebagaimana G. H. Hardy dan J. E. Littlewood di tahun 1923 mengemukakan sebuah conjecture mengenai formula aymptotic untuk bilangan prima dalam representasi kubik triple . Sebagai contoh, persamaan kubik triple dapat dinyatakan sebagai berikut :
,
dengan vektor . Untuk setiap vektor :
dalam grup multiplikatif , berlaku :
Notasi ini cukup baik digunakan untuk melihat hubungan antara bilangan integer tertentu, yaitu misalnya dengan , bila , artinya dan q coprime, dan untuk melihat formula asymptotic bilangan prima untuk modulo q dalam grup multiplikatif . Bagian ini dikenal dengan Hecke Grössencharacter dan penggunaannya cukup baik didiskusikan dalam topik penelitian tentang representasi bilangan prima dalam polinomial kubik.
Namun untuk permulaan kita akan mulai dengan sedikit telaah tentang persamaan kubik untuk kasus semua akar kubiknya adalah riil yang, di posting sebelumnya tertulis, bersesuaian dengan kasus pertama. Dalam bentuk yang paling sederhana, dapat kita tulis : bila s adalah suatu bilangan riil dan r adalah akar kubik riil dari s maka persamaan :
mempunyai tiga buah penyelesaian, yaitu , dan . Nanti penyelesaian persamaan ini akan kita terapkan untuk penyelesaian bentuk umum persamaan kubik dengan akar kubik riil.
Bentuk umum persamaan kubik satu variabel adalah sebagai berikut :
.
Atau :
untuk .
Tartaglia menemukan trik dengan mensubstitusikan : untuk mendapatkan persamaan kubik depresi :
,
dimana :
dan
Untuk membuat persamaan parameter terhadap bentuk kubik homogen KD tersebut, dimisalkan dan sebagai akar-akar dari persamaan kuadrat . Maka dan . Disubstitusikan ke menjadi :
atau
Karena perkalian dari dua kubik , maka dan juga merupakan akar-akar dari persamaan kuadrat lain, yaitu : , dengan :
dan
Jadi dimana :
Bila adalah salah satu akar kubik, maka akar-akar yang lainnya adalah dan . Misalkan maka :
.
Jadi persamaan kubik mempunyai 3 buah penyelesaian :
;
; dan
.
Dan ini berlaku untuk , yaitu kasus dimana akar kubik adalah akar kubik riil.
Persamaan Kubik Biner
Perluasan ke bentuk-bentuk persamaan kubik biner adalah sangat mungkin dan ini merupakan topik penelitian yang masih hangat didiskusikan baik di area analisis maupun teori bilangan. Bentuk persamaan kubik biner adalah sebagai berikut :
dengan diskriman :
.
Untuk mendapatkan akar-akar riil, diambil dan . Jadi persamaan kubik menjadi :
.
dengan bentuk Hessian :
setelah dihitung dan disederhanakan menjadi :
,
atau
dimana :
dan . Bentuk Hessian ini memiliki diskriminan 3 kali negatif diskriman bentuk kubiknya, yaitu :
Definisi :
Bentuk Hessian dari kubik biner K, atau dikatakan reducible jika dan . Bentuk kubik biner adalah reducible jika adalah juga reducible dan memenuhi beberapa kondisi berikut :
- Jika maka dan .
- Jika , maka .
- Jika , maka dan jika .
Contoh 1. Bentuk kubik biner mempunyai dan ; dan . Karena maka bentuk kubik biner termasuk irreducible. Lebih jauh yang berarti bentuk kubik biner ini tidak mempunyai satu pun akar kubik riil.
Ide dari reduksi bentuk polinomial ialah bentuk yang berbeda adalah equivalen melalui pertukaran basis. Dalam konteks biner dikenal ada dua grup matrix yang bertanggungjawab dalam menangani pertukaran basis, yaitu dan .
Definisi :
adalah grup matrix dengan koefisien integer sedemikian sehingga .
adalah grup matrix dengan koefisien integer sedemikian sehingga .
Teorema :
Setiap bentuk kubik biner yang irreducible adalah ekuivalen terhadap bentuk kubik reducible tertentu (unik) melalui aksi pertukaran basis
Bukti : Lihat Corollary 3.3 di Belabas [1].
Dalam tulisan ini digunakan definisi reduksi bentuk Hessian untuk menghasilkan bentuk kubik biner yang reducible. Lebih jauh bentuk kubik (cubic forms) adalah bentuk sekawan dari cubic fields, melalui cubic rings; yaitu, terdapat bijeksi antara cubic forms dan cubic rings.
Contoh 2. Bentuk kubik biner pada contoh 1, bisa ditulis menjadi , juga bersesuaian dengan cubic ring :
dimana : dan
Jika maka cubic ring ini adalah isomorphic terhadap , dan jika maka ring ini isomorphic terhadap .
Referensi dan Sumber Bacaan
[1] Belabas, K. 1997. A Fast Algorithm to Compute Cubic Fields. Mathematics of Computation.
[2] D.R. Heath-Brown. 2001. Primes represented by . Acta Mathematica.
[3] D.R. Heath-Brown dan B.Z. Moroz. 2002. Primes represented by binary cubic forms. Proceedings of the London Mathematical Society.
[4] D.R. Heath-Brown dan B.Z. Moroz. 2004. On the representation of primes by cubic polynomial in two variables. Proceedings of the London Mathematical Society.