dario2994 ha scritto:Il bonus non l'ho ben capito...
Infatti ho misspellato "vertici".
Il senso era questo: siccome bastano 21 punti opportunamente disposti per trovare un rettangolo monocromatico, viene naturale chiedersi se si possa fare di meglio. Ovvero, è possibile prendere 20 punti (o meno), disposti in modo opportuno, che contengano un rettangolo monocromatico qualunque sia la colorazione? Risposta: no, perché...
La tua dimostrazione trascura qualche caso (o lo tratta in modo un po' implicito), ma l'approccio va bene e funziona.
Il modo in cui l'ho risolto io è un po' diverso: la prima riga ha almeno 4 punti rossi (wlog). In corrispondenza di questi 4 punti, nella seconda riga vi sono almeno 3 punti bianchi (o si formerebbe un rettangolo). In corrispondenza di questi 3 punti, nella terza riga vi sono almeno 2 punti di uno stesso colore. Se sono rossi, formano un rettangolo con la prima riga; se sono bianchi, formano un rettangolo con la seconda riga.