Chào các em học sinh!

Hôm nay chúng ta sẽ cùng nhau giải một bài toán hàm khá thú vị. Đây là một dạng toán thường gặp trong các kỳ thi học sinh giỏi, đòi hỏi sự suy luận logic và khả năng nắm vững các tính chất cơ bản của hàm số.

Bài toán: Tìm tất cả các hàm \( f: Z \to Z \) thỏa mãn với mọi \( x,y \in Z \),

\( f(x+f(y)) = f(x)+y \) (1)

Chúng ta sẽ đi từng bước một để giải quyết bài toán này.

Bước 1: Chứng minh hàm \( f \) là đơn ánh (injective)

Giả sử \( f(y_1) = f(y_2) \) với \( y_1, y_2 \in Z \).

Thay \( y_1 \) và \( y_2 \) vào phương trình (1), ta có:

\( f(x+f(y_1)) = f(x)+y_1 \)

\( f(x+f(y_2)) = f(x)+y_2 \)

Vì \( f(y_1) = f(y_2) \), nên vế trái của hai phương trình trên bằng nhau:

\( f(x+f(y_1)) = f(x+f(y_2)) \)

Từ đó suy ra:

\( f(x)+y_1 = f(x)+y_2 \)

Trừ \( f(x) \) ở cả hai vế, ta được:

\( y_1 = y_2 \)

Vậy, hàm \( f \) là đơn ánh.

Bước 2: Chứng minh hàm \( f \) là toàn ánh (surjective)

Trong phương trình (1), cho \( x=0 \):

\( f(0+f(y)) = f(0)+y \)

\( f(f(y)) = f(0)+y \)

Đặt \( f(0) = c \), với \( c \) là một hằng số nguyên. Khi đó:

\( f(f(y)) = c+y \) (2)

Vì \( y \) có thể nhận mọi giá trị trong \( Z \), nên \( c+y \) cũng có thể nhận mọi giá trị trong \( Z \). Điều này có nghĩa là tập giá trị của hàm hợp \( f \circ f \) là \( Z \).

Vì tập giá trị của \( f \circ f \) là \( Z \), nên tập giá trị của \( f \) cũng phải là \( Z \). (Để \( f(f(y)) \) có thể phủ kín \( Z \), thì \( f(y) \) phải có thể nhận các giá trị sao cho \( f \) của các giá trị đó phủ kín \( Z \). Điều này chỉ xảy ra khi \( f \) là toàn ánh).

Vậy, hàm \( f \) là toàn ánh.

Bước 3: Tìm giá trị của \( f(0) \)

Vì \( f \) là toàn ánh, tồn tại một giá trị \( a \in Z \) sao cho \( f(a)=0 \).

Thay \( y=a \) vào phương trình (1):

\( f(x+f(a)) = f(x)+a \)

Vì \( f(a)=0 \), ta có:

\( f(x+0) = f(x)+a \)

\( f(x) = f(x)+a \)

Điều này chỉ đúng khi \( a=0 \).

Mà chúng ta đã đặt \( f(a)=0 \), vậy suy ra \( f(0)=0 \).

Bước 4: Khai thác \( f(0)=0 \)

Từ phương trình (2) \( f(f(y)) = f(0)+y \), thay \( f(0)=0 \) vào, ta được:

\( f(f(y)) = y \) (3)

Đây là một tính chất rất quan trọng của hàm \( f \).

Bước 5: Đưa về phương trình hàm Cauchy

Thay \( y \) bằng \( f(y) \) trong phương trình (1) (chúng ta có thể làm điều này vì \( f \) là toàn ánh, nên \( f(y) \) có thể nhận bất kỳ giá trị nguyên nào):

\( f(x+f(y)) = f(x)+y \)

Từ (3), ta biết \( y = f(f(y)) \). Thay vào phương trình trên:

\( f(x+f(y)) = f(x)+f(f(y)) \)

Đặt \( z = f(y) \). Vì \( f \) là toàn ánh, \( z \) có thể nhận bất kỳ giá trị nguyên nào. Khi đó, phương trình trở thành:

\( f(x+z) = f(x)+f(z) \) (4)

Đây chính là phương trình hàm Cauchy trên tập số nguyên \( Z \).

Bước 6: Giải phương trình hàm Cauchy \( f(x+z) = f(x)+f(z) \)

Chúng ta biết rằng các nghiệm của phương trình hàm Cauchy trên \( Z \) có dạng \( f(x) = kx \) với \( k \) là một hằng số nguyên.

Để chứng minh điều này:

• Cho \( z=1 \): \( f(x+1) = f(x)+f(1) \).
• Đặt \( f(1)=k \). Khi đó \( f(x+1) = f(x)+k \).
• Với \( x=0 \): \( f(1) = f(0)+k \). Vì \( f(0)=0 \), ta có \( f(1)=k \).
• Với các số nguyên dương \( n \):
  
  \( f(n) = f(1+1+…+1) = f(1)+f(1)+…+f(1) \) (n lần) \( = nk \).
• Với các số nguyên âm \( n \):
  
  Ta có \( f(0) = f(n+(-n)) = f(n)+f(-n) \).
  
  Vì \( f(0)=0 \), nên \( 0 = f(n)+f(-n) \).
  
  Suy ra \( f(-n) = -f(n) = -(nk) = k(-n) \).

Vậy, \( f(x) = kx \) cho mọi \( x \in Z \), với \( k \) là một hằng số nguyên.

Bước 7: Tìm giá trị của hằng số \( k \)

Chúng ta sử dụng lại tính chất \( f(f(y))=y \) từ bước 4.

Thay \( f(x)=kx \) vào \( f(f(y))=y \):

\( f(f(y)) = f(ky) \)

\( k(ky) = y \)

\( k^2y = y \)

Phương trình này phải đúng với mọi \( y \in Z \). Do đó:

\( k^2 = 1 \)

Điều này dẫn đến hai trường hợp:

• \( k=1 \)
• \( k=-1 \)

Bước 8: Kiểm tra lại các nghiệm

Trường hợp 1: \( k=1 \)

Khi đó \( f(x)=x \).

Thay vào phương trình gốc (1):

\( f(x+f(y)) = f(x+y) = x+y \)

\( f(x)+y = x+y \)

Vế trái bằng vế phải, nên \( f(x)=x \) là một nghiệm.

Trường hợp 2: \( k=-1 \)

Khi đó \( f(x)=-x \).

Thay vào phương trình gốc (1):

\( f(x+f(y)) = f(x+(-y)) = f(x-y) = -(x-y) = -x+y \)

\( f(x)+y = (-x)+y = -x+y \)

Vế trái bằng vế phải, nên \( f(x)=-x \) là một nghiệm.

Kết luận:

Vậy, có hai hàm số thỏa mãn yêu cầu của bài toán là:

\( f(x) = x \)

và

\( f(x) = -x \)

Các em thấy đấy, một bài toán tưởng chừng phức tạp nhưng khi chúng ta phân tích từng bước một, sử dụng các tính chất cơ bản của hàm số (đơn ánh, toàn ánh) và các phương trình hàm quen thuộc (Cauchy), bài toán sẽ trở nên rõ ràng và dễ giải quyết hơn rất nhiều. Hãy luyện tập thật nhiều để nắm vững các kỹ thuật này nhé!