Feladat: 2008. évi Nemzetközi Matematika Diákolimpia 21. feladata Korcsoport: 18- Nehézségi fok: nehéz
Megoldó(k):  Kiss Viktor 
Füzet: 2008/október, 391 - 392. oldal  PDF  |  MathML 
Témakör(ök): Másodfokú (és arra visszavezethető) egyenletek, Függvényegyenletek, Nemzetközi Matematikai Diákolimpia
Hivatkozás(ok):Feladatok: 2008/szeptember: 2008. évi Nemzetközi Matematika Diákolimpia 21. feladata

A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre.

Kiss Viktor megoldása. Helyettesítsük be w=x=y=z=1-et. Teljesül az wx=yz feltétel, tehát

2f2(1)2f(1)=12+1212+12=1.

f(1)>0, tehát egyszerűsíthetünk vele, kapjuk, hogy f(1)=1. Ezután helyettesítsünk be w=1, x=a, y=z=a-t, ahol a tetszőleges pozitív valós szám. Teljesül, hogy wx=yz, tehát
f2(1)+f2(a)2f(a)=1+f2(a)2f(a)=1+a22a.

f(a) és a is pozitív, tehát szorozhatunk velük, kapjuk, hogy
a(1+f2(a))=f(a)(1+a2),
azaz
f2(a)a-f(a)(1+a2)+a=0.
Ez másodfokú egyenlet f(a)-ra, megoldásai a következők:
f(a)=1+a2±(1+a2)2-4a22a=1+a2±1+a4-2a22a.
Ha a1, akkor
f(a)=1+a2±(a2-1)22a=1+a2±(a2-1)2a=avagy1a.
Ha a<1, akkor
f(a)=1+a2±(1-a2)22a=1+a2±(1-a2)2a=avagy1a.
Tehát megkaptuk, hogy f(a) értéke tetszőleges a-ra a vagy 1a. Tegyük fel, hogy létezik a,b1, hogy
f(a)=aésf(b)=1b.
Helyettesítsünk be w=a, x=b, y=1, z=ab-t.
I. eset: f(a2b2)=a2b2. Ekkor
f2(a)+f2(b)f(12)+f(a2b2)=a2+1b21+a2b2=a2+b21+a2b2,
ami nem lehet, hiszen b1 és pozitív, tehát b21b2.
II. eset: f(a2b2)=1a2b2. Ekkor
f2(a)+f2(b)f(12)+f(a2b2)=a2+1b21+1a2b2=a4b2+a2a2b2+1=a2+b21+a2b2,
ami csak akkor teljesülhetne, ha a4=1 teljesülne (hiszen a pozitív), de ez nem igaz. Tehát megkaptuk, hogy vagy minden a1-re f(a)=a, vagy minden a1-re f(a)=1a (mivel f(1)=1, azért a két szóba jövő függvény az f(x)=x és az f(x)=1x). Most belátjuk, hogy mindkét függvény teljesíti a feladat feltételeit. Ha az f(x)=x-et tekintjük, akkor
f2(w)+f2(x)f(y2)+f(z2)=w2+x2y2+z2
triviálisan teljesül.
Ha f(x)=1x, akkor
f2(w)+f2(x)f(y2)+f(z2)=1w2+1x21y2+1z2|w2x2y2z2x2y2z2+w2y2z2z2x2w2+y2x2w2=(x2+w2)y2z2(y2+z2)x2w2=x2+w2y2+z2(hiszen  wx=yz).
Tehát csak az f(x)=x és f(x)=1x függvények teljesítik a feladat feltételeit, és ezek valóban teljesítik azokat.