Find all functions $ f : \mathbb Z \to \mathbb Z $ that satisfy the following conditions:
(i) $ f ( 0 ) = 1 $;
(ii) $ f \big( f ( x ) \big) = x $ for all integers $ x $;
(iii) $ f \big( f ( x + 1 ) + 1 \big) = x $ for all integers $ x $.
How can I prove it by induction?
The induction start is easy: we know that $f(0)=f(1)+1$ and that $f(-1)=f(0)+1$. As $f(0)=1$, it follows that $f(1)=0$ and $f(-1)=2$.
If it holds for some $n\geq 1$ that $f(n)=1-n$ and $f(-n)=1+n$, then $f(n)=f(n+1)+1$, implying $f(n+1)=f(n)-1=-n=1-(n+1)$, and $f(-(n+1))=f(-n)+1$, implying $f(-(n+1))=1+n+1=2+n=1+(n+1)$. Hence it follows that $f(n)=1-n$ and $f(-n)=1+n$ for all integers $n\geq 1$, so that $f(x)=1-x$.
– Bryder Apr 14 '14 at 19:28