GaBuZoMeu a écrit:
Par contre, j'avoue ne pas saisir complètement le raisonnement de MMu. Le "Si ... alors ..." de sa dernière ligne me paraît très rapide, je ne comprends pas l'argument. MMu, peux-tu préciser ? Merci !
C'est pour le pb
1 : Mea culpa, j'ai donné ma réponse trop à la va vite. Je développe donc .
J'ai déjà montré que les

doivent être distincts .
Sans perte de généralité on peut les prendre strictement croissants :

On procède par induction (à l'ancienne !).
Manifestement

, bien que pour certains il faut le prouver (sic !).
Supposons alors
On a
=\{0,1,2,...,2^{i}-1\})
Il faut

, sinon

n'est pas injective.
Si

alors

n'est pas surjective puisque la valeur

n'est pas atteinte.
En conclusion

, and so on .. q.e.d ..
Ceci étant fait, je reprouve la façon du dattier de balancer plus de 20 pb(!!), ça devient le foutoir .
