Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Manual de Maxima, Miguel A. Jorquera
Manual de Maxima, Miguel A. Jorquera
Maxima
Miguel A. Jorquera
7 de marzo de 2008
Pgina 2
Copyright marzo 2008, Miguel A. Jorquera. Versin 0.6
Este documento es libre. Se otorga permiso para copiarlo, distribuirlo
y/o modificarlo en los trminos de la Licencia de Documentacin
Libre GNU, versin 1.2 o posterior publicada por la Fundacin de
Software Libre, http://es.gnu.org/licencias/fdles.html.
Este manual se encuentra en fase de desarrollo, revisin de diseo
grfico, ortografa y otros aspectos que posiblemente cambiarn en las
siguienes versiones al tiempo que se irn aadiendo nuevos captulos.
Si usted encuentra algn error y/o quiere hacer alguna aportacin,
su ayuda ser bienvenida. e-mail: jorquera11@hotmail.com
Miguel A. Jorquera
ndice general
1. Software Libre y Matemticas
1.1. Educacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Software matemtico . . . . . . . . . . . . . . . . . . . . . . . . .
2. wxMaxima
2.1. Introduccin . . . . . . . . . . .
2.1.1. Instalacin . . . . . . .
2.1.2. Cuestiones bsicas . . .
2.1.3. Cuestiones Pedaggicas
5
5
5
.
.
.
.
9
9
9
10
11
.
.
.
.
.
.
.
13
13
15
17
17
17
18
19
.
.
.
.
.
.
.
.
25
25
26
26
27
27
28
28
30
5. Vectores
5.1. Introduccin . . . . . . . . . . . . . . . . .
5.2. Operaciones . . . . . . . . . . . . . . . . .
5.3. Dependencia e independencia de vectores
5.4. Ejercicios . . . . . . . . . . . . . . . . . .
.
.
.
.
33
33
33
35
36
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3. Matrices y Determinantes
3.1. Operaciones con matrices . . . . . . . . . . .
3.2. Clculo de determinantes . . . . . . . . . . .
3.3. Unidad Didctica: Matrices y Determinantes
3.3.1. Introduccin . . . . . . . . . . . . . .
3.3.2. Objetivos . . . . . . . . . . . . . . . .
3.3.3. Actividades . . . . . . . . . . . . . . .
3.3.4. Soluciones . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Pgina 4
NDICE GENERAL
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
39
39
39
40
40
41
41
44
45
45
46
46
47
47
48
48
50
51
52
53
7. Lmites y continuidad
7.1. Clculo de lmites . . . . . . .
7.2. Asntotas . . . . . . . . . . .
7.2.1. Asntotas Verticales .
7.2.2. Asntotas Horizontales
7.2.3. Asntotas Oblcuas . .
7.3. Ejercicios . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
57
57
60
60
60
60
60
Miguel A. Jorquera
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Captulo 2
wxMaxima
2.1.
Introduccin
Maxima es un programa de calculo simblico similar a los programas comerciales Maple y Mathematica.
Est publicado bajo licencia libre GNU/GPL y funciona en diferentes plataformas (Linux, Window, Mac, etc.).
Es software libre, por lo que su cdigo fuente est disponible par que todo
el que quiera adapte el programa a sus necesidades.
Es gratuito, por lo que se puede distribuir a los alumnos libremente.
Mxima puede realizar diferentes clculos numricos y simblicos con polinomios, sistemas de ecuaciones, matrices, funciones, derivadas, integrales,
lmites, series de Taylor, etc.
Puede representar funciones en 2D y 3D ayudndose de GNUplot.
Adems funciona como lenguaje de programacin por lo que las posibilidades son enormes.
La web oficial de Mxima es http://maxima.sourceforge.net/ o si la prefiere
en castellano http://maxima.sourceforge.net/es/
Maxima funciona en modo texto en consola, pero afortunadamente existen
varios entornos grficos que hacen ms agradable su manejo. Los principales son
xmaxima y wxmaxima.
En este manual, trabajaremos con wxmaxima.
2.1.1.
Instalacin
Pgina 10
2.1. INTRODUCCIN
2.1.2.
Cuestiones bsicas
Antes de empezar a utilizar wxMaxima es importante tener en cuenta algunas consideraciones que nos ayudarn a ir ms rpido y entender lo que va
apareciendo en la pantalla.
Cada lnea aparece numerada, por ejemplo, la primera es ( %i1). Si es una
entrada aparece i (input-entrada) y si es una salida aparece o (outputsalida) y a continuacin el nmero de lnea. As podemos referirnos a una
expresin anterior mediante su identidad ( %ox, %ix) para no tener que
Miguel A. Jorquera
CAPTULO 2. WXMAXIMA
Pgina 11
2.1.3.
Cuestiones Pedaggicas
Pgina 12
2.1. INTRODUCCIN
El profesor puede mostrar el funcionamiento de la aplicacin con un proyector conectado a un ordenador y luego los alumnos podrn realizar los
ejercicios ms rpido.
La utilizacin de grficas en el ordenador ayuda a que los alumnos tengas una visin ms real de la geometra que se est estudiando evitando
aproximaciones realizadas en la pizarra o en el cuaderno.
Maxima ser til en algunos casos, e intil en otros. No hay que forzar su
uso en todas las ocasiones ya que esto sera un error, pero hay contextos
en los cuales el error sera no usarlo.
Se fomenta ms el trabajo creativo en detrimento del rutinario.
Se les puede repartir a los alumnos una copia de wxMaxima para que se
la lleven a sus casas y puedan practicar independientemente de que los
alumnos tengan Window en sus casas y trabajen con Window o Linux en
el Instituto.
Miguel A. Jorquera
Captulo 3
Matrices y Determinantes
3.1.
Una matriz en Mxima es una lista de listas donde cada elemento es una
fila. Para definir una matriz se utiliza la palabra matrix y entre parntesis
encerramos las filas de la misma que a su vez estn encerradas por corchetes y
cada elemento separado por comas. Por ejemplo una matriz A se definira en
mxima as: A:matrix([1,2],[3,4])
Esto se puede simplificar utilizando el men lgebra ->Introducir matriz
Producto de matrices se utiliza el operador .
Para el producto de un nmero por una matriz se utiliza el operador
*
Para la suma de matrices se utiliza el operador +
Para calcular la inversa de una matriz cuadrada usaremos el operador
^^-1 o la funcin invert
Si queremos que al calcular la inversa tengamos el determinante fuera
debemos indicrselo a wxMaxima con tres variables: detout: true$
doallmxops: false$ doscmxops:false$ invert(A); Con detout: true le
decimos que el determinante lo saque fuera y poner las otras dos
variables a false es para que haga las operaciones sin contar con el
determinante, que lo pondr fuera.
El rango de una matriz se calcula con la funcin rank
La transpuesta de una matriz se calcula con la funcin transpose
Dada una matriz tambin podemos obtener la matriz triangular que
resultara de aplicar transformaciones elementales por filas siguiendo el
mtodo de Gauss. Esto es posible a la funcin triangularize que tiene
Maxima. Existe otra funcin llamada echelon con la que se obtiene una
matriz triangular igual que con la funcin triangularize, pero todos los
elementos de la diagonal principal son todos 1.
13
Pgina 14
(a)
(b)
Pgina 15
3.2.
Clculo de determinantes
Con wxMaxima podemos calcular el determinante de una matriz con
la funcin determinant, es decir, dada una matriz A, obtendramos su determinante con determinant(A); desde el men lgebra ->Determinante.
Pgina 16
Pgina 17
3.3.
3.3.1.
Entre las herramientas del lgebra lineal se encuentran las matrices y los
determinantes. El concepto de matriz fue introducido por James Sylvester (18141897) hacia 1850.
En la vida cotidiana aparecen matrices cuando tenemos una gran cantidad
de datos ordenados por bloques ya que la notacin matricial nos ayuda a tener
una mejor visualizacin de los datos. Por ello, las matrices se utilizan en mbitos
muy diversos como el comercio, economa, sociologa, informtica fsica, etc.
El concepto de determinante es anterior al de matriz, aunque en la actualidad
se ensea al revs. Gauss (1777-1855) fue el primero en utilizar el concepto de
determinante.
La utilidad de estos dos conceptos se pone de manifiesto en buena parte del
currculo de Matemticas II y Matemticas Aplicadas a las CCSS II de 2 de
bachillerato. Por ello esta unidad tratar estos conceptos desde el punto de vista
del clculo simblico, usando la aplicacin wxMaxima.
3.3.2.
Objetivos
Pgina 18
3.3.3.
Actividades
1
0
1
3
4
,B =
1
0
2
yC =
1
2
2
3
,
calcula:
a) A+B
b) A-B-C
c) 3A+5B-6C
d ) AB-BC
e) 2AB+3AC-5BC
1 2
2. Determina el valor de a par que la matriz A = 0 1
a 0
inversa. Calcula A1 para los restantes valores de a.
3
2 no tenga
1
3. Resuelve
la ecuacin
X: XA 2B + 3C
A=
matricial
en
= D, siendo:
2 3
2 0
0 3
5 4
,B=
,C=
yD=
1 1
1 4
2 0
3 6
yz x 3/x
4. Demuestra que xz y 3/y = 0
xy z 3/z
1 1 1
5. Calcual el determinante de Vandermonde de orden 3, x y z .
x2 y 2 z 2
1 0 0
6. Dada la matriz A = 4 1 0 , calcular A1 y comprobar que A1 =
3 1 1
1
t
|A| [Adj(A)]
1
2
3 4
4
6 9 mediante la
7. Calcula el rango de la matriz A = 2
3 6 9 1
funcin rank y despus utilizando transformaciones elementales por filas
con la funcin triangularize.
Miguel A. Jorquera
Pgina 19
3.3.4.
Soluciones
Pgina 20
Pgina 21
Miguel A. Jorquera
Pgina 22
Miguel A. Jorquera
Pgina 23
Miguel A. Jorquera
Pgina 24
Miguel A. Jorquera
Captulo 4
Sistemas de ecuaciones
lineales
4.1.
Introduccin
x y + 5z = 13
Para resolver el sistema 3x 2y + z = 12 , bastara con po
x + y + 2z = 9
ner en la linea de entrada
linsolve([x-y+5*z=13, 3*x-2*y+z=12, x+y+2*z=9],[x,y,z]);
Pgina 26
4.2.
Clases de sistemas
4.2.1.
Sistema incompatible
x + y
x + y
vamos a intentar resolverlo con wxMaxima. Para ello seguiremos los mismos pasos descritos en el ejemplo de la introduccin, o bien, escribiremos en la linea
de entrada linsolve([x+y=0, x+y=3],[x,y]);
En este caso el mensaje que obtendremos ser:
Inconsistent equations: (2) an error. Quitting. To debug this try debugmode(true);
Dado el siguiente sistema de 2 ecuaciones lineales con dos incgnitas
Miguel A. Jorquera
= 0
= 3
Pgina 27
4.2.2.
x + y + z = 11
Dado el sistema de 3 ecuaciones lineales 2x y + z = 5
, le
3x + 2y + z = 24
decimos a wxMaxima que lo intente resolver poniendo en la linea de entrada
linsolve([x+y+z=11, 2*x-y+z=5, 3*x+2*y+z=24],[x,y,z]);
El resultado es [x=4,y=5,z=2] que nos indica que el sistema es compatible
determinado, es decir, que la nica solucin es la que se muestra en la salida.
Ver figura (4.3).
4.2.3.
x = 7t 5
y = 2t 3 . Ver figura (4.3).
z =
t
Miguel A. Jorquera
2
3
Pgina 28
4.3.
En esta seccin se muestra cmo utilizar wxMaxima para ayudarnos a estudiar sistemas de ecuaciones lineales dependientes de algn parmetro. Para ello,
distinguiremos dos casos. En el primero el nmero de ecuaciones coincide con el
nmero de incgnitas y en el segundo no.
4.3.1.
ax
+
y
+ z = 0
(a + 1)x +
y
az = 0
x
+ (a + 1)y
= 0
En primer lugar hallamos las races del determinante de la matriz principal, es decir, resolvemos la ecuacin determinante(A)=0. Para ello introducimos la matriz de coeficientes A, luego calculamos su determinante
y simplificamos el resultado pulsando el botn Simplificar. Por ltimo
igualamos el resultado obtenido a cero y resolvemos la ecuacin. Este ltimo paso se puede hacer pulsando el botn Resolver y en la ventana que
aparece poner en el primer cuadro %=0 y en el segundo a, para indicar
que la incgnita es a. Obteniendo al final, que las races son -1 y 0.
Todo el proceso se muestra en la figura (4.4). Si lo prefieren, pueden usar
comandos de texto para llegar a la misma conclusin.
matrix( [a,1,1], [a+1,1,-a], [1,a+1,0] ); /* para introducir la matriz A
*/
determinant( %); /* para calcular el determinante de la ltima expresin que es la matriz */
ratsimp( %); /* para simplificar la ltima expresin */
solve([ %=0], [a]); /* para resolver la ecuacin resultante de igualar
a 0 la ltima expresin, siendo la incgnita a */
En segundo lugar ya podemos decir que si a 6= 1y a 6= 0 entonces se trata
de un S.C.D. cuya solucin podemos obtener poniendo en la lnea de entrada linsolve([a*x+y+z=0, (a+1)*x+y-a*z=0, x+(a+1)*y=0], [x,y,z]);
La solucin, evidentemente es la trivial: x=0, y=0, z=0 ya que el sistema,
en este caso, es homogneo. Ver figura (4.5).
Para a = 1 y para a = 0 calculamos el rango de A y de A* y discutimos
mediante el teorema de Rouch-Frobenius.
a = 1 =Rango(A)=2=Rango(A*) <3 = N de incgnitas=S.C.I.
=Tiene infinitas soluciones que se expresan en funcin de 1 parmetro. En la figura (4.6) podemos ver cmo se han calculado los rangos
de la matrices y cul es la solucin. A la hora de introducir el sistema, lo nico que hay que hacer es sustituir el parmetro a por -1.
Adems con slo poner linsolve([-x+y+z=0, y+z=0, x=0], [x,y,z]);
ya podramos decir cmo es el sistema.
Miguel A. Jorquera
Pgina 29
Miguel A. Jorquera
Pgina 30
4.3.2.
mx
x
Tomemos como ejemplo el siguiente sistema
3x
6x
y
y
y
y
+
+
+
+
z
z
z
z
=
=
=
=
m2
1
1
3m
En este caso empezamos calculando las races del determinante de la matriz ampliada: determinante(A*)=0. Para ello, procedemos igual que en la
seccin anterior, introducimos la matriz A*, calculamos su determinante,
simplificamos la expresin, la igualamos a cero y resolvemos la ecuacin.
Todo esto est en la figura (4.8), donde apreciamos que la nica raz real
es m=2.
Si m 6= 2 =S.I. ya que Rango(A*)=4 6=Rango(A)3
Si m=2 podemos calcular los rangos de la matriz de coeficientes y de
la ampliada para su posterior estudio o intentar resolver dirctamente el
sistema con wxMaxima. Haciendo esto ltimo vemos que se trata de un
S.C.D. cuya solucin es x=y=z=1. Ver figura (4.9).
Miguel A. Jorquera
Pgina 31
Miguel A. Jorquera
Pgina 32
Miguel A. Jorquera
Captulo 5
Vectores
5.1.
Introduccin
introducir el vector
v = (1, 2, 3) tendramos que poner en la entrada v:[1,2,3];
Tambin podemos construir una lista (vector) que sigue un patrn general,
por ejemplo, con makelist(2*k,k,1,4); se genera una lista de 4 componentes cuyo
trmino general es 2*k pudiendo ser k=1,2,3,4. Resulta (2,4,6,8).
Esta opcin se encuentra en el men lgebra ->Construir Lista
5.2.
Operaciones
Una vez introducidos dos vectores las operaciones se pueden realizar de forma
sencilla como se muestra a continuacin. Ver figura (5.1) .
Creamos el vector
w = (4, 5, 6).
El mdulo de un vector
v = (a, b, c) = a2 + b2 + c2 no se calcula de
una manera directa, pero podemos hacer varias cosas:
sqrt(apply("+",v^2)); De esta forma estamos aplicando la operacin
+ a cada una de las componentes del vector despus de elevarla al
cuadrado, es decir, obtenemos a2 +b2 +c2 y despus calculamos la raiz
Pgina 34
5.2. OPERACIONES
CAPTULO 5. VECTORES
Pgina 35
5.3.
Dos vectores
u =
(a, b, c) y
v = (d, e, f ) son linealmente dependientes si
a b c
rango
=1
d e f
1 2 3
Por ejemplo calculamos el rango
= 1 y por tanto podemos decir
3 6 9
Dos vectores
u = (a,b, c) y
v = (d, e, f ) son linealmente independientes
a b c
si rango
=2
d e f
1 2 3
Por ejemplo calculamos el rango
= 2 y por tanto podemos decir
4 5 6
Pgina 36
5.4. EJERCICIOS
Tres vectores
u = (a,b, c),
a
dependientes si rango d
g
v
b
e
h
= (d,
e, f ) y w = (g, h, i) son linealmente
c
f =12
i
Tres vectores
u = (a, b,c),
v =
a b
independientes si rango d e
g h
(d,
e, f ) y
w = (g, h, i) son linealmente
c
f =3
i
los vectores {
u = (2, 1, 3),
v = (1, 2, 1) y
w = (3, 3, 2)}son linealmente
dependientes puesto que al triagularizar la matriz que forman resulta que
la ltima fila es el vector cero.
5.4.
Ejercicios
CAPTULO 5. VECTORES
Pgina 37
Miguel A. Jorquera
Pgina 38
5.4. EJERCICIOS
2. Convierte el vector
v = (3, 0, 4) en un vector unitario y proporcinal al
dado.
La solucin de este ejercicio es muy sencilla utilizando la funcin unitvector(v). Se deja al lector como actividad.
Miguel A. Jorquera
Captulo 6
Introduccin
Podemos usar wxMaxima para resolver algunos problemas geomtricos relacionados con el lgebra lineal ya que se reducen a calcular rangos de matrices
y resolver sistemas de ecuaciones lineales.
En este tema trataremos el paso de ecuaciones implcitas de una recta a
ecuaciones paramtricas, la obtencin de la ecuacin general o implcita de un
plano, las posiciones relativas entre planos y rectas, el ngulo entre elementos
del espacio y las distancias en el plano, perpendicular comn, etc.
6.2.
Ecuaciones de la recta
Una recta queda determinada por un punto y un vector director o por dos
puntos distintos. A partir de del punto y del vector director podemos obtener
distintas ecuaciones de la recta en un sistema de referencia. En el caso de un
sistema de referencia tridimensional, podemos obtener la ecuacin vectorial de
la recta, las ecuaciones paramtricas, las continuas y las implcitas.
wxMaxima nos puede ayudar al paso de las ecuaciones implcitas a paramtricas ya que se trata de resolver un sistema de 2 ecuaciones lineales que es
compatible indeterminado.
Lo vemos con un ejemplo.
2x + y + z = 3
Tenemos la recta r
dada en forma implcita,
x y 2z = 1
entonces para obtener las ecuaciones paramtricas le decimos a wxMaxima que
resuelva el sistema lineal. Para ello, recordar que vamos al men Ecuaciones
->Resolver sistema lineal, indicamos que tiene 2 ecuaciones, las introducimos y
le indicamos que las incgnitas son x,y,z y pulsamos Aceptar. Ver figura (6.1).
wxMaxima nos contesta con [x=( %r1+4)/3,y=-(5* %r1-1)/3,z=
%r1] cuya
x = 43 +
y = 13
interpretacin es que las ecuaciones paramtricas de r son: r
z = t
R
39
t
3
5t
3
,t
Pgina 40
6.3.
Un plano queda determinado por un punto y dos vectores linealmente independientes o por tres puntos distintos que no est alineados. A partir de un
punto y dos vectores l.i. podemos obtener la ecuacin vectorial del plano en un
sistema de referencia, a partir de ella podemos pasar a las ecuaciones paramtricas del plano.
La ecuacin implcita o general de un plano se puede calcular a partir
(u1 , u2 , u3 ),
v = (v1 , v2 , v3 )mediante la expresin u2 v2 y b = 0
u3 v3 z c
Veamos un ejemplo.
Vamos a obtener la ecuacin implcita del plano determinado por el punto
1 1 x1
1. Introducimos la matriz 1 0 y 2
0 1 z3
2. Calculamos su determinante, resultando -z-y+x+4
3. La ecuacin del plano ser el resultado anterior igualado a 0. Por tanto
-z-y+x+4 = 0
6.4.
Para el estudio de las posiciones relativas de dos o tres planos, de una recta
y un plano o de dos rectas, nos basamos en el sistema de ecuaciones formado
por las ecuaciones implcitas. A partir de ese sistema tenemos la matriz de
coeficientes A y la matriz ampliada A*.
El estudio de los rangos de estas dos matrices nos hace decidir cual es la
posicin relativa.
Miguel A. Jorquera
Pgina 41
x y + z = 0
r1 :
2x
+ y
= 3
1. Estudia la posicin relativa de las siguientes rectas:
x
2y
+
z
= 0
r2 :
x 2y z = 3
Se puede observar en la figura (6.3) que el las rectas se cortan en el punto
de coordenadas ( 23 , 0, 32 ), ya que los rangos de A y A* son iguales a 3.
2x y
=
r:
x
z =
2. Estudia la posicin elativa de la recta y el plano siguiente:
: x + y 3z = 1
Se puede observar en la figura (6.4) que la recta es paralela al plano, ya
que los rangos de A y A* son 2 y 3 respectivamente.
6.5.
En esta seccin veremos cmo calcular el ngulo formado por dos vectores
en el espacio, el ngulo entre dos rectas, entre dos planos y entre un plano y
una recta.
6.5.1.
Se define el ngulo que forman dos vectores libres como el menor de los
ngulos que forman las semirrectas que contienen a dos de sus representantes
concurrentes. Por tanto el ngulo siempre estar entre 0 y 80.
v
w
\
2 2 2
cos(
v ,
w ) = |
= 2 2ad+be+cf
v ||
w|
2
a +b +c
d +e +f
Miguel A. Jorquera
3
1
Pgina 42
Pgina 43
Pgina 44
6.5.2.
u
,
r ur 0
|cos(
u
||
r ur 0 )| = |
u
u
r
r0 |
Por tanto, sabiendo calcular el ngulo entre dos vectores podemos calcular
el ngulo entre dos rectas.
Como ejemplo vamos a calcular el ngulo formado por las rectas de ecuaciones:
y5
y1
z1
x+2
z1
0
r x2
1 = 1 = 3 y r 1 = 1 = 0
Empezamos introduciendo sus vectores directores (-1,1,3) y (-1,-1,0) respectivamente.
Antes hemos definido una funcin que calculaba el ngulo entre dos vectores:
ang2vect(v,w):=pasaagrados( acos((v.w)/(modulo(v)*modulo(w))));
Lo nico que hay que cambia ahora es que tenemos que tomar el valor
absoluto del coseno, y eso se hace en wxMaxima con la funcin abs(). Por tanto
definimos la funcin que calcular el ngulo entre dos rectas de la siguiente
forma:
ang2rectas(v,w):=pasaagrados( acos(abs((v.w)/(modulo(v)*modulo(w)))));
Miguel A. Jorquera
Pgina 45
6.5.3.
Para el caso de dos planos y 0 que se cortan en una recta, podemos calcular
n n0
n , n0 )| =
cos(, 0 ) = |cos(
| n ||n0 |
que es la misma que en el caso de dos rectas, pero ahora con los vectores
normales de los planos. En wxMaxima podemos usar la funcin ang2rectas(v,w)
definida antes.
En la figura (6.8) se muestra cmo calcular el ngulo formado por los planos
: x + y 3z = 1 y 0 : 2x 3y + 2z = 2.
6.5.4.
cos() = cos(
u,
n ). La expresin que utilizaremos para calcular el ngulo
entre la recta y el plano, independientemente de los sentidos de los vectores, es
la siguiente:
u n0
sen(r,) = |cos( u , n )| =
|
u ||n0 |
Tendramos que definir una nueva funcin que calcule el arcoseno en vez del
arcocoseno:
Miguel A. Jorquera
Pgina 46
6.6. PROYECCIONES
6.6.
6.6.1.
Proyecciones
Proyeccin de un punto sobre un plano
1
2
3
z = 2 + 3t
Ahora en el segundo paso se trata de resolver el sistema formado por las
ecuaciones de la recta r y del plano .
Para ello, primero introducimos las ecuaciones paramtricas de la recta as:
x:1+t;y:1+2*t;z:-2+3*t;
Despus introducimos la ecuacin del plano x+2*y+3*z-11=0; y pulsamos
el botn Resolver para despejar t, que, en este caso, resulta ser t=1.
Por ltimo escribimos t:1;x:1+t;y:1+2*t;z:-2+3*t; para indicar que ya sabemos lo que vale t y queremos saber lo que valen (x,y,z) que son las coordenadas
de la proyeccin buscada. Ver figura (6.9).
Nota: Otra forma de calcular la proyeccin es utilizando las ecuaciones generales o implcitas de la recta y juntarlas con la ecuacin del plano para
resolver el sistema de ecuaciones compatible determinado que resulta.
Miguel A. Jorquera
Pgina 47
6.6.2.
z = 0 2t
el plano : 2x + y 2z 10 = 0 obteniendo como solucin el punto (3,0,-2).
Ver figura 6.10.
6.6.3.
Pgina 48
6.7.
6.7.1.
Distancias en el plano
Distancia entre dos puntos
Pgina 49
Miguel A. Jorquera
Pgina 50
6.7.2.
Vamos a definir una funcin que utilice la frmula que calcula la ditancia de
un punto P = (p1 , p2 , p3 ) al plano : Ax + By + Cz + D = 0 que es:
1 +Bp2 +Cp3 +D|
d(P, ) = |Ap
A2 +B 2 +C 2
Lo que necesitamos son las coordenadas del punto y los coeficientes de la
ecuacin del plano. El punto tendr 3 coordenadas y el vector de coeficientes
cuatro. Representaremos al plano por n=(A,B,C) y D. Por tanto podemos
definir la funcin dist(P,plano) como sigue:
dist(P, n, D) := abs(P.n + D)/modulo(n);
Como se puede obserbar, se vuelve a utilizar la funcin modulo.
En la figura (6.13) se muestra cmo calcular la distancia del punto P=(1,2,3)
al plano : 3x + 4y 6 = 0. En este caso n=(3,4,0) y D=-6. Notar que para
introducir la constante D=-6 lo que hacemos es poner D:-6.
Ejercicio: Halla la ecuacin del plano paralelo al plano :4x+7y-4z-12=0 y
que diste de l 3 unidades.
Los planos paralelos al dado son de la forma 4x+7y-4z+D=0
Tomamos un punto de P , por ejemplo P=(3,0,0)
Utilizamos la funcin dist(P,n,D) con P=(3,0,0) ,n=(4,7,-4) y D desconocida y la igualamos a 13, obteniendo una ecuacin donde la incgnita es
D.
modulo(v):=sqrt(apply("+",v^2));
dist(P,n,D):=abs(P.n+D)/modulo(n);
P:[3,0,0];n:[4,7,-4];
dist(P,n,D)=3;
Resolvemos la ecuacin.
solve([ %], [D]); (pulsamos el botn Resolver e indicamos que la variable es D)
Miguel A. Jorquera
Pgina 51
6.7.3.
AP |
producto vectorial y la frmula d(P, r) = | v|x
, siendo A un punto cualquiera
v|
de r y v el vector director de r.
Para usar esta frmula podemos definirnos la siguiente funcin:
dist(A,P,v):=modulo(express((v~(P-A))))/modulo(v);
Veamos los pasos a seguir para calcular la distancia del punto P=(1,2,3) a
y
z2
la recta r x+1
2 = 1 = 2 .
Miguel A. Jorquera
Pgina 52
6.7.4.
,vs ,P Q]|
, siendo
entre ellas se puede obtener a partir de la expresin: d(r, s) = |[v|r
v
vs |
r
r
Miguel A. Jorquera
x+2
2
y1
7
z5
6
ys
x
1
y+1
5
z
6
Pgina 53
6.8.
Perpendicular comn
Hay varias formas de obtener la recta perpendicular comn a otras dos rectas
que se cruzan en el espacio. Con ayuda de wxMaxima seguiremos el siguiente
procedimiento analtico.
Pgina 54
x1
2
y
1
z+1
3
ys:
x
2
y2
1
z2
3
det(
vr ,
vs , P Q) = 18 6= 0 podemos asegurar que las rectas se cruzan. Si el
determinante fuese 0 las rectas se cortaran en un punto. En wxMaxima
se hara as:
vr:[-2,1,3]; vs:[2,-1,3]; P:[1,0,-1]; Q:[0,2,2];
determinant(matrix[vr,vs,(Q-P)]);
Calculamos
w =
vr
vs as:
load(vect);
w:express(vr~vs);
Pgina 55
Miguel A. Jorquera
Pgina 56
Miguel A. Jorquera
Captulo 7
Lmites y continuidad
En este tema vamos a empezar a trabajar con funciones y wxMaxima nos
ayudar en el clculo de lmites, con lo que podremos estudiar las asntotas
horizontales, verticales y oblicuas.
7.1.
Clculo de lmites
En el men Anlisis->Calcular lmite ... tenemos la posibilidad de introducir una funcin, la variable, y el punto en el que queremos calcular el lmite.
Adems podemos indicar si es por la izquierda o por la derecha. En el botn
<Especial>se puede elegir infinito, menos infinito, el nmero e y el nmero Pi.
La funcin para calcular lmites en Maxima es: limit(funcin, variable, punto)
Si queremos indicar que el lmite es por la izquierda o por la derecha hay
que aadir un parmetro ms a la funcin limit con el valor minus o plus.
Es importante conocer cmo introducir a mano los valores a los que tiende
la variable.
Mas infinito: inf
Menos inifito: minf
Valor indefinido: und
El nmero e: %e
El nmero Pi: %pi
wxMaxima nos dar el resultado del lmite independientemente de que encuentre
indeterminaciones o no. Veamos algunos ejemplos.
3x4 +2x2 5
4x4 7
x+
lim
2x2 8
2
x
x2 +x2
lim
x
lim xx+42
que tambin presenta una indeterminacin del tipo 00 .
x0
57
Pgina 58
3
x4 2
x+
(x+2),x,inf );
lim
x+
x2 +3
x2 1
i2x
Miguel A. Jorquera
Pgina 59
x0
x+
Pgina 60
7.2. ASNTOTAS
7.2.
Asntotas
7.2.1.
Asntotas Verticales
7.2.2.
Asntotas Horizontales
7.2.3.
Asntotas Oblcuas
7.3.
Ejercicios
Miguel A. Jorquera
ndice de figuras
2.1. Pantalla inicial de wxMaxima . . . . . . . . . . . . . . . . . . . .
2.2. Ejemplos bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
11
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
Ejercicio 1
Ejercicio 2
Ejercicio 3
Ejercicio 4
Ejercicio 5
Ejercicio 6
Ejercicio 7
Ejercicio 8
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
14
14
15
16
16
16
17
19
20
20
21
22
22
23
23
4.1.
4.2.
4.3.
4.4.
4.5.
4.6.
4.7.
4.8.
4.9.
Introducir Ecuaciones. . . . . . . . . . . . . .
Resolver S.C.D. . . . . . . . . . . . . . . . .
Resolucin de sistemas. . . . . . . . . . . . .
Sistema con parmetros 1 . . . . . . . . . . .
Resolver S.C.D. . . . . . . . . . . . . . . . .
Resolver S.C.I con parmetros . . . . . . . .
Resolver S.C.I. con parmetros 2 . . . . . . .
Distinto n de ecuaciones que de incgnitas 1
Distinto n de ecuaciones que de incgnitas 2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
25
26
27
29
29
30
31
31
32
5.1.
5.2.
5.3.
5.4.
5.5.
5.6.
5.7.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
34
34
35
36
37
37
38
. . . . . . . . . . . . . . . . .
40
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Pgina 62
NDICE DE FIGURAS
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
41
42
42
43
44
45
46
47
48
49
49
50
51
52
53
55
7.1.
7.2.
7.3.
7.4.
7.5.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
58
58
59
59
60
Lmites
Lmites
Lmites
Lmites
Lmites
de
de
de
de
de
Miguel A. Jorquera
funciones
funciones
funciones
funciones
funciones
1
2
3
4
5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.