Wykaz, ze dla kazdej liczby naturalnej \(n\) liczba:
a) \(2^{n+2}+3^{2n+1}\) jest podzielna przez \(7\)
b) \(3^{3n+1}+9^{3n+1}+1\) jest podzielna przez \(13\)
podzielnosc liczb, kongruencje
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
-
- Expert
- Posty: 4026
- Rejestracja: 01 kwie 2010, 15:35
- Lokalizacja: pod Lublinem - Niedrzwica
- Podziękowania: 3 razy
- Otrzymane podziękowania: 1914 razy
- Płeć:
Re: podzielnosc liczb, kongruencje
a
\(1^ \circ
k=1
2^3+3^3=35=5*7
7|35
2^ \circ
n \ge k
t,z \in N_1
z:2^{n+2}+3^{2n+1}=7t
2^{n+2}=7t-3^{2n+1}
T:2^{n+3}+3^{2n+3}=7z
D:2^{n+3}+3^{2n+3}=2^{n+2}*2+3^{2n+1}*3^2=(7t-3^{2n+1})*2+3^{2n+1}*3^2=
\\2*7t-3^{2n+1}*2+3^{2n+1}*3^2=2*7t+3^{2n+1}(-2+9)=2*7t+3^{2n+1}*7=7*(2t+3^{2n+1})
(2t+3^{2n+1}) \in N\)
Na podstawie zasady indukcji matematycznej z prawdziwosci pktu 1 i 2 wynika prawdziwość \(2^{n+2}+3^{2n+1}\) jest podzialna przez 7 dla \(n \in N\)
\(1^ \circ
k=1
2^3+3^3=35=5*7
7|35
2^ \circ
n \ge k
t,z \in N_1
z:2^{n+2}+3^{2n+1}=7t
2^{n+2}=7t-3^{2n+1}
T:2^{n+3}+3^{2n+3}=7z
D:2^{n+3}+3^{2n+3}=2^{n+2}*2+3^{2n+1}*3^2=(7t-3^{2n+1})*2+3^{2n+1}*3^2=
\\2*7t-3^{2n+1}*2+3^{2n+1}*3^2=2*7t+3^{2n+1}(-2+9)=2*7t+3^{2n+1}*7=7*(2t+3^{2n+1})
(2t+3^{2n+1}) \in N\)
Na podstawie zasady indukcji matematycznej z prawdziwosci pktu 1 i 2 wynika prawdziwość \(2^{n+2}+3^{2n+1}\) jest podzialna przez 7 dla \(n \in N\)
Znasz odpowiedź do zadania, to ją podaj. Łatwiej będzie sprawdzić czy w rozwiązaniu zadania nie ma błędu.
Otrzymałeś odpowiedź do umieszczonego zadania? Podziękuj autorowi za rozwiązanie!!
„Jeżeli chcecie nauczyć się pływać ,
To trzeba, żebyście weszli do wody.
Jeżeli zamierzacie nauczyć się rozwiązywania zadań,
to trzeba, żebyście je rozwiązywali”
George Polya
Otrzymałeś odpowiedź do umieszczonego zadania? Podziękuj autorowi za rozwiązanie!!
„Jeżeli chcecie nauczyć się pływać ,
To trzeba, żebyście weszli do wody.
Jeżeli zamierzacie nauczyć się rozwiązywania zadań,
to trzeba, żebyście je rozwiązywali”
George Polya
b)
\(3^{3n+1}=3\cdot27^n\\3\equiv3\ (mod\ 13)\\27\equiv1\ (mod\ 13)\\27^n\equiv1\ (mod\ 13)\\3\cdot27^n\equiv3\ (mod\ 13)\)
\(9^{3n+1}=9\cdot9^{3n}=9\cdot(3^{3n})^2=9\cdot(27^n)^2\\9\equiv9\ (mod\ 13)\\27^n\equiv1\ (mod\ 13)\\(27^n)^2\equiv1\ (mod\ 13)\\9^{3n+1}\equiv9\ (mod\ 13)\)
\(3^{3n+1}+9^{3n+1}+1\equiv\ 3+9+1\ (mod\ 13)\\3^{3n+1}+9^{3n+1}+1\equiv\ 0\ (mod\ 13)\)
\(3^{3n+1}=3\cdot27^n\\3\equiv3\ (mod\ 13)\\27\equiv1\ (mod\ 13)\\27^n\equiv1\ (mod\ 13)\\3\cdot27^n\equiv3\ (mod\ 13)\)
\(9^{3n+1}=9\cdot9^{3n}=9\cdot(3^{3n})^2=9\cdot(27^n)^2\\9\equiv9\ (mod\ 13)\\27^n\equiv1\ (mod\ 13)\\(27^n)^2\equiv1\ (mod\ 13)\\9^{3n+1}\equiv9\ (mod\ 13)\)
\(3^{3n+1}+9^{3n+1}+1\equiv\ 3+9+1\ (mod\ 13)\\3^{3n+1}+9^{3n+1}+1\equiv\ 0\ (mod\ 13)\)
- KamilWit
- Moderator
- Posty: 1484
- Rejestracja: 07 lip 2011, 18:12
- Podziękowania: 370 razy
- Otrzymane podziękowania: 266 razy
- Płeć:
Re: podzielnosc liczb, kongruencje
a) \(2^{n+2}+3^{2n+1}\) jest podzielna przez \(7\)
równoważnie
\(2^n * 4 + 9^n * 3\)
stąd
\(2^n * 4 + 9^n * 3 \equiv 2 * 4 + 2 * 3 (mod 7 )\)
\(2 * 4 + 2 * 3 = 8 + 6 = 14\)
a,
\(14 \equiv 0 (mod 7 )\)
równoważnie
\(2^n * 4 + 9^n * 3\)
stąd
\(2^n * 4 + 9^n * 3 \equiv 2 * 4 + 2 * 3 (mod 7 )\)
\(2 * 4 + 2 * 3 = 8 + 6 = 14\)
a,
\(14 \equiv 0 (mod 7 )\)
- kamil13151
- Fachowiec
- Posty: 1528
- Rejestracja: 14 kwie 2011, 19:31
- Lokalizacja: Warszawa
- Podziękowania: 170 razy
- Otrzymane podziękowania: 502 razy
- Płeć:
Re: podzielnosc liczb, kongruencje
Jak dla mnie ten dowód jest do kitu.KamilWit pisze:a) \(2^{n+2}+3^{2n+1}\) jest podzielna przez \(7\)
równoważnie
\(2^n * 4 + 9^n * 3\)
stąd
\(2^n * 4 + 9^n * 3 \equiv 2 * 4 + 2 * 3 (mod 7 )\)
\(2 * 4 + 2 * 3 = 8 + 6 = 14\)
a,
\(14 \equiv 0 (mod 7 )\)
\(2^n * 4 + 9^n * 3 \equiv 2 * 4 + 2 * 3 \pmod 7\)
Skąd te przystawanie? Ot tak na boku zobaczyłeś, że działa i wpisałeś?
Tak się kongruencjami nie dowodzi.
Tak to powinno wyglądać:
Zauważamy, że:
\(9 \equiv 2 \ \pmod 7 \ \ \Rightarrow \ \ 3^{2n+1}=9^n \cdot 3 \equiv 2^n \cdot 3 \ \pmod 7\)
Zatem równoważnie mamy do udowodnienia:
\(2^{n+2}+2^n \cdot 3 \equiv 0 \ \pmod 7\)
To nic innego niż
\(2^n \cdot 7 \equiv 0 \ \pmod 7\)
Co jest oczywiste.
- KamilWit
- Moderator
- Posty: 1484
- Rejestracja: 07 lip 2011, 18:12
- Podziękowania: 370 razy
- Otrzymane podziękowania: 266 razy
- Płeć:
Re: podzielnosc liczb, kongruencje
\(2^n \equiv 2 ( mod 7 ) \\ 4\equiv4 ( mod 7 ) \\ 9^n \equiv 2 ( mod 7 )\\ 3 \equiv 3 ( mod 7 ) \\\)KamilWit pisze:a) \(2^{n+2}+3^{2n+1}\) jest podzielna przez \(7\)
równoważnie
\(2^n * 4 + 9^n * 3\)
stąd
\(2^n * 4 + 9^n * 3 \equiv 2 * 4 + 2 * 3 (mod 7 )\)
\(2 * 4 + 2 * 3 = 8 + 6 = 14\)
a,
\(14 \equiv 0 (mod 7 )\)
i wszystko wstawiłem do powyższego równania xd
tak w kazdym razie zrobilem xd
- kamil13151
- Fachowiec
- Posty: 1528
- Rejestracja: 14 kwie 2011, 19:31
- Lokalizacja: Warszawa
- Podziękowania: 170 razy
- Otrzymane podziękowania: 502 razy
- Płeć:
Re: podzielnosc liczb, kongruencje
Dwie głupoty Wracaj do podręcznika...KamilWit pisze:\(2^n \equiv 2 ( mod 7 ) \\ 9^n \equiv 2 ( mod 7 )\)
i wszystko wstawiłem do powyższego równania xd
Tak nawiasem piszemy \(\pmod 7\) \pmod 7