Since you only need to prove there are an infinite number of pairs of real numbers (x,y) that make x^y = x^y true why not first restrict the domain to real positive numbers just to keep cases to a minimum.
let x,y,z be positive real numbers
let y = z^(1/x), with x, z not zero, then z = y^x
so z = y^x = x^y
Let z be a fixed value, then for that value of z the pairs (x, y) = (x, x^(1/x) satisfy z = x^y = y^x,
but those pairs are infinite in number since there are an infinite number of positive real numbers x,
so it is then that there are an infinite number of pairs that satisfy x^y = y^x for a fixed z let alone a variable z.
I only comment because nothing has been happening on the post so I figure that I am not getting in the way.
And again, I am only presenting an idea and I might easily be wrong.
If , then take log of both sides:
Divide both sides by to get:
So, if and only if the equation Deveno gave holds. He is saying try to prove it is not one-to-one. You have an example already (2,4).
Are you allowed to use Calculus? That could help.
Let . Then . There is a critical point at . On , the function is increasing. On , the function is decreasing.
Using L'Hospital's Rule, . . Since the function is continuous, it possesses the intermediate value property. So, for every value , there exists two values for such that . One will have and the other will have .
Note: I have given you some things to think about, but alone, this is not strictly a proof. I skipped a few steps.