Persamaan Diophantine

K
August 21, 2021

§1 Pendahuluan
Persamaan Diophantine adalah persamaan yang bekerja pada bilangan bulat. Dalam
artikel ini, akan dibahas beberapa metode untuk menyelesaikan persamaan diophantine

§2 Faktorisasi
Dengan sedikit memanipulasi persamaan menjadi bentuk yang dapat difaktorisasikan,
kemudian membagi kasus untuk setiap kemungkinan pemfaktoran. Yakni, mengatur
ulang persamaan yang diberikan menjadi dalam bentuk
f1 (x1 , x2 , ..., xk )f2 (x1 , x2 , ..., xk )...fn (x1 , x2 , ..., xk ) = a
Beberapa ketaksamaan yang dapat digunakan adalah:
1. (a + p)(b + q) = ab + qa + pb + pq
2. (xa + y)(wb + z) = xwab + zxa + ywb + yz
3. a3 + b3 + c3 = (a + b + c)(a2 + b2 + c2 − ab − bc − ca)
4. a4 + 4b4 = (a2 − 2ab + 2b2 )(a2 + 2ab + 2b2 )

Contoh 2.1
Carilah solusi bilangan asli dari persamaan

x3 − y 3 = xy + 61

Solusi. Bentuk persamaan ini mengingatkan akan persamaan x3 + y 3 + z 3 − 3xyz =

(x + y + z)(x2 + y 2 + z 2 − xy − yz − zx). Yang diperlukan adalah membuat faktor 3
muncul di bagian xy dengan tidak mengubah sifat kubik dari x3 dan −y 3 . Hal ini dapat
dilakukan dengan mengalikan 27 di kedua ruas . Sehingga didapat
(3x)3 + (−3y)3 + (−1)3 − 3(3x)(−3y)(−1) = 1646
Maka ,
(3x − 3y − 1)(9x2 + 9y 2 + 1 + 3x − 3y + 9xy) = 2 × 823
Karena 3x − 3y − 1 ≡ 2(mod3) dan 9x2 + 9y 2 + 1 + 3x − 3y + 9xy > 3x − 3y − 1 , maka
3x − 3y − 1 = 2 dan 9x2 + 9y 2 + 1 + 3x − 3y + 9xy = 823 .
Akibatnya , x = y + 1 , dan dengan memasukkan nilai tersebut ke persamaan , didapat
solusi (x, y) = (6, 5)

1
K (August 21, 2021) Persamaan Diophantine

§3 Manfaatkan Keaksamaan
Beberapa ketaksamaan yang cukup umum digunakan antara lain ketaksamaan QM-AM-
GM-HM dan Cauchy-Schwarz. Selain itu , sifat bahwa jika a|b maka |a| ≤ |b| atau b = 0
juga merupakan salah satu teknik yang seringkali dapat menyelesaikan soal .
Teknik pertidaksamaan yang lain adalah teknik bounding . Bounding adalah meman-
faatkan sifat bahwa diantara dua bilangan berpangkat n yang berurutan (xn dan (x + 1)n )
tidak ada bilangan lain yang berpangkat n.

Contoh 3.1
Carilah solusi bilangan asli dari persamaan

3(xy + yz + zx) = 4xyz

