nodjim a écrit:Je partage ta démo, c'est celle que je voulais écrire, mais à cet endroit là, je ne vois pas ce problème. Pour moi une permutation et une seule suffit, et est toujours possible, pour faire entrer un nouveau garçon dans le groupe des garçons ayant déja fait leur choix.
d'abord je prie les puristes ou les vrais mathématiciens de bien vouloir m'excuser pour un langage maths pas forcément top, et qui parfois doit hérisser le poil, c'est juste de l'incompétence de ma part.
donc j'ai défini les flèches qui vont de G vers F
comme la somme des flèches:
-d'une bijection de n vers n
-de flèches qui vont de G vers les n filles "en plus"
-de flèches qui vont de G vers extra-n filles encore en plus
c'est vrai que je pourrai faire permuter un G relié aux filles communes du n+1, avec un G non relié aux filles communes du n+1,à charge pour lui de trouver une extra-n fille
mais je ne souhaite pas le faire car je ne veux pas détruire ma bijection,
je veux dire de bijection n alors je peux passer à bijection n+1 ,
donc je ne fais pas ce changement car je veux amener une contradiction,
je vire donc les G sans fille commune dans n avec le garçon n+1, je les vire, et je mets alors le nouveau groupe n+1-k en obligation de bijection,...
Enfin, il me semble, mais je ne suis pas certain d'avoir ni le droit, ni la justesse de faire tout cela,...
L'important est de savoir quoi faire lorsqu'il n' y a rien à faire.