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.

Dalam Persamaan Diophantus berikut ini, ${\displaystyle w}$, ${\displaystyle x}$, ${\displaystyle y}$, dan ${\displaystyle z}$ adalah yang tidak diketahui dan huruf lainnya diberi konstanta:

${\displaystyle ax+by=1}$	Ini merupakan persamaan Diophantus linear.
${\displaystyle w^{3}+x^{3}=y^{3}+z^{3}}$	Penyelesaian taktrivial terkecil dalam bilangan bulat positif adalah ${\displaystyle 12^{3}+1^{3}=9^{3}+10^{3}=1729}$. Ini terkenal diberikan sebagai properti bukti tahun 1729, Bilangan taksi atau juga dinamai Bilangan Hardy–Ramanujan) oleh Ramanujan kepada Hardy saat bertemu pada tahun 1917.[1] Ada banyak penyelesaian taktrivial yang tak terhingga banyaknya.[2]
${\displaystyle x^{n}+y^{n}=z^{n}}$	Untuk ${\displaystyle n=2}$ ada banyak penyelesaian ${\displaystyle (x,y,z)}$ yang takhingga: yaitu rangkap tiga Pythagoras. Untuk nilai bilangan bulat yang lebih besar dari ${\displaystyle n}$, Teorema Terakhir Fermat (awalnya diklaim pada tahun 1637 oleh Fermat dan dibuktikan oleh Andrew Wiles pada tahun 1995[3]) menyatakan tidak ada penyelesaian bilangan bulat positif ${\displaystyle (x,y,z)}$.
${\displaystyle x^{2}-ny^{2}=\pm 1}$	Ini adalah Persamaan Pell, yang diambil dari nama ahli matematika Inggris John Pell. Ini dipelajari oleh Brahmagupta pada abad ke-7, serta oleh Fermat pada abad ke-17.
${\displaystyle {\frac {4}{n}}={\frac {1}{x}}+{\frac {1}{y}}+{\frac {1}{z}}}$	Konjektur Erdős–Straus menyatakan bahwa, untuk setiap bilangan bulat positif ${\displaystyle n\geq 2}$, ada penyelesaian di ${\displaystyle x}$, ${\displaystyle y}$, dan ${\displaystyle z}$, semuanya sebagai bilangan bulat positif. Meskipun biasanya tidak dinyatakan dalam bentuk polinomial, contoh ini setara dengan persamaan polinomial ${\displaystyle 4xyz=yzn+xzn+xyn=n(yz+xz+xy)}$.
${\displaystyle x^{4}+y^{4}+z^{4}=w^{4}}$	Konjektur yang salah oleh Euler tidak memiliki penyelesaian taktrivial. Dibuktikan oleh Elkies memiliki penyelesaian taktrivial yang takhingga banyaknya, dengan pencarian komputer oleh Frye untuk menentukan penyelesaian taktrivial terkecil.[4]

Persamaan Diophantus linear paling sederhana mengambil bentuk ${\displaystyle ax+by=c}$, dimana ${\displaystyle a}$, ${\displaystyle b}$ dan ${\displaystyle c}$ adalah bilangan bulat yang diberikan. Penyelesaiannya dijelaskan oleh teorema berikut:

Persamaan Diophantus memiliki penyelesaian (dimana ${\displaystyle x}$ dan ${\displaystyle y}$ adalah bilangan bulat) jika dan hanya jika ${\displaystyle c}$ adalah kelipatan dari faktor persekutuan terbesar dari ${\displaystyle a}$ dan ${\displaystyle b}$. Selain itu, jika ${\displaystyle (x,y)}$ adalah penyelesaiannya, maka penyelesaian lain memiliki bentuk ${\displaystyle (x+kv,y-ku)}$, dimana ${\displaystyle k}$ adalah bilangan bulat sembarang, dan ${\displaystyle u}$ dan ${\displaystyle v}$ adalah hasil dari ${\displaystyle a}$ dan ${\displaystyle b}$ (masing-masing) oleh pembagi persekutuan terbesar dari ${\displaystyle a}$ dan ${\displaystyle b}$.

Bukti: Jika ${\displaystyle d}$ adalah pembagi persekutuan terbesar ini, identitas Bézout menegaskan keberadaan bilangan bulat ${\displaystyle e}$ dan ${\displaystyle f}$ termasuk bilangan bulat ${\displaystyle ae+bf=d}$. Jika ${\displaystyle c}$ adalah kelipatan dari ${\displaystyle d}$, maka ${\displaystyle c=dh}$ adalah untuk beberapa penyelesaian bilangan bulat ${\displaystyle h}$, dan ${\displaystyle (eh,fh)}$. Di sisi lain, untuk setiap pasangan bilangan bulat ${\displaystyle x}$ dan ${\displaystyle y}$, faktor persekutuan terbesar ${\displaystyle d}$ untuk ${\displaystyle a}$ dan ${\displaystyle b}$ dan memisahkan ${\displaystyle ax+by}$. Jadi, jika persamaan memiliki penyelesaian, maka ${\displaystyle c}$ harus kelipatan ${\displaystyle d}$. Jika ${\displaystyle a=ud}$ dan ${\displaystyle b=vd}$ adalah bilangan bulat yang sudah lama untuk setiap penyelesaian ${\displaystyle (x,y)}$, kita memiliki

${\displaystyle a(x+kv)+b(y-ku)=ax+by+k(av-bu)=ax+by+k(udv-vdu)=ax+by}$,

Bilangan tersebut menunjukkan ${\displaystyle (x+kv,y-ku)}$ adalah bagian bilangan penyelesaian lain. Akhirnya diberikan dua penyelesaian sehingga ${\displaystyle ax_{1}+by_{1}=ax_{2}+by_{2}=c}$, maka kita dapat menyimpulkan bilangan bulat ${\displaystyle u(x_{2}-x_{1})+v(y_{2}-y_{1})=0}$. Karena ${\displaystyle u}$ dan ${\displaystyle v}$ adalah koprima, lema Euklides menunjukkan bahwa ${\displaystyle v}$ membagi ${\displaystyle x_{2}-x_{1}}$, dan demikian terdapat bilangan bulat ${\displaystyle k}$ seperti bilangan ${\displaystyle x_{2}-x_{1}=kv}$ dan ${\displaystyle y_{2}-y_{1}=-ku}$. Oleh karena itu, ${\displaystyle x_{2}=x_{1}+kv}$ dan ${\displaystyle y_{2}=y_{1}-ku}$ adalah bilangan yang melengkapi buktinya.

Teorema sisa Cina adalah hal yang menjelaskan kelas penting dari sistem persamaan Diophantus linear: misalkan ${\displaystyle n_{1},\dots ,n_{k}}$ adalah bilangan bulat koprima sesepenggal ${\displaystyle k}$ yang lebih besar dari satu, ${\displaystyle a_{1},\dots ,a_{k}}$ adalah sistem bilangan bulat sembarang ${\displaystyle k}$, dan ${\displaystyle N}$ adalah hasilkali ${\displaystyle n_{1}\dots n_{k}}$. Teorema sisa Cina menyatakan bahwa sistem Diophantus linear berikut memiliki tepat satu penyelesaian ${\displaystyle (x,x_{1},\dots ,x_{k})}$ sehingga bilangan bulatnya adalah ${\displaystyle 0\leq x<N}$, dan bahwa penyelesaiannya diperoleh dengan menambahkan ke ${\displaystyle x}$ dengan kelipatan ${\displaystyle N}$:

${\displaystyle {\begin{aligned}x&=a_{1}+n_{1}\,x_{1}\\&\vdots \\x&=a_{k}+n_{k}\,x_{k}\end{aligned}}}$

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

${\displaystyle AX=C}$,

