Marrant mais tu ne devrais pas dire ca: tout exercice est facile pour certains, et quelque soit ton niveau il y aura toujours des gens 10 fois plus forts que toi.
Moi-meme je suis loin de me considérer comme très fort.
Je te propose
f(n)=n+p si p^2-(p-1)<= n <(p+1)^2-p
On a p^2+1<=f(n)<(p+1)^2 par définition et
en prenant n entre p^2-(p-1) et (p+1)^2-p on a bien tous les éléments de cet intervalle.
f est donc une surjection de N* dans M et une bijection car elle est injective (car strictement croissante)
Il ne reste plus qu'à construire une bijection de N dans N* (x->x+1) et à composer ce que jaurais fait si javais vu que cétait N et pas N*
Impressionnant hans!
Tu es sur la bonne voie.
Comment as-tu pensé encadrer f(n) et chercher une formule explicite pour ses "gendarmes" plutôt qu'expliciter directement f(n)?
1) obtention par tatonnements trop longs à expliquer.
2) Pour prouver que ça marche, il faut constater que la différence entre deux termes consécutifs est 1 ou 2. Et identifier à quel moment c'est 1 et à quel moment c'est 2. Tu te retrouves à encadrer n comme l'a fait hans.
Franchement réjouis-toi cest super davoir des exos difficiles en colle: parfois on avait des exos du Hprépa , mais les touts premiers numéros, que du calcul aucun intéret.
Tres joli petit probleme :++:
Il faut etre ravi d'avoir de si beaux sujets, en effet, que de perdre son temps dans des calculs a n'en plus finir.
:jap: