Problem

Source: 2017 Taiwan TST Round 1, Day 4, Problem 3

Tags: algebra, functional equation



Find all injective functions $ f:\mathbb{N} \to \mathbb{N} $ such that $$ f^{f\left(a\right)}\left(b\right)f^{f\left(b\right)}\left(a\right)=\left(f\left(a+b\right)\right)^2 $$holds for all $ a,b \in \mathbb{N} $. Note that $ f^{k}\left(n\right) $ means $ \underbrace{f(f(\ldots f}_{k}(n) \ldots )) $