Persamaan Diophantus

Dalam matematika, **persamaan Diophantus** adalah persamaan polinomial, biasanya dalam dua atau lebih tidak diketahui, sedemikian rupa sehingga hanya bilangan bulat dari nol bilangan penyelesaian yang dapat dicari atau dipelajari (penyelesaian bilangan bulat sedemikian rupa sehingga semua yang tidak diketahui mengambil nilai bilangan bulat). **Persamaan Diophantus linear** menyamakan jumlah dari dua atau lebih monomial, masing-masing derajat 1 di salah satu variabel, dengan sebuah konstanta. **Persamaan Diophantus eksponensial** adalah persamaan yang eksponennya tidak diketahui.

**Masalah Diophantus** memiliki persamaan yang lebih sedikit daripada variabel yang tidak diketahui dan melibatkan pencarian bilangan bulat yang bekerja dengan benar untuk semua persamaan. Dalam bahasa yang lebih teknis, mereka mendefinisikan kurva aljabar, permukaan aljabar, atau objek yang lebih umum, dan menanyakan tentang titik kekisi di atasnya.

Kata *Diophantus* mengacu pada matematikawan Helenistik dari abad ke-3, Diophantus dari Alexandria, yang mempelajari persamaan tersebut dan merupakan salah satu ahli matematika pertama yang memperkenalkan simbolisme ke dalam aljabar. Studi matematika tentang masalah Diophantus yang dimulai Diophantus sekarang disebut **analisis Diophantus**.

Sementara persamaan individu menyajikan semacam teka-teki dan telah dipertimbangkan sepanjang sejarah, perumusan teori umum persamaan Diophantus (di luar teori bentuk kuadrat) adalah pencapaian abad kedua puluh.

## Contoh
Dalam Persamaan Diophantus berikut ini, w, x, y, dan z adalah yang tidak diketahui dan huruf lainnya diberi konstanta:

## Persamaan Diophantus linear

### Satu persamaan
Persamaan Diophantus linear paling sederhana mengambil bentuk ax + by = c, di mana a, b dan c adalah bilangan bulat yang diberikan. Penyelesaiannya dijelaskan oleh teorema berikut:
: *Persamaan Diophantus memiliki penyelesaian* (dimana x dan y adalah bilangan bulat) *jika dan hanya jika* c *adalah kelipatan dari [[faktor persekutuan terbesar]] dari* a *dan* b. *Selain itu, jika* (x,y) *adalah penyelesaiannya, maka penyelesaian lain memiliki bentuk* (x + kv, y - ku), *dimana* k *adalah bilangan bulat sembarang, dan* u *dan* v *adalah hasil dari* a *dan* b *(masing-masing) oleh pembagi persekutuan terbesar dari* a *dan* b.

**Bukti:** Jika d adalah pembagi persekutuan terbesar ini, identitas Bézout menegaskan keberadaan bilangan bulat e dan f  termasuk bilangan bulat ae + bf = d. Jika c adalah kelipatan dari d, maka c = dh adalah untuk beberapa penyelesaian bilangan bulat h, dan (eh,fh). Di sisi lain, untuk setiap pasangan bilangan bulat x dan y, faktor persekutuan terbesar d untuk a *dan* b dan memisahkan ax + by. Jadi, jika persamaan memiliki penyelesaian, maka c harus kelipatan d. Jika a = ud dan b = vd adalah bilangan bulat yang sudah lama untuk setiap penyelesaian (x,y), kita memiliki
:a(x + kv) + b(y - ku) = ax + by + k(av - bu) = ax + by + k(udv - vdu) = ax + by,
Bilangan tersebut menunjukkan (x + kv, y - ku) adalah bagian bilangan penyelesaian lain. Akhirnya diberikan dua penyelesaian sehingga ax_1 + by_1 = ax_2 + by_2 = c, maka kita dapat menyimpulkan bilangan bulat u(x_2 - x_1) + v(y_2 - y_1) = 0. Karena u dan v adalah koprima, lema Euklides menunjukkan bahwa v membagi x_2 - x_1, dan demikian terdapat bilangan bulat k seperti bilangan x_2 - x_1 = kv dan y_2 - y_1 = -ku. Oleh karena itu, x_2 = x_1 + kv dan y_2 = y_1 - ku adalah bilangan yang melengkapi buktinya.

