Feladat: Gy.2016 Korcsoport: 14-15 Nehézségi fok: átlagos
Megoldó(k):  Gaál Zsolt ,  Mályusz Levente 
Füzet: 1982/szeptember, 16 - 18. oldal  PDF  |  MathML 
Témakör(ök): Egyenlőtlenségek, Gyakorlat, Egészrész, törtrész függvények, Esetvizsgálat
Hivatkozás(ok):Feladatok: 1981/december: Gy.2016

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.

I. Megoldás. Definíció szerint [x] jelenti azt a legnagyobb egész számot, amely x-nél nem nagyobb.
Az x törtrésze a szokásos jelölés szerint

{x}=x-[x].
Ily módon az egyenlőtlenség a következő alakra hozható:
[5[x]+5{x}][[x]+{x}]+[2[x]+2{x}]2+...+[5[x]+5{x}]5.
Felhasználva, hogy egész a esetén [n+t]=n+[t], tovább alakíthatunk:
5[x]+[5{x}][x]+[{x}]+2[x]2+2[{x}]2+...+5[x]5+[5{x}]5,[5{x}][{x}]+[2{x}]2+[3{x}]3+[4{x}]4+[5{x}]5.
Most négy esetet vizsgálunk:
1.  Ha  0{x}<15,akkor[{x}]+...+[5{x}]5=0=[{5x}];2.  Ha  15{x}<25,akkor[{x}]+...+[5{x}]513+14+15=4760<[5{x}]=1;3.  Ha  25{x}<35,akkor[{x}]+...+[5{x}]512+13+24+25=11115<[5{x}]=2;4.  Ha  35{x}<1,akkor[{x}]+...+[5{x}]512+23+34+45=24360<3[5{x}];
azt kapjuk tehát, hogy az egyenlőtlenségnek minden valós x megoldása.
 

II. megoldás. Könnyen belátható, hogy minden (a,b) valós számpár esetén [a]+[b][a+b]
Ezt többször alkalmazva kapjuk a következőt:
120[5x]=24[5x]+30[5x]+20[5x]+20[5x]+15[5x]++10[5x]+[5x]24[5x]+30([4x]+[x])+20([3x]+[2x])+20([3x]+[x]+[x])+15([2x]++[2x]+[x])+10([2x]+[x]+[x]+[x])+([x]+[x]+[x]+[x]+[x])==120[x]+60[2x]+40[3x]+30[4x]+24[5x],
Azaz minden valós x-re
120[5x]120[x]+60[2x]+40[3x]+30[4x]+24[5x].
Ezt 120-szal osztva kapjuk a feladat egyenlőtlenségét, ami azt jelenti, hogy minden valós szám megoldása az egyenlőtlenségnek.
 

 Gaál Zsolt és Mályusz Levente (Debrecen, Fazekas M. Gimn. II. o. tanulók)
 ötlete alapján