다음 함수가 injective

[m,for,m]

임을 보이시요~~

f(n,m)= (n+m-2)(n+m-1)/2 + m

역함수 구해서 하는 것 말고

다이렉트하게 인젝티브임을 보이는 방법이 없을까요??

[z-gundam]

1-1 을 보이는데 역함수를 구해서 하는 방법도 있나요?? 1-1이 아니면 역함수가 존재안하잖아요.. 그 방법 좀 올려줄 수 있나요?? 제 소견으로는 그건 연속증명하는데 미분을 사용하는 법 같은데.. 역함수 풀이법.. 부탁~~~~^^