la fonction f est dérivable sur ]0,1] et sa dérivé est f'(x)=x/(x+1)²
-----
la fonction f est dérivable sur ]0,1] et sa dérivé est f'(x)=x/(x+1)²
f est strictement croissante donc positive
ln(x+1)-(x/x+1) >0
donc ln(x+1)> x/x+1
avec les limites de f
je trouve lim de f(x)quans x tend vers 0 = 0 et f(1)=ln2-(1/2) environ = 0,19
donc f est positive
Oui, mais celle en 1, on s'en fout ! on sait que la fonction est strictement croissante, donc, si sa valeur minimale est positive, alors la fonction est positive.
Et comme on l'a étudié sur ]0;1], qu'elle est strictement croissante et que la limite en 0 est 0, on peut dire que la fonction est STRICTEMENT positive sur ]0;1]
en déduire que (1/lambda)ln(1+lambda) >ou= 1/2
on utilise donc ln(lambda+1)>lambda/(lambda+1)
mais je ne trouve pas de relation
1> 1/(lambda+1) >= 1/2
je cherche mais je ne trouve pas
dsl mais je ne vois pas
pour la question 5.
Zo=2exp(-x)-1
2exp(-x)-1=0
2exp(-x)=1
exp(-x)=1/2
exp(-x)=exp(ln(1/2))
-x=ln1/2
x=-ln1/2
Deux minutes papillon ... pourquoi il n'y a pas de lambda dans Zo ?
Je crois qu'on s'est planté ...
l'équation diff en z est
z' + lambda z = -1
donc Zo(x) = k exp(-lambda x) -1
et Zo(0) = 1
donc Zo(x) = 2 exp(-lambda x) -1
Je suis vraiment désolé de ne pas l'avoir vu plus tot ...
ce n'est pas grave !
donc j'ai fais 2exp(-lambdax)-1=0
x=- ln1/2 / lambda
Ben si ! tu viens pour que je t'aide et je t'enduis d'erreurs !
Je te propose de montrer que Zo est strictement décroissante et que Zo(1/2) > 0.
Pour ca, on montre que la dérivé de Zo est strictement négative (pas de pb) puis on calcule Zo(1/2) = 2 exp(-lambda / 2) -1
Je veux montrer que ce machin est positif.
Je sais que 1/lambda ln(lambda +1) > 1/2 donc
lambda + 1 < exp(-lambda/2)
(je multiplie par -lambda (négatif) et je prend l'exp (croissante))
Je multiplie tout par 2 et j'enlève 1 de chaque coté :
2lambda + 1 < 2 exp(-lambda/2) -1 = Zo(1/2)
il reste à montrer que 2lambda + 1 est positif, ce qui ne devrait pas poser de pb ...
je suis perdue là...
je comprends pas 1/lambda*(lnlambda+1)>1/2
oui mais je ne comprends pas à quoi ça nous sert ici et puis je ne comprends pas aussi
lambda + 1< exp(-lambda/2)
J'ai encore fait une petite erreur
J'ai montré que Zo est décroissante donc pour répondre à la question 5, j'aimerai montrer que son minimum (en x = 1/2) est positif.
Donc, je calcule Zo(1/2). Ce qui vaut 2 exp(-lambda / 2) -1.
Je ne sais pas tout de suite que ce truc est positif donc, je vais partir de la question 4 et la modifier pour essayer d'avoir une inégalité avec 2 exp(-lambda / 2) -1.
J'ai donc
1/lambda ln(lambda +1) > 1/2
Je multiplie par lambda (> 0, pas de changement de sens)
ln(lambda +1) > lambda/2
Je multiplie par -1 (< 0, changement de sens)
-ln(lambda +1) < -lambda/2
Je dis que -ln(x) = ln(1/x) donc
ln( 1/(lambda +1) ) < -lambda/2
Je passe à l'exp (croissante, pas de changement de sens)
1/(lambda +1) < exp(-lambda/2)
Je multiplie par 2, je soustrait 1
2/(lambda +1) -1 < 2exp(-lambda/2) -1
J'ai maintenant Zo(1/2) à droite. Je réduit le terme de gauche au même dénominateur.
(1 - lambda) / (1 + lambda) < Zo(1/2)
Et il ne me reste plus qu'à montrer que le terme de gauche est positif.
0 < lambda <= 1 donc
0 <= (1 - lambda) < 1
et (1 + lambda) > 0
d'où
(1 - lambda) / (1 + lambda) >= 0
donc Zo(1/2) > 0
Zo étant décroissante sur ]-inf ; 1/2], elle ne s'annule pas.
CQFD.
pour la q.6 on utilise le théorème des valeurs intermédiaires ?
pour la question 6 il faut juste démontrer que 2exp(-lambdax)-1 est strictement positif sur ]-oo;1/2[ ?