Tutorial Derive

Departamento de Anlisis Econmico: Economa Cuantitativa
Facultad de CC. Econmicas y Empresariales

UNIVERSIDAD AUTNOMA DE MADRID

PRCTICAS DE

MATEMTICAS I y MATEMTICAS II

CON DERIVE-5

Proyecto de Innovacin Docente
Curso 2001/2002

Director: Pedro Ortega Pulido

Derive es una marca registrada de Software Warehouse(Texas Instruments)

Introduccin al uso de DERIVE

1
Introduccin.

Durante los ltimos aos las nuevas tecnologas y muy en particular los
ordenadores estn causando numerosos cambios en la mayora de los aspectos de nuestra
cultura. La enseanza de las matemticas no ha quedado ajena a estos cambios. As, en
muchas universidades de todo el mundo se han venido empleando programas con el fin de
mejorar la calidad de la enseanza de una disciplina, que por su elevado grado de
abstraccin, es una de la ms complicadas del curriculum universitario.

Juegos, simulaciones, tutoriales, enseanza asistida por ordenador y lenguajes de
programacin, han sido los tipos de programas matemticos ms utilizados en las ltimas
dcadas. Sin embargo, con la aparicin de los programas de clculo simblico o clculo
algebraico en la dcada de los aos 70, la situacin de las antiguas herramientas ha ido
quedando relegada a un segundo plano. Los programas de clculo algebraico permiten
realizar cmputos usando tanto una aritmtica exacta como una aritmtica aproximada. La
posibilidad de realizar cmputos utilizando la aritmtica exacta brinda la posibilidad de
efectuar clculos de tipo simblico. De esta forma se consiguen desarrollar clculos con
variables, a diferencia de lo que hacan otros programas de clculo numrico, basados en
una aritmtica aproximada.

Estos programas han provocado la aparicin de numerosas experiencias didcticas,
basadas fundamentalmente en la creacin de laboratorios de prcticas, en los que el
programa de clculo simblico es utilizado por los alumnos como soporte para estudiar los
hechos, conceptos y principios matemticos desarrollados en las clases tericas.

Actualmente existen numerosos programas de clculo simblico: Macsyma,
Reduce, Mathematica, Maple, Axiom, Form, GNU-Calc, Derive,... Elegimos DERIVE
para este curso por varios motivos fundamentales:

1. La facilidad de su aprendizaje: no necesita muchos conocimientos previos de
informtica, y se puede aprender a utilizar en un corto espacio de tiempo, sin
necesidad de invertir muchas horas en la lectura del manual.

2. La sencillez de su entorno de trabajo, ya que permite ejecutar los comandos va
men, o a travs de la edicin de los mismos por pantalla.

Utilizaremos la versin 5-04 de DERIVE (es del ao 2000) basada en el entorno
WINDOWS.

Objetivos de las prcticas:
1. Desarrollar mediante el programa DERIVE los contenidos
fundamentales de la asignatura Matemticas I de las Licenciaturas en
CC.Econmicas y Empresariales de la U.A.M.
2. Motivar mediante RESOLUCION DE PROBLEMAS, la utilizacin de
este programa para desarrollar estrategias de resolucin de problemas.

(a) Metodologa:
A lo largo del curso desarrollaremos dos tipos de actividades:

Prcticas de Matemticas I y Matemticas II con DERIVE-5

2
1. Actividades manipulativas de introduccin al programa.
Consistirn en actividades de contenido matemtico que nos introduzcan en
el manejo de los clculos algebraicos fundamentales, a travs de los cuales
podremos manipular, en algunas ocasiones de forma grfica, los conceptos y
principios matemticos tratados en la asignatura.

2. Resolucin de ejercicios de contenido matemtico y econmico, a travs de
los cuales el alumno podr disear diversas estrategias de resolucin,
gracias a la utilizacin de programa.

(b) Contenidos
El curso estar formado por tres mdulos:

MODULO 1 (Introduccin al programa)
1. Introduccin al programa DERIVE, principales comandos.
2.Operaciones algebraicas bsicas.

MODULO 2. (Matemticas I).
3. Comandos bsicos para el clculo diferencial.
4. Anlisis de Funciones de una variable
5. Anlisis de funciones de varias variables.
6. Clculo Integral.

MODULO 3 (Matemticas II)
7. Principales comandos para el lgebra lineal
8. Espacios vectoriales y aplicaciones lineales
9. Sistemas de ecuaciones lineales
10. Diagonalizacin.
11. Formas cuadrticas.

Proyecto de innovacin docente.
Este material didctico es producto del proyecto de innovacin docente:
Docencia de Matemticas apoyada en aplicaciones informticas,
integrado por los siguientes profesores:
Director del Proyecto: Prof. Pedro Ortega Pulido
Equipo de trabajo: Prof. Raquel gueda Mat
Prof. Rosa Barbolla Garcia
Prof. Gema Duro Carralero
Prof. M. Eugenia Rosado Mara
Prof. Martha Saboya Baquero
Prof. Milagros Saiz Jarabo
Prof. Paloma Sanz Alvaro
Prof. Francisco Jos Vzquez Hernndez


3

1. INTRODUCCIN AL USO DE DERIVE.

1.1.QU ES UN PROGRAMA DE CLCULO SIMBLICO?
Los programas de clculo simblico, como DERIVE son lenguajes de programacin
muy cercanos al usuario, es decir, lenguajes denominados de alto nivel, que ofrecen unas
caractersticas muy peculiares:
(a) Utilizan por defecto aritmtica exacta, es decir, permiten manipular expresiones
racionales como 1/3, sin necesidad de tener que operar con su expresin en
coma flotante 0,333333 (aunque tambin se puede utilizar la aritmtica en coma
flotante).
(b) Permiten manipular variables sin asignacin, es decir, es posible manipular
expresiones no numricas, y en consecuencia expresiones algebraicas, donde
los datos no han de ser valores numricos.
(c) Soportan estructuras de datos de tipo vectorial y matricial.
(d) Admiten realizar programaciones, aunque DERIVE utiliza una programacin
funcional en algunos casos muy poco operativa.

1.2. ENTRAR Y SALIR EN DERIVE.

ENTRAR EN DERIVE:
Para entrar en DERIVE bastar con hacer clic sobre el icono

a continuacin aparece el siguiente cuadro de dilogo

que podemos suprimir en posteriores accesos, pero que en caso de aparecer
debemos aceptar con SI.

SALIR DE DERIVE:

Para salir de DERIVE 5 basta aplicar los comandos Archivo-Salir como lo muestra
la siguiente pantalla

4

1.3. LA PANTALLA DE DERIVE.
Cuando entramos por primera vez al programa DERIVE, obtenemos la siguiente
pantalla


5
En esta pantalla podemos distinguir varias partes de arriba abajo:

1) La barra de Ttulos
En esta barra aparece el nombre del programa y los botones de minimizar,
maximizar y cerrar

2) La barra de men
En esta aparecen todos los COMANDOS bsicos de DERIVE clasificados en forma
de men.

Los mens principales son:

Archivo Edicin Editar(Autor) Simplificar Resolver Clculo Definir

Opciones Ventana Ayuda

Para acceder a ellos podemos utilizar dos tcnicas:
1) O bien pinchar con el ratn sobre el comando para desplegar el grupo de
subcomandos que contiene
2) O bien aplicar la secuencia ALT+(letra subrayada). As por ejemplo para
desplegar el comando Autor, se pulsara a la vez la secuencia de teclas
ALT+A.
Ms adelante iremos estudiando el contenido de los comandos de este men.

3) La barra de herramientas o de rdenes
En la barra de herramientas se encuentran los iconos que representan los comandos
que se utilizan con ms frecuencia:

4) Una ventana de lgebra (actualmente vaca)


6
5) la barra de estado
En la barra de estado a recibimos mensajes del programa en relacin a las operaciones que
estamos ejecutando.

6) La barra de Introduccin de expresiones:
llamada en ocasiones lnea de edicin. Esta lnea nos permite ir introduciendo expresiones
en la ventana de lgebra.

7) La barra de letras griegas y smbolos matemticos:

en la que tenemos disponibles un conjuntos de letras y smbolos que podemos utilizar en la
lnea de edicin sin mas que hacer un clic sobre cada botn.

1.4. ESTRUCTURA DE DERIVE: MEN DE COMANDOS.
Todos los comandos que se pueden ejecutar en DERIVE se seleccionan a travs de la
barra de men (seleccionando y aplicando o bien con ALT+ letra subrayada). Los
comandos se estructuran en forma de rbol, de tal forma que se pueden ir recorriendo de
forma ascendente con la seleccin de los mens y submens que van apareciendo y de
forma descendente con la tecla ESC.

Los COMANDOS ms utilizados estn disponibles en la barra de herramientas, que
es el modo de acceso que ms utilizaremos.

Vamos a ir analizando las diferentes formas de aplicar los comandos: primero a travs
de la barra de men y en segundo lugar usando e la barra de herramientas.

COMANDOS DE LA BARRA DE MEN
ARCHIVO
Si accedemos a este comando se despliega el submen que contiene los comandos
bsicos para manejar archivos en DERIVE:


7
Los subcomandos LEER y EXPORTAR tienen a su vez nuevos mens que son
especialmente interesantes en DERIVE y que luego ms adelante comentaremos.

As el subcomando LEER al desplegar contiene

Este subcomando permite leer varios tipos de archivos: archivos de DERIVE
(extensin .MTH) archivos de datos, archivos de demostracin y archivos de utilidades.

Y el submen EXPORTAR al desplegar contiene otros accesos:

que permite exportar, es decir transformar, el fichero que se est editando en un archivo
BASIC; C, Fortran o Pascal.

EDICIN
Este men contiene los elementos fundamentales para editar expresiones en
WINDOWS para DERIVE. Al desplegarle se obtiene el siguiente conjunto de submens:

INSERTAR
Men mediante el cual podemos insertar en la ventana de lgebra tanto grficas 2D como
grficas 3D, as como objetos de texto:

8

EDITAR(AUTOR)
Sirve para editar las expresiones algebraicas que utiliza DERIVE, vectores o matrices:

SIMPLIFICAR
Este comando tiene varios subcomandos:

El subcomando Normal sirve para simplificar expresiones algebraicas previamente
introducidas, el subcomando Expandir, sirve para desarrollar expresiones algebraicas, el
subcomando Factorizar se emplea para factorizar polinomios, el subcomando Aproximar
se utiliza para obtener aproximaciones numricas de expresiones racionales o reales y por
ltimo el subcomando Sustituir Variable se utiliza para sustituir en una expresin
algebraica el contenido de una variable por el valor o expresin que se desee y por ltimo
el subcomando Sustituir Subexpresin para sustituir una subexpresin por otra

RESOLVER
Utilizado para resolver ecuaciones de forma algebraica numrica, as como para resolver
un sistema de ecuaciones.

Debemos sealar que para resolver sistemas de ecuaciones, utilizando este comando hay
que introducirlos previamente las ecuaciones del sistem, de una manera especial a travs de
esta ventana.


9
CLCULO
Men que contiene los comandos bsicos para realizar clculos, como son la derivacin la
integracin, el clculo de sumatorios, productorios, ...

DEFINIR
Utilizado para definir variables, funciones, dominios, o modos de operar:

OPCIONES

En este men podemos encontrar opciones de impresin, opciones de color
de la pantalla, tambin se permiten otras opciones como la renumeracin
automtica de expresiones, la posibilidad de ocultar grficas o texto de las hojas de
trabajo.


10
VENTANA

Como se puede observar aqu se pueden manejar las ventanas del programa, o bien para
definir la forma de disposicin de las ventanas cuando hay varias abiertas, o bien para abrir
ventanas. Tambien se obtiene informacin acerca de las ventanas que hay abiertas.

Y con la opcin Barra de Herramientas tenemos la posibilidad de ocultar o mostrar
algunas barras de herramientas en la pantalla del programa:

AYUDA
Por ltimo el men de ayuda contiene los comandos para resolver las cuestiones generales
que se pueden presentar sobre el programa:


11
A continuacin vamos a estudiar las principales operaciones que podemos realizar con
DERIVE. Iremos comentando las formas de aplicarlas sobre diferentes ejemplos.

1.5. EDICIN DE EXPRESIONES.

Para poder efectuar operaciones con DERIVE es necesario tener introducidas en la
VENTANA DE LGEBRA aquellas expresiones algebraicas, sobre las cuales podamos
operar o efectuar las transformaciones matemticas deseadas. Para introducir expresiones
podemos utilizar varias alternativas:

1) Situar el cursor en la Barra de Edicin e introducir las expresiones que se deseen.
Una vez editadas las expresiones se pulsa ENTER

2) La segunda alternativa consiste en aplicar el botn de herramientas Editar-
expresin

EJERCICIO 1.
Introducir la expresin x
2
+2x-1.
Aplicamos primero los mens Editar-Expresin (o bien nos situamos en la lnea de
edicin) y a continuacin tecleamos
x^2+2x-1 (enter)
Podemos observar que en la ventana de lgebra aparecer la expresin numerada.

1.5.1. OBSERVACIONES PARA INTRODUCIR EXPRESIONES.

1) Las expresiones en DERIVE se han de escribir en una sola lnea, utilizando
parntesis para preservar asociaciones de operaciones.

2) Las operaciones aritmticas elementales se escriben con:
(+) suma; (-) diferencia; (*) producto (el producto se suele sustituir por un
espacio); (/) cociente; (^) potenciacin.
NOTA: Debemos de sealar que el smbolo () que aparece en la ventana
de edicin, no es el smbolo de potenciacin, que se indica con el acento
circunflejo, sino que se corresponde con el operador lgico and. Por tanto
cuando se desee introducir la potenciacin se deber introducir el circunflejo
que aparece en el teclado.

3) Todas las letras que aparecen en una expresin por defecto, DERIVE las
considera como elementos variables. De esta forma, si intentamos introducir una
variable que se llame ejemplo en DERIVE, por defecto al introducirla aparece de
la siguiente forma

12
es decir, como un conjunto de siete variables. Si queremos introducir una variable
que tenga por nombre la palabra formada por esos siete caracteres deberemos
aplicar la secuencia de comandos Definir Preferencias de entrada y seleccionar en
el campo Modo la opcin Palabras

en este momento aparecer en la ltima expresin de la ventana de lgebra de
DERIVE la expresin
si ahora intentamos introducir la misma expresin anterior "ejemplo" obsrvese
que ahora s queda introducida como una variable

4) DERIVE reconoce un conjunto de funciones matemticas que tienen una
sintaxis especial. Algunas de las funciones matemticas que se suelen utilizar
son las siguientes:
Funciones trigonomtricas: sin(x), cos(x), tan(x),...
Funciones trigonomtricas inversas: asin(x), acos(x), atan(x)...
Funciones logartmicas: ln(x), log(x,a) (log. Neperiano, logaritmo de
x en base a)
Funciones exponenciales y radicales: sqrt(x) (raiz cuadrada), exp(x)
(exponencial de x).
Algunas otras funciones: abs(x) (mdulo de x), x! (factorial de x),
int(x), parte entera de x

5) Tambin existen algunas funciones predefinidas que sirven para efectuar
algunas operaciones matemticas o utilizar expresiones matemticas muy
comunes:
Algunas de estas funciones son:
IDENTITY_MATRIZ(n): con la que se obtiene una matriz identidad
de orden n. Por ejemplo si editamos identity_matriz(3) y
simplificamos esta expresin se obtiene

GRAD(funcion,variables): con la que se puede obtener el vector
gradiente de una funcin dada con las variables sealadas. Por
ejemplo editando grad(x^2+y^2,[x,y]) se obtiene al simplificar

13

6) Existen algunos smbolos que se introducen aplicando el botn reservado de la
barra de letras griegas y smbolos o bien combinando la tecla (^) con alguna
letra:
El nmero e, se introduce con (^)+e apareciendo en pantalla
El nmero imaginario i, se introduce con (^)+i apareciendo en pantalla
se introduce tecleando pi.
Obsrvese que la barra de letras griegas tiene los siguientes caracteres:

por otro lado la barra de smbolos tiene:

Entre estos smbolos tenemos el nmero e , o el nmero imaginario .
Tambin debemos considerar la forma en la que se introducen los
subndices en DERIVE. Estos se introducen utilizando el smbolo o bien
la palabra reservada sub. As por ejemplo si deseamos editar la expresin

11
x
editaremos en DERIVE

o bien

que tras simplificar nos da la expresin

EJERCICIO 2.
Introducir las siguientes expresiones:
1) tg(3x
3
-6x+3)
3

2) tg
3
(3x
3
-6x+3)
3) e
3x-3

4) cos(3x-)
5)
1 2
3
2
x
x

6)
x
y x
e
+
2

1.5.2. REEDICION DE EXPRESIONES.

Para reeditar expresiones introducidas en la ventana de lgebra de DERIVE
podremos efectuar las siguientes operaciones:

Recuperar una expresin de la ventana de lgebra en la lnea de edicin.
Para poder recuperar una expresin introducida en la ventana de lgebra a la lnea de
edicin podemos usar dos procedimientos:

14

1) Elegir en primer lugar con los cursores (), () o con el ratn la expresin de la
ventana de lgebra y aplicar sobre ella, el men Edicin-expresin, para hacer las
modificaciones pertinentes.

2) Seleccionar primero la expresin que deseamos reeditar, despus aplicar el botn
de herramientas y a continuacin pulsar (F3) si deseamos recuperar la expresin
seleccionada tal cual, o bien (F4) si lo que deseamos es recuperar la expresin entre
parntesis.

EJEMPLO 1.1.
Si tenemos en la ventana de lgebra la expresin
y deseamos recuperarla para reeditarla debemos aplicar Editar expresin, seleccionarla y
pulsar F3 y se obtiene

Borrar caracteres dentro de la lnea de edicin.
Para efectuar esta operacin podemos utilizar varias alternativas:
- utilizar la tecla (Supr) que borra el carcter sobre el que est
el cursor.
- Utilizar la tecla (Backspace) que borra el carcter anterior al
cursor
- La (barra espaciadora) que borra el carcter posterior al
cursor si estamos en MODO SOBREESCRITURA.

Insertar nuevos caracteres .
En la lnea de edicin (una vez aplicado el botn Editar-Expresin) podemos estar en
modo INSERTAR o en modo SOBREESCRITURA. Para pasar de un modo a otro basta
con pulsar la tecla (Ins). Obsrvese que en la lnea de estado aparece el modo en el que
estamos trabajando.
MODO SOBREESCRITURA:

EJERCICIO 3.
Utilizando las expresiones editadas en los ejercicios anteriores y considerando las
ltimas indicaciones, introducir en DERIVE las expresiones:

15
-
2 2
5 3
2
2
+
+
x x
x

-
x
x
e
+ 2
3

EJERCICIO 4.
Editar las expresiones:

a)
+
3
2
ln
y
x
b) ( )
2 2
1 y x sen +

1.6. MANEJO DE EXPRESIONES DE LA VENTANA DE
ALGEBRA.

1.6.1. Situarnos en una expresin concreta.
Si deseamos seleccionar una expresin concreta tenemos dos alternativas:
- o bien utilizar el ratn y la barra de desplazamiento vertical
del programa

- o bien situarnos sobre la ventana de lgebra (si es necesario
usando la tecla ESC) y utilizar las teclas () y ()..

1.6.2. Mover una o varias expresiones.
En ocasiones puede ser til o necesario cambiar el orden de las expresiones de
nuestra sesin de trabajo, para lo cual se puede utilizar la opcin de marcar un grupo de
expresiones y luego pegarlas en el lugar deseado. Por ejemplo si tenemos la siguiente
situacin de expresiones:


16
si deseamos por ejemplo mover las expresiones #5, #6 y #7 y situarlas antes de la #2,
podemos marcarlas con el ratn:

y con el botn derecho del ratn seleccionar la opcin cortar:

luego nos situamos sobre la expresin #2, pulsamos el botn derecho del ratn y elegimos
la opcin pegar:

y se obtiene el resultado deseado, aunque hay que tener en cuenta que DERIVE renumera
automticamente por defecto todas las expresiones:

17

EJERCICIO 5.
Situar las expresiones #3 y #4 antes de la expresin #2.

1.6.3. Informacin de las operaciones realizadas con expresiones.
Si deseamos observar las caractersticas de generacin de las diferentes expresiones
introducidas en la ventana de lgebra, debemos centrar nuestra atencin en la lnea de
estado, en la que se indica el proceso de obtencin de la expresin seleccionada. Por
ejemplo en la siguiente grfica se observa que la expresin #1 es una expresin NUEVA;
introducida por el usuario:

Sin embargo si observamos en la siguiente grfica podemos comprobar que la expresin
#12 se ha obtenido por simplificacin de la expresin #11, y se ha tardado 0.04 segundos
en su simplificacin:

EJERCICIO 6.
Observar las expresiones #5 y #7 qu informacin se observa en la lnea de
estado?


18
1.6.4. Borrar una expresin, o un bloque de expresiones de la ventana de
lgebra.
Para borrar una o un bloque de expresiones podemos utilizar dos procedimientos.
El primer procedimiento consiste en seleccionar con el ratn las expresiones
correlativas que se desean borrar y aplicar sobre ellas o bien la secuencia Edicin-Borrar:

o bien el botn de herramientas .
Una segunda opcin consistira en marcar con el ratn las expresiones que se
desean borrar y pulsar el botn de la derecha del ratn seleccionando la opcin de borrar:
Tambin se puede utilizar la tecla (Supr) para borrar una o varias expresiones
marcadas previamente.

EJERCICIO 7.
Borrar las expresiones #1 a las #3 de vuestra ventana de lgebra. Usando el primer
procedimiento.
Borrar ahora las expresiones #5 y #6 usando el segundo procedimiento.

1.6.5. Recuperar el ltimo bloque de expresiones borrado.

Si deseamos recuperar el ltimo bloque de expresiones borrado, DERIVE nos
permite incorporarlo en nuestra ventana de lgebra por medio la orden Edicin-Recuperar:


19
1.7. INSERTAR TEXTO EN LA VENTANA DE LGEBRA.
Una de las opciones nuevas que nos permite DERIVE 5 es la posibilidad de introducir
comentarios tipo texto dentro de la ventana de lgebra. Para ello podemos utilizar dos
procedimientos:
a) o bien utilizar el men aplicando Insertar-Objeto de texto:

b) o bien aplicar el botn de herramientas
As por ejemplo podemos introducir el siguiente comentario: Vamos a derivar
la funcin:

obsrvese que el texto no aparece numerado, ya que se trata de un objeto
distinto, no es una expresin.

1.8. MANEJO DE FICHEROS.

DERIVE permite manipular dos tipos de ficheros fundamentalmente:
- Archivos con extensin .mth, que contienen nicamente
expresiones simblicas.
- y archivos con extensin .dfw, archivos que contienen
adems de las expresiones algebraicas, comentarios tipo
texto, grficas de 2 dimensiones y graficas de 3 dimensiones.
En consecuencia segn el tipo de objetos que tengamos en nuestra hoja de trabajo
podremos guardar los archivos de una u otra forma. Aunque los documentos se pueden
grabar en formato .mth, pero perderan todos los objetos de texto.

(a) Grabar en un fichero una sesin de trabajo.
Si deseamos grabar el conjunto de expresiones que tenemos en una ventana de lgebra
en un fichero concreto .mth, aplicaremos sobre el men la secuencia Archivo-Guardar
como entonces aparecer una ventana de dilogo sobre la cual indicaremos el nombre del
fichero y el tipo de fichero que deseamos guardar:

