Odpowiedź:
# x = 2, y = 3 #
Zarozumiały # {x, y} w NN #
Wyjaśnienie:
Oto dwa równania:
# x + y = 5 #
# x ^ y + y ^ x = 17 #
{Chociaż nie ma powodu, aby to zakładać # x # i # y # są naturals, wydawało się, że to rozsądne miejsce na początek.}
Założyć # {x, y} w NN #
Od # x + y = 5 #
#x w {1, 2, 3, 4} # i #y w {4, 3, 2, 1} #
Testowanie każdego # (x, y) # sparujmy z kolei, że zauważamy:
#2^3+3^2 = 8 + 9 =17#
Dlatego rozwiązaniem tego systemu jest # x = 2, y = 3 #
NB: Nie przepracowałem przypadków, w których # (x, y) w RR #Dlatego nie udowodniłem, że nie ma innych rzeczywistych rozwiązań tego systemu.