### Teorema sisa Cina

Teorema sisa Cina adalah hal yang menjelaskan kelas penting dari sistem persamaan Diophantus linear: misalkan n_1,\dots,n_k adalah bilangan bulat koprima sesepenggal k yang lebih besar dari satu, a_1,\dots,a_k adalah sistem bilangan bulat sembarang k, dan N adalah hasilkali n_1 \dots n_k. Teorema sisa Cina menyatakan bahwa sistem Diophantus linear berikut memiliki tepat satu penyelesaian (x,x_1,\dots,x_k) sehingga bilangan bulatnya adalah 0 \le x , dan bahwa penyelesaiannya diperoleh dengan menambahkan ke x dengan kelipatan N:
:\begin{align}
x&= a_1 + n_1\,x_1\\
&\vdots\\
x&=a_k+n_k\,x_k
\end{align}

### Sistem persamaan Diophantus linear
Secara lebih umum, setiap sistem persamaan Diophantus linear dapat dipecahkan dengan menghitung bentuk normal Smith dari matriksnya, dengan cara yang serupa dengan penggunaan bentuk eselon baris tereduksi untuk memecahkan sistem persamaan linear di atas sebuah medan. Menggunakan notasi matriks setiap sistem persamaan Diophantus linear dapat ditulis
:AX = C,
di mana A adalah matriks bilangan bulat m\! \times\! n, sedangkan X adalah matriks kolom n\!\times\!1 yang tidak diketahui dan C adalah matriks kolom bilangan bulat m\!\times\!1.

Perhitungan bentuk normal Smith dari A menyediakan dua matriks unimodular (yaitu matriks terbalikkan atas bilangan bulat dan memiliki \pm 1 sebagai determinan) U dan V dari masing-masing dimensi m\!\times\!m dan n\!\times\!n, sedemikian rupa sehingga matriks
:B = [b_{i,j}] = UAV
sehingga  taknol untuk i tidak lebih besar dari suatu bilangan bulat k, dan semua entri lainnya adalah nol. Sistem yang akan diselesaikan dengan demikian dapat ditulis ulang sebagai
:B(V^{-1}X) = UC. Pengalihan y_i dari entri V^{-1}X dan d_i dari D = UC, ini mengarah ke sistem
:b_{i,i} y_i = d_i untuk 1 \le i \le k,
:0 y_1 = d_i untuk k .
Sistem ini setara dengan yang diberikan dalam pengertian berikut: Matriks kolom bilangan bulat  adalah penyelesaian dari sistem yang diberikan jika dan hanya jika  untuk beberapa matriks kolom bilangan bulat y sehingga By = D.

Oleh karena itu, sistem memiliki penyelesaian jika dan hanya jika b_{i,i} membagi d_i untuk i \le k dan d_i = 0 untuk i > k. Jika syarat ini terpenuhi, penyelesaian dari sistem yang diberikan adalah
: V\,\left[
\begin{array}{c}
\frac{d_1}{b_{1,1}}\\
\vdots\\
\frac{d_k}{b_{k,k}}\\
h_{k+1}\\
\vdots\\
h_n
\end{array}
\right]\, 
di mana h_{k+1},\dots,h_n adalah bilangan bulat acak.

