回答:
ヒント1:彼が方程式であるとしましょう
説明:
もし
どこで
しかし、2番目の方程式はそれを必然的に伴います
今、両方
命題
もし
証明
整数解が存在するとします
#x ^ 2 + x - u = 0#
どこで
#m# 奇数です。または
#m# 偶数です。
まず、次の場合を考えてみましょう。
#m = 2k + 1#
今から
#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)#
そして矛盾があります
次に、次の場合を考えてみましょう。
#m = 2k#
同様に、
#m ^ 2 + m - u = 0#
#:。 (2k)^ 2 +(2k) - u = 0#
#:。 4k ^ 2 + 2k - u = 0#
#:。 u = 4k ^ 2 + 2k#
#:。 u = 2(2k ^ 2 + k)#
また、矛盾があります。
だから我々は方程式の整数解がないことを証明した
それ故にその命題は証明されている。 QED
回答:
下記参照。
説明:
もし