x^{x+y}=y^{y-x}

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Avatar utente
mod_2
Messaggi: 726
Iscritto il: 18 ago 2007, 20:26
Località: In fondo a destra

x^{x+y}=y^{y-x}

Messaggio da mod_2 » 14 giu 2008, 17:47

Trovare tutte le coppie (x, y) di interi positivi tali che
$ \displaystyle x^{x+y}=y^{y-x} $.

PreIMO 2002
Appassionatamente BTA 197!

bestiedda
Messaggi: 213
Iscritto il: 15 nov 2007, 20:20

Messaggio da bestiedda » 14 giu 2008, 19:42

Osserviamo che $ $y \geq x $ e che quindi $ $y $ è una potenza di $ $x $. Poniamo dunque $ $y=x^a $ con $ $a $ intero e maggiore o uguale a 0. Sostituendo otteniamo $ \displaystyle x^{x+x^a}=x^{a(x^a-x)} $. Se $ $x=1 $ l'uguaglianza è verificata per ogni $ $a $. Otteniamo quindi la soluzione $ $(1,1) $. In caso contrario dobbiamo avere che $ \displaystyle x+x^a=ax^a-ax $==>$ \displaystyle (a+1)x=x^a(a-1) $==>$ \displaystyle \frac {x^{a-1} \cdot (a-1)}{a+1}=1 $. Notiamo che $ \displaystyle a+1|x^{a-1} $, perchè $ $a+1|a-1 $ solo nei casi $ $a=0 $ e $ $a=1 $ , entrambi non accettabili. Poniamo $ $x^{a-1}=k \cdot (a+1) $ con k naturale. Sostituiamo ottenendo $ \displaystyle \frac {(a+1)k\cdot(a-1)}{a+1}=1 $ . Semplifichiamo e otteniamo $ $k\cdot(a-1)=1 $ , da cui che $ $a=2 $ e $ $k=1 $ . Otteniamo quindi $ $x=3 $ e $ $y=3^2=9 $

Le uniche soluzioni sono quindi $ $(1,1) $ e $ $(3,9) $

Sarà giusto? :oops:

EDIT: NON era giusto :wink:
Ultima modifica di bestiedda il 15 giu 2008, 21:13, modificato 3 volte in totale.
marco

ma_go
Site Admin
Messaggi: 1906
Iscritto il: 01 gen 1970, 01:00

Messaggio da ma_go » 15 giu 2008, 13:37

no: $ a+1\mid x^{a-1} $ NON implica $ a+1\mid x $.

String
Messaggi: 225
Iscritto il: 01 giu 2008, 17:21

Messaggio da String » 15 giu 2008, 16:28

In alternativa, una volta arrivati a: $ x(a+1)=x^a(a-1) $ l'equazione si può vedere anche in questo modo: $ \frac {a+1}{a-1}=x^{a-1} $ e quindi notare che il primo membro è intero solo per $ a=2 $ o per $ a=3 $: In quest'ultimo caso però verrebbe $ 2=x^2 $ chè è impossibile, invece per il primo caso si ha $ 3=x^1 $ che funziona. Quindi oltre alla soluzione (1,1) c'è solo la soluzione (3,9). Così può andar bene?
"fatti non foste a viver come bruti,
ma per seguir virtute e canoscenza"(Dante)

bestiedda
Messaggi: 213
Iscritto il: 15 nov 2007, 20:20

Messaggio da bestiedda » 15 giu 2008, 21:13

grazie, cerco di sistemarlo :wink:
marco

nicelbole
Messaggi: 14
Iscritto il: 16 mag 2007, 16:47

Messaggio da nicelbole » 16 giu 2008, 14:38

Non è una soluzione anche (25,125), ad esempio? Secondo me l'errore sta nel dire che y deve essere una potenza di x.
Ponendo y-x=a, si ottiene x^(2x+a)=(x+a)^a. Svolgendo il secondo membro con il teorema del binomiale, si ottiene che a deve essere un multiplo di x. Essendo y=x+a, sappiamo che anche y è un multiplo di x, ossia y=kx, k>=1.
Sostituendo questo risultato nell'equazione di partenza si dovrebbe arrivare alla soluzione.

bestiedda
Messaggi: 213
Iscritto il: 15 nov 2007, 20:20

Messaggio da bestiedda » 16 giu 2008, 15:44

nicelbole ha scritto:Non è una soluzione anche (25,125), ad esempio? Secondo me l'errore sta nel dire che y deve essere una potenza di x.
Ponendo y-x=a, si ottiene x^(2x+a)=(x+a)^a. Svolgendo il secondo membro con il teorema del binomiale, si ottiene che a deve essere un multiplo di x. Essendo y=x+a, sappiamo che anche y è un multiplo di x, ossia y=kx, k>=1.
Sostituendo questo risultato nell'equazione di partenza si dovrebbe arrivare alla soluzione.
EDIT: vergogna, ero convinto che $ $25^2=125 $ scusate, oggi non sto facendo altro che errori
Ultima modifica di bestiedda il 16 giu 2008, 16:17, modificato 1 volta in totale.
marco

String
Messaggi: 225
Iscritto il: 01 giu 2008, 17:21

Messaggio da String » 16 giu 2008, 16:13

