 |
A B. 5258. feladat (2022. szeptember) |
B. 5258. Igaz-e, hogy minden pozitív egésznek van olyan pozitív többszöröse, amelynek tízes számrendszerbeli alakjában a számjegyek összege legfeljebb 2022?
Javasolta: Sándor Csaba (Budapest)
(5 pont)
A beküldési határidő 2022. október 10-én LEJÁRT.
Megoldás. Azt fogjuk belátni, hogy nem igaz: van olyan pozitív egész szám, melynek minden pozitív többszörösében több, mint 2022 a számjegyek összege.
Nevezetesen, igazolni fogjuk, hogy az \(\displaystyle n=\underbrace{99\dots 9}_k=10^k-1\) szám minden pozitív többszörösében legalább \(\displaystyle 9k\) a számjegyek összege. Így például a \(\displaystyle k=225\) választással kapott \(\displaystyle 10^{225}-1\) szám minden pozitív többszörösében legalább \(\displaystyle 9\cdot 225=2025>2022\) a számjegyek összege, vagyis a feladat kérdésére valóban az a válasz, hogy nem igaz.
Jelölje az \(\displaystyle m\) szám számjegyeinek összegét \(\displaystyle S(m)\). Azt látjuk be \(\displaystyle t\)-re vonatkozó teljes indukcióval, hogy bármely \(\displaystyle t\geq 1\) egészre \(\displaystyle S(tn)\geq 9k\) (ahol továbbra is \(\displaystyle n=\underbrace{99\dots 9}_k=10^k-1\)). Az állítás \(\displaystyle t=1\)-re nyilvánvalóan teljesül, hiszen \(\displaystyle S(n)=9k\).
Tegyük fel most, hogy \(\displaystyle t>1\) és a \(\displaystyle t\)-nél kisebb pozitív egészekre már igazoltuk az állítást, célunk megmutatni, hogy \(\displaystyle t\)-re is teljesül: \(\displaystyle S(tn)\geq 9k\). Jelölje a \(\displaystyle tn\) szám utolsó \(\displaystyle k\) jegye által alkotott számot \(\displaystyle a_0\), a következő \(\displaystyle k\) jegye által alkotott számot \(\displaystyle a_1\), és így tovább, amíg el nem fogynak a jegyek. Ezzel a jelöléssel
\(\displaystyle tn=a_0+10^k a_1+10^{2k}a_2+\dots +10^{a_\ell}a_{\ell},\)
ahol \(\displaystyle \ell = \left \lceil \frac{tn\text{ jegyeinek száma}}{k} \right\rceil-1\).
Mivel \(\displaystyle t>1\), ezért \(\displaystyle tn\geq 2n>10^k\), így \(\displaystyle \ell \geq 1\). Az \(\displaystyle r:=a_0+a_1+\dots+a_{\ell}\) szám osztható \(\displaystyle n\)-nel, hiszen a \(\displaystyle 10^k\) szám (és így hatványai is) 1 maradékot adnak \(\displaystyle n\)-nel osztva, így a \(\displaystyle tn\) és \(\displaystyle r\) számok \(\displaystyle n\)-es maradéka ugyanaz. Mivel \(\displaystyle \ell \geq 1\) és \(\displaystyle a_{\ell}>0\), ezért
\(\displaystyle r=a_0+a_1+\dots+a_{\ell}<a_0+10^k a_1+10^{2k}a_2+\dots +10^{a_\ell}a_{\ell}=tn,\)
így az indukciós feltevés alapján \(\displaystyle S(r)\geq 9k\). Világos, hogy
| \(\displaystyle S(tn)=S(a_0)+S(a_1)+\dots+S(a_\ell). \) | \(\displaystyle {(1)}\) |
Azonban
| \(\displaystyle S(a_0+a_1+\dots+a_{\ell})\leq S(a_0)+S(a_1)+\dots+S(a_\ell), \) | \(\displaystyle {(2)}\) |
hiszen az \(\displaystyle a_0+a_1+\dots+a_\ell\) összeget írásbeli összeadással számolva, ha nem keletkezne maradék, akkor épp egyenlőség lenne, különben pedig minden egyes 10-es átvitelnél 10-es összeget 1-re cserélünk, és így végül kisebb számjegyösszeget kapunk.
Tehát (1) és (2) alapján valóban \(\displaystyle S(tn)\geq S(r)\geq 9k\). Ezzel az állítást indukcióval igazoltuk.
Statisztika:
75 dolgozat érkezett. 5 pontot kapott: Archit Manas, Bényei Borisz, Christ Miranda Anna, Csilling Dániel, Czirják Márton Pál, Elekes Dorottya, Farkas 005 Bendegúz, Fülöp Csilla, Guthy Gábor, Kosztolányi Karina, Kovács Benedek Noel, Melján Dávid Gergő, Nguyen Kim Dorka, Seres-Szabó Márton, Simon László Bence, Slézia Dávid, Szakács Ábel, Szanyi Attila, Tarján Bernát, Varga Boldizsár, Virág Lénárd Dániel, Virág Rudolf, Wiener Anna, Zömbik Barnabás. 4 pontot kapott: Balaskó Imola, Bencz Benedek, Bodor Mátyás, Chrobák Gergő, Csonka Illés, Lincoln Liu, Lőw László, Orbán Gyula János, Sipos Botond Örs, Szatmáry Benedek, TN. 3 pontot kapott: 7 versenyző. 2 pontot kapott: 10 versenyző. 1 pontot kapott: 13 versenyző. 0 pontot kapott: 6 versenyző. Nem versenyszerű: 1 dolgozat. Nem számítjuk a versenybe a születési dátum vagy a szülői nyilatkozat hiánya miatt: 2 dolgozat.
A KöMaL 2022. szeptemberi matematika feladatai