Caso \( n=1 \): In un insieme con un solo cavallo è evidente che tutti i cavalli hanno lo stesso colore.
Caso generale: In un insieme di \( n + 1 \) cavalli tolgo un cavallo.
Rimangono \( n \) cavalli, che per l'ipotesi induttiva sono dello stesso colore
(diciamo bianco per fissare le idee).
Ora rimetto dentro il cavallo che avevo tolto e ne tolgo un altro; di nuovo
ho un insieme con \( n \) cavalli, tutti quindi dello stesso colore.
Questo significa che anche il primo cavallo tolto era bianco e ho
concluso la dimostrazione...
| [indietro] - [Indice diapositive] - [avanti] (20 sec) | [INDUZIONE] |