Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 12-02-2019 09:51:44

alain
Membre
Inscription : 12-02-2019
Messages : 9

permutation de N*

Bonjour. Soit f une bijection de N*. Montrer qu' il existe a,b,c tels que : 0<a<b<c et 2f(b)=f(a)+f(c). Je ne connais pas grand chose sur les permutations de N* ( à part: la somme de n images est minorée par n(n+1)/2). J'ai essayé de procéder par l'absurde, en prenant a grand et (c-a) très grand, avec f(a) et f(c) de même parité, mais sans grand résultat; D'avance merci pour toute idée.

Hors ligne

#2 12-02-2019 15:58:14

aviateur
Membre
Inscription : 19-02-2017
Messages : 189

Re : permutation de N*

Bonjour
On raisonne par l'absurde.
On désigne par g la bijection réciproque.   
Fixons un entier  n. (n=1  par exemple devrait marcher).  Considérons les entiers  p>n=1  impairs. 
Pour chaque  p ,  (p+n)/2 est un entier  et par hypothèse on ne peut avoir g((p+n)/2)  dans l'intervalle ] g(n), g(p)[  (comprendre "entre" g(n)  et g(p)  car on peut très bien avoir g(p)< g(n) ).  Mais comme n est fixé, il est clair qu'on a une infinité  d'entiers p (impairs) tel que
g(n)< g(p)  et g[(n+p)/2]> g(p).

Mais alors  g((n+p)/2)/p  = g((n+p)/2)/[(n+p)/2] * ((n+p)/2)/p  tend vers 1/2  quand p tend vers l'infini alors  que
g((n+p)/2) /p>g(p)/p   et g(p)/p  tend vers 1. D'où la contradiction.

Hors ligne

#3 13-02-2019 07:09:22

alain
Membre
Inscription : 12-02-2019
Messages : 9

Re : permutation de N*

Bonjour et merci pour la réponse.Mais je ne vois pas pourquoi g(p)/p tend vers 1...

Hors ligne

#4 13-02-2019 09:28:41

aviateur
Membre
Inscription : 19-02-2017
Messages : 189

Re : permutation de N*

Bonjour
C'est une erreur de ma part. J'ai lu un peu trop vite un truc de ce genre. En fait si f est une bijection et si f(n)/n  converge alors la limite c'est 1. Donc ma démo est restrictive. 
En voici une autre qui convient à ta question (elle n'est pas de moi)

Soit [tex]g[/tex] la réciproque de [tex]f[/tex] . Soit [tex]a[/tex] tel que [tex]g(a)=1[/tex] . 
Soit [tex]m[/tex] le minimum de l'ensemble [tex]g(\{a+1,a+2,....\})[/tex] et soit [tex]b[/tex] tel que [tex]g(b)=m[/tex].
Manifestement [tex]g(2b-a)>m[/tex]
On a ainsi [tex]g(a)<g(b)<g(2b-a)[/tex] et [tex]2f(g(b))=2b=a+(2b-a)=f(g(a))+f(g(2b-a))[/tex]

Hors ligne

#5 13-02-2019 15:00:12

alain
Membre
Inscription : 12-02-2019
Messages : 9

Re : permutation de N*

re bonjour et merci pour la preuve. Pas facile à trouver... Par contre, oui si (n)/n  a une limite cette limite vaut 1.

Hors ligne

#6 13-02-2019 18:56:18

Michel Coste
Membre
Inscription : 05-10-2018
Messages : 1 095

Re : permutation de N*

Une variante, plus forte ($f$ est toujours une bijection de l'ensemble des entiers $>0$ sur lui-même) : montrer que pour tout entier $a>0$, il existe des entiers $b$ et $c$ tels que $a<b<c$ et que $2f(b)=f(a)+f(c)$.

Hors ligne

Pied de page des forums