Problema: determinare tutte le soluzioni in numeri razionali dell'eq. $ x^2 + y^2 + z^2 + 3(x+y+z) + 5 = 0 $.
Fonte: Azarus, dalle parti del canale #olimpiadi.
In Q: x^2 + y^2 + z^2 + 3(x+y+z) + 5 = 0
Osserviamo che:
$ x^2 + 3x = (x + \frac{3}{2})^2 - \frac{9}{4} $ (completamento del quadrato)
e applicando la stessa trasformazione alle altre incognite l'equazione diventa:
$ (x + \frac{3}{2})^2 + (y + \frac{3}{2})^2 + (z + \frac{3}{2})^2 - \frac{7}{4} = 0 $
Ossia:
$ (2x + 3)^2 + (2y + 3)^2 + (2z + 3)^2 = 7 $
Posto $ a = 2x + 3, b = 2y + 3, c = 2z + 3 $, si ottiene l'equazione
$ a^2 + b^2 + c^2 = 7 $
D'altronde, essendo $ a $, $ b $ e $ c $ numeri razionali, possiamo moltiplicare entrambi i membri di quest'equazione per il minimo comune multiplo dei denominatori, arrivando ad un'equazione del tipo:
$ r^2 + s^2 + t^2 = 7w^2 $
Con $ r, s, t, w $ numeri interi e $ w > 0 $. Dal momento che l'equazione è omogenea, possiamo limitarci a determinare le soluzioni in interi primi tra loro. Tuttavia, se $ w $ fosse dispari, allora $ w^2 \equiv 1 \pmod{8} $, ed è impossibile che $ r^2 + s^2 + t^2 \equiv 7 \pmod{8} $. Se invece $ w $ fosse pari, allora avremmo $ r^2 + s^2 + t^2 \equiv 0 \pmod{4} $, e ciò è possibile solo se anche $ r, s, t $ sono pari. Ma ciò contraddice l'ipotesi che le incognite siano numeri coprimi. Di conseguenza l'ultima equazione non è risolvibile, e allora non lo è neanche quella del testo.
Ciao!
Salvatore
$ x^2 + 3x = (x + \frac{3}{2})^2 - \frac{9}{4} $ (completamento del quadrato)
e applicando la stessa trasformazione alle altre incognite l'equazione diventa:
$ (x + \frac{3}{2})^2 + (y + \frac{3}{2})^2 + (z + \frac{3}{2})^2 - \frac{7}{4} = 0 $
Ossia:
$ (2x + 3)^2 + (2y + 3)^2 + (2z + 3)^2 = 7 $
Posto $ a = 2x + 3, b = 2y + 3, c = 2z + 3 $, si ottiene l'equazione
$ a^2 + b^2 + c^2 = 7 $
D'altronde, essendo $ a $, $ b $ e $ c $ numeri razionali, possiamo moltiplicare entrambi i membri di quest'equazione per il minimo comune multiplo dei denominatori, arrivando ad un'equazione del tipo:
$ r^2 + s^2 + t^2 = 7w^2 $
Con $ r, s, t, w $ numeri interi e $ w > 0 $. Dal momento che l'equazione è omogenea, possiamo limitarci a determinare le soluzioni in interi primi tra loro. Tuttavia, se $ w $ fosse dispari, allora $ w^2 \equiv 1 \pmod{8} $, ed è impossibile che $ r^2 + s^2 + t^2 \equiv 7 \pmod{8} $. Se invece $ w $ fosse pari, allora avremmo $ r^2 + s^2 + t^2 \equiv 0 \pmod{4} $, e ciò è possibile solo se anche $ r, s, t $ sono pari. Ma ciò contraddice l'ipotesi che le incognite siano numeri coprimi. Di conseguenza l'ultima equazione non è risolvibile, e allora non lo è neanche quella del testo.
Ciao!
Salvatore
Se per "ultima equazione" intendi la diofantea $ r^2 + s^2 + t^2 = 7w^2 $, allora la tua conclusione è sbagliata, ché questa possiede come soluzione (unica!) la quaterna $ (r,s,t,w) = (0,0,0,0) $. Il resto è ineccepibile, buon per te!Spider ha scritto:[...] Di conseguenza l'ultima equazione non è risolvibile, e allora non lo è neanche quella del testo.
Dimentichi che avevo supposto $ w > 0 $HiTLeuLeR ha scritto: Se per "ultima equazione" intendi la diofantea $ r^2 + s^2 + t^2 = 7w^2 $, allora la tua conclusione è sbagliata, ché questa possiede come soluzione (unica!) la quaterna $ (r,s,t,w) = (0,0,0,0) $. Il resto è ineccepibile, buon per te!
Spider