Potenze (2p-1)-esime
Potenze (2p-1)-esime
Sia $ $ p>2 $ un numero primo.
Dimostrare che $ $ \sum_{i=1}^{p-1} i^{2p-1}\equiv \frac{p(p+1)}{2} \pmod{p^2} $.
Buon lavoro
Dimostrare che $ $ \sum_{i=1}^{p-1} i^{2p-1}\equiv \frac{p(p+1)}{2} \pmod{p^2} $.
Buon lavoro
Per il piccolo teorema di Fermat $ i^{p-1}\equiv 1\pmod p $ per ogni $ i $ dato che sono tutti $ <p $. Se eleviamo al quadrato, allora anche $ i^{2{(p-1)}}=i^{2p-2}\equiv 1\pmod p $. Perciò $ i^{2p-1}\equiv i\pmod p $. La sommatoria quindi sarà pari a $ $ \frac {p(p-1)}{2} $, ma essendo $ <p^2 $ si ha che $ $ \sum_{i=1}^{p-1} i^{2p-1}\equiv \frac {p(p-1)}{2}\pmod p^2 $.
La tesi però richiede che quella sommatoria sia $ $ \equiv \frac {p(p+1)}{2}\pmod p^2 $, sei sicura che è giusta?
La tesi però richiede che quella sommatoria sia $ $ \equiv \frac {p(p+1)}{2}\pmod p^2 $, sei sicura che è giusta?
"fatti non foste a viver come bruti,
ma per seguir virtute e canoscenza"(Dante)
ma per seguir virtute e canoscenza"(Dante)
in effetti mi pare che string si sia confuso: invece di congruo modulo il quadrato, ha fatto congruo il quadrato del modulo, che non so se ha senso.
String ha scritto:$ $ \sum_{i=1}^{p-1} i^{2p-1}\equiv \frac {p(p-1)}{2}\pmod p^2 $
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
Ho sbagliato a scrivere in $ \LaTeX $, comunque credevo si capisse che intendevo $ \pmod {p^2} $ e non $ \pmod p^2 $.
Ripeto ciò che ho fatto sperando di essere più chiaro e di non essere frainteso.
Per il piccolo teorema di Fermat $ i^{p-1}\equiv 1\pmod p $
Quindi $ i^{2p-1}\equiv i \pmod p $.
La sommatoria dei moduli allora sarà $ $ \frac {p(p-1)}{2} $.
E' evidente quindi che $ $ \sum_{i=1}^{p-1} i^{2p-1}\equiv 0 \pmod p $ e anche che $ $ \sum_{i=1}^{p-1} i^{2p-1}\equiv \frac {p(p-1)}{2}\pmod {p^2} $ dato che $ $ \frac {p(p-1)}{2}< p^2 $
Ora, se è sbagliato, correggetemi, così almeno imparo qualcosa
Ripeto ciò che ho fatto sperando di essere più chiaro e di non essere frainteso.
Per il piccolo teorema di Fermat $ i^{p-1}\equiv 1\pmod p $
Quindi $ i^{2p-1}\equiv i \pmod p $.
La sommatoria dei moduli allora sarà $ $ \frac {p(p-1)}{2} $.
E' evidente quindi che $ $ \sum_{i=1}^{p-1} i^{2p-1}\equiv 0 \pmod p $ e anche che $ $ \sum_{i=1}^{p-1} i^{2p-1}\equiv \frac {p(p-1)}{2}\pmod {p^2} $ dato che $ $ \frac {p(p-1)}{2}< p^2 $
Ora, se è sbagliato, correggetemi, così almeno imparo qualcosa
"fatti non foste a viver come bruti,
ma per seguir virtute e canoscenza"(Dante)
ma per seguir virtute e canoscenza"(Dante)
Se si hanno dubbi sul testo io proverei un caso numerico... per $ p=3 $ abbiamo $ \displaystyle 1^5+3^5=33 \equiv 6 \equiv \frac{p(p+1)}{2} \pmod 9 $. Sembrerebbe andare bene...
L'errore sta nel fatto che tu ottieni il tuo $ \frac{p(p-1)}{2} $ sommando termini $ \pmod p $ poi lo porti $ \pmod {p^2} $. Questo non si può fare, poichè $ a \equiv b \pmod p \Rightarrow a \equiv b \pmod {p^2} $ è falsa (anche se è vera l'altra freccia)
L'errore sta nel fatto che tu ottieni il tuo $ \frac{p(p-1)}{2} $ sommando termini $ \pmod p $ poi lo porti $ \pmod {p^2} $. Questo non si può fare, poichè $ a \equiv b \pmod p \Rightarrow a \equiv b \pmod {p^2} $ è falsa (anche se è vera l'altra freccia)
Hypotheses non fingo
Calcolo questa cosa:
$ \displaystyle 2 \cdot \sum_{i=1}^{p-1} i^{2p-1} = \sum_{i=1}^{p-1} [(i)^{2p-1} + (p-i)^{2p-1}] $
Scompongo il prodotto notevole e ottengo
$ \displaystyle \sum_{i=1}^{p-1} [(i)^{2p-1} + (p-i)^{2p-1}=\sum_{i=1}^{p-1} p(\sum_{z=0}^{2p-2} (-1)^z \cdot i^z \cdot (p-i)^{2p-2-z}) $
Ora il fattore p si può portare fuori dalla sommatoria, quindi per sapere quanto vale modulo $ p^2 $ quella roba ci basta vedere quanto vale modulo p la sommatoria interna:
$ \displaystyle \sum_{z=0}^{2p-2} (-1)^z \cdot i^z \cdot (p-i)^{2p-2-z} \equiv \sum_{z=0}^{2p-2} (-i)^z \cdot (-i)^{2p-2-z} \equiv i^{2p-2} \cdot 2p-1 \equiv -1 \pmod p $
da cui
$ \displaystyle 2\sum_{i=1}^{p-1} i^{2p-1} \equiv (p-1)(p)(-1) \equiv p(p+1) \pmod {p^2} $
da cui poichè $ p>2 $ , ho la tesi.
$ \displaystyle 2 \cdot \sum_{i=1}^{p-1} i^{2p-1} = \sum_{i=1}^{p-1} [(i)^{2p-1} + (p-i)^{2p-1}] $
Scompongo il prodotto notevole e ottengo
$ \displaystyle \sum_{i=1}^{p-1} [(i)^{2p-1} + (p-i)^{2p-1}=\sum_{i=1}^{p-1} p(\sum_{z=0}^{2p-2} (-1)^z \cdot i^z \cdot (p-i)^{2p-2-z}) $
Ora il fattore p si può portare fuori dalla sommatoria, quindi per sapere quanto vale modulo $ p^2 $ quella roba ci basta vedere quanto vale modulo p la sommatoria interna:
$ \displaystyle \sum_{z=0}^{2p-2} (-1)^z \cdot i^z \cdot (p-i)^{2p-2-z} \equiv \sum_{z=0}^{2p-2} (-i)^z \cdot (-i)^{2p-2-z} \equiv i^{2p-2} \cdot 2p-1 \equiv -1 \pmod p $
da cui
$ \displaystyle 2\sum_{i=1}^{p-1} i^{2p-1} \equiv (p-1)(p)(-1) \equiv p(p+1) \pmod {p^2} $
da cui poichè $ p>2 $ , ho la tesi.
Capito, mi era sfuggita questa cosa...eli9o ha scritto:Se si hanno dubbi sul testo io proverei un caso numerico... per $ p=3 $ abbiamo $ \displaystyle 1^5+3^5=33 \equiv 6 \equiv \frac{p(p+1)}{2} \pmod 9 $. Sembrerebbe andare bene...
L'errore sta nel fatto che tu ottieni il tuo $ \frac{p(p-1)}{2} $ sommando termini $ \pmod p $ poi lo porti $ \pmod {p^2} $. Questo non si può fare, poichè $ a \equiv b \pmod p \Rightarrow a \equiv b \pmod {p^2} $ è falsa (anche se è vera l'altra freccia)
"fatti non foste a viver come bruti,
ma per seguir virtute e canoscenza"(Dante)
ma per seguir virtute e canoscenza"(Dante)
Io intendevo dire che:
$ \displaystyle \sum_{i=1}^{p-1} p(\sum_{z=0}^{2p-2} (-1)^z \cdot i^z \cdot (p-i)^{2p-2-z})= p \sum_{i=1}^{p-1} (\sum_{z=0}^{2p-2} (-1)^z \cdot i^z \cdot (p-i)^{2p-2-z}) $
Poi mi ricavo quanto vale modulo p la sommatoria interna e sostituisco....
questo posso farlo... infatti sia r quanto vale quella sommatoria modulo p; ho che
$ p(kp+r) \equiv kp^2+ pr \equiv pr \pmod{p^2} $
$ \displaystyle \sum_{i=1}^{p-1} p(\sum_{z=0}^{2p-2} (-1)^z \cdot i^z \cdot (p-i)^{2p-2-z})= p \sum_{i=1}^{p-1} (\sum_{z=0}^{2p-2} (-1)^z \cdot i^z \cdot (p-i)^{2p-2-z}) $
Poi mi ricavo quanto vale modulo p la sommatoria interna e sostituisco....
questo posso farlo... infatti sia r quanto vale quella sommatoria modulo p; ho che
$ p(kp+r) \equiv kp^2+ pr \equiv pr \pmod{p^2} $