Le forum de XCAS

Bonjour,

J'avais dans l'idée d'utiliser Xcas pour que mes élèves puissent faire la démonstration sur la résolution de ax^2+bx+c=0 sans s'arréter sur des calculs complexes (forme canonique puis étude du signe du discriminant). J'ai donc fait : Réponse : puis et réponse : puis retourne deux solutions.

Je me suis dit que c'était un problèmes de déclaration de variables ou un problème d'utilisation de assume mais en fait je sèche !...
Peut-on utiliser assume pour distinguer les 3 cas ?
Sinon, avez vous une piste à me proposer ?

Merci

Bruno

PS : j'ai essayé de définir f comme f(x,a,b,c)=a*x^2+b*x+c ou de donner d'abord des valeurs à a, b et c puis de les purger avec purge sans succcès.

En fait, assume permet de faire une hypothese sur un parametre, pas sur une expression. En plus pour solve, le test de positivite n'est fait que s'il n'y a pas de parametres pour le moment, je rajoute le cas d'un parametre, ce qui permettra de faire solve(x^2+x+c) avec assume(c>1/4) ou pas par exemple, mais plus je ne sais pas faire.

Bonjour, et merci pour cette réponse rapide.
bruno