f:N×N→N
f((m,n))=(m+n-1)(m+n-2)/2 +m
ならばfは全単射である.これを証明せよ.
これはどうやればいいのか？
まず全射であることの証明を
k∈N；f((m,n))=k⇒f((m+1,n-1))=k+1
使おうとしたけどなんかこんな書き方でいいんだろうかって感じになった。
いい答え、誰か教えて