bestiedda ha scritto:Per $ (25,125) $ si ottiene $ 25^{25+125}=125^{125-25} $==>$ 25^{150}=25^{200} $
credo che non sia corretto, a me viene che sono uguali:
$ 25^{150}=125^{100} $==>$ 5^{2(150)}=5^{3(100)} $ e quindi $ 5^{300}=5^{300} $ In effetti y deve essere una potenza di x, ma può anche essere che sia x che y siano potenze di un altro numero (in questo caso 5). Mi sto sbagliando? :roll:
"fatti non foste a viver come bruti,
ma per seguir virtute e canoscenza"(Dante)

Avatar utente
exodd
Messaggi: 728
Iscritto il: 09 mar 2007, 19:46
Località: sulle pendici della provincia più alta d'europa

Messaggio da exodd » 16 giu 2008, 18:33

:oops: scusate, ma non riesco a capire perchè $ a $ è intero, visto che è uguale a $ (x+y)/(y-x) $
Tutto è possibile: L'impossibile richiede solo più tempo
julio14 ha scritto: jordan è in realtà l'origine e il fine di tutti i mali in $ \mathbb{N} $
EvaristeG ha scritto:Quindi la logica non ci capisce un'allegra e convergente mazza.
ispiratore del BTA

in geometry, angles are angels

"la traslazione non è altro che un'omotetia di centro infinito e k... molto strano"

Avatar utente
SkZ
Messaggi: 3333
Iscritto il: 03 ago 2006, 21:02
Località: Concepcion, Chile
Contatta:

Messaggio da SkZ » 16 giu 2008, 19:28

infatti non e' intero, ma razionale. :wink:
La sua appartenenza agli interi si basava su supposizioni errate che sono state confutate negli ultimi post.
impara il [tex]~\LaTeX[/tex] e mettilo da par[tex]\TeX~[/tex]

Software is like sex: it's better when it's free (Linus T.)
membro: Club Nostalgici
Non essere egoista, dona anche tu! http://fpv.hacknight.org/a8.php

Avatar utente
exodd
Messaggi: 728
Iscritto il: 09 mar 2007, 19:46
Località: sulle pendici della provincia più alta d'europa

Messaggio da exodd » 17 giu 2008, 10:27

però possiamo affermare che $ x|y $, infatti
$ x^x*x^y=y^y/y^x $
$ x^x*y^x=y^y/x^y $
$ (xy)^x=(y/x)^y $
ovviamente $ y/x $ è intero
Tutto è possibile: L'impossibile richiede solo più tempo
julio14 ha scritto: jordan è in realtà l'origine e il fine di tutti i mali in $ \mathbb{N} $
EvaristeG ha scritto:Quindi la logica non ci capisce un'allegra e convergente mazza.
ispiratore del BTA

in geometry, angles are angels

"la traslazione non è altro che un'omotetia di centro infinito e k... molto strano"

Avatar utente
exodd
Messaggi: 728
Iscritto il: 09 mar 2007, 19:46
Località: sulle pendici della provincia più alta d'europa

Messaggio da exodd » 17 giu 2008, 10:37

sostituiamo y a xa
viene
$ (x^2a)^x=(a^a)^x $
$ x^2a=a^a $
$ x^2=a^a-a $
:shock: e qui mi blocco...
Tutto è possibile: L'impossibile richiede solo più tempo
julio14 ha scritto: jordan è in realtà l'origine e il fine di tutti i mali in $ \mathbb{N} $
EvaristeG ha scritto:Quindi la logica non ci capisce un'allegra e convergente mazza.
ispiratore del BTA

in geometry, angles are angels

"la traslazione non è altro che un'omotetia di centro infinito e k... molto strano"

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

Messaggio da salva90 » 17 giu 2008, 10:41

exodd ha scritto:sostituiamo y a xa
viene
$ (x^2a)^x=(a^a)^x $
$ x^2a=a^a $
$ x^2=a^a-a $
:shock: e qui mi blocco...
veramente viene $ x^2=a^{a-1} $ :?
[url=http://www.myspace.com/italiadimetallo][img]http://img388.imageshack.us/img388/4813/italiadimetallogn7.jpg[/img][/url]

Avatar utente
exodd
Messaggi: 728
Iscritto il: 09 mar 2007, 19:46
Località: sulle pendici della provincia più alta d'europa

Messaggio da exodd » 17 giu 2008, 10:57

:oops: :oops: :oops:
ehm...
cmq guardiamo il lato positivo...
adesso sappiamo che a è dispari e che di conseguenza anche x lo è
quindi potremmo concludere che è vera per qualsiasi y e x tale che
x è radice di $ a^a/a $ con a dispari maggiore o uguale a 1
e che y è radice di$ a^a*a $

(ponendo a=1 viene la soluzione(1,1)
ponendo a=3 viene (3,9)
ponendo a=5 viene (25,125)
.....)
Tutto è possibile: L'impossibile richiede solo più tempo
julio14 ha scritto: jordan è in realtà l'origine e il fine di tutti i mali in $ \mathbb{N} $
EvaristeG ha scritto:Quindi la logica non ci capisce un'allegra e convergente mazza.
ispiratore del BTA

in geometry, angles are angels

"la traslazione non è altro che un'omotetia di centro infinito e k... molto strano"

String
Messaggi: 225
Iscritto il: 01 giu 2008, 17:21

Messaggio da String » 17 giu 2008, 11:09

exodd ha scritto:adesso sappiamo che a è dispari e che di conseguenza anche x lo è
perchè a deve essere dispari?
"fatti non foste a viver come bruti,
ma per seguir virtute e canoscenza"(Dante)

Rispondi