20

Evidentemente podremos seleccionar la unidad o el directorio en el cual queremos
efectuar esta operacin, del mismo modo que se realiza en Windows. Elegiremos tambin
el tipo de archivo que deseamos guardar, teniendo en cuenta las observaciones anteriores.

Si lo que deseamos es guardar la sesin de trabajo o el conjunto de expresiones sobre
un fichero ya existente, aplicaremos entonces o bien la secuencia Archivo-Guardar del
men o bien el botn de herramientas

Mediante estas rdenes, DERIVE grabar en el fichero que especifiquemos las
expresiones contenidas en la ventana de lgebra. Por defecto el programa asigna a este
fichero la extensin .dfw.

EJERCICIO 8.
Grabar en un fichero con el nombre sesion1 las expresiones que tenemos
actualmente en la ventana de lgebra, como archivo .mth.

(a) Cargar un fichero nuevo de DERIVE.
DERIVE permite cargar ficheros de varios tipos
- ficheros de DERIVE, con extensin MTH, que se pueden
cargar de dos formas o bien como un fichero normal MTH, o
bien como un fichero de UTILIDAD.
- ficheros tipo DOCUMENTO DE DERIVE, con extensin
DFW
- ficheros de DEMOSTRACIN; con extensin .dmo
- ficheros de DATOS, con extensin .dat

Los ficheros propios de DERIVE son los ficheros que tienen extensin MTH o bien
DFW.

21
Si deseamos leer cualquiera de estos tipos de fichero aplicaremos o bien
- la secuencia de men Archivo Abrir
- o bien el botn de herramientas
y aparecer deplegada la ventana:

Hay que tener en cuenta que los archivos tipo DOCUMENTO DE DERIVE, es decir
con extensin DFW solo se pueden abrir con esta opcin, sin embargo los archivos .MTH
permiten cargarse utilizando las siguientes opciones:

(b) Cargar un fichero aadiendo sus expresiones a las actuales.
Si deseamos cargar un fichero .MTH que aada sus expresiones a las expresiones que
tenemos actualmente en una ventana de lgebra utilizaremos la secuencia
Arvhivo-Leer-Mth y a continuacin seleccionamos el fichero deseado en la ventana de
dilogo. Utilizando esta secuencia visualizaremos las expresiones del nuevo fichero a
continuacin de las expresiones del fichero que tenamos antes cargado.

EJERCICIO 9.
Cargar el fichero SESION1.MTH en la ventana de lgebra como fichero de DERIVE
y luego cargar el fichero VECTOR.MTH a continuacin del fichero anterior.

(c) Cargar un fichero de DERIVE como fichero de utilidad.
Acabamos de comentar que podemos cargar ficheros de DERIVE visualizando el
contenido de sus expresiones, es la forma habitual de cargar ficheros de DERIVE. Pero
existe otra forma de cargar ficheros de DERIVE, esta consiste en cargar el fichero
nicamente en memoria, sin visualizar el contenido de sus expresiones.
Para cargar un fichero de esta forma aplicaremos la secuencia de men
Archivo-Leer-Utilidades, y elegiremos el fichero deseado desde la ventana de dilogo que
aparece a continuacin. Esta forma de cargar los ficheros de DERIVE suele denominarse
cargar un fichero como fichero de utilidades.

22
Podemos observar que a continuacin aparece una expresin indicando que hemos cargado
el fichero de esta forma:

EJERCICIO 10.
Para observar el efecto de esta operacin abrimos una ventana de lgebra
completamente vaca aplicando Archivo-Nuevo (o bien aplicando el botn de herramientas
).
A continuacin editamos sobre esta nueva ventana la expresin
rank(identity_matrix(3)) mediante Edicin-Expresin. (Recurdese que
IDENTITY_MATRIZ(3) es una funcin predefinida en DERIVE que construye la matriz
identidad de orden 3).
Obsrvese que en la ventana de lgebra aparecer la expresin:

Aunque la funcin RANK no es una funcin PREDEFINIDA, sin embargo se trata de
una funcin que viene en un fichero de utilidades PROPIO de DERIVE, por lo que
automticamente DERIVE busca en estas funciones para aplicarla. Esta bsqueda no
sucedera si por ejemplo definimos en un archivo nuevo la funcin:

obsrvese que esta funcin hace lo mismo que la funcin RANK guardada en un fichero de
utilidades de DERIVE, de hecho si efectuamos:

obtenemos el resultado deseado.
Si guardamos este fichero en la unidad A: con el nombre ejemplo y cerramos la
ventana. Al abrir una nueva ventana de lgebra si intentamos hacer la misma operacin
obtendramos:

pues DERIVE no reconoce esta funcin, ni se encuentra entre los ficheros de utilidades del
programa, en este caso est en una archivo de utilidad externo en la unidad A.

(d) Cargar las expresiones de varios ficheros.
Esta operacin es similar a la anterior, consiste en incluir las expresiones de dos o ms
ficheros, unas a continuacin de otras. Para ello aplicamos sucesivamente la secuencia de
mens Archivo-Leer-Mth.

(e) Cargar un fichero de tipo demostracin.
En DERIVE existen ficheros de tipo demostracin (con extensin .dmo) que nos
permiten mostrar al usuario las posibilidades del programa. Para cargar este tipo de
ficheros se aplica la secuencia de mens Archivo-Leer-Demo y a continuacin el nombre
del fichero.
Si se desea cargar en una ventana nueva este tipo de programas, aplicamos .

23
Obsrvese que con este tipo de fichero el programa carga expresiones e indica las
operaciones que va realizando, a medida que vamos pulsando la tecla (enter) vuelven a
aparecer nuevas operaciones y mensajes sobre la barra de estado indicndonos los
comentarios relacionados con las ltimas operaciones realizadas.
Si se desea parar la ejecucin de un fichero demo, basta pulsar la tecla (Esc).

EJERCICIO 11.
Cargar el fichero de demostracin CALCULUS.DMO y observar su funcionamiento.
Obsrvese que cada vez que tecleamos (enter) aparece un mensaje en la lnea de estado y
una nueva expresin en la ventana de lgebra que es la ejecucin de la operacin indicada
por la expresin anterior.

EJERCICIO 12.
Cargar los ficheros VECTOR.MTH y FRESNEL.MTH uno a continuacin del otro de
tal forma que se visualice el contenido de ambos ficheros.

1.9. MANEJO DE VENTANAS.

En el comienzo de esta seccin hemos comentado la posibilidad de utilizar en la
ZONA DE VENTANAS varios tipos de ventanas:

A) Ventanas de lgebra, utilizadas para introducir expresiones algebraicas y realizar
diversas operaciones con ellas.
B) Ventanas grficas de DOS dimensiones (2D-plot), sirven para efectuar
representaciones grficas de dos variables.
C) Ventanas grficas de TRES dimensiones (3d-PLOT) para efectuar
representaciones grficas de tres variables.

Cada uno de estos tipos de ventanas llevan asociados unos mens y barras de
herramientas propios, aunque hasta ahora hemos venido comentando los mens y barras de
herramientas de la ventana de lgebra.
Las ventanas de DERIVE funcionan de forma autnoma y todas ellas llevan asociado
un nombre. El manejo de estos tipos de ventanas de DERIVE es muy similar al manejo de
ventanas de WINDOWS; no obstante vamos a analizar a continuacin las operaciones
bsicas que podemos realizar con las mismas.

1. Abrir ventanas grficas 2D-plot
Para abrir una NUEVA ventana grfica 2D bastar aplicar la secuencia de men
Ventana-Nueva Ventana 2D. Podemos abrir tantas ventanas 2D como deseemos, pero
siempre debe existir al menos una ventana de lgebra. Las ventanas 2D que deseemos
abrir se van numerando en la lnea superior de la ventana. Para observar todas las ventanas
a la vez en forma de pestaa debemos aplicar Ventana-Cascada y observaremos el
siguiente grfico


24

En esta situacin si deseamos representar grficamente por ejemplo la funcin y=ln(x)
tendramos que situarnos en la ventana de lgebra aplicando la secuencia del men
Ventana (seleccionando la ventana de lgebra)

O bien situndonos con el ratn encima de la ventana sobre la que deseamos operar y hacer
un clic.
Ahora estaremos en disposicin de introducir con Edicin-Expresin la expresin
algebraica que define y=ln(x),
Para representar esta funcin en la ventana 2D Primera, bastar seleccionar la ventana
2D:1 haciendo un clic con el ratn encima de ella o bien aplicando el botn de
herramientas
una vez situados en la ventana 2D:1 aplicamos el comando !Representar que aparece en el
men o el botn de herramientas de esta ventana Representar grficamente

25
y obtenemos la siguiente grfica

Debemos de sealar que si no hubiese ninguna ventana 2D creada, a partir de la ventana de
lgebra podemos crear una ventana 2D con slo aplicar el botn de herramientas
Ventana 2D

2. Abrir ventanas grficas 3D-Plot.
Para abrir una NUEVA ventana grfica 3D bastar aplicar la secuencia de men
Ventana-Nueva Ventana 3D. Podemos abrir tantas ventanas 3D como deseemos, pero
siempre debe existir al menos una ventana de lgebra. Las ventanas 3D que deseemos
abrir se van numerando en la lnea superior de la ventana como puede observarse en el
siguiente grfico


26

En esta situacin si deseamos representar grficamente por ejemplo la funcin de dos
variables z=x
2
-y
2
tendramos que situarnos en una ventana de lgebra aplicando la
secuencia del men Ventana (seleccionando la ventana de lgebra deseada), o bien
situndonos con el ratn encima de la ventana sobre la que deseamos operar y hacer un
clic.
Ahora estaremos en disposicin de introducir con Edicin Expresin la expresin
algebraica que define x
2
-y
2

para representar esta funcin en la ventana 3D Primera, bastar seleccionar la ventana
Graficos 3D:1 haciendo un clic con el ratn encima de ella o bien aplicando el botn de
herramientas
una vez situados en la ventana 3D:1 aplicamos el comando !Representar que aparece en el
men o el botn de herramientas de esta ventana Representar grficamente
y obtenemos la siguiente grfica

Debemos de sealar que si no hubiese ninguna ventana 3D creada inicialmente, a partir de
la ventana de lgebra podemos crear una ventana 2D con slo aplicar el botn de
herramientas Ventana 2D-Plot
3. Movernos entre ventanas.
Si deseamos movernos entre ventanas basta con situarnos con el ratn sobre una parte
de la ventana que deseamos activar y hacer un clic. Otra posibilidad consiste en aplicar a
travs del men la secuencia Ventana (seleccionar la ventana en la que nos deseamos
situar).

4. Cerrar una ventana.
Para cerrar una ventana tenemos dos alternativas:

27
- Hacer clic sobre el botn que se encuentra en la ventana en la esquina superior
derecha.
- Activando la ventana que deseamos borrar y aplicar la secuencia de men Archivo
Cerrar.

5. Minimizar una ventana.
Para minimizar cualquier tipo de ventanas de DERIVE, basta con hacer clic sobre el
botn que se encuentra en la parte superior derecha de la ventana.

6. Disposicin de las ventanas: mosaico/cascada.
Cuando tenemos varias ventanas abiertas de forma simultnea, DERIVE nos ofrece la
posibilidad de distribuirlas en la pantalla de varias formas. Aplicando el comando Ventana
se despliega un submen que contiene las diferentes posibilidades

en cascada, en mosaico horizontal y en mosaico vertical. Para observar el efecto de estos
subcomandos, vamos a desplegar tres ventanas por ejemplo una de lgebra, una de dos
dimensiones y otra grfica de tres dimensiones:

Si aplicamos el subcomando Ventana-Cascada la ventana anterior quedad de la forma


28

si ahora aplicamos el subcomando Ventana-Mosaico Horizontal resulta

y por ltimo si aplicamos el subcomando Ventana-Mosaico Vertical se obtiene


29

como puede observarse son nuevas posiblidades para disponer las ventanas.

Con esto hemos terminado la parte de introduccin general al programa DERIVE.

Prcticas de Matemticas I y Matemticas II con DERIVE

30
2. OPERACIONES ALGEBRAICAS BSICAS.

En este apartado vamos a realizar las operaciones algebraicas bsicas que nos
permiten utilizar DERIVE como herramienta de clculo. Todas estas operaciones las
realizaremos sobre una ventana de lgebra, por lo que los comandos que vamos a
utilizar estn asociados a mens o barras de herramientas de una ventana de lgebra.
Nos situamos por tanto sobre una ventana de lgebra.

2.1 SIMPLIFICAR EXPRESIONES.
Para utilizar DERIVE como una calculadora, basta iluminar la expresin que se
desea simplificar y a continuacin aplicar el comando del men Simplificar-Normal.
Si la expresin no ha sido introducida en la ventana de lgebra, existe la
posibilidad de simplificarla directamente desde la ventana de edicin. Tambin se
utiliza el botn de herramientas (o bien la secuencia Simplificar-Normal):
As por ejemplo, si introducimos con la expresin 35*(8984-4357)^3 y
aplicamos el botn se obtiene:

Tambin se podra haber simplificado la expresin incluyendo el signo = dentro
de la ventana de edicin obtenindose en ese caso:

Por ltimo debemos sealar que en la ventana de edicin tenemos tambin la
posibilidad de simplificar aplicando el mismo botn de herramientas con =,
obsrvense los botones que aparecen en esta ventana de edicin:

Con este comando tambin podemos realizar simplificaciones de operaciones
algebraicas. Por ejemplo, podemos intentar simplificar la expresin
(x^2-4)/((x-2)(x+3)). Para ello primero la editamos con y en segundo lugar
aplicamos el comando de simplificar expresin con el botn de herramientas
resultando

podemos observar que el resultado de la simplificacin es una expresin que se sita
centrada en la ventana de lgebra.

Tambin se puede utiliza este comando para desarrollar las operaciones que
algunas veces quedan indicadas en la ventana de lgebra, operaciones como el clculo
de derivadas, integrales, ... ms adelante veremos con detalle esta aplicacin.
Operaciones algebraicas bsicas

31
EJERCICIO 13.
Calcular mediante DERIVE los siguientes valores:
a) 500!
b) Ln(45)-4

2.2.TRABAJAR EN MODO APROXIMADO Y MODO EXACTO.

En el apartado b) del ejercicio anterior podemos observar que al simplificar la
expresin ln(45)-4 obtenemos la misma expresin, por qu? DERIVE siempre
trabaja por defecto en MODO EXACTO, por lo que siempre al simplificar obtenemos
como resultado un nmero exacto. Es una de las caractersticas fundamentales de los
programas de clculo simblico: la aritmtica exacta. Pero si deseamos calcular
expresiones aproximadas en coma flotante, con un cierto nmero de decimales
podemos aplicar el comando de aproximacin que se aplica usando o bien la secuencia
de men Simplificar-Aproximar o bien utilizando el botn de herramientas Aproximar
.

Por ejemplo, si aplicamos Simplificar-Aproximar sobre la expresin anterior
aparece la ventana de dilogo:

ventana que nos solicita el nmero de dgitos de precisin o de aproximacin, si
pulsamos obtenemos una expresin que al simplificar nos dara:

Si hubisemos aplicado el botn habramos obtenido directamente el
resultado:

Utilizando el botn sobre la expresin inicial obtendramos directamente el
mismo resultado.

Hemos obtenido en este caso una aproximacin con 10 dgitos decimales, que es
la aproximacin por defecto que tiene definida DERIVE. Sin embargo podemos
modificarla, indicando el nmero de dgitos decimales que deseemos. Efectivamente,
si abrimos la ventana de dilogo Modos de Simplificacin, con la secuencia de men
Definir- Preferencias de Simplificacin nos aparece la ventana de dilogo


32

En el campo PRECISION podemos seleccionar el nmero de dgitos de precisin
para la aproximacin. Al efectuar esta operacin obligamos a que DERIVE efecte por
defecto una aproximacin con tantos dgitos decimales como los indicados en el men.

Sin embargo si no deseamos modificar el nmero de dgitos de aproximacin ms
que en una operacin concreta, resulta ms cmodo aplicar el comando Simplificar-
Aproximar indicando en la ventana de dilogo el nmero de dgitos de precisin que
queremos aplicar en con esta expresin, de tal forma que si EN ESA ventana
indicamos un nmero de dgitos diferente al determinado, DERIVE efecta la
aproximacin con los dgitos que hemos sealado pero en posteriores aproximaciones
seguir utilizando la que tena introducida por defecto.

Por ejemplo, si deseamos aproximar la expresin ln(34) con 25 dgitos de
aproximacin, aplicamos Simplificar Aproximar y en la ventana de dilogo
introducimos 25:

si aplicamos Aproximar, obtenemos:

Si ahora deseamos aproximar por 10 dgitos (que son los que tiene DERIVE por
defecto), bastara aplicar sobre la expresin #18 y se obtiene:

EJERCICIO 14.
Obtener valores aproximados con 14 dgitos de las siguientes expresiones:
a) el nmero pi b) el nmero e c) ln(2) d) e
5


33

2.3.EXPANDIR UNA EXPRESIN.
Para expandir o desarrollar una expresin utilizaremos la secuencia de men
Simplificar-Expandir. Al aplicar esta secuencia sobre cierta expresin previamente
iluminada nos aparece la siguiente ventana de dilogo

En esta ventana de dilogo podemos seleccionar las variables respecto de las
cuales deseamos expandir y el tipo de expansin: trivial, sin cuadrados, Racional y
Radicales. Normalmente utilizaremos la expansin trivial, iluminando este campo; y
en el campo Variables iluminaremos con el ratn aquellas variables respecto de las
cuales se desea efectuar la expansin (suelen iluminarse todas). Una vez hecho esto
hacemos clic sobre el botn EXPANDIR.

Por ejemplo si deseamos expandir la expresin "(x+y)
4
", introducimos primero
esta expresin en la ventana de lgebra con Edicin Expresin; aplicamos la secuencia
de men Simplificar-Expandir y a continuacin iluminamos las variables x e y

luego aplicamos nuevamente el botn resultando


34
EJERCICIO 15.
Desarrollar o expandir las expresiones
a) (a
3
-b)
8

b) (2x-y/3)
6

c)
1
1 5
4
x
x

2.4. FACTORIZAR UN NMERO.

Obtener la descomposicin en factores primos de un nmero entero es sencilla,
basta con introducir el nmero como expresin y aplicar sobre esta la secuencia de
men Simplificar-Factorizar , inmediatamente aparece la siguiente ventana de dilogo

para factorizar un nmero es suficiente con elegir el campo TRIVIAL, y hacer clic
sobre el botn FACTORIZAR. Por ejemplo, si intentamos calcular la descomposicin
en factores primos del nmero 1470512848896 debemos primero editar la expresin
y aplicar Simplificar-Factorizar elegir el campo TRIVIAL y factorizar, resultando

EJERCICIO 16
Calcular el mximo comn divisor de los nmeros 259308 y 7200.

2.5.FACTORIZAR UN POLINOMIO.

DERIVE permite realizar distintos tipos de factorizaciones de polinomios: Todos
ellos se obtienen aplicando la secuencia de men Simplificar-Factorizar como puede
observarse en la ventana de dilogo en el campo FORMA:

35

Eligiendo en el campo FORMA el tipo de factorizacin deseada sobre la expresin
polinmica introducida en la lnea de edicin.

Para entender como operan cada una de estas opciones vamos a introducir un
polinomio sobre el cual iremos observando el resultado obtenido al aplicar cada uno
de los comandos. Introduzcamos por tanto con el polinomio:

x
8
+2x
7
-3x
6
-10x
5
-8x
4
+6x
3
+16x
2
+8x

a) Si aplicamos la secuencia Simplificar-Factorizar y elegimos en el campo
Forma la opcin TRIVIAL, podemos sacar factor comn al polinomio si es
que este lo tiene, en nuestro ejemplo obtendramos

b) Aplicando la secuencia Simplificar-Factorizar, y eligiendo en el campo Forma
la opcin LIBRE DE CUADRADOS obtenemos la expresin

c) Mediante la secuencia Simplificar-Factorizar y eligiendo en el campo Forma
la opcin RACIONAL, obtenemos la factorizacin racional del polinomio
dado

d) La secuencia Simplificar-Factorizar y eligiendo en el campo Forma la opcin
RADICAL efecta una factorizacin real del mismo

e) Y por ltimo con Simplificar-Factorizar COMPLEJO se realiza una
factorizacin polinmica utilizando races complejas

36

OBSERVACION: Si se intentan factorizar polinomios de varias variables,
deberemos elegir las variables sobre las cuales se desea efectuar la factorizacin.

EJERCICIO 17.
Calcular las races enteras del polinomio 4x
3
-5x
2
+8x-5.

2.6.RESOLVER UNA ECUACIN.

Para resolver una ecuacin en DERIVE, en primer lugar deberemos introducir la
expresin que define la ecuacin expresin1 = expresin 2, y a continuacin aplicar
la secuencia de men Resolver-Expresin (o bien aplicar el botn de herramientas
Resolver-Algebraicamente ) y aparecer la siguiente ventana de dilogo:

donde, por defecto, aparecer marcado el Mtodo Algebraico.

Si la ecuacin tiene ms de una variable, el programa nos solicita respecto de qu
variable queremos obtener la solucin. Por ejemplo, si deseamos resolver la ecuacin
x
2
-x-6=0, bastar que la introduzcamos en la ventana de lgebra, a continuacin
aplicamos el botn Resolver Algebraicamente , hacemos clic sobre el icono
Resolver y se obtiene

Hagamos un segundo ejemplo de una ecuacin con ms de una variable. Si
deseamos resolver la ecuacin x
2
+y
2
-8x+6y=169 respecto de la variable y; entonces
una vez editada con Edicin Expresin la expresin anterior, aplicamos sobre ella
y elegimos la variable de resolucin y, resultando


37
EJERCICIO 18.
Resolver las ecuaciones:
a) x
2
-5x+6=0
b) 5(x-1/x
2
)=x-1
c) x
3
-1=0
d) Resolver respecto de la variable x la ecuacin x+y
2
-3xy=9

2.7.RESOLVER UNA INECUACIN CON MS DE UNA VARIABLE.

Para resolver una inecuacin bastar editar la inecuacin y aplicar sobre ella el
men Resolver-Expresin-Algebraicamente o el botn de herramientas . A
continuacin elegimos la variable respecto de la cual deseamos resolver y luego
hacemos clic en RESOLVER.
Por ejemplo, si deseamos resolver la inecuacin 3x-5y+7>0, primero la editamos
y en segundo lugar aplicamos , luego elegimos la variable respecto de la cual
resolver "x" y resulta

2.8. ASIGNACIN DE VALORES A VARIABLES, DEFINICIN DE
FUNCIONES Y SUSTITUCIN DE VARIABLES.

Es frecuente efectuar asignaciones de valores a variables. Este procedimiento se
ejecuta editando en DERIVE una expresin de la forma
variable := valor
Por ejemplo si deseamos asignar a la variable a, el valor 3, editamos la expresin

En adelante, cualquier expresin que contenga la variable a, siempre evaluara la
expresin tomando la variable a el valor asignado, en este caso 3. As por ejemplo si
editamos la expresin 3ax+5 y la simplificamos, se obtiene

De igual forma que definimos variables, podemos DEFINIR FUNCIONES. Para
ello, seguiremos la siguiente sintaxis:
nombre_funcin(var1,var2,...,varn) := expresin funcional
Por ejemplo si deseamos definir la funcin mifuncion(x)=ln(x
2
+2x-3), bastar que
editemos la expresin

