Engel NT 47-b
Engel NT 47-b
Trovare tutte le soluzioni intere di $$x^2-y^2=2xyz$$
Re: Engel NT 47-b
Provo ma non so se sia corretto...
Testo nascosto:
Ultima modifica di Salvador il 13/04/2017, 10:22, modificato 2 volte in totale.
- Giovanni98
- Messaggi: 1255
- Iscritto il: 27/11/2014, 14:30
Re: Engel NT 47-b
$x = 3$ e $y=9$ mi pare che soddisfino le condizioni di divisibilità eppure in modulo non sono uguali.
Re: Engel NT 47-b
Sbagliato, dovevo finire di scriverla
Re: Engel NT 47-b
Io ho fatto così.
Voglio scriverla così: [tex]x^2-2xyz-y^2=0[/tex]. Considero come un'equazione di secondo grado in [tex]x[/tex] e faccio il delta che vale [tex]4y^2z^2+4y^2=4y^2(z^2+1)[/tex], ora se [tex]x[/tex] è intero, il delta deve essere un quadrato perfetto, tenuto conto del fatto che [tex]y,z[/tex] mi interessano interi. Quindi [tex](2y)^2 (z^2+1)[/tex] è un quadrato sse lo è [tex]z^2+1[/tex] e da qui si conclude (sono da cellulare e non mi va molto ), poi si fa il caso ponendo [tex]y[/tex] come incognita
Voglio scriverla così: [tex]x^2-2xyz-y^2=0[/tex]. Considero come un'equazione di secondo grado in [tex]x[/tex] e faccio il delta che vale [tex]4y^2z^2+4y^2=4y^2(z^2+1)[/tex], ora se [tex]x[/tex] è intero, il delta deve essere un quadrato perfetto, tenuto conto del fatto che [tex]y,z[/tex] mi interessano interi. Quindi [tex](2y)^2 (z^2+1)[/tex] è un quadrato sse lo è [tex]z^2+1[/tex] e da qui si conclude (sono da cellulare e non mi va molto ), poi si fa il caso ponendo [tex]y[/tex] come incognita
Re: Engel NT 47-b
O se [tex]y=0[/tex]ElPaso98 ha scritto:Quindi [tex](2y)^2 (z^2+1)[/tex] è un quadrato sse lo è [tex]z^2+1[/tex]
Dopodiché la mia (spero) soluzione:
Supponiamo [tex]x,y,z\neq 0[/tex] e scriviamo come [tex](x+y)(x-y)=2xyz[/tex]
E osserviamo che l'RHS è un multiplo di [tex]x[/tex], quindi lo deve essere anche l'LHS. Se [tex]y[/tex] fosse coprimo con [tex]x[/tex] lo sarebbero anche [tex]x+y[/tex] e [tex]x-y[/tex], e il loro prodotto non potrebbe essere un multiplo di [tex]x[/tex]. Quindi [tex]MCD (x,y)=k>1[/tex]
Scriviamo allora [tex]x=kx_0[/tex] e [tex]y=ky_0[/tex], dove [tex]x_0[/tex] e [tex]y_0[/tex] sono coprimi e sostituiamo nell'equazione iniziale.
Otteniamo [tex]k^2x_0^2-k^2y_0^2=2k^2x_0y_0z[/tex], che dividendo per [tex]k^2[/tex] diventa [tex]x_0^2-y_0^2=2x_0y_0z[/tex], uguale all'equazione iniziale, dove [tex]x_0>0[/tex] e [tex]y_0>0[/tex], e sono coprimi, quindi per il ragionamento di prima non abbiamo soluzioni.
Se [tex]x=0[/tex] abbiamo che [tex]-y^2=0[/tex], che dà la soluzione [tex](0,0,a)[/tex]
Per [tex]y=0[/tex] stesso discorso
Se [tex]z=0[/tex] [tex]x^2=y^2[/tex], che dà la soluzione [tex](a,\pm a,0)[/tex]
Re: Engel NT 47-b
Ho modificatoGiovanni98 ha scritto:$x = 3$ e $y=9$ mi pare che soddisfino le condizioni di divisibilità eppure in modulo non sono uguali.