Bentuk normal Hermite dapat digunakan untuk memecahkan sistem persamaan Diophantus linear. Namun, bentuk normal Hermite tidak langsung memberikan penyelesaian; untuk mendapatkan penyelesaian dari bentuk normal Hermite, salah satunya harus memecahkan beberapa persamaan linier secara berturut-turut. Namun demikian, Richard Zippel menulis bahwa bentuk normal Smith "itu agak lebih dari sebenarnya dibutuhkan untuk memecahkan persamaan Diophantus linear. Daripada mereduksi persamaan menjadi bentuk diagonal, kita hanya perlu membuatnya menjadi segitiga, yang disebut bentuk normal Hermite. Bentuk normal Hermite jauh lebih mudah dihitung daripada bentuk normal Smith."

Pemrograman linear pada bilangan bulat berarti menemukan beberapa penyelesaian bilangan bulat (optimal dalam beberapa hal) dari sistem linear yang juga mencakup pertidaksamaan. Jadi sistem persamaan Diophantus linier adalah dasar dalam konteks ini, dan buku teks tentang pemrograman bilangan bulat biasanya membahas sistem persamaan Diophantus linear.

## Persamaan homogen
Persamaan Diophantus homogen adalah persamaan Diophantus yang didefinisikan oleh sebuah polinomial homogen. Persamaan khas tersebut adalah persamaan dari Teorema terakhir Fermat
:x^d+y^d -z^d=0.

Sebagai polinomial homogen di  indeterminates mendefinisikan hiperpermukaan dalam ruang proyektif dimensi n - 1, memecahkan persamaan Diophantus homogen sama dengan mencari titik rasional dari hiperpermukaan proyektif.

Memecahkan persamaan Diophantus yang homogen umumnya merupakan masalah yang sangat sulit, bahkan dalam kasus taktrivial yang paling sederhana dari tiga faktor tak tentu (dalam kasus dua tak tentu, masalahnya setara dengan pengujian jika bilangan rasional adalah pangkat d dari bilangan rasional lain). Saksi dari kesulitan soal adalah Teorema Terakhir Fermat (untuk d > 2, tidak ada penyelesaian integer dari persamaan di atas), yang membutuhkan lebih dari tiga abad upaya matematikawan untuk memecahkannya.

Untuk derajat yang lebih tinggi dari tiga, hasil yang paling dikenal adalah teorema yang menyatakan bahwa tidak ada penyelesaian (misalnya Teorema terakhir Fermat) atau bahwa jumlah penyelesaiannya terbatas (misalnya Teorema Falting).

Untuk tingkat tiga, ada metode penyelesaian umum, yang bekerja pada hampir semua persamaan yang ditemui dalam praktik, tetapi tidak ada algoritma diketahui yang berfungsi untuk setiap persamaan kubik.

### Derajat dua
Persamaan Diophantus homogen dari derajat dua lebih mudah untuk dipecahkan. Metode penyelesaian standar diteruskan dalam dua langkah. Salah satunya pertama-tama mencari satu penyelesaian, atau membuktikan bahwa tidak ada penyelesaian. Ketika sebuah penyelesaian telah ditemukan, semua penyelesaian kemudian dideduksikan.

Untuk membuktikan bahwa tidak ada penyelesaiannya, salah satu dapat mereduksi persamaan modulo p. Contohnya, persamaan Diophantus

: x^2+y^2=3z^2,

tidak memiliki suatu penyelesaian lainnya daripada penyelesaian trivial (0,0,0). Faktanya, dengan membagi x, y dan z oleh faktor persekutuan terbesarnya, salah satunya dapat menganggap bahwa terdapat koprima. Modulo kuadrat 4 kongruen dengan 0 dan 1. Demikian ruas kiri dari persamaan kongruen dengan 0, 1, atau 2, dan ruas kanannya kognruen dengan 0 atau 3. Demikian persamaannya dapat diperoleh hanya jika x, y dan z adalah bilangan genap semua, dan demikian bukanlah koprima. Dengan demikian satu-satunya penyelesaiannya adalah penyelesaian trivial (0,0,0). Ini menunjukkan bahwa tidak ada titik rasional pada sebuah lingkaran dengan radius \sqrt{3}, terpusat di asalnya.

