Trước tiên từ 2 suy ra f đơn ánh và do f liên tục trên $\left ( 0,+\infty \right )$ nên f toàn ánh trên $\left ( 0,+\infty \right )$. Suy ra tồn tại $a\in (0.+\infty )$ sao cho $f(a)=1$. Thay a vào 2 ta có: $f(1)=a$. Thay $x=1$ vào 2 ta có: $f(a^2)=a$. Thay $x=a^2$ vào 2 ta có: $f(a^2)=a^3$. Suy ra $a=1$. Do f liên tục và đơn ánh nên f tăng hoặc giảm nhưng do 3 nên f tắng (Nếu f giảm thì cho $x\in N*$, x đủ lớn thì $f(x)$ không có giá trị xác định). Ta sẽ chứng minh$f(x)=x$, $x\in N^*$Bài toán: Xác định các hàm số liên tục $f:\mathbb{R^+} \to \mathbb{R^+}$ thỏa mãn:
- $f(2x)=2f(x),\forall x \in \mathbb{R^+}$
- $f(f^2(x))=xf(x),\forall x \in \mathbb{R^+}$
- $f(x) \in \mathbb{N^*},\forall x \in \mathbb{N^*}$.
Thay $x=1$ vào 1 ta có: $f(2)=2$. Thay $x=2$ vào 1 ta có: $f(4)=4$. Do $f(3)$ nguyên và f đơn ánh nên $f(3)=3$.
Giả sử khẳng định đúng đến n. Tức là $f(n)=n$. Ta sẽ chứng minh: $f(n+1)=n+1$. Thật vậy:
$f(2n)=2n$ và vì f đơn ánh nên: $n=f(n)<f(n+1)<...<f(2n-1)<f(2n)=2n$ suy ra: $f(n+1)=n+1$
Như vậy $f(n)=n,n\in N*$
Ta có: $f(m)=2f(\frac{m}{2})=2^nf(\frac{m}{2^n})\Rightarrow \frac{m}{2^n}=f(\frac{m}{2^n})$
Mặt khác: $\frac{m}{2^n}$ trù mật trên $\left ( 0,+\infty \right )$ nên:
$x_0=lim\frac{m}{2^n}=limf(\frac{m}{2^n})=f(lim\frac{m}{2^n})=x_0$
Vậy $f(x)=x,x\in R^+$