Sns 1999-2000 #1

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Rispondi
Avatar utente
evans
Messaggi: 115
Iscritto il: 21 nov 2005, 20:52

Sns 1999-2000 #1

Messaggio da evans »

Siano $ a,b,c $ numeri razionali tali che

$ a^3+2b^3+4c^3=8abc $ .

si mostri che $ a=b=c=0 $ .
EvaristeG
Site Admin
Messaggi: 4896
Iscritto il: 01 gen 1970, 01:00
Località: Roma
Contatta:

Messaggio da EvaristeG »

Non sono sicuro che sia nella sezione giusta ... non mi sembra un problema di algebra ... piuttosto, visti i razionali che compaiono nella traccia, mi pare un problema di teoria dei numeri.
Attendo conferma da evans per spostare il thread.
Avatar utente
evans
Messaggi: 115
Iscritto il: 21 nov 2005, 20:52

Messaggio da evans »

Vero è più un quesito di TDN!!! Scusate, girando in questo momento nel forum ho trovato già una soluzione del problema ma mi è sembrata piuttosto complicata per un Sns. Quindi... altre soluzioni :D
Avatar utente
HiTLeuLeR
Messaggi: 1874
Iscritto il: 01 gen 1970, 01:00
Località: Reggio di Calabria

Messaggio da HiTLeuLeR »

Evans, non so che 3d tu abbia trovato, ma qui ci stanno ben due soluzioni diverse, ampiamente dettagliate, dello stesso problema. Leggi fino in fondo, su... :roll:
Avatar utente
bh3u4m
Messaggi: 547
Iscritto il: 01 gen 1970, 01:00
Località: Milano

Re: Sns 1999-2000 #1

Messaggio da bh3u4m »

evans ha scritto:Siano $ a,b,c $ numeri razionali tali che

$ a^3+2b^3+4c^3=8abc $ .

si mostri che $ a=b=c=0 $ .
Provo a riproporre lo stesso una soluzione:
Se non ho sbagliato qualcosa si dovrebbe fare sostituendo ai razionali la frazione di interi ed applicando la discesa infinita per mostrare che qualsiasi soluzione ne abbia un piu' piccola.

$ a= \frac {a_1} {a_2} $
per cui diventa:
$ a_1^3 b_2^3 c_2^3 + 2 a_2^3 b_1^3 c_2^3 + 4 a_2^3 b_2^3 c_1^3 = 8 a_1 a_2^2 b_1 b_2^2 c_1 c_2^2 $
cominciando con $ a_1 = 2 a_1' $ parte la discesa infinita.
Avatar utente
Boll
Messaggi: 1076
Iscritto il: 01 gen 1970, 01:00
Località: Piacenza

Messaggio da Boll »

Ehm , bh3u4m, non ti sei accorto che, sostituendo, hai ridotto semplicemente il problema agli interi positivi (quindi basta la discesa infinita, ma su 3 termini)?
"Ma devo prendere una n-upla qualsiasi o una n-upla arbitraria?" (Lui)
Avatar utente
evans
Messaggi: 115
Iscritto il: 21 nov 2005, 20:52

Messaggio da evans »

Boll ha scritto:Ehm , bh3u4m, non ti sei accorto che, sostituendo, hai ridotto semplicemente il problema agli interi positivi (quindi basta la discesa infinita, ma su 3 termini)?
e quindi... sono curioso(vi chiedo però non solo di enunciare i teoremi che usate ma di applicarli come nel nostro caso la discesa infinita va applicata fino a giungere alla tesi) !

