Középiskolai Matematikai és Fizikai Lapok
Informatika rovattal
Kiadja a MATFUND Alapítvány
Már regisztráltál?
Új vendég vagy?

A B. 4945. feladat (2018. március)

B. 4945. Határozzuk meg azokat az \(\displaystyle n\) pozitív egészeket, amelyekre

\(\displaystyle 1\cdot 2^0+2\cdot 2^1+ 3\cdot 2^2+ \ldots + n\cdot 2^{n-1} \)

négyzetszám.

Németh László (Fonyód) javaslata alapján

(5 pont)

A beküldési határidő 2018. április 10-én LEJÁRT.


Megoldás. Először hozzuk zárt alakra az összeget:

\(\displaystyle 1\cdot 2^0+2\cdot 2^1+3\cdot 2^2+\dots+n\cdot 2^{n-1}=\\=(2^0+2^1+2^2+\dots+2^{n-1})+ (2^1+2^2+\dots+2^{n-1})+\dots +(2^{n-2}+2^{n-1})+2^{n-1}=\)

\(\displaystyle =(2^n-1)+(2^{n-1}-2)+\dots+(2^n-2^{n-2})+(2^n-2^{n-1})=\)

\(\displaystyle =n\cdot2^n-(2^n-1)=(n-1)2^n+1.\)

Azt szeretnénk meghatározni, hogy ez mikor négyzetszám, vagyis milyen \(\displaystyle n\)-ekre van egész megoldása az \(\displaystyle (n-1)2^n+1=k^2\) egyenletnek. Az egyenletet átrendezve és szorzattá alakítva:

\(\displaystyle (n-1)2^n=(k+1)(k-1).\)

A \(\displaystyle k+1\) és \(\displaystyle k-1\) számok közül csak az egyik lehet 4-gyel osztható, hiszen a különbségük 2. így valamelyiküknek oszthatónak kell lennie \(\displaystyle 2^{n-1}\)-nel, ezért \(\displaystyle k+1\geq 2^{n-1}\). Ekkor viszont \(\displaystyle k-1\leq 2(n-1)\), és így

\(\displaystyle 2^{n-1}\leq k+1=(k-1)+2\leq 2(n-1)+2=2n\)

is teljesül. Megmutatjuk, hogy ha \(\displaystyle n\geq 5\), akkor ez nem lehetséges. Ha \(\displaystyle n=5\), akkor \(\displaystyle 2^4=16\) és \(\displaystyle 2\cdot 5=10\), tehát az egyenlőtlenség valóban nem áll fenn. Ha viszont valamely \(\displaystyle 1<n\)-re \(\displaystyle 2^{n-1}>2n\), akkor \(\displaystyle 2^n=2\cdot 2^{n-1}>2\cdot 2n>2(n+1)\), tehát az egyenlőtlenség a következő \(\displaystyle n\) értékre sem teljesül, vagyis innentől soha sem. így \(\displaystyle n\) értéke csak \(\displaystyle 1\), \(\displaystyle 2\), \(\displaystyle 3\) vagy \(\displaystyle 4\) lehet. Ekkor \(\displaystyle (n-1)2^n+1\) értéke rendre \(\displaystyle 1\), \(\displaystyle 5\), \(\displaystyle 17\), \(\displaystyle 49\), vagyis a kifejezés értéke pontosan akkor négyzetszám, ha \(\displaystyle n=1\) vagy \(\displaystyle n=4\).


Statisztika:

89 dolgozat érkezett.
5 pontot kapott:Absur Khan Siam, Baski Bence, Biczó Benedek, Busa 423 Máté, Csányi Dávid, Csépányi István, Daróczi Sándor, Döbröntei Dávid Bence, Fekete Richárd, Fitos Bence, Fleiner Zsigmond, Füredi Erik Benjámin, Gáspár Attila, Geretovszky Anna, Győrffi Ádám György, Hegedűs Dániel, Janzer Orsolya Lili, Kerekes Anna, Kupás Vendel Péter, Mikulás Zsófia, Nagy 551 Levente, Saár Patrik, Sárvári Tibor, Schifferer András, Schneider Anna, Schrettner Jakab, Shuborno Das, Soós 314 Máté, Szabó 417 Dávid, Tiderenczl Dániel, Tóth 827 Balázs, Vári-Kakas Andor, Zólomy Kristóf, Zsigri Bálint.
4 pontot kapott:18 versenyző.
3 pontot kapott:10 versenyző.
2 pontot kapott:18 versenyző.
1 pontot kapott:6 versenyző.
0 pontot kapott:3 versenyző.

A KöMaL 2018. márciusi matematika feladatai