Dimostrare che, per ogni primo p maggiore o uguale a 5 si ha:
$ \displaystyle\sum_{i=1}^{p-1} \frac{1}{i}\equiv 0 \pmod{p^2} $
buon lavoro...
Dal naoki sato: somma di reciproci modulo p^2
Dal naoki sato: somma di reciproci modulo p^2
"Sei la Barbara della situazione!" (Tap)
Diciamo che con $ ~ \frac 1i $ indica $ ~ i^{-1} $, ovvero quell'unico numero (se gcd(n,i) = 1) tale che $ ~ i \cdot i^{-1} \equiv 1 \pmod n $.
Il problema possiamo scriverlo in maniera più elementare in questo modo:
sia p un primo maggiore di 3. Allora, se $ \displaystyle \frac 11 + \frac 12 + \frac 13 + \ldots + \frac 1 {p-1} = \frac mn $, m è un multiplo di $ ~ p^2 $.
Il problema possiamo scriverlo in maniera più elementare in questo modo:
sia p un primo maggiore di 3. Allora, se $ \displaystyle \frac 11 + \frac 12 + \frac 13 + \ldots + \frac 1 {p-1} = \frac mn $, m è un multiplo di $ ~ p^2 $.
potrebbe essere utile andare a spulciare qui dentro(ma bisogna cercare bene....)
viewtopic.php?t=5470&highlight=
ciao ciao
viewtopic.php?t=5470&highlight=
ciao ciao
-
darkcrystal
- Messaggi: 706
- Iscritto il: 14 set 2005, 11:39
- Località: Chiavari
Per il teorema di Eulero-Fermat, $ i^{p^2-p} \equiv 1 \pmod {p^2} $
Perciò $ i^{-1} \equiv i^{-1}*i^{p^2-p} \equiv i^{p^2-p-1} $.
Perciò $ \displaystyle \sum_{i=1}^{p-1}\frac{1}{i} \equiv \sum_{i=1}^{p-1}i^{p^2-p-1} \pmod {p^2} $.
Sia $ d=p^2-p-1 $ (che è ovviamente dispari)
E' dunque $ \displaystyle \sum_{i=1}^{(p-1)/2} (i^d + (p-i)^d) \equiv $$ \displaystyle \sum_{i=1}^{(p-1)/2} i^d + (...) - i^d +pd(-i)^{d-1} $$ \displaystyle \equiv \sum_{i=1}^{(p-1)/2} -p(-i)^{d-1} \pmod {p^2} $
Resta dunque da dimostrare che $ \displaystyle \sum_{i=1}^{(p-1)/2} i^{d-1} \equiv 0 \pmod p $
Sostituendo poi col teorema di Eulero-Fermat di nuovo, viene il lemma che aveva dimostrato Frengo nell'altro post.
Ciao!
Perciò $ i^{-1} \equiv i^{-1}*i^{p^2-p} \equiv i^{p^2-p-1} $.
Perciò $ \displaystyle \sum_{i=1}^{p-1}\frac{1}{i} \equiv \sum_{i=1}^{p-1}i^{p^2-p-1} \pmod {p^2} $.
Sia $ d=p^2-p-1 $ (che è ovviamente dispari)
E' dunque $ \displaystyle \sum_{i=1}^{(p-1)/2} (i^d + (p-i)^d) \equiv $$ \displaystyle \sum_{i=1}^{(p-1)/2} i^d + (...) - i^d +pd(-i)^{d-1} $$ \displaystyle \equiv \sum_{i=1}^{(p-1)/2} -p(-i)^{d-1} \pmod {p^2} $
Resta dunque da dimostrare che $ \displaystyle \sum_{i=1}^{(p-1)/2} i^{d-1} \equiv 0 \pmod p $
Sostituendo poi col teorema di Eulero-Fermat di nuovo, viene il lemma che aveva dimostrato Frengo nell'altro post.
Ciao!
"Solo due cose sono infinite: l'universo e la stupidità dell'uomo, e non sono tanto sicuro della prima" - Einstein
Membro dell'EATO
Membro dell'EATO
Allora, premetto che non ho guardato il link di Francesco 
$ $\sum_{i=1}^{p-1} \frac{1}{i}=\sum_{i=1}^{\frac{p-1}{2}}\left(\frac{1}{i}+\frac{1}{p-i}\right) $$ $ =\sum_{i=1}^{\frac{p-1}{2}}\left(\frac{p}{i(p-i)}\right) $
Quindi la nostra tesi coimpica
$ $\sum_{i=1}^{\frac{p-1}{2}}\frac{1}{i(p-i)}\equiv 0 \pmod p $
che coimplica
$ $\sum_{i=1}^{\frac{p-1}{2}}\frac{1}{i^2}\equiv 0 \pmod p $
ma poichè $ $ \frac{1}{i^2}\equiv \frac{1}{(p-i)^2} $ ci basta dimostrare che
$ $\sum_{i=1}^{p-1}\frac{1}{i^2}\equiv 0 \pmod p $
L'inverso modulo p esiste sempre ed è sempre unico, ora chiamiamo $ g $ un generatore modulo p (sappiamo che esiste) avremo che la tesi diventa
$ $ \sum_{i=0}^{p-2} g^{2i}\equiv 0 \pmod p $
ma
$ $ \sum_{i=0}^{p-2} g^{2i}=\frac{(g^2)^{p-1}-1}{g^2-1} $ che sfruttando il teorema di Eulero Fermat risulterà proprio zero modulo p (si vede anche l'utilità della limitazione, visto che altrimenti il denominatore sarebbe zero).
Spero sia chiaro, nel caso chiedete...
$ $\sum_{i=1}^{p-1} \frac{1}{i}=\sum_{i=1}^{\frac{p-1}{2}}\left(\frac{1}{i}+\frac{1}{p-i}\right) $$ $ =\sum_{i=1}^{\frac{p-1}{2}}\left(\frac{p}{i(p-i)}\right) $
Quindi la nostra tesi coimpica
$ $\sum_{i=1}^{\frac{p-1}{2}}\frac{1}{i(p-i)}\equiv 0 \pmod p $
che coimplica
$ $\sum_{i=1}^{\frac{p-1}{2}}\frac{1}{i^2}\equiv 0 \pmod p $
ma poichè $ $ \frac{1}{i^2}\equiv \frac{1}{(p-i)^2} $ ci basta dimostrare che
$ $\sum_{i=1}^{p-1}\frac{1}{i^2}\equiv 0 \pmod p $
L'inverso modulo p esiste sempre ed è sempre unico, ora chiamiamo $ g $ un generatore modulo p (sappiamo che esiste) avremo che la tesi diventa
$ $ \sum_{i=0}^{p-2} g^{2i}\equiv 0 \pmod p $
ma
$ $ \sum_{i=0}^{p-2} g^{2i}=\frac{(g^2)^{p-1}-1}{g^2-1} $ che sfruttando il teorema di Eulero Fermat risulterà proprio zero modulo p (si vede anche l'utilità della limitazione, visto che altrimenti il denominatore sarebbe zero).
Spero sia chiaro, nel caso chiedete...
"Ma devo prendere una n-upla qualsiasi o una n-upla arbitraria?" (Lui)