x^2+1=y^3

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Inkio
Messaggi: 42
Iscritto il: 03 gen 2009, 17:48

Messaggio da Inkio » 04 gen 2009, 17:01

Fedecart ha scritto:Fatto... Dovrebbero essere primi fra loro eccetto che nei casi in cui y=-2, 0, 2, 4
E' così?
Mmmh...come hai fatto a dirlo?
...non so di cosa tu stia parlando, giuda ballerino..

Avatar utente
Fedecart
Messaggi: 522
Iscritto il: 09 mar 2008, 22:49
Località: Padova

Messaggio da Fedecart » 04 gen 2009, 17:10

Inkio ha scritto:
Fedecart ha scritto:Fatto... Dovrebbero essere primi fra loro eccetto che nei casi in cui y=-2, 0, 2, 4
E' così?
Mmmh...come hai fatto a dirlo?
$ n=\frac{y^2+y+1}{y-1} $ Se per qualche valore di y si ha un n intero, allora per quei valori $ yì2+y+1 $ è multiplo di $ y-1 $
Riscriviamo come $ \frac{y-1+y^2+2}{y-1}=1+\frac{y^2+2}{y-1}=1+\frac{y^2-1+3}{y-1}=1+\frac{(y+1)(y-1)+3}{y-1}=1+(y+1)+\frac{3}{y-1} $
quest'ultima cosa è intera se $ \frac{3}{y-1} $ è intero, il che avviene per y=-2
y=0
y=2
y=4

Inkio
Messaggi: 42
Iscritto il: 03 gen 2009, 17:48

Messaggio da Inkio » 04 gen 2009, 17:18

Fedecart ha scritto:
Inkio ha scritto:
Fedecart ha scritto:Fatto... Dovrebbero essere primi fra loro eccetto che nei casi in cui y=-2, 0, 2, 4
E' così?
Mmmh...come hai fatto a dirlo?
$ n=\frac{y^2+y+1}{y-1} $ Se per qualche valore di y si ha un n intero, allora per quei valori $ yì2+y+1 $ è multiplo di $ y-1 $
Riscriviamo come $ \frac{y-1+y^2+2}{y-1}=1+\frac{y^2+2}{y-1}=1+\frac{y^2-1+3}{y-1}=1+\frac{(y+1)(y-1)+3}{y-1}=1+(y+1)+\frac{3}{y-1} $
quest'ultima cosa è intera se $ \frac{3}{y-1} $ è intero, il che avviene per y=-2
y=0
y=2
y=4
$ n=\frac{y^2+y+1}{y-1} $ Se per qualche valore di y si ha un n intero, allora per quei valori $ yì2+y+1 $ è multiplo di $ y-1 $
Ok, ora sappiamo che non è un multiplo, ma non che il loro MCD sia 1. esempio:15 non è multiplo di 10, tuttavia il moro MCD è 5.
...non so di cosa tu stia parlando, giuda ballerino..

pak-man
Messaggi: 313
Iscritto il: 07 giu 2008, 18:19

Messaggio da pak-man » 04 gen 2009, 18:47

Se non erro,
$ MCD(y-1,y^2+y+1)=MCD(y-1,y^2+y+1-(y-1)^2)=MCD(y-1,3y)=MCD(3y,3y-3(y-1))=MCD(3y,3)=3 $
Giusto?

Avatar utente
Oblomov
Messaggi: 284
Iscritto il: 23 ott 2005, 13:18
Località: Bologna

Messaggio da Oblomov » 04 gen 2009, 18:52

pak-man ha scritto:Se non erro,
$ MCD(y-1,y^2+y+1)=MCD(y-1,y^2+y+1-(y-1)^2)=MCD(y-1,3y)=MCD(3y,3y-3(y-1))=MCD(3y,3)=3 $
Giusto?
Sbagliato. Nel quarto passaggio ottieni semmai MCD(3y, 1).
Mi sembra che questo, insieme a quanto osservato da Fedecart, basti... erro?
Why are numbers beautiful? It’s like asking why is Beethoven’s Ninth Symphony beautiful. If you don’t see why, someone can’t tell you. I know numbers are beautiful. If they aren’t beautiful, nothing is. - P. Erdös

Avatar utente
kn
Messaggi: 508
Iscritto il: 23 lug 2007, 22:28
Località: Sestri Levante (Genova)
Contatta:

Messaggio da kn » 04 gen 2009, 20:16

Enrico Leon ha scritto:Questo è un quesito molto famoso, se lo era posto un grande matematico e lo aveva risolto con una dimostrazione pazzesca. C'è un'unica soluzione, escludendo lo 0, trovatela a mano... 8)
qual è l'altra? :shock:

Avatar utente
julio14
Messaggi: 1208
Iscritto il: 11 dic 2006, 18:52
Località: Berlino

Messaggio da julio14 » 04 gen 2009, 20:26

