inegalité assez lointaine

[frederic han]

Salut,
(idem avec giac 1.1.0 et 1.1.1)
solve cette inégalité n'attrape pas l'intervalle de droite:

Code : Tout sélectionner

F:=(k-1)^2*(k^2-6*k-3)/16/(k+1)^2-k+1;
solve(F>=0,k);

donne:

Code : Tout sélectionner

list[k<-1,((k>-1) and (k<=1))]

pour un dessin de:

[parisse]

Ca vient de la racine reelle de l'equation du 3eme degree qui est exacte mais exprimee avec un rootof qui fait intervenir une racine complexe. Je rajoute des garde-fous pour eliminer la partie imaginaire epsilonesque.