Kurva bidang kubik

Dalam **matematika**, sebuah **kubik bidang kurva** merupakan sebuah kurva aljabar bidang C didefinisikan oleh sebuah persamaan kubik

F(x,y,z) = 0

berlaku untuk koordinat homogen x:y:z untuk bidang proyektif, atau versi inhomogen untuk ruang afin ditentukan dengan menetapkan z=1 seperti di sebuah persamaan. Di sini F merupakan kombinasi linear taknol dari monomial tiga derajat.

x^3,y^3

Ini ada sepuluh dalam bilangan; oleh karena itu kurva kubik membentuk sebuah ruang proyektif dimensi 9, pada setiap diberikan medan K. Setiap titik P memaksa sebuah syarat linear tunggal pada F, jika kita menanyakan bahwa C melalui P. Oleh karena itu, kita dapat menemukan suatu kurav kubik memlalui setiap sembilan titik yang diberikan, yang dapat merosot, dan tidak dapat menjadi tunggal, tetapi akan menjadi tunggal dan takmerosot jika titiknya ada dalam posisi umum; bandingkan dua titik menentukan sebuah garis dan bagaimana lima titik menentukan sebuah runjung. Jika dua kubik melalui sebuah himpunan sembilan titik yang diberikan, maka faktanya sebuah pensil kubik tentu saja, dan titik-titiknya memenuhi sifat-sifat tambahan; lihat teorema Cayley–Bacharach.

Sebuah kurva kubik dapat memiliki sebuah titik singular, yang mana kasusnya memiliki sebuah parametrisasi dalam istilah garis proyektif. Jika tidak sebuah kurva kubik *taksingular* dikenal memiliki sembilan titik belok, pada sebuah medan tertutup secara aljabar seperti bilangan kompleks. Ini dapat ditunjukkan dengan mengambil versi homogen dari matriks Hesse, yang mendefinisikan sebuah kubik lagi, dan memotongnya dengan C , perpotongannya kemudain dicacahkan oleh teorema Bézout. Namun, hanya tiga dari titik-titik ini dapat menjadi real, jadi abhwa yang lain tidak dapat dilihat dalam bidang proyektif real dengan menggambar kurva. Kesembilan titik belok dari sebuah kubik taksingular memilki sifat yang setiap garis lewat melalui dua dari mereka berisi tepatnya tiga titik belok.

Titik-titik real kurva kubik dipelajari oleh Isaac Newton. Titik-titik real sebuah kubik proyektif taksingular jatuh ke satu atau dua 'oval'. Salah satu dari oval-oval ini melintasi setiap garis proyektif real, dan dengan demikian tidak pernah dibatasi ketika kubik digambar dalam bidang Euklides; ini muncul sebagai satu atau tiga cabang-cabang yang takhingga, berisi tiga titik belok real. Oval lainnya, jik ada, tidak berisi setiap titik belok dan muncul juga sebagai sebuah oval atau sebagai dua cabang-cabang yang takhingga. Seperti untuk irisan kerucut. sebuah garis memotong oval ini, paling banyak, dua titik.

Sebuah kubik bidang taksingular mendefiniskan sebuah kurva eliptik, pada setiap medan K  untuk yang memiliki sebuah titik yang didefinisikan. Kurva eliptik sekarang biasanay dipelajari dalam beberapa ragam fungsi eliptik Weierstrass, mendefinisikan sebuah ekstensi kuadratik dari medan fungsi rasional dibuat dengan mengekstrak akar kuadrat sebuah kubik. Ini dilakukan bergantung pada yang memiliki sebuah titik rasional K , yang menyediakan sebagai titik di takhingga dalam bentuk Weierstrass. Terdapat banyak kurva kubik yang tidak memiliki titik tersebut, sebagai contoh ketika K  merupakan medan bilangan rasional.

Titik-titik singular sebuah kurva kubik bidang takreduksi cukup terbatas: satu titik ganda, atau sebuah taring. Sebuah kurva kubik bidang reduksi merupakan baik sebuah kerucut dan sebuah garis atau tiga garis, dan oleh sebab itu memiliki dua titik ganda atau sebuah taknode (jika sebuah kerucut dan sebuah garis), atau samapi tiga titik ganda atau sebuah titik rangkap tiga tunggal (garis setumpu) jika tiga garis.

