Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
Discussion fermée
#1 05-01-2018 17:15:04
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
OIM 2017 - Suite, Exo 2
La suite du premier post :
Soit $\mathbb{R}$ l'ensemble des nombres réels. Déterminer toutes les fonction $f:\mathbb{R} \to \mathbb{R}$ telles que, pour tous réels $x$ et $y$ :
$\displaystyle f\left(f(x)f(y)\right)+f(x+y)=f(xy)$
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne
#2 06-01-2018 16:48:59
- tibo
- Membre expert
- Inscription : 23-01-2008
- Messages : 1 097
Re : OIM 2017 - Suite, Exo 2
Salut,
A quoi sert une hyperbole?
----- A boire de l'hypersoupe pardi !
Hors ligne
#3 07-01-2018 16:50:05
- Christson Aw
- Membre
- Inscription : 07-01-2018
- Messages : 1
Re : OIM 2017 - Suite, Exo 2
On constate que la fonction f(x) = 0 vérifie
alors cherchons les autres fonctions qui vérifent
posons y= 0 et f(0) = a alors on a f[af(x)] + f(x) = a (*)
posons X= af(x) on a alors f(x) = X/a
alors l'aquation (*) devient f(X) + X/a = a
f(x) = -X/a +a
d'ou on a f(x)= -x/a +a
cherchons les valeurs
a partir de l'équation f[f(x)f(y)] + f(x+y) = f(xy) on trouve que a²-1 = 0 d'où a prend les valeurs -1 et 1
d'ou on a les fonctions f(x) = 0 , f(x) = -x+1 et f(x)= x+1 sont solutions
ce qui est facile à vérifier
merci
Hors ligne
#4 07-01-2018 18:25:36
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
Re : OIM 2017 - Suite, Exo 2
Bonsoir Christson Aw,
Je je prends le cas $f(x)=x+1$ et que je vérifie, je trouve :
$f\left(f(x)f(y)\right)=f(x)f(y)+1=(x+1)(y+1)+1=xy +(x+y) +2$
$f(x+y)=x+y+1$
d'où $f\left(f(x)f(y)\right)+f(x+y)=xy + 2(x+y)+3$
de l'autre côté $f(xy)=xy + 1$
ce qui ne respecte pas la contrainte sur $f$.
Ton erreur vient du passage
$f(X)=-\dfrac{X}{a} + a \implies f(x)=-\dfrac{x}{a} + a$.
Outre le fait qu'il faut traiter le cas $a=0$, $f$ ne respecte la première égalité que pour les nombres qui sont de la forme $af(x)$, pas pour tous les réels.
Dernière modification par Yassine (08-01-2018 15:08:07)
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne
#5 07-01-2018 22:47:36
- tibo
- Membre expert
- Inscription : 23-01-2008
- Messages : 1 097
Re : OIM 2017 - Suite, Exo 2
Re,
A quoi sert une hyperbole?
----- A boire de l'hypersoupe pardi !
Hors ligne
#6 07-01-2018 23:09:06
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
Re : OIM 2017 - Suite, Exo 2
Bonsoir
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne
#7 08-01-2018 15:43:07
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
Re : OIM 2017 - Suite, Exo 2
Bonjour,
Comme je l'ai dit, le diable se cache dans les détails, donc, si quelqu'un peut vérifier ma démonstration ...
Dernière modification par Yassine (08-01-2018 15:46:09)
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne
#8 08-01-2018 17:37:19
- tibo
- Membre expert
- Inscription : 23-01-2008
- Messages : 1 097
Re : OIM 2017 - Suite, Exo 2
Re,
A quoi sert une hyperbole?
----- A boire de l'hypersoupe pardi !
Hors ligne
#9 08-01-2018 17:46:13
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
Re : OIM 2017 - Suite, Exo 2
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne
#10 09-01-2018 22:24:11
- tibo
- Membre expert
- Inscription : 23-01-2008
- Messages : 1 097
Re : OIM 2017 - Suite, Exo 2
Re,
[edit] @Yassine : Vu que tu avais l'air d'accord avec ma conjecture, mais que j'y ai trouvé un contre exemple, j'ai regardé ta démonstration et effectivement il y a une erreur.
Tu as oublié un $fof$ à la fin.
Dernière modification par tibo (09-01-2018 22:28:26)
A quoi sert une hyperbole?
----- A boire de l'hypersoupe pardi !
Hors ligne
#11 10-01-2018 01:03:59
- Roro
- Membre expert
- Inscription : 07-10-2007
- Messages : 1 565
Re : OIM 2017 - Suite, Exo 2
Bonsoir,
Si on cherche des solutions dérivables, en dérivant l'équation par rapport à $x$ (par exemple), et en évaluant en $y=0$ on doit en déduire que soit $f=0$, soit $af'(af(x))+1=0$, où $a=f(0)$.
Ensuite, en évaluant l'équation dérivée en $x=0$ je crois qu'on en déduit une équation différentielle linéaire dont on peut trouver les solutions.
Il faut ensuite vérifier lesquels satisfont l'équation initiale (on trouve f=0 ou f=1-x).
A vérifier...
Roro.
Hors ligne
#12 10-01-2018 11:00:04
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
Re : OIM 2017 - Suite, Exo 2
Bonjour,
Mazette, il faut remettre le travail sur le métier !
@Roro : Je n'ai pas vu de moyen simple pour montrer que la fonction était continue (sans parler de dérivable). Donc, avec ta solution, on ne trouve pas toutes les fonctions, mais uniquement celles qui sont dérivables.
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne
#13 10-01-2018 18:42:56
- Roro
- Membre expert
- Inscription : 07-10-2007
- Messages : 1 565
Re : OIM 2017 - Suite, Exo 2
Bonsoir,
C'est exact. Si ce que je propose fonctionne (je n'ai pas fait les calculs précisément...), elle ne permet d'obtenir que les solutions dérivables. Mais c'est déjà pas mal !!!
Roro.
Hors ligne
#14 10-01-2018 21:42:02
- Roro
- Membre expert
- Inscription : 07-10-2007
- Messages : 1 565
Re : OIM 2017 - Suite, Exo 2
Bonsoir,
Un début d'idée :
à suivre...
Roro.
Dernière modification par Roro (10-01-2018 21:45:27)
Hors ligne
#15 11-01-2018 11:47:40
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
Re : OIM 2017 - Suite, Exo 2
Bonjour,
Dernière modification par Yassine (11-01-2018 17:51:51)
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne
#16 11-01-2018 22:16:23
- Roro
- Membre expert
- Inscription : 07-10-2007
- Messages : 1 565
Re : OIM 2017 - Suite, Exo 2
Bonsoir,
Suite... et fin.
Le point clé est de montrer que $f$ est injective :
Roro.
Hors ligne
#17 11-01-2018 22:29:26
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
Re : OIM 2017 - Suite, Exo 2
Bravo Roro !
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne
#18 12-01-2018 11:32:45
- freddy
- Membre chevronné
- Lieu : Paris
- Inscription : 27-03-2009
- Messages : 7 457
Re : OIM 2017 - Suite, Exo 2
Hello,
ce que j'ai trouvé dans la nuit.
Dernière modification par freddy (12-01-2018 12:37:50)
De la considération des obstacles vient l’échec, des moyens, la réussite.
Hors ligne
#19 12-01-2018 13:01:41
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
Re : OIM 2017 - Suite, Exo 2
Salut
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne
#20 12-01-2018 13:18:47
- freddy
- Membre chevronné
- Lieu : Paris
- Inscription : 27-03-2009
- Messages : 7 457
Re : OIM 2017 - Suite, Exo 2
Yassine,
vu, OK !
De la considération des obstacles vient l’échec, des moyens, la réussite.
Hors ligne
#21 12-01-2018 22:31:38
- freddy
- Membre chevronné
- Lieu : Paris
- Inscription : 27-03-2009
- Messages : 7 457
Re : OIM 2017 - Suite, Exo 2
Cela étant, ça n’invalide pas la forme de f, non ? D’autant qu’on vérifie qu’elle vérifie la contrainte pour tout x et y, non ?
De la considération des obstacles vient l’échec, des moyens, la réussite.
Hors ligne
#22 13-01-2018 10:45:37
- Yassine
- Membre
- Inscription : 09-04-2013
- Messages : 1 090
Re : OIM 2017 - Suite, Exo 2
Re,
Je sais que la fonction $f(x)=1-x$ vérifie la contrainte. La question est de connaitre toutes les fonctions, et donc de trouver des conditions nécessaires.
La seule propriété $\forall x, f(f(x))=1-f(x)$ ne permet pas de conclure que $\forall x, f(x)=1-x$
Par exemple, une fonction définie par $\forall n \in \mathbb{Z}, f(n)=1-n$ et $\forall x \in \mathbb{R}\setminus \mathbb{Z}, f(x)=[x]^2+25$ vérifie bien $\forall x, f(f(x))=1-f(x)$
[EDIT]
Correction pour freddy : remplacer $\mathbb{N}$ par $\mathbb{Z}$
Dernière modification par Yassine (14-01-2018 10:54:54)
L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel
Hors ligne
#23 13-01-2018 22:48:35
- freddy
- Membre chevronné
- Lieu : Paris
- Inscription : 27-03-2009
- Messages : 7 457
Re : OIM 2017 - Suite, Exo 2
Re,
Oui, je comprends bien.
Il y a un souci pour n=2, non ?
f(2)=-1 et f(-1)= 26 et non 2 ...
@Yassine : m'en doutais un peu :-)
Dernière modification par freddy (16-01-2018 11:33:11)
De la considération des obstacles vient l’échec, des moyens, la réussite.
Hors ligne
Pages : 1
Discussion fermée