Direttamente dal belgio...

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Rispondi
gabri
Messaggi: 75
Iscritto il: 11 mag 2008, 18:44
Località: Genova

Direttamente dal belgio...

Messaggio da gabri » 20 mag 2008, 22:58

Let a; b; c; d be integers. Show that the product
$ (a + b)(a + c)(a + d)(b + c)(b + d)(c + d) $
is divisible by 12.

spero che nessuno abbia problemi con la traduzione :D

Avatar utente
julio14
Messaggi: 1206
Iscritto il: 11 dic 2006, 18:52
Località: Pisa

Messaggio da julio14 » 20 mag 2008, 23:41

Sicuro che il testo sia giusto? Con (1;4;7;10) viene un po' poco divisibile per 3...
"L'unica soluzione è (0;0;0)" "E chi te lo dice?" "Nessuno, ma chi se ne fotte"
[quote="Tibor Gallai"]Alla fine, anche le donne sono macchine di Turing, solo un po' meno deterministiche di noi.[/quote]
Non sono un uomo Joule!!!

gabri
Messaggi: 75
Iscritto il: 11 mag 2008, 18:44
Località: Genova

Messaggio da gabri » 21 mag 2008, 14:59

infatti!
io ho fatto un copia-incolla da un problema del PEN...
e pensare che dopo averlo postato ho passato almeno un quarto d'ora a tentare di dimostrarlo prima di capire che qualcosa non andava.
pare che questo problema fosse apparso in Slovenia 1996!

Ale90
Messaggi: 135
Iscritto il: 14 mar 2007, 18:46
Località: Genova

Messaggio da Ale90 » 21 mag 2008, 17:37

gabri ha scritto:infatti!
io ho fatto un copia-incolla da un problema del PEN...
e pensare che dopo averlo postato ho passato almeno un quarto d'ora a tentare di dimostrarlo prima di capire che qualcosa non andava.
pare che questo problema fosse apparso in Slovenia 1996!
Il testo originale dice $ (a-b)(a-c)... $ (problema A11 del PEN) :wink:

eli9o
Messaggi: 106
Iscritto il: 14 mag 2008, 19:43

Messaggio da eli9o » 21 mag 2008, 18:28

Per pigeonhole almeno 2 numeri hanno lo stesso resto $ \pmod 3 $ quindi almeno 1 dei fattori (le differenze :lol:) è multipla di 3.
Inoltre se abbiamo due numeri della stessa parità e due dell'altra abbiamo 2 fattori pari (quindi il prodotto multiplo di 4)
Se abbiamo tre numeri della stessa parità abbiamo 3 fattori pari.
Altrimenti abbiamo tutti i numeri della stessa parità quindi tutti i fattori sono pari.

Il prodotto è sempre multiplo di 12[/tex]

Edit: correzione prima frase
Ultima modifica di eli9o il 21 mag 2008, 18:41, modificato 1 volta in totale.

Avatar utente
Desmo90
Messaggi: 160
Iscritto il: 17 lug 2007, 16:23
Località: sulla retta critica a nord di 1/2

Messaggio da Desmo90 » 21 mag 2008, 18:35

eli90 ha scritto:Per pigeonhole almeno 3 numeri hanno lo stesso resto
non mi è chiaro prova ad esplicitare questo passaggio.

eli9o
Messaggi: 106
Iscritto il: 14 mag 2008, 19:43

Messaggio da eli9o » 21 mag 2008, 18:40

Sì infatti ho scritto una cavolata... Volevo dire 2 numeri hanno lo stesso resto $ \pmod3 $
Il senso comunque non cambia, ho pensato giusto e ho scritto sbagliato :oops:
Ora correggo

Avatar utente
Cammy87
Messaggi: 144
Iscritto il: 10 mag 2005, 19:50
Località: Serra Riccò

Messaggio da Cammy87 » 23 mag 2008, 17:40

Se ne era parlato anche qui! :wink:
E già che ci siamo ripropongo anche la generalizzazione:
Dati $ a_1,...,a_n $ interi allora$ \displaystyle\prod_{k=1}^{n-1}k! $ divide $ \displaystyle\prod_{i<j}(a_i-a_j) $
>>> Io sono la gomma e tu la colla! <<<
-----

piever
Messaggi: 645
Iscritto il: 18 feb 2006, 13:15
Località: Roma
Contatta:

Messaggio da piever » 25 mag 2008, 11:02

Cammy87 ha scritto:Dati $ a_1,...,a_n $ interi allora$ \displaystyle\prod_{k=1}^{n-1}k! $ divide $ \displaystyle\prod_{i<j}(a_i-a_j) $
Esiste una generalizzazione più forte:

Dati $ a_1,...,a_n $ interi allora $ \displaystyle\prod_{i<j}\frac{a_j-a_i}{j-i} $ è intero.

Ciau!

EDIT: oooops, hai ragione jordan, sono decisamente equivalenti, avevo letto male il testo.... :oops:
Ultima modifica di piever il 25 mag 2008, 12:35, modificato 1 volta in totale.
"Sei la Barbara della situazione!" (Tap)

Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Messaggio da jordan » 25 mag 2008, 12:08

piever ha scritto:Esiste una generalizzazione più forte:

Dati $ a_1,...,a_n $ interi allora $ \displaystyle\prod_{i<j}\frac{a_j-a_i}{j-i} $ è intero.

Ciau!
da cui prese spunto wolverine.. :lol:

@piever:sicuro sia piu forte? :wink:
The only goal of science is the honor of the human spirit.

eli9o
Messaggi: 106
Iscritto il: 14 mag 2008, 19:43

Messaggio da eli9o » 25 mag 2008, 22:17

Non so fino a che punto questa si possa chiamare dimostrazione (sempre che sia giusta)

Creiamo una strategia che scelga i numeri in modo da ridurre al minimo i multipli di un certo numero $ m $.
I cassetti sono i possibili resti $ \pmod m $
Siccome $ \forall k $ $ \binom{k}{2}-\binom{k-1}{2}<\binom{k+1}{2}-\binom{k}{2} $ conviene sempre mettere un numero nel cassetto "più vuoto".
Vediamo che scegliendo i primi $ n $ numeri si applica questa strategia per ogni $ m $.

ps: mi piacerebbe vedere una dimostrazione "olimpicamente accettabile" :)

piever
Messaggi: 645
Iscritto il: 18 feb 2006, 13:15
Località: Roma
Contatta:

Messaggio da piever » 26 mag 2008, 12:21

@eli90: sostanzialmente la tua dimostrazione è giusta, solo che non sono la persona giusta per aiutarti a scrivere una dimostrazione che non perda punti.. (la mia griglia di cesenatico era 6-6-6-7-5-7). Qui trovi una mia dimostrazione che usa un simpatico lemma che puoi divertirti a dimostrare, più altre due dimostrazioni, di cui una però fa uso di cose che se non conosci non ti vengono in mente, mentre l'altra credo sia grossomodo uguale alla tua.
"Sei la Barbara della situazione!" (Tap)

Rispondi