Supposons par exemple qu'il y ait huit
Mathics. Il y a plus de Mathics dans ce bois qu'Otto ne possède
de champignons, donc Otto possède moins
de huit champignons. Or il n'y a pas deux mathics qui
possèdent le même nombre de champignons, et aucun
n'en possède 7 (donc Otto en possède au maximum 6).
Voyons ce que cela donne dans un tableau
:
Mathic N° : |
1
|
2
|
3
|
4
|
5
|
6
|
7
|
8 (Otto)
|
Nombre de champignons possédés :
|
0
|
1
|
2
|
3
|
4
|
5
|
6
|
7 (impossible
!)
|
Le nombre de champignons est forcément
inférieur au nombre de Mathics. Cela ne pose pas de
problème jusqu'à 7 Mathics, le premier en possédant
0 et le dernier 6, mais à partir de 8 Mathics, c'est
impossible : aucun n'en possède 7, et on ne peut plus
établir de bijection entre l'ensemble des Mathics et
l'ensemble du nombre de champignons possibles, ce dernier
ayant un cardinal inférieur à celui des Mathics.
Il y a donc
au maximum 7 Mathics dans la forêt de Mathé.
PS : bien sûr, la valeur "17"
n'était là que pour détourner l'attention
du lecteur !
|