Potenze
Dimostrare che il prodotto di k numeri interi positivi consecutivi non è mai una k-esima potenza.
Risposte
Questo problema equivale a cercare soluzioni intere positive per l'equazione
x(x+1)(x+2)...(x+k-1)=y^k
Il prodotto di k numeri consecutivi e' congruo a 0 modulo k (banale!) (1)
y^k e' congruo a 0 modulo k se e solo se y e' congruo a zero modulo k, quindi se e solo se y e' un multiplo di k. (y=kt)
uno e uno solo dei fattori a primo membro e' un multiplo di k chiamiamolo a. (si avra' a=kz)
ilo primo membro sara' dunque compreso fra a e a^2, cioe' fra kz e (kz)^2 e quindi non potra' esere uguale a (kt)^k (cioe' non potra' essere potenza k-esima di un multiplo di k)
l'ho fatto veramente molto di corsa in un periodo di buco.... chiedo scusa per eventuali fesserie!

appena ho tempo ci ritorno su, magari dategli un'occhiata...
ciao
x(x+1)(x+2)...(x+k-1)=y^k
Il prodotto di k numeri consecutivi e' congruo a 0 modulo k (banale!) (1)
y^k e' congruo a 0 modulo k se e solo se y e' congruo a zero modulo k, quindi se e solo se y e' un multiplo di k. (y=kt)
uno e uno solo dei fattori a primo membro e' un multiplo di k chiamiamolo a. (si avra' a=kz)
ilo primo membro sara' dunque compreso fra a e a^2, cioe' fra kz e (kz)^2 e quindi non potra' esere uguale a (kt)^k (cioe' non potra' essere potenza k-esima di un multiplo di k)
l'ho fatto veramente molto di corsa in un periodo di buco.... chiedo scusa per eventuali fesserie!

appena ho tempo ci ritorno su, magari dategli un'occhiata...
ciao
"Giusepperoma":
y^k e' congruo a 0 modulo k se e solo se y e' congruo a zero modulo k, quindi se e solo se y e' un multiplo di k. (y=kt)
Attento vale solo per $k$ numero primo infatti se k=9 allora $3^9 -= 0 mod 9$ ma $3$ non è multiplo di 9 ($k$)
Ciao!

giusto!
grazie ero sicuro di essermi scordato qualcosa per strada....

ora, se non ricordo male (e' una vita che non lavoro con i numeri e con le congruenze....) la mia dimostrazione si potrebbe correggere dicendo che y deve essere multiplo o sottomultiplo di k, e la dimostrazione dovrebbe funzionare lo stesso...
mi pare...
grazie ero sicuro di essermi scordato qualcosa per strada....

ora, se non ricordo male (e' una vita che non lavoro con i numeri e con le congruenze....) la mia dimostrazione si potrebbe correggere dicendo che y deve essere multiplo o sottomultiplo di k, e la dimostrazione dovrebbe funzionare lo stesso...
mi pare...
"Giusepperoma":
ora, se non ricordo male (e' una vita che non lavoro con i numeri e con le congruenze....) la mia dimostrazione si potrebbe correggere dicendo che y deve essere multiplo o sottomultiplo di k, e la dimostrazione dovrebbe funzionare lo stesso...
Viene che $MCD(k,y^k)>1$ ma non credo porti lontano...
forse si può dimostrare con il teorema di Wilson, ci penserò...
Io ho fatto cosi':
$n(n+1)(n+2)...(n+k-1)=y^k$.
Prendendo il logaritomo di tutte e due,
$logn+log(n+1)+...+log(n+k-1)=klogy$. Dividendo la parte sinistra per $logy$, si ottiene
$(logn)/(logy)+(log(n+1))/(logy)+...+(log(n+k-1))/(logy)=k$. Ora, y deve essere sicuramente uno dei numeri consecutivi. Quindi una frazione tra quelle dell`equazione di sopra deve essere uguale a 1. Se k e' dispari, allora si avra' un numero di termini <1, inferiore a quelli >1. Questo valore sara' in ogni caso minore di k-1. Precisamente, per k-->n, si ha che la parte di destra tende a k-2. Un ragionamento analogo si fa per il caso in cui k e' pari.
Spero di non aver detto cavolate
.
$n(n+1)(n+2)...(n+k-1)=y^k$.
Prendendo il logaritomo di tutte e due,
$logn+log(n+1)+...+log(n+k-1)=klogy$. Dividendo la parte sinistra per $logy$, si ottiene
$(logn)/(logy)+(log(n+1))/(logy)+...+(log(n+k-1))/(logy)=k$. Ora, y deve essere sicuramente uno dei numeri consecutivi. Quindi una frazione tra quelle dell`equazione di sopra deve essere uguale a 1. Se k e' dispari, allora si avra' un numero di termini <1, inferiore a quelli >1. Questo valore sara' in ogni caso minore di k-1. Precisamente, per k-->n, si ha che la parte di destra tende a k-2. Un ragionamento analogo si fa per il caso in cui k e' pari.
Spero di non aver detto cavolate
