Feladat: C.1053 Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Nagy Réka 
Füzet: 2012/április, 216. oldal  PDF  |  MathML 
Témakör(ök): C gyakorlat, Oszthatósági feladatok, Nevezetes azonosságok
Hivatkozás(ok):Feladatok: 2010/november: C.1053

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.

 
Megoldás.
(2n-1)2n+1+(2n+1)2n-1==(2n)2n+1-(2n+1)(2n)2n+(2n+12)(2n)2n-1-(2n+13)(2n)2n-2+...++(2n+12n)(2n)1-1+(2n)2n-1+(2n-11)(2n)2n-2++(2n-12)(2n)2n-3+(2n-13)(2n)2n-4+...+(2n-12n-2)(2n)1+1.
Az összegben a (2n+12n)(2n)1-1+(2n-12n-2)(2n)1+1 kivételével az összes tag osztható 4-gyel, mert a 2n minden esetben legalább 2-es kitevőn van.
(2n+12n)(2n)-1+(2n-12n-2)(2n)+1=(2n+1)(2n)+(2n-1)(2n)-1+1==2n(2n+1+2n-1)=2n4n=8n2,
és ez is osztható 4-gyel.
Vagyis (2n-1)2n+1+(2n+1)2n-1 valóban osztható 4-gyel.