Feladat: Gy.2047 Korcsoport: 16-17 Nehézségi fok: átlagos
Füzet: 1982/november, 135. oldal  PDF  |  MathML 
Témakör(ök): Irracionális egyenletek, Másodfokú (és arra visszavezethető) egyenlőtlenségek, Gyakorlat, Egészrész, törtrész függvények
Hivatkozás(ok):Feladatok: 1982/április: Gy.2047

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.

[[x]]=[x](1)

Megoldás. Vizsgáljuk meg, hogy egy adott n egész szám mikor lesz benne a bal, illetve a jobb oldalon álló függvény értékkészletében.
Az egész rész értelmezése alapján [x]=n pontosan akkor teljesül, ha n[x]<n+1. Négyzetre emelés után az egyenlőtlenségek iránya nem változik, hiszen a szereplő mennyiségek nem negatívak.
n2[x]<(n+1)2.

Mivel az [x]-re kapott korlátok egészek, a kapott egyenlőtlenségek x-re is teljesülnek. Azt kaptuk tehát, hogy [[x]]=n pontosan akkor teljesül, ha
n2x<(n+1)2.(2)

Hasonlóan kapjuk, hogy [x]=n pontosan akkor teljesül, ha
n4x<(n+1)4.(3)

Ha tehát x megoldása (1)-nek, akkor a közös helyettesítési értéket n-nel jelölve teljesülnie kell (2)-nek és (3)-nak, de ekkor n-re fenn kell álljon, hogy
n4<(n+1)2.

Négyzetgyököt vonva (mindkét oldal nemnegatív) n2<n+1 adódik, ez pedig csak n=0 vagy n=1 esetében teljesül, hiszen n egész. Ezt (2)-vel egybevetve 0x<1, illetve 1x<4, (3)-ból 0x<1, illetve 1x<16 adódik. Ha tehát 0x<1, akkor (1)-ben mindkét oldal értéke 0, ha pedig 1x<4, akkor (1)-ben mindkét oldal értéke 1.
Az egyenletnek tehát azok az x számok a megoldásai, melyekre 0x<4.
 

Megjegyzés. A megoldásból az is kiderül, hogy ha x>4, akkor
[[x]]>[x].