da cesenatico 2002....
No..modulo 2 si ha $ -3\equiv 1 \pmod{2} \Rightarrow -3^{n}\equiv \pm 1\equiv 1 \pmod{2}\\ 5\equiv 1\pmod{2} \Rightarrow 5^{n}\equiv 1 \pmod{2} $
Ma più semplicemente, senza andare a intricarsi coi moduli. Se un numero è congruo a 1 modulo 2, non basta dire che è dispari?
Sia 3 che 5 sono dispari, dunque lo saranno anche le loro potenze.
Ma il tuo tentativo qual'era? Dare una soluzione formalizzata?
Ma più semplicemente, senza andare a intricarsi coi moduli. Se un numero è congruo a 1 modulo 2, non basta dire che è dispari?
Sia 3 che 5 sono dispari, dunque lo saranno anche le loro potenze.
Ma il tuo tentativo qual'era? Dare una soluzione formalizzata?
mmm sì okjulio14 ha scritto:Il problema è che non considera -1 congruo a +1 modulo 2, ma comunque sbaglierebbe a parlare di esponente pari o dispari, perchè è $ -3^n $, non $ (-3)^n $
Comunque matteo, ha ragione Eucla, il modulo 2 è così banale che rischi meno errori a parlare di pari e dispari, anzichè di moduli.
sucsate ma è da poco che ho iniziato a studiare teoria dei numeri e le congruenze
cmq sì certo, è più semplice dire se un numero è pari o dispari
però in questo caso, sapere che $ 5^n + 3^n $ è un numero pari non serve per individuare n?
il mio intento era uqello di dimostrare che n=4d e che è anche multiplo di tre
così che diventi anche multiplo di 12
ma allora la scrittura $ 5^n\equiv-3^n $ $ mod2 $ non serve a molto in questo contesto?
ah beh certo è verojulio14 ha scritto:eh no, perchè quella cosa è vera per qualunque n, quindi non ti dà nessuna informazione su di esso. Non importa quale n tu metti, quella somma darà sempre un numero pari.
comunque concettualmente(anche se inutile) è giusto il passaggio? perchè devo capire se almeno i passaggi li faccio giusti
poi certo all'interno del problema non serve proprio a niente
ma allora come va risolto?
ah cmq grazie delle spiegazioni che mi state dando e della pazienza che avete
Sono tornato a rileggere il tuo primo post... intanto un consiglio per LaTeX: quando devi trattare un solo numero formato da più caratteri, racchiudi i caratteri fra le graffe, nello specifico avresti dovuto scrivere {2k} e non semplicemente 2k perchè fosse tutto all'esponente. Passiamo alla matematica.
Sorvolando sul fatto che n non è necessariamente pari, e quindi non puoi fare la sostituzione, sbagli quando semplifichi il 2 all'esponente: nonostante in questo caso vada bene, proprio perchè qualunque sia l'esponente le due potenze sono dispari, in generale la radice non la puoi fare (perchè in effetti hai fatto una radice quadrata). Ti faccio un esempio
$ 1^2\equiv 2^2\pmod3 $
$ 1^1\not\equiv 2^1\pmod3 $
Sorvolando sul fatto che n non è necessariamente pari, e quindi non puoi fare la sostituzione, sbagli quando semplifichi il 2 all'esponente: nonostante in questo caso vada bene, proprio perchè qualunque sia l'esponente le due potenze sono dispari, in generale la radice non la puoi fare (perchè in effetti hai fatto una radice quadrata). Ti faccio un esempio
$ 1^2\equiv 2^2\pmod3 $
$ 1^1\not\equiv 2^1\pmod3 $
ah okjulio14 ha scritto:Sono tornato a rileggere il tuo primo post... intanto un consiglio per LaTeX: quando devi trattare un solo numero formato da più caratteri, racchiudi i caratteri fra le graffe, nello specifico avresti dovuto scrivere {2k} e non semplicemente 2k perchè fosse tutto all'esponente. Passiamo alla matematica.
Sorvolando sul fatto che n non è necessariamente pari, e quindi non puoi fare la sostituzione, sbagli quando semplifichi il 2 all'esponente: nonostante in questo caso vada bene, proprio perchè qualunque sia l'esponente le due potenze sono dispari, in generale la radice non la puoi fare (perchè in effetti hai fatto una radice quadrata). Ti faccio un esempio
$ 1^2\equiv 2^2\pmod3 $
$ 1^1\not\equiv 2^1\pmod3 $
ma quindi da una scrittura del genere
$ a^k \equiv b^k $ $ (modn) $
non ci si può rifare a
$ a \equiv b $ $ (modn) $ ?
ah ok inizio a capire di piùEUCLA ha scritto:No.. $ a^k\equiv b^k \pmod{n}\rightarrow (a-b)(a^{k-1}+a^{k-2}b+ $ $ \cdots ab^{k-2}+b^{k-1})\equiv 0 \pmod{n} $
A questo punto è vero che $ (a-b)\equiv 0 \pmod{n} $ solo se $ (a^{k-1}+a^{k-2}b+\cdots ab^{k-2}+b^{k-1}, n)=1 $, in pratica cioè quando puoi semplificare quel fattore .
però vale il contrario
cioè
se
$ a \equiv b $ $ (mod n) $
alllora
$ a^k \equiv b^k $$ (mod n) $
in questo caso è un invariante
giusto?
Visto che finora non c'è riuscito di scriverla ordinata, metto una soluzione.
Se $ 3^n+5^n+1 $ è un numero primo segue che $ n $ è divisibile per $ 12 $.
Sia $ A=3^n+5^n+1 $.
Se $ n=0 $ la tesi è ovvia. Dunque, supponiamo $ n\ge 1 $.
Dimostro che $ n $ è pari.
Se $ n\ge 1 \Rightarrow A>3 $. Dunque, essendo $ A $ un numero primo, $ A\not \equiv 0\pmod{3} \ (*) $.
$ A\equiv 5^{n}+1 \pmod{3} $
$ 5^{n}\equiv (-1)^{n}\equiv \pm 1 \pmod{3} $
Affinchè valga la $ (*) $ deve essere $ 5^{n}\equiv 1 \pmod{3} $ che si ottiene per $ n $ pari.
Dimostro che $ n $ è multiplo di 4.
Se $ n\ge 1\Rightarrow A>5 $. Dunque, essendo $ A $ un numero primo, $ A\not \equiv 0\pmod{5} \ (**) $.
Sapendo che $ n $ è pari, sostituisco $ n=2k $.
$ A\equiv 3^{2k}+1\equiv 9^{k}+1 \pmod{5} $
$ 9^{k}\equiv (-1)^{k}\equiv \pm 1\pmod{5} $
Affinchè valga la $ (**) $ deve essere $ 3^k\equiv 1\pmod{5} $ che si ottiene per $ k $ pari, cioè per $ n $ multiplo di $ 4 $.
Dimostro che $ n $ è multiplo di 3.
Nuovamente, con $ n\ge 1 $ si ha $ A>7 $ dunque deve risultare, essendo primo, $ A\not \equiv 0\pmod{7} \ (***) $
Con i residui modulo 7, il discorso si fa un attimo più complicato.
Analizzo prima $ 3^{n} $ e poi $ 5^{n} $ modulo 7. I rispettivi residui sono:
$ R_{3}\{3\ \ \ 2\ \ \ 6\ \ \ 4\ \ \ 5\ \ \ 1\} $
$ R_{5}\{5\ \ \ 4\ \ \ 6\ \ \ 2\ \ \ 3\ \ \ 1\} $
Ora, poichè i residui sono in entrambi i casi 6, e io voglio solo quelli per $ n $ multipli di 4, basterà considerare quelle coppie (le posso considerare coppie perchè i residui sono in numero uguale per $ 3^n $ e $ 5^n $...) di posizione pari..per interderci sarà:
$ 3^n+5^n\equiv (2+4), (4+2), (1+1) \pmod{7} $
I primi due casi sono da scartare perchè darebbero $ A\equiv 0\pmod{7} $
Rimane dunque $ 3^{n}\equiv 1\pmod{7} $ e $ 5^{n}\equiv 1\pmod{7} $. Entrambi si hanno per $ n $ multiplo di 6, quindi a maggior ragione, $ 3\vert n $.
A questo punto, concludiamo, sapendo che $ n $ è multiplo sia di 3, che di 4 e che $ (3,4)=1 $ (si, questo è ovvio, ma non è una banalità da saltare), dicendo che $ 12\vert n $.
Mi sembra di non esser stata troppo criptica, ma se c'è qualcosa che non torna, chiedete .
Se $ 3^n+5^n+1 $ è un numero primo segue che $ n $ è divisibile per $ 12 $.
Sia $ A=3^n+5^n+1 $.
Se $ n=0 $ la tesi è ovvia. Dunque, supponiamo $ n\ge 1 $.
Dimostro che $ n $ è pari.
Se $ n\ge 1 \Rightarrow A>3 $. Dunque, essendo $ A $ un numero primo, $ A\not \equiv 0\pmod{3} \ (*) $.
$ A\equiv 5^{n}+1 \pmod{3} $
$ 5^{n}\equiv (-1)^{n}\equiv \pm 1 \pmod{3} $
Affinchè valga la $ (*) $ deve essere $ 5^{n}\equiv 1 \pmod{3} $ che si ottiene per $ n $ pari.
Dimostro che $ n $ è multiplo di 4.
Se $ n\ge 1\Rightarrow A>5 $. Dunque, essendo $ A $ un numero primo, $ A\not \equiv 0\pmod{5} \ (**) $.
Sapendo che $ n $ è pari, sostituisco $ n=2k $.
$ A\equiv 3^{2k}+1\equiv 9^{k}+1 \pmod{5} $
$ 9^{k}\equiv (-1)^{k}\equiv \pm 1\pmod{5} $
Affinchè valga la $ (**) $ deve essere $ 3^k\equiv 1\pmod{5} $ che si ottiene per $ k $ pari, cioè per $ n $ multiplo di $ 4 $.
Dimostro che $ n $ è multiplo di 3.
Nuovamente, con $ n\ge 1 $ si ha $ A>7 $ dunque deve risultare, essendo primo, $ A\not \equiv 0\pmod{7} \ (***) $
Con i residui modulo 7, il discorso si fa un attimo più complicato.
Analizzo prima $ 3^{n} $ e poi $ 5^{n} $ modulo 7. I rispettivi residui sono:
$ R_{3}\{3\ \ \ 2\ \ \ 6\ \ \ 4\ \ \ 5\ \ \ 1\} $
$ R_{5}\{5\ \ \ 4\ \ \ 6\ \ \ 2\ \ \ 3\ \ \ 1\} $
Ora, poichè i residui sono in entrambi i casi 6, e io voglio solo quelli per $ n $ multipli di 4, basterà considerare quelle coppie (le posso considerare coppie perchè i residui sono in numero uguale per $ 3^n $ e $ 5^n $...) di posizione pari..per interderci sarà:
$ 3^n+5^n\equiv (2+4), (4+2), (1+1) \pmod{7} $
I primi due casi sono da scartare perchè darebbero $ A\equiv 0\pmod{7} $
Rimane dunque $ 3^{n}\equiv 1\pmod{7} $ e $ 5^{n}\equiv 1\pmod{7} $. Entrambi si hanno per $ n $ multiplo di 6, quindi a maggior ragione, $ 3\vert n $.
A questo punto, concludiamo, sapendo che $ n $ è multiplo sia di 3, che di 4 e che $ (3,4)=1 $ (si, questo è ovvio, ma non è una banalità da saltare), dicendo che $ 12\vert n $.
Mi sembra di non esser stata troppo criptica, ma se c'è qualcosa che non torna, chiedete .
no tutto chiaroEUCLA ha scritto:Visto che finora non c'è riuscito di scriverla ordinata, metto una soluzione.
Se $ 3^n+5^n+1 $ è un numero primo segue che $ n $ è divisibile per $ 12 $.
Sia $ A=3^n+5^n+1 $.
Se $ n=0 $ la tesi è ovvia. Dunque, supponiamo $ n\ge 1 $.
Dimostro che $ n $ è pari.
Se $ n\ge 1 \Rightarrow A>3 $. Dunque, essendo $ A $ un numero primo, $ A\not \equiv 0\pmod{3} \ (*) $.
$ A\equiv 5^{n}+1 \pmod{3} $
$ 5^{n}\equiv (-1)^{n}\equiv \pm 1 \pmod{3} $
Affinchè valga la $ (*) $ deve essere $ 5^{n}\equiv 1 \pmod{3} $ che si ottiene per $ n $ pari.
Dimostro che $ n $ è multiplo di 4.
Se $ n\ge 1\Rightarrow A>5 $. Dunque, essendo $ A $ un numero primo, $ A\not \equiv 0\pmod{5} \ (**) $.
Sapendo che $ n $ è pari, sostituisco $ n=2k $.
$ A\equiv 3^{2k}+1\equiv 9^{k}+1 \pmod{5} $
$ 9^{k}\equiv (-1)^{k}\equiv \pm 1\pmod{5} $
Affinchè valga la $ (**) $ deve essere $ 3^k\equiv 1\pmod{5} $ che si ottiene per $ k $ pari, cioè per $ n $ multiplo di $ 4 $.
Dimostro che $ n $ è multiplo di 3.
Nuovamente, con $ n\ge 1 $ si ha $ A>7 $ dunque deve risultare, essendo primo, $ A\not \equiv 0\pmod{7} \ (***) $
Con i residui modulo 7, il discorso si fa un attimo più complicato.
Analizzo prima $ 3^{n} $ e poi $ 5^{n} $ modulo 7. I rispettivi residui sono:
$ R_{3}\{3\ \ \ 2\ \ \ 6\ \ \ 4\ \ \ 5\ \ \ 1\} $
$ R_{5}\{5\ \ \ 4\ \ \ 6\ \ \ 2\ \ \ 3\ \ \ 1\} $
Ora, poichè i residui sono in entrambi i casi 6, e io voglio solo quelli per $ n $ multipli di 4, basterà considerare quelle coppie (le posso considerare coppie perchè i residui sono in numero uguale per $ 3^n $ e $ 5^n $...) di posizione pari..per interderci sarà:
$ 3^n+5^n\equiv (2+4), (4+2), (1+1) \pmod{7} $
I primi due casi sono da scartare perchè darebbero $ A\equiv 0\pmod{7} $
Rimane dunque $ 3^{n}\equiv 1\pmod{7} $ e $ 5^{n}\equiv 1\pmod{7} $. Entrambi si hanno per $ n $ multiplo di 6, quindi a maggior ragione, $ 3\vert n $.
A questo punto, concludiamo, sapendo che $ n $ è multiplo sia di 3, che di 4 e che $ (3,4)=1 $ (si, questo è ovvio, ma non è una banalità da saltare), dicendo che $ 12\vert n $.
Mi sembra di non esser stata troppo criptica, ma se c'è qualcosa che non torna, chiedete .
solo una cosa come mai dici all'inizio se n>=1 allora A è >3?
perchè proprio di tre?
A e' pari alla somma di 3 numeri interi positivi, ergo e' almeno 3
ovvero dato che il minimo valore di n e' 0, sostituendo ottieni A=3
ovvero dato che il minimo valore di n e' 0, sostituendo ottieni A=3
impara il [tex]~\LaTeX[/tex] e mettilo da par[tex]\TeX~[/tex]
Software is like sex: it's better when it's free (Linus T.)
membro: Club Nostalgici
Non essere egoista, dona anche tu! http://fpv.hacknight.org/a8.php
Software is like sex: it's better when it's free (Linus T.)
membro: Club Nostalgici
Non essere egoista, dona anche tu! http://fpv.hacknight.org/a8.php
per Fedecart,che sei alle prime armi con una dimostrazione, può esserti d'aiuto questo:
quando hai davanti una richiesta del tipo dimostrare che
$ 5^n+3^n+1 $ è un numero primo $ \longrightarrow $ $ n $ è multiplo di $ 12 $
è EQUIVALENTE dimostrare la seguente cosa:
$ n $ NON è multiplo di $ 12 $ $ \longrightarrow $ $ 5^n+3^n+1 $ NON è un numero primo
(negazione della tesi $ \longrightarrow $ negazione dell'ipotesi)
alla fine la dimostrazione è la stessa,ma può essere più facile capire COSA BISOGNA FARE.
ciaociao
quando hai davanti una richiesta del tipo dimostrare che
$ 5^n+3^n+1 $ è un numero primo $ \longrightarrow $ $ n $ è multiplo di $ 12 $
è EQUIVALENTE dimostrare la seguente cosa:
$ n $ NON è multiplo di $ 12 $ $ \longrightarrow $ $ 5^n+3^n+1 $ NON è un numero primo
(negazione della tesi $ \longrightarrow $ negazione dell'ipotesi)
alla fine la dimostrazione è la stessa,ma può essere più facile capire COSA BISOGNA FARE.
ciaociao