Lebih umumnya, prinsip Hasse memungkinkan penentuan apakah sebuah persamaan Diophantus homogen derajat dua memiliki sebuah penyelesaian bilangan bulat, dan menghitung sebuah penyelesaian jika ada.

Jika sebuah penyelesaian bilangan bulat taktrivial diketahui, salah satunya dapat menghasilkan semua penyelesaian lainnya dalam cara berikut ini.

#### Interpretasi geometrik
Misalkan

: Q(x_1, \ldots, x_n)=0

menjadi sebuah persamaan Diophantus homogen, di mana Q(x_1, \ldots, x_n) adalah sebuah bentuk kuadrat (yaitu, sebuah polinomial homogen derajat 2), dengan koefisien bilangan bulat. *Penyelesaian trivial* merupakan sebuah penyelesaiannya di mana semua x_i adalah nol. Jika (a_1, \ldots, a_n) adalah sebuah penyelesaian bilangan bulat taktrivial mengenai persamaan ini, maka \left(a_1, \ldots, a_n\right) adalah koordinat homogen titik rasional dari hiperpermukaan didefinisikan oleh . Sebaliknya, jika  \left(\frac {p_1}q,\ldots, \frac {p_n}q\right) adalah koordinat homogen titik rasional dari hiperpermukaan ini, di mana q, p_1, \ldots, p_n adalah bilangan bulat, maka \left(p_1, \ldots, p_n\right) adalah sebuah penyeleisaian bilangan bulat dari persamaan Diophantus. Selain itu, penyelesaian bilangan bulat yang menentukan sebuah titik rasional yang diberikan adalah semua barisan dari bentuk

: \left(k\frac{p_1}d, \ldots, k\frac{p_n}d\right),

di mana  adalah suatu bilangan bulat, dan  adalah faktor persekutuan terbesar dari p_1.

Ini mengikuti bahwa menyelesaikan persamaan Diophantus Q(x_1, \ldots, x_n)=0 tereduksi sempurna untuk mencari titik rasional dari hiperpermukaan projektif berpadanan.

#### Parameterisasi
Sekarang misalkan A=\left(a_1, \ldots, a_n\right) menjadi penyelesaian bilangan bulat dari persamaan Q(x_1, \ldots, x_n)=0. Karena  adalah sebuah polinomial derajat dua, sebuah garis lewat melalui A menyilang hiperpermukaan di sebuah titik tunggal lainnya, yang mana merupakan rasional jika dan hanya jika garisnya rasional (yaitu, jika garisnya didefinisikan oleh parameter rasional). Ini memungkinkan memparameterisasikan hiperpermukaan oleh garis lewat melalui A, dan titik rasional adalah itu yang diperoleh dari garis-garis rasional, yakni, itu yang berpadan dengan nilai-nilai rasional dari parameter.

Lebih tepatnya, salah satunya dapat dilanjutkan sebagai berikut.

Dengan mengubah urutan indeks, salah satunya dapat menganggap, tanpa mengurangi keumuman bahwa a_n\ne 0. Maka salah satunya dapat lewat ke kasus afin dengan menganggap hiperpermukaan afin didefinisikan oleh

: q(x_1,\ldots,x_{n-1})=Q(x_1, \ldots, x_{n-1},1),

yang mana memiliki titik rasional

: R= (r_1, \ldots, r_{n-1})=\left(\frac{a_1}{a_n}, \ldots, \frac{a_{n-1}}{a_n}\right).

Jika titik rasional ini merupakan sebuah titik tunggal, yakni jika semua turunan parsial adalah nol di R, semua garis lewat melalui R diisi di hipepermukaannya, dan salah satunya memiliki sebuah kerucut. Perubahan peubahnya

: y_i=x_i-r_i

tidak mengubah titik rasionalnya, dan mengubah q menjadi sebuah polinomial homogen di n - 1 peubah. Dalam kasus ini, masalahnya dapat demikian dipecahkan dengan menerapkan metode untuk sebuah persamaan dengan beberapa peubah.

Jika polinomial q adalah sebuah hasilkali polinomial linear (mungkin dengan koefisien takrasional), maka ini menentukan dua hiperbidang. Perpotongan mengenai hiperbidang ini adalah sebuah datar rasional, dan berisi titik tunggal rasional. Kasus ini demikian sebuah contoh khusus dari kasus sebelumnya.

Dalam kasus umum, misalkan anggap persamaan parametrik mengenai sebuah garis lewat melalui R:

: \begin{align}
x_2&= r_2+t_2(x_1-r_1)\\
\vdots&\\
x_{n-1}&= r_{n-1}+t_{n-1}(x_1-r_1)
\end{align}

Memasukkan ini di q, salah satunya mendapatkan sebuah polinomial derajat dua di x_1, yaitu nol untuk x_1=r_1. Ini demikian terbagi oleh x_1-r_1. Hasil baginya adalah linear di x_1, dan dapat dipecahkan untuk mengungkapkan x_1 sebagai sebuah hasil bagi dua polinomial dengan derajat setidaknya dua di t_2, \ldots, t_{n-1}, dengan koefisien bilangan bulat:

: x_1=\frac{f_1(t_2, \ldots, t_{n-1})}{f_n(t_2, \ldots, t_{n-1})}.

Memasukkan ini dalam ungkapannya untuk x_2, \ldots, x_{n-1}, salah satunya mendapatkan, untuk i = 1, \dots, n - 1,

: x_i=\frac{f_i(t_2, \ldots, t_{n-1})}{f_n(t_2, \ldots, t_{n-1})},

di mana f_1, \ldots, f_n polinomial derajat setidaknya dua dengan koefisien bilangan bulat.

Kemudian, salah satunya dapat membalikkan ke kasus homogen. Misalkan, untuk i = 1,\dots,n,

: F_i(t_1, \ldots, t_{n-1})=t_1^2 f_i\left(\frac{t_2}{t_1}, \ldots, \frac{t_{n-1}}{t_1} \right),

menjadi homogenisasi dari f_i. Polinomial-polinomial kuadrat ini dengan koefisien bilangan bulat membentuk sebuah parameterisasi dari hiperpermukaan projektif didefinisikan oleh :

: \begin{align}
x_1&= F_1(t_1, \ldots, t_{n-1})\\
\vdots&\\
x_n&= F_n(t_1, \ldots, t_{n-1})
\end{align}

Sebuah titik dari hiperpermukaan projektif didefinisikan oleh  adalah rasional jika dan hanya jikai ini dapat diperoleh dari nilai-nilai rasional dari t_1, \ldots, t_{n-1}. Karena F_1, \ldots,F_n adalah polinomial homogen, titiknya tidak berubah jika semua  t_i dikalikan oleh bilangan rasional yang sama. Demikian, salah satunya dapat menganggap bahwa t_1, \ldots, t_{n-1} adalah bilangan bulat koprima. Ini mengikuti bahwa penyelesaian bilangan bulat dari persamaan Diophantus persisnya barisan (x_1, \ldots, x_n) di mana, untuk ,

: x_i= k\,\frac{F_i(t_1, \ldots, t_{n-1})}{d},

di mana  adalah sebuah bilangan bulat, t_1, \ldots, t_{n-1} adalah bilangan bulat koprima, dan  adalah faktor persekutuan terbesar dari F_i(t_1, \ldots, t_{n-1}) bilangan bulat .

Salah satunya daoat berharap bahwa koprimalitas dari t_i dapat menyiratkan bahwa . Sayangnya, ini bukanlah kasusnya, sepertin yang ditunjukkan dalam bagian selanjutnya.

#### Contoh rangkap tiga Pythagoras
Persamaan