Solusi. Secara intuitif , kita akan merasa bahwa solusi dari persamaan tidak dapat
bernilai begitu besar karena nilai ruas kanan akan tumbuh lebih cepat daripada ruas
kiri . Kita juga dapat memerhatikan bahwa persamaan ini simetris , sehingga dapat
diasumsikan tanpa mengurangi keumuman (WLOG) , x ≤ y ≤ z . Dengan membagi
kedua ruas dengan 3xyz , didapat
1 1 1 4
+ + =
x y z 3
Perhatikan bahwa semakin besar nilai dari x, y, z , semakin kecil nilai dari ruas kiri .
Karena x ≤ y ≤ z , maka 43 = x1 + y1 + z1 ≤ x3 . Sehingga , x ≤ 2 .
Kasus 1 x = 1
Maka , y1 + z1 = 31 .
Karena y ≤ z , maka 13 = y1 + z1 ≤ y2 . Sehingga , 3 < y ≤ 6 . Dengan mengecek nilai
y = 4, 5, 6 , didapat solusi (x, y, z) = (1, 6, 6), (1, 4, 12)dan permutasinya.
Kasus 2 x = 2
Maka , y1 + z1 = 65 .
Karena y ≤ z , maka 56 = y1 + z1 ≤ y2 . Sehingga , y ≤ 2 . Dengan mengecek nilai y = 2 ,
didapat solusi (x, y, z) = (2, 2, 3)dan permutasinya.

Maka , seluruh solusinya adalah (x, y, z) = (1, 1, 6), (1, 4, 12), (2, 2, 3) dan permutasi

§4 Modulo
Modulo seringkali menjadi problem-killer. Dengan menggunakan analisis dari modulo
suatu bilangan (biasanya modulo bilangan prima tertentu atau bilangan dua berpangkat)
, kita dapat menunjukkan bahwa suatu persamaan tidak memiliki solusi bilangan bulat
atau mereduksi kemungkinan solusi (biasanya pada persamaan diophantine yang varibel-
nya berposisi sebagai pangkat) .

Contoh 4.1
Carilah semua pasangan bilangan asli (x, y) yang memenuhi persamaan

x2 − y! = 2001

2
K (August 21, 2021) Persamaan Diophantine

Solusi. Barangkali pemilihan bilangan yang akan dijadikan modulo disini belum terlihat
jelas . Bagaimana kalau dengan modulo 2 ? Jika y ≥ 2 , maka x ganjil dan jika y = 1 ,
maka x tidak bulat . Belum terlihat titik terang dari soal ini .
Atau mungkin dengan modulo 3 ?
Jika y ≥ 3 , maka x habis dibagi 3 . Akibatnya , x2 ≡ 0(mod 9) , sedangkan 2001 ≡ 3(mod
9) .
Maka y! ≡ 6( mod 9) .Jika y ≥ 6 , kita punya y! ≡ 0(mod 9) . Sehingga hanya perlu
dicek nilai y = 1, 2, 3, 4, 5 .
Setelah pengecekan , didapat solusi (x, y) = (25, 4)

§5 Fermat’s Method of InfInite Descent(FMID)

FMID secara umum menyatakan bahwa tidak ada barisan bilangan asli tak hingga yang
monoton turun tegas (a1 > a2 > a3 > ...) . FMID biasanya digunakan dengan cara
menunjukkan bahwa apabila suatu persamaan memiliki suatu solusi bilangan asli dan
untuk sebagian besar solusi persamaan tersebut berakibat adanya suatu solusi bilangan
asli yang lebih kecil , maka persamaan tersebut tidak memiliki solusi bilangan asli kecuali
mungkin di sebagian kecil pengecualian.

Contoh 5.1
Carilah semua solusi bilangan bulat dari persamaan

x4 + y 4 + z 4 = 9u4

Proof. Pangkat 4 seakan-akan menyugestikan penggunaan mod 5.

Kita juga dapat menemukan satu solusi trivial , yakni (0, 0, 0) .
Asumsikan ada solusi yang lain , (x, y, z, u) .
Jika u = 0 ,maka x = y = z = 0 juga .
Asumsikan u 6= 0 dan tidak habis dibagi 5 , maka ruas kanan kongruen 4 modulo 5 .
Tinjau bahwa x4 , y 4 , z 4 kongruen 0 atau 1(mod 5) , akibatnya ruas kiri kongruen 0,1,2
atau 3 modulo 5 .
Maka , u habis dibagi 5 dan demikian pula x, y, z.
Misalkan u = 5u1 , x = 5x1 , y = 5y1 , z = 5z1 , maka dengan membagi kedua ruas dengan
625 , didapat
x1 4 + y1 4 + z1 4 = 9u1 4
Sehingga (x1 , y1 , z1 , u1 ) juga merupakan solusi persamaan . Padahal , kita punya |u1 | < |u|
. Akibatnya ,dengan mengulangi prosedur ini di (x1 , y1 , z1 , u1 ) , didapat barisan tak
hingga bilangan asli monoton turun tegas yang jelas tidak mungkin ada .
Maka , satu-satunya solusi adalah (x, y, z, u) = (0, 0, 0, 0)

