Math Labs

Bài 5

Cho R>0\mathbb{R}_{>0} là tập hợp các số thực dương. Hãy xác định tất cả các hàm số f:R>0→R>0f:\mathbb{R}_{>0}\to\mathbb{R}_{>0} sao cho x2+f(y)22≥f(x)+y2≥xf(y)\sqrt{\tfrac{x^2+f(y)^2}{2}}\ge\tfrac{f(x)+y}{2}\ge\sqrt{xf(y)} với mọi x,y∈R>0x,y\in\mathbb{R}_{>0}.
Bước 1 trên 4: Kiểm tra f(x) = x + c thỏa mãn với mọi c ≥ 0
f(x)=x+c (c≥0):x2+(y+c)22≥x+(y+c)2≥x(y+c)f(x)=x+c\ (c\ge0):\qquad \sqrt{\frac{x^2+(y+c)^2}{2}}\ge\frac{x+(y+c)}{2}\ge\sqrt{x(y+c)}
Phân tích chi tiết

Với f(x)=x+cf(x)=x+c (c≥0c\ge0), ta có f(x)>0f(x)>0 trên R>0\mathbb{R}_{>0} và f(x)+y2=x+f(y)2\tfrac{f(x)+y}{2}=\tfrac{x+f(y)}{2}, nên chuỗi bất đẳng thức đã cho trở thành bất đẳng thức chuẩn QM–AM–GM a2+b22≥a+b2≥ab\sqrt{\tfrac{a^2+b^2}{2}}\ge\tfrac{a+b}{2}\ge\sqrt{ab} áp dụng cho hai số thực dương a=xa=x và b=f(y)=y+cb=f(y)=y+c.