"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.