Come si può risolvere un esercizio del genere?
<html>
Dimostrare che esistono n numeri naturali consecutivi
a1, a2, …, an tali che pk
divide ak ma pk^2 non divide ak
( 0 < k ≤ n e p1, p2, …, pn
numeri primi tutti diversi fra loro).
Dimostrazione
Dimostrazione
Viviamo intorno a un mare come rane intorno a uno stagno. (Socrate)
Il modo più semplice di dire che $ p\mid n\wedge p^2\nmid n $ è imporre $ n\equiv p\pmod{p^2} $.
Utilizziamo allora questo fatto e construiamo il seguente sistema di congruenze:
$ \left\{\begin{array}{c}{a_1\equiv p_1\pmod{p_1^2}\\\dots\\a_n\equiv p_n\pmod{p_n^2}}\end{array} $
Dal momento che i numeri $ a_1,\dots,a_n $ sono consecutivi, possiamo scrivere $ a_k=x+k $ dove $ x $ è un numero fissato.
Il nostro sistema allora diventa
$ \left\{\begin{array}{c}{x+1\equiv p_1\pmod{p_1^2}\\\dots\\x+n\equiv p_n\pmod{p_n^2}}\end{array} $ ovvero $ \left\{\begin{array}{c}{x\equiv p_1-1\pmod{p_1^2}\\\dots\\x\equiv p_n-n\pmod{p_n^2}}\end{array} $
L'esistenza di una soluzione per un siffatto sistema ci è garantita dal Teorema Cinese del Resto.
Utilizziamo allora questo fatto e construiamo il seguente sistema di congruenze:
$ \left\{\begin{array}{c}{a_1\equiv p_1\pmod{p_1^2}\\\dots\\a_n\equiv p_n\pmod{p_n^2}}\end{array} $
Dal momento che i numeri $ a_1,\dots,a_n $ sono consecutivi, possiamo scrivere $ a_k=x+k $ dove $ x $ è un numero fissato.
Il nostro sistema allora diventa
$ \left\{\begin{array}{c}{x+1\equiv p_1\pmod{p_1^2}\\\dots\\x+n\equiv p_n\pmod{p_n^2}}\end{array} $ ovvero $ \left\{\begin{array}{c}{x\equiv p_1-1\pmod{p_1^2}\\\dots\\x\equiv p_n-n\pmod{p_n^2}}\end{array} $
L'esistenza di una soluzione per un siffatto sistema ci è garantita dal Teorema Cinese del Resto.
[quote="julio14"]Ci sono casi in cui "si deduce" si può sostituire con "è un'induzione che saprebbe fare anche un macaco", ma per come hai impostato i conti non mi sembra la tua situazione...[/quote][quote="Tibor Gallai"]Ah, un ultimo consiglio che risolve qualsiasi dubbio: ragiona. Le cose non funzionano perché lo dico io o Cauchy o Dio, ma perché hanno senso.[/quote]To understand recursion, you fist need to understand recursion.
[tex]i \in \| al \| \, \pi \, \zeta(1)[/tex]
[tex]i \in \| al \| \, \pi \, \zeta(1)[/tex]