dimana ${\displaystyle A}$ adalah matriks bilangan bulat ${\displaystyle m\!\times \!n}$, sedangkan ${\displaystyle X}$ adalah matriks kolom ${\displaystyle n\!\times \!1}$ yang tidak diketahui dan ${\displaystyle C}$ adalah matriks kolom bilangan bulat ${\displaystyle m\!\times \!1}$.

Perhitungan bentuk normal Smith dari ${\displaystyle A}$ menyediakan dua matriks unimodular (yaitu matriks terbalikkan atas bilangan bulat dan memiliki ${\displaystyle \pm 1}$ sebagai determinan) ${\displaystyle U}$ dan ${\displaystyle V}$ dari masing-masing dimensi ${\displaystyle m\!\times \!m}$ dan ${\displaystyle n\!\times \!n}$, sedemikian rupa sehingga matriks

${\displaystyle B=[b_{i,j}]=UAV}$

sehingga b_i,i taknol untuk ${\displaystyle i}$ tidak lebih besar dari suatu bilangan bulat ${\displaystyle k}$, dan semua entri lainnya adalah nol. Sistem yang akan diselesaikan dengan demikian dapat ditulis ulang sebagai

${\displaystyle B(V^{-1}X)=UC}$. Pengalihan ${\displaystyle y_{i}}$ dari entri ${\displaystyle V^{-1}X}$ dan ${\displaystyle d_{i}}$ dari ${\displaystyle D=UC}$, ini mengarah ke sistem

${\displaystyle b_{i,i}y_{i}=d_{i}}$ untuk ${\displaystyle 1\leq i\leq k}$,

${\displaystyle 0y_{1}=d_{i}}$ untuk ${\displaystyle k<i\leq n}$.

Sistem ini setara dengan yang diberikan dalam pengertian berikut: Matriks kolom bilangan bulat x adalah penyelesaian dari sistem yang diberikan jika dan hanya jika x = Vy untuk beberapa matriks kolom bilangan bulat ${\displaystyle y}$ sehingga ${\displaystyle By=D}$.

Oleh karena itu, sistem memiliki penyelesaian jika dan hanya jika ${\displaystyle b_{i,i}}$ membagi ${\displaystyle d_{i}}$ untuk ${\displaystyle i\leq k}$ dan ${\displaystyle d_{i}=0}$ untuk ${\displaystyle i>k}$. Jika syarat ini terpenuhi, penyelesaian dari sistem yang diberikan adalah

${\displaystyle 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]\,}$

