Kezdőlap


Feladat:	2220. matematika feladat	Korcsoport: 16-17	Nehézségi fok: átlagos
Megoldó(k):	Engel Sándor , Friedmann L. , Földy Zoltán , Goldstein Ö. , Horváth M. , Klein Pál , Kurcz M. , Lénárd S. , Lovas A. , Márkus J. , Nagy L. J. , Okolicsányi Ferenc , Oszwald Ferenc , Paunz L. , Peisner Gy. , Popper A. , Raab J. , Radó Tibor , Rajk M. , Sárkány F. , Steiner Gy. , Stojkovits Iván , Táborossy K. , Tapasztó Gy. , Trugly Ö. , Vermes P. , Vizi M.
Füzet:	1913/január, 140 - 143. oldal		PDF \| MathML
Témakör(ök):	Nevezetes azonosságok, Maradékosztályok, Maradékos osztás, Oszthatósági feladatok, Számsorozatok, Teljes indukció módszere, Feladat
Hivatkozás(ok):	Feladatok: 1912/november: 2220. matematika feladat

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.

Első megoldás. 1. Ha $n = 1$ , akkor

\begin{matrix} 5 + 2 \cdot 3^{0} + 1 = 8 \end{matrix}

osztható

8

-cal.
2.

4 \cdot 5 + 4 \cdot 3^{0} = 24

osztható

8

-cal, tehát

\begin{matrix} (5 + 2 \cdot 3^{0} + 1) + (4 \cdot 5 + 4 \cdot 3^{0}) = 5^{2} + 2 \cdot 3 + 1 \end{matrix}

is osztható

8

-cal.
3. Ezt az okoskodást folytatva

\begin{matrix} (5^{2} + 2 \cdot 3 + 1) + (4 \cdot 5^{2} + 4 \cdot 3) = 5^{3} + 2 \cdot 3^{2} + 1 \end{matrix}

szintén osztható

8

-cal.
4. Az indukció teljessége kedvéért tegyük föl, hogy

5^{n} + 2 \cdot 3^{n - 1} + 1

osztható

8

-cal. akkor mivel a

\begin{matrix} 4 \cdot 5^{n} + 4 \cdot 3^{n - 1} = 4 (5^{n} + 3^{n - 1}) \end{matrix}

kifejezés értékében a zárójelben két páratlan szám összege, vagyis páros szám áll. azért

4 \cdot 5^{n} + 4 \cdot 3^{n - 1}

osztható

4 \cdot 2 = 8

-cal és így

\begin{matrix} (5^{n} + 2 \cdot 3^{n - 1} + 1) + (4 \cdot 5^{n} + 4 \cdot 3^{n - 1}) = 5^{n + 1} + 2 \cdot 3^{n} + 1 \end{matrix}

szintén osztható

8

-cal. Ha tehát a tétel igaz

n

-re, akkor igaz

(n + 1)

-re is; ámde

n = 1

2

-re igaz volt, tehát helyes marad

n = 3

-ra, ebből ismét

n = 4

-re is és általában

n

-nek minden pozitív egész számú értékére.

(Engel Sándor, Budapest.)

Második megoldás.

\begin{matrix} 5 \equiv (mod 8) & 3 = 3 (mod 8) \\ 5^{2} \equiv 25 \equiv 1 (mod 8) & 3^{2} \equiv 9 \equiv 1 (mod 8) \\ 5^{3} \equiv 5 (mod 8) & 3^{2} \equiv 9 \equiv 1 (mod 8) \\ 5^{4} \equiv 25 \equiv 1 (mod 8) & 3^{3} \equiv 3 (mod 8) \\ ... ... ... ... & ... ... ... ... \\ 5^{2 m} \equiv 1 (mod 8) & 3^{2 m} \equiv 1 (mod 8) \\ 5^{2 m + 1} \equiv 5 (mod 8) & 3^{2 m + 1} \equiv 3 (mod 8) \end{matrix}

1^{\circ}

. Ha tehát

n = 2 m

