>>92
>>・任意の自然数kに対し、f(m,n)=kとなる(m,n)がただ一組存在する。
これが成立するなら、
>>・m≠m'のとき、f(m,n)≠f(m',n)
>>・n≠n'のとき、f(m,n)≠f(m,n')
これも自動的に成立するけど、問題文に間違いは無い？

それと、「mとnの2次多項式f(m,n)」は、
am^2+bmn+cn^2+dm+en+f　の意味？
それとも、
(am^2+bm+c)n^2+(a'm^2+b'm+c')n+d　の意味？