L'insieme dei primi 7 numeri - SNS 1975 (Conferma soluzione)

[elios]

"Dividiamo l'insieme dei primi sette interi positivi in due parti. Dimostrare che, comunque sia fatta questa suddivisione, una delle due parti contiene almeno una coppia di numeri la cui differenza appartiene pure alla parte stessa. (Per esempio, la parte costituita dai numeri 1 e 2 soddisferebbe la condizione richiesta poiché 2-1=1)"

Questa è la mia soluzione, e volevo chiedervi se sia meglio farla in un altro modo, ad esempio non usando i numeri.
Tento di costruire una suddivisione che non presenti le caratteristiche di cui sopra. Innanzitutto, esistono delle coppie di numeri che contengono nella loro stessa coppia il numero che è la differenza fra i due, e queste sono (1,2), (2,4), (3,6). Quindi, per costruire la suddivisione, ciascun numero deve essere separato dall'altro della coppia, e da ciò ne consegue quindi che 2 deve trovarsi separato sia da 1, sia da 4. Perciò nel primo gruppo per ora troveremo 2, e nel secondo troveremo 1 e 4. Trovandosi insieme l'1 e il 4, il 3 (=4-1) non potrà trovarsi nel secondo gruppo, ma nel primo e ciò causa la presenza del 6 nel secondo gruppo. Perciò nel primo gruppo ci sono il 2 e il 3, e nel secondo gruppo ci sono l'1, il 4 e il 6. A questo punto, sia il primo gruppo sia il secondo gruppo non ammettono la presenza del 5 (5-3=2 e 6-5=1) se si vuole far sì che le condizioni iniziali restino valide. Ciò implica che non è possibile dividere l'insieme dei primi 7 numeri in due parti di cui almeno una non contenga almeno una coppia di numeri la cui differenza appartiene pure alla parte stessa.

Che ne dite? Dovrei cercare un modo senza dividere i numeri, ma solo concettuale?
Grazie.

[elios]

Devo ipotizzare che sia corretto? =)

[G.D.]

Per me è OK.

[Gatto89]

Per me è OK.

Quoto.

[Ev3nt]

L'insieme delle differenze è composto dai valori 1, 2, 3, 4, 5, 6. La differenza tra i due insiemi è pertanto di un solo elemento, ma ne servono almeno due (per formare una coppia) affinchè la tesi di partenza sia negata.

Dite che funziona come dimostrazione?

[elios]

Sinceramente non l'ho capita.. Puoi spiegarla meglio?

[G.D.]

Manco io l'ho capita.

[Ev3nt]

L'insieme delle differenze è composto dai valori 1, 2, 3, 4, 5, 6. La differenza tra i due insiemi è pertanto di un solo elemento, ma ne servono almeno due (per formare una coppia) affinchè la tesi di partenza sia negata.

Dite che funziona come dimostrazione?

Aiuto! Ma l'ho scritta io sta cosa? Ricordo che c'era un ragionamento dietro, se riesco a ricostruirlo ve lo comunico, nel frattempo fate come se non avessi scritto niente.
Pardon!

[nontrivialzero]

Che ne dite? Dovrei cercare un modo senza dividere i numeri, ma solo concettuale?
Grazie.

Secondo me si. Con 7 numeri si può fare quello che hai fatto tu, ma matematicamente non è molto corretto, se l'insieme fosse stato di 17 o 1000007? Analizzare le varie combinazioni sarebbe un lavoro immane.

[G.D.]

@nontrivialzero
Che significa che "non è matematicamente corretto"? A mio avviso il suo ragionamento non fa una grinza: in Matematica non esistono solo dimostrazioni deduttive o induttive, ma anche costruttive. Parecchie cose possono essere dimostrate per via costruttiva o, se mi passate questo termine, anticostruttiva, cioè mostrando che la costruzione non è possibile. Inoltre se l'insieme avesse avuto diciassette o più elementi, chi ci assicura che il claim del problema sarebbe stato ancora valido?