suivant: Les points en géométrie
monter: Les fonctions de géométrie
précédent: Pour créer une image
Table des matières
Index
Comment faire une démonstration : assume
Pour pouvoir faire une démonstration en géométrie, il suffit de demander
au calcul formel de faire les calculs, en choisisant bien les paramètres du
problème et ces paramètres doivent être formels....En géométrie
les points peuvent avoir des coordonnèes exactes ou numériques ou formelles.
Mais pour faire une figure, il faut affecter les paramètres formels. On
peut le faire de différentes façons :
- on utilise a commande assume avant la création du point à
coordonnèes formelles. Par exemple assume(a=2.1);A:=point(a+i); fera la
figure en donnant à a la valeur 2.1, mais a ne sera pas
affecté dans les calculs qui seront faits ultérieurement avec le
paramètre formel a : si on tape longueur(0,A), on obtient
sqrt((-a)
^
2+1)
- on utilise l'écran de configuration des attributs d'un point déjà
crée avec des coordonnèes exactes ou numériques et on coche la rubrique
symb figurant sur cet écran.
Pour faire apparaitre l'écran de configuration des attributs d'un
point où figure la rubrique symb, il faut être
en mode point ou en mode Pointeur et uniquement dans
ces 2 modes. On suppose que l'on a déjà défini un point, par exemple
A:=point(2.1,1). On clique sur A avec le bouton droit
de la souris, on fait apparaitre l'écran de configuration des attributs du
point A où figure la rubrique symb. On coche symb avec la
souris et cela a pour effet de rajouter les deux lignes
assume(Ax=[2.1,-5.0,5.0]), assume(Ay=[1,-5.0,5.0])
et de définir automatiquement le point A avec les
coordonnées symboliques (Ax,Ay).
Attention la rubrique symb n'apparait que dans l'écran de
configuration des attributs d'un point non symbolique : autrement dit si on a
défini un point avec des coordonnées symboliques c'est définitif !
suivant: Les points en géométrie
monter: Les fonctions de géométrie
précédent: Pour créer une image
Table des matières
Index
Documentation de giac écrite par Renée De Graeve