§6 Diskriminan
Perhatikan bahwa agar sebuah persamaan kuadrat ax2 + bx + c memiliki solusi x yang
merupakan bilangan bulat, haruslah nilai dari diskriminannya, b2 − 4ac merupakan
bilangan kuadrat (jika tidak, x bahkan bukan merupakan bilangan rasional).

3
K (August 21, 2021) Persamaan Diophantine

Contoh 6.1
Tentukan semua bilangan bulat x, y yang memenuhi persamaan x2 + y 2 = xy 2 + 25

§7 Latihan
Soal 7.1. (Meksiko MO 2010) Carilah semua bilangan asli a, b, c yang memenuhi abc =
a+b+c+1

Soal 7.2. (Italia MO 2015) Carilah semua bilangan bulat a, b yang memenuhi a3 + b3 +
3ab = 1

Soal 7.3. (Maroko MO 2005) Carilah semua solusi bilangan bulat x, y, z yang memenuhi
x2 + y 2 + z 2 = 2xyz

Soal 7.4. (Ceko-Slovakia MO 2016, Ronde 3) Carilah semua tripel bilangan asli (a, b, c)
yang memenuhi persamaan (a + c)(b2 + ac) = 4a

Soal 7.5. (Ceko-Slovakia MO 2010, Ronde 3) Carilah semua bilangan bulat a, b sehingga
4a + 4a2 + 4 = b2

Soal 7.6. (Estonia MO 2004, Ronde Final, Kelas 11) Carilah semua bilangan bulat a, b
yang memenuhi a2 + ab + b2 = 1

Soal 7.7. (India MO, tahun tidak diketahui) Carilah semua bilangan cacah a, b yang
memenuhi persamaan (xy − 7)2 = x2 + y 2

Soal 7.8. (Estonia MO 2004, Ronde Final, Kelas 11) Carilah semua bilangan asli m, n
4mn
sehingga (m − n)2 = m+n−1

Soal 7.9. (Irlandia MO 2001) Carilah semua bilangan asli n, a, b, c sehingga 2n = a!+b!+c!

Soal 7.10. (Meksiko MO Mock Exam 2017) Buktikan bahwa tidak ada solusi bilangan
asli a, b yang memenuhi persamaan a2 b = 2017(a + b)

Soal 7.11. (Irlandia MO 2003) Carilah semua bilangan asli m, n yang memenuhi (m2 +
n)(m + n2 ) = (m + n)3

§8 Soal-soal tambahan (Tidak dibahas di kelas)

1. Carilah semua solusi bilangan prima p yang memenuhi (p − 2)3 = 18p − 1

2. Carilah semua solusi bilangan prima p yang memenuhi 6p = 7p3 + 2p + 19

3. Carilah semua bilangan nonnegatif yang n sehingga terdapat pasangan bilangan

bulat a dan b yang memenuhi persamaan n2 = a + b dan n3 = a2 + b2

4. Carilah semua tripel bilangan prima (a, b, c) yang memenuhi persamaan a2 +ab+b2 =
c2 + 3

5. Carilah semua solusi bilangan asli x, y, z yang memenuhi 3x + 4y = 5z

6. Carilah semua solusi bilangan asli m, n, x yang memenuhi persamaan 6m + 2n + 2 =

x2

