Introduccin a

Maxima
Miguel Arsuaga Franco
Rosa Ramos Palanco
Lic. CC. Matemticas
Profesores del Departamento de Matemticas
del I.E.S. Almunia de Jere de la Frontera
Indice de materias
Table of Contents
Presentacin 1
A quin va dirigido este documento 1
Breve historia de Maxima 1
Otras consideraciones 1
Normas bsicas 3
Descricin de !a anta!!a 3
"! navegador NetMath 3
#rdenes 3
Modos de c!cu!o $
Aritmtica %
Oeradores aritmticos %
&unciones rede'inidas (
A!gunas constantes )ti!es (
"xonencia!es * !ogar+tmicas (
,rigonomtricas (
Otras 'unciones interesantes -
.!gebra 11
Oeraciones con o!inomios * ra/ones a!gebraicas0 11
1eso!ucin de ecuaciones * sistemas de ecuaciones 12
3necuaciones 1$
Matrices * determinantes 1%
Oeraciones 1%
An!isis 1(
4ucesiones 1(
&unciones0 5omosicin de 'unciones 1(
&unciones a tro/os6 17
8+mites de 'unciones 17
Derivadas 1-
3ntegra!es 1-
9r'icos 21
:5mo ver!os; 21
9r'icos bidimensiona!es 21
9r'icos tridimensiona!es 2$
5onsideraciones 'ina!es 2%
1ecaitu!emos 2%
Materia!es 2%
Derechos de coia 2%
Introduccin a Maxima - Presentacin
Presentacin
Maxima es un programa de clculo simblico bajo licencia GNU-GPL.
Es, por tanto, sot!are libre en su doble acepcin" est disponible el cdigo
uente para #ue todo el #ue lo desee adapte el programa a sus propias necesi$
dades % es gratuito por lo #ue es posible distribuirlo libremente a cuantos es$
tu&ieren interesados en el mismo.
'dems puede ejecutarse sobre dierentes sistemas operati&os, entre otros las
di&ersas &ersiones de M(-)indo!s % de Linux.
A quin va dirigido este documento
Esta introduccin a Maxima tiene por destinatario a los alumnos de Matem$
ticas * % ** de lo #ue #ueda del +ac,illerato de -iencias %, por extensin, a to$
dos los alumnos % proesores a los #ue pueda ser&ir de a%uda.
No cubre, por tanto, muc,as de las capacidades del programa sino #ue se res$
tringe a los contenidos bsicos del bac,illerato %, dentro de estos contenidos
se ,a procurado recurrir a ejemplos sencillos para #ue todos los alumnos pue$
dan seguir este manual, aun#ue su ni&el de competencia en la materia sea ba$
jo.
Para la Estad.stica descripti&a % distribuciones de probabilidad, tanto para &a$
riables discretas como continuas, Mario /odr.gue0 /iotorto ,a preparado dos
pa#uetes, descriptive.mac % distrib.mac #ue se pueden descar$
gar desde !!!.biomates.net junto a la documentacin % arc,i&os con datos
muestrales. Un estudio de los mismos % algo de tiempo disponible nos permi$
tirn ampliar este manual con a#uellas unciones #ue ,agan reerencia a los
contenidos en el +ac,illerato.
Breve historia de Maxima
El pro%ecto Matemticas % -omputacin 1M'-2 se inicia en la d3cada de los
45 del siglo pasado en el *nstituto de 6ecnolog.a de Massac,usetts 1M*62,
con el apo%o inanciero, entre otros, de los departamentos de deensa 17872,
de Energ.a 178E2 % de la 'gencia de Pro%ectos de *n&estigacin '&an0ada
1'/P'2 para atender a las necesidades de clculo matemtico de .sicos, in$
genieros % t3cnicos en general.
' inales de la d3cada, el pro%ecto9programa Macs%ma 1M'- s%mbolic ma$
nipulator2 se con&ierte en el primer programa de clculo simblico. 7esarro$
llos posteriores dieron origen a m:ltiples &ariantes. Una de ellas es Maxima,
,eredera del 78E-Macs%ma, #ue ,a sido mantenida por el 7r. )iliam (,el$
ter de la Uni&ersidad 'ustin de 6exas ,asta su allecimiento, ec,a en la #ue
un e#uipo de seguidores ;a asumido su mantenimiento % desarrollo. En octu$
bre de <==> el 78E autori0 la distribucin de Maxima bajo licencia GNU-
GPL. Las actuali0aciones del programa % de su documentacin estn disponi$
bles en ,ttp"99maxima.sourceorge.net9.
Otras consideraciones
;a% ligeras dierencias entre la &ersin utili0ada en este documento % la in$
cluida en Guadalinex. Por ejemplo" las l.neas de comando -< % de respuesta
7< son a,ora ?i< % ?o< 1input % output2. Ms adelante &eremos #ue son mo$
diicables por el usuario.
Pgina <
Introduccin a Maxima - Otras consideraciones
Est disponible la extensin !xMaxima #ue le da un aspecto al programa #ue
recuerda a 7eri&e % #ue permite introducir las rdenes ms recuentes me$
diante botones % opciones de men:. Es una a%uda #ue agradecemos los #ue
no somos buenos mecangraos. Esperemos #ue sea incluida en Guadalinex.
Pgina @
*lustracin A" Bentana de *nicio de !xMaxima
*lustracin <" Bentana de inicio de xMaxima
*lustracin @" Bentana de inicio de xMaxima
Introduccin a Maxima - Normas bsicas
ormas b!sicas
"escri#cin de la #antalla
-omo puede obser&arse en la &entana de inicio de xMaxima, 3sta se di&ide en
dos &entanas.
En la &entana superior es donde introducimos las rdenes #ue el programa
procesar. Las rdenes se numeran de orma automtica %i1, %i2, etc. %
las respuestas correspondientes %o1, %o2, etc.
Podemos ,acer reerencia a resultados anteriores por su eti#ueta. (i se trata
del resultado inmediatamente anterior basta %.
Las &ariables inc,ar % outc,ar controlan las eti#uetas de entrada % salida. 8b$
ser&a el siguiente ejemplo"
$l navegador etMath
La &entana inerior es un na&egador, NetMat,, mu% limitado pero eiciente.
Es posible desacti&arlo seleccionando [Options] C DToggle Brow
ser Visibility], de esta orma dispondremos de un espacio de trabajo
con ms l.neas &isibles. Para recuperarlo basta repetir la orden anterior.
'briremos pginas !eb utili0ando el ,abitual ,ttp"99direccin completa de in$
ternet.
'briremos arc,i&os sustitu%endo ,ttp por ile % proporcionando la ruta com$
pleta % nombre del arc,i&o.
En esta &entana es posible abrir documentos .,tm preparados para ejecutar
comandos. Los resultados pueden &isuali0arse en el propio documento o en la
consola. La pgina de inicio es un ejemplo mu% completoE contiene enlaces a
la documentacin de maxima, por la #ue podemos na&egar, % ejemplos de co$
mandos. 'n.mate a experimentar con ella.
%rdenes
Las rdenes en Maxima terminan con FG.
(i no deseamos #ue el resultado de una orden apare0ca terminaremos con !.
Pgina A
*lustracin H" -ambiando las eti#uetas de entrada % salida
*lustracin I" Jrdenes en Maxima. Bariables % unciones.
Introduccin a Maxima - rdenes
Es posible introducir &arias rdenes en una l.nea.
6odo lo #ue introdu0camos entre "K % #" ser ignorado por Maxima, lo #ue
nos permite comentar las rdenes.
Para asignar &alor a una &ariable utili0amos F$G. variable$valor.
Para deinir una uncin usaremos F$%G. &nci'n$%de(inici'n.
-uando dejemos de usar una &ariable con&iene FmatarlaG con la uncin
)ill*nombre de la variable+ para no lle&arnos sorpresas.
Modos de c!lculo
Por deecto, Maxima ,ace clculos exactos. La orden n&mer nos da el &alor
aproximado. 6ambi3n podemos ,acer esto con (loat.
Podemos ijar la precisin de los clculos asignando el &alor deseado a la &a$
riable (pprec % obtener el &alor deseado en notacin cient.ica con b(lo
at. 8bser&a el siguiente ejemplo"
Pgina H
*lustracin 4" 'ritm3tica con Maxima
Introduccin a Maxima - Aritmtica
Aritmtica
O#eradores aritmticos
Pgina I
Introduccin a Maxima - Operadores aritmticos
La suma 1L2 % la resta 1-2, el producto 1K2, el cociente 192 % las potencias 1M2
usan los mismos operadores #ue la ma%or.a de los programas 1por ejemplo"
las ,ojas de clculo2. La ra.0 cuadrada puede calcularse con la uncin s,rt
1s#uare root2, el resto de las ra.ces ,abr de calcularse como exponentes rac$
cionarios.
Para eectuar la di&isin entera disponemos de divide*dividen
do, divisor+. Nos de&uel&e una lista con el cociente % el resto. (i :nica$
mente necesitamos uno u otro usaremos ,&otient o remainder respecti$
&amente.
Podemos a&eriguar si un n:mero es primo, o no con la uncin primep.
Para descomponer en actores primos usaremos (actor. Las unciones gcd
1greatest common di&isor2 % lcm 1least common multiple2 permiten obtener
el mximo com:n di&isor % el m.nimo com:n m:ltiplo, respecti&amente. Para
calcular 3ste :ltimo es preciso cargar pre&iamente el pa#uete (&ncts. Maxi$
ma a&isa de #ue ello supone redeinir algunas unciones. No le ,acemos mu$
c,o caso.
6odo lo anterior #ueda explicado con la *lustracin 4.
Pgina 4
Introduccin a Maxima - Funciones predefinidas
&unciones #redefinidas
Algunas constantes 'tiles
(e utili0an"
?E para el n:mero e
?pi para el n:mero
?i para i=

<
$x#onenciales ( logar)tmicas
Maxima utili0a el logaritmo natural 1neperiano2 como uncin logar.tmica
predeinida.. Es posible deinir una uncin alternati&a, le ,emos llamado
logb*-,b+, para calcular log
b
x.
-on&iene obser&ar #ue tal uncin puede utili0arse para obtener el antilogarit$
mo o la base logar.tmica. En el segundo caso, con&iene simplicar con la un$
cin radcan.
Las unciones exponenciales se introducen con el operador ..
Trigonomtricas
Las usuales unciones trigonom3tricas % sus respecti&as in&ersas arco ... estn
deinidas en Maxima pero, eso s., sus argumentos son radianes. (i se desea
calcular el seno, por ejemplo, de un ngulo expresado en grados sexagesima$
les u obtener los ngulos de las in&ersas en grados ,abr #ue deinir las co$
rrespondientes unciones.
Pgina N
*lustracin N" -lculo de logaritmos
Introduccin a Maxima - Trigonomtricas
Las unciones trigonom3tricas ms usuales predeinidas en Maxima se rese$
Oan a continuacin.
sin (eno
cos -oseno
tan 6angente
sec (ecante
csc -osecante
cot -otangente
asin 'rco-seno
acos 'rco-coseno
atan 'rco-tangente
asec 'rco-secante
acsc 'rco-cosecante
cot -otangente
Las unciones trigsimp, trigrat, trigred&ce % trige-pand reali$
0an dierentes simpliicaciones %9o transormaciones trigonom3tricas, experi$
menta con ellas.
Pgina >
Introduccin a Maxima -
Otras funciones interesantes
abs*-+ Balor absoluto de x
min*-1,-2,...+ Balor m.nimo de una lista de &alores
ma-*-1,-2,...+ Balor mximo de una lista de &alores
sign&m*-+ signum x =
{
< si x5
5 si x=5
< si x5
-/ Pactorial de x
binomial*m,n+ C
m
n
=

m
n

abs*-+ Balor absoluto de x

e-p*-+
e
x
Pgina =
Introduccin a Maxima - !gebra
*lgebra
O#eraciones con #olinomios ( ra+ones algebraicas,
Para las operaciones de suma, resta, multiplicacin, di&isin, actori0acin,
mximo com:n di&isor % m.nimo com:n m:ltiplo de polinomios, ,a% #ue te$
ner en cuenta lo explicado en el cap.tulo de aritm3tica.
Para desarrollar expresiones algebraicas usaremos la uncin e-pand.
Para simpliicar disponemos de las unciones ratsimp, (&llratsimp %
radcan.
En algunas operaciones Maxima separa una raccin en &arias con el mismo
denominador, la orden combine las con&ierte en una.
Podemos seleccionar el numerador o el denominador de una raccin alge$
braica con las unciones n&m % denom respecti&amente. Ber los ejemplos.
Pgina <<
*lustracin <<" /esol&iendo ecuaciones
Introduccin a Maxima - "eso!ucin de ecuaciones # sistemas de ecuaciones
-esolucin de ecuaciones ( sistemas de ecuaciones
Usaremos la uncin solve para resol&er ecuaciones % sistemas de ecuacio$
nes. Bemoslo.
8bser&a #ue si no ,a% un signo Q, Maxima asume #ue buscamos los ceros de
la ecuacin. En la l.nea %i10 se explica cmo sustituir la solucin para com$
probar la &alide0 de la solucin.
/esol&iendo manualmente la ecuacin de %o11 obtenemos [ x =5, x =<5].
Maxima elimina las pseudo soluciones.
La instruccin algsys permite obtener soluciones aproximadas cuando no
se dispone de un m3todo algebraico de resolucin de la ecuacin. -on la op$
cin realonly$tr&e obtenemos exclusi&amente soluciones reales.
La uncin solve se puede usar tambi3n para despejar alg:n t3rmino en una
ecuacin. 8bser&a cmo FenseOamosG a Maxima a resol&er una ecuacin con
radicales.
Las dos ilustraciones siguientes ejempliican lo #ue decimos.
Pgina <@
*lustracin <@" 8bteniendo soluciones reales aproximadas..
Introduccin a Maxima - "eso!ucin de ecuaciones # sistemas de ecuaciones
Pgina <A
*lustracin <A" 7espejando para resol&er una ecuacin irracional.
Introduccin a Maxima - "eso!ucin de ecuaciones # sistemas de ecuaciones
*gualmente podemos resol&er sistemas de ecuaciones lineales. -uando son in$
determinados, obtiene las soluciones en uncin de uno o ms parmetros.
Los ?/A % ?/H ser.an como % .
Inecuaciones
Maxima no resuel&e inecuaciones, pero le podemos enseOar buscando los ce$
ros % estudiando el signo en los inter&alos #ue corresponda. 7e eso trata el si$
guiente ejercicio.
Pgina <H
*lustracin <H" /esolucin de sistemas de ecuaciones
Est claro #ue la solucin es x [<,<].
*lustracin <I" /esol&iendo una inecuacin estudiando el signo
Introduccin a Maxima - Matrices # determinantes
Matrices ( determinantes
O#eraciones
Para Maxima, una matri0 es una lista de listas en la #ue cada elemento es una
ila. 8bser&a #ue el operador F#G multiplica elemento a elemento dos matri$
ces. Para el producto matricial usaremos F.G
Para calcular la in&ersa podemos utili0ar la uncin invert o el operador
F..21G. El determinante de una matri0 lo calculamos con determinant %
el rango con ran).
Pgina <I
*lustracin <4" 8peraciones con matrices.
*lustracin <N" 7einiendo una sucesin
Introduccin a Maxima - An!isis
An!lisis
.ucesiones
Las sucesiones se deinen de manera anloga a las unciones, sal&o en el uso
de corc,etes para encerrar la &ariable. En el siguiente ejemplo deinimos una
sucesin, calculamos algunos t3rminos % su l.mite.
&unciones, Com#osicin de funciones
7einimos un par de unciones, por el m3todo %a conocido % las compone$
mos.
Pgina <N
*lustracin <>" -omponiendo unciones
Introduccin a Maxima - Funciones a tro$os%
&unciones a tro+os/
Bamos a deinir f x =
{
x
@
si x5
@x< si 5x H
<x si xH
0)mites de funciones
Para calcular l.mites de unciones usaremos limit.
La estructura de la instruccin es"
limit*(&nci'n, variable, p&nto+. 7onde p&nto puede ser un
valor, in( 1R2 o min(, *2R+. En el caso primero admite un modiica$
dor min&s o pl&s para indicar por la i0#uierda o por la derec,a.
Pgina <>
*lustracin <=" 7einiendo una uncin a tro0os
*lustracin @<" 7eri&adas.
Introduccin a Maxima - &eri'adas
"erivadas
La instruccin di(( nos permite obtener la uncin deri&ada de una uncin,
indicando opcionalmente el orden de la deri&ada. Por sustitucin podemos
obtener la deri&ada de una uncin en un punto.
Integrales
Las integrales indeinidas 1es decir, el clculo dde la antideri&ada o primiti&a
de una uncin2 % la integral deinida 1el clculo de la medida del rea bajo
una cur&a, por ejemplo2 ,acen uso de la misma instruccin integrate, #ue Ma$
xima interpreta de una orma u otra seg:n omitamos o no los l.mites inerior o
superior del inter&alo.
Pgina <=
*lustracin @5" -alculando l.mites
*lustracin @@" -lculo de integrales.
Introduccin a Maxima - Integra!es
Pgina @5
*lustracin @A" 8pciones de la &entana de gricos.
Introduccin a Maxima - (rficos
1r!ficos
2Cmo verlos3
-on&iene indicar #ue Maxima no tiene capacidades gricas. (ino #ue act:a
de intera0 de un programa de generacin de gricos S GNUplot S . Este pro$
grama admite gran n:mero de opciones #ue precisar.an de otro manual. Nos
limitaremos a lo ms elemental con algunos ejemplos sencillos.
Los gricos pueden &erse incrustados en la consola de trabajo, en una &enta$
na independiente cu%o contenido se actuali0a seg:n &amos creando nue&os
gricos, o en m:ltiples &entanasE en este :ltimo caso cada nue&o grico
uer0a la apertura de una &entana nue&a.
1r!ficos bidimensionales
La uncin plot2d permite m:ltiples &ariantes, como incluir una lista de
unciones en el mismo grico, ijar el rango de &alores de %, ... Lo m.nimo
#ue necesita es una uncin % el rango de &alores de x.
La s gricas siguientes se ,an producido con las rdenes"
plot2d*sin*-+,[-,22#%pi,2#%pi]+
%
plot2d*[-.223#-,22#-21,2#-24], [-,21,5], [y,20,26],
[gn&plot7preamble, 8set 9eroa-is8], [ntic)s,26]+
En el caso de la segunda grica no se ,a capturado la pantalla sino #ue se ,a
,ec,o uso de las opciones de exportacin de gricos de gnuplot.
Pgina @<
Introduccin a Maxima - (rficos bidimensiona!es
T8s acordis de la uncin a tro0os anteriorU Bamos a representarla. 8bser&a
#ue las discontinuidades &ienen marcadas por dos segmentos &erticales #ue
no deber.an aparecer pero...
Esta era la uncin" f x =
{
x
@
si x5
@x< si 5x H
<x si xH
Pgina @@
*lustracin @H" Grica de la uncin seno.
*lustracin @I" Grica de xM@ - Hx % sus tangentes en xQ< % xQA
-)
*
)
+*
+)
,*
-- -, * , - . /
x0,--1x
-,1x-+
,1x-2
Introduccin a Maxima - (rficos bidimensiona!es
V 3sta es su grica.
Pgina @A
*lustracin @4" Grica de una uncin a tro0os
Introduccin a Maxima - (rficos tridimensiona!es
1r!ficos tridimensionales
Para gricos tridimensionales tenemos la instruccin plotAd en la #ue ,a%
#ue precisar, al menos, los rangos de x % de %.
El siguiente ejemplo se ,a ,ec,o con la orden plot1d*1:-.22y.2,
[-,20,0], [y,20,0], [gn&plot7preamble, 8set pm1d at
s &nset s&r( &nset colorbo-8]+!
Pgina @H
*lustracin @N" Un grico tridimensional
-.
--
-,
*
,
-
.
-.
--
-,
*
,
-
.
-3*
-,*
-+*
*
+*
,*
3*
Introduccin a Maxima - 4onsideraciones fina!es
Consideraciones finales
-eca#itulemos
Maxima % otras ,erramientas -'( son una potente ,erramienta de aprendi0a$
je. (i, como es el caso de Maxima o Vacas o... son libres % estn disponibles
para Linux % )indo!s, entre otros sistemas operati&os, mejor.
Podemos proporcionarles a nuestros alumnos estas ,erramientas para #ue
puedan usarlas en casa sin tener #ue cambiar su sistema operati&o o ,acer
problemticas particiones del disco duro. Podemos trabajar en clase con Gua$
dalinex % en casa con )indo!s.
El propsito de este manual es acercar al alumno al uso de estas ,erramientas
no mu% intuiti&as pero #ue, una &e0 aprendido lo #ue se precisa, se con&ierte
en un instrumento importante de aprendi0aje. V aumenta la autonom.a, % por
tanto, la seguridad en las propias capacidades, al poder contrastar rpidamen$
te la &alide0 de los resultados obtenidos.
Proporcionar a los alumnos en un -7 8pen8ice, Maxima, !xMaxima % al$
gunos manuales adaptados a sus necesidades les abren puertas #ue algunos
cru0an.
Materiales
Para redactar este manual ,emos empleado 8pen8ice @.5, xMaxima % !x$
Maxima. Maxima reerence manual % Primeros pasos en Maxima ,a sido la
documentacin #ue bsicamente ,emos utili0ado.
-onseguir estos programas % su documentacin &.a internet es mu% simple.
En sourceorge.net estn alojadas un n:mero casi inabarcable de ,erramientas
matemticas, entre ellas Maxima % !xMaxima %, en cual#uier caso, cual#uier
buscador nos lle&ar inmediatamente a m:ltiples pginas de a%uda % docu$
mentacin adicional. Es cuestin de ponerse.
"erechos de co#ia
-op%rig,t W @55H Miguel 'rsuaga Pranco % /osa /amos Palanco. Este docu$
mento es libre. (e otorga permiso para copiarlo, distribuirlo %9o modiicarlo
en los t3rminos de la Licencia de 7ocumentacin Libre GNU, &ersin <.@ o
posterior publicada por la Pundacin de (ot!are Libre, ;ttp$""es.g
n&.org"licencias"(dles.;tml.
Pgina @I