Cevap:
İpucu 1: Denklem olduğunu varsayalım
Açıklama:
Eğer
Nerede
Fakat ikinci denklem bunu gerektirir
Şimdi, ikisi de
önerme
Eğer
Kanıt
Bir tamsayı çözümü olduğunu varsayalım
# x ^ 2 + x - u = 0 #
nerede
# M # garip; veya
# M # hatta.
İlk önce, durumu değerlendirelim.
# m = 2k + 1 #
Şimdi beri
# m ^ 2 + m - u = 0 #
#:. (2k + 1) ^ 2 + (2k + 1) - u = 0 #
#:. (4k ^ 2 + 4k + 1) + (2k + 1) - u = 0 #
#:. 4k ^ 2 + 6k + 2 - u = 0 #
#:. u = 4k ^ 2 + 6k + 2 #
#:. u = 2 (2k ^ 2 + 3k + 1) #
Ve biz bir çelişki var
Ardından, durumu nerede ele alalım
# m = 2k #
Benzer şekilde, beri
# m ^ 2 + m - u = 0 #
#:. (2k) ^ 2 + (2k) - u = 0 #
#:. 4k ^ 2 + 2k - u = 0 #
#:. u = 4k ^ 2 + 2k #
#:. u = 2 (2k ^ 2 + k) #
Ve yine, bir çelişki var.
Bu yüzden denklemin tamsayı çözümü olmadığını ispatladık.
Dolayısıyla teklif kanıtlandı. QED
Cevap:
Aşağıya bakınız.
Açıklama:
Eğer