Dalla fake edition numero uno di parma- 3^k-1=y^n

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Rispondi
Avatar utente
salva90
Messaggi: 1314
Iscritto il: 19 ott 2006, 18:54
Località: Carrara

Dalla fake edition numero uno di parma- 3^k-1=y^n

Messaggio da salva90 » 30 apr 2007, 10:50

Trovare le terne di naturali $ (n, k, y) $ tali che $ 3^k-1=y^n $

:wink:
Ultima modifica di salva90 il 30 apr 2007, 22:30, modificato 1 volta in totale.
[url=http://www.myspace.com/italiadimetallo][img]http://img388.imageshack.us/img388/4813/italiadimetallogn7.jpg[/img][/url]

Avatar utente
EUCLA
Messaggi: 771
Iscritto il: 21 apr 2005, 19:20
Località: Prato

Messaggio da EUCLA » 30 apr 2007, 12:17

non riesco a trovare altre soluzione che le banali...
aspetterò che qualcun'altro lo risolva.. :D
$ (1,1,2) , (1,2,8), (3,2,2) $

Avatar utente
salva90
Messaggi: 1314
Iscritto il: 19 ott 2006, 18:54
Località: Carrara

Messaggio da salva90 » 30 apr 2007, 12:20

EUCLA ha scritto:non riesco a trovare altre soluzione che le banali...
aspetterò che qualcun'altro lo risolva.. :D
$ (1,1,2) , (1,2,8), (3,2,2) $
e $ (1, 3, 26) $ non va bene?
su, non è per niente difficile :wink:

Avatar utente
EUCLA
Messaggi: 771
Iscritto il: 21 apr 2005, 19:20
Località: Prato

Messaggio da EUCLA » 30 apr 2007, 12:29

eh già allora modifico :D
$ (1, k , 3^k -1) $
rimango convinta di non saper dimostrare se non ce ne sono altre...sempre che sia vero che non ce ne sono altre oltre alle banali..
ah e ovviamente $ (n ,0 ,0) $

Sherlock
Messaggi: 601
Iscritto il: 24 nov 2006, 20:08
Località: Pisa & Barrafranca (Enna)

Messaggio da Sherlock » 30 apr 2007, 17:32

Se non vedo male, non ce ne sono altre per il teroema di Mihailescu

Avatar utente
Ponnamperuma
Messaggi: 411
Iscritto il: 10 lug 2006, 11:47
Località: Torino

Messaggio da Ponnamperuma » 30 apr 2007, 17:53

Per la serie... "rimaniamo su conoscenze di pubblico (o quasi) dominio"! :D :D
Comunque pare anche a me...
La grandezza dell'uomo si misura in base a quel che cerca e all'insistenza con cui egli resta alla ricerca. - Martin Heidegger

MIND torna!! :D

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

Messaggio da jordan » 30 apr 2007, 18:12

provate modulo 4 :o

Avatar utente
salva90
Messaggi: 1314
Iscritto il: 19 ott 2006, 18:54
Località: Carrara

Messaggio da salva90 » 30 apr 2007, 20:23

jordan ha scritto:provate modulo 4 :o
oddio :?
modulo 3 è molto più veloce
Per la cronaca, il teorema di Mihailescu dice che 2^3, 3^2 è l'unico caso di potenze consecutive, ed in effetti la tesi deriva direttamente da quello, però dai cercate di risolverlo :wink:
Ultima modifica di salva90 il 30 apr 2007, 22:27, modificato 1 volta in totale.
[url=http://www.myspace.com/italiadimetallo][img]http://img388.imageshack.us/img388/4813/italiadimetallogn7.jpg[/img][/url]

Avatar utente
HiTLeuLeR
Messaggi: 1874
Iscritto il: 01 gen 1970, 01:00
Località: Reggio di Calabria

Messaggio da HiTLeuLeR » 30 apr 2007, 21:52

salva90 ha scritto:Trovare le terne di naturali $ (n, k, y) $ tali che $ 3^k-1=y^n $
Se $ k = 0 $, banalmente $ y = 0 $, e viceversa, e in effetti ogni terna del tipo $ (n,0,0) $, con $ n \in \mathbb{N} $, è soluzione. D'altro canto, $ (1, k, 3^k-1) $ è pure soluzione, per ogni $ k \in \mathbb{N} $. Siano perciò per il seguito $ k \ge 1 $, $ y \ge 1 $ ed $ n \ge 2 $. Allora $ y \ge 2 $ ed $ y^n \equiv -1\bmod 3 $, di modo che $ n = 2m+1 $, per qualche $ m \in \mathbb{N} $, in quanto $ -1 $ non è un residuo quadratico mod 3. Ne segue che esistono $ a,b\in\mathbb{N}^+ $ tali che $ 3^a = y+1 $ e $ 3^b = y^{2m} - y^{2m-1} + \ldots - y + 1 \ge 3^a $.

Pertanto $ n = 3^a \cdot q $, dove $ q \in \mathbb{N} $ e $ \gcd(q,6) = 1 $, e di conseguenza $ 3^p = y^{3^a} + 1 $, per qualche $ p \in \mathbb{N}^+ $. Senonché $ p = v_3(y^{3^a} + 1) = v_3(y+1) + a = 2a $ e $ 3^{2a} \le 2^{3^a} + 1 \le y^{3^a} + 1 $, l'uguaglianza essendo soddisfatta sse $ a = 1 $ ed $ y = 2 $. Da qui la terna $ (3, 2, 2) $ da aggiungere - ultima ma non ultima - all'elenco delle soluzioni già determinate.

Qui come al solito, $ v_3(\cdot) $ indica una valutazione.

Avatar utente
Ponnamperuma
Messaggi: 411
Iscritto il: 10 lug 2006, 11:47
Località: Torino

Messaggio da Ponnamperuma » 01 mag 2007, 19:24

Salva, ho provato con il teorema del binomio e le congruenze mod 3... ma mi pianto sul caso in cui $ y=3j-1 $... hint? :wink:
La grandezza dell'uomo si misura in base a quel che cerca e all'insistenza con cui egli resta alla ricerca. - Martin Heidegger

MIND torna!! :D

Avatar utente
EUCLA
Messaggi: 771
Iscritto il: 21 apr 2005, 19:20
Località: Prato

Messaggio da EUCLA » 01 mag 2007, 21:25

ieri salva mi ha dato una mano....diciamo pure un braccio...nel fare la dimostrazione modulo 3...a questo punto la posto...
la soluzione è 90% lavoro suo, 10% lavoro mio

$ 3^k = y^n +1 $

$ \left\{ \begin{array}13^a=y+1\\ 3^b = y^{n-1}- y^{n-2}+...-y+1 \end{array}\right. $

L'espressione di $ 3^b $ è costituita da $ n $ termini.

n pari o dispari?

Se n= 2m

$ 3^k = y^{2m}+1 , y^m=x $

$ 3^k = x^2 +1 $
se $ x^2\equiv 1\bmod 3 => 3^k \equiv 2\bmod 3 $ assurdo
se $ x^2\equiv 0\bmod 3 => 3^k\equiv 1\bmod 3 $ assurdo
allora n deve essere dispari

Essendo n dispari, $ y\equiv -1\bmod 3 $
$ y^{n-1}, y^{n-3}, y^{n-5}...\equiv 1\bmod 3 $
$ y^{n-2}, y^{n-4}, y^{n-6}...\equiv-1\bmod3 $
Allora ciascun termine di $ 3^b $, considerato col segno è congruo a $ 1 \bmod 3 $
Allora $ n = 3h $
$ y^n = (y^{h})^3 $
$ y^h = z $

$ 3^k = z^3 +1 $
$ \left\{ \begin{array}13^s=z+1\\ 3^t = z^2-z+1 \end{array}\right. $
$ \left\{ \begin{array}1z= 3^s -1\\ 3^t = 3^{2s}+1-2\cdot3^s-3^s+1+1 \end{array}\right. $
$ 3^t = 3^{2s}-3^{s+1}+3 $
$ 3^{t-1} = 3^{2s-1}-3^{s}+1 $
ma $ 3^{t-1}\equiv 0\bmod 3 $ e $ 3^{2s-1}-3^{s}+1\equiv 1\bmod 3 $
quindi:
o $ (1) s=t=1 $
o $ (2) s=t=0 $
e a quel punto abbiamo le soluzioni dette nei post precedenti.

Avatar utente
salva90
Messaggi: 1314
Iscritto il: 19 ott 2006, 18:54
Località: Carrara

Messaggio da salva90 » 03 mag 2007, 22:14

Beh dai, io te l'ho suggerita ma dimostri di averla capita bene :wink:
[url=http://www.myspace.com/italiadimetallo][img]http://img388.imageshack.us/img388/4813/italiadimetallogn7.jpg[/img][/url]

Rispondi