Risoluzioni equazioni diofantee

annabie2
Ciao ragazzi, è la prima volta che scrivo su questo forum quindi non sono molto pratica.
Il mio problema è questo: la risoluzione delle equazioni diofantee tramite l'uso delle congruenze (mod n).

Considero l'equazione diofantea $ 6*x^3 + x^2 - 9*x +1=0 $
devo verificare che non ammette soluzioni.
Ho pensato di passare ai resti mod 3 così si annullano i termini di terzo e primo grado e ottengo la congruenza
$ x^2+1=0 $ (mod 3)

ora come posso affermare che nn ha soluzioni intere? Ho pensato che i possibili resti nella divisione per tre sono 0 1 2 ma che 2 al quadrato modulo tre diventa la classe 1 modulo tre. Per questo motivo non potrò mai ottenere 0.
E' giusto il ragionamento? Esiste un modo più pratico? Lo chiedo perhè in esempi più complicati non so proprio come muovermi.
Per esempio: $ x^2+ y^2+ z^2=1255 $
passo ai resti mod 8 e ottengo $ x^2+ y^2+ z^2=7 $ mod 8. Ora cosa devo fare? devo pensar a tutti i possibili resti nella divisione per otto e provare a sostituirli?

Grazie per l'aiuto..

Risposte
Steven11
Benvenuta nel forum!
Dunque, vediamo.
"annabie2":
Ho pensato che i possibili resti nella divisione per tre sono 0 1 2 ma che 2 al quadrato modulo tre diventa la classe 1 modulo tre. Per questo motivo non potrò mai ottenere 0.
E' giusto il ragionamento? Esiste un modo più pratico?

Il ragionamento è giusto e semplice, e penso non ci sia modo migliore.
"annabie2":

$ x^2+ y^2+ z^2=7 $ mod 8. Ora cosa devo fare? devo pensar a tutti i possibili resti nella divisione per otto e provare a sostituirli?

Esatto.
E' facile verificare che i quadrati modulo $8$ solo $0,1,4$ (la riduzione modulo $8$ è spesso utile, quindi ad esempio io li ricordo a memoria perché li ho usati più di una volta, ma in ogni caso si verifica in due secondi).
A questo punto è semplice vedere che comunque provi ad inserire questi tre valori in ogni modo possibile, non ottieni mai $7$ come somma.

Ti torna?
Ciao :wink:

annabie2
Si Si. Va benissimo. Grazie mille :D

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.