Sns 1999-2000 #1
Sns 1999-2000 #1
Siano $ a,b,c $ numeri razionali tali che
$ a^3+2b^3+4c^3=8abc $ .
si mostri che $ a=b=c=0 $ .
$ a^3+2b^3+4c^3=8abc $ .
si mostri che $ a=b=c=0 $ .
Re: Sns 1999-2000 #1
Provo a riproporre lo stesso una soluzione: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 $ .
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.
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) !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)?
@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)!!!
Re: Sns 1999-2000 #1
Ok, vado avanti io per completezza (e perchè ho poco altro da fare)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 $
$ 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)
-
- Messaggi: 4
- Iscritto il: 23 dic 2019, 08:35
Re: Sns 1999-2000 #1
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.
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.