da dan95 » 07/07/2017, 17:56
Sì è vero che sono solo quelle però per dimostrarlo ci vogliono strumenti di geometria superiore (roba della specialistica, Mordell, Hasse-Weil).
Quindi supponendo che ci siano solo soluzioni intere
Dimostriamo che queste sono solo $(0,\pm 4)$:
Sia $C: y^2=x^3+16$ e $(m,n)$ un punto intero di $C$, supponiamo $m$ dispari:
$n^2=m^3+16 \Rightarrow (n+4)(n-4)=m^3$
Ora $m$ dispari implica $n$ dispari e dunque $(n+4,n-4)=1$ da cui segue che esistono $u$ e $v$ tali che
$u^3=n+4$ e $v^3=n-4$
(possiamo supporre $n>4$, infatti a mano si fa per $n<4$ e in modo che $u,v>0$)
Ovvero $u^3-v^3=(u-v)(u^2+uv+v^2)=8$, si dimostra (esercizio) che $(u-v,u^2+uv+v^2)=1$ o $3$ con $(u,v)=1$, dunque essendo $u-v$ pari segue $u-v=8$ e $u^2+uv+v^2=1$ assurdo poiché $u-v <u^2+uv+v^2$.
$m$ pari)
Se $m$ è pari allora $4|n$ e $4|m$ dunque $16n'^2=64m'^3+16 \Rightarrow n'^2=4m'^3+1$ da cui segue che $n'$ è dispari, quindi $n'=2h+1$, ovvero $h(h+1)=m'^3$, essendo $(h,h+1)=1$ e entrambi cubi sia ha che $h=0$ o $-1$
"Chi è padrone del proprio respiro, è padrone della propria vita."~ Antico proverbio
"La capacità di scegliere è un dono che la natura fa all'uomo. Scegliere è un dono che l'uomo fa a se stesso." D.B.
"Il genio è semplicemente un uomo con la mente da donna." D. B.