Un po di residui modulo 1994
Un po di residui modulo 1994
Own. Siano $ \{x_1,x_2,\ldots,x_{1994}\} $ una permutazione di $ \{1,2,\ldots,1994\} $. Mostrare che esiste $ (i,j) \in \mathbb{Z}^2 $ tale che $ 1 \le i < j \le 1994 $ e $ 1994 \mid i^{x_i}-j^{x_j} $.
The only goal of science is the honor of the human spirit.
-
Giuseppe R
- Messaggi: 571
- Iscritto il: 22 mar 2008, 12:04
- Località: A casa sua
La tesi implica $ 2 \mid i^{x_i}-j^{x_j} $ e $ 997 \mid i^{x_i}-j^{x_j} $. Per la prima implicazione basta porre sia i che j pari o dispari, per la seconda ho:
$ i^{x_i}-j^{x_j} \equiv 0 \pmod {997} $
Poichè 997 è primo, per Fermat ho:
$ i^{x_i}-j^{x_j} \equiv a^{996}-1 \pmod {997} $
Quindi se pongo j=998, e $ x_i=996 $ ho:
$ i^{966}-1 \equiv 0 \pmod {997} $
La tesi si verifica quindi per i pari qualsiasi, $ x_i=996 $, j=998.
Mi sembra giusto però ho qualche dubbio sul fatto che ponendo i pari, si possa definire $ x_i=996 $
$ i^{x_i}-j^{x_j} \equiv 0 \pmod {997} $
Poichè 997 è primo, per Fermat ho:
$ i^{x_i}-j^{x_j} \equiv a^{996}-1 \pmod {997} $
Quindi se pongo j=998, e $ x_i=996 $ ho:
$ i^{966}-1 \equiv 0 \pmod {997} $
La tesi si verifica quindi per i pari qualsiasi, $ x_i=996 $, j=998.
Mi sembra giusto però ho qualche dubbio sul fatto che ponendo i pari, si possa definire $ x_i=996 $
Esistono 10 tipi di persone: quelli che capiscono i numeri binari e quelli che non li capiscono.
"Il principio dei cassetti è quando hai n cassetti e n+1 piccioni: quindi ci sarà almeno un cassetto con 2 o più piccioni..." cit.
"Il principio dei cassetti è quando hai n cassetti e n+1 piccioni: quindi ci sarà almeno un cassetto con 2 o più piccioni..." cit.
Jordan... mi sa che non hai capito la sua dimostrazione (che peraltro è giusta giuseppe, devi solo fare attenzione ad una cosa...)
Praticamente lui sceglie quella j tale che $ x_j=1993 $ e poi sceglie i=1,998 in base alla parità della j...
Esempio $ x_{711}=1993 $ allora scelgo $ i=1 $ ottenendo:
$ 1^{x_1}-711^{1993}\equiv 0 \pmod{1994} $
Se invece j è pari si fissa i=998.
Spero di non aver sparato cazzate xD
Praticamente lui sceglie quella j tale che $ x_j=1993 $ e poi sceglie i=1,998 in base alla parità della j...
Esempio $ x_{711}=1993 $ allora scelgo $ i=1 $ ottenendo:
$ 1^{x_1}-711^{1993}\equiv 0 \pmod{1994} $
Se invece j è pari si fissa i=998.
Spero di non aver sparato cazzate xD
L'ho capita, tranquillo. E anche tu fai lo stesso sbaglio: come prima cosa GiuseppeR ha scelto $ x_j=996 $ il che è relativamente più corretto rispetto a $ 1993 $, in secondo luogo Fermat non afferma che $ 997 \mid x^{996}-1 $ per ogni $ x \in \mathbb{Z} $, ma che $ 997 \mid x^{997}-x $, il che è ben diverso.dario2994 ha scritto:Jordan... mi sa che non hai capito la sua dimostrazione (che peraltro è giusta giuseppe, devi solo fare attenzione ad una cosa...)
The only goal of science is the honor of the human spirit.