CILINDRO

cruz(u,v):= determinant(matrix([e1,e2,e3],u,v));

);

F0: x0^2+y0^2-1;
G0: z0-x0;
u: [1,1,-1];
P0: [x,y,z]-t*u;

Velocidad
define(v(t),diff(f(t),t));
v(1);

Componentes Aceleracin
diff(f(t),t,2).T(t)$
at: %,t=1;

Rapidez
define(rapidez(t),norma(v(t)));
rapidez(1);

diff(f(t),t,2).N(t)$
an= %,t=1;

solve(G0=0,t),x0=P0[1],y0=P0[2],z0=P0[3]$
P0,%$
F0,x0=%[1],y0=%[2],z0=%[3]$
expand(%)$
H: factor(%)*2;
draw3d(
surface_hide=true,
implicit(H=0,x,-5,5,y,-5,5,z,-5,5)
);
CONO
F0: x0^2/9 +y0^2/16 -1;
G0: 3*x0+2*y0-z0;
v: [-4,2,3];
P0: ([x,y,z]-t*v)/(1-t);
solve(G0=0,t),x0=P0[1],y0=P0[2],z0=P0[3]$
P0,%$
F0,x0=%[1],y0=%[2],z0=%[3]$
ratsimp(%)$
H: factor(%)*144*(z-2*y-3*x-11)^2;
draw3d(
color=red, point_type=7,point_size=1,
points([v]),
color=green,
implicit(H=0,x,-10,10,y,-10,10,z,-10,10)
);
REVOLUCIN
F0: x0-y0;
G0: z0;
P1: [1,3,6];
n: [2,5,3];
solve([F0=0,G0=0],[y0,z0]);
define(f(x),[x0,y0,z0]),%;
curva: parametric(f(x)[1],f(x)[2],f(x)[3],x0,10,10);
draw3d(
curva,
color=red,
parametric(1-2*t,3-5*t,6-3*t,t,-10,10)
);
norma(u):= sqrt(u.u);
Esf: norma([x,y,z]-P1)^2-norma([x0,y0,z0]P1)^2;
Plano: [x,y,z].n-[x0,y0,z0].n;
solve([F0=0,G0=0,Plano=0],[x0,y0,z0]);
Esf,%[1];
expand(%);
H:49*factor(%);
draw3d(
implicit(H=0,x,-10,10,y,-10,10,z,-10,10)
);
TRIEDRO
f(t):=[1-t^3,2*t,3*t^2];
curva: parametric(f(t)[1],f(t)[2],f(t)[3],t,-10,10);
draw3d(
curva
);
norma(u):= sqrt(u.u);
e1:[1,0,0]$
e2:[0,1,0]$
e3:[0,0,1]$

Aceleracin
define(a(t),diff(f(t),t,2));
a(1);
El Triedro Mvil
A:f(1);
Vector tangente unitario
v(t)/norma(v(t))$
define(T(t),%);
Vector normal unitario
diff(T(t),t)$
%/norma(%)$
radcan(%)$
define(N(t),%);
Vector binormal unitario
cruz(T(t),N(t))$
radcan(%)$
define(B(t),%);
Graficacin Triedro movil cuando t=1
draw3d(
xrange=[-10,10],yrange=[-10,10],zrange=[10,10],
curva,
color=red,point_type=7,point_size=1,
points([A]),
head_length=0.5,
color=dark_green,
vector[A,4*T(1)],
vector[A,4*N(1)],
vector[A,4*B(1)]
);
Circulo y Plano Osculador
Curvatura
norma(diff(T(t),t))/rapidez(t)$
k: %,t=1;
Torsin
norma(diff(B(t),t))/rapidez(t)$
l: %,t=1;
Radio de curvatura
p: 1/k;

Recta Tangente
T(1)*7;
A+t*%;
tangente: parametric(%[1],%[2],%[3],t,-10,10);
Recta Normal
N(1)*(7*sqrt(17));
A+t*%;
normal: parametric(%[1],%[2],%[3],t,-10,10);
Recta Binormal
B(1)*sqrt(17);
A+t*%;
binormal: parametric(%[1],%[2],%[3],t,-10,10);
draw3d(
xrange=[-10,10],yrange=[-10,10],zrange=[10,10],
xlabel="Eje x",ylabel="Eje y",zlabel="Eje z",
curva,
color=red,point_type=7,point_size=1,
points([A]),
color=dark_green,
tangente,normal,binormal
);
Plano Osculador
B(1)*sqrt(17);
osculador: [x,y,z].%-%.A;
Plano Rectificante
N(1)*7*sqrt(17);
rectificante:[x,y,z].%-%.A;
Plano Normal
T(1)*7;
pnormal: [x,y,z].%-%.A;
draw3d(
surface_hide=true,
xrange=[-10,10],yrange=[-10,10],zrange=[10,10],
xlabel="Eje x",ylabel="Eje y",zlabel="Eje z",
curva,
color=red,point_type=7,point_size=1,
points([A]),
color=dark_green,
implicit(osculador=0,x,-5,5,y,-5,5,z,-5,5),
implicit(rectificante=0,x,-5,5,y,-5,5,z,-5,5),
implicit(pnormal=0,x,-5,5,y,-5,5,z,-5,5)
);

Centro de Curvatura
C: A+p*N(1);
LONGITUD DE ARCO
Representacin Cartesiana del Circulo
Osculador
Esf: norma([x,y,z]-C)^2-p^2;
Plano: ([x,y,z].B(1))-B(1).A;
S: solve([Esf=0,Plano=0],[y,z])$
define(i(x),[x,y,z]),S[1]$
E1: parametric(i(x)[1],i(x)[2],i(x)[3],x,(343*sqrt(13)+1078)/102,(343*sqrt(13)1078)/102);
define(h(x),[x,y,z]),S[2]$
E2: parametric(h(x)[1],h(x)[2],h(x)[3],x,(343*sqrt(13)+1078)/102,(343*sqrt(13)1078)/102);
draw3d(
xrange=[-25,5],yrange=[-20,20],zrange=[-25,20],
xlabel="Eje x",ylabel="Eje y",zlabel="Eje z",
curva,
color=red,point_type=7,point_size=1,
points([A]),
color=dark_green,
E1,E2

r(t):=[3*cos(t),3*sin(t)];
norma(u):=sqrt(u.u);
diff(r(t),t);
norma(%);
integrate(%,t,0,2*%pi);
COMANDOS
expand();
factor();
ratsimp();
radcan();
trigsimp();
line_width / head_length / surface_hide=true/
points([ [ ], [ ] ]) /