Svar:
# x = 2, y = 3 #
Antages # {x, y} i NN #
Forklaring:
Her har vi to ligninger:
# x + y = 5 #
# X ^ y + y ^ x = 17 #
{Selvom der ikke er nogen rejseon at antage det #x# og # Y # er naturals, det lignede et fornuftigt sted at starte.}
Antage # {x, y} i NN #
Siden # x + y = 5 #
#x i {1, 2, 3, 4} # og #y i {4, 3, 2, 1} #
Testing hver # (x, y) # par igen viser vi det:
#2^3+3^2 = 8 + 9 =17#
Derfor er en løsning på dette system # x = 2, y = 3 #
NB: Jeg har ikke arbejdet gennem de tilfælde hvor # (x, y) i RR #Derfor har jeg ikke bevist, at der ikke findes andre reelle løsninger på dette system.
