Feladat: 1391. matematika gyakorlat Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Erdős Péter 
Füzet: 1972/október, 63. oldal  PDF  |  MathML 
Témakör(ök): Rekurzív eljárások, Teljes indukció módszere, Gyakorlat
Hivatkozás(ok):Feladatok: 1971/december: 1391. matematika gyakorlat

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.

Jelöljük a sorozat n-edik tagját an-nel, tehát a1=1 és n=2,3,4,... esetében

an=4+4a1+a2+...+an-1.(1)

Eszerint a2=4+41=8, a3=4+41+8=16, a4=4+41+8+16=24, a5=32, a6=40. A számítás során az egymás utáni négyzetgyökvonások eredménye 1, 3, 5, 7, 9 volt, vagyis az n=2,3,4,5,6 sorszámú tag számítása közben az 1-gyel kisebb sorszámú páratlan szám. Bebizonyítjuk, hogy észrevételünk minden indexre helyes.
Tegyük föl, hogy k olyan index, melyre a sorozat első k tagjának sk összege egyenlő a k-adik páratlan szám négyzetével, azaz
sk=a1+a2+...+ak=(2k-1)2.
Ekkor (1) szerint
ak+1=4+4(2k-1)=8k,és ígysk+1=sk+ak+1=(2k-1)2+8k=4k2+4k+1=(2k+1)2,


tehát a mondott tulajdonság a következő (k+1) indexre is fennáll. Ezt akartuk bizonyítani.
Ezek szerint a sorozat első 1971 tagjának összege annyi, mint az 1971-edik páratlan szám négyzete:
s1971=(21971-1)2=39412=15531481.

Erdős Péter (Budapest, I. István Gimn., II. o. t.)