4
K (August 21, 2021) Persamaan Diophantine

7. Carilah semua solusi bilangan asli m, n yang memenuhi persamaan (m + 1)! + (n +

1)! = m2 n2

8. Carilah semua solusi bilangan nonnegatif m, n yang memenuhi persamaan 3 × 2m +

1 = n2

9. Carilah semua solusi bilangan asli m, n yang memenuhi persamaan m! + n! = mn

10. Banyaknya tripel bilangan prima (p, q, r) yang memenuhi 15p + 7pq + qr = pqr
adalah ...
√
11. Banyaknya tripel bilangan asli (x, y) yang memenuhi persamaan x + y = x +
√ √
y + xy

12. Carilah semua solusi bilangan bulat (x, y) yang memenuhi persamaan y 6 +y 3 +1 = x4

13. Carilah semua pasangan bilangan bilangan bulat (x, y) yang memenuhi persamaan
x6 + 3x3 + 1 = y 4

14. Carilah semua pasangan bilangan bulat (a, b) yang memenuhi persamaan 2560a2 +
5a + 6 = b5

15. Carilah semua pasangan bilangan prima (p, q) yang memenuhi p3 + p = q 2 + q

16. Carilah semua bilangan bulat x, y, z, u, v yang memenuhi persamaan x + y + z +

u + v = xyuv + (x + y)(u + v) dan xy + z + uv = xy(u + v) + uv(x + y)

17. Misalkan x, y, z, u, v adalah bilangan asli sedemikian hingga xyzuv = x+y+z+u+v.

Carilah nilai minimal yang mungkin dari max(x, y, z, u, v)

18. Carilah semua tripel bilangan bulat (x, y, z) yang memenuhi persamaan xy + yz +
zx − xyz = 2

19. Carilah semua tripel bilangan asli (a, b, n) yang mememnuhi persamaan a! + b! = 2n

20. Carilah semua pasangan bilangan (p, m) dengan p prima dan m asli yang memenuhi
persamaan p3 + m(p + 2) = m2 + p + 1

21. Carilah semua bilangan asli yang dapat ditulis sebagai perkalian 2 bilangan asli
berurutan sekaligus sebagai perkalian 4 bilangan asli berurutan.

22. Tentukan semua pasangan bilangan cacah (x, y) yang memenuhi persamaan x + y =
√
x y + 17.
p √
23. Carilah semua solusi bilangan bulat (x, y) yang memenuhi persamaan x− y+
p √ √
x + y = xy

24. Carilah semua bilangan bulat (x, y) yang memenuhi persamaan (x2 − y 2 )2 = 1 + 16y

25. Carilah semua solusi bilangan bulat (x, y) yang memenuhi persamaan x5 = y 2 + 4

26. Carilah semua solusi bilangan prima p, q, r yang memenuhi persamaan p(p + 1) +
q(q + 1) = r(r + 1).

27. Buktikan bahwa persamaan x3 + y 4 = 7 tidak memeiliki solusi bilangan bulat

28. Carilah semua pasangan bilangan asli (x, y) yang memenuhi persamaan 3x − 2y = 7

5
K (August 21, 2021) Persamaan Diophantine

29. Carilah seluruh bilangan prima p sedemikian hingga 1 + p + p2 + p3 + p4 merupakan

bilangan kuadrat

30. Carilah semua bilangan prima p sehingga terdapat bilangan bulat x, y yang
memenuhi persamaan p + 1 = 2x2 dan p2 + 1 = 2y 2

31. Misalkan a dan b adalah bilangan asli yang relatif prima dan memenuhi persamaan
12a(24a + 1) = b(b + 1) Tentukan nilai dari a + b

32. Adakah dua bilangan prima p dan q yang memenuhi persamaan p2 + q 2 = p5 − q?

33. Carilah semua pasangan bilangan bulat a, b yang memenuhi persamaan

a2 + 1 a−1
2
=
2b − 3 2b − 1