Ho provato a inventarmi un problema:
trovare tutte le coppie di interi $ (m,n) $ tali che $ m^2=n^3+2n-1 $
Diofantea semplice
sono alle prime armi con le congrunze ma ci provo
(raccolgo il suggerimento del mod 3 ;D)
$ m^2 \equiv n^3 + 2n - 1 (mod 3) $
per il piccolo teorema di fermat $ m^2 \equiv 1 (mod 3) $ per $ 3 \nmid m $ (boh è questo il simbolo di non divide?)
e $ n^3 \equiv n (mod 3) $ per $ 3 \nmid n $
quindi esce
$ 3n \equiv 2 (mod 3) $ che non può essere
è giusto?
(si vede che son nuovo del forum asd
)
(raccolgo il suggerimento del mod 3 ;D)
$ m^2 \equiv n^3 + 2n - 1 (mod 3) $
per il piccolo teorema di fermat $ m^2 \equiv 1 (mod 3) $ per $ 3 \nmid m $ (boh è questo il simbolo di non divide?)
e $ n^3 \equiv n (mod 3) $ per $ 3 \nmid n $
quindi esce
$ 3n \equiv 2 (mod 3) $ che non può essere
è giusto?
(si vede che son nuovo del forum asd


ok grazie.
Sritta così la soluzione è completa?
Considero che un qualsiasi
$ n^3 \equiv n(mod 3) $ poichè ogni classe di resto mod 3, elevata al cubo coincide con se stessa $ (0^3 \equiv 0, 1^3 \equiv 1, 2^3 \equiv 8 \equiv 2 (mod3)) $
mentre i quadrati mod 3 sono congrui a 1 o 0.
Nel caso in cui $ m^2 \equiv 1 (mod 3) $ vale ciò che ho scritto nel post di prima.
Nel caso in cui $ m^2 \equiv 0 (mod 3) $ allora ho
$ 3n \equiv 1 (mod 3) $ altrettanto impossibile.
Quindi non possono esistere m ed n interi che verificano la relazione
Sritta così la soluzione è completa?
Considero che un qualsiasi
$ n^3 \equiv n(mod 3) $ poichè ogni classe di resto mod 3, elevata al cubo coincide con se stessa $ (0^3 \equiv 0, 1^3 \equiv 1, 2^3 \equiv 8 \equiv 2 (mod3)) $
mentre i quadrati mod 3 sono congrui a 1 o 0.
Nel caso in cui $ m^2 \equiv 1 (mod 3) $ vale ciò che ho scritto nel post di prima.
Nel caso in cui $ m^2 \equiv 0 (mod 3) $ allora ho
$ 3n \equiv 1 (mod 3) $ altrettanto impossibile.
Quindi non possono esistere m ed n interi che verificano la relazione