[C, N] : Insiemi e divisori.
Moderatore: tutor
Consideriamo l\'insieme di interi {1...2n}, ed un suo qualsiasi sottoinsieme S formato da almeno n+1 elementi. Dimostrare:
<BR>a) esistono x, y in S tali che x | y
<BR>b) esistono x, y in S primi tra loro.
<BR><BR><BR>[ Questo Messaggio è stato Modificato da: Catraga il 18-10-2004 10:59 ]
<BR>a) esistono x, y in S tali che x | y
<BR>b) esistono x, y in S primi tra loro.
<BR><BR><BR>[ Questo Messaggio è stato Modificato da: Catraga il 18-10-2004 10:59 ]
Aladin to the genius: "Oh, great spirit! My desire is that you do not fullfill my desire"
The genius was enlightened.
The genius was enlightened.
a) Ogni numero naturale positivo può scriversi, e univocamente, nella forma 2<sup>r</sup> · q, ove r, q \\in N<sub>0</sub> e q = 1 mod 2. E allora, in particolare, detti a<sub>1</sub>, a<sub>2</sub>, ..., a<sub>n+1</sub> gli n+1 elementi dell\'insieme {1, 2, ..., 2n} appartenenti ad S, con n \\in N<sub>0</sub>, si ha che, per ogni k = 1, 2, ..., n+1: a<sub>k</sub> = (2^r<sub>k</sub>) · q<sub>k</sub>, ove ancora r<sub>k</sub>, q<sub>k</sub> \\in N<sub>0</sub> e q<sub>k</sub> è un dispari intero compreso fra 1 e 2n - 1. E poiché i dispari naturali compresi fra 1 e 2n-1 sono in numero pari ad n, ne consegue - per il principio dei cassetti - ch\'esistono i, j = 1, 2, ..., n+1, con i < j, tali che: q<sub>i</sub> = q<sub>j</sub> = q, di modo che: a<sub>i</sub> = 2<sup>i</sup> · q ed a<sub>j</sub> = 2<sup>j</sup> · q, e di conseguenza: a<sub>i</sub> | a<sub>j</sub>. Di qui l\'asserto.
<BR>
<BR>
<BR>b) Di n + 1 interi a<sub>1</sub>, a<sub>2</sub>, ..., a<sub>n+1</sub> scelti ad arbitrio nell\'insieme {1, 2, ..., 2n}, ne esistono necessariamente almeno due consecutivi. Diversamente, infatti, supposto (come lecito): a<sub>1</sub> < a<sub>2</sub> < ... < a<sub>n+1</sub>, si avrebbe a dedurre che: 2n >= a<sub>n+1</sub> >= 2 + a<sub>n</sub> >= ... >= 2n + a<sub>1</sub> >= 2n + 1, in evidente assurdo! Di qui la tesi, pur di considerare che il massimo comun divisore di due interi consecutivi è sempre uguale ad 1.
<BR>
<BR>
<BR>\"Un uomo inizia a palesarsi per quello che è quando il suo talento comincia a scemare, quand\'egli smette di mostrare ciò che <!-- BBCode Start --><I>può</I><!-- BBCode End -->. Il talento è pure un ornamento, e un ornamento è pure un nascondiglio.\" - F. W. Nietzsche, <!-- BBCode Start --><I>Così parlò Zaratustra</I><!-- BBCode End --><font color=white><BR><BR>[ Questo Messaggio è stato Modificato da: HiTLeuLeR il 18-10-2004 14:25 ]
<BR>
<BR>
<BR>b) Di n + 1 interi a<sub>1</sub>, a<sub>2</sub>, ..., a<sub>n+1</sub> scelti ad arbitrio nell\'insieme {1, 2, ..., 2n}, ne esistono necessariamente almeno due consecutivi. Diversamente, infatti, supposto (come lecito): a<sub>1</sub> < a<sub>2</sub> < ... < a<sub>n+1</sub>, si avrebbe a dedurre che: 2n >= a<sub>n+1</sub> >= 2 + a<sub>n</sub> >= ... >= 2n + a<sub>1</sub> >= 2n + 1, in evidente assurdo! Di qui la tesi, pur di considerare che il massimo comun divisore di due interi consecutivi è sempre uguale ad 1.
<BR>
<BR>
<BR>\"Un uomo inizia a palesarsi per quello che è quando il suo talento comincia a scemare, quand\'egli smette di mostrare ciò che <!-- BBCode Start --><I>può</I><!-- BBCode End -->. Il talento è pure un ornamento, e un ornamento è pure un nascondiglio.\" - F. W. Nietzsche, <!-- BBCode Start --><I>Così parlò Zaratustra</I><!-- BBCode End --><font color=white><BR><BR>[ Questo Messaggio è stato Modificato da: HiTLeuLeR il 18-10-2004 14:25 ]
Mamma mia! Soluzione ineccepibile, ma brutale! Suvvia, si puo\' dimostrare in modo molto piu\' semplice e piu\' elegante (la bravura sta proprio qua...). Sono due esercizietti sul principio della piccionaia...
<BR>
<BR>
<BR>\"La bravura di un matematico non si valuta col dimostrare con termini altisonanti e ragionamenti complessi, ma con l\'utilizzare il minimo di definizioni e la massima semplicita\' di pensiero \" - Catraga, parafrasando Hamilton.
<BR>
<BR>
<BR>
<BR>
<BR>\"La bravura di un matematico non si valuta col dimostrare con termini altisonanti e ragionamenti complessi, ma con l\'utilizzare il minimo di definizioni e la massima semplicita\' di pensiero \" - Catraga, parafrasando Hamilton.
<BR>
<BR>
Aladin to the genius: "Oh, great spirit! My desire is that you do not fullfill my desire"
The genius was enlightened.
The genius was enlightened.
- psion_metacreativo
- Messaggi: 645
- Iscritto il: 01 gen 1970, 01:00
<!-- BBCode Quote Start --><TABLE BORDER=0 ALIGN=CENTER WIDTH=85%><TR><TD><font size=-1>Quote:</font><HR></TD></TR><TR><TD><FONT SIZE=-1><BLOCKQUOTE>
<BR>On 2004-10-18 18:31, Catraga wrote:
<BR>
<BR>Sono due esercizietti sul principio della piccionaia...
<BR>
<BR></BLOCKQUOTE></FONT></TD></TR><TR><TD><HR></TD></TR></TABLE><!-- BBCode Quote End -->
<BR>
<BR>xchè euler cosa ha usato???!? <IMG SRC="images/forum/icons/icon_eek.gif">
<BR>On 2004-10-18 18:31, Catraga wrote:
<BR>
<BR>Sono due esercizietti sul principio della piccionaia...
<BR>
<BR></BLOCKQUOTE></FONT></TD></TR><TR><TD><HR></TD></TR></TABLE><!-- BBCode Quote End -->
<BR>
<BR>xchè euler cosa ha usato???!? <IMG SRC="images/forum/icons/icon_eek.gif">
<!-- BBCode Quote Start --><TABLE BORDER=0 ALIGN=CENTER WIDTH=85%><TR><TD><font size=-1>Quote:</font><HR></TD></TR><TR><TD><FONT SIZE=-1><BLOCKQUOTE>
<BR>On 2004-10-18 18:31, Catraga wrote:
<BR>\"La bravura di un matematico non si valuta col dimostrare con termini altisonanti e ragionamenti complessi, ma con l\'utilizzare il minimo di definizioni e la massima semplicita\' di pensiero \" - Catraga, parafrasando Hamilton.
<BR></BLOCKQUOTE></FONT></TD></TR><TR><TD><HR></TD></TR></TABLE><!-- BBCode Quote End -->
<BR>Ché difatti IO non sono un Matematico, mio caro catraga! E\' sufficiente questo per giustificarmi? Ok, grassie... <IMG SRC="images/forum/icons/icon_confused.gif">
<BR>
<BR>P.S.: \"brutale\" in che senso, scusa? Penso di non aver mai esibito una soluzione così elementare in vita mia... <IMG SRC="images/forum/icons/icon_eek.gif">
<BR>
<BR>P.P.S.: psion, credi sia il caso ch\'io mi colleghi al sito web dell\'Accademia e mi scarichi il paper dei neologismi datati settembre 2004? No, sai perché te lo chiedo? Causa l\'estrema mia impùdica<sup>(1)</sup> insipienza, mi trovo a dover ricoscere che la parola \"xkè\" è del tutto estranea al mio vocabolario... <IMG SRC="images/forum/icons/icon_razz.gif">
<BR>
<BR><sup>(1)</sup>: ragioni metriche mi obbligano ad alterare la posizione naturale dell\'accento tonico! Il purista non si dispiccia... D\'altro canto, Dante stesso, parlando di Evaristo, lo citava come il gran \"geomètra\", sicché... <IMG SRC="images/forum/icons/icon_wink.gif">
<BR>
<BR>
<BR>\"Questo tizio cerca rogne...\" - HiTLeuLeR parafrasando l\'omino del cervello
<BR>On 2004-10-18 18:31, Catraga wrote:
<BR>\"La bravura di un matematico non si valuta col dimostrare con termini altisonanti e ragionamenti complessi, ma con l\'utilizzare il minimo di definizioni e la massima semplicita\' di pensiero \" - Catraga, parafrasando Hamilton.
<BR></BLOCKQUOTE></FONT></TD></TR><TR><TD><HR></TD></TR></TABLE><!-- BBCode Quote End -->
<BR>Ché difatti IO non sono un Matematico, mio caro catraga! E\' sufficiente questo per giustificarmi? Ok, grassie... <IMG SRC="images/forum/icons/icon_confused.gif">
<BR>
<BR>P.S.: \"brutale\" in che senso, scusa? Penso di non aver mai esibito una soluzione così elementare in vita mia... <IMG SRC="images/forum/icons/icon_eek.gif">
<BR>
<BR>P.P.S.: psion, credi sia il caso ch\'io mi colleghi al sito web dell\'Accademia e mi scarichi il paper dei neologismi datati settembre 2004? No, sai perché te lo chiedo? Causa l\'estrema mia impùdica<sup>(1)</sup> insipienza, mi trovo a dover ricoscere che la parola \"xkè\" è del tutto estranea al mio vocabolario... <IMG SRC="images/forum/icons/icon_razz.gif">
<BR>
<BR><sup>(1)</sup>: ragioni metriche mi obbligano ad alterare la posizione naturale dell\'accento tonico! Il purista non si dispiccia... D\'altro canto, Dante stesso, parlando di Evaristo, lo citava come il gran \"geomètra\", sicché... <IMG SRC="images/forum/icons/icon_wink.gif">
<BR>
<BR>
<BR>\"Questo tizio cerca rogne...\" - HiTLeuLeR parafrasando l\'omino del cervello
\"Brutale\" : questi esercizi possono essere risolti in modo molto rapido, senza impelagarsi in catene di disuguaglianze; le dimostrazioni sono corrette, ma a me paiono piu\' complesse del necessario... basta partizionare in modo astuto l\'isieme {1...2n} per creare delle corrette piccionaie (nel primo lo hai fatto - in modo molto arzigogolato, non c\'e\' che dire), il secondo:
<BR>
<BR>Lemma: gcd(k,k+1)=1 per ogni k intero.
<BR>Partizioniamo {1...2n} negli insiemi {i,i+1} con i =1,3,5,7...2n-1.
<BR>Abbiamo creato cosi\' 2n / 2 = n insiemi.
<BR>Per il pigeonhole due elementi di S appartengono alla stessa partizione, indichiamoli con a[k1] ed a[k2], quindi {a[k1],a[k2]}={j,j+1} per qualche j.
<BR>Per il lemma a[k1] ed a[k2] sono primi tra loro. Fatto.
<BR>
<BR>HiTLeuLeR, non ho mai insinuato, e mai mi e\' giunta idea dal mondo iperuranio, che tu fossi un matematico...
<BR> <IMG SRC="images/forum/icons/icon_razz.gif">
<BR>
<BR>Lemma: gcd(k,k+1)=1 per ogni k intero.
<BR>Partizioniamo {1...2n} negli insiemi {i,i+1} con i =1,3,5,7...2n-1.
<BR>Abbiamo creato cosi\' 2n / 2 = n insiemi.
<BR>Per il pigeonhole due elementi di S appartengono alla stessa partizione, indichiamoli con a[k1] ed a[k2], quindi {a[k1],a[k2]}={j,j+1} per qualche j.
<BR>Per il lemma a[k1] ed a[k2] sono primi tra loro. Fatto.
<BR>
<BR>HiTLeuLeR, non ho mai insinuato, e mai mi e\' giunta idea dal mondo iperuranio, che tu fossi un matematico...
<BR> <IMG SRC="images/forum/icons/icon_razz.gif">
Aladin to the genius: "Oh, great spirit! My desire is that you do not fullfill my desire"
The genius was enlightened.
The genius was enlightened.
Non sono d\'accordo con Catraga (e spero non me ne voglia per tale divergenza). La soluzione che ha postato HiTLeuLeR è la medesima presente in tutti i libri di <!-- BBCode Start --><I>problem-solving</I><!-- BBCode End --> relativa a questo (classico) problema del semplice quanto stupendo <!-- BBCode Start --><I>Pigeonhole/Box Principle</I><!-- BBCode End -->, ed è la più \"naturale\". Non mi pare assolutamente giustificabile il definirla <!-- BBCode Start --><B>brutale</B><!-- BBCode End -->. E\' pur vero che alle volte il nostro <!-- BBCode Start --><I>misero ingeniere</I><!-- BBCode End --> si affida a troppa retorica per risolvere i problemi, ma anche questa colpa non gli è imputabile: ognuno si esprime come vuole e non è un delitto rendere \"barocco\" un <!-- BBCode Start --><I>proof</I><!-- BBCode End -->.
<BR>
<BR>P.S.: HiTLeuLeR, ti arriverà a casa la mia parcella...
<BR>
<BR>P.S.: HiTLeuLeR, ti arriverà a casa la mia parcella...
"Le vite degli uomini famosi ci ricordano
Che possiamo rendere sublimi le nostre esistenze
E, morendo, lasciare dietro di noi
Le nostre impronte sulle sabbie del tempo"
Henry Wadsworth Longfellow
Che possiamo rendere sublimi le nostre esistenze
E, morendo, lasciare dietro di noi
Le nostre impronte sulle sabbie del tempo"
Henry Wadsworth Longfellow
<!-- BBCode Quote Start --><TABLE BORDER=0 ALIGN=CENTER WIDTH=85%><TR><TD><font size=-1>Quote:</font><HR></TD></TR><TR><TD><FONT SIZE=-1><BLOCKQUOTE>
<BR>On 2004-10-19 08:34, Catraga wrote:
<BR>HiTLeuLeR, non ho mai insinuato, e mai mi e\' giunta idea dal mondo iperuranio, che tu fossi un matematico... <IMG SRC="images/forum/icons/icon_razz.gif">
<BR></BLOCKQUOTE></FONT></TD></TR><TR><TD><HR></TD></TR></TABLE><!-- BBCode Quote End -->
<BR>Beh, se non alto... curioooso! Leggendo di quel che scrivi e delle obiezioni che mi muovi, sai che di te ho pensato anch\'io lo stesso? <IMG SRC="images/forum/icons/icon21.gif">
<BR>
<BR>
<BR>\"Chi semina vento, raccoglie tempesta.\" - saggezza antica
<BR>On 2004-10-19 08:34, Catraga wrote:
<BR>HiTLeuLeR, non ho mai insinuato, e mai mi e\' giunta idea dal mondo iperuranio, che tu fossi un matematico... <IMG SRC="images/forum/icons/icon_razz.gif">
<BR></BLOCKQUOTE></FONT></TD></TR><TR><TD><HR></TD></TR></TABLE><!-- BBCode Quote End -->
<BR>Beh, se non alto... curioooso! Leggendo di quel che scrivi e delle obiezioni che mi muovi, sai che di te ho pensato anch\'io lo stesso? <IMG SRC="images/forum/icons/icon21.gif">
<BR>
<BR>
<BR>\"Chi semina vento, raccoglie tempesta.\" - saggezza antica
<!-- BBCode Quote Start --><TABLE BORDER=0 ALIGN=CENTER WIDTH=85%><TR><TD><font size=-1>Quote:</font><HR></TD></TR><TR><TD><FONT SIZE=-1><BLOCKQUOTE>
<BR>On 2004-10-19 10:45, DB85 wrote:
<BR>E\' pur vero che alle volte il nostro <!-- BBCode Start --><I>misero ingeniere</I><!-- BBCode End --> si affida a troppa retorica per risolvere i problemi, ma anche questa colpa non gli è imputabile: ognuno si esprime come vuole e non è un delitto rendere \"barocco\" un <!-- BBCode Start --><I>proof</I><!-- BBCode End -->.
<BR></BLOCKQUOTE></FONT></TD></TR><TR><TD><HR></TD></TR></TABLE><!-- BBCode Quote End -->
<BR>Quest\'è la parte che più mi piace, DB85! E se ti proponessi di essere la mia fidanzata piuttosto che il mio avvocato difensore? La parcella dovrei pagartela comunque? Uff... il tuo morboso attaccamento al vile denaro è proprio da ingegneri, sai? Vergognati!!! Ed io che ti stavo offrendo il mio amore, gh... <IMG SRC="images/forum/icons/icon_frown.gif">
<BR>
<BR>
<BR>\"Questa è una ca...!!! Una grande c***a...!!! Una grossa, gigantesca, strepitosa c***ata!!!\" - la tv
<BR>On 2004-10-19 10:45, DB85 wrote:
<BR>E\' pur vero che alle volte il nostro <!-- BBCode Start --><I>misero ingeniere</I><!-- BBCode End --> si affida a troppa retorica per risolvere i problemi, ma anche questa colpa non gli è imputabile: ognuno si esprime come vuole e non è un delitto rendere \"barocco\" un <!-- BBCode Start --><I>proof</I><!-- BBCode End -->.
<BR></BLOCKQUOTE></FONT></TD></TR><TR><TD><HR></TD></TR></TABLE><!-- BBCode Quote End -->
<BR>Quest\'è la parte che più mi piace, DB85! E se ti proponessi di essere la mia fidanzata piuttosto che il mio avvocato difensore? La parcella dovrei pagartela comunque? Uff... il tuo morboso attaccamento al vile denaro è proprio da ingegneri, sai? Vergognati!!! Ed io che ti stavo offrendo il mio amore, gh... <IMG SRC="images/forum/icons/icon_frown.gif">
<BR>
<BR>
<BR>\"Questa è una ca...!!! Una grande c***a...!!! Una grossa, gigantesca, strepitosa c***ata!!!\" - la tv