17 is the only prime of the form pq + qp, where p and q are prime
Pernyataan dari situs primes.utm.edu. Jika kita ambil p=2 dan q=3 maka jelas 17=23 + 32 . Sayangnya, situs tersebut tidak menyertakan pembuktiannya. Saya sempet googling mencari pembuktiannya tetapi tidak ketemu. Oleh karena itu mari kita buktikan saja sendiri pernyataan diatas.
Untuk membuktikan pernyataan diatas, kita menggunakan beberapa fakta matematis sebagai berikut:
- 2 adalah satu-satunya bilangan prima genap, selain 2, semua bilangan prima adalah ganjil
- bilangan ganjil + bilangan ganjil=bilangan genap
- bilangan ganjil + bilangan genap=bilangan ganjil
- bilangan ganjil × bilangan ganjil =bilangan ganjil
- bilangan genap × bilangan genap =bilangan genap
Pernyataan diatas dibuktikan melalui 3 kasus.
Kasus I: p dan q adalah bilangan prima dengan p>2 dan q=3.
Karena p>2 maka p adalah bilangan prima ganjil. Diperoleh p3 dan 3p keduanya bilangan ganjil. Itu berarti p3 +3p adalah penjumlahan 2 bilangan ganjil yang menghasilkan bilangan genap. Dengan kata lain p3 +3p bukan bilangan prima.
Kasus II: p dan q adalah bilangan prima dengan p>2 dan q>3.
Serupa dengan kasus pertama, kita akan mendapatkan pq dan qp keduanya bilangan ganjil maka pq + qp adalah bilangan genap bukan prima.
Kasus III: p dan q adalah bilangan prima dengan p=2 dan q>3.
Diperoleh 2q genap dan q2 ganjil maka 2q+q2 adalah bilangan ganjil. Sekarang, bagaimana membuktikan bilagan ganjil berbentuk 2q+q2 bukan bilangan prima?
Caranya kita gunakan teorema kecil Femat .
Teorema Kecil Fermat: Diberikan bilangan asli a dan bilangan prima p maka berlaku
Untuk mudahnya kita ambil a=2 dan p= 2q+q2. selanjunya kita harus menjawab pertanyaan berikut:
apakah berlaku ?
Dengan kata lain:
apakah ada bilangan bulat k yang memenuhi ?
Andaikan ada bilangan k yang memenuhi diperoleh
subtitusi , diperoleh
.
Padahal jika kita menggunakan pembagian suku banyak, diketahui tidak membagi
. Kontradiksi
Jadi 2q+q2 tidak memenuhi teorema kecil fermat, dengan kata lain 2q+q2 bukan bilangan prima.
Dari kasus I, II dan III kita telah menunjukan bahwa 17 adalah satu-satungan bilangan prima berbentuk pq + qp, dengan p dan q prima
QED