solve(asin(2x/(x^2+1))=2*atan(x)) devrait renvoyer list[x<=-1,x>=1]
oups
devrait renvoyer list[((x>=-1) and (x<=1))]
solve(asin(2x/(x^2+1))=2*atan(x))
Modérateur : xcasadmin
solve(asin(2x/(x^2+1))=2*atan(x))
Dernière modification par alb le jeu. avr. 11, 2019 8:49 pm, modifié 1 fois.
Re: solve(asin(2x/(x^2+1))=2*atan(x))
Peut-on faire:
assume(x>1);solve(asin(2x/(x^2+1))=2*atan(x))
assume(x<-1);solve(asin(2x/(x^2+1))=2*atan(x))
assume(-1<=x<=1);solve(asin(2x/(x^2+1))=2*atan(x))
assume(x>1);solve(asin(2x/(x^2+1))=2*atan(x))
assume(x<-1);solve(asin(2x/(x^2+1))=2*atan(x))
assume(-1<=x<=1);solve(asin(2x/(x^2+1))=2*atan(x))
Re: solve(asin(2x/(x^2+1))=2*atan(x))
Je ne vois pas comment ameliorer, comme il y a 2 fonctions transcendantes, simplify est appele a la rescousse et la simplification est faite en supposant x proche de 0 ce qui est affiche dans les warnings. Du coup il renvoie [x].
On peut effectivement faire assume(x>=1) pour que la simplification soit faite en supposant x>=1, et on obtient alors [1], puis x<=-1 pour avoir [-1], puis -1<=x<=1.
On peut aussi faire une representation graphique apres avoir vu le message d'avertissement, ce qui permet de comprendre ce qui se passe.
On peut effectivement faire assume(x>=1) pour que la simplification soit faite en supposant x>=1, et on obtient alors [1], puis x<=-1 pour avoir [-1], puis -1<=x<=1.
On peut aussi faire une representation graphique apres avoir vu le message d'avertissement, ce qui permet de comprendre ce qui se passe.