Le forum de XCAS

juste une petite erreur de Xcas

eq:=sqrt(1+x^2)<=x+m
supposons(m>0);solve(eq); // resultat juste
solve(sqrt(1+x^2)<=x) // le cas m=0 ok
supposons(m<0);solve(eq); // renvoie une solution alors qu'il n'y en a pas

C'est deja vrai avec l'equation, la solution est en trop (plus exactement la solution est celle qu'on obtient si on met au carre). C'est parce que j'ai desactive la verification dans le cas parametrique, c'etait trop couteux dans d'autres cas. Donc ca va rester tel quel... Un utilisateur un peu averti se posera quand meme la question d'avoir une egalite pour solution d'une inequation...

l'utilisateur a le dernier mot et c'est tres bien comme çà
de Cedric Villani ce vendredi:
"l'association homme-machine sera toujours superieure à l'homme seul ou à la machine seule"