@Hit ah...che sbadato ho visto il tuo 3d ma mi ero fermato alla prima soluzione...mai accontentarsi(anche perchè della prima soluzione non ci ho capito niente, ah l'ignoranza)!!!
:D
Avatar utente
Boll
Messaggi: 1076
Iscritto il: 01 gen 1970, 01:00
Località: Piacenza

Re: Sns 1999-2000 #1

Messaggio da Boll »

bh3u4m ha scritto: Siano $ a,b,c $ numeri razionali tali che
$ a^3+2b^3+4c^3=8abc $ .

$ a= \frac {a_1} {a_2} $
per cui diventa:
$ a_1^3 b_2^3 c_2^3 + 2 a_2^3 b_1^3 c_2^3 + 4 a_2^3 b_2^3 c_1^3 = 8 a_1 a_2^2 b_1 b_2^2 c_1 c_2^2 $
Ok, vado avanti io per completezza (e perchè ho poco altro da fare)
$ x=a_1b_2c_2 $
$ y=a_2b_1c_2 $
$ z=a_2b_2c_1 $
ovviamente $ x,y,z\in Z^{+}_0 $
La nostra espressione diventa
$ x^3+2y^3+4z^3=8xyz $ con $ x,y,z\in Z^{+}_0 $

Ricordando che $ a_2,b_2,c_2\neq 0 $ avremo che $ x,y,z $ si annullano rispettivamente sse si annullano $ a_1,b_1,c_1 $ e quindi $ a,b,c $

Ora, per un ovvia considerazione sulla parità avremo che $ x $ dev'essere pari quindi poniamo $ x=2x_1 $. L'equazione diventa

$ y^3+2z^3+4x_1^3=8yzx_1 $ che è la stessa di prima solo con $ (x,y,z)=(y,z,x_1) $

Possiamo dunque ripetere il procedimento di prima (creando una variabile $ y_1 $, poi $ z_1 $, poi $ x_2 $ e così via) , e potremo ripeterlo un numero infinito di volte, ma poichè $ x=2^kx_k $ $ y=2^ky_k $ $ z=2^kz_k $ per ogni $ k $ avremo che i tre interi iniziali hanno un "numero infinito" di fattori 2. Perciò sono forzatamente tutti e tre zeri.
"Ma devo prendere una n-upla qualsiasi o una n-upla arbitraria?" (Lui)
Andrea Palma
Messaggi: 4
Iscritto il: 23 dic 2019, 08:35

Re: Sns 1999-2000 #1

Messaggio da Andrea Palma »

Sia \((a,b,c)\) una soluzione razionale, nel senso che \(a, b, c \in \mathbb Q\).
Possiamo scrivere \( a = \frac{m_1}{d},\ b = \frac{m_2}{d}\) e \(c = \frac{m_3}{d}\) cioè possiamo esprimere \(a,b,c\) come frazioni aventi lo stesso denominatore.
A questo punto, per il fatto che l'equazione in questione è omogenea di terzo grado, avremo che anche la terna di interi \( (m_1, m_2, m_3) \) è soluzione dell'equazione, perché (sostituendo nell'equazione) il denominatore \(d^3\) si semplifica al primo e al secondo membro.
Consideriamo adesso \(g = MCD(m_1, m_2, m_3) \) il massimo comune divisore dei tre interi della terna soluzione.
I casi sono due: \(g = 0\) oppure \(g \geq 1\).
Supponiamo per assurdo che \(g \geq 1\). Allora (sempre perché l'equazione è omogenea di terzo grado), posti \(a_1 = \frac{m_1}{g}\),
\(b_1 = \frac{m_2}{g}\) e \(c_1 = \frac{m_3}{g}\), abbiamo che la terna di interi \( (a_1, b_1, c_1) \) è soluzione dell'equazione e \( MCD(a_1, b_1, c_1) = 1\).
Scrivendo \[ a_1^3 + 2b_1^3 + 4c_1^3 = 8 a_1 b_1 c_1\]
è immediato notare che \(a_1^3\) è pari, e siccome 2 è primo anche \(a_1\) è pari. Scriviamo dunque \(a_1 = 2 a_2\) per qualche intero \(a_2\) e sostituiamolo nell'uguaglianza
\[ 8 a_2^3 + 2 b_1^3 + 4c_1^3 = 16a_2b_1c_1\]
dividendo per 2 abbiamo
\[4 a_2^3 + b_1^3 + 2 c_1^3 = 8 a_2b_1c_1\]
e quindi \(b_1\) è pari, cioè \(b_1 = 2b_2\). Sostituendo ancora nell'uguaglianza si ottiene
\[4 a_2^3 + 8b_2^3 + 2 c_1^3 = 16 a_2b_2c_1\]
dividiamo per due
\[2 a_2^3 + 4b_2^3 + c_1^3 = 8 a_2b_2c_1\]
e da qui deduciamo che \(c_1\) è pari.
Questo contraddice il fatto che \(MCD(a_1, b_1, c_1) = 1 \) perché abbiamo trovato che \(a_1, b_1\) e \(c_1\) sono tutti pari.
Siamo giunti ad una contraddizione, che ci permette di dedurre che \(g = 0\). Ora il massimo comune divisore di tre numeri è 0 se e solo se i tre numeri sono tutti 0.
Dunque scopriamo che \(m_1 = m_2 = m_3 = 0\) da cui segue che anche \(a = b = c = 0\). Se c'è una soluzione razionale essa è necessariamente la terna \( (0,0,0)\). D'altra parte \( (0,0,0) \) è evidentemente una soluzione, quindi è l'unica soluzione razionale.
Rispondi