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
:
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]]
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