Equazione

[hydro]

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à.

E' vero il fatto seguente: le unità di $\mathbb Z[\zeta_p]$ si scrivono come $\zeta_p^ru$ per qualche $r\in \mathbb Z$ e \(u\in \mathbb Q[\zeta_p+\zeta_p^{-1}]\). Questo dovrebbe bastarti per concludere.

[axpgn]

Una soluzione

Testo nascosto, fai click qui per vederlo

L'equazione $y^2=1+x+x^2+x^3+x^4$ può essere riscritta come

a) $\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ (x^2+x/2+1)^2=y^2+5/4*x^2$

ma anche come

b) $\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ (x^2+x/2+(sqrt(5)-1)/4)^2=y^2-(5-2sqrt(5))/4*(x+(3+sqrt(5))/2)^2$

perciò

$\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ x^2+x/2+(sqrt(5)-1)/4<=|y|<=x^2+x/2+1$

da cui

$\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ |y|=x^2+(x+k)/2$ con $0<k<=2$


Affinché $x$ e $y$ siano interi, $k$ può valere $1$ o $2$ e in particolare sarà $1$ se $x$ è dispari e sarà $2$ se $x$ è pari.

Se $k=1$ allora $y^2=(x^2+(x+1)/2)^2-((x-3)(x+1))/4$ da cui $x=3$ e $x= -1$

Se $k=2$ dalla a) abbiamo che $x=0$.

Cordialmente, Alex

[dan95]

Testo nascosto, fai click qui per vederlo

Per $x$ dispari e $x<-1$ e $x>3$ vale

$(x^2+\frac{x-1}{2})^2 < x^4+x^3+x^2+x+1 < (x^2+\frac{x+1}{2})^2$

Ovvero $x^4+x^3+x^2+x+1$ è compreso fra due quadrati di due numeri interi successivi, quindi per $x<-1$ e $x>3$ non ammette soluzione. Tuttavia per $x=3,-1$ troviamo le due coppie di soluzioni $(3,11)$ e $(-1,1)$.

Per $x$ pari e $x \ne 0$ vale

$(x^2+\frac{x}{2})^2 < x^4+x^3+x^2+x+1 < (x^2+\frac{x}{2}+1)^2$

Stesso discorso di prima per $x \ne 0$ e pari non ammette soluzioni ma per $x=0$ ammette la soluzione $(0,1)$.

[axpgn]

Bella