Consider a function f:N x N -> N where f(i,j)=i+(i+j-1)(i+j-2)/2. Prove that f is a bijection.
To complete the proof, follow the usual method:
Show that the function is one-to-one by proving that, if f(x
1)= y
1 equals f(x
2) = y
2, then x
1 equals x
2.
Show that the function is onto by proving that, for any y in the image, you can find an x in the pre-image.
If you experience difficulties, kindly please reply with a clear statement of your work and reasoning so far. Thank you.