, akkor

\begin{matrix} 5^{n} + 2 \cdot 3^{n - 1} + 1 \equiv 1 + 2 \cdot 31 \equiv 8 \equiv 0 (mod 8) . \end{matrix}

2^{\circ}

. Ha pedig

n = 2 m + 1

, akkor

\begin{matrix} 5^{n} + 2 \cdot 3^{n - 1} + 1 \equiv 5 + 2 \cdot 1 + 1 \equiv 8 \equiv 0 ((mod 8) . \end{matrix}

(Földy Zoltán, Budapest.)

Harmadik megoldás.

\begin{matrix} 5^{n} + 2 \cdot 3^{n - 1} + 1 = {(4 + 1)}^{n} + 2 {(4 - 1)}^{n - 1} + 1. \end{matrix}

{(4 + 1)}^{n}

hatványozást elvégezve a binominális-tétel segítségével, az első

(n - 1)

tag mindegyike osztható

4^{2} = 16

-tal, tehát

\begin{matrix} {(4 + 1)}^{n} = 16 \cdot A + n \cdot 4 + 1 \end{matrix}

és hasonlóképp

\begin{matrix} {(4 - 1)}^{n - 1} = 4 \cdot B + {(- 1)}^{n - 1}, \end{matrix}

tehát

\begin{matrix} 5^{n} + 2 \cdot 3^{n - 1} + 1 = 16 A + 4 n + 1 + 8 B + 2 \cdot {(- 1)}^{n - 1} + 1 = \\ = 8 \cdot C + 4 n + 2 \cdot {(- 1)}^{n - 1} + 2. \end{matrix}

a) Ha

n

páratlan, akkor

(n \pm 1)

páros, tehát

\begin{matrix} 4 n + 2 \cdot {(- 1)}^{n - 1} + 2 = 4 n + 2 + 2 = 4 (n + 1) \end{matrix}

szintén osztható

8

-cal,
b) ha pedig

n

páros, akkor

(n - 1)

páratlan, tehát

\begin{matrix} 4 n + 2 \cdot {(- 1)}^{n - 1} + 2 = 4 n \end{matrix}

ismét osztható

8

-ca1.

(Klein Pál, Budapest.)

Negyedik megoldás.

\begin{matrix} 5^{n} + 2 \cdot 3^{n - 1} + 1 = {(4 + 1)}^{n} + 2 {(2 + 1)}^{n - 1} + 1. \end{matrix}

Ámde

\begin{matrix} {(4 + 1)}^{2} = 16 \cdot A + 4 n + 1, \\ {(2 + 1)}^{n - 1} = 4 \cdot B + 2 (n - 1) + 1, \end{matrix}

tehát

\begin{matrix} 5^{n} + 2 \cdot 3^{n - 1} + 1 & = 16 A + 8 B + 4 n + 4 (n - 1) + 1 + 2 + 1 = \\ = 16 A + 8 B + 8 n = 8 \cdot C . \end{matrix}

(Oszvald Ferenc, Budapest.)

Ötödik megoldás.

\begin{matrix} 5^{n} + 2 \cdot 3^{n - 1} + 1 = 5 \cdot {(8 - 3)}^{n - 1} + 2 \cdot 3^{n - 1} + 1. \end{matrix}

Ámde

\begin{matrix} {(8 - 3)}^{n - 1} = 8 \cdot A + {(- 1)}^{n - 1} \cdot 3^{n - 1}, \end{matrix}

tehát

\begin{matrix} N = 5^{n} + 2 \cdot 3^{n - 1} + 1 = 8 \cdot A' + {(- 1)}^{n - 1} \cdot 5 \cdot 3^{n - 1} + 2 \cdot 3^{n - 1} + 1. \end{matrix}

a) Ha

n

páratlan, tehát

n - 1

páros, akkor

