Feladat: B.3504 Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Antal Ágnes ,  Kovács Péter ,  Zavarkó Gábor 
Füzet: 2002/május, 287 - 289. oldal  PDF  |  MathML 
Témakör(ök): Teljes indukció módszere, Számjegyekkel kapcsolatos feladatok, Feladat
Hivatkozás(ok):Feladatok: 2001/december: B.3504

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. Írjuk fel Uk2-et annak alapján, ahogyan az írásbeli szorzást elvégezzük. Ennek során k2 darab 1-est írunk le, k sor mindegyikében k darabot, soronként egy helyiértékkel eltolva. S(Uk2) kiszámításakor oszloponként összeadjuk a felírt 1-eseket, majd az átvitelek figyelembevételével kapott számjegyeket összegezzük.
S(Uk)2=k2 kiszámításakor soronként adjuk össze az 1-eseket, majd az így kapott k darab összeg ‐ mindegyikük értéke k ‐ összegét vesszük.
A különbséget az esetleges átvitelek okozzák, az első esetben ilyenkor az adott oszlopban lévő egyesek összege helyett ennek az összegnek csak az egyes helyiértéken lévő részét írjuk le, az összeg további részének 110-ét a következő helyiértéken álló számhoz adjuk.
Ilyen veszteség minden egyes átvitel során föllép, átvitelre pedig akkor kerül sor, ha van olyan oszlop, ahol legalább tíz darab 1-es áll, vagyis a k értéke legalább 10. Ekkor tehát S(Uk2)<S(Uk)2. Ha viszont k9, akkor éppen a fenti gondolatmenet mutatja, hogy ugyanazt a k2 mennyiséget számoljuk ki oszloponként, illetve soronként, tehát ekkor S(Uk2)=S(Uk)2.

 
Kovács Péter (Debrecen, DE Kossuth Lajos Gyakorló Gimn., 8. évf.)
 

II. megoldás. A k darab 1-essel felírt szám jegyeinek az összege, S(Uk)=k, azért a feltétel az S(Uk2)=k2 alakot ölti. Vizsgáljuk meg, hogy hány jegye van Uk2-nek. Mivel 10k-1<Uk<210k-1, azért 102k-2<Uk2<4102k-2<102k-1 és így Uk2 jegyeinek száma 2k-1. Innen felső becslést kaphatunk S(Uk2) értékére: mivel egy számjegy legfeljebb 9, így S(Uk2)9(2k-1). Ez azt jelenti, hogy a megfelelő k értékekre
k2=S(Uk)2=S(Uk2)9(2k-1)<18k,
azaz k<18.
Így öszesen 17 esetet kell megvizsgálnunk, ezeket egyenként végignézve kapjuk, hogy ha 1k9, akkor teljesül a feltétel, ha pedig 10k17, akkor S(Uk2)<S(Uk)2. A megfelelő értékeket az alábbi táblázat tartalmazza:
kS(Uk)2=k2S(Uk2)111  244  399  41616  52525  63636  74949  86464  98181  1010082  1112185  1214490  1316997  14196106  15225117  16256130  17289145

 
Zavarkó Gábor (Miskolc, Földes Ferenc Gimn., 12. évf.)
 

Megjegyzés. Némi ügyeskedéssel tovább korlátozható a ,,kézzel'' ellenőrzött k értékek száma. Backhausz Ágnes, a budapesti Fazekas Mihály Gimnázium 11. osztályos tanulója a következőképpen okoskodott:
Az Un+k=Uk+10kUn azonosságból következik, hogy
Un+k2=Uk2+210kUkUn+102kUn2.
Ez azt jelenti, hogy Un+k2 és Uk2 utolsó k számjegye egyenlő. Kiszámolva U122 értékét az utolsó 12 számjegy 320987654321, ezek összege pedig 50. Ez azt jelenti, hogy ha k12, akkor Uk2=...320987654321 alakú, ebben az esetben pedig a (2k-1)-jegyű Uk2 jegyeinek az összege legfeljebb 50+(2k-1-12)9=18k-67. Innen az S(Uk)2=S(Uk2) fennállásához szükséges k218k-67 feltételt kapjuk, ahonnan k<13 adódik. Ez pedig azt jelenti, hogy a feladat feltétele nem teljesülhet, ha k13.
 
III. megoldás. Ha a és b nemnegatív egészek, akkor az összeadás algoritmusa következményeként kapjuk, hogy
S(a+b)S(a)+S(b).(1)
Mivel Uk=10Uk-1+1, ezért Uk2=100Uk-12+20Uk-1+1. Innen (1) felhasználásával
S(Uk2)S(100Uk-12)+S(20Uk-1)+1=S(Uk-12)+S(2Uk-1)+1==S(Uk-12)+2(k-1)+1,
azaz
S(Uk2)S(Uk-12)+2k-1.(2)
Innen egyrészt a k-ra vonatkozó teljes indukcióval nyomban adódik, hogy
S(Uk2)k2.(3)
Másrészt ha egy adott k-ra S(Uk2)=k2, akkor (2) szerint
k2=S(Uk2)S(Uk-12)+2k-1,
azaz S(Uk-12)k2-2k+1=(k-1)2, amit (3)-mal egybevetve
S(Uk-12)=(k-1)2.

Ez azt jelenti, hogy ha van olyan k0, amelyre (3)-ban egyenlőség teljesül, akkor ugyanez minden k<k0 esetén is igaz.
Hasonlóan kapjuk (2) fölhasználásával, hogy ha van olyan k0, amelyre (3)-ban határozott egyenlőtlenség áll, akkor ugyanez minden k>k0 esetén is teljesül.
Ha kiszámoljuk, akkor S(U92)=92 és S(U102)=82<102. A fentiek szerint ez azt jelenti, hogy
S(Uk2)=S(Uk)2,ha1k9ésS(Uk2)<S(Uk)2,ha10k.

 
Antal Ágnes (Budapest, Apáczai Csere János Gimn., 12. évf.)