Feladat: F.2181 Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Fodor László ,  Strádl János 
Füzet: 1979/május, 202 - 203. oldal  PDF  |  MathML 
Témakör(ök): Egyenlőtlenségek, Várható érték, Feladat, Rekurzív sorozatok
Hivatkozás(ok):Feladatok: 1979/január: F.2181

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. Az |ai|=|ai-1+1| feltétel akkor és csak akkor teljesül, ha ai2=(ai-1+1)2, azaz ha ai2=ai-12+2ai-1+1. Toldjuk meg a sorozatot 1 taggal, legyen tehát i=2,3,...,n+1. Ezeket az összefüggéseket összeadva kapjuk, hogy

a22+...+an2+an+12=a12+a22+...+an2+2(a1+a2+...+an)+n,
ahonnan
a1+a2+...+an=an+12-a12-n2=an+122-n2-n2,
amit bizonyítanunk kellett.
Egyenlőség akkor és csak akkor áll fenn, ha an+1=an+1=0, azaz ha an=-1. Megállapíthatjuk, hogy ebben az esetben n szükségképpen páros, hiszen sorozatunk szomszédos tagjai abszolút értékben mindig 1-gyel különböznek egymástól.
 

 Strádl János (Kisbér, Táncsics M. Gimn., III. o. t.)
 

II. megoldás. A bizonyítandó összefüggés azt fejezi ki, hogy a feladatban szereplő számsorozat tagjainak átlagértéke nem kisebb (-12)-nél. Ezt fogjuk bizonyítani.
Feltehetjük, hogy az ai számok között negatív szám is előfordul, különben az állítás nyilvánvalóan igaz. Így a sorozat legalább két tagú.
A sorozatban az első negatív számot egy nem negatív szám előzi meg. Legyen ez ak. Mivel most ak+1<0 és ak0, ezért |ak+1|=|ak+1| alapján ak+1=-ak-1. Ezek szerint ak+ak+1=-1, azaz a szóban forgó két szám átlagértéke -12. E két számot elhagyva a sorozatból ‐ ha marad még számunk ‐ a felírt sorrendben a képzési szabálynak megfelelő (n-2) tagból álló sorozatot nyerünk. Most ugyanis |ak+2|=|ak+1+1|=|ak|, de mivel |ak|=|ak-1+1|, ezért |ak+2|=|ak-1+1|, vagyis ak+2 tekinthető úgy is, mint az ak-1 után következő tag. Problémát csak az jelenthet, ha k=1, vagyis nincs ak-t megelőző tag. Ebben az esetben a2=-1 és a3=0. a1 és a2 elhagyásakor tehát nem marad előttük levő elem, viszont a3 átveszi a1 szerepét.
A sorozatban balról jobbra haladva a negatív számokat az őket megelőző nem negatív taggal együtt sorban elhagyva véges számú lépésben elérhetjük, hogy csak nem negatív számok maradnak a sorozatban, vagy pedig egyáltalán nem marad elemünk. Miután sem az elhagyott, sem a megmaradó számok átlagértéke nem kisebb (-12)-nél, ezért ezt az eredeti sorozatot alkotó valamennyi szám átlagértékéről elmondhatjuk.
 

 Fodor László (Budapest, Fazekas M. Gyak. Gimn., III. o. t.)