: x^2+y^2-z^2=0

mungkin persamaan Diophantus homogen pertama derajat dua yang telah dipelajari. Penyelesaiannya adalah rangkap tiga Pythagoras. Ini juga merupakan persamaan homogen dari lingkaran satuan. Dalam bagian ini, kita menunjukkan bagaimana metode di atas memungkinkan memperoleh rumus Eukild untuk menghasilkan rangkap tiga Pythagoras.

Untuk memperoleh persisnya rumus Euklid, kita mulai dari penyelesaian , berpadanan dengan titik  dari lingkaran satuan. Sebuah garis lewat melalui titik ini dapati diparameterisasikan oleh lerengnya:

: y=t(x+1).

Menaruh ini di persamaan lingkaran

: x^2+y^2-1=0,

salah satunya mendapatkan

: x^2-1 +t^2(x+1)^2=0.

Dibagi oleh , hasilnya dalam

: x-1+t^2(x+1)=0,

yang mudah untuk dipecahkan dalam x:

: x=\frac{1-t^2}{1+t^2}.

Ini mengikuti

: y=t(x+1) = \frac{2t}{1+t^2}.

Menghomogenisasi seperti digambarkan di atas salah satunya mendapatkan semua penyelesaian sebagai

: \begin{align}
x&=k\,\frac{s^2-t^2}{d}\\
y&=k\,\frac{2st}{d}\\
z&=k\,\frac{s^2+t^2}{d}
\end{align}

di mana k adalah suatu bilangan bulat, s dan t adalah bilangan bulat koprima, dan d adalah faktor persekutuan terbesar dari tiga pembilang. Faktanya, d = 2 jika s dan t adalah ganjil keduanya, dan d = 1 jika satunya adalah ganjil dan yang lainnya adalah genap.

*Rangkap tiga primitif* adalah penyelesaiannya di mana k = 1 dan s > t > 0.

Deskripsi ini dari penyelesaian sikit berbeda dari rumus Euklid karena rumus Euklid menganggap hanya penyelesaiannya sehingga x, y dan z adalah positif semua, dan tidak membedakan di antara dua rangkap tiga yang berbeda oleh pertukaran x dan y,

## Analisis Diophantus

### Pertanyaan khas

Pertanyaan yang diajukan dalam analisis Diophantus meliputi:

#Apakah ada penyelesaiannya?
#Apakah ada penyelesaiannya selain beberapa yang mudah ditemukan dengan inspeksi?
#Apakah penyelesaiannya terhingga atau takterhingga?
#Dapatkah semua penyelesaiannya ditemukan dalam teori?
#Dapatkah salah satunya dalam prakteknya menghitung daftar lengkap penyelesaian?

Masalah tradisional ini sering tidak terpecahkan selama berabad-abad, dan ahli matematika secara bertahap mulai memahami kedalamannya (dalam beberapa kasus), daripada memperlakukannya sebagai teka-teki.

### Masalah khas
Informasi yang diberikan adalah bahwa usia seorang ayah adalah 1 kurang dari dua kali lipat dari putranya, dan itu digit AB yang membentuk usia ayah dibalik dalam usia putranya (misalkan BA). Ini mengarah ke persamaan 10A + B = 2(10B + A) - 1, jadi 19B - 8A = 1. Inspeksinya memberikan hasil A = 7, B = 3, dan dengan demikian AB sama dengan 73 tahun dan BA sama dengan 37 tahun. Salah satunya dapat dengan mudah menunjukkan bahwa tidak ada penyelesaian lain dengan A dan B bilangan bulat positif kurang dari 10.

Banyak teka-teki terkenal di bidang matematika rekreasional yang mengarah pada persamaan Diophantus. Contohnya termasuk Masalah Cannonball, Masalah ternak Archimedes dan Monyet dan kelapa.