## Kurva kubik dalam bidang segitga
Andaikan bahwa ABC adalah sebuah segitiga dengan panjang sisi a = \left| BC \right|, b = \left|CA\right|, c = \left|AB\right|. Berkaitan dengan ABC, banyak nama kubik lewat melalui titik yang dikenal dengan baik. Contoh-contoh menunjukkan di bawah menggunakan dua jenis koordinat homogen: trilinear dan barisentrik.

Untuk mengubah dari trilinear ke barisentrik dalam sebuah persamaan kubik, masukkan sebagai berikut:

x \mapsto bcx, y \mapsto cay, z \mapsto abz

untuk mengubah dari barisentrik ke trilinear, gunakan

x \mapsto ax, y \mapsto by, z \mapsto cz

Banyaknya persamaan untuk kubik memiliki bentuk

f(a,b,c,d,e)

Dalam contoh di bawah, persamaan-persamaan sedemikian ditulis lebih dengan ringkas dalam "notasi jumlah siklik", seperti ini:

[\text{jumlah siklik}]

Kubik yang didaftar di bawah dapat didefinisikan dalam perihal dari sekawan isogonal, dilambangkan dengan X^\star, sebuah titik X yang tidak pada sebuah panjang sisi ABC. Sebuah konstruksi X^\star berikut. Misalkan L_A menjadi refleksi garis XA mengenai sudut bagi dua dalam dari sudut A, dan mendefiniskan L_B dan L_C secara analog. Maka ketiga garis yang tercermin bertepatan di X^\star. Dalam koordinat trilinear, jika X = x:y:z, maka X^\star = \frac{1}{x}:\frac{1}{y}:\frac{1}{z}.

### Kubik Neuberg
Persamaan trilinear:

[\text{jumlah siklik} \, (\cos A - 2 \cos B \cos C)x(y^2-z^2)] = 0

Persamaan barisentrik:

[\text{jumlah siklik} \, (a^2(b^2 + c^2) + (b^2 - c^2)^2 - 2a^4)x(c^2y^2 - b^2z^2)] = 0

Kubik Neuberg (dinamakan oleh Joseph Jean Baptiste Neuberg) merupakan lokus dari sebuah titik X  sehingga X^\star  ada pada garis EX, di mana E merupakan titik takhingga Euler (X(30) dalam Ensiklopedia Pusat Segitiga). Juga, kubik ini merupakan lokus dari X  sehingga segitiga X_AX_BX_C perspektif dengan ABC , di mana X_AX_BX_C merupakan refleksi X  dalam garis BC, CA, AB masing-masing.

Kubik Neuberg melewati titik-titik berikut: pusat lingkaran dalam, pusat lingkaran luar, sentroid, kedua titik Fermat, kedua titik isodinamik, titik takhingga Euler, pusat-pusat segitiga lainnya, pusat lingkaran singgung luar, refleksi A , B, C   dalam panjang sisi ABC  , dan puncak-puncak dari enam segitiga sama sisi dibangun pada sisi ABC  .

