Viet Nam TST 2025/1


Trong bài này tôi sẽ giới thiệu một lời giải của bài 1 trong kỳ thi chọn đội IMO 2025 của Việt Nam.

VNTST2025/1. Tìm tất cả các hàm số f:\mathbb{Q}^+\to\mathbb{Q}^+ sao cho với mỗi số hữu tỷ dương xy, ta có

\displaystyle\frac{f(x)f(y)}{f(xy)}=\frac{(\sqrt{f(x)}+\sqrt{f(y)})^2}{f(x+y)}.

Lời giải. Trả lời: f(x)=4,\,\forall x\in \mathbb{Q}^+ hoặc f(x)=x^2,\,\forall x\in \mathbb{Q}^+. Kiểm tra ta thấy hai hàm số này thỏa mãn các yêu cầu của đề bài, sau đây ta chứng minh không còn hàm số nào khác.

Giả sử f:\mathbb{Q}^+\to\mathbb{Q}^+ là một hàm số thỏa mãn các yêu cầu của đề bài. Khi đó với mỗi số hữu tỷ dương xy,

\displaystyle\frac{f(x)f(y)}{f(xy)}=\frac{(\sqrt{f(x)}+\sqrt{f(y)})^2}{f(x+y)}.\quad\quad (1)

Gọi S là tập các số thực dương có dạng \sqrt{r}, trong đó r là một số hữu tỷ dương. Xét hàm số g:\mathbb{Q}^+\to S xác định bởi g(x)=\sqrt{f(x)} với mọi số hữu tỷ dương x. Từ (1) ta được

\displaystyle\frac{g(x)g(y)}{g(xy)}=\frac{g(x)+g(y)}{g(x+y)}

với mọi số hữu tỷ dương xy. (2)

Từ (2), với x=y=1 ta thu được g(2)=2. Cũng từ (2), với mỗi số hữu tỷ dương xy ta có (g(x)+g(y))^2 là một số hữu tỷ. Suy ra g(x)g(y) là một số hữu tỷ với mọi số hữu tỷ dương xy. Nói riêng, khi y=2 ta có g(x) là một số hữu tỷ dương với mọi số hữu tỷ dương x. Trong (2), chọn y=2x=3 ta có

\displaystyle\frac{2g(3)}{g(6)}=\frac{g(3)+2}{g(5)}.\quad (3)

Cũng từ (2), với y=1 ta có

\displaystyle g(x+1)=\frac{1}{g(1)}g(x)+1

với mọi số hữu tỷ dương x. (4)

Từ đây ta tính được cả ba số g(3), g(5)g(6) theo g(1). Thay lại (3) và chú ý g(1) là một số hữu tỷ dương ta có g(1)\in \{1;2\}. Đến đây ta xét từng trường hợp.

Trường hợp 1: g(1)=2.

Bằng quy nạp theo n, từ (4) ta có g(n)=2

\displaystyle g(x+n)=\frac{1}{2^n}g(x)+2-\frac{1}{2^{n-1}}

với mọi số nguyên dương n và số hữu tỷ dương x. (5)

Bây giờ xét một số hữu tỷ dương r. Tồn tại vô hạn số nguyên dương n sao cho rn là một số nguyên dương. Với các số n này, từ (2) ta có

\displaystyle g(r)=\frac{g(r)+2}{g(r+n)}.

Như vậy g(r+n) không đổi, kết hợp với (5) ta có g(r)=2. Suy ra g(x)=2 với mọi số hữu tỷ dương x.

Trường hợp 2: g(1)=1.

Bằng quy nạp theo n, từ (4) ta có g(n)=n

g(x+n)=g(x)+n với mọi số nguyên dương n và số hữu tỷ dương x. (6)

Bây giờ xét một số hữu tỷ dương r. Tồn tại số nguyên dương n sao cho rn là một số nguyên dương. Trong (2), chọn x=ry=n, đồng thời dùng (6) ta có g(r)=r. Suy ra g(x)=x với mọi số hữu tỷ dương x.

Như vậy f(x)=4,\,\forall x\in \mathbb{Q}^+ hoặc f(x)=x^2,\,\forall x\in \mathbb{Q}^+. \Box

Leave a comment