Soit la proposition "dans tout orchestre, tous les instrumentistes ont le même instrument".
Appelons n le nombre (fini) d'instrumentistes dans un orchestre.
Si n = 1,
cette proposition est vraie.
Soit un
entier n vérifiant la propriété et considérons un orchestre ayant n + 1
instrumentistes : x1, x2, …
xn+1
Soit la proposition "dans tout orchestre, tous les instrumentistes sont des cornistes".
Appelons n le nombre (fini) d'instrumentistes dans un orchestre.
Si n = 0,
la proposition est vraie.
Supposons qu'elle soit vraie pour tout
entier k inférieur ou égal à n.
Avec un orchestre ayant n + 1 instrumentistes vous pouvez former deux
sous-orchestres ayant chacun un nombre d'instrumentistes strictement
plus petit que n + 1 ; appliquez alors l'hypothèse de
récurrence à chacun de ces sous-orchestres et …
concluez que la proposition envisagée est vraie.