mmm mi sa che si sbagliano sia Oblomov che pak-man... MCD 3 è possibile, basta provare con y=4, tuttavia non è sicuro, si provi con y=3, questo perché il 3 passaggio è errato (non per i conti come dice Oblomov, ma proprio concettualmente). Tu puoi sommare o sottrarre a uno dei due numeri l'altro un numero arbitrario di volte. Ora il tuo terzo passaggio equivarrebbe a moltiplicare il secondo numero per -1, e fin qui va bene, perché ovviamente non aggiungi primi, moltiplicare per 3, e non va bene perché aggiungi, per l'appunto, il 3, e sommare 3y, che va bene. Ma quel passaggio ti frega. Fermandoti al passaggio prima, puoi notare che essendo y e y-1 primi fra loro, se l'MCD è diverso da 1, allora è necessariamente 3.

Jack Luminous
Messaggi: 42
Iscritto il: 06 nov 2008, 20:57

Messaggio da Jack Luminous » 04 gen 2009, 20:34

scusate eh, non ne ho assolutamente una dimostrazione umana, ma sono sicuro che non esistono altre soluzioni oltre a x=0

il teorema di mihailescu dice che le uniche potenze consecutive sono 8 e 9...

Avatar utente
kn
Messaggi: 508
Iscritto il: 23 lug 2007, 22:28
Località: Sestri Levante (Genova)
Contatta:

Messaggio da kn » 04 gen 2009, 21:16

non ne ho assolutamente una dimostrazione umana
Ma come no? Per quanto ha detto Giulio ci rimane da dimostrare che se 3|y-1 l'unica soluzione è (0,1) (chissà qual è l'altra?).
Se 3|y-1, y=3k+1. Cosa succede se andiamo a sostituire nell'equazione di partenza?
Io l'ho risolto così... forse c'è una soluzione più elegante :roll:

Jack Luminous
Messaggi: 42
Iscritto il: 06 nov 2008, 20:57

Messaggio da Jack Luminous » 04 gen 2009, 21:36

kn ha scritto:
non ne ho assolutamente una dimostrazione umana
Ma come no?
non ho letto le varie osservazioni... però ho notato che qualcuno ha detto che esiste un'altra soluzione, cosi ho smentito senza nemmeno provare il problema :wink:

Avatar utente
Fedecart
Messaggi: 522
Iscritto il: 09 mar 2008, 22:49
Località: Padova

Messaggio da Fedecart » 05 gen 2009, 00:00

Jack Luminous ha scritto:scusate eh, non ne ho assolutamente una dimostrazione umana, ma sono sicuro che non esistono altre soluzioni oltre a x=0

il teorema di mihailescu dice che le uniche potenze consecutive sono 8 e 9...
:shock: :lol: :shock: Il teorema di chi?!? Sarò molto ignorante e a digiuno di matematica ma non l'ho manco mai sentito per sbaglio... Sareste così gentili da illuminarmi via pm (sennò i mod mi impiccano per l'off topic) o aprire un topic in glossario?
Poi, uff uff questa diofantea sta diventando più tosta del previsto! Ma di che livello è, all'incirca, per intenderci? Perchè se è un febbraio mi devo preoccupare malamente, sennò, ho ancora un pochino di tempo... :D

Avatar utente
julio14
Messaggi: 1208
Iscritto il: 11 dic 2006, 18:52
Località: Berlino

Messaggio da julio14 » 05 gen 2009, 00:36

No beh un febbraio non credo... direi un cesenatico facile, 2-3. Cmq per il teorema Catalan's conjecture.
Buona parte della TdN olimpica riguarda casi particolari di questo teorema, tuttavia è abbastanza sconsigliato ricorrere a un teoremone del genere secondo la regola del buon senso per cui se usi un teorema conosci o perlomeno sei in grado di capirne la dimostrazione. In pratica se un correttore te la trova nella soluzione non può dire nulla (credo), ma di certo sarà decisamente meno indulgente nel resto della dimostrazione.

Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Messaggio da jordan » 29 mar 2009, 14:23

cerchiamo di riassumere quel che è stato detto:
$ x^2=y^3-1=(y-1)(y^2+y+1)=(y-1)[(y-1)^2+3(y-1)+3] $
Allora l'mcd tra i due fattori è 1 o 3: se sono coprimi allora $ y-1=a^2 $ e così anche $ (a^2+1)^2<y^2+y+1=b^2<(a^2+2)^2 $, assurdo.
Se invece hanno un fattore 3 in comune wlog $ y-1=3a^2 $ e $ y^2+y+1=3b^2 $ che porta a $ 3a^4+3a^2+1=b^2 $.
E adesso? :?




Soluzione alternativa.

Modulo 4 vediamo che 2|x, cosicchè nell'anello euclideo $ [tex] $Z[/tex] i termini $ x+i $ e $ x-i $ sono coprimi, i.e. entrambi cubi perfetti. Per cui esistono $ (a,b) \in \mathbb{Z}^2 $ t.c. $ (a+bi)^3=x+i $. Comparando il termine in $ i $ otteniamo l'unica soluzione $ (a,b)=(0,-1) $ da cui l'unica soluzione in $ (x,y)=(0,1) $.
Problema alternativo, con identica soluzione: Mostrare che 26 è l'unico intero compreso tra un quadrato e un cubo.

Nota aggiunta dopo il link di piever: se $ x^2+1=y^n $ allora $ 2|x $ (infatti assumendo il contrario avremmo $ 4|y^n-2 $, assurdo). Da qui si conclude indenticamente a prima.
The only goal of science is the honor of the human spirit.

Rispondi