J'ai entré dans ma calculatrice (TI92+) ceci:
solve(m-a=(2/7)*(b-a) and m=(a*x+b*y)/(x+y) and x+y!=0,x)
et ça me retourne false ! Je sais pourtant qu'il y a des solutions (ex: x=5 et y=2)
en modifiant très légèrement le calcul, mais en restant équivalent au calcul précedant,
on trouve un résultat différent:
solve(m-a=(2/7)*(b-a) and m*(x+y)=(a*x+b*y) and x+y!=0,x)
Quelq'un saurait quelle est la cause de ce bug ?
Merci d'avance.
trust Le 13/05/2003 à 17:43 ca m'etonerai que la ti sache faire cela... elle se limite au stystemes lineaires de n eq à >=n inconnue non?
Même si ma ti ne savais pas faire cela, il n'y aurait aucune raison pour qu'elle me retourne un résultat faux.
De plus, en entrant ce qui est ci-dessous, on trouve la solution x=5 et y=2:
solve(m-a=(2/7)*(b-a) and m*(x+y)=(a*x+b*y) and x+y!=0,m)
Ca retourne m=(5*a+2*b)/7 and x=5*y/2 and y!=0, ce qui signifie que x=5 et y=2 est une solution.
Pourquoi me retourne-t-elle alors "false" pour le premier calcul qui est pourtant équivalent ?
J'ai essayé la solution proposée par hibou, et je le remercie. Cependant, le résultat est encore faux, car ça retourne :
x=@1 and y=@2 and a=m and b=m and @1+@2!=0
Dans ce résultat, a et b sont forcément égaux à m, or je sais que c'est faux, car si on prend x=5 et y=2,
il y a des solutions pour a et b:
x=5 et y=2
solve(m-a=(2/7)*(b-a) and m*(x+y)=(a*x+b*y) and x+y!=0,{a,b})
Cela ne retourne pas false mais a=(7*m-2*@1)/5 and b=@1 donc le résultat retourné pour {x,y} est faux, a et b peuvent prendre des valeurs différentes de m.