Como puede observarse la funcin aparece escrita en maysculas. Esta es una
caracterstica de DERIVE: todas las funciones definidas aparecen en maysculas en la

38
ventana de lgebra (aunque en la lnea de edicin se hayan escrito en minsculas). Esta
definicin es til, ya que si deseamos evaluar esta funcin en x=5, bastar editar la
expresin mifuncion(5) y aplicar el comando Simplificar-Normal resulta

Si en una expresin dada deseamos sustituir el valor de una o varias variables sin
necesidad de asignar un valor a dichas variables, podemos utilizar el comando
Simplificar-SustituirVariables. Por ejemplo, si tenemos editada la expresin

y deseamos sustituir la variable x por el valor 5 y la variable y por el valor 30
aplicaremos el comando Simplificar-SustituirVariables y aparece la ventana de
dilogo

en la que deberemos indicar para cada variable el valor de sustitucin, marcando
primero la variable y luego tecleando el valor en el campo Sustitucin:

al aplicar el botn se obtiene

si en vez de aplicar el botn hubisemos aplicado el botn se
obtiene la simplificacin de la expresin anterior, es decir

39

El botn de herramientas es equivalente a la secuencia Simplificar-
SustituirVariable.

EJERCICIO 19.
a) Definir la variable b con el valor 34.
c) Evaluar la expresin b+5.
d) Definir una funcin con el nombre mia(x,y)= x
2
-3xy y evaluarla en x=2,y=4.
e) Editar la expresin
2
2
2( )
x y z
z x y
+
+ +
y sustituir en ella la variable x por el valor
58 y la variable y por el valor 89, y obtener la expresin simplificada.

2.9. FUNCIONES PREDEFINIDAS EN DERIVE.
DERIVE tiene una coleccin de funciones predefinidas, es decir, funciones que no
necesitan de un fichero de utilidades para ser cargadas en memoria. Estas
funciones se encuentran por tanto, siempre disponibles. A continuacin
mostramos algunas de estas funciones:
Funcin raz cuadrada: SQRT(x)
Funcin valor absoluto: ABS(x)
Funcin parte entera de x: FLOOR(x)
Funcin resto de la divisin entera del nmero h entre m:
MOD(h,m)
Funcin exponencial: EXP(x)
Funcin logaritmo neperiano: LN(x)
Funcin seno: SIN(x)
Funcin coseno COS(x)
Funcin mximo comn divisor de los nmeros a y b
GCD(a,b)
Mnimo comn mltiplo de los nmeros a y b: LCM(a,b)
Menor nmero primo mayor que el natural x:
NEXT_PRIME(x)
Mximo comn divisor de los polinomios a y b:
POLY_GCD(a,b)
Factorial de n: n!
Funcin media aritmtica de argumentos dados:
AVERAGE(x1,x2,...,xn)
Funcin varianza de los argumentos dados:
VAR(x1,x2,...,xn)
Nmero de subconjuntos de p elementos de un conjunto m
(combinaciones) COMB(m,p)
Mdulo del complejo z: ABS(z)
Argumento del nmero complejo z: PHASE(z)
Parte real del complejo z: RE(z)
Parte imaginaria del complejo z: IM(z)

40
....
La lista de funciones predefinidas se puede consultar en la
AYUDA de DERIVE.

2.10. LA AYUDA DE DERIVE.
Utilizando el men Ayuda podemos obtener informacin de todos los comandos y
funciones definidas en DERIVE. En concreto podemos obtener varios tipos de ayuda.
Tenemos una ayuda en funcin de CONTENIDOS, de tal forma que al aplicar esta
opcin se despliega una nueva ventana independiente del programa que tiene
agrupados por temas las ayudas que presta este programa:

El programa de ayuda tiene estructura de fichero hipertexto de tal forma que basta
ir pinchando las palabras subrayadas para acceder a la informacin que contiene el
programa de ayuda sobre ellas.

Tambin tenemos la posibilidad de utilizar un ndice de temas de ayuda. Este
ndice se desplica aplicando Ayuda-Indice desplegndose la ventana de dilogo:

41

EJERCICIO 20.
Consultar en la AYUDA DE DERIVE las funciones predefinidas de DERIVE.
Para calcular la tangente de 35.


42
3. COMANDOS BSICOS PARA EL
CLCULO DIFERENCIAL.

En esta seccin vamos a mostrar una breve relacin de las RUTINAS BASICAS
del clculo contenidas en el programa DERIVE-5.

3.1.CLCULO DE DERIVADAS Y DERIVADAS PARCIALES.

Si tenemos seleccionada en la ventana de lgebra una expresin algebraica, por
ejemplo

y deseamos calcular su derivada podemos utilizar dos alternativas:
- usar la secuencia de men Clculo-Derivadas
a continuacin aparecer la ventana de dilogo:

en esta ventana de dilogo tenemos varios elementos, por un lado la VARIABLE DE
DERIVACIN (que deberemos elegir si se trata de una expresin de varias variables),
y el ORDEN de la derivada que deseamos calcular. Una vez seleccionados estos
elementos podemos optar por hacer clic sobre el botn

en cuyo caso aparecer en la ventana de lgebra una expresin que indica la operacin
de derivacin a realizar:

en este caso, si se desea obtener posteriormente la derivada habra que simplificar la
expresin obtenida.
Si por el contrario hacemos uso del botn

obtendremos el valor de la derivada directamente. Obsrvese la diferencia en el uso de
ambos botones.

Comandos bsicos para el clculo diferencial

43
Por ejemplo si deseamos calcular la derivada de orden tres de y=ln(cos x)), en
primer lugar introducimos la expresin ln(cos x) en la ventana de lgebra y a
continuacin aplicamos la secuencia de men Clculo-Derivar, seleccionamos la
variable respecto de la cual queremos derivar (en este caso x) elegimos tambin el
orden 3 y hacemos clic sobre el botn SI obteniendo

Simplificando esta expresin con Simplificar-Normal obtenemos

Si lo que deseamos es calcular derivadas parciales, tendremos que aplicar
Calculo-Derivar respecto de la variable que deseemos derivar as como su orden.

Por ejemplo si deseamos calcular
( ) y x xy
y x
sen 3 4
2
2

Primero introducimos la expresin 4xy
2
-3 x sin(y) con , luego aplicamos
respecto de la variable y con orden 1 y se obtiene la expresin

A continuacin aplicamos sobre esta ltima expresin nuevamente respecto de la
variable x con orden 1 y resulta

Que al simplificar con Simplificar-Normal nos da las derivada parcial deseada:

EJERCICIO 21.
Calcular ( ) ) 3 cos(ln(
2
2
+
x
x

3.2. CLCULO DE INTEGRALES INDEFINIDAS.

Dada una expresin algebraica introducida previamente en la ventana de lgebra,
por ejemplo:

si deseamos calcular una primitiva de dicha expresin algebraica podemos utilizar una
de las dos alternativas siguientes:
- aplicar la secuencia de men Clculo-Integrales
- o bien aplicar el botn de herramientas


44
apareciendo en ambos casos la siguiente ventana de dilogo:

En esta ventana de dilogo debemos elegir la variable de integracin, el tipo de
integral (indefinida en este caso) y la constante de integracin (si dejamos el 0 no
introduce ninguna constante; para que DERIVE sume una constante de integracin
debemos indicarle el nombre de dicha constante, que puede ser por ejemplo c). Una
vez introducidos los datos correspondientes a los tres campos anteriores tenemos dos
botones para aplicar la integracin deseada,
- el botn que dejar la integral indefinida indicada como una
nueva expresin en la ventana de lgebra

obsrvese que si deseamos obtener a continuacin el resultado de esta integral
deberemos simplificarla.
- el botn nos da el resultado de la integral indefinida.

Por ejemplo, si deseamos calcular
dx x) tan( , primero introducimos la expresin

csc(x) (nombre con el cual se representa con DERIVE la funcin cosecante),
aplicamos respecto de la variable x, marcamos el campo Indefinida y en el
campo Constante introducimos la letra c ; si deseamos dejar indicada la operaciones
hacemos clic en , obtenemos

Simplificando ahora esta expresin con Simplificar-Normal resulta

que es una de las primitivas.
Si despus de haber aplicado hacemos clic sobre obtenemos
directamente el resultado de la integral, es decir

Obsrvese que DERIVE nicamente calcula una de las primitivas, la constante general
de integracin deberamos aadrsela para dar una respuesta correcta al problema.

EJERCICIO 22. Calcular las siguientes integrales indefinidas
a)

+ +
dx
x
x x
5 3
2 3
2


45
Solucin:

b)
dx e x
x 6

Solucin:

3.3. CLCULO DE INTEGRALES DEFINIDAS.
Para calcular integrales definidas primero editamos el integrando y luego
activamos la ventana de dilogo de la integracin bien a travs de la secuencia de
men Clculo-Integrales o bien con el botn de herramientas . Una vez activada
dicha ventana de dilogo

seleccionamos en el campo Integral la opcin DEFINIDA con un simple clic, a
continuacin aparecer abierto el campo Integral Definida en el cual podemos incluir
los lmites superior e inferior. Luego hacemos clic sobre el botn SI en el caso de que
deseemos dejar indicada la operacin para posteriormente simplificarla. Cuando
deseemos obtener el resultado haremos clic sobre el botn SIMPLIFICAR.

