IMO 1959 (Romania)
Soal 1
Buktikan bahwa ekspresi sudah tidak bisa disederhanakan lagi untuk semua bilangan asli .
bukti
Dasar teori
Untuk setiap bilangan bulat dan tidak nol, ekspresi sudah tidak bisa disederhanakan lagi jika dan hanya jika dan tidak mempunyai faktor persekutuan.
Secara formal:
Untuk setiap bilangan bulat dan tidak nol, ekspresi sudah tidak bisa disederhanakan lagi jika dan hanya jika
Tujuan pembuktian
Karena , maka dan pasti tidak nol.
Dengan demikian, untuk membuktikan bahwa tidak bisa disederhanakan lagi cukup dengan membuktikan bahwa .
Berikut disajikan dua buah teknik untuk membuktikannya.
Teknik 1: Pembagian Euclid
Dari pembagian Euclid di atas:
Teknik 2: Sifat-sifat GCD
Sifat GCD yang akan digunakan adalah: