x,y,z ∈ N、 z = f(x,y)、f(x,y) = (x+y)*(x+y+1) / 2 - y + 1 とした時、

f_x( z ) = x
f_y( z ) = y

の行動をとる関数 f_x と f_y を定義せよ。


↑の問題解ける人いる？