Đáp án chính thức:Bài toán:Tìm tất cả hàm số $f:\mathbb{R}\to \mathbb{R}$ thỏa:
$$\label{6.1}
f(x^2+f(y))=y+(f(x))^2 \,\, \forall x,y \in \mathbb{R}
$$
Lời giải:\[
\begin{array}{l}
\forall y_1 ;y_2 \in :f(y_1 ) = f(y_2 ) \\
\Rightarrow f(x^2 + f(y_1 )) = f(x^2 + f(y_2 )) \\
\left( 1 \right) \Rightarrow y_1 + \left( {f\left( x \right)} \right)^2 = y_2 + \left( {f\left( x \right)} \right)^2 \Rightarrow y_1 = y_2 \\
\end{array}
\]
Như vậy, $f$ là đơn ánh.
Trong $(1)$, thay $x$ bởi $0$ thì
\begin{equation}
\label{6.1.1}
f(f(y))=y+(f(0))^2
\end{equation}
$\forall z \in \mathbb{R}$, ta tiếp tục thay $y$ bởi $z-(f(0))^2$ trong $(2)$ thì được
$$ f(f(z-(f(0))^2))=z$$
Do đó, $f$ là toàn ánh trên $\mathbb{R}$. Suy ra $f$ là song ánh $\mathbb{R}\to \mathbb{R}$.
Cho nên $\exists a \in \mathbb{R}:f(a)=0$. Thay $x=y=a$ vào $(1)$ và sử dụng $(2)$, ta có:
\[
\begin{array}{l}
f\left( {a^2 } \right) = a \\
\Rightarrow f\left( {f\left( {a^2 } \right)} \right) = f\left( a \right) = 0 \\
\Rightarrow \left( {f\left( 0 \right)} \right)^2 + a^2 = 0 \\
\Rightarrow f\left( 0 \right) = a = 0 \\
\end{array}
\]
$(2)$ viết lại là
\begin{equation}
\label{6.1.2}
f(f(x))=x \,\, \forall x \in \mathbb{R}
\end{equation}
Trong $(1)$, thay $y$ bởi $0$, ta có
\begin{equation}
\label{6.1.3}
f(x^2)=(f(x))^2
\end{equation}
Suy ra $f(x) \ge 0 \,\, \forall x \ge 0 \Rightarrow f(x)>0 \,\, \forall x>0$ do $f$ đơn ánh và $f(0)=0$
Trong $(1)$, thay $y$ bởi $f(y)$, ta có
\begin{equation}
\label{6.1.4}
f(x^2+f(f(y)))=f(y)+f(x^2) \Rightarrow f(x^2+y)=f(x^2)+f(y)
\end{equation}
Tiếp tục thay $y$ bởi $-x^2$ thì ta có $f(x^2)-f(-x^2) \,\, \forall x \in \mathbb{R} \Rightarrow f(-x)=-f(x) \forall x \ge 0$.
Nếu tồn tại $x:f(x)>x \Rightarrow f(x)-x>0$
\[
\begin{array}{rcl}
\Rightarrow f\left( x \right) &=&f\left( {x - f\left( x \right) + f\left( x \right)} \right) \\
&=&- f\left( {f\left( x \right) - x - f\left( x \right)} \right) \\
&=&- \left[ {f\left( {f\left( x \right) - x} \right) + f\left( { - f\left( x \right)} \right)} \right] \\
&<&- f\left( { - f\left( x \right)} \right) = x :\textrm{ vô lý}\\
\end{array}
\]
Nếu tồn tại $x:f(x)<x \Rightarrow x-f(x)>0$
\[
\begin{array}{rcl}
\Rightarrow f\left( x \right) &=& f\left( {x - f\left( x \right) + f\left( x \right)} \right) \\
&=& f\left( {x - f\left( x \right)} \right) + f\left( {f\left( x \right)} \right) > f\left( {f\left( x \right)} \right) = x :\textrm{ vô lý}\\
\end{array}
\]
Suy ra $f(x)=x\,\, \forall x$.
Thử lại:\[
\left. \begin{array}{l}
f\left( {x^2 + f\left( y \right)} \right) = x^2 + f\left( y \right) = x^2 + y \\
\left( {f\left( x \right)} \right)^2 + y = x^2 + y \\
\end{array} \right\} \Rightarrow \left( 1 \right) \textrm{ luôn đúng } \forall x,y \in \mathbb{R}
\]
Kết luận: Hàm số cần tìm là $f(x)=x\,\, \forall x\in \mathbb{R}$.
Bài viết đã được chỉnh sửa nội dung bởi TRONG TAI: 01-10-2012 - 20:35