\begin{matrix} N = 8 A' + 5 \cdot 3^{n - 1} + 2 \cdot 3^{n - 1} + 1 = 8 \cdot A' + 7 \cdot 3^{n - 1} + 1 = \\ = 8 A' + (8 - 1) \cdot 3^{n - 1} + 1 = 8 A' + 8 \cdot 3^{n - 1} - (3^{n - 1} - 1) . \end{matrix}

Feltételünk szerint

n - 1 = 2 m

, tehát

\begin{matrix} 3^{n - 1} - 1 = 9^{m} - 1 = {(8 + 1)}^{m} - 1 = 8 B + 1 - 1 = 8 B \end{matrix}

és így

\begin{matrix} N = 8 A' + 8 \cdot 3^{n - 1} + 8 B . \end{matrix}

b) Ha

n

páros, tehát

n - 1

páratlan, akkor

\begin{matrix} N = 8 A' - 5 \cdot 3^{n - 1} + 2 \cdot 3^{n - 1} + 1 = 8 A' - 3^{n} + 1 = 8 A' - (3^{n} - 1) . \end{matrix}

Feltételünk szerint

n = 2 m

, tehát

\begin{matrix} 3^{n} - 1 = 9^{m} - 1 = {(8 + 1)}^{m} - 1 = 8 B + 1 - 1 \end{matrix}

és így

\begin{matrix} N = 8 A' - 8 B . \end{matrix}

(Okolicsányi Ferenc, Budapest.)

Hatodik megoldás. Legyen

\begin{matrix} S_{k} = 5^{k} + 2 \cdot 3^{k - 1} + 1. \end{matrix}

akkor

S_{1} = 8, S_{2} = 4 \cdot 8, ...

oszthatók

8

-cal. Tegyük fel, hogy

S_{k}

is osztható

8

-cal és vizsgáljuk meg, hogy

S_{k + 1}

is osztható-e

8

-cal?

\begin{matrix} S_{k + 1} = 5^{k + 1} + 2 \cdot 3^{k} + 1 = (4 + 1) 5^{k} + 2 \cdot 3 \cdot 3^{k - 1} + 1 = \\ = 5^{k} + 2 \cdot 3^{k - 1} + 1 + 4 (5^{k} + 3^{k - 1}) . \end{matrix}

Ámde a zárójelben álló két páratlan szám összege páros, tehát

4 (5^{k} + 3^{k - 1})

osztható

4 \cdot 2 = 8

-cal és így

S_{k + 1}

is osztható

8

-cal, stb.

(Radó Tibor, Budapest.)

Hetedik megoldás. Segédtétel:

\begin{matrix} x^{n} = (x - 1) [(x - 1) \cdot E + n] + 1, \end{matrix}

ahol

x

n

és

E

egész számokat jelentenek.
Bizonyítás.

\begin{matrix} x^{n} - 1 = (x - 1) (x^{n - 1} + x^{n - 2} + ... + x^{2} + x + 1) = \\ = (x - 1) [(x^{n - 1} - 1) + (x^{n - 2} - 1) + ... + (x^{2} - 1) + (x - 1) + n] . \end{matrix}

Ámde

x^{n - 1} - 1, x^{n - 2} - 1, ..., x^{2} - 1, x - 1

mindegyike osztható

(x - 1)

-gyel, tehát

\begin{matrix} x^{n} - 1 = (x - 1) [(x - 1) \cdot E + n], \end{matrix}

vagyis

\begin{matrix} x^{n} = (x - 1) [(x - 1) E + n] + 1. \end{matrix}

Segédtételünk szerint

\begin{matrix} 5^{n} = 4 \cdot (4 \cdot E_{1} + n) + 1 = 16 \cdot E_{1} + 4 n + 1, \\ 2 \cdot 3^{n - 1} = 2 {2 \cdot (2 \cdot E_{2} + n - 1) + 1} = 8 E_{2} + 4 n - 2, \end{matrix}

tehát

\begin{matrix} 5^{n} + 2 \cdot 3^{n - 1} + 1 = 16 E_{1} + 8 E_{2} + 8 n . \end{matrix}

(Stojkovits Iván, Budapest.)