Equazione

[axpgn]

Trovare tutte le soluzioni intere della seguente equazione:

$y^2=1+x+x^2+x^3+x^4$



Cordialmente, Alex

[hydro]

Ma esiste una soluzione alla portata di uno studente delle superiori?

[axpgn]

In realtà sì, nel senso che non occorrono conoscenze extra.
Il fatto è che però occorre un sacco di immaginazione (ma proprio tanta a mio parere)

[hydro]

Ma pensa, non si finisce mai di imparare.

[3m0o]

La cosa che a me sorprende è che l'equazione di Pell \( z^2- 5x^2 = 4y^2 \) possiede infinite soluzioni per qualunque valore di \(y\), mentre appena si pone \( z = 2x^2+x+2 \) in modo tale che \( \operatorname{Nr}(x - \zeta_5) = \frac{z^2-5x^2}{4} = 1+x+x^2+x^3+x^4 = y^2 \) ne possiede solo (eheh non lo dico)! E qui forse hydro può spiegarmi il perché, ma sinceramente non vedo come da infinite si possano ridurre così tanto.

[hydro]

La cosa che a me sorprende è che l'equazione di Pell \( z^2- 5x^2 = 4y^2 \) possiede infinite soluzioni per qualunque valore di \(y\), mentre appena si pone \( z = 2x^2+x+2 \) in modo tale che \( \operatorname{Nr}(x - \zeta_5) = \frac{z^2-5x^2}{4} = 1+x+x^2+x^3+x^4 = y^2 \) ne possiede solo (eheh non lo dico)! E qui forse hydro può spiegarmi il perché, ma sinceramente non vedo come da infinite si possano ridurre così tanto.

Dipende semplicemente dal fatto che la prima curva è una conica, e le coniche possono avere finiti o infiniti punti interi, mentre la seconda è una curva ellittica, che può avere infiniti punti razionali (e peraltro questa in particolare li ha) ma non infiniti punti interi, per via del teorema di Siegel https://en.wikipedia.org/wiki/Siegel%27s_theorem_on_integral_points.

[Zero87]

Premetto che non ho mai fatto equazioni diofantee né alle superiori né all'università. Lo osservo a modo mio: vista l'ora tarda mi fermo alle banalità e ci dormo sopra.

Testo nascosto, fai click qui per vederlo

Prendiamo
$y^2 = 1+x+x^2+x^3+x^4$
vedo che $y=1$ e $x=0$ è soluzione, la tengo da parte e vado avanti, quindi pongo $y\ne 1$ e $x \ne 0$

Possiamo verificare in modo semplice - lo ometto - che $y$ non può essere un numero pari, poiché al secondo membro si avrebbe sempre una quantità dispari.

@Alex: forse hai notato che di recente mi butto e capita che do risposte incomplete. Sto cercando di provare a svolgere fino a dove arrivo per provare a "riaccendere" la testa a quasi 10 anni dalla laurea.

EDIT. Ho tagliato una metà delle cose in base al suggerimento di giammaria. Non avevo considerato la $x$ fuori. Grazie giammaria!

[axpgn]

@Zero87

Testo nascosto, fai click qui per vederlo

Per ogni $x$, le $y$ sono sempre due, per forza

Hai fatto delle osservazioni interessanti però non saprei dirti se portino a qualcosa ...

Cordialmente, Alex

[giammaria]

@Zero87

Testo nascosto, fai click qui per vederlo

Perché dici che $x$ deve essere dispari? C'è anche il fattore $x$ e potrebbe essere divisibile per 8; dico 8 perché il primo membro è $4k(k+1)$ e uno fra $k, k+1$ è pari.
Non ho la soluzione completa, ma ho trovato che oltre alla tua $(0, +-1)$ ci sono anche $(-1,+-1)$ e $(3,+-11)$; nelle ultime due, la $x$ è effettivamente dispari.

[3m0o]

Testo nascosto, fai click qui per vederlo

Penso di aver trovato la soluzione adatta per le superiori, diciamo che il termine di destra in \(x\) è molto (troppo) vicino a due quadrati successivi per poter essere un quadrato

Comunque sia (hydro help? ) non riesco proprio a farlo con \( \mathbb{Z}[\zeta_5] \) e mi sto un po' innervosendo!
Voglio dire che deve esistere un unità e un elemento \( a + b \zeta_5 + c \zeta_5^2 + d \zeta_5^3 \in y^2 \mathbb{Z}[\zeta_5] \) tale che
\[ x- \zeta_5 = u ( a + b \zeta_5 + c \zeta_5^2 + d \zeta_5^3)^2 \]
\[ x- \zeta_5 = u ( (a^2+2cd) + \zeta_5(d^2+2ab) + \zeta_5^2 ( b^2 + 2ac) + \zeta_5^3(2ad+2bc) + \zeta_5^4 (c^2 +2bd) \]
usando poi \(\zeta_5^4 = -1-\zeta_5 - \zeta_5^2 - \zeta_5^3 \) e ponendo i "giusti" coefficienti uguale a \(0 \) o \(-1\) vorrei poi essere in grado di determinare \(x\). Ma non riesco a determinare l'unità.