podzielnosc liczb, kongruencje

Teoria liczb, teoria grafów, indukcja
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
17inferno
Czasem tu bywam
Czasem tu bywam
Posty: 147
Rejestracja: 11 paź 2009, 19:06
Podziękowania: 31 razy

podzielnosc liczb, kongruencje

Post autor: 17inferno »

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\)
josselyn
Expert
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

Post autor: josselyn »

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\)
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
irena
Guru
Guru
Posty: 22300
Rejestracja: 10 paź 2009, 19:08
Otrzymane podziękowania: 9858 razy
Płeć:

Post autor: irena »

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)\)
Awatar użytkownika
KamilWit
Moderator
Moderator
Posty: 1484
Rejestracja: 07 lip 2011, 18:12
Podziękowania: 370 razy
Otrzymane podziękowania: 266 razy
Płeć:

Re: podzielnosc liczb, kongruencje

Post autor: KamilWit »

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 )\)
Awatar użytkownika
kamil13151
Fachowiec
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

Post autor: kamil13151 »

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 )\)
Jak dla mnie ten dowód jest do kitu.
\(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.
Awatar użytkownika
KamilWit
Moderator
Moderator
Posty: 1484
Rejestracja: 07 lip 2011, 18:12
Podziękowania: 370 razy
Otrzymane podziękowania: 266 razy
Płeć:

Re: podzielnosc liczb, kongruencje

Post autor: KamilWit »

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 \equiv 2 ( mod 7 ) \\ 4\equiv4 ( mod 7 ) \\ 9^n \equiv 2 ( mod 7 )\\ 3 \equiv 3 ( mod 7 ) \\\)
i wszystko wstawiłem do powyższego równania xd
tak w kazdym razie zrobilem xd
Awatar użytkownika
kamil13151
Fachowiec
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

Post autor: kamil13151 »

KamilWit pisze:\(2^n \equiv 2 ( mod 7 ) \\ 9^n \equiv 2 ( mod 7 )\)
i wszystko wstawiłem do powyższego równania xd
Dwie głupoty :D Wracaj do podręcznika...

Tak nawiasem piszemy \(\pmod 7\) \pmod 7
17inferno
Czasem tu bywam
Czasem tu bywam
Posty: 147
Rejestracja: 11 paź 2009, 19:06
Podziękowania: 31 razy

Re: podzielnosc liczb, kongruencje

Post autor: 17inferno »

dzieki za pomoc
ODPOWIEDZ