a) vous avez écrit 3 fois assume(a,real) au lieu de le faire pour a,b,c
b) pour les conditions, il vaut mieux les décomposer en :
assume(a > 0);assume( b > 0);assume(c > 0);assume(c < 2*a*b/(a+b));
et les poser avant le >is<
c) il faut définir la matrice M après ces conditions.
d) Mais effectivement :
is(Determinant(M) > 0) donne FAIL comme is(2*a*b*c-a*c^2-b*c^2>0) donne FAIL
La réponse FAIL de >is< signifie que Maple n'a pas réussi à déduire logiquement la valeur de la propriété demandée...Maple n'est pas très malin.
e) par contre vous ne pouvez pas écrire >ab< pour le produit >a*b< de >a< et de >b< car >ab< sera reconnu comme le nom d'une nouvelle variable >ab< indépendante de >a< et de >b<.
Partager