Untuk sebuah wakilan grafis dan daftar sifat dari kubik Neuberg yang luas, lihat [Http://bernard-gibert.pagesperso-orange.fr/Exemples/k001.html **K001** pada **Kubik** Berhard Gilbert **dalam Bidang Segitiga**].

### Kubik Thomson

Persamaan trilinear:

[\text{jumlah siklik} \, bcx(y^2 - z^2)] = 0

Persamaan barisentrik:

[\text{jumlah siklik} \, x(c^2y^2 - b^2z^2)] = 0

Kubik Thomson merupakan lokus sebuah titik  X sehingga  X^\star ada pada garis GX, di mana G merupakan titik berat.

Kubik Thomson lewat melalui titik-titik berikut: pusat lingkaran dalam, sentroid, pusat lingkaran luar, titik tinggi, titik simedian, pusat segitiga lainnya, puncak-puncak A  , B , C   , pusat lingkaran singgung luar, titik tengah sisi BC , CA , AB , dan titik tengah dari tinggi ABC   . Untuk setiap titik P  pada titik kubik tetapi bukan pada sebuah sisi lain dari kubik, sekawan isogonal dari P  juga pada kubik.

Untuk grafik-grafik dan sifat-sifat, lihat '''K002''' pada '''Kubik dalam Bidang Segitiga'''.

### Kubik Darboux
Persamaan trilinear:

[\text{jumlah siklik} \, (\cos A - \cos B \cos C)x(y^2 - z^2)] = 0

Persamaan barisentrik:

[\text{jumlah siklik} \, (2a^2(b^2 + c^2) + (b^2 - c^2)^2 - 3a^4)x(c^2y^2 - b^2z^2)] = 0

Kubik Darboux merupakan lokus dari sebuah titik   X sehingga   X^\star ada pada garis LX, di mana L merupakan titik de Longchamps. Juga, kubik ini merupakan lokus dari   X sehingga segitiga pedal   X merupakan cevian suatu titik (yang terletak pada kubik Lucas). Juga, kubik ini merupakan lokus dari sebuah titik   X sehingga segitiga pedal dari   X dan segitiga anticevian dari   X adalah perspektif, perspektornya terletak pada kubik Thomson.

Kubik Darboux lewat melalui pusat lingkaran dalam, pusat lingkaran luar, titik tinggi, titik de Longchamps, pusat-pusat segitiga lainnya, puncak-puncak  A  , B , C    pada lingkaran luar. Untuk setiap titik P  pada kubik tetapi bukan pada sebuah sisi lain dari kubik, sekawan konjugasi P  juga pada kubik.

Untuk grafik-grafik dan sifat-sifatnya, lihat '''K004''' pada '''Kubik dalam Bidang Segitiga'''.

### Kubik Napoleon–Feuerbach
Persamaan trilinear:

[\text{jumlah siklik} \, \cos(B-C)x(y^2-z^2)] = 0

Persamaan barisentrik:

[\text{jumlah siklik} \, (a^2(b^2 + c^2) - (b^2 - c^2)^2)x(c^2y^2 - b^2z^2)] = 0

Kubik Napoleon–Feuerbach merupakam lokus dari sebuah titik X^\star    ada pada garis NX, di mana N merupakan pusat lingkaran sembilan, (N=X(5) di Ensiklopedia Pusat Segitiga).

Kubik Napoleon–Feuerbach lewat melalui pusat lingkaran dalam, pusat lingkaran luar, titik tinggi, titik pertama dan kedua Napoleon, pusat segitiga lainnya, puncak-puncak A    , B    , C    , pusat lingkaran singgung luar, proyeksi dari titik berat pada tinggi, dan pust dari 6 segitiga sama sisi tegak pada sisi ABC    .

Untuk grafik-grafik dan sifat-sifatnya, lihat '''K005''' pada '''Kubik dalam Bidang Segitiga'''.

### Kubik Lucas
Persamaan trilinear:

[\text{jumlah siklik} \, (\cos A)x(b^2y^2 - c^2z^2)] = 0

Persamaan barisentrik:

[\text{jumlah siklik} \, (b^2 + c^2 - a^2)x(y^2 - z^2)] = 0

Kubik Lucas merupakan lokus dari sebuah titik X     sehingga segitiga cevian X     merupakan segitiga pedal dari suatu titik; titiknya terletak pada kubik Darboux.

Kubik Lucas lewat melalui sentroid, titik tinggi, titik Gergonne, titik Nagel, titik de Longchamps, pusat-pusat segitiga lainnya, puncak-puncak dari segitiga yang taksaling melengkapi, dan fokus dari elips luar Steiner.

Untuk grafik-grafik dan sifat-sifatnya, lihat '''K007''' pada '''Kubik dalam Bidang Segitiga'''.

### Kubik Brocard pertama
Persamaan trilinear:

[\text{jumlah siklik} \, bc(a^4 - b^2c^2)x(y^2+z^2] = 0

Persamaan barisentrik:

[\text{jumlah siklik} \, (a^4 - b^2c^2)x(c^2y^2 + b^2z^2] = 0

Misalkan A'B'C' menjadi segitiga Brocard pertama. Untuk sembarang titik X    , misalkan X_A, X_B, X_C menjadi perpotongan dari garis XA', XB', XC' dengan panjang sisi masing-masing BC   , CA    , AB   . Kubik Brocard pertama merupakan lokus dari X     untuk yang titik X_A, X_B, X_C adalah kolinear.

Kubik Brocard pertama lewat melalui titik berat, titik simedian, titik Steiner, pusat-pusat segitiga lainnya, dan puncak-puncak dari segitiga Brocard pertama dan ketiga.

Untuk grafik-grafik dan sifat-sifatnya, lihat '''K017''' pada '''Kubik dalam Bidang Segitiga'''.

### Kubik Brocard kedua
Persamaan trilinear:

[\text{jumlah siklik} \, bc(b^2 - c^2)x(y^2 + z^2] = 0

Persamaan barisentrik:

[\text{jumlah siklik} \, (b^2 - c^2)x(c^2y^2 + b^2z^2] = 0

Kubik Brocard kedua merupakan lokus dari sebuah titik   X   untuk yang kutub dari garis XX^\star dalam runjung luar melalui   X   dan   X^\star  terletak pada garis dari pusat lingkaran luar dan titik simedian (yaitu, sumbu Brocard).

Kubik Brocard kedua lewat melalui sentroid, titik simedian, kedua titik Fermat, kedua titik isodinamik, titik Parry, pusat-pusat segitiga lainnya, dan puncak-puncak dari segitiga Brocard kedua dan keempat.

Untuk grafik-grafik dan sifat-sifatnya, lihat '''K018''' pada '''Kubik dalam Bidang Segitiga'''..

### Kubik luas yang sama pertama
Persamaan trilinear:

[\text{jumlah siklik} \, a(b^2 - c^2)x(y^2 - z^2] = 0

Persamaan barisentrik:

[\text{jumlah siklik} \, a^2(b^2 - c^2)x(c^2y^2 - b^2z^2] = 0

Kubik luas yang sama pertama merupakan lokus dari sebuah titik   X   sama dengan luas dari segitiga cevian dari   X^\star . Juga, kubik ini merupakan lokus dari   X   untuk yang   X^\star  pada garis S^\star X, di mana S merupakan titik Steiner. (S = X(99) di Ensiklopedia Pusat Segitiga).

Kubik luas yang sama pertama lewat melalui pusat lingkaran dalam, titik Steiner, pusat-pusat segitiga lainnya, titik Brocard pertama dan kedua, dan pusat lingkaran singgung luar.

Untuk grafik-grafik dan sifat-sifatnya, lihat '''K021''' pada '''Kubik dalam Bidang Segitiga'''.

### Kubik luas sama kedua
Persamaan trilinear:

(bz + cx)(cx + ay)(ay + bz) = (bx + cy)(cy + ax)(az + bx)

Persamaan barisentrik:

[\text{jumlah siklik} \, a(a^2 - bc)x(c^3y^2 - b^3z^2)]=0

Untuk setiap titik X = x:y:z  (trilinear), misalkan X_Y = y:z:x dan X_Z = z:x:y . Kubik luas sama kedua merupakan lokus dari  X     sehingga luas dari segitiga cevian dari X_Y sama dengan luas dari segitiga cevian dari X_Z.

Kubik luas sama kedua lewat melalui pusat lingkaran dalam, sentroid, titik simedian, dan titik-titik dalam Ensiklopedia Pusat Segitiga diindeks sebagai X(31), X(105), X(238), X(292), X(365), X(672), X(1453), X(1931), X(2053), dan lain-lainnya.

Untuk grafik-grafik dan sifat-sifatnya, lihat '''K115''' pada '''Kubik dalam Bidang Segitiga'''.

## Lihat pula

* Teorema Cayley–Bacharach, pada perpotongan dari dua bidang kurva kubik
* Kubik terpilin, sebuah kurva ruang kubik
* Kurva eliptik
* Kurva Agnesi

## Referensi

* .
* .
* .
* .
* .
* .
* .
* .
* .
* . Lihat bab 8 untuk kubik.
* .
* .
* .
* 

## Pranala luar

* A Catalog of Cubic Plane Curves (archived version)
* Points on Cubics
* Cubics in the Triangle Plane
* Special Isocubics in the Triangle Plane (pdf), by Jean-Pierre Ehrmann and Bernard Gibert