### Abad ke-17 dan ke-18
Pada tahun 1637, Pierre de Fermat mencoret-coret pada margin mengenai salinannya dari *[[Arithmetica]]*: "Ini mustahil untuk memisahkan sebuah kubik menjadi dua kubik,atau pangkat empat menjadi dua pangkat empat , atau umumnya,suatu pangkat lebih tinggi daripada keduanya menjadi dua seperti pangkat." Dinyatakan dalam bahasa lebih modern, "Persamaan a^n + b^n = c^n tidak memiliki penyelesaian untuk suatu n lebih tinggi daripada 2." Mengikuti ini, dia menulis: "Aku telah menemukan sebuah bukti yang sangat menakjubkan mengenai proposisi ini, yang margin ini terlalu sempit untuk memuat." Seperti sebuah bukti dielakkan matematikawan berabad-abad, tetapi, dan dengan demikian pernyataannya menjadi terkenal sebagai Teorema Terakhir Fermat. Tidak sampai tahun 1995 bahwa ini dibuktikan oleh matematikawan Inggris bernama Andrew Wiles.

Pada tahun 1657, Fermat mencoba untuk memecahkan persamaan Diophantus 61x^2 + y^2 = 1 (dipecahkan oleh Brahmagupta lebih dari 1000 tahun sebelumnya). Persamaan pada akhirnya dipecahkan oleh Euler awal abad ke-18, yang juga dipecahkan sebagai bilangan mengenai persamaan Diophantine lainnya. Penyelesaian terkecil persamaan ini dalam bilangan bulat positif adalah x = 226153980, y = 1766319049 (lihat metode Chakravala).

### Masalah Hilbert kesepuluh
Pada tahun 1900, David Hilbert mengusulkan kemampuan semua persamaan Diophantus sebagai kesepuluh dari masalah dasarnya pada tahun 1970, Yuri Matiyasevich memecahkannya secara negatif, dengan membuktikan bahwa sebuah algoritme umum untuk memecahkan semua persamaan Diophantus tidak ada.

### Geometri Diophantus
Geometri Diophantus, yang merupakan penerapan teknik untuk geometri aljabar dalam bidang ini, tumbuh terus sebagai sebuah hasil; karena memperilaku persamaan sembarang adalah buntu, perhatiannya berubah menjadi persamaan yang juga memiliki sebuah arti geometrik. Gagasan pusat mengenai geometri Diophantus adalah bahwa titik rasional, yaitu sebuah penyelesaian untuk sebuah persamaan polinomial atau sebuah sistem persamaan polinomial, yang merupakan sebuah vektor dalam sebuah medan ditentukan , ketika  *bukanlah* tertutup secara aljabar.

### Penelitian modern
Salah satu dari beberapa pendekatan umum melalui prinsip Hasse. Penurunan takhingga adalah metode tradisional, dam telah didorong jauh.

Kedalaman dari studi persamaan Diophantus umum ditunjukkan oleh pencirian himpunan Diophantus dengan setara digambarkan sebagai terbilang secara rekursif. Dengan kata lain, masalah umum mengenai analisis Diophantus diberkati atau dikutuki dengan keseluruhan, dan dalam suatu kasus bukanlah sesuatu yang akan dipecahkan kecuali dengan mengungkapkan ulang dalam istilah lain.

Bidang hampiran Diophantus berkenaan dengan kasus *pertidaksamaan Diophantus*. Disini peubahnya masih dianggap menjadi integral, tetapi beberapa koefisien dapat menjadi bilangan irasional, dan tanda persamaannya digantikan oleh batas atas dan bawah.

Salah satu pertanyaan yang paling dirayakan dalam bidangnya, konjekturnya dikenal sebagai Teorema Terakhir Fermat, dipecahkan oleh Andrew Wiles, menggunakan alat dari geometri aljabar dikembangkan selama abad terakhir daripada dalam teori bilangan di mana konjekturnya dirumuskan mula-mulanya. Hasil utama lainnya, seperti teorema Falting, dibuang dari konjektur tua.

