Lihat sumber Persamaan Diophantus

{{short description|Persamaan polinomial yang dicarinya penyelesaian bilangan bulat}}
{{Use dmy dates|date=Oktober 2020}}
[[Berkas:Rtriangle.svg|thumb|Menemukan semua [[Rangkap tiga Pythagoras|segitiga siku-siku dengan panjang sisi bilangan bulat]] setara dengan menyelesaikan persamaan Diophantus <math>a^2 + b^2 = c^2</math>.]]

Dalam [[matematika]], '''persamaan Diophantus''' adalah [[persamaan polinomial]], biasanya dalam dua atau lebih [[Persamaan|tidak diketahui]], sedemikian rupa sehingga hanya [[bilangan bulat]] dari [[Nol dari fungsi#Akar polinomial|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 polinomial|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 [[Matematika Yunani#Hellenistic|matematikawan Helenistik]] dari abad ke-3, [[Diofantos|Diophantus dari Alexandria]], yang mempelajari persamaan tersebut dan merupakan salah satu ahli matematika pertama yang memperkenalkan [[Simbol matematika|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, <math>w</math>, <math>x</math>, <math>y</math>, dan <math>z</math> adalah yang tidak diketahui dan huruf lainnya diberi konstanta:
{| class="wikitable"
| <math>ax + by = 1</math>||Ini merupakan persamaan Diophantus linear.
|-
| <math>w^3 + x^3 = y^3 + z^3</math>|| Penyelesaian taktrivial terkecil dalam bilangan bulat positif adalah <math>12^3 + 1^3 = 9^3 + 10^3 = 1729</math>. Ini terkenal diberikan sebagai properti bukti tahun 1729, [[Bilangan taksi]] atau juga dinamai [[Bilangan Hardy–Ramanujan]]) oleh [[Srinivasa Ramanujan|Ramanujan]] kepada [[Godfrey Harold Hardy|Hardy]] saat bertemu pada tahun 1917.<ref>{{cite web |url=http://www-gap.dcs.st-and.ac.uk/~history/Quotations/Hardy.html |title=Quotations by Hardy |publisher=Gap.dcs.st-and.ac.uk |accessdate=20 November 2012 |archive-url=https://web.archive.org/web/20120716185939/http://www-gap.dcs.st-and.ac.uk/~history/Quotations/Hardy.html |archive-date=16 July 2012 |url-status=dead }}</ref> Ada banyak penyelesaian taktrivial yang tak terhingga banyaknya.<ref>{{citation|title=An Introduction to Number Theory|volume=232|series=Graduate Texts in Mathematics|first1=G.|last1=Everest|first2=Thomas|last2=Ward|publisher=Springer|year=2006|isbn=9781846280443|page=117|url=https://books.google.com/books?id=Z9MAm0lTKuEC&pg=PA117}}.</ref>
|-
| <math>x^n + y^n = z^n</math>||Untuk <math>n = 2</math> ada banyak penyelesaian <math>(x,y,z)</math> yang takhingga: yaitu [[rangkap tiga Pythagoras]]. Untuk nilai bilangan bulat yang lebih besar dari <math>n</math>, [[Teorema Terakhir Fermat]] (awalnya diklaim pada tahun 1637 oleh Fermat dan [[Bukti Wiles tentang Teorema Terakhir Fermat|dibuktikan oleh Andrew Wiles]] pada tahun 1995<ref name=wiles>{{cite journal|last=Wiles|first=Andrew|authorlink=Andrew Wiles|year=1995|title=Modular elliptic curves and Fermat's Last Theorem|url=http://users.tpg.com.au/nanahcub/flt.pdf |journal=Annals of Mathematics|volume=141|issue=3|pages=443–551|oclc=37032255|format=PDF|doi=10.2307/2118559|jstor=2118559|publisher=Annals of Mathematics}}</ref>) menyatakan tidak ada penyelesaian bilangan bulat positif <math>(x,y,z)</math>.
|-
| <math>x^2 - ny^2 = \pm 1</math>|| 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.
|-
| <math>\frac{4}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}</math>||[[Konjektur Erdős–Straus]] menyatakan bahwa, untuk setiap bilangan bulat positif  <math>n \ge 2</math>, ada penyelesaian di <math>x</math>, <math>y</math>, dan <math>z</math>, semuanya sebagai bilangan bulat positif. Meskipun biasanya tidak dinyatakan dalam bentuk polinomial, contoh ini setara dengan persamaan polinomial <math>4xyz = yzn + xzn + xyn = n(yz + xz + xy)</math>.
|-
| <math>x^4 + y^4 + z^4 = w^4</math>||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.<ref>{{cite journal |author=Noam Elkies |title=On ''A''<sup>4</sup> + ''B''<sup>4</sup> + ''C''<sup>4</sup> = ''D''<sup>4</sup> |url= https://www.ams.org/journals/mcom/1988-51-184/S0025-5718-1988-0930224-9/S0025-5718-1988-0930224-9.pdf |journal=[[Mathematics of Computation]] |year=1988 |volume=51 |issue=184 |pages=825–835 |doi=10.2307/2008781 |mr=0930224 |jstor=2008781}}</ref>
|}

== {{anchor|Diophantus linear}} Persamaan Diophantus linear ==

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

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

=== Teorema sisa Cina ===

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

=== 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 [[matriks (matematika)#Notasi|notasi matriks]] setiap sistem persamaan Diophantus linear dapat ditulis
:<math>AX = C</math>,
dimana <math>A</math> adalah matriks bilangan bulat <math>m\! \times\! n</math>, sedangkan <math>X</math> adalah [[matriks kolom]] <math>n\!\times\!1</math> yang tidak diketahui dan <math>C</math> adalah matriks kolom bilangan bulat <math>m\!\times\!1</math>.

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

Oleh karena itu, sistem memiliki penyelesaian jika dan hanya jika <math>b_{i,i}</math> membagi <math>d_i</math> untuk <math>i \le k</math> dan <math>d_i = 0</math> untuk <math>i > k</math>. Jika syarat ini terpenuhi, penyelesaian dari sistem yang diberikan adalah
:<math> 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]\, </math>
dimana <math>h_{k+1},\dots,h_n</math> 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."<ref name="Zippel1993">{{cite book|author=Richard Zippel|title=Effective Polynomial Computation|url=https://archive.org/details/effectivepolynom00zipp|year=1993|publisher=Springer Science & Business Media|isbn=978-0-7923-9375-7|page=[https://archive.org/details/effectivepolynom00zipp/page/50 50]}}</ref>

[[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.<ref>{{cite book|editor=John Alan Robinson and Andrei Voronkov|title=Handbook of Automated Reasoning Volume I|year=2001|publisher=Elsevier and MIT Press|id= {{ISBN|0-444-82949-0}} (Elsevier) {{ISBN|0-262-18221-1}} (MIT Press)|author=Alexander Bockmayr, Volker Weispfenning|chapter=Solving Numerical Constraints|page=779}}</ref>

== Persamaan homogen ==
Persamaan Diophantus homogen adalah persamaan Diophantus yang didefinisikan oleh sebuah [[polinomial homogen]]. Persamaan khas tersebut adalah persamaan dari [[Teorema terakhir Fermat]]
:<math>x^d+y^d -z^d=0</math>.

Sebagai polinomial homogen di {{mvar|n}} indeterminates mendefinisikan [[hiperpermukaan proyektif|hiperpermukaan]] dalam [[ruang proyektif]] dimensi <math>n - 1</math>, 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 <math>d</math> dari bilangan rasional lain). Saksi dari kesulitan soal adalah Teorema Terakhir Fermat (untuk <math>d > 2</math>, 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.{{cn|date=Oktober 2018}}

=== 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 [[Aritmetika modular|modulo]] <math>p</math>. Contohnya, persamaan Diophantus

: <math>x^2+y^2=3z^2</math>,

tidak memiliki suatu penyelesaian lainnya daripada penyelesaian trivial <math>(0,0,0)</math>. Faktanya, dengan membagi <math>x</math>, <math>y</math> dan <math>z</math> oleh [[faktor persekutuan terbesar]]<nowiki/>nya, 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 <math>x</math>, <math>y</math> dan <math>z</math> adalah bilangan genap semua, dan demikian bukanlah koprima. Dengan demikian satu-satunya penyelesaiannya adalah penyelesaian trivial <math>(0,0,0)</math>. Ini menunjukkan bahwa tidak ada [[titik rasional]] pada sebuah [[lingkaran]] dengan radius <math>\sqrt{3},</math> 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

: <math>Q(x_1, \ldots, x_n)=0</math>

menjadi sebuah persamaan Diophantus homogen, dimana <math>Q(x_1, \ldots, x_n)</math> adalah sebuah [[bentuk kuadrat]] (yaitu, sebuah polinomial homogen derajat 2), dengan koefisien bilangan bulat. ''Penyelesaian trivial'' merupakan sebuah penyelesaiannya dimana semua <math>x_i</math> adalah nol. Jika <math>(a_1, \ldots, a_n)</math> adalah sebuah penyelesaian bilangan bulat taktrivial mengenai persamaan ini, maka <math>\left(a_1, \ldots, a_n\right)</math> adalah [[koordinat homogen]] [[titik rasional]] dari hiperpermukaan didefinisikan oleh {{mvar|Q}}. Sebaliknya, jika  <math>\left(\frac {p_1}q,\ldots, \frac {p_n}q\right)</math> adalah koordinat homogen titik rasional dari hiperpermukaan ini, dimana <math>q, p_1, \ldots, p_n</math> adalah bilangan bulat, maka <math>\left(p_1, \ldots, p_n\right)</math> 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

: <math>\left(k\frac{p_1}d, \ldots, k\frac{p_n}d\right)</math>,

dimana {{mvar|k}} adalah suatu bilangan bulat, dan {{mvar|d}} adalah faktor persekutuan terbesar dari <math>p_1</math>.

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

==== Parameterisasi ====
Sekarang misalkan <math>A=\left(a_1, \ldots, a_n\right)</math> menjadi penyelesaian bilangan bulat dari persamaan <math>Q(x_1, \ldots, x_n)=0.</math> Karena {{mvar|Q}} adalah sebuah polinomial derajat dua, sebuah garis lewat melalui <math>A</math> 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 <math>A</math>, 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 <math>a_n\ne 0.</math> Maka salah satunya dapat lewat ke kasus afin dengan menganggap [[hiperpermukaan afin]] didefinisikan oleh

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

yang mana memiliki titik rasional

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

Jika titik rasional ini merupakan sebuah [[Titik tunggal dari sebuah varietas aljabar|titik tunggal]], yakni jika semua [[turunan parsial]] adalah nol di <math>R</math>, semua garis lewat melalui <math>R</math> diisi di hipepermukaannya, dan salah satunya memiliki sebuah [[Permukaan kerucut|kerucut]]. Perubahan peubahnya

: <math>y_i=x_i-r_i</math>

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

Jika polinomial <math>q</math> adalah sebuah hasilkali polinomial linear (mungkin dengan koefisien takrasional), maka ini menentukan dua [[hiperbidang]]. Perpotongan mengenai hiperbidang ini adalah sebuah [[Datar (geometri)|datar]] rasional, dan berisi titik tunggal rasional. Kasus ini demikian sebuah contoh khusus dari kasus sebelumnya.

Dalam kasus umum, misalkan anggap [[Persamaan Parametrik|persamaan parametrik]] mengenai sebuah garis lewat melalui <math>R</math>:

: <math>\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}</math>

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

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

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

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

dimana <math>f_1, \ldots, f_n</math> polinomial derajat setidaknya dua dengan koefisien bilangan bulat.

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

: <math>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)</math>,

menjadi [[Homogenisasi polinomial|homogenisasi]] dari <math>f_i.</math> Polinomial-polinomial kuadrat ini dengan koefisien bilangan bulat membentuk sebuah parameterisasi dari hiperpermukaan projektif didefinisikan oleh {{mvar|Q}}:

: <math>\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}</math>

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

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

dimana {{mvar|k}} adalah sebuah bilangan bulat, <math>t_1, \ldots, t_{n-1}</math> adalah bilangan bulat koprima, dan {{mvar|d}} adalah faktor persekutuan terbesar dari <math>F_i(t_1, \ldots, t_{n-1})</math> bilangan bulat {{mvar|n}}.

Salah satunya daoat berharap bahwa koprimalitas dari <math>t_i</math> dapat menyiratkan bahwa {{math|1=''d'' = 1}}. Sayangnya, ini bukanlah kasusnya, sepertin yang ditunjukkan dalam bagian selanjutnya.

==== Contoh rangkap tiga Pythagoras ====
Persamaan

: <math>x^2+y^2-z^2=0</math>

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

: <math>y=t(x+1)</math>.

Menaruh ini di persamaan lingkaran

: <math>x^2+y^2-1=0</math>,

salah satunya mendapatkan

: <math>x^2-1 +t^2(x+1)^2=0</math>.

Dibagi oleh {{math|''x'' + 1}}, hasilnya dalam

: <math>x-1+t^2(x+1)=0</math>,

yang mudah untuk dipecahkan dalam <math>x</math>:

: <math>x=\frac{1-t^2}{1+t^2}</math>.

Ini mengikuti

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

Menghomogenisasi seperti digambarkan di atas salah satunya mendapatkan semua penyelesaian sebagai

: <math>\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}</math>

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

''Rangkap tiga primitif'' adalah penyelesaiannya dimana <math>k = 1</math> dan <math>s > t > 0</math>.

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

== Analisis Diophantus ==

=== Pertanyaan khas ===

Pertanyaan yang diajukan dalam analisis Diophantus meliputi:

#Apakah ada penyelesaiannya?
#Apakah ada penyelesaiannya selain beberapa yang mudah ditemukan dengan [[Daftar jargon matematika#Teknik pembuktian|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 <math>AB</math> yang membentuk usia ayah dibalik dalam usia putranya (misalkan <math>BA</math>). Ini mengarah ke persamaan <math>10A + B = 2(10B + A) - 1</math>, jadi <math>19B - 8A = 1</math>. Inspeksinya memberikan hasil <math>A = 7</math>, <math>B = 3</math>, dan dengan demikian <math>AB</math> sama dengan 73 tahun dan <math>BA</math> sama dengan 37 tahun. Salah satunya dapat dengan mudah menunjukkan bahwa tidak ada penyelesaian lain dengan <math>A</math> dan <math>B</math> [[Bilangan asli|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 <math>a^n + b^n = c^n</math> tidak memiliki penyelesaian untuk suatu <math>n</math> 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 <math>61x^2 + y^2 = 1</math> (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 <math>x = 226153980</math>, <math>y = 1766319049</math> (lihat [[metode Chakravala]]).

=== Masalah Hilbert kesepuluh ===
{{main article|Masalah Hilbert kesepuluh}}Pada tahun 1900, [[David Hilbert]] mengusulkan kemampuan semua persamaan Diophantus sebagai [[Masalah Hilbert kesepuluh|kesepuluh]] dari [[Masalah Hilbert|masalah dasar]]<nowiki/>nya pada tahun 1970, [[Yuri Matiyasevich]] memecahkannya secara negatif, dengan membuktikan bahwa sebuah [[algoritme]] umum untuk memecahkan semua persamaan Diophantus [[Bukti kemustahilan|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 (matematika)|medan]] ditentukan {{math|''K''}}, ketika {{math|''K''}} ''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 [[Himpunan terbilang secara rekursif|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, [[konjektur]]<nowiki/>nya dikenal sebagai [[Teorema Terakhir Fermat]], [[Bukti Wiles mengenai Teorema Terakhir Fermat|dipecahkan oleh Andrew Wiles]],<ref name="wiles" /> 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.

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

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

yang dapat diungkapkan sebagai "Berapa banyak cara sebuah bilangan bulat <math>n</math> 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 {{math|''n''}}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 {{math|''n''}}. Bandingkan ini dengan:

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

yang tidak selalu memiliki sebuah penyelesaian untuk bilangan positif <math>n</math>.

== 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]], <math>2^n - 7 = x^2</math>, dan persamaan [[konjektur Fermat-Catalan]] dan [[konjektur Beal]], <math>a^m + b^n = c^k</math> 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 ==
* Algoritme [[Kuṭṭaka]], [[Aryabhata]] untuk menyelesaikan persamaan Diophantus linear dalam dua hal yang tidak diketahui

== Catatan ==
{{Reflist}}

== Referensi ==
* {{Cite book| first=L. J.|last=Mordell | authorlink=Louis Mordell | title=Diophantine equations | publisher=[[Academic Press]] | year=1969 | isbn=0-12-506250-8 | zbl=0188.34503 | series=Pure and Applied Mathematics | volume=30 }}
* {{Cite book | last=Schmidt | first=Wolfgang M. | authorlink=Wolfgang M. Schmidt | title=Diophantine approximations and Diophantine equations | series=Lecture Notes in Mathematics | publisher=[[Springer-Verlag]] | year=1991 | isbn=3-540-54058-X | volume=1467 | location=Berlin | zbl=0754.11020 }}
* {{Cite book| first1=T. N.|last1=Shorey | first2=R.|last2=Tijdeman |author2-link=Robert Tijdeman| title=Exponential Diophantine equations | series=Cambridge Tracts in Mathematics | volume=87 | publisher=[[Cambridge University Press]] | year=1986 | isbn=0-521-26826-5 | zbl=0606.10011 }}
* {{Cite book | first=Nigel P. | last=Smart | title=The algorithmic resolution of Diophantine equations | series=London Mathematical Society Student Texts | volume=41 | publisher=Cambridge University Press | year=1998 | isbn=0-521-64156-X | zbl=0907.11001 | url-access=registration | url=https://archive.org/details/algorithmicresol0000smar }}
* {{Cite book | first=John | last=Stillwell | title=Mathematics and its History | edition=Second | publisher=Springer Science + Business Media Inc. | year=2004 | isbn=0-387-95336-1|url=https://books.google.com/books?id=WNjRrqTm62QC&printsec=frontcover&dq=isbn:0387953361&hl=en&sa=X&ved=0ahUKEwjn64PF463jAhUaU80KHaY4A_0Q6AEIKjAA#v=onepage&q=diophantine&f=false}}

== 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. “[https://web.archive.org/web/20190403144351/https://core.ac.uk/download/pdf/81109310.pdf 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.
* {{cite book | last=Dickson | first=Leonard Eugene | author-link=Leonard Eugene Dickson | title=[[History of the Theory of Numbers]]. Volume II: Diophantine analysis | origyear=1920 | zbl=1214.11002 | mr=0245500 | location=Mineola, NY | publisher=Dover Publications | isbn=978-0-486-44233-4 | year=2005}}
*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 ==
{{Commons|Diophantine equation}}
*[http://mathworld.wolfram.com/DiophantineEquation.html Diophantine Equation]. From [[MathWorld]] at [[Wolfram Research]].
*{{Springer|id=d/d032610|title=Diophantine equations}}
*[http://www.alpertron.com.ar/QUAD.HTM Dario Alpern's Online Calculator]. Retrieved 18 March 2009

{{Matematika Yunani kuno}}

{{Authority control}}

{{DEFAULTSORT:Persamaan Diophantus}}
[[Kategori:Persamaan Diophantus|*]]