next up previous contents index
suivant: Connaitre les hypothèses faites monter: Les variables précédent: Copier sans l'évaluer le   Table des matières   Index


Faire une hypothèse sur une variable : assume

assume permet de faire des hypothèses sur une variable.
assume a comme argument un nom de variable suivi d'une égalité ou d'une inégalité représentant l'hypothèse faite. On peut mettre plusieurs hypothèses à condition de les relier par and ou or selon ce que l'on veut faire !
assume renvoie le nom de la variable sur laquelle on a fait les hypothèses.
On tape
assume(a=2)
Ou on tape
assume(a:=2)
On obtient :
parameter(a,-10.0,10.0,2)
Remarque
Lorsque assume a comme argument une seule égalité et que la commande est tapée dans une ligne d'entrée d'un écran de géométrie, cela met un petit curseur en haut et à droite de cet écran. Le nom du paramètre est noté à droite du curseur. Ce curseur permet de changer la valeur du paramètre et cette valeur sera notée à gauche du curseur. On tape par exemple :
assume(a=2)
Cela signifie que tous les calculs seront faits avec a quelconque, à condition que les points aient des coordonnèes exactes, mais que la figure sera tracée avec a=2 et que l'on pourra faire varier avec le petit curseur la figure en fonction de a (de WX- à WX+). Attention En géométrie il faut donc travailler avec des coordonnèes exactes par exemple :
A:=point(i);assume(b:=2); B:=point(b); puis on tape :
longueur(A,B);
On obtient :
sqrt((-b)^2+1)
Mais :
A:=point(0.0+i);assume(b:=2); B:=point(b); puis on tape :
longueur(A,B);
On obtient la valeur approchée de $ \sqrt{{(1+4)}}$ :
2.2360679775
Attention à la différence entre assume et element
Si b:=element(0..3,1) est tapé dans une ligne d'entrée d'un écran de géométrie, cela met aussi un petit curseur en haut et à droite de cet écran avec b=1 et on pourra faire varier b avec le petit curseur de 0 à 3. Mais la variable b n'est pas formelle !
On tape
a;b
On obtient :
(a,1)

On tape pour supposer que la variable formelle a est positive :

assume(a>0)
On obtient :
a
On tape :
assume((b>=0)and (b<2) and (b,integer))
On obtient :
b
Si assume a comme argument le nom d'une variable il est alors synonyme de about. On tape :
assume(a)
On obtient :
assume[DOM_FLOAT,[line[0,+(infinity)]],[0]]

next up previous contents index
suivant: Connaitre les hypothèses faites monter: Les variables précédent: Copier sans l'évaluer le   Table des matières   Index
Documentation de giac écrite par Renée De Graeve