Trovare tutte le terne [tex](a,m,n)[/tex] con [tex]a, m, n[/tex] appartenenti a [tex]N^{+}[/tex] che soddisfano la seguente equazione:
[tex]5^n - 3^m = a^2[/tex]
Tre interi positivi
Re: Tre interi positivi
Ho dovuto usare LTE 
(e manco so se ho fatto una cosa lecita 
) non la posto aspetto che ne arrivi una più decente 
se non arriva la metto stasera
(e manco so se ho fatto una cosa lecita ) non la posto aspetto che ne arrivi una più decente se non arriva la metto staseraRe: Tre interi positivi
Soluzione inconcludente:
Piuttosto: abbiamo che sia [tex]m[/tex] che [tex]n[/tex] sono pari, allora poniamo [tex]m=2k[/tex] e [tex]n=2h[/tex]
[tex](5^k)^2-(3^h)^2=(5^k-3^h)(5^k+3^h)=a^2[/tex]
Sia [tex]d:=\gcd(5^k-3^h,5^k+3^h)[/tex], allora [tex]d \mid 5^k-3^h \Rightarrow 5^k \equiv 3^h \pmod d[/tex], ma allora
[tex]5^k+3^h \equiv 2\cdot 3^h \equiv 0 \pmod d \Rightarrow d\mid 2 \Rightarrow d=2[/tex], conseguentemente possiamo esprimere i due fattori come
[tex]5^k-3^h=2x^2[/tex]
[tex]5^k+3^h=2y^2[/tex]
con [tex]x[/tex] e [tex]y[/tex] dispari e coprimi. Ma allora [tex]\upsilon_2(a^2)=2[/tex].
Questo è assurdo, infatti modulo 8 nell'equazione di partenza otteniamo
[tex](5^k)^2-(3^h)^2\equiv 1-1 \equiv 0 \equiv a^2 \pmod 8[/tex], dacché il quadrato di un dispari è sempre [tex]\equiv 1 \pmod 8[/tex].
Probabilmente non funziona
Testo nascosto:
[tex](5^k)^2-(3^h)^2=(5^k-3^h)(5^k+3^h)=a^2[/tex]
Sia [tex]d:=\gcd(5^k-3^h,5^k+3^h)[/tex], allora [tex]d \mid 5^k-3^h \Rightarrow 5^k \equiv 3^h \pmod d[/tex], ma allora
[tex]5^k+3^h \equiv 2\cdot 3^h \equiv 0 \pmod d \Rightarrow d\mid 2 \Rightarrow d=2[/tex], conseguentemente possiamo esprimere i due fattori come
[tex]5^k-3^h=2x^2[/tex]
[tex]5^k+3^h=2y^2[/tex]
con [tex]x[/tex] e [tex]y[/tex] dispari e coprimi. Ma allora [tex]\upsilon_2(a^2)=2[/tex].
Questo è assurdo, infatti modulo 8 nell'equazione di partenza otteniamo
[tex](5^k)^2-(3^h)^2\equiv 1-1 \equiv 0 \equiv a^2 \pmod 8[/tex], dacché il quadrato di un dispari è sempre [tex]\equiv 1 \pmod 8[/tex].
Probabilmente non funziona
Re: Tre interi positivi
Eh no, [tex](x,y)=1[/tex] ma uno tra i due potrebbe essere pari...
Re: Tre interi positivi
Non ho capito a pieno l'ultimo ragionamento, o forse non vedo io, ma [tex]5^2-3^2=4^2[/tex] ?
Re: Tre interi positivi
C'è un errore, l'ho segnalato nel post poco sopra il tuo.
Provo a tirare fuori qualcosa dal fatto che [tex]8\mid a^2[/tex].
Provo a tirare fuori qualcosa dal fatto che [tex]8\mid a^2[/tex].
Re: Tre interi positivi
C'è almeno $1 $ soluzione
Analizzando l'equazione $\pmod 4 $ otteniamo che deve essere $ m=2m_1 $
Infatti $5^n\equiv 1\pmod 4 $ e $ a^2\equiv 0, 1\pmod 4 $
Deve essere $3^m\equiv 1\pmod 4 $ cioè $ m $ pari e $ a=2a_1 $
Per lo steso motivo, ma in $\pmod 3 $ otteniamo $ n=2n_1 $
Sostituendo troviamo
$5^{2n_1}=3^{2m_1}+(2a_1)^2 $
Ora scriviamolo come terna pitagorica
Otteniamo
$5^{n_1}=x^2+y^2 $
$3^{m_1}=(x-y)(x+y) $
Ma allora $ x+y=3^p $ e $ x-y=3^q $
Quindi $\frac {3^{2p}+3^{2q}} 2=x^2+y^2=5^{n_1} $
Ma quello è multiplo di $3 $ tranne nel caso
$2q=0 $
Cioè $ x=y+1 $
$2y=3^{m_1-1}+\ldots +1 $ per $ m_1\ne 1 $
In quel caso troviamo la soluzione $ m=n=2 $
Se no dobbiamo avere $ m_1=2k $ pari
Da cui $2y=(3^k-1)(3^k+1) $
Ma allora $2y $ è multiplo di $8 $
Quindi visto che le potenze di $3 $ in quel modulo si alternano $3, 1 $ otteniamo che deve essere $4\mid m_1 $
Da cui $16\mid 2y $
Da cui $8\mid m_1 $
E qui dovrebbe funzionare la discesa infinita
Quindi quella è l'unica soluzione
$ n=m=2, a=4 $
Non sono sicuro della parte finale
Analizzando l'equazione $\pmod 4 $ otteniamo che deve essere $ m=2m_1 $
Infatti $5^n\equiv 1\pmod 4 $ e $ a^2\equiv 0, 1\pmod 4 $
Deve essere $3^m\equiv 1\pmod 4 $ cioè $ m $ pari e $ a=2a_1 $
Per lo steso motivo, ma in $\pmod 3 $ otteniamo $ n=2n_1 $
Sostituendo troviamo
$5^{2n_1}=3^{2m_1}+(2a_1)^2 $
Ora scriviamolo come terna pitagorica
Otteniamo
$5^{n_1}=x^2+y^2 $
$3^{m_1}=(x-y)(x+y) $
Ma allora $ x+y=3^p $ e $ x-y=3^q $
Quindi $\frac {3^{2p}+3^{2q}} 2=x^2+y^2=5^{n_1} $
Ma quello è multiplo di $3 $ tranne nel caso
$2q=0 $
Cioè $ x=y+1 $
$2y=3^{m_1-1}+\ldots +1 $ per $ m_1\ne 1 $
In quel caso troviamo la soluzione $ m=n=2 $
Se no dobbiamo avere $ m_1=2k $ pari
Da cui $2y=(3^k-1)(3^k+1) $
Ma allora $2y $ è multiplo di $8 $
Quindi visto che le potenze di $3 $ in quel modulo si alternano $3, 1 $ otteniamo che deve essere $4\mid m_1 $
Da cui $16\mid 2y $
Da cui $8\mid m_1 $
E qui dovrebbe funzionare la discesa infinita
Quindi quella è l'unica soluzione
$ n=m=2, a=4 $
Non sono sicuro della parte finale
-
lucaboss98
- Messaggi: 981
- Iscritto il: 27/11/2013, 20:03
Re: Tre interi positivi
Allora la soluzione è giusta, ma non capisco il perchè di questa parte... Se volete vi posto la mia dopo...aetwaf ha scritto: Ora scriviamolo come terna pitagorica
Otteniamo
$5^{n_1}=x^2+y^2 $
$3^{m_1}=(x-y)(x+y) $
Re: Tre interi positivi
Poniamo $ n_1=k, m_1=b $
Abbiamo $5^{2k}=3^{2b}+(2a)^2 $
Quindi $5^k, 3^b, 2a $ è una terna pitagorica
Tutte le terne pitagoriche primitive, come questa perchè (5, 3)=1, si possono esprimere come
$2xy, x^2-y^2, x^2+y^2 $
Ovviamente sará $2xy=2a $
Segue quello che ho detto
Scusa per la poca chiarezza
Abbiamo $5^{2k}=3^{2b}+(2a)^2 $
Quindi $5^k, 3^b, 2a $ è una terna pitagorica
Tutte le terne pitagoriche primitive, come questa perchè (5, 3)=1, si possono esprimere come
$2xy, x^2-y^2, x^2+y^2 $
Ovviamente sará $2xy=2a $
Segue quello che ho detto
Scusa per la poca chiarezza
Re: Tre interi positivi
A questo punto metto anche la mia
$5^n-3^m=a^2$
$n$ è pari : se non lo fosse cascherebbe $\mod3$ , infatti sarebbe $a^2 \equiv -1$ che è impossibile.
$m$ è pari : consideriamo $\mod4$ : $(1)^n - (-1)^m \equiv a^2$ . Se $m$ fosse dispari , $a^2$ sarebbe $\equiv2$ , ma ciò non è possibile quindi $m$ è dispari e $4|a^2$.
Quindi possiamo scrivere $n=2x,m=2y$.
Perciò manipolando abbiamo
$(5^x - a)(5^x+a)=3^{2y}$
Da cui arriviamo al sistema
$\begin{cases} 5^x-a=3^t \\ 5^x+a = 3^l \\ t+l =2y \end{cases}$
Sommando le due prime equazioni si arriva a
$2\cdot5^x = 3^t + 3^l$
Ma $3\nmid LHS$ , ne consegue che $t=0$ e $l=2y$.
Abbiamo quindi $2\cdot5^x=9^y+1$.
Applichiamo quindi LTE :
$v_5(2\cdot5^x)=v_5(9^y+1^y)\\
x = v_5(10) + v_5(y)\\
x = 1 + v_5(y)$
Sostituiamo nella formula prima (questo passaggio penso si possa fare, ma non sono completamente certo)
$2\cdot5^{1 + v_5(y)}-1=9^y\\
10y-1=9^y$
Che ha come soluzione intera $y=1$ , da cui deriva $m=2,n=2,a=4$
$5^n-3^m=a^2$
$n$ è pari : se non lo fosse cascherebbe $\mod3$ , infatti sarebbe $a^2 \equiv -1$ che è impossibile.
$m$ è pari : consideriamo $\mod4$ : $(1)^n - (-1)^m \equiv a^2$ . Se $m$ fosse dispari , $a^2$ sarebbe $\equiv2$ , ma ciò non è possibile quindi $m$ è dispari e $4|a^2$.
Quindi possiamo scrivere $n=2x,m=2y$.
Perciò manipolando abbiamo
$(5^x - a)(5^x+a)=3^{2y}$
Da cui arriviamo al sistema
$\begin{cases} 5^x-a=3^t \\ 5^x+a = 3^l \\ t+l =2y \end{cases}$
Sommando le due prime equazioni si arriva a
$2\cdot5^x = 3^t + 3^l$
Ma $3\nmid LHS$ , ne consegue che $t=0$ e $l=2y$.
Abbiamo quindi $2\cdot5^x=9^y+1$.
Applichiamo quindi LTE :
$v_5(2\cdot5^x)=v_5(9^y+1^y)\\
x = v_5(10) + v_5(y)\\
x = 1 + v_5(y)$
Sostituiamo nella formula prima (questo passaggio penso si possa fare, ma non sono completamente certo)
$2\cdot5^{1 + v_5(y)}-1=9^y\\
10y-1=9^y$
Che ha come soluzione intera $y=1$ , da cui deriva $m=2,n=2,a=4$