### Persamaan Diophantus takhingga
Sebuah contoh mengenai persamaan Diophantus takhingga adalah:

: n = a^2 + 2b^2 + 3c^2 + 4d^2 + 5e^2 + \dots,

yang dapat diungkapkan sebagai "Berapa banyak cara sebuah bilangan bulat n yang diberikan dapat ditulis sebagai jumlah sebuah bilangan kuadrat ditambah dua kali sebuah bilangan kuadrat ditambah tiga kali sebuah bilangan kuadrat dan seterusnya?" Jumlah cara ini dapat diselesaikan untuk setiap membentuk sebuah barisan bilangan bulat. Persamaan Diophantus takhingga berkaitan dengan fungsi theta dan kekisi berdimensi takhingga. Persamaan ini selalu memiliki sebuah penyelesaian unuk suatu bilangan positif . Bandingkan ini dengan:

: n = a^2 + 4b^2 + 9c^2 + 16d^2 + 25e^2 + \dots,

yang tidak selalu memiliki sebuah penyelesaian untuk bilangan positif n.

## Persamaan Diophantus eksponensial
Jika persamaan Diophantus memiliki peubah tambahan atau peubah yang muncul sebagai eksponen, Hal tersebut merupakan persamaan Diophantus eksponensial. Contohnya termasuk persamaan Ramanujan–Nagell, 2^n - 7 = x^2, dan persamaan konjektur Fermat-Catalan dan konjektur Beal, a^m + b^n = c^k dengan perbatasan pertidaksamaan pada eksponen. Teori umum untuk persamaan semacam itu tidak tersedia; kasus-kasus tertentu seperti konjektur Catalan telah ditangani. Namun, mayoritas dipecahkan melalui metode ad hoc seperti Teorema Størmer atau bahkan percobaan dan kesalahan.

## Lihat pula
* Algoritma Kuṭṭaka, Aryabhata untuk menyelesaikan persamaan Diophantus linear dalam dua hal yang tidak diketahui

## Catatan

## Referensi
* 
* 
* 
* 
* 

## Bacaan lebih lanjut
*Bashmakova, Izabella G. "Diophante et Fermat," *Revue d'Histoire des Sciences* 19 (1966), pp.&nbsp;289–306
*Bashmakova, Izabella G. *[[Diophantus and Diophantine Equations]]*. Moscow: Nauka 1972 [in Russian]. German translation: *Diophant und diophantische Gleichungen*. Birkhauser, Basel/ Stuttgart, 1974. English translation: *Diophantus and Diophantine Equations*. Translated by Abe Shenitzer with the editorial assistance of Hardy Grant and updated by Joseph Silverman. The Dolciani Mathematical Expositions, 20. Mathematical Association of America, Washington, DC. 1997.
*Bashmakova, Izabella G. “Arithmetic of Algebraic Curves from Diophantus to Poincaré” *Historia Mathematica* 8 (1981), 393-416.
*Bashmakova, Izabella G., Slavutin, E.I. *History of Diophantine Analysis from Diophantus to Fermat*. Moscow: Nauka 1984 [in Russian].
*Bashmakova, Izabella G. “Diophantine Equations and the Evolution of Algebra,” *American Mathematical Society Translations* 147 (2), 1990, pp.&nbsp;85–100. Translated by A. Shenitzer and H. Grant.
* 
*Rashed, Roshdi, Houzel, Christian. *Les Arithmétiques de Diophante : Lecture historique et mathématique*, Berlin, New York : Walter de Gruyter, 2013.
*Rashed, Roshdi, *Histoire de l’analyse diophantienne classique : D’Abū Kāmil à Fermat*, Berlin, New York : Walter de Gruyter.

## Pranala luar

*Diophantine Equation. From MathWorld at Wolfram Research.
*
*Dario Alpern's Online Calculator. Retrieved 18 March 2009