Trovare tutte le coppie (a,b) di interi per cui a+b, a-b, a*b siano tutti quandrti perfetti.
Fonte: post233
Somma, differenza e prodotto quadrati
-
darkcrystal
- Messaggi: 706
- Iscritto il: 14 set 2005, 11:39
- Località: Chiavari
)
Ci ho provato
Bisogna risolvere:
$ a+b = p^2 $, $ a-b = q^2 $, $ a \cdot b = r^2 $,
con $ p^2, q^2, r^2 \in N $.
Intanto se $ a=b $ si ha $ 2a = p^2 \Leftrightarrow a = b = 2k^2 \forall k \in N $.
Se uno tra $ a, b $ è nullo si ottengono banalmente le coppie:
$ (n^2,0) \, \forall n \in Z $.
Ponendo: $ xy = ( \frac{k}{2} )^2 $ with $ k \in Z $:
$ p^4 = q^4 + k^2 $ che non ha soluzione negli interi.
Quindi $ (n^2,0); (2n^2,2n^2) $ sono le uniche soluzioni.
$ a+b = p^2 $, $ a-b = q^2 $, $ a \cdot b = r^2 $,
con $ p^2, q^2, r^2 \in N $.
Intanto se $ a=b $ si ha $ 2a = p^2 \Leftrightarrow a = b = 2k^2 \forall k \in N $.
Se uno tra $ a, b $ è nullo si ottengono banalmente le coppie:
$ (n^2,0) \, \forall n \in Z $.
Ponendo: $ xy = ( \frac{k}{2} )^2 $ with $ k \in Z $:
$ p^4 = q^4 + k^2 $ che non ha soluzione negli interi.
Quindi $ (n^2,0); (2n^2,2n^2) $ sono le uniche soluzioni.
Ultima modifica di Gauss_87 il 13 feb 2006, 19:32, modificato 8 volte in totale.
Considerate la vostra semenza: fatte non foste a viver come bruti, ma per seguir virtute e canoscenza
Re: Ci ho provato
.Gauss_87 ha scritto:Intanto se $ a=b $ si ha $ 2a = p^2 \Leftrightarrow a = b = 2^{2k+1} \forall k \in N $, oppure la soluzione banale $ a=b=0 $.
Beh, non soltanto...$ 2a = p^2 \Leftrightarrow a=b=2k^2 \forall k \in N $, dunque anche tutte le coppie del tipo $ (2k^2,2k^2) $ sono soluzioni.
Perché dovrebbero essere pari, scusa? Per esempio, la soluzione $ (1,0) $ ha $ p=q=1 \equiv 1 mod 2 $.Gauss_87 ha scritto:$ 2b = p^2 - q^2 = (p - q)(p + q) $, cioè $ (p - q),(p + q) $ hanno la stessa parità $ \Leftrigtharrow p, q \equiv 0 mod 2 $
Membro dell'EATO.
Membro della Lega Anti MM2.
Membro della Lega Anti MM2.
Re: Ci ho provato
Beh, ma cosa mi assicura che $ Q^2 $ non sia divisibile per $ k $ e che dunque quel $ k $ al denominatore non si possa semplificare?Gauss_87 ha scritto:Ricordando che $ a=2(P^2 + Q^2) $ e $ b = 2(P^2 - Q^2) $ e utilizzando l'ultima equazione ottenuta si ha:
$ a=Q^2 \cdot \frac{(k+1)^2}{k} $ e $ b = Q^2 \cdot \frac{(k-1)^2}{k} $,
che sono ASSURDE perchè $ a,b \in Z $ e $ (k+1)^2 \equiv 0 modk $ è ASSURDA, a meno che $ k=1 \Rightarrow b=0, a=4Q^2 = n^2 $.
Membro dell'EATO.
Membro della Lega Anti MM2.
Membro della Lega Anti MM2.
Non siamo su mathlinks : qui ci vogliono i tag tex, non i dollari. EG
Wlog, sia $ \gcd(a,b) = 1 $. Then $ ab = z^2 $ forza ad essere $ a = u^2 $ e $ b = v^2 $. Perciò $ a + b = x^2 $ sse $ a = m^2 - n^2 $, $ b = 2mn $ ed $ x = m^2 + n^2 $, dove $ m, n \in \mathbb{N} $e $ \gcd(m,n) = 1 $ (Diofanto vs Pitagora). Adesso c'è da portare in conto il fatto che si vuol pure $ a - b = y^2 $. Ma in fondo basta poco, che ce vo'?!
Wlog, sia $ \gcd(a,b) = 1 $. Then $ ab = z^2 $ forza ad essere $ a = u^2 $ e $ b = v^2 $. Perciò $ a + b = x^2 $ sse $ a = m^2 - n^2 $, $ b = 2mn $ ed $ x = m^2 + n^2 $, dove $ m, n \in \mathbb{N} $e $ \gcd(m,n) = 1 $ (Diofanto vs Pitagora). Adesso c'è da portare in conto il fatto che si vuol pure $ a - b = y^2 $. Ma in fondo basta poco, che ce vo'?!