Pour que les deux fonctions aient au moins une racines réelles, il faut que

En additionnant la première avec l'opposé de la seconde (pour que le sens des deux inégalités soit le même), on obtient

, par symétrie, on sait que

aussi.
Focalisons nous sur les racines de la première fonction. Celles-ci sont données par

On peut remarquer que quelles que soient les parités de

et de

, tant que

est un carré parfait, les racines sont entières et négatives.Puisque les racines sont négatives, pour qu'elles soient entières, la plus grande doit être

, c-à-d


Les deux membres étant positifs, on peut les élever au carré


Par symétrie, on sait que c'est vrai aussi pour la deuxième fonction en inversant les rôles de m et de n
Il faut donc traiter deux cas :
1.

le réalisant de la première fonction vaut

où
^2-4=z^2)
On cherche donc 2 carrés parfaits dont la différence vaut

. Pour se convaincre de leur existence et unicité, il suffit de se rappeler que tout carré parfait

. Grâce à cette égalité, on constate immédiatement que les seuls carrés dont la différence vaut

sont

et

. Donc

et le réalisant vaut 0. Puisque dans ce cas, les deux fonctions sont égales,

est solution.
2.

. Dans ce cas, le réalisant de la première fonction vaut
^2)
qui est forcément un carré parfait. Dans la deuxième équation, le réalisant vaut

où
^2-8=z^2)
. Cette fois ci, on cherche deux carrés parfaits dont la différence vaut 8, en utilisant la même astuce qu'avant, on trouve que les deux carrés valent

et

C-à-d


et le réalisant vaut 1. Par hypothèse,

. Par symétrie,

et

est aussi solution.
Les couples
)
qui vérifient les conditions sont
,(5,6))
et
)
.