$3x^2 - 2y^2 = 1998$

Edex1
Il problema chiede di dimostrare che l'equazione:
$3x^2 -2y^2 = 1998$ non ha soluzioni intere.
Io l'ho impostato così:
effettuando la sostituzione $a = x^2, b = y^2$ ottengo
$3a -2b = 1998$
Cioè un'equazione diofantea.
Essendo $M.C.D.(2,3) = 1 rarr 3-2 = 1 rarr a = 1, b = 1$
e quindi
$3(1) - 2(1) = 1 rarr 3(1998) - 2(1998) = 1998$
ma deve essere
$1998 = x^2 = y^2$
Poichè tutte le soluzioni di un'equazione diofantea si ricavano da quelle basilari ottenute attraverso il procedimento sopra descritto e poichè 1998 non è un quadrato perfetto, allora non esistono soluzioni intere all'equazione di partenza.
Giusto? :)

Risposte
Gi81
La soluzione di $3a-2b=1998$ è $a=1998+2n$, $b=1998+3n$, per ogni $n in ZZ$.
Infatti $3*[1998+2n]-2*[1998+3n]=1998$ è sempre verificata.

Ora bisognerebbe dimostrare che non esiste alcun $n in ZZ$
tale che $1998+2n$ e $1998+3n$ sono entrambi quadrati perfetti.

Nota che abbiamo a che fare con $2(n+999)$ e $3(n+666)$

Edex1
Io ho ragionato così:
se $2(n+999)$ è un quadrato perfetto allora $n+999$ deve essere multiplo di due, cioè $n$ deve essere dispari.
Un quadrato di un numero pari può finire per $4,6,0$
Poichè deve valere: $2(n+999) = y^2 rarr n+999 = y^2/2$ allora $y^2/2$ avrà come cifra finale una tra $2,3,5,0$
Poichè però $n$ deve essere dispari allora le uniche possibilità valide sono i numeri che finiscono per $1,3$.
I numeri che finiscono per $3$ possono essere scritti come $10m + 3$ con $m in NN$.
Sostituendo nell'equazione $3(n+666) = k^2 rarr 3(10m + 669) = k^2$
Si ha però che $10m + 667$ deve essere multiplo di tre e quindi $m=3s$, sostituendo $3(30s + 669) = 9(10s + 223) = k^2$
Essendo però 9 un quadrato allora lo deve essere anche $10s+223$, ma non esistono quadrati che finiscano per tre, quindi l'ipotesi iniziale non può valere.
Nel caso in cui i numeri siano del tipo $10m + 1$ con $m in NN$ applico sempre lo stesso procedimento:
$3(10m + 667) = k^2$
essendo $667 \equiv 1 mod 3$ dovrà essere $10m \equiv 2 mod 3$ e quindi $m\equiv 2 mod 3$
Quindi $m = 3s + 2$ e perciò $3(10m + 667) = 3(30s + 687) = 9(10s + 229) = k^2$
arrivando a questo punto e bloccandomi perchè non arriva l'assurdo che speravo di trovare (come invece prima è successo :/)
Qualche hint anche per un procedimento completamente diverso?:)

Gi81
Guarda, non so se si riesca ad arrivare ad un assurdo. Forse è meglio provare qualche altra strada

jitter1
EDIT: questo svolgimento qui sotto è errato.

Propongo questo svolgimento:
$(x^2, y^2) = (1998 + t, 1998 - t) $
da cui, eliminando il parametro t:
$ x^2 - 1998 = 1998 - y^2 $
$ x^2 + y^2 = 2 * 1998 $ = $ 2 (3 x^2 - 2 y^2)$
$ 5(X^2 - y^2) =0$
$x^2 = y^2 $
$ 2 x^2 = 1998 $
Ma 999 non è un quadrato perfetto...

Edex1
"jitter":
Propongo questo svolgimento:
$(x^2, y^2) = (1998 + t, 1998 - t) $


