polinomio intero

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Rispondi
Avatar utente
exodd
Messaggi: 728
Iscritto il: 09 mar 2007, 19:46
Località: sulle pendici della provincia più alta d'europa

polinomio intero

Messaggio da exodd »

si ha un polinomio $ p(x) $ di grado $ p-1 $ con $ p $ primo maggiore di 3
sapendo che le radici sono $ 1,2,3,...,p-1 $ dimostrare che il coefficiente del termine $ x $ cambiato di segno è divisibile per $ p^2 $
Tutto è possibile: L'impossibile richiede solo più tempo
julio14 ha scritto: jordan è in realtà l'origine e il fine di tutti i mali in $ \mathbb{N} $
EvaristeG ha scritto:Quindi la logica non ci capisce un'allegra e convergente mazza.
ispiratore del BTA

in geometry, angles are angels

"la traslazione non è altro che un'omotetia di centro infinito e k... molto strano"
Avatar utente
Davide90
Messaggi: 200
Iscritto il: 12 mag 2008, 20:05
Località: Padova / Modena
Contatta:

Messaggio da Davide90 »

Sono riuscito a dimostrare solo che è divisibile per p... :roll:

Poichè p è maggiore 3, p è dispari dunque il coefficiente della x ha segno negativo. Cambiamogli segno e indichiamolo k:
$ $ k= - \left( -\frac {(p-1)!}{1} -\frac {(p-1)!}{2} -\frac {(p-1)!}{3} - ... -\frac {(p-1)!}{p-1} \right) = (p-1)! \sum_{n=1}^ {p-1} {\frac {1}{n} $
Ora, poichè $ $ \frac {1}{n} \equiv n^{p-2} \pmod p $ (moltiplicando per n membro a membro si ottiene il piccolo teorema di Fermat), ottengo $ $ k= (p-1)! \sum_{n=1}^{p-1} {n^{p-2}} $.
Ora, $ $ \sum_{n=1}^{p-1} {n^{p-2}} \equiv 0 \pmod p $ , in quanto è la somma di un sistema completo di residui elevato ad esponente p-2. Dunque k è divisibile per p.

Spero di non avere scritto cavolate... :oops:
Jacobi
Messaggi: 227
Iscritto il: 08 mar 2007, 16:29

Messaggio da Jacobi »

la dimostrazione la potresti gia concludere dicendo che:$ \displaystyle p^2 | \sum_{k=1}^{p-1}{\frac{1}{k}} $ per il teorema di wolstenholme ( cmq ti consiglio di cercare di dimostrare il teorema xke la sua dimostrazione puo essere istruttiva)


x exodd: nn capisco xke hai richiesto quel segno cambiato nella traccia del problema (la divisibilita e invariante per cambiamenti di segno)
MIND TORNA CON NOI
Avatar utente
SkZ
Messaggi: 3333
Iscritto il: 03 ago 2006, 21:02
Località: Concepcion, Chile
Contatta:

Messaggio da SkZ »

mi sa che ti sei dimenticato il $ ~(p-1)! $ ;)
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
Avatar utente
exodd
Messaggi: 728
Iscritto il: 09 mar 2007, 19:46
Località: sulle pendici della provincia più alta d'europa

Messaggio da exodd »

Jacobi ha scritto: x exodd: nn capisco xke hai richiesto quel segno cambiato nella traccia del problema (la divisibilita e invariante per cambiamenti di segno)
diciamo che ho formulato un problema equivalente ad uno che ho trovato su un libro olimpionico, e, per coerenza ho riportato anche il segno....
Tutto è possibile: L'impossibile richiede solo più tempo
julio14 ha scritto: jordan è in realtà l'origine e il fine di tutti i mali in $ \mathbb{N} $
EvaristeG ha scritto:Quindi la logica non ci capisce un'allegra e convergente mazza.
ispiratore del BTA

in geometry, angles are angels

"la traslazione non è altro che un'omotetia di centro infinito e k... molto strano"
Jacobi
Messaggi: 227
Iscritto il: 08 mar 2007, 16:29

Messaggio da Jacobi »

SkZ ha scritto:mi sa che ti sei dimenticato il $ ~(p-1)! $ ;)
si, infatti si deve anche dire che che il denominatore di quella somma si semplifica con $ (p-1)! $ mentre il numeratore x wolstenholme e divisibile per p^2 quindi l'intero prodotto e divisibile x p^2 (ah la fretta... :( )
MIND TORNA CON NOI
Alex89
Messaggi: 366
Iscritto il: 29 gen 2006, 16:57

Messaggio da Alex89 »

Comunque provate a risolverlo... garantisco ( a meno di abbagli, cosa abbastanza frequente) l'esistenza di una soluzione che non richieda nè wolstenholme nè generatori...
Avatar utente
Davide90
Messaggi: 200
Iscritto il: 12 mag 2008, 20:05
Località: Padova / Modena
Contatta:

Messaggio da Davide90 »

@Alex89:
Potresti postare la soluzione?
Rispondi