solve
Publié : dim. mai 30, 2010 5:53 pm
En corrigeant le bac Pondichéry 2010 avec Xcas, j'ai besoin de:
supposons(n>0);solve(1-(10/(n+10))^20>999/1000,n) qui renvoie
n,[((n>=0) && (n<(100000000000000000000000^(1/20)+10))),n>(100000000000000000000000^(1/20)+10)]
alors que je m'attendais à n>(100000000000000000000000^(1/20)-10)
Je remarque que supposons(n>0);solve(1-(1/n)^20>999/1000,n) renvoie bien n,[n>(1000^(1/20))]
supposons(n>0);solve(1-(10/(n+10))^20>999/1000,n) qui renvoie
n,[((n>=0) && (n<(100000000000000000000000^(1/20)+10))),n>(100000000000000000000000^(1/20)+10)]
alors que je m'attendais à n>(100000000000000000000000^(1/20)-10)
Je remarque que supposons(n>0);solve(1-(1/n)^20>999/1000,n) renvoie bien n,[n>(1000^(1/20))]