f(x,y) = f(x',y')
<==> (x+y)(x+y+1)/2+y = (x'+y')(x'+y'+1)/2+y'
<==> (x+y)(x+y+1)/2 - (x'+y')(x'+y'+1)/2 +y - y' = 0
<==> 1/2 [(x+y)(x+y+1)-(x'+y')(x'+y'+1)] + y - y' = 0
et on a x,y,x',y' appartient a N .. donc ils sont positifs..
[(x+y)(x+y+1)-(x'+y')(x'+y'+1)] = 0 et y - y' = 0
(x+y)(x+y+1)=(x'+y')(x'+y'+1) et y=y'
x+y = x'+y' et x+y+1 = x'+y'+1 et y=y'
x+y = x'+ y et x+y+1 = x'+y+1 et y=y'
donc on trouve que
x=x' et y=y'
alors f est injectif