dimana ${\displaystyle 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."^[5]

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.^[6]

Persamaan Diophantus homogen adalah persamaan Diophantus yang didefinisikan oleh sebuah polinomial homogen. Persamaan khas tersebut adalah persamaan dari Teorema terakhir Fermat

${\displaystyle x^{d}+y^{d}-z^{d}=0}$.

Sebagai polinomial homogen di n indeterminates mendefinisikan hiperpermukaan dalam ruang proyektif dimensi ${\displaystyle 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 ${\displaystyle d}$ dari bilangan rasional lain). Saksi dari kesulitan soal adalah Teorema Terakhir Fermat (untuk ${\displaystyle 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 algoritme diketahui yang berfungsi untuk setiap persamaan kubik.^{[butuh rujukan]}

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 ${\displaystyle p}$. Contohnya, persamaan Diophantus

${\displaystyle x^{2}+y^{2}=3z^{2}}$,

tidak memiliki suatu penyelesaian lainnya daripada penyelesaian trivial ${\displaystyle (0,0,0)}$. Faktanya, dengan membagi ${\displaystyle x}$, ${\displaystyle y}$ dan ${\displaystyle 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 ${\displaystyle x}$, ${\displaystyle y}$ dan ${\displaystyle z}$ adalah bilangan genap semua, dan demikian bukanlah koprima. Dengan demikian satu-satunya penyelesaiannya adalah penyelesaian trivial ${\displaystyle (0,0,0)}$. Ini menunjukkan bahwa tidak ada titik rasional pada sebuah lingkaran dengan radius ${\displaystyle {\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.

Misalkan

${\displaystyle Q(x_{1},\ldots ,x_{n})=0}$

menjadi sebuah persamaan Diophantus homogen, dimana ${\displaystyle 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 dimana semua ${\displaystyle x_{i}}$ adalah nol. Jika ${\displaystyle (a_{1},\ldots ,a_{n})}$ adalah sebuah penyelesaian bilangan bulat taktrivial mengenai persamaan ini, maka ${\displaystyle \left(a_{1},\ldots ,a_{n}\right)}$ adalah koordinat homogen titik rasional dari hiperpermukaan didefinisikan oleh Q. Sebaliknya, jika ${\displaystyle \left({\frac {p_{1}}{q}},\ldots ,{\frac {p_{n}}{q}}\right)}$ adalah koordinat homogen titik rasional dari hiperpermukaan ini, dimana ${\displaystyle q,p_{1},\ldots ,p_{n}}$ adalah bilangan bulat, maka ${\displaystyle \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

${\displaystyle \left(k{\frac {p_{1}}{d}},\ldots ,k{\frac {p_{n}}{d}}\right)}$,

dimana k adalah suatu bilangan bulat, dan d adalah faktor persekutuan terbesar dari ${\displaystyle p_{1}}$.

Ini mengikuti bahwa menyelesaikan persamaan Diophantus ${\displaystyle Q(x_{1},\ldots ,x_{n})=0}$ tereduksi sempurna untuk mencari titik rasional dari hiperpermukaan projektif berpadanan.

Sekarang misalkan ${\displaystyle A=\left(a_{1},\ldots ,a_{n}\right)}$ menjadi penyelesaian bilangan bulat dari persamaan ${\displaystyle Q(x_{1},\ldots ,x_{n})=0.}$ Karena Q adalah sebuah polinomial derajat dua, sebuah garis lewat melalui ${\displaystyle 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 ${\displaystyle 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 ${\displaystyle a_{n}\neq 0.}$ Maka salah satunya dapat lewat ke kasus afin dengan menganggap hiperpermukaan afin didefinisikan oleh

${\displaystyle q(x_{1},\ldots ,x_{n-1})=Q(x_{1},\ldots ,x_{n-1},1)}$,

yang mana memiliki titik rasional

${\displaystyle 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 ${\displaystyle R}$, semua garis lewat melalui ${\displaystyle R}$ diisi di hipepermukaannya, dan salah satunya memiliki sebuah kerucut. Perubahan peubahnya

${\displaystyle y_{i}=x_{i}-r_{i}}$

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

Jika polinomial ${\displaystyle 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 ${\displaystyle R}$:

${\displaystyle {\begin{aligned}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{aligned}}}$

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

${\displaystyle x_{1}={\frac {f_{1}(t_{2},\ldots ,t_{n-1})}{f_{n}(t_{2},\ldots ,t_{n-1})}}}$.

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

${\displaystyle x_{i}={\frac {f_{i}(t_{2},\ldots ,t_{n-1})}{f_{n}(t_{2},\ldots ,t_{n-1})}}}$,

dimana ${\displaystyle f_{1},\ldots ,f_{n}}$ polinomial derajat setidaknya dua dengan koefisien bilangan bulat.

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

${\displaystyle 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 ${\displaystyle f_{i}.}$ Polinomial-polinomial kuadrat ini dengan koefisien bilangan bulat membentuk sebuah parameterisasi dari hiperpermukaan projektif didefinisikan oleh Q:

${\displaystyle {\begin{aligned}x_{1}&=F_{1}(t_{1},\ldots ,t_{n-1})\\\vdots &\\x_{n}&=F_{n}(t_{1},\ldots ,t_{n-1})\end{aligned}}}$

Sebuah titik dari hiperpermukaan projektif didefinisikan oleh Q adalah rasional jika dan hanya jikai ini dapat diperoleh dari nilai-nilai rasional dari ${\displaystyle t_{1},\ldots ,t_{n-1}}$. Karena ${\displaystyle F_{1},\ldots ,F_{n}}$ adalah polinomial homogen, titiknya tidak berubah jika semua ${\displaystyle t_{i}}$ dikalikan oleh bilangan rasional yang sama. Demikian, salah satunya dapat menganggap bahwa ${\displaystyle t_{1},\ldots ,t_{n-1}}$ adalah bilangan bulat koprima. Ini mengikuti bahwa penyelesaian bilangan bulat dari persamaan Diophantus persisnya barisan ${\displaystyle (x_{1},\ldots ,x_{n})}$ dimana, untuk i = 1, ..., n,

${\displaystyle x_{i}=k\,{\frac {F_{i}(t_{1},\ldots ,t_{n-1})}{d}}}$,

dimana k adalah sebuah bilangan bulat, ${\displaystyle t_{1},\ldots ,t_{n-1}}$ adalah bilangan bulat koprima, dan d adalah faktor persekutuan terbesar dari ${\displaystyle F_{i}(t_{1},\ldots ,t_{n-1})}$ bilangan bulat n.

Salah satunya daoat berharap bahwa koprimalitas dari ${\displaystyle t_{i}}$ dapat menyiratkan bahwa d = 1. Sayangnya, ini bukanlah kasusnya, sepertin yang ditunjukkan dalam bagian selanjutnya.

Persamaan

${\displaystyle 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 (-1, 0, 1), berpadanan dengan titik (-1, 0) dari lingkaran satuan. Sebuah garis lewat melalui titik ini dapati diparameterisasikan oleh lerengnya:

${\displaystyle y=t(x+1)}$.

Menaruh ini di persamaan lingkaran

${\displaystyle x^{2}+y^{2}-1=0}$,

salah satunya mendapatkan

${\displaystyle x^{2}-1+t^{2}(x+1)^{2}=0}$.

Dibagi oleh x + 1, hasilnya dalam

${\displaystyle x-1+t^{2}(x+1)=0}$,

yang mudah untuk dipecahkan dalam ${\displaystyle x}$:

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

Ini mengikuti

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

Menghomogenisasi seperti digambarkan di atas salah satunya mendapatkan semua penyelesaian sebagai

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

dimana ${\displaystyle k}$ adalah suatu bilangan bulat, ${\displaystyle s}$ dan ${\displaystyle t}$ adalah bilangan bulat koprima, dan ${\displaystyle d}$ adalah faktor persekutuan terbesar dari tiga pembilang. Faktanya, ${\displaystyle d=2}$ jika ${\displaystyle s}$ dan ${\displaystyle t}$ adalah ganjil keduanya, dan ${\displaystyle d=1}$ jika satunya adalah ganjil dan yang lainnya adalah genap.

Rangkap tiga primitif adalah penyelesaiannya dimana ${\displaystyle k=1}$ dan ${\displaystyle s>t>0}$.

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

Pertanyaan yang diajukan dalam analisis Diophantus meliputi:

1. Apakah ada penyelesaiannya?
2. Apakah ada penyelesaiannya selain beberapa yang mudah ditemukan dengan inspeksi?
3. Apakah penyelesaiannya terhingga atau takterhingga?
4. Dapatkah semua penyelesaiannya ditemukan dalam teori?
5. 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.

Informasi yang diberikan adalah bahwa usia seorang ayah adalah 1 kurang dari dua kali lipat dari putranya, dan itu digit ${\displaystyle AB}$ yang membentuk usia ayah dibalik dalam usia putranya (misalkan ${\displaystyle BA}$). Ini mengarah ke persamaan ${\displaystyle 10A+B=2(10B+A)-1}$, jadi ${\displaystyle 19B-8A=1}$. Inspeksinya memberikan hasil ${\displaystyle A=7}$, ${\displaystyle B=3}$, dan dengan demikian ${\displaystyle AB}$ sama dengan 73 tahun dan ${\displaystyle BA}$ sama dengan 37 tahun. Salah satunya dapat dengan mudah menunjukkan bahwa tidak ada penyelesaian lain dengan ${\displaystyle A}$ dan ${\displaystyle 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.

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 ${\displaystyle a^{n}+b^{n}=c^{n}}$ tidak memiliki penyelesaian untuk suatu ${\displaystyle 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, namun, 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 ${\displaystyle 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 ${\displaystyle x=226153980}$, ${\displaystyle y=1766319049}$ (lihat metode Chakravala).

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, 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 K, ketika K bukanlah tertutup secara aljabar.

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, tapi 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,^[3] menggunakan alat dari geometri aljabar dikembangkan selama abad terakhir daripada dalam teori bilangan dimana konjekturnya dirumuskan mula-mulanya. Hasil utama lainnya, seperti teorema Falting, dibuang dari konjektur tua.

Sebuah contoh mengenai persamaan Diophantus takhingga adalah:

${\displaystyle n=a^{2}+2b^{2}+3c^{2}+4d^{2}+5e^{2}+\dots }$,

yang dapat diungkapkan sebagai "Berapa banyak cara sebuah bilangan bulat ${\displaystyle 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 nmembentuk 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 n. Bandingkan ini dengan:

${\displaystyle n=a^{2}+4b^{2}+9c^{2}+16d^{2}+25e^{2}+\dots }$,

yang tidak selalu memiliki sebuah penyelesaian untuk bilangan positif ${\displaystyle n}$.

Jika persamaan Diophantus memiliki peubah tambahan atau peubah yang muncul sebagai eksponen, Hal tersebut merupakan persamaan Diophantus eksponensial. Contohnya termasuk persamaan Ramanujan–Nagell, ${\displaystyle 2^{n}-7=x^{2}}$, dan persamaan konjektur Fermat-Catalan dan konjektur Beal, ${\displaystyle 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.

• Algoritme Kuṭṭaka, Aryabhata untuk menyelesaikan persamaan Diophantus linear dalam dua hal yang tidak diketahui

• Mordell, L. J. (1969). Diophantine equations. Pure and Applied Mathematics. 30. Academic Press. ISBN 0-12-506250-8. Zbl 0188.34503. 
• Schmidt, Wolfgang M. (1991). Diophantine approximations and Diophantine equations. Lecture Notes in Mathematics. 1467. Berlin: Springer-Verlag. ISBN 3-540-54058-X. Zbl 0754.11020. 
• Shorey, T. N.; Tijdeman, R. (1986). Exponential Diophantine equations. Cambridge Tracts in Mathematics. 87. Cambridge University Press. ISBN 0-521-26826-5. Zbl 0606.10011. 
• Smart, Nigel P. (1998). The algorithmic resolution of Diophantine equations. London Mathematical Society Student Texts. 41. Cambridge University Press. ISBN 0-521-64156-X. Zbl 0907.11001. 
• Stillwell, John (2004). Mathematics and its History (edisi ke-Second). Springer Science + Business Media Inc. ISBN 0-387-95336-1. 

• Bashmakova, Izabella G. "Diophante et Fermat," Revue d'Histoire des Sciences 19 (1966), pp. 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. 85–100. Translated by A. Shenitzer and H. Grant.
• Dickson, Leonard Eugene (2005) [1920]. History of the Theory of Numbers. Volume II: Diophantine analysis. Mineola, NY: Dover Publications. ISBN 978-0-486-44233-4. MR 0245500. Zbl 1214.11002. 
• 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.

Wikimedia Commons memiliki media mengenai Diophantine equation.

• Diophantine Equation. From MathWorld at Wolfram Research.
• Hazewinkel, Michiel, ed. (2001) [1994], "Diophantine equations", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4 
• Dario Alpern's Online Calculator. Retrieved 18 March 2009

Templat:Matematika Yunani kuno