No, scusa, temo che non mi sono spiegato bene. E' OVVIO che se la proposizione è dimostrata allora con 100 punti c'è sempre almeno un esagono....ma non è dimostrata !!!E' molto semplice con la logica, è un fatto necessario. Se 17 punti sono sufficienti per disegnare almeno 1 esagono convesso per qualsiasi loro disposizione, e tu di punti me ne dai 100, io 83 li ignoro, considero un sottoinsieme di 17 punti nei 100 punti, e certamente potrò disegnare il mio esagono convesso. Sono cose così ovvie che a volte sfuggono, oppure ti ho capito male...
![Very Happy :D](./images/smilies/icon_biggrin.gif)
Quindi come faccio a dimostrare per via NON geometrica che con 100 punti c'è SEMPRE almeno un esagono? Come si fa a dimostrare che NON esiste un controesempio con un dato insieme di punti?
Certo che possiamo sapere se ce ne sono altre!I tentativi che sono stati fatti sono una strada percorribile, ma "a priori" non possiamo sapere se ce ne sono altre e quali sono, occorre provare e cercarle,
![Very Happy :D](./images/smilies/icon_biggrin.gif)