Le forum de XCAS

assume(0<x<pi);
solve(sqrt(3+cos(x))=4*cos(x)); // 2 solutions au lieu de 1 attendue
simplifier(subst(4*cos(x),x=acos((-sqrt(193)+1)/32)));// est negatif

Malheureusement, je ne peux pas controler que les solutions calculees verifient bien l'equation initiale a cause du acos (dans ce cas la je pourrais, mais dans d'autres cas cela provoquerait des calculs interminables). Peut-etre que je devrais rajouter un warning?

oui un warning ce serait le mieux