Scusa perchè hai messo 1998-t? Non si somma da entrambi i membri? O puoi scegliere arbitrariamente?

$ 2 x^2 = 1998 $
Ma 999 non è un quadrato perfetto...


Qui invece non dovrebbe essere: $2x^2 = 2*1998$ o mi sono perso qualcosa io? Grazie per i chiarimenti :)

jitter1
"Edex":
Scusa perchè hai messo 1998-t?

Dalla soluzione generale delle equazioni diofantee del tipo $ax + by = n $. Se $ (x_0, y_0)$ è una soluzione particolare (come nel nostro caso è (1998, 1998), la soluzione generale è $ (x_0 + t b/(MCD(a,b)), y_0 + t a /(MCD(a,b)))$ ......... Nooooo, ho sbagliato i coefficienti a e b! Provo a rifarlo usando lo stesso metodo per vedere se concettualmente, almeno, è corretto.
A tra poco :wink:

jitter1
Dopo aver ricorretto il calcolo 300 volte, mi accorgo che il procedimento mi riporta all'equazione iniziale: peccato :cry:
Però sarebbe carino trovare un procedimento che non prenda in considerazione le cifre finali.... ripensiamoci!

[eliminato messaggio seguente perché errato]

Edex1
@jitter io ho provato usando il tuo metodo e mi sembra mi sia venuta... Dimmi se ho sbagliato dove ho sbagliato! ;)
$(x^2,y^2) = (1998-2t, 1198+3t)$
da cui eliminando la t
$(1998-x^2)/2 = (y^2-1998)/3 rarr 3 \cdot 1998 -3x^2 = 2y^2 - 2 \cdot 1998 rarr 3x^2 + 2y^2 = 5 \cdot 1998$
Ora posso impostare il sistema:
${(3x^2-2y^2 = 1998),(3x^2 + 2y^2 = 5 \cdot 1998):}$
da cui,eliminando la x
$1998 + 2y^2 = 5 \cdot 1998 - 2y^2 rarr 4y^2 = 4 \cdot 1998 rarr y^2 = 1998$
ma non 1998 non è un quadrato perfetto.
Giusto? :)

jitter1
Scusa per i pasticci, Edex, ma ho trascritto un segno sbagliato nella formula: l'ho corretto adesso.$(x_0 + t b/(MCD(a,b)), y_0 - t a /(MCD(a,b)))$
Mi stavo chiedendo se, avendo le idee chiare sulle equazioni diofantee, dovrei aspettarmi che si ritorna all'equazione iniziale.
Ieri ho provato ancora a fare l'esercizio con un metodo diverso, ma non ci son riuscita. Se hai idee fai sapere!

Gi81
Supponiamo per assurdo che $EE x,y in ZZ$ tali che $3x^2-2y^2=1998$.
Allora $x$ e $y$ sono entrambi multipli di $3$ (esercizio)
Quindi ${(x=3 barx),(y=3bary):}$, per cui (sostituendo e dividendo per $9$) si ha $3barx^2-2bary^2=222$.
Deve essere ${(barx=2a),(bary=3b):}$, quindi si ha (dividendo per $6$) $2a^2-3b^2=37$.
Ma $2a^2-3b^2=37$ non ha soluzioni intere (vedi sotto), da cui l'assurdo.
$2x-3y=37<=> {(x= 3n-37=3(n-13)+2),(y=2n-37):}$ e non si può avere $a^2-=2 (mod 3)$

Edex1
"Gi8":

Deve essere $ {(barx=2a),(bary=3b):} $


Scusa la domanda magari banale, ma da cosa lo deduci questo?

Gi81
Si ha $3barx^2=2bary^2+222$. Il secondo membro è pari, quindi anche $3barx^2$ lo deve essere, quindi $barx$ deve essere pari.

Ragionando in modo analogo ottieni che deve valere $bary$ multiplo di $3$

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