Dimostrazione

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Rispondi
Avatar utente
kn
Messaggi: 508
Iscritto il: 23 lug 2007, 22:28
Località: Sestri Levante (Genova)
Contatta:

Dimostrazione

Messaggio da kn » 15 apr 2008, 00:32

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 < kn e p1, p2, …, pn
numeri primi tutti diversi fra loro).
Viviamo intorno a un mare come rane intorno a uno stagno. (Socrate)

Avatar utente
FeddyStra
Messaggi: 403
Iscritto il: 19 set 2006, 15:34
Località: 45° 7' 19.2'' N 7° 23' 20.1'' E

Messaggio da FeddyStra » 15 apr 2008, 14:34

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.
[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]

Rispondi