Q22 Matemática  (IMO Shortlist 1991)

Sejam $f$ e $g$ duas funções de valor inteiro definidas no conjunto de todos os inteiros tais que (a) $f(m+f(f(n)))=-f(f(m+1)-n$ para todos os inteiros $m$ e $n;$ (b) $g$ é uma função polinomial com coeficientes inteiros e g(n) = $g(f(n))$ $\forall n\in \mathbb{Z}.$