离散课本 第四章函数 f(i,j) = (i+j)*(i+j+1)/2+j;
令u = f(i,j);
令A = [（sqrt(1+8*u)-1）/2](取整数部分)
则j = u-A*(A+1)/2;i = A-j;
证明书上有。