Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am interested in finding $F(x,y)$, such that $x$ and $y$ $\in \mathbb Z^+$ and $F(x,y)$ is one to one function i.e., $F(x,y)$ is unique for any unique unordered pairs of $x$ and $y$.


Apologies for noobish language I am new to branch of number theory.

share|cite|improve this question
By writing "unordered pairs," you are asking that $F(x,y)=F(y,x)$, is that right? – Gerry Myerson Jan 16 '13 at 8:55
Yes, precisely the order is immaterial . – user58460 Jan 16 '13 at 8:58

$F(x,y)=(1+\max(x,y))^2-|x-y|$ will do.

share|cite|improve this answer
Thanks, seems to be working well. How did you derive at this? Any specific property ? – user58460 Jan 16 '13 at 9:09
I figured the easiest way was to get some function such that $F(x,x)$ increased pretty quickly with $x$ --- quadratically would do --- and then subtract something off it as you went away from $(x,x)$, subtracting more the farther down from or to the left of $(x,x)$ you went. That's what this function does. Along the $(x,x)$ line, it goes $1,4,9,16,\dots$, and it drops by $1$ for each step you take away from $(x,x)$. – Gerry Myerson Jan 16 '13 at 10:43

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.