supposons(x>0);solve(5*exp(-x)-3*exp(-2*x)>0) renvoie list[1]
meme type de pb ici
solve(5*exp(x)-3>0) renvoie list[x>(ln(3/5))]
assume(x<0);solve(5*exp(x)-3>0) renvoie list[x>(ln(3/5))]
[Edit]
avec giac c'est bon
Code : Tout sélectionner
0>> f(x):=5*exp(-x)-3*exp(-2x)+x-3
// Interprète f
// Succès lors de la compilation f
(x)->5*exp(-x)-3*exp(-2*x)+x-3
// Time 0.02
1>> g:=unapply(simplifier(f(x)-(x-3)),x)
(x)->-3*exp(-x)^2+5*exp(-x)
// Time 0
2>> resoudre(g(x)>0)
list[x>(-ln(5/3))]
// Time 0
3>> assume(x>0)
x
// Time 0
4>> resoudre(g(x)>0)
list[x>0]
// Time 0
Code : Tout sélectionner
0>> solve(5*exp(x)-3>0)
list[x>(ln(3/5))]
// Time 0.01
1>> assume(x<0)
x
// Time 0
2>> solve(5*exp(x)-3>0)
list[((x>(ln(3/5))) and (x<0))]
// Time 0
solve(x-1>0)
assume(x<3)
solve(x-1>0) // donne list[x>1]
Il me semble que le pb vient de l'autosimplification sur xcas
autosimplify(0) ok
autosimplify(1) l'hypothese n'est pas prise en compte