Equation fonctionelle

Olympiades mathématiques, énigmes et défis
kasmath
Membre Relatif
Messages: 186
Enregistré le: 25 Mai 2009, 00:38

equation fonctionelle

par kasmath » 20 Juin 2010, 23:02

trouvez tous les fonction
tel que :



windows7
Membre Rationnel
Messages: 548
Enregistré le: 18 Juin 2010, 13:00

par windows7 » 20 Juin 2010, 23:38

on a

f(n) <= n

donc f(1)=1

f(2) = f( 1 + f(1) ) = f(1)² +1 = 2

f(3) =f( 1 + f(2) ) = f(1)²+3 = 3

patati patata

Avatar de l’utilisateur
Ben314
Le Ben
Messages: 20244
Enregistré le: 11 Nov 2009, 23:53

par Ben314 » 21 Juin 2010, 12:20

windows7 a écrit:... f(n) <= n ...

Et pourqoui donc ?
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius

windows7
Membre Rationnel
Messages: 548
Enregistré le: 18 Juin 2010, 13:00

par windows7 » 21 Juin 2010, 12:45

salut ben

parce que dans IR on a deja pas bien le choix ..

Doraki
Habitué(e)
Messages: 4983
Enregistré le: 20 Aoû 2008, 13:07

par Doraki » 21 Juin 2010, 13:06

c'est pas parcequ'on a une fonction de N* dans N* qui vérifie ces équations qu'on a une fonction de R dans R qui étend la fonction de départ tout en continuant à vérifier les équations pour n et m non-entiers.

windows7
Membre Rationnel
Messages: 548
Enregistré le: 18 Juin 2010, 13:00

par windows7 » 21 Juin 2010, 13:16

oui oui oui oui oui mais on voit mieu les choses dans IR

suffit de remarquer de fof est affine en realité

kasmath
Membre Relatif
Messages: 186
Enregistré le: 25 Mai 2009, 00:38

par kasmath » 21 Juin 2010, 13:25

windows7 a écrit:on a

f(n) <= n

donc f(1)=1

f(2) = f( 1 + f(1) ) = f(1)² +1 = 2

f(3) =f( 1 + f(2) ) = f(1)²+3 = 3

patati patata



tu pourrais pas poser quq chose sans démontrer

Avatar de l’utilisateur
Ben314
Le Ben
Messages: 20244
Enregistré le: 11 Nov 2009, 23:53

par Ben314 » 21 Juin 2010, 13:25

1) Pour tout , si alors donc : f est injective.

2) Pour tout , on a :
(par symétrie)
donc (injectivité) ce qui montre que est constante.
Si on note cette constante, alors, pour tout , doit être un carré et cela n'est possible que si .
On en déduit que, pour tout , , c'est à dire que .

3) Pour tout , on a si on pose .
On en déduit (récurrence) que .
Or, on doit avoir , c'est à dire ce qui n'est possible que si

Conclusion : Pour tout ,
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius

kasmath
Membre Relatif
Messages: 186
Enregistré le: 25 Mai 2009, 00:38

par kasmath » 21 Juin 2010, 13:33

Ben314 a écrit:1) Pour tout , si alors donc : f est injective.

2) Pour tout , on a :
(par symétrie)
donc (injectivité) ce qui montre que est constante.
Si on note cette constante, alors, pour tout , doit être un carré et cela n'est possible que si .
On en déduit que, pour tout , , c'est à dire que .

3) Pour tout , on a si on pose .
On en déduit (récurrence) que .
Or, on doit avoir , c'est à dire ce qui n'est possible que si

Conclusion : Pour tout ,

presque comme mon idée

windows7
Membre Rationnel
Messages: 548
Enregistré le: 18 Juin 2010, 13:00

par windows7 » 21 Juin 2010, 14:10

propose un truc compliqué et on verra mais bon la ..

dailleurs cest bcp plus general que cela

windows7
Membre Rationnel
Messages: 548
Enregistré le: 18 Juin 2010, 13:00

par windows7 » 21 Juin 2010, 14:13

je suis pas sur d'avoir bien lu

n²+k est un carré => k=0 ?

pythagore et ces fameux triplets sont plus d'actualité ?

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 19:30

par Nightmare » 21 Juin 2010, 14:24

n² + k doit être un carré pour tout n ! En particulier, pour n=2 ...

windows7
Membre Rationnel
Messages: 548
Enregistré le: 18 Juin 2010, 13:00

par windows7 » 21 Juin 2010, 14:32

oui et ya combien de K verifiants ca ? je vois bcp !

Doraki
Habitué(e)
Messages: 4983
Enregistré le: 20 Aoû 2008, 13:07

par Doraki » 21 Juin 2010, 14:46

Si k > 0 et n > (k-1)/2, alors n²+k ne peut pas être un carré.

windows7
Membre Rationnel
Messages: 548
Enregistré le: 18 Juin 2010, 13:00

par windows7 » 21 Juin 2010, 15:04

oui oui j'avoue jveux casser les burnes un peu :D

windows7
Membre Rationnel
Messages: 548
Enregistré le: 18 Juin 2010, 13:00

par windows7 » 21 Juin 2010, 16:00

bon je donne quand meme ma reponse ..

fof=id

on montre f croissante de la facon suivante

comme fof=id alors n=f(k)

donc f(m²+f(n)) = f(m²+k) = f(m)²+f(k)

on prend m=1 on a alors

f(1+k)=f(1)²+f(k)

donc f(1+k)-f(k) > 0 f croissante

montrons juste f(n)=n


si f(n) > n

=> fof(n) > f(n) par croissance

fonc n > f(n)

donc f(n)=n

windows7
Membre Rationnel
Messages: 548
Enregistré le: 18 Juin 2010, 13:00

par windows7 » 21 Juin 2010, 16:02

windows7 a écrit:bon je donne quand meme ma reponse ..

fof=id

on montre f croissante de la facon suivante

comme fof=id alors n=f(k)

donc f(m²+f(n)) = f(m²+k) = f(m)²+f(k)

on prend m=1 on a alors

f(1+k)=f(1)²+f(k)

donc f(1+k)-f(k) > 0 f croissante

montrons juste f(n)=n


si f(n) > n

=> fof(n) > f(n) par croissance

fonc n > f(n)

donc f(n)=n


idem si f(n) < n

Avatar de l’utilisateur
Ben314
Le Ben
Messages: 20244
Enregistré le: 11 Nov 2009, 23:53

par Ben314 » 21 Juin 2010, 18:30

windows7 a écrit:...fof=id...
Pourqoui ?
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius

windows7
Membre Rationnel
Messages: 548
Enregistré le: 18 Juin 2010, 13:00

par windows7 » 21 Juin 2010, 19:06

comme je l'ai di je ne c plus quand c'est bien plus general que juste le cas exposé par notre ami.

tu veux une autre demo que la tienne pour fof = id ?

 

Retourner vers ⚔ Défis et énigmes

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 2 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite