assume

[alb]

assume(n,integer);additionally(n>=3)
solve(comb(x,1)+comb(x,2)+comb(x,3)=7x/2) // renvoie list[0,4] ; sur Xcas on a list[4]

[parisse]

J'obtiens 4 uniquement en remplacant n par x

Code : Tout sélectionner

assume(x,integer);additionally(x>=3);
solve(comb(x,1)+comb(x,2)+comb(x,3)=7x/2) 

[alb]

exact j'ai fait une erreur de copier coller. Desole !

[alb]

pourquoi cette difference (sans hypoyhese sur x) ?
subst(comb(x,1)+comb(x,2)+comb(x,3),x=-4) // undef
comb(-4,1)+comb(-4,2)+comb(-4,3) // -14

[parisse]

parce que comb(x,...) n'est pas laisse tel quel, il est remplace avec la fonction Gamma, et comme Gamma(-n) est infini pour n entier >0, on a infini/infini->undef, il faut alors utiliser limit au lieu de subst.