Odgovor:
Obrazloženje:
Sljedeći dokaz temelji se na tome u knjizi "Uvod u diofantske jednadžbe: pristup utemeljen na problemima" Titu Andreescua, Dorin Andrica, Iona Cucurezeanua.
S obzirom na:
# 2 x + y ^ ^ 2-1997. (x-y) #
pustiti
Zatim:
# a ^ 2 + b ^ 2 = (x + y) ^ 2 + (1997-x + y) ^ 2 #
# = X ^ 2 + y + 2xy ^ 2 + 1997 ^ 2 + x + y ^ 2 ^ 2-2 (1997 (xy) + xy) #
# = X ^ 2 + y + 2xy ^ 2 + 1997 ^ 2 + x + y ^ 2 ^ 2-2 (x + y ^ 2 ^ 2 + xy) #
#=1997^2#
Stoga nalazimo:
# {(0 <a = x + y <1997), (0 <b = 1997-x + y <1997):} #
Od
Stoga postoje pozitivni integers
# {(1997 = m ^ 2 + n ^ 2), (a = 2mn), (b = m ^ 2-n ^ 2):} boja (bijela) (XX) "ili" boja (bijela) (XX) {(1997 = m ^ 2 + n ^ 2), (a = m ^ 2-n ^ 2), (b = 2mn):} #
Gledati u
# 2 - = 1997 = m ^ 2 + n ^ 2 # (mod#3# ) stoga#m - = + -1 # i#n - = + -1 # (mod#3# )
# 2 - = 1997 = m ^ 2 + n ^ 2 # (mod#5# ) stoga#m - = + -1 # i#n - = + -1 # (mod#5# )
To znači da su jedine mogućnosti
Dodatno imajte na umu da:
# m ^ 2 u (1997/2, 1997) #
Stoga:
#m u (sqrt (1997/2), sqrt (1997)) ~~ (31.6, 44.7) #
Dakle, jedine mogućnosti za
Pronašli smo:
#1997 - 34^2 = 841 = 29^2#
#1997 - 41^2 = 316# nije savršen trg.
#1997 - 44^2 = 61# nije savršen trg.
Tako
Tako:
# (a, b) = (2mn, m ^ 2-n ^ 2) = (1972, 315) #
ili
# (a, b) = (m ^ 2-n ^ 2, 2mn) = (315, 1972) #
Ako
# {(x + y = 1972), (1997-x + y = 315):} #
i zbog toga:
# (x, y) = (1817, 145) #
Ako
# {(x + y = 315), (1997-x + y = 1972):} #
i zbog toga:
# (x, y) = (170, 145) #