enveloppe a 2 arguments : une expression Xpr dépendant de 3
variables x,y,t (resp u,v,t) et t (resp le vecteur [u,v,t]).
Les equations Xpr=0 sont considérées comme les
équations de courbes de paramètre t.
enveloppe renvoie l’enveloppe de ces courbes lorsque t varie.
On tape :
On obtient :
On tape :
On obtient :
Remarque
Si on a une famille de droites d qui dépendent d’un paramètre
a, on peut utiliser soit enveloppe(equation(d,a)) soit
la commande lieu (voir 10.20.1).
Voici un exemple simple : enveloppe de la tangente à un cercle.
On tape :
c:=cercle(0,2):; assume(a:=1); A:=element(c,a); d:=tangente(cercle(0,2),A);
Puis soit:
soit :