Por ejemplo, si deseamos calcular dx x x x ) 2 4 3 (
3
0
2 3
+ primero
introducimos la expresin x^3-3x^2+4x-2, aplicamos el comando Clculo-
Integrales, respecto de la variable x, seleccionamos el campo de Integral Definida,
introducimos los valores 0 y 3 en los campos correspondientes a lmite inferior y
superior y finalmente hacemos clic sobre el botn SI y obtenemos la expresin
si aplicamos ahora Simplificar-Normal obtenemos:


46
Existen integrales no elementales como por ejemplo
2
1
( ) sen x
dx
x
que al
intentarlas resolver con derive nos dan la misma expresin:

Esto se debe a que la integral indefinida de esta funcin es no elemental, es decir no
es expresable a partir de funciones elementales. En estos casos es aconsejable realizar
una aproximacin usando Simplificar-Aproximar en cuyo caso resulta

EJERCICIO 23. Calcular
0
( )
x
e sen x dx
. (Observacin: el nmero se
introduce tecleando pi).
Solucin:

3.4. CLCULO DE INTEGRALES IMPROPIAS.

DERIVE permite calcular integrales impropias tratndolas como si fuesen
integrales definidas. Para ello basta con activar (del mismo modo que con en las
integrales definidas) la ventana de dilogo por medio de la secuencia de men
Calculo-Integrales o bien mediante el botn de herramientas . As por ejemplo, si
deseamos calcular la integral
+
1
0
) 1 (x x
dx

como se trata de integrar una funcin no acotada en un recinto acotado, cuyo nico
punto de no acotacin es x=0. Para resolverla bastar introducir la funcin

plantear la integral como si fuese una integral definida en DERIVE

y al simplificarla resulta:

De igual forma si tenemos que calcular una integral de una funcin acotada en un
recinto no acotado como
+
0
2
4
dx
x
dx


47
Esto se consigue editando

plantearla como si fuese una integral definida, teniendo en cuenta que el smbolo de
infinito en DERIVE se escribe inf (o bien se selecciona de la barra de caracteres
adjunta a la ventana de dilogo de la integracin el smbolo )

y tras simplificar resulta

En los dos casos anteriores hemos obtenido la convergencia de ambas integrales.
Pero DERIVE tambin nos da informacin acerca de la NO CONVERGENCIA. Por
ejemplo si intentamos calcular

1
0
4
1 x
dx

utilizando el procedimiento anterior obtendremos las siguientes expresiones en
DERIVE

Obsrvese que en la ltima expresin aparece - , por tanto la integral no
converge.

Pero deberemos tener cuidado a la hora de estudiar integrales impropias en las
que, la funcin sea no acotada en un intervalo no acotado, as como en aquellas
integrales de funciones no acotadas que contienen, los puntos de no acotacin en el
interior del intervalo de integracin. En estos casos DERIVE no calcula la integral
impropia sino que calcula lo que se suele denominar el VALOR PRINCIPAL DE
CAUCHY. Podemos comprobarlo con el clculo de
2
1
3
1
dx
x


48
Si efectuamos el clculo de esta integral en DERIVE como si fuera una integral
definida, en este caso DERIVE nos indica que la integral es convergente, sin embargo
es sabido que esta integral impropia no converge. El problema reside en que el punto
de no acotacin x=0 est en el interior y por tanto DERIVE calcula otra cosa distinta a
la integral, obteniendo como valor de convergencia

Sin embargo si calculamos por separado en DERIVE las integrales

0
1
2
0
3 3
1 1
dx
x
y dx
x

se obtienen las expresiones

por lo que es divergente.

EJERCICIO 24.
Determinar la convergencia o no convergencia de las siguientes integrales
impropias
(a)

1
0
2
2
dx
x
x
(b)
1
1
2
dx
x
x

3.5. CLCULO DE LMITES.
El clculo de lmites se puede efectuar aplicando sobre cierta expresin algebraica
dos opciones:
- la secuencia de men Clculo-Lmites
- o bien la barra de herramientas

49
en este momento aparecer desplegada la ventana de dilogo correspondientes al
clculo de lmites:

En esta ventana podemos observar varios campos:
- El campo VARIABLE en el que debemos indicar la variable del lmite
- El campo PUNTO en el que indicaremos el punto en el que deseamos calcular
el lmite
- Y finalmente el campo TENDIENDO POR; en el que indicaremos si se trata
de un lmite o bien un lmite por la izquierda o por la derecha.
-
Una vez introducidos estos datos podemos hacer clic en SI para que aparezca en la
ventana de lgebra la expresin que estamos calculando y que despus podremos
simplificar o bien hacer clic en SIMPLIFICAR si deseamos obtener directamente el
valor.

Por ejemplo, para calcular
x
x sen
x
) (
lim
0

En primer lugar introducimos la expresin sin(x)/x, a continuacin aplicamos
Calculo-Lmite sobre esta expresin, y rellenamos la ventana de dilogo indicando
- en el campo VARIABLE: x
- en el campo PUNTO: 0
- y en el campo TENDIENDO POR: ambas
y obtenemos despus de simplificar:

Se pueden calcular lmites en el infinito si introducimos en el campo PUNTO:
+ -. Por ejemplo para calcular el lmite
1 2
3
lim
3
+

x
x x
x

tras introducir la expresin (x^3-3x)/(2x+1) en DERIVE, obtendremos tras sucesivas
aplicaciones de los comandos ya explicados las expresiones

50

EJERCICIO 25.
Calcular los siguientes lmites funcionales:
(a)
2
2
2

x
x x
lim
x
(b)
2
2
2

x
x x
lim
x

Segn los resultados obtenidos existe
2
2
2

x
x x
lim
x
?

3.6. CLCULO DE SUMATORIOS.

La expresin
=
b
a i
i p ) (
siendo a,b nmeros enteros y b>a, denota un sumatorio de la expresin p(i) variando
desde i=1 hasta i=b, es dedir
p(a)+p(a+1)+p(a+2)+...+p(b)
DERIVE permite obtener el resultado de este tipo de operaciones desplegando
una ventana de dilogo especial para este tipo de operaciones. Una vez introducida la
expresin base del sumatorio podemos aplicar:
- o bien la secuencia de men Calculo-Suma y Series
y aparecer la ventana de dilogo correspondiente a esta operacin. En esta ventana de
dilogo aparecen varios campos como se observa en la siguiente figura:

Los campos de esta ventana de dilogo son:
- Campo VARIABLE; en el que se indica la variable del sumatorio
- Campo SUMA, en el que se debe sealar si se trata de una suma definida o
una suma indefinida.
- Campos LMITES SUPERIOR E INFERIOR; indicando los lmites superiores
e inferiores de la variable.

Por ejemplo si deseamos calcular cuanto vale la suma de los cuadrados de los
10 primeros nmeros naturales, es decir
=
10
1
2
i
i

51
En primer lugar editamos la expresin i^2, aplicamos sobre esta expresin el
comando Calculo-Sumas, elegimos como variable i, elegimos suma Definida y
seleccionamos como lmites inferior 1 y como lmite superior 10 (enter) (para
pasar de un campo a otro recurdese que se utiliza la tabla de tabulacin ) y obtenemos
la expresin

que al simplificar resulta

Tambin podramos haber obtenido la frmula general de la suma de los
cuadrados de los n-primeros nmeros naturales, efectuando

EJERCICIO 26.
Calcular la suma de los cubos de los n-primeros nmeros naturales.
Cunto valdr la suma de los cubos de los 100-primeros nmeros naturales?
Soluncin:

3.7. CLCULO DE PRODUCTORIOS.

Se denota por
=
b
a i
i p ) (
si a,b son nmeros enteros y b>a, al resultado de efectuar el producto
( ) ( 1) ( 2) ... ( ) p a p a p a p b + +

Para efectuar este clculo con DERIVE debemos desplegar la ventana de dilogo
correspondiente al clculo de productos. Esta ventana se obtiene por dos mtodos:

52
- aplicando la secuencia de comandos Calculo-Productos,
- o bien aplicando el botn de herramientas

Una vez desplegada la ventana de dilogo

debemos rellenar los campos que aparecen:
- Campo VARIABLE, en el que debemos sealar cual es la variable de la
expresin de productos (por defecto DERIVE suele considerar una de las
variables de la expresin base del productorio)
- Campo PRODUCTO; donde debemos sealar si se trata de un producto
definido o indefinido
- En el caso de ser un producto definido, aparecen abiertos los campos
LMITES SUPERIOR E INFERIOR; en el que introduciremos los lmites
superior e inferior del productorio.

Por ejemplo si deseamos calcular
) 1 2 (
20
1
2
=
+
i
i i
En primer lugar editamos la expresin i^2-2i+1, aplicamos sobre la misma el
comando Calculo-Productos, elegimos la variable i (enter), sealamos que se trata
de un producto definido e indicamos en los campos lmite superior e inferior los
valores 1 y 20 respectivamente (enter). Al simplificar se obtendr el valor del
productorio anterior:
por qu se obtiene 0? Obsrvese que el primer factor para i=1, sale 0, por tanto el
producto total ha de ser nulo.

EJERCICIO 27.
Calcular el producto de los cuadrados de los n-primeros enteros positivos.
Cunto vale el producto de los cuadrados de los 20 primeros enteros positivos?
Solucin:

53

3.8. CLCULO DE DESARROLLOS DE TAYLOR.

Para calcular el desarrollo de Taylor de cierta funcin, debemos como es habitual
en todas las opciones de CALCULO desplegar la ventana de dilogo correspondiente a
este comando, con la secuencia Calculo-Polinomios de Taylor apareciendo la ventana
de dilogo:

que contiene los siguientes campos:
- Campo VARIABLE, variable respecto de la cual se realiza el desarrollo de
Taylor
- Campo PUNTO; en el que se indica el punto donde se desarrolla la Serie de
Taylor
- Campo GRADO; es el orden del polinomio de Taylor que deseamos

Por ejemplo, si deseamos calcular el polinomio de Taylor de la funcin e
x
en un
entorno del punto x=0, procederemos de la siguiente forma: en primer lugar
introducimos la expresin ^x, aplicamos Calculo-Polinomios de Taylor, indicamos
la variable "x" (aunque DERIVE la toma por defecto), en el punto "0" y el orden "6"
y obtenemos

que tras simplificar resulta el polinomio

EJERCICIO 28.
Calcular el polinomio de Taylor de orden 4 de la funcin f(x)=x
4
-3x+2 en un
entorno del punto x=0.

Con las secuencias de comandos estudiadas tenemos las herramientas
fundamentales para el CALCULO DIFERENCIAL. Las secciones que siguen son
aplicaciones que requieren nicamente un conocimiento CONCEPTUAL de los
elementos que vamos a ir estudiando.

Prcticas de Matemticas I y Matemticas II con DERIVE-5 54

4. ANLISIS DE FUNCIONES DE UNA
VARIABLE

En esta seccin realizaremos algunos ejercicios sobre el estudio de funciones de una
variable. En la parte final hay ejercicios propuestos.

4.1. PROPIEDADES GENERALES Y GRFICAS DE FUNCIONES DE UNA
VARIABLE.

EJEMPLO 4.1.
Dada la funcin
4
) (
2
2
=
x
x
x f se pide:
(a) Representar la funcin grficamente.
(b) Estudiar el comportamiento de la funcin: dominio, rango, asntotas, intervalos de
crecimiento, intervalos de concavidad, extremos relativos y puntos de inflexin.

Solucin:
(a) Para representar la funcin, se introduce la expresin x^2/(x^2-4)

y a continuacin aplicamos Ventana-Nueva ventana 2D. En la nueva ventana se aplica
y se obtiene

(b) En este caso, de la grfica de la funcin se puede deducir directamente informacin
que utilizaremos en el anlisis de este apartado y que se obtendr de forma alternativa con
el estudio analtico correspondiente.

Anlisis de funciones de una variable 55

DOMINIO.
Para estudiar el dominio se buscan los valores de x para los cuales f(x) es un nmero
real, o, si se utiliza la representacin anterior, los valores de x para los cuales hay
grfica. Obsrvese que en nuestro ejemplo, para x=2 y x=-2, no existe la funcin, ya que
estos son justamente los valores que anulan el denominador.

RANGO.
Grficamente el rango de la funcin es el conjunto de nmeros del eje OY en los que
existe la grfica. Como puede verse, en este caso el rango de la funcin es todo el
conjunto de nmeros reales menos el intervalo (0,2] es decir en R\(0,2].

ASNTOTAS.
Asntotas verticales. La funcin, como se ve grficamente, tiene dos asntotas
verticales, las rectas x=2 y x=-2. Analticamente, para determinar las asntotas verticales
estudiamos los siguientes lmites
4
2
2
2
+

x
x
lim
x
y
4
2
2
2

x
x
lim
x
. Para calcular el primer lmite,
se edita la expresin x^2/(x^2-4), se elige el botn de herramientas y en la ventana
de dilogo correspondiente al clculo de lmites se introducen la variable x, el punto -2 y
en el campo Aproximacin desde se elige la opcin derecha. Finalmente se hace clic
en y obtenemos

que tras simplificar con se obtiene

Es decir cuando x se aproxima a 2 por la derecha la rama de la grfica se va -.
Para calcular el segundo lmite se repite el proceso anterior, pero en el campo
Aproximacin desde se elige la opcin izquierda y obtenemos las expresiones

se observa que cuando los valores de x se aproximan a 2 por la izquierda la rama de la
grfica se va a infinito.

Asntotas horizontales. Grficamente se ve que la recta y=1 es la nica asntota
horizontal de la funcin. Obsrvese que analticamente los siguientes lmites nos informan
de la existencia de dicha asntota.


INTERVALOS DE CRECIMIENTO /DECRECIMIENTO.
En la grfica se observa que en (-,-2)(-2,0) la funcin es creciente, y en (0,2)(2,)
la funcin es decreciente.
El estudio analtico de los intervalos de crecimiento y decrecimiento utiliza la funcin
derivada. Por tanto, se calcula en primer lugar la derivada (derivada de primer orden) de
la funcin. Para ello se edita la expresin x^2/(x^2-4), se aplica y la ventana de
dilogo que aparece nos aseguramos de que los campos variable y orden tengan
asignados los valores x y 1 respectivamente y a continuacin se elige la opcin
y se obtiene

Como la funcin es creciente en aquellos valores en los que la derivada es positiva,
debemos resolver la inecuacin 0
) 4 (
8
2 2
>
x
x
. Para ello se introduce la expresin
-8x/(x^2-4)^2>0 mediante

se aplica y en la ventana de dilogo se comprueba que los campos Mtodo y
Dominio tengan asignados las opciones Algebraico y Complejo y finalmente se elige
la opcin obtenindose el resultado:

Por tanto, los intervalos de crecimiento son (-,-2)(-2,0).

Para determinar los intervalos de decrecimiento se estudian los valores en los que la
derivada es negativa. El procedimiento es anlogo al anterior: hay que resolver la
inecuacin 0
) 4 (
8
2 2
<
x
x
.

Los intervalos de decrecimiento son en efecto (0,2)(2,).

EXTREMOS RELATIVOS.
De la grfica se concluye que en x=0 la funcin alcanza un mximo local.
Para determinar analticamente los puntos crticos de la funcin se calculan los puntos que
anulan la derivada. Por tanto, hay que resolver la ecuacin 0
) 4 (
8
2 2
=
x
x
, lo cul se
consigue de la forma siguiente:
1. Con se edita la expresin

2. Se elige el botn de herramientas y en la ventana de dilogo se comprueba que los
campos Mtodo y Dominio tengan asignados las opciones Algebraico y
Complejo y finalmente se elige la opcin . El resultado es:

3. El punto crtico es x=0. En este caso es un mximo local pues separa un intervalo de
crecimiento (a su izquierda) de un intervalo de decrecimiento (a su derecha).

INTERVALOS DE CONCAVIDAD/CONVEXIDAD.
Si observamos la grfica de la funcin podemos concluir que la funcin es convexa en
el conjunto (-,-2)(2,) y cncava en el intervalo (-2,2).
El estudio analtico de la convexidad de una funcin utiliza la segunda derivada de la
funcin, la cual se obtiene de la siguiente forma:
Utilizando la expresin que ya tenamos editada anteriormente

Se aplica el botn de herramientas y en la ventana de dilogo se comprueba que
los campos variable y orden tengan asignados los valores x y 2
respectivamente y finalmente se elige la opcin y se obtiene:
A continuacin se determina el conjunto de los nmeros reales para los que la
segunda derivada es positiva resolviendo la inecuacin


El resultado es

Y as se obtiene que los intervalos de convexidad son ) , 2 ( ) 2 , (

Anlogamente la funcin es cncava en aquellos puntos que hacen negativa la
segunda derivada para lo que hay que resolver la inecuacin

El resultado es

Y se obtiene que el intervalo de concavidad de la funcin es: (-2,2)

PUNTOS DE INFLEXION.
Los puntos de inflexin se encuentran entre aquellos puntos que igualan a cero la
derivada segunda. En el ejemplo que nos ocupa, bastar resolver la ecuacin

Para ello se elige el botn de herramientas y en la ventana de dilogo se comprueba
que los campos Mtodo y Dominio tengan asignados las opciones Algebraico y
Complejo y finalmente se elige la opcin . El resultado es:

Por consiguiente no existen valores reales que anulen la derivada segunda, y en
consecuencia, (tal como se observa en la grfica) no hay puntos de inflexin.
Obsrvese que x=-2 y x=2 separan intervalos de concavidad y convexidad, pero no
son puntos de inflexin por que son puntos que no estn en el dominio de la funcin.

4.2. APROXIMACIN DE FUNCIONES.

EJEMPLO 4.2.
Dada la funcin g(x)=ln(1+2x) se pide:
(a) Calcular los polinomios de Taylor de orden 1,2,3 y 4 de la funcin g(x) en un entorno
de x=0.
(b) Representar grficamente en el mismo dibujo la funcin y todos los polinomios
calculados en el apartado (a).

Solucin:
(a) El clculo del polinomio de Taylor de orden 1 en un entorno de x=0 se obtiene as: se
introduce la expresin ln(1+2x), se aplica el comando Clculo y luego la opcin
Polinomios de Taylor y en la ventana de dilogo que aparece se examina que los

campos variable, punto y grado tengan asignados los valores x, 0 y 1
respectivamente y finalmente se elige la opcin y aparece la expresin

que al simplificarla con obtenemos

Para calcular los dems polinomios se procede como en el caso anterior: edicin de la
expresin ln(1+2x), aplicar la secuencia Clculo-Polinomios de Taylor asignando en
cada caso, a diferencia del anterior, al campo orden los nmeros 2,3 y 4. Luego
aplicando se obtienen sucesivamente las siguientes funciones:

(c) Para dibujar la funcin y sus cuatro polinomios en el mismo grfico se procede
de las siguiente forma: se edita la expresin ln(1+2x), se elige el botn . En la nueva
ventana se selecciona el botn . En la ventana 2D aparece entonces el dibujo de la
grfica de la funcin. A continuacin se repite el siguiente proceso: seleccionamos la
ventana de lgebra donde tenemos editados los diferentes polinomios de Taylor,
seleccionamos cada uno de ellos y los representamos en la ventana 2D anterior con .
Finalmente obtenemos


donde podemos observar como el grado de aproximacin en un entorno de x=0 va
aumentando a medida que aumenta el orden del polinomio, lo cual se observa mejor si nos
aproximamos con

4.3. FUNCIONES DEFINIDAS A TROZOS.
Si deseamos definir en DERIVE funciones definidas a TROZOS, debemos utilizar
comandos de programacin, en concreto la sentencia IF(Condicion,I1,I2), cuyo significado
consiste en estudiar la Condicin, de tal forma que si es cierta se aplica I1 y si es falsa se
aplica I2. Vemoslo con un ejemplo.

EJEMPLO 4.3.
Definir la funcin
+
< +
=
0 4
0 1
) (
2
2
x x
x x
x f
y estudiar su derivabilidad y continuidad.

Solucin:
Para definir en DERIVE esta funcin se introduce la expresin:
f(x):=if(x<0,x^2+1,-x^2+4)
Veamos el aspecto de su grfica seleccionando la ventana 2D y aplicando

Obsrvese que no es continua en x=0 (la curva de la funcin se rompe o da un salto), y
en consecuencia no es derivable en x=0. A continuacin estudiamos de forma analtica el
problema de continuidad. Para estudiar la continuidad de f es necesario calcular el
lmite ) (
0
x f lim
x
, para lo cual aplicamos y en la nueva ventana comprobamos que los
campos variable, punto y Aproximacin desde tengan asignados los valores
x,0 y ambas. Finalmente hacemos clic en y nuevamente obtenemos

lo cual significa que el lmite no existe y, por tanto, la funcin no es continua en el punto
x=0.

4.4. REPRESENTACIN DE GRFICAS DE FUNCIONES CONSTRUIDAS
POR TRANSFORMACION DE FUNCIONES.

EJEMPLO 4.4.
Dada la funcin f(x)=x
3
-x+1 se pide representar grficamente las funciones:
(a) f(x), f(x)+3 , f(x)-3
(b) f(x), f(x+3), f(x-3)
(c) f(x), 3f(x), f(x)/3
(d) f(x), f(3x), f(x/3)
(e) f(x), f(-x),-f(x)

Solucin:
En primer lugar se introduce la expresin f(x):=x^3-x+1.
(a) La representacin grfica de f(x) se hace seleccionando la ventana 2D y
aplicando y se obtiene

Luego se editan las expresiones f(x)+3 y f(x)-3 en la ventana de edicin de la
ventana 2D, se aplica y obtenemos

Se observa que la curva de la funcin f(x)+3 se obtiene trasladando la curva de la
funcin f(x) tres unidades hacia arriba.

(b) Borremos ahora todas las grficas de la ventana 2D aplicando el botn tres veces.
Para representar las tres funciones pedidas se editan sucesivamente las expresiones
f(x) f(x+3) y f(x-3) en la ventana de edicin de la ventana 2D y a continuacin
elegimos la opcin obteniendo

Se observa que la curva de la funcin f(x+3) se obtiene trasladando la curva de la
funcin f(x) tres unidades hacia la izquierda, respectivamente f(x-3) se obtiene
trasladando la grfica de f(x) tres unidades a la derecha.


(c) Nuevamente borramos primero todas las grficas de la ventana 2D. Luego editamos
las expresiones f(x), 3*f(x) y f(x)/3 en la ventana de edicin de la ventana 2D y
aplicando se obtiene

(d) Se borran todas las grficas de la ventana 2D como en los casos anteriores, se
editan las expresiones f(x), f(3x) y f(x/3) y se representan las tres funciones
utilizamos el mismo procedimiento que antes y se obtiene


(e) Borramos todas las grficas y editamos las expresiones f(x), f(-x) y -f(x). A
continuacin podemos dibujar f(x), f(-x) y f(x) y se obtiene

EJERCICIO 29.
Dada la funcin f(x)=x
4
+x
3
-x
(a) Dibujar su grfica.
(b) Deducir cul ser la funcin g(x) que tiene la siguiente grfica?

EJERCICIO 30.
Dada la funcin
+
<
<
=
x
x
x x
x
x f
1
3
2
1 1
1 1
) (
2

Se pide:
(a) Definir la funcin en DERIVE (utilizando dos if encadenados)
(b) Obtener su grfica.
(c) es continua en su dominio? es derivable en todo su dominio?

(d) Dibujar la recta tangente a la funcin en el punto x=0.

EJERCICIO 31.
Una empresa posee las siguientes funciones de ingreso y coste

1800 10 ) (
4
20 ) (
2
2
+ =
=
x x x C
x
x x I

Siendo x el nmero de unidades. Se pide:
(a) Representar I(x) y C(x).
(b) Representar la funcin beneficio y determinar analticamente el nmero de
unidades que maximizan el beneficio.

EJERCICIO 32.
Si la grfica de la derivada f(x) de una cierta funcin f(x) viene dada por

Intentar obtener una aproximacin grficamente de la funcin f(x).

Prcticas de Matemticas I con DERIVE-5 66

5. ANLISIS DE FUNCIONES DE VARIAS
VARIABLES.

En este apartado trabajaremos con funciones de dos variables, aunque los clculos
analticos se pueden efectuar con funciones de ms de dos variables, con las limitaciones
relacionadas con la imposibilidad de representar sus grficas.

5.1. GRFICAS Y CURVAS DE NIVEL DE FUNCIONES DE DOS VARIABLES.

EJEMPLO 5.1.
Dibujar la grfica de la funcin

2 2
2 2
3
4
cos
) , (
y x
y x
y x f
+ +
(
(
,
\
,
,
(
j +
.
Solucin

Editamos la funcin

y marcamos en Ventana la opcin Nueva ventana 3D o y una vez abierta la ventana 3D
marcamos nuevamente y obtenemos

Como el recorrido de la funcin coseno es [-1,-1], el recorrido de nuestra funcin es
[-1/3,1/3]. Modificamos, por tanto, la escala en la variable z, para obtener una mejor visin de
la grfica. Marcamos y fijamos el mnimo de la variable z en 0.5 y el mximo en 0.5,
obteniendo
Anlisis de funciones de varias variables 67

Para cambiar el punto de referencia del observador marcamos en Seleccionar la opcin
Posicin de ojo o equivalentemente y cambiamos las Coordenadas del ojo. Por ejemplo,
si: x=10, y=10, z=24, obtenemos

Podemos conseguir el mismo efecto (cambio de posicin del ojo) utilizando los iconos

Si lo que queremos es enfocar a otro punto de la grfica para ver un trozo diferente de
la misma marcamos en Seleccionar la opcin Regin. Por ejemplo, cambiando las
coordenadas del Centro por: x=5, y=5, z=0.2, obtenemos


Si lo que queremos es ampliar o disminuir la visin que tenemos de la grfica
marcamos en Seleccionar la opcin Regin y cambiamos Longitud o, equivalentemente,
pinchamos el botn de herramientas que nos interese. Por ejemplo, considerando:
x=25, y=25 y z=0.5, obtenemos

EJEMPLO 5.2.

Dada la funcin f(x,y)=x
2
+y
2
, se pide:
(a) dibujar su grfica
(b) construir sus curvas de nivel.

Solucin

(a) Para dibujar la grfica editamos la expresin

Como en el ejemplo anterior marcamos en Ventana la opcin Nueva ventana 3D o
y una vez abierta la ventana 3D marcamos nuevamente y obtenemos

(b) Las curvas de nivel de esta funcin son de la forma f(x,y)=k. Un camino para
representar estas curvas sera ir dando valores a k y para cada uno de ellos representar la
ecuacin f(x,y)=k. Utilizando la funcin VECTOR podemos agrupar en una misma expresin
las curvas de nivel que nosotros queramos; por ejemplo cuando k va desde 1 hasta 5. Editando
y simplificando la expresin

obtenemos

Si abrimos ahora una Ventana 2D y mandamos representar con el icono
obtenemos las grficas de esas 5 curvas de nivel:

EJEMPLO 5.3.
Dibujar la grfica y las curvas de nivel de la funcin f(x,y)= x
y
3
5
2
.
Solucin

Editamos la expresin

abrimos una Ventana 3D, marcamos . La grfica que obtenemos es

Si deseamos dibujar las curvas de nivel de la funcin, debemos representar las ecuaciones
f(x,y)=k, por ejemplo para k desde 5 a 5, editando

que al simplificar y representar nos da las curvas de nivel

5.2. LMITES Y CONTINUIDAD.

Como bien sabemos, en funciones de varias variables el concepto de lmite es mucho ms
complejo que en funciones de una variable debido a que a un punto nos podemos aproximar
por muchas direcciones diferentes. Veamos algunos ejemplos que nos permiten estudiar la
continuidad de la funcin a travs de la informacin que nos da su lmite.

EJEMPLO 5.4.

Determinar si es continua en (0,0) la funcin
y x
y x
y x
y x
y x f
0
) , (
Solucin

Estudiamos en primer lugar la existencia de lmite en dicho punto. Para calcular dicho
lmite calculamos sus lmites reiterados. Comenzamos calculando primero el lmite respecto
de la variable x y despus respecto de la variable y. Editamos la siguiente funcin

Nota: La funcin IF se utiliza para escribir funciones definidas a trozos.
En Clculo seleccionamos la opcin Lmite (Variable x, Punto 0) o, equivalentemente,
pinchamos el botn de herramientas

y sobre esta ltima expresin repetimos lo anterior, Lmite (Variable y, Punto 0)

que tras Simplificar (botn de herramientas ) nos da 1.
De la misma forma podemos calcular el otro lmite reiterado, primero respecto de la
variable y en 0 y a continuacin respecto de la variable x en 0 que al simplificar resulta 1.
Como no coinciden los lmites reiterados entonces podemos asegurar que no existe el lmite
en (0,0) y por tanto la funcin no es continua en (0,0).
Veamos la grfica de dicha funcin. Situndonos en la expresin f(x,y) pasamos a
representarla

EJEMPLO 5.5.

Estudiar la continuidad en (0,0) de la funcin
) 0 , 0 ( ) , ( 0
) 0 , 0 ( ) , (
) , (
2 2
2 2
y x
y x
y x
y x
y x f

Solucin

Definimos la funcin editando la expresin


En este caso para el estudio del lmite vamos a utilizar el clculo de lmites
direccionales, nos acercaremos al punto (0,0) por rectas que pasan por dicho punto; es decir,
rectas de la forma y=mx. Por tanto, calculamos

) , (
) 0 , 0 ( ) , ( ), (
y x f lim
y x mx y

Primero editamos

y calculamos el lmite cuando x tiende a 0 (en Clculo opcin Lmite (Variable x, Punto 0))
obteniendo despus de Simplificar

Por tanto no existe el lmite, ya que el resultado depende de la pendiente de la recta
por la que nos acerquemos al punto (0,0).
Veamos la grfica de dicha funcin. Nos situamos en la expresin f(x,y) y
representamos

5.3. DERIVADAS PARCIALES. VECTOR GRADIENTE. MATRIZ HESSIANA.

EJEMPLO 5.6.

Estudiar la existencia de derivadas parciales en (0,0) de la funcin
) , ( ) y , x (
) , ( ) y , x (
y x
xy
) y , x ( f
0 0 0
0 0
2 2

Solucin

Definimos la funcin editando la expresin

Calculamos primero la derivada parcial de la funcin respecto de x en el (0,0); esto es,
t
) , ( f ) , t ( f
lim ) , ( f
t x
0 0 0
0 0
0

.

Para calcular dicha derivada editamos la expresin

sobre la cual aplicamos Calcular-Lmite respecto de t en el punto 0 y al Simplificar se obtiene
0. Por tanto, f
x
(0,0)=0.
Para calcular la derivada parcial de f respecto de y en el (0,0) repetimos el proceso
obteniendo f
y
(0,0)=0. La grfica de la funcin es la siguiente

EJEMPLO 5.7.

Calcular el vector gradiente de la funcin anterior en el punto (1,1).

Solucin

En un entorno suficientemente pequeo del punto (1,1) la funcin f(x,y) est definida por
2 2
y x
xy
+
.
Por tanto, editamos primero una nueva funcin no definida en el (0,0) que tambin llamamos
f(x,y):

Calculamos f
x
(x,y) (Clculo-Derivadas o , variable x, orden 1)

y despus sustituimos el punto (1,1) utilizando o Simplificar-Sustituir Variable.
Obtenemos

Calculamos ahora f
y
(x,y) siguiendo el proceso anterior (Clculo-Derivadas o , variable y,
orden 1) y sustituimos en el punto (1,1) obteniendo

Por tanto, )
4
2
,
4
2
( ) 1 , 1 ( f .

EJEMPLO 5.7.

Calcular la matriz Hessiana de la funcin f(x,y)=2x
2
y+y
2
en el punto (0,1).

Solucin


Calculamos las derivadas parciales segundas de dicha funcin el en punto (0,1).
Para calcular f
xx
(0,1) aplicamos Clculo-Derivadas o , variable x, orden 2 y al
simplificar obtenemos

que al sustituir en x=0, y=1, nos da f
xx
(0,1)=4.
Para calcular f
xy
(0,1) aplicamos Clculo-Derivadas o , variable x, orden 1, sobre la
expresin que obtenemos aplicamos de nuevo Clculo-Derivadas o , variable y, orden 1 y
al simplificar obtenemos

que al sustituir en x=0, y=1, nos da f
xy
(0,1)=0. Por el Teorema de Schwartz de las derivadas
parciales cruzadas sabemos que f
xy
(x,y) = f
yx
(x,y), por tanto, f
yx
(0,1)=0.
Por ltimo para calcular f
yy
(0,1) aplicamos Clculo-Derivadas o , variable y, orden 2 y al
simplificar obtenemos

y por tanto f
yy
(0,1)=2.

As pues la matriz Hessiana pedida es

( )
(
(
,
\
,
,
(
j
2 0
0 4
1 0, Hf .

Nota: Para calcular el gradiente o la matriz Hessiana de una funcin de varias variables
podemos seguir el siguiente camino alternativo ya que DERIVE dispone de una funcin
bsica GRAD que nos ayuda a calcularlas directamente. Para utilizar dicha funcin cargamos
el fichero VECTOR.MTH (Archivo-Leer-Utilidad). La funcin GRAD est definida para
funciones de tres variables. Como nuestra funcin es de dos variables tenemos que decir
cuales son nuestras variables.

y al simplificar obtenemos el vector gradiente de f(x,y):

Para calcular la matriz Hessiana de f(x,y) editamos la expresin

y simplificamos, obteniendo

Como hemos dicho la funcin GRAD asume por defecto que la funcin de varias
variables de la que queremos calcular el vector gradiente es una funcin de tres variables. La
funcin del ejemplo anterior es una funcin de dos variables y por tanto tenemos que aadir
esta informacin. Para calcular el vector gradiente de una funcin de tres variables ser, por
tanto, suficiente escribir GRAD(f(x,y,z)) para calcular el vector gradiente y
GRAD(GRAD(f(x,y,z))) para calcular la matriz Hessiana.

5.4. DERIVADAS DIRECCIONALES. DIFERENCIABILIDAD.

EJEMPLO 5.9.
Calcular la derivada direccional de la funcin f(x,y)=3x
2
+y en el punto (0,0) y en la
direccin del vector (1,1).

Solucin

Vamos a obtener la derivada direccional. Por definicin

) 1 , 1 (
) 0 , 0 ( ) 0 , 0 (
) 0 , 0 (
0 ) 1 , 1 (
h
f h h f
lim f
h
+ +

Para efectuar este clculo editamos la expresin que define la funcin

A continuacin editamos la expresin de la que queremos calcular el lmite

Calculamos el lmite de esta expresin (Clculo-Lmite, o equivalentemente
respecto de la variable h en el punto 0),

y al simplificar obtenemos 1.
Como el mdulo del vector (1,1) no es unitario, debemos dividir dicho resultado por el
mdulo de este vector 2 ) 1 , 1 ( . Obtenemos como resultado final que la derivada
direccional de la funcin f(x,y)=3x
2
+y en el punto (0,0) y en la direccin del vector (1,1) es
2 1/ .
Un modo anlogo de enfrentarse al problema requiere la comprobacin de que f es
diferenciable. Para ello calculamos sus derivadas parciales respecto de las variables x e y
(Clculo-Derivadas o, equivalentemente, variable x, orden 1) y simplificando obtenemos

Y de manera anloga para calcular la derivada parcial respecto de la variable y

Ambas derivadas parciales son continuas en R
2
y , por tanto, f es diferenciable. Por ser
f diferenciable podemos aplicar la siguiente propiedad
( )
( ) ( ) ( ) 2 1 2 1 0 0 0 0
1 1
/ , / , f , f
,

Pasamos a calcular el vector gradiente de f en el punto (0,0) editando la expresin

simplificando obtenemos

y sustituyendo en la expresin obtenida el punto (0,0) (Simplificar-Sustituir Variable o ,
x=0)

Nos resta por calcular el producto escalar de los vectores (0,1) y ( ) 2 1 2 1 / , /

que nos da como resultado 2 2 / .

EJEMPLO 5.10.

Calcular el valor aproximado de ln(0,09
3
+0,99
3
) utilizando la diferencial.


Solucin

Comprobemos en primer lugar si la funcin ln es diferenciable en el punto (0,1). Para
ello debemos calcular sus derivadas parciales. Editamos la funcin

y en Clculo seleccionamos la opcin Derivadas. Primero calculamos la derivada de orden 1
respecto de la variable x

Simplificando se obtiene

que es una funcin continua en (0,1). Sustituyendo en el punto x=0, y=1 (Simplificar-Sustituir
Variable o ) tenemos

y simplificando se obtiene 0.
De igual forma derivamos la funcin respecto de la variable y, orden 1 y obtenemos

que tambin es continua en (0,1). Nuevamente al sustituir x=0, y=1, resulta que nos da el valor
3 al simplificar. Luego ). 3 , 0 ( ) 1 , 0 ( f
Como las dos derivadas parciales son continuas en un entorno del punto (0,1),
podemos aproximar el valor de la funcin mediante la diferencial ya que
( ) ( ) ( ) ( ) ( ) ( ) 1 99 0 0 09 0 1 0 1 0 1 0 1 0 99 0 09 0 + + , , , , f , f , df , f , , , f
por tanto si editamos

tras simplificar y aproximar obtenemos

As 0,03 es el valor aproximado de ln(0,09
3
+0,99
3
) que hemos obtenido utilizando la
diferencial.
Obsrvese que si aproximamos el valor de la expresin f(0.09
3
,0.99
3
) editando

tras simplificar obtenemos

resultado que aproximando nos da el valor

Por tanto concluimos que utilizando la diferencial no obtenemos una buena aproximacin.
Sugerimos como ejercicio para el lector calcular una mejor aproximacin de f(0.09
3
,0.99
3
)
utilizando el polinomio de Taylor de orden en el punto (0,1).

5.5.TEOREMA DE LA FUNCIN IMPLCITA.

EJEMPLO 5.11.
Dada la ecuacin implcita 2e
y
-x-y-2=0
(a) Define esta ecuacin una funcin del tipo y=h(x), funcin definida respecto de la
variable x, en un entorno de (0,0)? En caso afirmativo, calcular h(0).
(b) Define a su vez una funcin x=g(y) en un entorno de (0,0)? Podemos en este caso
calcular de forma explcita la funcin g?

Solucin

Definamos en primer lugar a la funcin f(x,y), editando la expresin

(Obsrvese que el nmero e se edita utilizando el acento circunflejo, es decir, con el
smbolo ).
(a) Veamos que se cumplen las hiptesis del Teorema de la Funcin Implcita para la
ecuacin anterior.
(i) f(0,0)=0?
Si editamos la expresin f(0,0) y simplificamos, comprobamos que la respuesta es
afirmativa.
(ii) Existen y son continuas en un entorno del punto (0,0)

las derivadas parciales de f ?
Calculemos las derivadas parciales de f.
Para calcular f
x
(Clculo-Derivadas, respecto de x, orden 1)

que al simplificar nos da 1. Se trata de una funcin constante y, por tanto, continua en R
2
y
en particular en cualquier entorno del (0,0).
De la misma forma, calculamos ahora f
y
.

y vemos que tambin se trata de una funcin continua en R
2
.
(iii) f
y
(0,0)0?
Sustituyendo en la ltima expresin y=0 (Simplificar-Sustituir Variable o ) se
obtiene que f
y
(0,0)=1 y, por tanto, la respuesta tambin es afirmativa.
Luego, efectivamente, se cumplen las hiptesis del Teorema de la Funcin Implcita y
tenemos que h(0)= -f
x
(0,0)/ f
y
(0,0)= -(-1)/1=1.

Para comprobar si existe una funcin g tal que x=g(y) basta comprobar la tercera
hiptesis del teorema (f
x
(0,0)0). Efectivamente, esta condicin se cumple. Por tanto
sabemos que existe la funcin g. El Teorema de la Funcin Implcita slo nos garantiza su
existencia, pero no nos da un mtodo para calcular su expresin. Aun as en algunos casos
especiales se puede obtener la expresin de dicha funcin. Por ejemplo en este caso utilizando
la secuencia Resolver-Expresin Algebraico, o y despus simplificamos obtenemos

que determina la relacin funcional pedida, siendo g(y)= 2e
y
-y-2.
Estudiemos ahora la grfica de la ecuacin f(x,y)=0 (esto equivale a ver la curva de
nivel 0 de la funcin f(x,y)). Abrimos una Ventana 2D, mandamos representar y obtenemos

Esta grfica nos muestra que en un entorno del (0,0) se verifica la existencia de ambas
funciones h y g ya que la recta tangente a la curva en el (0,0) no es paralela a ninguno de los
dos ejes. Adems se obtiene la existencia global de g y no global de f.

EJEMPLO 5.12.
Determinar si la ecuacin implcita

define a y en funcin de x (y=f(x)) en un entorno del punto (3,0).

Solucin

Vemoslo geomtricamente. Para ello representamos la grfica de la ecuacin


Obsrvese que en ningn entorno del punto (3,0) existe una dependencia funcional
unvoca de y respecto de x, ya que cualquier recta vertical que tracemos en puntos de
cualquier entorno del punto (3,0) se cruza con dos puntos de la curva, ya que la recta tangente
a la curva en dicho punto paralela al eje x=0. Por tanto en este caso podemos afirmar que no
existe una funcin y=f(x) definida en ningn entorno de (3,0).

5.6.EXTREMOS RELATIVOS.

EJEMPLO 5.13.
Calcular los extremos relativos de la funcin f(x,y)=x
3
+y
3
-3xy.

Solucin

Editamos la expresin que define la funcin

A continuacin vamos a calcular sus puntos crticos. Calculamos el vector gradiente de
esta funcin


Utilizando Resolver-Sistema e introduciendo las dos componentes del vector gradiente
igualadas a 0 e iluminando las variables x e y respecto de las cuales resolvemos obtenemos

Nosotros estamos nicamente interesados en las races reales ya que las variables de f
son reales.
Sustituyendo los valores obtenidos para la variable x y la ecuacin que define y en
funcin de x (y=x
2
) obtenemos que si x=0 entonces y=0. As encontramos el primer punto
crtico (0,0) y si x=1 obtenemos el punto (1,1).

Procedamos ahora a su clasificacin utilizando la matriz Hessiana

que al simplificar nos da

Como deseamos ver cuales son las entradas de esta matriz en los puntos calculados
anteriormente sustituimos las componentes x e y de cada punto o, de forma anloga, podemos
editar la funcin

y calcular el valor de esta en esos puntos

El determinante de esta matriz se calcula editando

que al simplificar nos da 9. El punto (0,0) es, por tanto, un punto de inflexin.
Con (1,1), procedemos de igual forma, y la secuencia de resultados que se obtienen
son los siguientes

Al tratarse de un determinante de signo positivo el punto (1,1) es un extremo y por ser
la primera entrada de la matriz Hessiana, f
xx
(1,1), mayor que 0, es un mnimo local.
Vamos a efectuar la representacin grfica de la funcin para observar que,
efectivamente, tenemos un mnimo local y un punto de inflexin en dichos puntos.
Representndola y cambiando las coordenadas del ojo a x=-15, y=25 y z=12, la longitud
10:10:15 y centro x=0, y=0 y z=-1.5, obtenemos

Una segunda alternativa para clasificar extremos locales podra ser estudiando sus
curvas de nivel. Para obtener las curvas de nivel de esta funcin editamos

y al simplificar obtenemos

Representando

Donde vemos que el punto (1,1) es un punto crtico.


EJEMPLO 5.14.
Optimizar la funcin
2 2
9 y x
y
) y , x ( f
+ +
.
Solucin


Para obtener los puntos crticos debemos resolver el sistema de ecuaciones que se obtienen
editando

y simplificando obtenemos

Los puntos crticos son las soluciones de este sistema de ecuaciones. Observamos que este sistema es equivalente
al sistema

resolvemos ste siguiendo el proceso del ejemplo anterior para obtener los puntos crticos.

De esta manera hemos obtenido dos puntos crticos (0,-3) y (0,3) (el resto de las
soluciones del sistema no tiene componentes reales).
Procedemos a su clasificacin utilizando la matriz Hessiana. Editamos


Sustituimos ahora en la matriz Hessiana el punto (0,-3) y obtenemos

cuyo determinante es

Por ser el determinante positivo, el punto (0,-3) es un extremo local. Como f
xx
(0,-3)<0
se trata de un mximo local. Para el punto (0,3) seguimos el mismo procedimiento y vemos
que se trata de un mnimo local.
Nota: Recordamos que para utilizar una expresin editada anteriormente podemos utilizar el
botn F3. En este caso para calcular el determinante de la matriz Hessiana hemos seguido el
siguiente camino: En Editar(Autor) escribimos DET y en lugar de escribir la matriz la
podemos recuperar con F3 una vez iluminada.
Representemos la funcin, cambiando el Rango de la variable z de 0.5 a 0.5.

Calculamos sus curvas de nivel editando la expresin


Nota: Obsrvese que en este caso estamos aadiendo una informacin adicional en la funcin
VECTOR. Por defecto la distancia entre los valores que toma el parmetro k es de una unidad,
pero si queremos considerar una distancia diferente tenemos que indicarlo. En este caso
queremos que la distancia entre cada una de las curvas de nivel sea 0.02.
Las curvas de nivel son

Como puede observarse los puntos (0,3) y (0,-3) son puntos crticos.

EJERCICIOS PROPUESTOS:

EJERCICIO 33.
Una empresa produce dos tipos de ordenadores O1 y O2 cuyos precios por unidad
vienen dados por p
O1
=100, p
O2
=150.
La funcin de costes de la empresa es C(x,y)=40 ln x - 20 ln y + 20x
2
+ 35 y
2
siendo x e
y las unidades de ordenadores producidas de cada uno de los dos tipos. Calcular los niveles de
produccin que permiten alcanzar el mximo beneficio.

EJERCICIO 34.
Optimizar la funcin f(x,y)=x
4
+y
4
-2(x-y)
2
..

EJERCICIO 35.
Obtener la grfica de la funcin f(x,y)=y
2
-x
2
.

EJERCICIO 36.
Dibujar las curvas de nivel de la funcin anterior.

Clculo Integral

87

6. CLCULO INTEGRAL.

6.1. LA INTEGRAL DEFINIDA DE RIEMANN: UNA APROXIMACIN CON
DERIVE.

La integral definida de Riemann surge a partir del problema del clculo de reas de
superficies limitadas por curvas.
En el desarrollo del concepto de funcin integrable de una funcin acotada definida en
un intervalo acotado, aparecen los conceptos de integral superior e integral inferior de
Riemann. La idea consiste en efectuar aproximaciones por exceso y por defecto utilizando
los rectngulos exteriores e interiores a la curva, en funcin de una determinada particin
del intervalo.
Para efectuar esta prctica vamos a cargar el fichero RIEMANN.MTH mediante la
secuencia de comandos Archivo-Leer-Utilidad, tal como se explic en la primera parte
sobre el manejo de ficheros con DERIVE.

Consideremos una funcin cualquiera, por ejemplo f(x)=x
2
, definida en el intervalo
[0,2]. Una vez abierta una ventana 2-D con el botn , representamos esta funcin con
el botn de en la ventana 2D. Supongamos que efectuamos una particin del intervalo
[0,2] en 4 subintervalos. Si deseamos dibujar los rectngulos inferiores, basta que editemos
la expresin

y la simplifiquemos (obsrvese que _ es el subrayado).
Antes de dibujar los rectngulos es conveniente efectuar dos operaciones previas:
1. Indicar que el dibujo una sucesivamente los puntos que se van representando.
Para ello, una vez situados en la ventana 2D, con el comando Opciones-
Pantalla-Puntos debemos marcar la opcin Unir-SI. Con esto se consigue que
se dibujen correctamente los rectngulos.
2. Indicar a DERIVE que dibuje slo en un color, para que los rectngulos resulten
homogneos. Esto se consigue desmarcando la opcin Opciones-Cambio-de-
color. De esta forma todas las grficas se dibujaran en un solo color.

A continuacin ya podemos aplicar y obtenemos


88

Para dibujar los rectngulos superiores editamos y simplificamos la expresin

y al dibujar con se obtiene

Si deseamos obtener las sumas inferiores asociadas a esta particin editamos y
aproximamos la expresin

y se obtiene el valor aproximado

Editando y aproximando ahora la expresin

obtendremos la estimacin de las sumas superiores asociadas a esta particin de 4
subintervalos

Si deseamos efectuar el mismo procedimiento con 16 intervalos, para dibujar los
rectangulos inferiores (previamente borramos todas las grficas con la secuencia Editar-
Borrar-Todas-las-Grficas) editamos la expresin

y al simplificar con y representar mediante y se obtiene

(la grfica de la funcin x
2
se tiene que volver a dibujar)
Clculo Integral

89

Para dibujar los rectngulos superiores basta editar

y representar la expresin obtenida al simplificar la anterior, obtenindose

Tambin podramos obtener las sumas inferiores asociadas a esta particin

y las sumas superiores

Obsrvese que los valores de las sumas superiores van disminuyendo y los de las sumas
inferiores van aumentando.

Para calcular la integral superior de Riemann efectuamos un paso al lmite. Su clculo
se puede implementar en DERIVE definiendo la siguiente expresin

y lo mismo para la integral superior de Riemann

De tal forma que si deseamos calcular la integral inferior de Rieman de la funcin x
2
en
el intervalo [0,2], basta editar la expresin


Para el clculo de la integral superior de Riemann editamos

y se obtiene el mismo valor


90
Luego se puede afirmar (bajo ciertas condiciones de la funcin f(x)) que la funcin es
integrable. De hecho, si hubisemos efectuado el clculo de la integral definida de forma
directa con DERIVE hubisemos obtenido el mismo resultado:

6.2. FUNCIN INTEGRAL DE UNA FUNCIN INTEGRABLE.

EJEMPLO 6.1.

Dada la funcin
< +

x x
x x
x f
1 2
1 0 2
) (
(a) Representar la funcin f(x)
(b) Calcular la funcin integral F(x) de f en [0,3].
(c) Representar grficamente las dos funciones f(x) y F(x)
(d) Es continua la funcin integral en [0,3]? Es derivable en [0,3]?
(e) La funcin f(x) tiene una primitiva en [0,3]?

Solucin.

(a) Para representar f(x), vamos a definirla editando f(x):=if(x0,if(x1,2x,x+2)) y se
obtiene la expresin:

A continuacin aplicamos NuevaVentana2D y luego representamos con y
obtenemos la grfica

(b) Como puede observarse en la grfica, f(x) es continua salvo en x=1, por tanto es
integrable Riemann y en consecuencia existe su funcin integral.
Clculo Integral

91

Para calcular la funcin integral debemos calcular dos integrales definidas, en
funcin de x. Si x[0,1], tendremos que calcular la integral definida


Por otro lado si x>1 debemos calcular

+ +
x
dt t tdt
1
1
0
) 2 ( 2
Es decir, construimos en primer lugar en DERIVE

en segundo lugar la integral

y a partir de ellas construimos la suma de ambas


Por tanto
x x
x
x x
x F
1
2
3
2
2
1 0
) (
2
2

(c) Para representar ahora F(x), junto a f(x), editamos la funcin integral mediante la
expresin f_integral(x):=if(x0,if(x1,x^2,x^2/2+2x-3/2)) y a continuacin
aplicamos y representamos con obtenindose


92

(d) Segn esta grfica, se puede observar que F(x) es CONTINUA (propiedad que
siempre debe cumplir una funcin integral), pero no es DERIVABLE en x=1. En la
grfica se puede apreciar una angulosidad, es decir, que la pendiente a la izquierda
del 1 es distinta a la pendiente a la derecha del 1.

(e) Segn lo dicho en (d), F(x) no es DERIVABLE y por tanto no puede ser una
PRIMITIVA de f(x).

6.3. CLCULO DE INTEGRALES INDEFINIDAS.

Ya hemos visto cmo efectuar el clculo de integrales indefinidas. Pero planteamos
algunos ejemplos del calculo de una integral indefinida dependientes de parmetros, que en
algunas ocasiones DERIVE no es capaz de resolver de forma automtica.

EJEMPLO 6.2.

Calcular la siguiente integral indefinida
+
dx
x
x
n
2
1
) (arctg

Solucin:

En este caso el parmetro es el valor n.
Para resolver la integral bastar que editemos la expresin
(atan x)^n/(1+x^2)
y aplicamos sobre la misma Clculo-Integrar, marcando la opcin Integral-Indefinida

y al simplificar resulta (sealando como constante 0)
Clculo Integral

93

Recurdese que este resultado nos da una de las primitivas; para obtener la integral
indefinida habra que aadir la constante de integracin. Evidentemente, n1.

Sin embargo, no siempre resulta tan automtico el clculo de este tipo de integrales
indefinidas:

EJEMPLO 6.3.

Demostrar para los distintos valores de nN y bR que se verifica la siguiente
igualdad

+

+
dx
b x
x
b
n
x
dx
b x
x
n n n 1

Solucin.

En primer lugar debemos definir las variables n como entera y b como variable real.
Esto se realiza utilizando la secuencia Definir-DominiodeunaVariable y definiendo para n
el Dominio-Enteros y el Intervalo-Positivos. Resulta en la ventana de lgebra la expresin

Para b consideramos todos los reales,

Definamos a continuacin la expresin del integrando editando

Si intentamos calcular directamente la integral indefinida se obtiene

DERIVE no la ha calculado correctamente, ya que existen dos parmetros. Por tanto
tenemos que utilizar otro procedimiento. Una posibilidad sera ensayar para diversos
valores de n. Esto se puede realizar editando la expresin
VECTOR(INT(x^n/(x + b), x), n, 0, 3)
Al simplificar obtenemos las soluciones de dicha integral para los valores de n=0,1,2,3.

De aqu podramos plantear una conjetura. Parece que cada elemento se obtiene a partir del
anterior multiplicando ste por b y sumando al resultado
n
x
n
.
Es decir que la conjetura que deberemos probar es

94

+

+
dx
b x
x
b
n
x
dx
b x
x
n n n 1

igualdad que es equivalente a
.
1
n
x
dx
b x
x
b
b x
x
n n n
(
(
,
\
,
,
(
j
+
+
+

Por tanto tendremos que probar la igualdad anterior. Si editamos el integrando de la
igualdad anterior

y calculamos la integral indefinida

se obtiene la igualdad deseada, situacin que confirma la validez de nuestra conjetura.

6.4. CLCULO DE AREAS.

EJEMPLO. 6.4.

Determinar el rea del recinto delimitado por las curvas y=e
x
, y=e
-x
, x=2

Solucin.

En primer lugar dibujemos las curvas para determinar exactamente cual es la integral
definida que debemos plantear.
Editamos las expresiones
^x ^-x y x=2

y aplicamos en todas ellas la secuencia y , resultando

Clculo Integral

95

Vamos ahora a determinar los puntos que delimitan el recinto. La interseccin entre {x=2}
e {y= e
x
} es sencillo de obtener (2,e
2
). Por otro lado el punto de corte de {x=2} e {y=e
-x
} es
(2,e
-2
). Ya estamos en condiciones de plantear las integrales definidas que calculan el rea
del recinto en cuestin.
Utilizando integracin por FRANJAS VERTICALES, la integral que tendremos que
plantear es
2
0
) ( dx e e
x x

En DERIVE basta con editar la expresin ^x-^(-x) y aplicar Clculo-Integrar en la
variable x, marcando la opcin Integral-Definida e incluyendo como lmite inferior 0 y
lmite superior 2,


y cuyo valor aproximado se puede obtener aplicando a esta ltima expresin Simplificar-
Aproximar, resultando

Si por el contrario utilizamos FRANJAS HORIZONTALES, observemos que
debemos considerar las funciones inversas, es decir, x=lny, x=lny, x=2.
En este caso debemos plantear el rea como suma de dos integrales definidas

+
2
2
1
1
) ln 2 ( )) ln ( 2 (
e
e
dy y dy y
Esta operacin en DERIVE la podemos efectuar, primero definiendo la expresin
2(lny) con la que construimos la primera integral mediante Clculo-Integrar, dando
como lmites inferior ^2 y como lmite superior 1,

96

En segundo lugar definimos la expresin 2-lny y de igual forma aplicamos sobre ella
Clculo-Integrar con lmite inferior 1 y lmite superior ^2

Por ltimo basta construir la suma de las dos expresiones que contienen las integrales
anteriores


6.5. INTEGRALES IMPROPIAS.

Ya hemos efectuado algunos clculos de integrales impropias, considerando los errores
que puede provocarnos DERIVE en integrales que contengan un punto de no acotacin en
el interior del intervalo determinado por los lmites de integracin. A continuacin
proponemos dos ejemplos de este tipo de integrales.

EJEMPLO 6.5. Clculo de integrales impropias por la definicin.
Calcular por la definicin la integral impropia
0
cos xdx e
x

Solucin.

El clculo por la definicin de esta integral impropia (de una funcin acotada en
intervalo no acotado) consiste en calcular

b
x
b
xdx e lim
0
cos
Este clculo se efecta en DERIVE definiendo primero la expresin ^-x cosx y
aplicando sobre sta la secuencia Clculo-Integrar con lmite inferior 0 y lmite superior
b

y sobre la ltima expresin se aplica la secuencia Clculo-Lmites en la variable b y en el
punto b=

Clculo Integral

97

Ntese que tambin se podra haber efectuado directamente resolviendo la integral
como si fuese una integral definida usual

EJEMPLO 6.6. Criterio de comparacin.

Analizar la convergencia/divergencia de la siguiente integral
dx
e
x
x
1
2
1

Utilizar si es necesario el criterio de comparacin a partir de la convergencia conocida de
las integrales de la forma
>
1
) 0 (
1
p dx
e
px

Solucin.
Lo primero que se nos ocurre es intentar calcular con DERIVE la integral impropia, ya
que se trata de una integral de una funcin acotada en intervalo no acotado. Por tanto
definimos la expresin x^2/(^x-1) y aplicamos sobre ella la secuencia Calculo-Integrar

pero obsrvese que al intentar simplificar, DERIVE nos devuelve la misma integral, es
decir, no es capaz de obtener el resultado.
En consecuencia, intentamos aplicar comparacin con las integrales de las que
sabemos que existe convergencia. Para ello vamos a dibujar algunas grficas, con el objeto
de obtener la relacin adecuada, si es que existe, entre la funcin principal y los
integrandos de la forma 1/^(px) en el intervalo [1,). En primer lugar consideremos
algunas funciones de este tipo con p1, editando
vector(1/^(px),p,1,5)
y al simplificar se obtienen 5 funciones:

Si dibujamos esas cinco funciones y la funcin con la que deseamos efectuar comparacin
(
1
) (
2
x
e
x
x f
), se obtiene


98

y se observa que todas ellas son menores que la funcin f(x) en el intervalo [1,). Por tanto
no podramos aplicar el criterio de comparacin.
Dibujemos ahora funciones de este tipo con 0<p<1. Editamos la expresin
vector(1/^(x/p),p,2,6)
y al simplificar obtenemos

Antes de dibujar las grficas de estas funciones, borremos todas las anteriores con
Editar-Borrar-todas-las-grficas en la ventana Grficos-2D. A continuacin dibujamos la
funcin f(x) y las cinco anteriores y obtenemos

Podemos observar que la funcin
6 /
1
) (
x
e
x g
es una funcin que nos sirve para la comparacin que estamos haciendo puesto que
g(x)f(x)>0 en [1,)
y como es convergente,
Clculo Integral

99

entonces la integral dada es tambin convergente.

EJERCICIO 37.
Calcular el rea encerrada por la curva
x
x
y
sen
, x= y x=2.

EJERCICIO 38.
Determinar si la integral impropia
0
2 / 1
3
dx e x
x
es o no convergente y en caso de
serlo calcular su valor.

EJERCICIO 39.
Determinar el rea comprendida entre 2 3
2
+ x x y e 2
2
+ + x x y .

EJERCICIO 40.
La funcin de coste marginal de una empresa viene dada por c(x)=0,03x
2
2x+120
(en miles de pesetas, siendo x las unidades diarias producidas). Calcular el incremento de
los costes si se aumenta la produccin diaria de 100 a 105 unidades.

7. PRINCIPALES COMANDOS DE DERIVE-5
PARA EL LGEBRA LINEAL.

En este apartado vamos a introducir las principales operaciones que DERIVE
realiza en el clculo vectorial y clculo matricial.

7.1. VECTORES Y MATRICES EN DERIVE.

Declaracin de vectores en DERIVE.

En DERIVE los vectores se pueden introducir de dos formas distintas:

(a) mediante la secuencia de comandos Editar(Autor)-Vector
EJEMPLO
Definir utilizando Editar(Autor)-Vector el vector de componentes (1,2,3,8)

Solucin:
Aplicamos el comando Editar(Autor)-Vector , en el campo dimensin indicamos el
nmero de elementos del vector, en este caso 4

pulsamos (enter) o pinchamos en Si y luego vamos introduciendo una a una las
componentes del vector pulsando la tecla del Tabulador despus de escribir cada una de
ellas

al final resulta la expresin

Principales comandos de DERIVE-5 para el lgebra 101

(b) introduciendo directamente el vector con Editar(Autor)-Expresin:

obtenemos la misma expresin anterior.

EJEMPLO 7.1.
Editar los vectores: (3,4,5,7), (1,6,9,-10) y (9,2,3,1).

Solucin:
Con Editar(Autor)-Expresin introducimos

Declaracin de matrices en DERIVE.

En DERIVE las matrices se pueden definir de dos formas:

(a) Mediante la secuencia de comandos Editar(Autor)-Matriz
(b) Empleando el comando Editar(Autor), es decir editando directamente.

EJEMPLO 7.2.
Editar la matriz
2 3 5
4 1
t
t
utilizando los dos mtodos anteriores.
Solucin:
(a) Aplicamos la secuencia Editar(Autor)-Matriz , DERIVE nos pregunta sobre el
nmero de filas y columnas de la matriz, en este caso indicamos que tiene 2
filas y 3 columnas

a continuacin iremos introduciendo los elementos de la matriz. Para introducir
los diferentes elementos de la matriz podemos utilizar la tecla de tabulacin
para irnos moviendo de una casilla a otra. Podemos asimismo observar que en
la parte inferior de la lnea de edicin nos indica el elemento que estamos
introduciendo


al finalizar aparece en la ventana de lgebra la expresin

(b) El segundo mtodo consiste en editar la matriz como un vector de vectores fila.
En consecuencia editando

y al pulsar (enter) obtenemos nuevamente la expresin anterior.

Dar nombre a un vector o a una matriz.
En general, lo ms operativo en lgebra matricial suele ser el dar nombre a la matriz
o vector que hemos introducido utilizando la sintaxis:
(Nombre de vector o matriz) := (matriz o vector)

EJEMPLO 7.3.
Definir los vectores u=(3,5,6,-3) , v=(4,3,-9,-8).

Solucin.
Para editar directamente vectores en DERIVE basta con introducir las componentes
entre corchetes, as para editar el primer vector introducimos la expresin
u:=[3,5,6,-3]
el segundo se obtiene escribiendo
v:=[4,3,-9,-8]
lo cual en DERIVE se muestra como

EJEMPLO 7.4.
Definir en DERIVE las matrices cuadradas dadas por
=
1 1 3
1 2 1
5 4 2
1 5 1
1 2 2
5 3 1
B A


Solucin:
Editemos las expresiones

resultando as en la ventana de
lgebra

7.2. OPERACIONES CON VECTORES.

Dados dos vectores u, v definidos en DERIVE, con ciertos valores numricos o
funcionales segn hemos comentado en el apartado anterior, las siguientes operaciones se
obtienen editando las expresiones indicadas y simplificando a continuacin para obtener el
resultado:
(a) SUMA Y DIFERENCIA DE VECTORES u+v u-v
(b) PRODUCTO ESCALAR DE VECTORES u.v
(c) NORMA DE UN VECTOR abs(u)
(d) DIMENSION DE UN VECTOR dimension(u)
(e) PRODUCTO DE UN ESCALAR POR UN VECTOR a* u (a es escalar)
(f) EXTRAER EL ELEMENTO K-ESIMO DE UN VECTOR element(u,k)
(g) AADIR ELEMENTOS A UN VECTOR append(u,v) , su resultado es un
vector que contiene todas las componentes de u y a continuacin las de v.

EJEMPLO 7.5.
Dados los vectores ) 9 , 4 , 3 , 1 ( = u y ) 4 , 3 , 0 , 2 ( = v . Calcular
(a) v u +
(b) v u
(c) v u.
(d) Calcular la norma de ambos vectores.
(e) v u 5 3
(f) Extraer la tercera componente del vector u
(g) Aadir a los elementos de u los de v .


Solucin.
En primer lugar, definamos los vectores del problema escribiendo las expresiones
u:=[1,3,4,-9] y v:=[2,0,3,4]
(a) La suma se obtiene editando u+v y simplificando

(b) La diferencia se calcula editando u-v de tal forma que al simplificar resulta

(c) El producto escalar se obtiene mediante u.v

(d) La norma del vector u se obtiene editando y simplificando abs(u)

de igual forma se calcula la norma de v

(e) Editando 3u-5v, al simplificar se obtiene el vector deseado

(f) Mediante la edicin de element(u,3) tras simplificar resulta

(g) Aplicamos el comando Editar(Autor) e introducimos la expresin
append(u,v) que al simplificar nos da

7.3. OPERACIONES CON MATRICES.

Dadas dos matrices A y B, en DERIVE se pueden realizar las siguientes
operaciones, sin ms que editar la expresin indicada y simplificar:
(a) SUMA DE DOS MATRICES A+B
(b) DIFERENCIA DE DOS MATRICES A-B
(c) PRODUCTO DE MATRICES A.B
(d) TRANSPUESTA DE UNA MATRIZ A` ojo es el acento grave `! (este
smbolo se puede introducir o bien a travs del teclado o bien a travs de los
smbolos que aparecen en la ventana de edicin )
(e) PRODUCTO DE UNA MATRIZ POR UN ESCALAR .A
(f) DETERMINANTE DE UNA MATRIZ CUADRADA det(A)
(g) TRAZA DE UNA MATRIZ CUADRADA trace(A)
(h) INVERSA DE UNA MATRIZ NO SINGULAR A^(-1)
(i) INTRODUCCION DE MATRIZ IDENTIDAD DIMENSION N
identity_matrix(n)

(j) EXTRAER EL ELEMENTO a
ij
DE UNA MATRIZ element(A,i,j)
(k) EXTRAER LA FILA J-ESIMA DE UNA MATRIZ element(A,j)
(l) AADIR UNA FILA A UNA MATRIZ append(A,matriz fila)
(m) MATRIZ REDUCIDA DE GAUSS-JORDAN row_reduce(A)
(n) MATRIZ REDUCIDA DE LA MATRIZ A AUMENTADA POR B
row_reduce(A,matriz B)
(o) POTENCIA N-ESIMA A^n

EJEMPLO 7.6.
Dadas las matrices

=
5 3
4 1
3 2
,
5 6 7
2 4 1
3 2 6
,
1 9 5
3 2 0
5 3 1
C B A
Calcular si es posible:
(a) A+B, A-B, A+C.
(b) AB, BA, AC, CA
(c) C
t
A
(d) 3 A-4BC, 2AC+ BC
(e) det(A), det(B), det(C)
(f) A
-1
, B
-1

(g) Comprobar que A.Id=A
(h) tr(A), tr(B)
(i) Efectuar 3 a
12
-5a
13
,
(j) Obtener la matriz reducida de Gauss-Jordan de A y de B
(k) Calcular la inversa de A utilizando el clculo de matriz reducida de Gauss-
Jordan
(l) A
3
, B
4

Solucin.
En primer lugar definimos las tres matrices

(a) Editando las expresiones A+B, A-B al simplificar se obtiene

por ltimo si editamos y simplificamos A+C resulta

que no es una expresin matricial, ya que A y C son matrices con distinto orden y por tanto
no se pueden sumar.

(b) Si se edita A.B resulta

Editando B.A al simplificar se obtiene

de donde se deduce que el producto de matrices NO ES CONMUTATIVO.

De igual forma se procede con las expresiones A.C y C.A

C.A no se puede calcular como se muestra en la ltima expresin.


(c) Efectuamos

(d) La operacin a desarrollar es

que como se observa no se puede realizar. Sin embargo, si se puede calcular

cuyo resultado es

(e) Una posible forma de obtener el resultado de operaciones es, en vez de editar y
luego simplificar, introducir la expresin seguida de un = y al pulsar (enter) se efectua la
operacin indicada. As, si editamos

al pulsar (enter) se obtiene

Utilizando este mtodo se obtiene

Obsrvese que no se ha podido calcular el determinante de C, ya que no es una matriz
cuadrada.

(f) Editando A^(-1)= resulta


La inversa de B no se puede calcular puesto que como hemos visto en el apartado anterior
es una matriz singular y, por ello, no tiene inversa.

(g) La matriz identidad de orden 3 se edita con la expresin identity_matrix(3),
por tanto la comprobacin de la igualdad planteada se obtiene introduciendo
A.identity_matrix(3)= (enter)

que es la matriz A.

(h) Procediendo como en apartados anteriores se obtiene

(i) Editando 3*element(A,1,2) 5*element(A,1,3)= (enter) o Si, resulta

(j) La matriz reducida de Gauss-Jordan de A se obtiene con

y la matriz de Gauss-Jordan de B mediante

Como la matriz A es invertible, su matriz reducida resulta ser la matriz identidad,
hecho que no sucede con B, al ser una matriz singular.

(k) El proceso de Gauss-Jordan, puede servirnos para calcular la inversa de una
matriz, para ello bastar con construir una matriz formada en la subcaja izquierda por la
matriz a invertir y en la subcaja derecha por la matriz identidad del orden correspondiente,
de esta forma si editamos
row_reduce(A,identity_matrix(3))=
al pulsar (enter) se obtiene


que es una matriz que tiene en la subcaja de la izquierda la matriz identidad (si la matriz
inicial es invertible) y en la subcaja de la derecha su inversa.
Obsrvese lo que sucede si intentamos lo mismo con la matriz B que no tiene
inversa:

(l) Por el mismo procedimiento que en apartados anteriores los clculos se realizan
editando las expresiones correspondientes y se obtienen las expresiones

7.4. FUNCIONES DEFINIDAS EN FICHEROS DE UTILIDADES.

En DERIVE existen ficheros que contienen definiciones de funciones que
nicamente pueden utilizarse si est cargado el fichero de utilidades correspondiente. Uno
de los ms utilizados de lgebra es el VECTOR.MTH. En este archivo, tenemos varias
operaciones predefinidas entre las que destacaremos las siguientes:

(a) CALCULO DEL RANGO DE UNA MATRIZ A: rank(A)
(b) ADJUNTA DE UNA MATRIZ CUADRADA: adjoint(A)
(matriz de adjuntos transpuesta)
(c) ELIMINAR UNA FILA DE UNA MATRIZ A: delete_element(A,k)

(NOTA: como VECTOR.MTH es un fichero de utilidades colgado en el directorio
de utilidades del programa, es posible utilizar funciones del fichero sin necesidad
de tener que cargar el mismo, esto no sucede cuando creamos ficheros de utilidades
propios, como es el caso del fichero ALGEBRA.MTH, creado por nosotros. Por
norma general y para facilitar el trabajo siempre cargaremos los ficheros de
utilidades mediante la secuencia que describimos a continuacin).

Asimismo, en el fichero de utilidades ALGEBRA.MTH podremos encontrar las
funciones que calculan

(d) PRODUCTO DE KRONECKER DE DOS MATRICES:
prod_kronecker(A,B)
(e) CLASIFICACION DE UNA MATRIZ CUADRADA tipo_matriz(A)

Se ilustran algunas de estas funciones en el siguiente ejemplo.

EJEMPLO.
Dadas las matrices

=
5 3
4 1
3 2
,
5 6 7
2 4 1
3 2 6
,
1 9 5
3 2 0
5 3 1
C B A . Calcular:
(a) El rango de cada una de ellas.
(b) La inversa de las matrices no singulares utilizando la frmula de la adjunta.
(c) Construir una matriz que contiene las dos primeras columnas de la matriz A y
las dos ltimas de la matriz B utilizando las funciones delete_element y append.
(d) Obtener Kronecker(A,C)
(e) Determinar el tipo de matriz de A, B y C.

Solucin:
En primer lugar debemos editar las tres matrices

A continuacin procederemos a resolver cada uno de los apartados.

(a) Para obtener el rango podemos optar por aplicar la funcin RANK, que se
encuentra en el fichero de utilidades VECTOR.MTH, en cuyo caso deberemos
cargarlo previamente mediante la secuencia de comandos Archivo-Leer-
Utilidades

tras lo cual aparece una ventana en la que debemos buscar el subdirectorio MATH

y una vez seleccionado este directorio, podemos elegir el fichero Vector, o bien
escribir directamente su nombre en Nombre de archivo:


Podemos observar que aparece una expresin en DERIVE que nos indica la
operacin que hemos realizado:

A continuacin editamos las expresiones
rank(A)= (enter)
rank(B)= (enter)
rank(C)= (enter)
y se obtiene

(b) De las tres matrices anteriores nicamente es no singular y cuadrada la matriz A
por consiguiente es la nica que podemos invertir. La matriz inversa de A
calculada a partir de la matriz adjunta se obtiene editando la expresin
(1/det(A)).ADJOINT(A) (enter)
y resulta

(c) La funcin delete_element(A,k) da lugar a una matriz a la que hemos
eliminado la fila k-sima. Como deseamos eliminar columnas, deberemos de
eliminar filas de su transpuesta y luego transponer, es decir , con
delete_element(A`,k)`
borramos la k-sima columna de la matriz A. En consecuencia la operacin que
debemos considerar para suprimir la ltima columna de A es construir la matriz
A1 editando

A1:=delete_element(A`,3)`

Aplicando podemos comprobar que es la submatriz de A que buscamos

Por otro lado como deseamos tan solo las dos ltimas columnas de B,
definimos B1 editando la expresin
B1:=delete_element(B`,1)`

nuevamente simplificando comprobamos que B1 esta formada por las dos
ltimas columnas de la matriz B

Por ltimo como deseamos construir una matriz formada por las columnas
de las matrices A1 y B1, editamos
append(A1`,B1`)`= (enter)
y resulta

(d) Para aplicar la funcin prod_kronecker(A,C), necesitamos cargar el fichero
de utilidades ALGEBRA.MTH. Una vez disponible en memoria editando la
expresin prod_kronecker(A,C)= resulta

(e) Para clasificar matrices tenemos definida en el fichero ALGEBRA.MTH una
funcin que clasifica una matriz cualquiera, la funcin en cuestin se edita
tipo_matriz(nombre de la matriz) , y despus de simplificar se obtiene


es decir, A no es una matriz clasificable dentro de los tipos de matrices
fundamentales. Este hecho se puede comprobar de forma visual en algunos
casos y de forma experimental en otros.
Lo mismos hacemos para la matriz B, editamos tipo_matriz(B) y al
simplificar resulta

que nicamente es una matriz POSITIVA.
Por ltimo con la matriz C, de forma similar se obtiene

EJERCICIO 41.
Dadas las matrices
=
21 10 5
9 4 2
3 2 1
,
2 3 7
2 2 0
4 0 5
,
1 9 4
9 2 6
9 7 4
C B A
Calcular:
a) A+B;
b) A
2
-B
2

c) A
-1
.B
t

d) Determinante de A
e) C
-1
y comentar el resultado.

EJERCICIO 42.
Utilizando la funcin VECTOR definir un vector tal que sus elementos son los
cubos de los 7 primeros nmeros naturales.

EJERCICIO 43.
Dados los vectores ) 0 , 4 , 3 , 1 ( = u , ) 1 , 1 , 0 , 2 ( = v .
(a) Determinar si el vector v u 4 3 es perpendicular con el vector u .
(b) Es un vector unitario?

EJERCICIO 44.

Dada la matriz

=
6 1 3 2
0 1 5 1
0 0 1 2
1 2 3 1
M . Se pide
(a) Determinar su rango.
(b) Calcular su inversa, si es posible, utilizando el mtodo de Gauss-Jordan.
(c) Calcular el producto de Kronecker de esta matriz M, por la matriz ( ) 2 1 = C y
comprobar que no es conmutativo.

EJERCICIO 45.
Dada la matriz cuadrada

=
a a
a a
a
N
1 0 1 0
1 1 1 0
1 1 2 2 1
1 1 1

a) Obtener para qu valores de a el rango es mximo.
b) Calcular su inversa para a=0.


116
8. ESPACIOS VECTORIALES Y
APLICACIONES LINEALES.

8.1. DEPENDENCIA E INDEPENDENCIA LINEAL DE VECTORES.
COMBINACIN LINEAL.

EJEMPLO 8.1.
Estudiar si el vector ) 0 , 1 , 0 , 1 ( = v de R
4
es combinacin lineal de los vectores
) 1 , 0 , 1 , 0 ( ), 0 , 1 , 1 , 0 ( ), 1 , 2 , 1 , 0 ( 3 2 1 = = = u u u .
Solucin.
Este problema se puede resolver de varias formas. La manera clsica consiste en
plantear una ecuacin vectorial del tipo
3 2 1 u c u b u a v + + =
tal que si tiene solucin, entonces el vector dado es combinacin lineal de los restantes.
Para resolver este problema en DERIVE primero definimos los cuatro vectores
editando las expresiones:
v:=[1,0,1,0], u1:=[0,1,2,-1], u2:=[0,-1,1,0] y u3:=[0,1,0,1].

a continuacin introducimos la ecuacin vectorial


Obsrvese que la primera ecuacin nunca se verifica lo cual nos indica que el sistema
carece de solucin

Una segunda alternativa de resolucin podra ser el estudiar el rango de la matriz
formada por los vectores. Si el rango es cuatro, esto quiere decir que son linealmente
independientes y, por tanto, no existe combinacin lineal. Esto se puede comprobar
editando la expresin

que al pulsar (enter) nos da

Espacios vectoriales y aplicaciones lineales.

117

EJEMPLO 8.2.

Analizar la dependencia e independencia lineal de los siguientes vectores de R
5
:
(1,2,-3,5,0), (2,-1,0,6,7), (-3,0,1,1,4), (1,5,-7,3,2)
Solucin.
En primer lugar definimos en DERIVE los cuatro vectores:

a continuacin editamos en Editar(Autor)-Expresin la ecuacin vectorial

Por definicin de dependencia e independencia lineal, si existe solucin no nula entonces
son linealmente dependientes, y si la nica solucin es la nula son linealmente
independientes. Al simplificar la expresin anterior se obtiene el sistema

y al resolverlo con los comandos Resolver-Sistema de ecuaciones obtenemos

pinchamos en Si y en la siguiente ventana introducimos las ecuaciones, y las variables en
las cuales deseamos resolver el sistema

118

Pulsando Resolver se obtiene

Por tanto, estos vectores son linealmente independientes.

8.2. SUBESPACIOS VECTORIALES. BASES. COORDENADAS.

EJEMPLO 8.3.
Dado el subespacio vectorial de R
4

W=L{(1,1,1,1),(1,2,3,0),(5,7,9,3)}
(a) Obtener sus ecuaciones paramtricas y cartesianas.
(b) Hallar una base de W.
(c) Determinar las coordenadas del vector (5,12,19,-2) en dicha base.

Solucin.
(a) Editamos previamente los tres vectores que generan el subespacio

ECUACIONES PARAMTRICAS.
Las ecuaciones paramtricas del subespacio se pueden obtener introduciendo la
ecuacin vectorial

Al simplificar se obtienen las ecuaciones paramtricas del subespacio

siendo a,b,c los parmetros con valores reales.


119
ECUACIONES CARTESIANAS.
Para obtener las ecuaciones cartesianas, necesitamos eliminar los tres parmetros
a,b,c de las ecuaciones anteriores. Si iluminamos la primera ecuacin y la resolvemos
utilizando Resolver Expresin mtodo Algebraico y dominio Complejo respecto del
parmetro a

se tiene

Si ahora sustituimos el valor de a por x-b-5c en el sistema inicial con la
secuencia Simplificar-SustituirVariable

tras simplificar resulta

Obsrvese que la primera ecuacin se ha convertido en una identidad. Despejemos
el parmetro b de la segunda ecuacin editando la misma y aplicando Resolver-Expresin
(mtodo:algebraico, campo: complejo) respecto de b se obtiene al simplificar

Si sustituimos en el anterior sistema b por -x+y-2c con Simplificar-
Sustituirvariable tras simplificar se obtiene

Obsrvese que directamente se ha anulado el tercer parmetro, por lo que las
ecuaciones cartesianas que nos quedan son:
z=2y-x
t=2x-y
Luego
{ } y x t x y z R t z y x W = = = 2 , 2 / ) , , , (
4


120
(b) Para hallar una base de dicho subespacio, bastar tomar dos vectores que sean
linealmente independiente, ya que de las ecuaciones cartesianas se deduce que la
dimensin del subespacio es 2. Una posibilidad es construir una matriz formada por dos
vectores y calcular su rango. Como necesitamos la funcin RANK, carguemos el fichero
de utilidades VECTOR.MTH (Archivo-Leer-Utilidades) obsrvese que aparece en la
ventana de edicin el mensaje que nos indica la operacin realizada

y a continuacin editamos

y al simplificar resulta

Luego los dos primeros vectores son linealmente independientes, y en consecuencia
forman una base del subespacio vectorial W.

(c)Editemos el nuevo vector mediante el comando Editar(Author)

Para obtener las coordenadas de este vector respecto de la base B={u1,u2},
planteamos la siguiente ecuacin vectorial

Al simplificarla obtenemos el sistema

ecuaciones que introducimos en la ventana de resolucin de ecuaciones

que al simplificar nos proporciona las coordenadas de este vector u4 respecto de la base
dada


121

8.3 APLICACIN LINEAL. NCLEO E IMAGEN DE UNA APLICACIN
LINEAL.

EJEMPLO 8.4.
Dada la aplicacin
4 4
: R R f definida por
) 2 , , 4 2 , ( ) , , , ( t z y x y x t z x t y x t z y x f + + + + + =
(a) Comprobar que es una aplicacin lineal.
(b) Calcular la matriz de f respecto de las bases cannicas.
(c) Obtener la matriz de f respecto de las bases
B
1
={(1,1,1,1),(1,1,1,0),(1,1,0,0),(1,0,0,0)} y
B
2
={(0,1,1,1),(0,0,1,1),(0,0,0,1),(1,1,1,1)}
(d) Determinar el ncleo y la imagen de f as como una base y la dimensin de
dichos subespacios.

Solucin
(a) La linealidad de la aplicacin f se realiza comprobando la igualdad
) ( ) ( ) ( v bf u af v b u a f + = +
o bien
0 ) ( ) ( ) ( = + v bf u af v b u a f

En consecuencia en primer lugar debemos introducir la expresin
) 2 , , 4 2 , ( ) (
4 3 2 1 2 1 4 3 1 4 2 1
u u u u u u u u u u u u u f + + + + + =
y para ello, en Editar(Autor)-Expresin escribimos

y al pulsar Si resulta

Necesitamos tambin dos vectores genricos de R
4
y para definirlos en primer lugar
hemos de asegurarnos que el programa identifica variables de la forma u1, es decir
variables con ms de un carcter. Para ello es preciso cambiar la configuracin. En
concreto hemos de seleccionar Definir-Preferencias de Entrada-Palabra y aparece en la
ventana de edicin la siguiente expresin:

Una vez hecho esto ya podemos editar las expresiones:

Por ltimo, introducimos en Editar(Autor) la ecuacin vectorial

122

que una vez simplificada da lugar a

Por tanto, la aplicacin es lineal

(b) Como las columnas de la matriz asociada a la aplicacin lineal f respecto de las
bases cannicas son las imgenes de los vectores de la base cannica de R
4
del espacio
inicial, entonces bastar editar la expresin

y al simplificar se obtiene la matriz

Obsrvese que esta matriz la hemos nombrado como FA. Evidentemente este caso no
requiere del uso de DERIVE, sin embargo lo mostramos para que se vea la dinmica de la
construccin.

(c)Ahora tenemos dos bases distintas de la cannica. Definamos previamente en
DERIVE los vectores v1, v2, v3, v4 de la base B
1
y w1,w2,w3,w4 de la base B
2
editando
las expresiones

Para hallar la matriz asociada de la aplicacin lineal respecto de estas bases
tenemos que calcular las coordenadas de las imgenes de los vectores de la base B
1

respecto de la base B
2
.
Las coordenadas de f(v1) respecto de la base B
2
se obtienen editando

lo que una vez simplificado se convierte en el sistema de ecuaciones


123

cuya solucin con Resolver-Expresin respecto de las variables x1,x2,x3,x4, al simplificar
se obtiene

Por tanto, la primera columna de la matriz asociada es
1
1
3
4

Las coordenadas de f(v2) respecto de la base B
2
se calculan editando

y al simplificar resulta

Una vez resuelto el sistema se obtiene la segunda columna

Para las coordenadas de f(v3) efectuamos las mismas operaciones

Anlogamente para f(v4)

Por tanto la matriz asociada a f respecto de las bases B
1
y B
2
es

1 0 3 1
1 1 0 1
1 0 4 3
1 2 6 4

(d) NCLEO DE f.
El ncleo de f es el conjunto de vectores de R
4
tales que f(x)=(0,0,0,0). Por tanto si
editamos la ecuacin


124

y la simplificamos obtenemos las ecuaciones cartesianas del ncleo

En consecuencia
} 0 2 , 0 , 0 4 2 , 0 / ) , , , {( ) (
4
= + + = + = + = + = t z y x y x t z x t y x R t z y x f Ker
Si ahora resolvemos este sistema obtenemos

Como se trata de un sistema compatible indeterminado, para resolver este sistema debemos
utilizar el comando SOLUTIONS como se indic en la introduccin, de tal forma que si
ahora resolvemos este ltimo sistema equivalente con el inicial mediante dicho comando

obtenemos tras simplificar

donde la expresin @1 indica que tenemos un parmetro. Luego el ncleo est generado
por un solo vector, por ejemplo el vector (1,-1,-1,-2), que forma una base del mismo, y
por tanto su dimensin es 1.

IMAGEN DE f.
Del estudio de la dimensin del ncleo, se deduce que la dimensin de la Im(f) es 3.
Como hemos calculado la matriz asociada a f respecto de las bases cannicas, sus vectores
columna son un sistema de generadores de Im(f). Si deseamos obtener una base, bastar
con extraer tres que sean linealmente independientes. La matriz en cuestin la tenamos
guardada en fa

Calculemos el rango de los tres primeros vectores de dicha matriz mediante

Al simplificar resulta

Por tanto son linealmente independientes y, en consecuencia, una base de Im(f) viene dada
por
B={(1,2,1,2),(-1,0,1,1),(0,4,0,-1)}.


125
EJERCICIO 46
Calcular los valores de x e y para que la siguiente matriz tenga rango 2

y y
x x
1 2
2 1 1
1 0 5 3

EJERCICIO 47
Estudiar en funcin del parmetro t la dimensin del subespacio vectorial
generado por los vectores {(1,1,t),(1,t,1),(t,1,1)}.

EJERCICIO 48
Dada la aplicacin lineal
2 4
: R R f dada por
) , ( ) , , , ( z y x t y x t z y x f + + + =
(a) Obtener el ncleo e imagen de f as como una base y la dimensin de cada uno de ellos.
(b) Obtener la matriz asociada a f respecto de la base cannica de R
4
y la base
B={(1,2),(1,1)} de R
2
.

EJERCICIO 49

Dados los subespacios vectoriales de R
4

)} 0 , 1 , 1 , 2 ( ), 2 , 1 , 0 , 0 ( ), 0 , 1 , 0 , 1 ( ), 2 , 1 , 1 , 1 {(
} 0 , 0 2 , 0 2 / ) , , , {(
2
4
1
=
= + = + + = + + =
L W
y
z y t z y x t z y x R t z y x W

Hallar
(a) Una base de W
1

(b) Ecuaciones cartesianas de W
2
.
(c) Una base de
2 1
W W .

Prcticas de Matemticas II con DERIVE-5 126

9. SISTEMAS DE ECUACIONES LINEALES.

En este apartado vamos a analizar los contenidos bsicos para la discusin y
resolucin de sistemas de ecuaciones lineales.

9.1.DISCUSIN DE SISTEMAS LINEALES: TEOREMA DE ROUCH-
FRBENIUS.
La discusin de un sistema lineal, consiste en determinar previamente la existencia
o no de soluciones. Para la discusin de sistemas se utiliza el Teorema de Rouch-
Frbenius que nos determina las condiciones necesarias y suficientes para clasificar el
sistema en
- sistema incompatible
- sistema compatible determinado
- sistema compatible indeterminado
Todo ello en funcin del rango de la matriz de coeficientes, de la matriz ampliada y
el nmero de incgnitas. Veamos a continuacin algunos ejemplos.
EJEMPLO 9.1
Discutir el siguiente sistema de ecuaciones lineales
2x+y-t-4u=4
3x-y+2z-5u=13
x+3y+z-t-7u=7
x+2y-3z-2t-2u=-7
Solucin.
Definimos en DERIVE la matriz ampliada editando la expresin

Mediante la funcin DELETE_ELEMENT, es fcil construir la matriz de
coeficientes editando la expresin
situacin que podemos comprobar editando a= y obtenemos

Para aplicar el Teorema de Rouch-Frbenius, debemos calcular los rangos tanto de
la matriz de coeficientes como de la matriz ampliada. El rango de la matriz de coeficientes
se obtiene editando rank(a)= y resulta

El rango de la matriz ampliada editando rank(ma)= y resulta

Por tanto se trata de un SISTEMA COMPATIBLE. Como el nmero de incgnitas es 5
entonces se trata de un sistema compatible INDETERMINADO.
Sistemas de ecuaciones lineales. 127

EJEMPLO 9.2.
Discutir el sistema
2x - y - 2z = -2
-x + y + z = 0
x -2y + z = 8
2x - 2y = 6
Solucin:
Definimos la matriz ampliada editando

la matriz de coeficientes se puede obtener a partir de sta eliminando la ltima columna
mediante la expresin

Para discutir el sistema nicamente nos resta calcular los rangos, mediante

Por tanto el sistema es COMPATIBLE DETERMINADO.

EJEMPLO 9.3.
Estudiar en funcin de los parmetros t y k la compatibilidad del sistema
x + y = 1
x z = 2
2x + tz = 0
y kz = -1
Solucin:
En este caso tenemos una matriz con dos parmetros., que se puede definir de igual
forma, nicamente debemos tener cuidado de que los parmetros t y k no tengan
asignado previamente ningn valor. Esta circunstancia se comprueba fcilmente sin ms
que editar las variables y simplificndolas:
Se edita t= y k= y resultan

Una vez hecha la comprobacin editamos la matriz ampliada igual que en los ejemplos
anteriores con la salvedad de que ser una matriz dependiente de dos parmetros, es decir
editamos

la matriz de coeficientes se define en DERIVE de igual forma dependiente de los
parmetros t y k como


Para estudiar los rangos de estas matrices NO PODEMOS APLICAR LA
FUNCION RANK; ya que puede darnos errores al contener parmetros. Calculemos en
primer lugar los casos en los que el sistema es INCOMPATIBLE; es decir en los que el
rango de la matriz ampliada sea 4. Esto se puede calcular si obtenemos el determinante de
dicha matriz editando det(MC(t,k))

que al simplificar da

que claramente es nulo nicamente si k=-1 y no nulo en el otro caso. Por tanto si 1 k el
sistema es INCOMPATIBLE.
Veamos ahora el caso k=-1. En este caso la nueva matriz ampliada se obtiene
mediante

y la matriz de coeficientes con

Estudiemos el rango de esta ltima. Es claro que a lo sumo tiene rango 3. Si estudiamos el
menor formado por las primera, segunda y cuarta columnas mediante

Es nulo, por tanto el rango de la matriz de coeficientes depende del valor de k. Estudiemos
el menor formado por las tres primeras filas mediante

Por tanto si k=-1 y t=-2 el rango de la matriz de coeficientes es <3 (puede comprobarse
fcilmente que es 2) y si k=-1 y 2 t el rango es 3.
Veamos qu sucede con la matriz ampliada para estos casos:
Si t=-2 y k=-1, el rango de la matriz ampliada se obtiene efectuando

en cuyo caso el sistema es INCOMPATIBLE.

Si k=-1 y 2 t , el rango de la matriz ampliada coincide con el de la matriz de
coeficientes por tanto solo en este caso el sistema es COMPATIBLE DETERMINADO.

9.2.RESOLUCION DE SISTEMAS
Para la resolucin de sistemas lineales se pueden utilizar varios mtodos:
(a) Utilizando la funcin ROW_REDUCE; es decir aplicando triangulacin de
Gauss-Jordan.

(b) Utilizando el comando SOLVE
(c) Utilizando el comando SOLUTIONS
(d) Utilizando la matriz inversa.
Veamos algunos ejemplos:

EJEMPLO 9.4.
Resolver el sistema del ejemplo 9.1 del apartado anterior, es decir:
2x+y-t-4u=4
3x-y+2z-5u=13
x+3y+z-t-6u=7
x+2y-3z-2t-2u=-7
Solucin.
Como ya tenemos definido en DERIVE su matriz de coeficientes en la variable a

nicamente nos faltara definir el vector de incgnitas editando
inc:=[x,y,z,t,u]

y el de trminos independiente mediante

(a) Resolucin por TRIANGULACIN DE GAUSS .
La funcin ROW_REDUCE calcula la matriz reducida de Gauss-Jordan. Esta
funcin admite dos formas o bien introducir como argumentos la matriz de coeficientes y
el vector columna de trminos independientes, es decir editando row_reduce(a,tin)= y se
obtiene

o bien incluyendo como nico argumento el de la matriz ampliada, que en este caso
tendramos que volver a reeditar:

ahora editando row_reduce(ma)= se obtiene el mismo resultado que antes:

que proporciona como sistema equivalente:
x 1/3 t = -1
y-1/3t=-2
z-1/3t = 2
u=-2
es decir las soluciones :
x=-1+1/3 t, y=2+1/3 t , z=2+ 1/3 t, u=-2.

(b) Utilizando el comando Resolver-sistema.
Para aplicar este comando, debemos tener expresado el sistema expresado de
forma explcita. En consecuencia tenemos que introducir el sistema con la secuencia
Resolver-Sistema

Si aplicamos ahora
se obtiene


si aplicamos ahora
se obtiene

esto quiere decir que no tiene soluciones el sistema?
Si observamos cmo hemos introducido el sistema nos podemos fijar que en el campo
Variables, hemos sombreado las variables x,y,z,t, y hemos pedido al sistema que
resuelva respecto de estas variables dejando como parmetro la variable u. Si ahora
pedimos que resuelva respecto de las variables x,y,z,u y deje como parmetro t,
obtendremos:

Qu ha sucedido?
Que hemos pedido en el primer caso obtener una variable con parmetro u, situacin
que es imposible. En el segundo caso hemos indicado un parmetro correcto.

Para evitar estos problemas en la utilizacin del comando SOLVE, lo que se suele hacer
es aadir una ecuacin trivial, para que DERIVE elija automticamente el parmetro.
Esto se suele hacer aadiendo al sistema de ecuaciones tantos 0 como sean necesarios
para completar el nmero de ecuaciones con el de incgnitas. En nuestro ejemplo con
un solo 0 sera suficiente.

Aplicando nuevamente Resolver-Sistema


Si aplicamos ahora
se obtiene

Obsrvese que aunque no aparece la ecuacin 0, est editada basta observar en el ttulo
de la ventana Resolucin de un sistema de 5 ecuaciones.

Pues bien, si aplicamos ahora
resulta:


que es un sistema equivalente cuyas soluciones son:
x=-1+1/3 t, y=2+1/3 t , z=2+ 1/3 t, u=-2.

(C) Utilizando la funcin SOLVE:

Debido a la incomodidad que original tener que manejar esta secuencia Resolver-
Sistema, suele ser ms cmodo aplicar la funcin SOLVE. Esta funcin tiene dos
argumentos, en el primer debemos indicar el vector de ecuaciones a resolver (editar las
ecuaciones entre corchetes) y en el segundo se indica el vector de incgnitas respecto de
las cuales queremos realizar la resolucin. As por ejemplo para resolver el sistema
anterior, podemos editar la expresin
solve([ecuacin 1, ecuacin 2, ecuacin 3, ecuacin 4], [x,y,z,t]) si queremos
resolver respecto de las variables x,y,z,t y se obtiene

que al simplificar con resulta

es decir no hay soluciones, sin embargo si ahora reedito la expresin SOLVE tomando
ahora como variables de resolucin [x,y,z,u] se obtiene

Si por el contrario lo que deseamos es obtener la resolucin tomando todas las
variables que aparecen, reeditanto la expresin


que es un sistema equivalente cuyas soluciones son:
x=-1+1/3 t, y=2+1/3 t , z=2+ 1/3 t, u=-2.

En realidad este es el COMANDO que se utiliza cuando se aplica Resolver-
Sistema. Esto se puede observar si

una vez editadas las ecuaciones

si ahora aplicamos el boton se obtiene

es decir la estructura de una instruccin que contiene el comando SOLVE.

(D) Utilizando la funcin SOLUTIONS:

Otra funcin que sirve para resolver sistemas en la funcin SOLUTIONS. Si en
vez de usar la funcin SOLVE , usamos la funcin SOLUTIONS tomando como
variables de resolucin [x,y,z,u] se obtiene

que al simplificar

Obsrvese que la funcin SOLUTIONS genera una lista de puntos mientras que
cuando se usa la funcin SOLVE lo que se obtiene es una representacin del punto
interseccin que no puede ser ni dibujada ni usada para realizar operaciones tales como la
suma de vectores.

Si ahora lo que deseamos es obtener la resolucin tomando todas las variables
que aparecen, reeditando la expresin


que es el conjunto de soluciones parametrizado donde en este caso el parmetro es el
smbolo @1. Mientras que la funcin SOLVE nos da un sistema equivalente.

EJEMPLO 9.5.
Resolver el sistema de ecuaciones dado en el ejemplo 9.2 del apartado anterior, es
decir
2x - y - 2z = -2
-x + y + z = 0
x -2y + z = 8
2x - 2y = 6
Solucin:
Si intentamos resolver utilizando el comando SOLVE, aprovechando que tenamos
definida en la variable b la matriz de coeficientes, el sistema se obtiene editando y
simplificando la expresin b.[x,y,z]=[-2,0,8,6]

utilizando este dato anterior podremos ahora editar la expresin
solve(b.[x,y,z]=[-2,0,8,6],[x,y,z])

que al simplificar nos da la solucin del sistema planteado:

Como el nmero de ecuaciones es superior al de incgnitas, no es necesario aadir ninguna
ecuacin trivial.

Si utilizamos la funcin ROW_REDUCE , como ya tenemos definida en la variable
mb la matriz ampliada, bastar editar y simplificar row_reduce(mb)= resultando


de donde se deducen fcilmente las soluciones. x=1, y=-2, z=3. La ltima fila de ceros es
debida a que la cuarta ecuacin era redundante.

9.3.SISTEMAS HOMOGNEOS.
Los sistemas homogneos tienen un tratamiento ms sencillo tanto en su discusin
como en su resolucin.

En cuanto a la DISCUSIN, nicamente debemos determinar si es COMPATIBLE
DETERMINADO, en cuyo caso la nica solucin es la nula, o si es COMPATIBLE
INDETERMINADO. Para ambos casos es suficiente con efectuar la comparacin entre el
rango de la matriz de coeficientes y el nmero de incgnitas:
si rg(A) = nmero incgnitas entonces SISTEMA COMP. DET.
si rg(A)<nmero incgnitas entonces SISTEMA COMP. INDET.

La resolucin se realiza como hemos visto en el apartado anterior.

EJEMPLO 9.6
Discutir y resolver el siguiente sistema segn los valores del parmetro t:
2x + y + tz = 0
x + z = 0
x + y + z = 0
Solucin:
Editemos en primer lugar la matriz de coeficientes

si ahora estudiamos el rango de la matriz dada a travs de RANK, resultara que

es decir el sistema tendra como nica solucin x=y=z=0.

Sin embargo, ya hemos comentado que la funcin RANK NUNCA SE DEBE
UTILIZAR EN MATRICES PARAMTRICAS, ya que puede conducirnos a errores.
Los errores se provocan porque no se consideran los casos en que el parmetro puede
dividir por 0.

Estudiemos adecuadamente el rango, calculando el determinante de dicha matriz
mediante

Por tanto si 2 t su rango es 3 luego SISTEMA COMP. DETERMINADO; nica
solucin x=y=z=0.

Si t=2, el rango de la matriz se obtiene con


es decir su rango es 2, luego SISTEMA COMPATIBLE INDETERMINADO.
Las soluciones en ese caso se pueden calcular mediante ROW_REDUCE; editando
row_reduce(m(2))=

por tanto x=-z, y=0.

Tambin se podra resolver usando la funcin SOLUTIONS. Para lo cual debemos
editar la expresin SOLUTIONS( m(2).[x,y,z]=[0,0,0], [x,y,z])

que al simplificar nos da el conjunto de soluciones

EJERCICIO 50.
Discutir y resolver, cuando sea posible, los siguientes sistemas
(a)
= +
= +
= +
= + +
10 3 3 5 4
31 10 3 3
17 5 2
4 2
t z y x
t y x
t z y x
t z y x
(b)
= +
= + + +
= +
= + + +
5 2 2 2
1 6
6 3
0 2
t z y x
u t y x
u t y x
u t z y x

EJERCICIO 51.
Estudiar segn los valores del parmetro a el siguiente sistema y resulvelo cuando sea
posible
= + + +
= + +
= + +
3 ) 1 (
2 2
4 2
z a y x
z y ax
z ay x

EJERCICIO 52.
Discutir segn los valores de a y b el siguiente sistema y resolverlo cuando sea posible
= + +
= +
= +
= + +
b z y b a x
z y x
z ay x
z y x
8 7 ) ( 5
7 4 3 3
4 3 2
3


10. DIAGONALIZACIN.

10.1. PRINCIPALES FUNCIONES DE DERIVE PARA LA
DIAGONALIZACION: CALCULO DE AUTOVALORES Y
AUTOVECTORES.

Antes de iniciar el estudio de los principales conceptos que componen la
DIAGONALIZACIN de matrices, vamos a mostrar algunas funciones de DERIVE, tiles
en este contexto. Algunas de ellas estn predefinidas y otras se contienen en el fichero de
utilidades VECTOR.MTH.

(A) Funciones predefinidas en DERIVE.
Sea A una matriz cuadrada:
DET(A) calcula el determinante de la matriz A.
TRACE(A) calcula la traza de la matriz cuadrada A.
CHARPOLY(A) calcula el polinomio caracterstico de la matriz A.
EIGENVALUES(A) calcula los autovalores de la matriz A.

(B) Funciones del programa de utilidades VECTOR.MTH
RANK(A) calcula el rango de la matriz A.
EXACT_EIGENVECTOR(A,v) calcula los autovectores asociados al autovalor
v de la matriz A.
APPROX_EIGENVECTOR(A,v) calcula los autovectores asociados al
autovalor v de la matriz A.

EJEMPLO 10.1.
Dada la matriz A=
1 1 0
1 2 1
0 1 1
calcular sus autovalores y el orden de multiplicidad
de cada uno de ellos.

Solucin
En primer lugar definimos en DERIVE la matriz dada editando con o bien con
Editar(Autor)-Expresion la expresin a:=[[1,-1,0],[-1,2,-1],[0,-1,1]] y se obtiene

A continuacin calculamos sus autovectores directamente a travs de la funcin
EIGENVALUES. Editando y simplificando la funcin

se obtiene

Otro mtodo, consiste en calcular su polinomio caracterstico mediante la funcin

Diagonalizacin. Autovalores y autovectores. 139

y a continuacin aplicar el comando Resolver-Expresin-(forma algebraica) la ecuacin
caracterstica, (en este caso basta aplicar el comando resolver sobre la expresin anterior,
ya que DERIVE sobreentiende que la ecuacin a resolver es dicha expresin igualada a
cero), y de esta forma obtenemos que:

Obsrvese que DERIVE, por defecto, toma como variable para el polinomio
caracterstico w.

Sin embargo es posible definir el polinomio caracterstico utilizando la expresin que
le define mediante

que al simplificar con se obtiene

EJEMPLO 10.2.
Calcular los autovectores asociados a los autovalores de la matriz del ejemplo anterior.

Solucin
Para calcular los autovectores asociados a los autovalores obtenidos en el ejemplo
anterior podemos utilizar dos procedimientos:
1) Resolver un sistema de ecuaciones a travs de ROW_REDUCE.

- Autovectores asociados al autovalor w=0.

Los autovectores en este caso surgen de resolver el sistema
0 ) * 0 (
3
= v I A
es decir, son las soluciones de un sistema homogneo cuya matriz de coeficientes es
(A-0*I
3
). Para resolver este sistema basta aplicar ROW_REDUCE a dicha matriz y
obtendremos la matriz de coeficientes de un sistema triangular equivalente. Por tanto
editando y simplificando la expresin

resulta

Luego el subespacio de autovectores asociado al autovalor 0 es el conjunto de vectores
(x,y,z) tales que x=z=y, que est generado por el autovector (1,1,1).


- Autovectores asociados al autovalor w=1

Utilizando el mismo razonamiento que en el apartado anterior, en este caso
editando y simplificando

obtenemos

por los tanto los autovectores asociados al autovalor w=1 son aquellos
3
) , , ( R z y x tales
que x=-z,y=0, por tanto el subespacio asociado al autovalor w=1 est generado por
(-1,0,1).

- Autovectores asociados al autovalores w=3

En este caso efectuando

Luego el subespacio de autovectores asociado al autovalor 3 es
} 2 , / ) , , {( ) 3 (
3
z y z x R z y x V = = = = que est generado por el vector (1,-2,1).

Aunque en este caso hemos resuelto el sistema usando la funcin ROW_REDUCE,
podramos haber utilizado la funcin SOLVE o bien la secuencia de comandos Resolver-
Sistemas de ecuaciones.

2) Aplicar la funcin EXACT_EIGENVECTOR(A,w)
(Para utilizar esta funcin debemos tener el fichero de utilidades VECTOR.MTH).

- Clculo de ) 0 ( = V . Editando y simplificando

obtenemos como resultado un nico vector paramtrico (el parmetro es @1):

es decir, )}. 1 , 1 , 1 {( ) 0 (
1
L V = =

- Clculo de ) 1 (
2
= V . Editando y simplificando resulta

es decir, )}. 1 , 0 , 1 {( ) 1 (
2
= = L V


- Clculo de ) 3 (
3
= V . Editando y simplificando resulta

es decir, )}. 1 , 2 , 1 {( ) 3 (
3
= = L V

10.2. DIAGONALIZACION DE MATRICES.
Recordemos brevemente algunos resultados tericos:

Una matriz cuadrada A es diagonalizable, por definicin, si es semejante a una
matriz diagonal D, es decir, existe una matriz regular P, llamada matriz de paso, tal
que

1
= P D P A
La condicin necesaria y suficiente para que una matriz sea diagonalizable en R es
que los autovalores sean reales y la multiplicidad de cada autovalor sea igual a la
dimensin del subespacio propio asociado a .

Si un autovalor tiene multiplicidad m, entonces la dimensin del subespacio de
autovectores (llamado tambin subespacio propio) es menor o igual que m.

Si una matriz A de orden n es diagonalizable, y obtenemos una base B de cada
subespacio de autovectores ) (
i
V . Entonces la matriz de paso P, se construye
colocando en columna las coordenadas de los vectores propios que forman la base
de cada subespacio.

A partir de estas ideas fundamentales para el estudio de este tpico, vamos a
plantear algunos ejemplos de problemas tpicos de DIAGONALIZACIN.

EJEMPLO 10.3.
Dada la matriz cuadrada
A=

1 1 1 1
1 1 1 1
1 1 1 1
1 1 1 1

Se pide:
(a) Determinar si A es diagonalizable.. En caso afirmativo obtener su matriz
diagonal semejante D y la matriz de paso P y comprobar que se verifica
A=P.D.P
-1
.

(b) Utilizando la diagonalizacin anterior, diagonalizar A
2
y A
-1
.

Solucin

Definimos la matriz A, mediante el comando Editar (Autor)

(a) Para comprobar si la matriz es diagonalizable, vamos a estudiar sus autovalores
editando y simplificando la expresin
(b)

Observamos que con este procedimiento no obtenemos la multiplicidad de los
autovalores. Para ello, lo que vamos hacer, es calcular el polinomio caracterstico y a
continuacin lo vamos a factorizar. As pues, editando la expresin

al simplificar se obtiene

que al factorizar con el comando Simplificar-Factorizar-Racional se obtiene

Por lo tanto las multiplicidades de los autovalores
1
=-2 y
2
=2 son 1 y 3
respectivamente, es decir, om(
1
=-2)=1, y om(
2
=2)=3.
Vamos a estudiar ahora la dimensin de los subespacios de autovectores asociados
a cada autovalor (previamente cargamos el fichero VECTOR.MTH mediante la secuencia
Archivo-Leer-Utilidades).

Calculamos en primer lugar el subespacio ) 2 (
1
= V . Para esto, de nuevo editando
y simplificando la expresin

obtenemos que el subespacio de autovectores asociado al autovalor
1
=-2 tiene dimensin
uno que coincide con la multiplicidad del autovalor
1
=-2, es decir,
) 2 ( 1 )) 2 ( dim( )}, 1 , 1 , 1 , 1 {( ) 2 (
1 1 1
= = = = = = om V L V .

Calculamos en segundo lugar el subespacio ) 2 (
2
= V . La ecuaciones de este
subespacio propio se obtienen editando y simplificando la expresin

por tanto se concluye que

2
2 2
( 2) {(1, 0, 0,1), (0,1, 0, 1), (0, 0,1, 1)},
dim( ( 2)) 3 ( 2)
V L
V om

= =
= = = =

y en consecuencia la matriz A es diagonalizable.

Segn los clculos que hemos obtenido tenemos que la matriz D es

y que la matriz de paso P viene dada por:

Finalmente comprobamos que A=P.D.P
-1
, editando la expresin p.d.p^-1=

(c) La diagonalizacin de la matriz A
3
, resulta sencilla, una vez calculada la de A
puesto que
1 3 1 1 1 3
. . . . . . . . . . . .

= = = P D P P D P P D P P D P A A A A
Por tanto la matriz diagonal D
3
es semejante a la matriz A
3
. Editando y
simplificando d^3 obtenemos

permaneciendo invariante su matriz de paso P.

Por ltimo calculando


y por otro lado

podemos concluir que hemos realizado bien el proceso.

A continuacin pasamos a la diagonalizacin de A
-1
. Para ello en primer lugar
calculamos su inversa (que existe)

y observamos que teniendo en cuenta que
P D P P D P A . . ) . . (
1 1 1 1 1
= =

podemos concluir que la matriz diagonal semejante a A
-1
es

y que la matriz de paso es la inversa de la anterior, es decir


Se puede comprobar que efectivamente, se cumple la semejanza entre dichas
matrices.

EJEMPLO 10.4.
Estudiar para qu valores de los parmetros dados, es diagonalizable la siguiente
matriz:

Solucin

Antes de editar la matriz, vamos a liberar de valores a los parmetros a y b
editando a:= y b:=

Ahora s podemos editar la matriz c de forma usual c(a, b):=[[a,b,0],[0,1,2],[0,0,2]]
(obsrvese que editamos la matriz dependiente de los parmetros a y b, ya que esto nos
puede resultar muy til a la hora de considerar unos parmetros determinados)

Sus autovalores se obtienen factorizando de forma racional su polinomio
caracterstico, es decir editando y simplificando

De donde obtenemos que los autovalores de la matriz son w1=a, w2=1, w3=2.
A continuacin pasamos a estudiar los distintos casos segn los valores de a:
Si 2 , 1 a a entonces tendremos tres autovalores distintos, por lo que la matriz C
ser diagonalizable.

Si a=1, tenemos que estudiar nicamente la dimensin del subespacio ) 1 (
1
= V . Este
subespacio se obtiene editando y simplificando exact_eigenvector(c(1,b),1) y resulta

Obtenemos que el subespacio propio est generado por el vector (1,0,0), es decir, tiene
dimensin 1. Por tanto en este caso C(1, b) no es diagonalizable puesto que
) 1 ( 2 1 ) 1 ( dim(
1 1
= = = = om V
Si a=2, el estudio del subespacio ) 2 (
2
= V se obtiene editando y simplificando
exact_eigenvector(c(2,b),2) y resulta

Por tanto en este caso C(2, b) tampoco es diagonalizable puesto que
) 2 ( 2 1 ) 2 ( dim(
2 2
= = = = om V

EJEMPLO 10.5.
Construir una matriz cuyos autovalores son:

1
=1/2 con om(
1
)=1

2
=1 con om(
2
)=2

3
=3 con om(
3
)=1
y tal que
)} 2 , 2 , 2 , 2 ( ), 1 , 1 , 1 , 1 {( ) 2 / 1 (
1
L V = =
)} 0 , 0 , 1 , 1 ( ), 0 , 1 , 1 , 1 {( ) 1 (
2
L V = =
)} 0 , 0 , 0 , 3 ( ), 0 , 0 , 0 , 1 {( ) 3 (
3
L V = =

Solucin.

Lo primero que debemos determinar es si podemos construir una base de R
4
formada
por los autovectores dados, ya que, en caso contrario la matriz no sera diagonalizable.

Para ello, elegimos una base de cada subespacio.
Es evidente que una base para el primer subespacio lo forma el vector (1,1,1,1).
Para el segundo subespacio, lo forman {(1,1,1,0),(1,1,0,0)}.
Y para el tercero {(1,0,0,0)}.
estos cuatro vectores forman una base de R
4
?
Para comprobarlo, construimos la matriz que tiene por columnas cada uno de estos
vectores editando

Si calculamos su determinante

Deducimos que los cuatro vectores son l.i., y por tanto forman una base de R
4
.
Como nos dan los autovalores, la matriz diagonal correspondiente a esta matriz P es

Por tanto, la matriz pedida verifica que es semejante a D por P, es decir se obtiene
efectuando

que al simplificar nos da la matriz pedida

EJERCICIO 53.

Dadas las matrices
=
10 / 1 5 / 2 5 / 2
5 / 1 5 / 6 5 / 1
10 / 3 5 / 4 5 / 1
A ,

=
3 1 5
0 1 0
2 0 4
B ,
C=
2 5 0
0 1 0
3 2 1

a) Hallar sus polinomios caractersticos.
b) Determinar si son diagonalizables, y en ese caso hallar sus matrices de paso y
diagonales.

EJERCICIO 54.

La exponencial de una matriz cuadrada A se define por
...
!
...
! 2 !
2
0
+ + + + + = =
=
n
A A
A I
n
A
e
n
n
n
A

Si la matriz A es diagonalizable este clculo se puede efectuar de forma sencilla ya que

= = =
0 0
1
1
. .
!
) . . (
!
n n
D
n n
A
P e P
n
P D P
n
A
e

Utilizando este hecho, calcular la funcin exponencial de la siguiente matriz
=
2 0 0
0 3 3
0 3 3
A

EJERCICIO 55.

Estudiar para qu valores de los parmetros son diagonalizables las siguientes matrices:

=
t
A
0 0
0 3 1
1 0 3

=
1 0
0 3 0
0 1
h
t
B

EJERCICIO 56.

Dada la aplicacin lineal
) 3 , 3 4 2 , 3 ( ) , , ( z z y x z y x z y x f + + =
Se pide:
(a) Determinar los subespacios vectoriales de R
3
invariantes por f.
(b) Es posible escribir R
3
como suma directa de subespacios vectoriales
invariantes por f? En caso afirmativo, obtener una base B de R
3
como unin de
bases de dichos subespacios invariantes y hallar la matriz asociada a la
aplicacin lineal f respecto a esta base B.

Formas cuadrticas 149

11. FORMAS CUADRTICAS.

El objetivo de esta seccin consiste bsicamente en ofrecer una visin general de
cmo utilizar DERIVE para clasificar formas cuadrticas. Trataremos dos aspectos
fundamentales, por un lado la clasificacin de una forma cuadrtica dada por una matriz
simtrica de valores constantes utilizando los mtodos de los menores principales y de los
autovalores, y en segundo lugar clasificar una forma cuadrtica en funcin de los valores
de los parmetros que aparezcan en su matriz simtrica asociada.

11.1.OBTENCIN DE LA MATRIZ ASOCIADA A UNA FORMA
CUADRTICA.

EJEMPLO 11.1.
Encontrar la matriz simtrica asociada a las siguientes formas cuadrticas:
(a) q
1
(x,y,z,t) = -2x
2
+2xt-6yz+4z
2
+4tz+t
2

(b) q
2
(x,y,z,t,u) = 3xy+xz+2xt+xu+3y
2
+7yz+8yt+5yu+2z
2
+5zt+8zu+t
2
+5tu+9u
2

Solucin.

Una posibilidad para obtener la matriz simtrica asociada a una forma cuadrtica q
cualquiera consiste en considerar la matriz hessiana de q y dividir todos su elementos por
2, ya que la matriz hessiana de una forma cuadrtica ha de ser simtrica pues toda funcin
polinmica cumple el Teorema de Schwartz.

DERIVE tiene predefinida una funcin que calcula el gradiente de una funcin
dada, indicando en el segundo argumento las variables de la funcin. Su sintaxis es
GRAD(funcin vector de funciones, variables)
Por tanto si calculamos el gradiente del gradiente obtendremos su matriz hessiana.
Entonces para definir en DERIVE una funcin que calcule la matriz simtrica asociada a
una forma cuadrtica bastar con editar la expresin:

Estamos entonces en situacin de resolver el ejemplo 1.
(a) Para introducir la forma cuadrtica en DERIVE escribimos en Editar(Autor)-
Expresin

q1(x,y,z,t):=-2x^2+2x t-6 y z + 4 z^2 + 4 t z + t^2
y resulta

Si ahora editamos la expresin s1:=matriz_simetrica(q1(x,y,z,t),[x,y,z,t]) y
simplificamos obtendremos la matriz simtrica de la forma cuadrtica q
1
guardada en la
variable S1.

(b) Escribimos en primer lugar la forma cuadrtica mediante la expresin
q2(x,y,z,t,u):=3x y + x z + 2 x t +x u + 3y^2+7y z + 8y t + 5y u + 2z^2+5z t
+ 8z u + t^2 +5t u + 9u^2
resultando

A continuacin editando y simplificando s2:=matriz_simetrica(q2(x,y,z,t,u),[x,y,z,t,u])
obtenemos

que es la matriz simtrica buscada.

Obsrvese que podramos haber utilizado otro mtodo, el que consiste en obtener
una matriz asociada cualquiera de la forma cuadrtica y luego simetrizarla empleando la
regla conocida (A+A
t
).

11.2. CLASIFICACIN DE FORMAS CUADRTICAS CON MATRIZ
ASOCIADA DE VALORES CONSTANTES.

EJEMPLO 11.2.
Clasificar las formas cuadrticas definidas en el ejemplo anterior.

Solucin.
(a) Vamos a utilizar en primer lugar el mtodo de clasificacin utilizando los
menores principales.

Comencemos calculando el determinando de la matriz mediante

Por tanto la forma cuadrtica puede ser d.p., d.n. o indefinida. Calculemos el resto
de menores principales:
- El menor principal de orden 1,D1, es negativo, por lo que no puede ser d.p.

- D2: se obtiene calculando el determinante de la submatriz

Por tanto tampoco puede ser definida negativa. En cuyo caso es indefinida.
- D3, no es necesario calcularlo.

NOTA:
Para facilitar el clculo de menores principales, hemos definido en el fichero
ALGEBRA.MTH la funcin MENORES_PRINCIPALES(A), que calcula los
menores principales de una matriz dada y que simplifica la clasificacin.
Asi pues, cargamos este fichero de utilidades para hacer uso de esta funcin
en adelante.
Si utilizamos esta funcin en el ejemplo anterior obtendramos

Se podra haber empleado el criterio de los autovalores, en cuyo caso editando y
simplificando eigenvalues(s1), resulta

si aproximamos esta ltima expresin con Simplificar-aproximar se obtiene

es decir, dos autovalores positivos y dos negativos, por lo que la forma cuadrtica es
indefinida.

(b) A pesar de que podramos calcular los menores principales uno a uno
utilizaremos la funcin programada MENORES_PRINCIPALES. Si editamos la expresin
menores_principales(s2)= se obtiene


es decir, la forma cuadrtica es indefinida.
Para utilizar el criterio de los autovalores, bastara efectuar

Obsrvese que dado que DERIVE no consigue obtener los autovalores de forma directa,
veamos qu sucede si intentamos obtener el polinomio caracterstico:

si intentamos resolver este polinomio obtenemos:

Pero incluso intentando resolver de forma numrica en el intervalo [-100,100] con
Resolver-Expresin:

obtenemos tan solo una raiz:

luego parece que en este caso el criterio de autovalores no podra aplicarse con el programa
DERIVE.

EJEMPLO 11.3.
Clasificar las siguientes formas cuadrticas:
(a)
t
x x x q .
2 0 0
0 1 1
0 1 1
. ) (
3
= (b)
t
x x x q .
3 0 0
0 2 1
0 1 1
. ) (
4
=
Solucin:
(a) En primer lugar introducimos la matriz simtrica que define ) (
3
x q editando

Si intentamos clasificar la forma cuadrtica utilizando el criterio de los menores
principales efectuando

observamos que este criterio no nos indica el tipo de ) (
3
x q , ya que el determinante es nulo.
Asi pues, aplicamos el criterio de los autovalores obteniendo

por lo que la forma cuadrtica es indefinida.

(b) Editamos como habitualmente la matriz simtrica

Aplicando el criterio de los menores principales obtenemos

de donde, podemos deducir que la forma cuadrtica es definida positiva.

11.3. CLASIFICACIN DE UNA FORMA CUADRTICA CUYA MATRIZ
DEPENDE DE PARAMETROS.

EJEMPLO 11.4.
Clasificar en funcin de los valores de a la forma cuadrtica
q
5
(x,y,z)=ax
2
+4xy+y
2
+2xz+z
2

Solucin.
Definimos en primer lugar la forma cuadrtica

La matriz simtrica asociada a dicha forma cuadrtica se obtiene editando y simplificando
matriz_simetrica(q5(x,y,z),[x,y,z])
tras lo cual resulta


Como la matriz tiene un parmetro, para facilitar clculos posteriores, editamos la
expresin
s5(a):=[[a,2,1],[2,1,0],[1,0,1]]
obtenindose

Procedemos a continuacin a estudiar la matriz simtrica segn los valores de a.
El determinante de la matriz es

Por tanto, podemos realizar una primera distincin de casos:

Si a=5, entonces la matriz a clasificar es

Utilizando, por ejemplo, el criterio de autovalores, resulta

por tanto, para a=5 la forma cuadrtica es semidefinida positiva.
Si a5, estudiando los menores principales con

se tiene que:
- Si a>5, es claro que D
3
=det(S4)>0. En ese caso
D
1
=a>5>0 y
D
2
=a-4>0
Por tanto si a>5 es definida positiva.

- Si a<5, resulta que D
3
<0. Adems como
D
1
=a, si 0<a<5 entonces D
1
>0 y D
2
=a-4<0 luego indefinida.
y si a<0, entonces D
1
<0 y D
2
<0 y tambin es indefinida.

Resumiendo:
a=5 semidefinida positiva
a>5 definida positiva
a<5 indefinida.

EJEMPLO 11.5.
Clasificar la forma cuadrtica
q
6
(x,y)=ax
2
+2bxy+2y
2

segn los valores de a y b.
Solucin.

Editamos en primer lugar la forma cuadrtica mediante

La matriz simtrica asociada a la forma cuadrtica se calcula con

Definamos la matriz S6 dependiente de dos parmetros con la expresin

Los menores principales de la forma cuadrtica son

Por tanto, el determinante viene dado por 2a-b
2
. Si representamos esta funcin,
obtenemos varias regiones para distintos valores de a y b

Los puntos (a,b) de la parbola cumplen que el determinante es cero.

Si 2a = b
2
entonces a0.
Si a=0 tambin b=0, en cuyo caso la matriz asociada es

por lo que la forma cuadrtica es semidefinida positiva.
Si a>0, como D
1
>0 y D
2
=0 ser s.d.p.

Si 2a-b
2
>0, entonces a>0. Por tanto, D
1
>0 y D
2
>0 y la forma cuadrtica es definida
positiva.
Si 2a-b
2
<0, como 2a < b
2
se tiene que D
2
<0 y por tanto, la forma cuadrtica es
indefinida.

EJERCICIO 57.
Clasificar las formas cuadrticas que tienen por matrices asociadas
(a) A
1
=
1 1 0 0
1 1 0 0
0 0 1 1
0 0 1 1
(b) A
2
=
5 0 0
0 3 4
0 4 3

EJERCICIO 58.
Clasificar la siguiente forma cuadrtica en funcin de los valores del parmetro a
t
x a x x q .
1 0 3
0 1
3 1 2
. ) (
=


BIBLIOGRAFA

Berry, J.S., Graham, E. y Watkins, A.J.P. Learning Mathematics Trhough
DERIVE, Ellis Horwood series un Math. and its applicaciones, 1993.

Castro Chadid, I,., Cmo hacer matemticas con DERIVE, Revert Colombiana,
1992.

Gonzlez Pareja, A., Matemticas con DERIVE en la economa y la empresa,
Rama, 1995.

Leinbach, L.C., Calculus Laboratorios Using DERIVE, Wadsworth Publishing
Company, 1991.

Llorens Fuster, J.L., Introduccin al uso de DERIVE, Publicaciones de la Univ.
Polit. de Valencia, 1993.

Garcia, A y otros, Prcticas de Matemticas con DERIVE, Clagsa, 1994.

Sanz, P., Vzquez, F.J. y Ortega, P., Problemas de lgebra lineal: cuestiones,
ejercicios y tratamiento en DERIVE, Prentice Hall, Madrid, 1998.

Prcticas de Matemticas I y Matemticas II con DERIVE 158

INDICE

Introduccin .. 1

1. Introduccin al uso de DERIVE.. 3
1.1. Qu es un programa de clculo simblico? ................... 3
1.2. Entrar y salir en DERIVE ................................................ 3
1.3. La pantalla de DERIVE ................................................... 4
1.4. Estructura de DERIVE: men de comandos ................... 6
1.5. Edicin de expresiones .................................................. 11
1.6. Manejo de expresiones de la ventana de lgebra ........... 15
1.7. Insertar texto en la ventana de lgebra........................... 19
1.8. Manejo de ficheros ......................................................... 19
1.9. Manejo de ventanas ........................................................ 21

2. Operaciones algebraicas bsicas ............................................ 30
2.1. Simplificar expresiones .................................................. 30
2.2. Trabajar en modo aproximado y modo exacto ............... 31
2.3. Expandir una expresin .................................................. 33
2.4. Factorizar un nmero ..................................................... 34
2.5. Factorizar un polinomio ................................................. 34
2.6. Resolver una ecuacin .................................................... 36
2.7. Resolver una inecuacin con ms de una variable ......... 37
2.8. Asignacin de valores a variables, definicin de
funciones y sustitucin de variables ................................ 37
2.9. Funciones predefinidas en DERIVE .............................. 39
2.10. La ayuda de DERIVE ................................................... 40

3. Comandos bsicos para el clculo diferencial ....................... 42
3.1. Clculo de derivadas y derivadas parciales .................... 42
3.2. Clculo de integrales indefinidas ................................... 43
3.3. Clculo de integrales definidas ....................................... 45
3.4. Clculo de integrales impropias ..................................... 46
3.5. Clculo de lmites .......................................................... 48
3.6. Clculo de sumatorios .................................................... 50
3.7. Clculo de productorios ................................................. 51
3.8. Clculo de desarrollos de Taylor ................................... 53

4. Anlisis de funciones de una variable................................... 54
4.1. Propiedades generales y grficas de funciones de una
variables .......................................................................... 54
4.2. Aproximacin de funciones ........................................... 58
4.3. Funciones definidas a trozos .......................................... 60
4.4. Representacin de grficas de funciones construidas
por transformacin de funciones ..................................... 61

5. Anlisis de funciones de varias variables .............................. 66
5.1. Grficas y curvas de nivel de funciones de dos
variables ............................................................................ 66
5.2. Lmites y continuidad ...................................................... 71

5.3. Derivadas parciales. Vector gradiente. Matriz Hessiana.. 73
5.4. Derivadas direccionales. Diferenciabilidad ...................... 76
5.5. Teorema de la funcin implcita ....................................... 79
5.6. Extremos relativos ............................................................ 81

6. Clculo integral ....................................................................... 87
6.1. La integral definida de Riemann: una aproximacin con
DERIVE ............................................................................ 87
6.2. Funcin integral de una funcin integrable ..................... 90
6.3. Clculo de integrales indefinidas .................................... 92
6.4. Clculo de reas .............................................................. 94
6.5. Integrales impropias ........................................................ 96

7. Principales comandos de DERIVE para el lgebra lineal...... 100
7.1. Vectores y matrices en DERIVE. ................................... 100
7.2. Operaciones con vectores ............................................... 103
7.3. Operaciones con matrices ............................................... 104
7.4. Funciones definidas en ficheros de utilidades ................ 109

8. Espacios vectoriales y aplicaciones lineales .......................... 116
8.1. Dependencia e independencia lineal de vectores.
Combinacin lineal. ......................................................... 116
8.2. Subespacios vectoriales. Bases. Coordenadas ................ 118
8.3. Aplicacin lineal. Ncleo e imagen de una aplicacin
lineal ................................................................................ 121

9. Sistemas de ecuaciones lineales ............................................ 126
9.1. Discusin de sistemas lineales: teorema de
Rouch-Frbenius ............................................................ 126
9.2. Resolucin de sistemas ................................................... 128
9.3. Sistemas homogneos ..................................................... 136

10. Diagonalizacin. .................................................................... 138
10.1. Principales funciones de DERIVE para la diagonali-
zacin : clculo de autovalores y autovectores ............... 138
10.2. Diagonalizacin de Matrices ....................................... 141

11. Formas cuadrticas ............................................................... 149
11.1. Obtencin de la matriz asociada a una forma
cuadrticas ...................................................................... 149
11.2. Clasificacin de formas cuadrticas con matriz
asociada de valores constantes ....................................... 150
11.3. Clasificacin de una forma cuadrticas cuya matriz
depende de parmetros ................................................... 153

BIBLIOGRAFA........................................................................ 157

Tutorial Derive

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tutorial Derive

Cargado por

Copyright:

Formatos disponibles

Departamento de Anlisis Econmico: Economa Cuantitativa

Facultad de CC. Econmicas y Empresariales

dx x) tan( , primero introducimos la expresin

También podría gustarte