Chọn $p,q\in \mathbb{R}^+$ sao cho $n=p^p-q^q$ thì $n$ phải nguyên dương (vì nếu $n=0$) thì cuối cùng cũng chỉ tìm được $f(1)=1$)
Còn ở đoạn cuối nên sửa lại thế này :
Cho $q=1$ $\Rightarrow (f(p))^p=1+n$ $(*)$
Mặt khác $q=1\Rightarrow p^p=1+n$ $(**)$
$(*)$,$(**)$ $\Rightarrow f(p)=p$ hay $f(x)=x$
Nhưng cách làm như trên chỉ tìm được $f(p)=p$ với các số $p$ không nguyên và thỏa mãn $p^p$ là số nguyên lớn hơn $1$. Còn với các số $p$ không nguyên và không thỏa mãn điều kiện trên thì chưa chứng minh được $f(p)=p$.
Mình chọn $p \in \mathbb{R}^{+}$ mà nên $f(p)=p$ cũng đồng nghĩa với $f(x)=x$