Matemática de pregrado con el Mathematica

Robert Ipanaqué Chero

1

robertchero@hotmail.com

http://www.unp.edu.pe/pers/ripanaque
https://sites.google.com.site/ripanaque
30 de noviembre de 2013

1

Profesor Asociado adscrito al Departamento Académico de Matemática, Universidad
Nacional de Piura, PERÚ.

Índice general

Prólogo

iv

1. El Mathematica

1

1.1.

Reseña . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.

Funcionamiento del

. . . . . . . . . . . . . . . .

1

1.3.

Cálculos con el

. . . . . . . . . . . . . . . .

2

1.3.1.

Aritmética . . . . . . . . . . . . . . . . . . . . . . . .

2

1.3.2.

Resultados exactos y aproximados

. . . . . . . . . . .

3

1.3.3.

Algunas funciones matemáticas . . . . . . . . . . . . .

5

1.3.4.

Cálculos con precisión arbitraria

. . . . . . . . . . . .

7

1.3.5.

Notaciones matemáticas en notebooks . . . . . . . . .

8

1.4.

La ayuda del

1.5.

Reinicio

Mathematica
Mathematica . .

Mathematica

1

. . . . . . . . . . . . . . . . . . .

14

. . . . . . . . . . . . . . . . . . . . . . . . . . . . .

16

1.6.

Comentarios . . . . . . . . . . . . . . . . . . . . . . . . . . .

17

1.7.

El lenguaje de programación del

1.8.
1.9.

Mathematica

. . . . . . . . .

18

Paquetes en el

. . . . . . . . . . . . . . . . . .

19

El paquete

. . . . . . . . . . . . . . . . . .

20

2. La función

Mathematica
BachMath . . . .

TruthTable

21

2.1.

Notaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . .

21

2.2.

Opciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

23

2.3.

Ejemplos aplicativos . . . . . . . . . . . . . . . . . . . . . . .

26

2.3.1.

Validez de un argumento

. . . . . . . . . . . . . . . .

26

2.3.2.

Invalidez de un argumento

. . . . . . . . . . . . . . .

27

2.3.3.

Controlando un robot . . . . . . . . . . . . . . . . . .

29

3. Soluciones diversas en

3.1.

La función estándar

R
Element
i

31

. . . . . . . . . . . . . . . . . .

31

1.2. 3. . . . . . . . . . . .7. . . . . . . . . . . . 45 3. . . . . .7. . . . . . . . Element La función estándar TraditionalForm . . . . . . 63 6. . . . . . . . . . . . .7.7. . . . . Las funciones 51 y PwPlot 59 60 6. . 64 7. . . Proposiciones cuanticacionales en un conjunto nito . . . . . . . . 39 3. .6.7.7. . Completando cuadrados . . . . . . . . Discussion y Sketch Opción .7. . . . . . . 35 . .4. . . .4. . . . . . . . . . . 37 + Z Proposiciones cuanticacionales en . . . . Ejemplos . . Las funciones RowOperation y ColumnOperation 76 77 84 . . . . . . . . Una modicación a Reduce . . . . . . . . . . . . . . . . . . . . 3. . . . . . Proposiciones cuanticacionales en . .ii ÍNDICE GENERAL 3. . . . . . .1. . . . . tales 4. . . . . . La función 5. . . . .7. . . . . . . . . Ecuaciones e inecuaciones exponenciales y trascenden- 4. . . .2. . . 9. .3. . . . . 71 7. . . . . . . . . . 3. . .2. . . . . . . . . . . . . . . . . .1. . . . . . . . . . .1. . . . . . . Álgebra de funciones 71 7.5. . . . . . . . . . . La función estándar ForAll . . . . Las funciones R . . . . . . . .7. . . . . . . 45 3. La función IntervalForm . . . . . . Suma y resta . . . . . . . . 5. . Composición . . .6. . . . . . . . . . . .3. . . IFunction y Period Ejemplos . Aplicaciones de cuanticadores . . .5. . . . . . . . . . . . . . 38 3. . . . . . . . . . . . . . . 43 3. 41 3. . IneqPlot PwExpand 52 53 56 Opciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . La función estándar Reduce . . . . . . . . . . . 3. . . . . .1. . . . . .1. . . . . . Ejemplos . . 39 3. . . . . . . . . . .2. 72 7. . . . La función estándar Exists . 32 3. 3. . . . . .1. Ecuaciones e inecuaciones algebraicas 48 3. . . . 74 8. . . . . . . . . . . 34 . . . . . . Multiplicación y división . .1. . 6. . . . 33 . . . . Las funciones 8.1. . . . . . . . .5. . . . . 34 . . . . . . Opciones . . . . . Un par de modicaciones a . . . . . . . .3.

CIntervals y CPlot 93 . . . . . . . Negación de límites 91 11. . MPlot. . Opciones .iii ÍNDICE GENERAL 10. . . . . . . . . . . . . MIntervals. . . . . . . . .1. . . . . . . . . 88 10. .Las funciones . . . . . . . .2. . . . . . .Las funciones Proof y PlotNeighborhoods 87 10.

la cual permite al usuario interactuar con el núcleo del Mathematica por medio de los notebooks que permiten digitar diversas operaciones de un modo este ámbito es el bastante intuitivo. Derivadas e Integrales. codicado en el len- Mathematica. como herramienta. Además. En este libro se presenta el nuevo paquete guaje de programación del BachMath. Matrices y Determinantes. esto gracias a la excelente interfaz que incluye. La descripción detallada de cada una de las funciones del paquete BachMath se hace a partir del capítulo dos. Ecuaciones e Inecuaciones en R. para elaborar los llamados paquetes. que posibilita extender las capacidades del mismo y adaptarlo a las diversas necesidades de los usuarios. Uno de los softwares de uso más popular en Mathematica . Mathematica iv . 1 Se designa como funciones estándar aquellas que vienen incluidas en el núcleo del como es el caso de las funciones Element y Reduce. así como ligeras modicaciones a ciertas funciones están- 1 dar . Relaciones y Funciones. Límites. Éste paquete incorpora una serie de nuevas funciones. incluye un lenguaje de programación propio. en la enseñanza-aprendizaje de la matemática en centros de educación superior está ganando terreno en diversos lugares del mundo. mediante la presentación de variados e interesantes ejemplos. que permiten obtener resultados inmediatos para ejercicios relacionados con los temas de matemática que usualmente se imparten en el nivel de pregrado: Lógica.Prólogo El uso de software especializado.

El Funcionamiento del Mathematica Mathematica se divide en 2 partes. que despliega los resultados y permite al usuario interactuar con el núcleo. La versión 9. El Mathematica [3.Capítulo 1 El 1. Illinois. fue lanzada el 28 de noviembre del 2012. matemáticas y computacionales. La forma más común de trabajar con el interactivos conocidos como notebooks. 5. La primera versión del Mathematica se puso a la venta en 1988. Y el front end o interfaz.2. la procesa y devuelve la correspondiente salida (output) etiquetada con Out[n] . 1 . se encuentra disponible para una gran variedad de sistemas operativos. luego se presiona (en simultáneo) las teclas SHIFT[←-] (ShiftEnter) y el Mathematica etiqueta la entrada con In[n] . Originalmente fue concebido por Stephen Wolfram. 1. quien continúa siendo el líder del grupo de matemáticos y programadores que desarrollan el producto en Wolfram Research. el kernel o núcleo que desempeña los cálculos. 21] Reseña Mathematica es un programa utilizado en áreas cientícas. compañía ubicada en Champaign.1. Mathematica es usar documentos En el notebook el usuario digita la entrada (input). el Mathematica es también un poderoso lenguaje de programación de propósito general. de ingeniería. Comúnmente considerado como un sistema de álgebra computacional.

3 Mathematica Con ∗ se indica el producto de dos números.7 9.2 CAPÍTULO 1. no colocaremos la combinación SHIFT[←-] .7 20.1. 1. Mathematica Aquí tenemos la suma de dos números. Cálculos con el Mathematica 1. In[4]:= Out[4]= 5. In[3]:= Out[3]= 5. pero el lector debe entender que todas las entradas tendrán que nalizarse con dicha combinación.6 3.72 Mathematica Con el espacio en blanco también se indica el producto de dos números. por comodidad.6 ∗ 3. In[2]:= Out[2]= 5.7 20.3.6 + 3. Aritmética El usuario puede realizar operaciones artiméticas con el Mathematica como lo haría con una calculadora.72 tal .3. In[1]:= Out[1]= 1+1 2 SHIFT[←-] En lo sucesivo. EL MATHEMATICA Mathematica El Mathematica etiqueta la entrada y la salida según el orden de la operación.

3. y no (2+3)/7. a pesar que éste tiene 91 dígitos deci- males. digamos de diez dígitos decimales. ejemplo. 1. tal como lo daría una calculadora. Con el es posible obtener resultados Mathematica. Mathematica El Mathematica da un resultado exacto para 2 300 . exactos. Como es usual.3. CÁLCULOS CON EL MATHEMATICA 3 Mathematica El usario puede digitar operaciones aritméticas haciendo uso de los paréntesis. para ello debe nalizar su entrada con //N. In[5]:= Out[5]= (2 + 3)∧ 3 − 4(6 + 7) 73 x∧ y −x x/y x y z ó x∗y∗z x+y+z Operaciones aritméticas en el potencia menos división producto suma Mathematica. signica 2 + 3/7.2. en cambio. . Resultados exactos y aproximados Una calculadora electrónica hace todos sus cálculos con una precisión determinada. In[6]:= Out[6]= 2∧ 300 2037035976334486086268445688409378161051468393665936250 636140449354381299763336706183397376 El usuario puede pedir al Mathematica que devuelva un resultado aproxi- mado. Las operaciones aritméticas en el Mathematica se agrupan de acuerdo con las convenciones estándares de la matemática.1. El usuario siempre puede controlar la forma de agrupar explícitamente usando los paréntesis. por 2+(3/7).

03704 × 1090 Mathematica El Mathematica puede dar resultados en términos de números racionales. Mathematica Esto es tomado como un número racional exacto. en cambio. Si. In[11]:= 26. In[7]:= Out[7]= 2∧ 300//N 2. y es llevado a una fracción irreducible.5. el resultado numérico aproximado. In[10]:= Out[10]= 26/78 1 3 Mathematica Cuando se digita un número con un punto decimal explícito. In[8]:= Out[8]= 1/3 + 2/7 13 21 Mathematica //N siempre da un resultado aproximado.619048 Cuando el usuario digita un entero como es exacto.4 CAPÍTULO 1. digita un número mal explícito.7/78 Mathematica produce un . el asume que desea efectuar cálculo numéricos aproximados. EL MATHEMATICA Mathematica Esto da un resultado numérico aproximado. In[9]:= Out[9]= 1/3 + 2/7//N 0. el Mathematica Mathematica asume que como 4. con un punto deci- 7.

x] Sin[x]. ArcCsc[x] √ ( x) valor real de la n-ésima raíz valor absoluto (|x|) signo de x mayor entero (JxK) factorial de n x exponencial (e ) logaritmo natural (loge x) logaritmo en base b (logb x) raíz cuadrada de x funciones trigonométricas funciones trigonométricas inversas Algunas de las funciones matemáticas más comunes. A continuación mencionamos las más comunes./78 0. ArcCos[x]. Sec[x]. n] Abs[x] Sign[x] Floor[x] n! Exp[x] Log[x] Log[b. la presencia del punto decimal hace que el Mathematica dé un resultado numérico aproximado. CÁLCULOS CON EL Out[11]= MATHEMATICA 5 0.333333 1. Tan[x]. ArcSec[x]. Algunas funciones matemáticas El Mathematica incluye una gran colección de funciones matemáticas. ArcCot[x]. • Los nombres de las funciones incorporadas en el Mathematica empiezan con letra mayúscula. In[12]:= Out[12]= 26. . Dos puntos importantes acerca de funciones en el Mathematica. Csc[x] ArcSin[x]. Cot[x]. Sqrt[x] Surd[x.342308 Mathematica Aquí otra vez. ArcTan[x]. Cos[x].1. • Los argumentos de todas las funciones en el Mathematica se colocan entre corchetes.3.3.3.

7). Sqrt[6]//N 2.6 CAPÍTULO 1. EL MATHEMATICA Mathematica Esto da loge (15. y los corchetes para el argumento.8696 Mathe- . Note la letra mayúscula para Log.14159 e ≈ 2. In[13]:= Out[13]= Log[15.71828 π/180: factor de conversión de gra- dos a radianes I Innity i= ∞ √ −1 Algunas constantes matemáticas comunes.7] 2.44949 Pi E Degree π ≈ 3. Mathematica Este es el valor numérico de π 2 . Note que todos los nombres de las constantes incorporadas en el matica empiezan con mayúscula. Sqrt[64] 8 Mathematica Esto da un valor numérico aproximado para In[15]:= Out[15]= √ 6.75366 Mathematica Esto devuelve In[14]:= Out[14]= √ 64 como un entero exacto. In[16]:= Out[16]= Pi∧ 2//N 9.

In[17]:= Out[17]= Sin[Pi/2] 1 Mathematica Esto devuelve el valor numérico de sen(20◦ ). In[18]:= Out[18]= Sin[20 Degree]//N 0. Note que los argumentos de las función trigonométricas siempre se dan en radianes.4. CÁLCULOS CON EL MATHEMATICA 7 Mathematica Esto devuelve un resultado exacto para sen(π/2). el tica Mathema- hace que lo que haría una calculadora estándar: devuelve el resultado con un número jo de cifras signicativas.3.3.1.34202 Mathematica Log[x] devuelve el logaritmo de x en base e. Multiplicando por la constante Degree convertimos el argumento a radianes. Cálculos con precisión arbitraria Cuando usted utiliza //N para obtener un resultado numérico. usted puede indicarle . Como una notación estándar de el In[20]:= Out[20]= Mathematica la b es opcional. In[19]:= Out[19]= Log[E∧ 15] 15 Mathematica El usuario puede obtener logaritmos en cualquier base b usando Log[x]. 81] 4 1. Log[3. No obstante.

5. y poseen botones sobre los que se puede hacer clic para ingresar alguna forma en particular.14159 Mathematica Esto devuelve π con 50 dígitos de precisión.1415926535897932384626433832795028841971693993751 1. al Mathematica EL MATHEMATICA las cifras signicativas con las que desea operar. Digitar N[Pi] es equivalente a Pi//N. In[21]:= Out[21]= N[Pi] 3. Mathematica Esto devuelve el valor numérico de π con un número jo de cifras signicativas. 50] 3. In[22]:= Out[22]= N[Pi. exp//N ó N[exp] valor numérico aproximado para exp N[exp.8 CAPÍTULO 1. . n] valor numérico de n exp calculado con dígitos de precisión Funciones de evaluación numérica. Puede accederse a las paletas estándares usando el submenú Other del menú Palettes. Notaciones matemáticas en notebooks Usualmente se incorporan paletas las cuales operan como extensiones del teclado.3. Esto permi- te obtener resultados numéricos en el Mathematica con cualquier grado de precisión.

1.3.

CÁLCULOS CON EL

MATHEMATICA

9

Mathematica
Haciendo clic en el botón π de la paleta Basic Math Input ingresará pi en su cuaderno.

Mathematica
Haciendo clic en el primer botón una estructura en blanco se ingresará una potencia. Es
posible usar el mouse para rellenar esta estructura o desplazarse en ella con la tecla

TAB

.

También puede hacerse ingresos como los anteriores, desde el teclado, mediante combinación de teclas.

ESC p ESC

π
símbolo ∞
símbolo e

el símbolo

ESC inf ESC

el

ESC ee ESC

el

para constante expo-

nencial (equivalente a E)

ESC ii ESC

el símbolo

i para

ESC deg ESC

el símbolo

ESC a ESC , ESC bESC , ESC g ESC , ...
CTRL[6]
CTRL[−]
CTRL[2]

−1 (equivale a I)

(equivalente a Degree)

las letras griegas

α, β , γ ,

...

lleva a la posición de superíndice
lleva a la posición de subíndice
lleva al subradical de una raíz cuadrada

CTRL[+]

lleva a la posición de subescritura

CTRL[7]

lleva a la posición de superescritura

CTRL[5]

lleva de subíndice a exponente (o viceversa), de subescritura a superescritura (o viceversa) o a la posición
de índice radical

Formas de ingresar notaciones especiales.

10

CAPÍTULO 1.

CTRL[/]

CTRL[t] (Control-Espacio)

EL

MATHEMATICA

lleva al denominador de una fracción

retorna de una posición especial

Formas de ingresar notaciones especiales.

Mathematica
Este es un cálculo ingresado mediante los caracteres comunes de un teclado.
In[25]:=

N[E∧ 3/5]

Out[25]=

4.01711

Mathematica
Este es el mismo cálculo ingresado usando una paleta.
In[26]:=
Out[26]=

N

h 2i
e
6

4.01711

Mathematica
Esta es una secuencia de teclas que puede usarse para ingresar la entrada anterior.
In[27]:= N [ ESC ee ESC CTRL[6] 2 CTRL[t] CTRL[/] 6 CTRL[t] ]
Out[27]=

4.01711

Mathematica
He aquí una secuencia de teclas que puede usarse para ingresar sen 30◦ .
In[28]:= Sin [ 30 ESC deg ESC ]
Out[28]=

1
2

Mathematica
Una secuencia de teclas que puede usarse para ingresar
In[29]:= ESC surd ESC −8 TAB 3


3

−8.

1.3.

CÁLCULOS CON EL

Out[29]=

MATHEMATICA

11

−2

Mathematica

π
5

Esta es una secuencia de teclas que puede usarse para ingresar sen .
In[30]:= Sin [ ESC pi ESC CTRL[/] 5 CTRL[t] ]

q
Out[30]=

5
8

5
8

Mathematica
Una secuencia de teclas que puede usarse para ingresar cos α + π2 . 

In[31]:= Cos [ ESC a ESC + ESC pi ESC CTRL[/] 2 CTRL[t] ]
Out[31]=

−Sin[α]

ESC and ESC
ESC or ESC

el símbolo de la conjunción


símbolo de la disyunción fuerte ∨
símbolo de la condicional ⇒
símbolo de la bicondicional ⇔
símbolo de la negación ¬
P
signo de la sumatoria
Q
signo de la productoria
R

el símbolo de la disyunción débil

ESC xor ESC

el

ESC =>ESC

el

ESC equiv ESC

el

ESC not ESC

el

ESC sum ESC

el

ESC prod ESC

el

ESC int ESC

el signo de la integral

ESC dd ESC

d

ESC pd ESC

operador de derivada parcial

ESC co ESC

símbolo para conjugado

CTRL[,]
CTRL[←-] (Control-Enter)
TAB
ESC tr ESC

especial para uso en integrales

agrega una la
agrega una columna
va al siguiente elemento 

símbolo para transpuesta T

Formas de ingresar notaciones especiales para lógica, cálculo y matrices.

ó 

i=1 In[33]:= ESC sum ESC CTRL[+] i = 1 CTRL[5] n CTRL[t] i CTRL[6] 2 Out[33]= 1 n(1 + n)(1 + 2n) 6 Mathematica Una secuencia de teclas que puede usarse para ingresar n Y i. c2 }}] CTRL[t] (Control-Espacio) retorna de una posición especial Formas de ingresar notaciones especiales para lógica. {e2 . In[32]:= ESC not ESC ( ( p ESC and ESC q ) ESC = > ESC r ) Out[32]= !(p&&q ⇒ r) Mathematica Esta es una secuencia de teclas que puede usarse para ingresar n X i2 . c1 }. i=1 In[34]:= ESC prod ESC CTRL[+] i = 1 CTRL[5] n CTRL[t] i Out[34]= n! Mathematica Secuencia de teclas que puede usarse para ingresar Z In[35]:= ESC int ESC x CTRL[6] n CTRL[t] ESC dd ESC x Out[35]= x1+n 1+n xn dx.12 CAPÍTULO 1. . cálculo y matrices. e 1 e2 a c1 es ingresar La fun- notación interpretada como c2 Piecewise[{{e1 . Mathematica Aquí tenemos una secuencia de teclas que puede usarse para ingresar ∼ ((p ∧ q) → r). ESC pw ESC EL MATHEMATICA operador para ciones  trozos.

4}.  2 .] 3 CTRL[←-] 4 TAB 5 TAB 6 CTRL[t] ) .1. In[37]:= ( CTRL[.] 3 CTRL[←-] 4 TAB 5 TAB 6 CTRL[t] ) CTRL[6] ESC tr ESC Out[37]= {{1.] TAB 1 TAB 2 CTRL[. {2. {32}} Mathematica .3.] TAB 1 TAB 2 CTRL[. {3. 5}. ( CTRL[←-] TAB 1 TAB 2 CTRL[←-] 3 CTRL[t] ) Out[38]= {{14}. esta es una secuen cia de teclas que puede usarse para ingresar 1 2 3 4 5 6 ! 1   . CÁLCULOS CON EL MATHEMATICA 13 Mathematica He aquí una secuencia de teclas que puede usarse para ingresar Z5 x2 dx. 3 In[38]:= ( CTRL[. 1 In[36]:= ESC int ESC CTRL[+] 1 CTRL[5] 5 CTRL[t] x CTRL[6] 2 CTRL[t] ESC dd ESC x Out[36]= 124 3 Mathematica Esta es una secuencia de teclas que puede usarse para ingresar 1 2 3 4 5 6 !T . 6}} Mathematica Considerando que el producto de matrices se representa con un punto.

.

1 2 3 .

.

Aquí se tiene una secuencia de teclas que puede usarse para ingresar .

1 0 1 .

.

3 2 1 .

.

.

.

.

. .

.

] 3 CTRL[←-] 1 TAB 0 TAB 1 CTRL[←-] 3 TAB 2 TAB 1 CTRL[t] ) ] Out[39]= 8 . In[39]:= Det [ ( CTRL[.] TAB 1 TAB 2 CTRL[.

] 3 CTRL[←-] 1 TAB 0 TAB 1 CTRL[←-] 3 TAB 2 TAB 1 CTRL[t] ) ] Out[40]=    − 14 . 12 . 21 . x = 2.    1 − x. de la barra de menúes.   He aquí una secuencia de teclas que puede usarse para ingresar 1. . In[41]:= ESC pw ESC CTRL[←-] x + 1 TAB − 1 < x < 2 TAB 1 TAB x == 2 CTRL[←-] 1 Out[41]= 1.] TAB 1 TAB 2 CTRL[. Las más usada es desde el menú Help. 3 2 1  In[40]:= Inverse [ ( CTRL[.14 CAPÍTULO 1. que da acceso a la opción Documentation Center la cual sirve como un punto de entrada a la gran cantidad de documentación en línea para el Mathematica. 14 . el cual puede ser consultado en diferentes formas. − 14 Mathematica    x + 1. 14 . −1. 2 < x < 3 . −1 < x < 2 . − x TAB 2 < x < 3    x + 1 −1 < x < 2 1 x=2    1−x 2<x<3 La ayuda del Mathematica Todas las funciones incorporadas en el Mathematica están descritas en el manual en línea del usuario.4. 14 . EL MATHEMATICA Mathematica −1 1 2 3   Esta es una secuencia de teclas que puede usarse para ingresar  1 0 1  . 14 .

In[43]:= ? Log Log[z ] gives the natural logarithm of Log[b. Mathematica Esto da información de la función incorporada Log. LA AYUDA DEL MATHEMATICA Mathematica Imagen del Documentation Center del 15 Mathematica. Para ello puede utilizarse el símbolo especial ?. También es factible buscar ayuda desde un cuaderno de trabajo. . ?Nombre ??Nombre muestra información sobre Nombre muestra información adicional sobre Nombre ?Aaaa* muestra información sobre todos los objetos cuyos nombres empiezan con Aaaa Formas de recibir información acerca de diversas funciones del Mathematica.4.  to base e ).1.z ] gives the logarithm to z (logarithm base b.

ya ea cerran- do la ventana principal o eligiendo la opción Exit del menú File de la barra de menúes. Cuando hay más de un objeto. EL MATHEMATICA Vale mencionar que junto con la información brindaba aparece un hipervínculo en color azul con el símbolo el Mathematica . Para reiniciar el Mathematica sin salir de éste se elige la opción Local de la opción Quit Kernel del menú Evaluation de la barra de menúes. Haciendo clic sobre este hipervínculo nos lleva directamente a la información de la misma en el Documentation Center.16 CAPÍTULO 1.Protected} Mathematica Mathematica cuyos nombres comiencen con Log. Mathematica Es posible conseguir información adicional usando ??. el Mathematica enumera sus nombres como Esto da información sobre todos los objetos del hipervínculos y haciendo clic sobre ellos es posible obtener información. In[45]:= ? Log* ∧ 1.  to base e ).z ] gives the logarithm to base b. . Attributes[Log]={Listable.5. In[44]:= ?? Log Log[z ] gives the natural logarithm of z (logarithm Log[b.NumericFunction. System` Log LogicalExpand LogLogPlot Log10 LodIntegral LogNormalDistribution Log2 LogisticDistribution LogPlot LogBarnesG LogitModeFit LogSeriesDistribution LogGamma LogLinearPlot Reinicio La forma brusca de reiniciar el Mathematica es saliendo de éste.

In[47]:= Out[47]= 4 + 5(*Esto es una suma*) 9 (* y *).6. Comentarios Los comentarios son toda una serie de caracteres que no afectan los cálculos. En el Mathematica los comentarios se escriben entre las marcas Mathematica Aquí se muestra un cálculo y un comentario.1. 17 COMENTARIOS Mathematica Reinicio rápido del 1. . Mathematica.6.

como archivos de texto escritos en el lenguaje del Mathematica. In[48]:= f [n_]:=nf [n − 1].18 CAPÍTULO 1. tales como programación procedimental. EL MATHEMATICA El lengua je de programación del Mathe- matica El lenguaje de programación del Mathematica está basado en re-escritura de términos (que se identica también como computación simbólica). t] In[50]:= f [n_]:=Module[{t = 1. Do[t*=i. 1. Mathematica sobresale entre los lenguajes computacionales tradicionales 1 al respaldar simultáneamente muchos paradigmas de programación. de patrones de diseño y más. i = 1}. t] In[51]:= f [n_]:=Module[{t = 1. Está implementado en una variante del Lenguaje de programación C orientado a objetos.7. y soporta el uso de programación funcional y de procedimientos (aunque en general. n}]. t] Mathematica Programación basada en listas. la programación funcional es más eciente). . Usualmente. i<=n. i++]. In[49]:= f [n_]:=Module[{t = 1}. t*=i. For[i = 1. Range[n]] In[53]:= f [n_]:=Fold[Times. que puede ser usado para extender el sistema algebraico. In[52]:= f [n_]:=Apply[Times. i}. {i. Mathematica Programación basada en reglas. cualquier nuevo código puede ser añadido en forma de paquetes del Mathematica. While[i<=n. 1. i++. Range[n]] 1 Un paradigma de programación es un estilo de programación empleado. pero el grueso del extenso código de librerías está en realidad escrito en el lenguaje del Mathe- matica. f [1] = 1 Mathematica Programación procedimental. t*=i].

Para muchos tipos de cálculos. Pero usando el lenguaje de programación del Mathematica. Hay una cierta cantidad de funciones incorporadas en el Mathematica. el usuario (paquete) del Mathematica que contenga las tas funciones no incorporadas en el podría encontrar un package funciones que le son necesarias. Los mismos consisten en colecciones de deniciones hechas en el Mathematica las cuales se aplican a áreas particulares. 1. #1#0[#1 − 1]]& Paquetes en el Mathematica Una de las características más importantes del Mathematica es que es un sistema extensible. puede encontrarse en la necesidad de utilizar cier- Mathematica. 1. inicializa un paquete del tica Mathema- .8. f = If[#1==1. Mathematica son archivos escritos en el lenguaje de programación del Mathematica. Sin embargo. In[55]:= 1. Los paquetes del << paquete` Inicializando paquetes del Mathematica.1. siempre es posible añadir más funciones. En tales casos. In[54]:= f [n_]:=If[n==1.8. lo incorporado en la versión estándar del Mathematica será suciente. si el usuario trabaja en particular en un área especializada. PAQUETES EN EL MATHEMATICA 19 Mathematica Programación recursiva. nf [n − 1]] Mathematica Programación funcional.

9. para inicializar el paquete de la forma ejemplicada en la sección previa es preciso guardar el archivo BachMath. no hay en realidad ninguna diferencia entre las funciones denidas en paquetes y las funciones incorporadas en el Mathema- tica. << Quaternions` Mathematica La función identicadora Quaternion y el operador ∗∗ están denidos en el paquete. −1. EL MATHEMATICA Si el usuario quiere usar las funciones de un paquete en particular. primero debe inicializar el paquete en el Mathematica. −2. etc. 3. 25] En lo que al uso concierne. No obstante. IneqPlot. Mathematica Este comando inicializa un paquete en particular del In[56]:= Mathematica. 3]**Quaternion[1. El paquete El paquete BachMath BachMath incorpora las siguientes funciones: TruthTable. El lector debe tener en cuenta que antes de empezar a utilizar cualquiera de las funciones descritas en los próximos capítulos debe inicializar el paquete BachMath.m en: C:\Program Files\Wolfram Research\Mathematica. 0. A cada una de éstas funciones se ha dedicado un capítulo en el que se explica su funcionamiento. −6. 0. In[58]:= << BachMath` . 1. In[57]:= Quaternion[2.20 CAPÍTULO 1.0\AddOns\ExtraPackages Mathematica Inicializando el paquete BachMath. 2] Out[57]= Quaternion[−16. después de haber guardado el respectivo archivo en la ruta especicada.

la negación: ∼. dado. equivalencia lógica (⇔). 6] permite obtener la tabla de verdad de un esquema molecular lógico. la bicondicional y la negación. bicondicional (↔) y incluir el uso del símbolo habitual para 21 impli- así como. se ha conseguido que la función TruthTable acepte símbolos diferentes de los es- tándar para la condicional. TruthTable[  em  ] devuelve la tabla de verdad del esquema lógico em Sintaxis de la función TruthTable. In[1]:= TruthTable[ (p∧q)∨[(p∧q)Yp] ] Out[1]= 2. Esto se ha hecho con la nalidad de hacer notar la diferencia entre condicional (→) e cación lógica (⇒). Notaciones Para conseguir una notación consistente con la notación tradicional.1.Capítulo 2 La función La función TruthTable TruthTable [4. . Mathematica He aquí la tabla de verdad del esquema (p ∧ q) ∨ [(p ∧ q) Y p].

Mathematica Esta es la tabla de verdad del esquema [(p → q)∨ ∼ t] ↔ (p∧ ∼ q). ya se ha mencionado que el LA FUNCIÓN Mathematica TRUTHTABLE sólo considera como signos de agrupación a los paréntesis pero muchos de los esquemas lógicos precisan la inclusión de otros signos de agrupación (corchetes y llaves). esto es.22 CAPÍTULO 2. In[3]:= TruthTable[ [(q→∼p)∨(∼r→∼p)]→[p→(r∨ ∼q)] ] . In[2]:= TruthTable[ [(p→q)∨ ∼t]↔(p∧ ∼q) ] Out[2]= Mathematica Cuando el esquema es una implicación. convirtiéndose así en una de las razones para ingresar los esquemas lógicos como cadenas de caracteres. automáticamente es colocado el operador: ⇒. Por otra parte. ESC and ESC ESC or ESC ESC xor ESC -> <-> ESC ESC la conjunción ∧ ∨ disyunción fuerte Y condicional → bicondicional ↔ negación ∼ la disyunción débil la ESC la ESC la ∼ la Notaciones especiales para constantes lógicas. por este motivo se ha creído conveniente permitir el uso de tales signos con la función TruthTable. El uso de las tres últimas sólo es válido con el paquete BachMath. entre comillas.

Opciones La función TruthTable incluye un conjunto de opciones que permiten cam- biar la presentación de la tabla de verdad. Opción AlternateRowColors Val. automáticamente es colocado el operador: ⇔. por defecto Descripción False presenta las las en dos colores alternados HighlightMainColumn True resalta la columna resultante presentándola en color rojo ColumnNumbers False enumera las columnas de los resultados parciales según el orden ejecución Opciones incorporadas en la función TruthTable. .2.2.2. 23 OPCIONES Out[3]= Mathematica Cuando el esquema es una equivalencia. In[4]:= TruthTable[ [p→(r∨ ∼q)]↔[(q→∼p)∨(∼r→∼p)] ] Out[4]= 2.

In[6]:= Out[6]= TruthTable[ [(∼p∨q)∧(∼q→p)]↔q. HighlightMainColumn → False. lo que facilita al usuario enfocarse en una sola la a la vez. AlternateRowColors → True] Out[5]= Mathematica He aquí una tabla a la que se la ha desactivado el resaltado de la columna resultante y la validación de implicación o equivalencia. cambia → por ⇒. Mathematica Esta es una tabla con las las en dos colores alternados. cambia ↔ ShowRows All por ⇔ muestra sólo las las especicadas en una lista Opciones incorporadas en la función TruthTable. In[5]:= TruthTable[ [(∼p∨q)∧(∼q→p)]↔q. y si el esque- ma es una equivalencia.24 CAPÍTULO 2. Opción LA FUNCIÓN TRUTHTABLE Val. ValidateQ → False] . por defecto Descripción RowNumbers False enumera las las ZeroOne False cambia ShowVarsValues False añade los valores de verdad de V por 1 y F por 0 todas las variables ValidateQ True si el esquema es una implicación.

RowNumbers → True.2. ShowRows → {3}] Out[8]= Mathematica Aquí se han activado las opciones RowNumbers y ColumnNumbers.2. En este V caso la la 3 es la única cuyo resultado nal es . In[7]:= TruthTable[ ∼[(∼p∨q)∨(r→q)]∧[(p∨q)→(q→∼p)]. 25 OPCIONES Mathematica Al activar la opción RowNumbers se aprecian las las debidamente numeradas. In[9]:= Out[9]= TruthTable[ ∼ {[∼(∼p∨q)∧(∼q→p)]↔(∼q∧r)}. ColumnNumbers → True] . In[8]:= TruthTable[ ∼[(∼p∨q)∨(r→q)]∧[(p∨q)→(q→∼p)]. RowNumbers → True] Out[7]= Mathematica Aquí se muestra únicamente la la 3.

Validez de un argumento Dado argumento: si hay golpe de Estado en el Perú. ¾El argumento es válido o no valido? . Ejemplos aplicativos 2. se violan los derechos humanos si hay golpe de Estado. los jueces de la corte suprema renunciarán si son demócratas.1. Se violan los derechos humanos si y sólo si hay toque de queda. si los jueces son demócratas. Por lo tanto. 7}] Out[10]= Mathematica He aquí la tabla de un mismo esquema.3. ShowRows → {4.3. LA FUNCIÓN Mathematica TRUTHTABLE V De esta manera se muestran las dos únicas las cuyo resultado es . In[10]:= TruthTable[ ∼ {[∼(∼p∨q)∧(∼q→p)]↔(∼q∧r)}. entonces hay toque de queda. ShowVarsValues → True] Out[12]= 2.26 CAPÍTULO 2. In[11]:= TruthTable[ [(∼p∨q)∧(∼q→p)]↔q ] Out[11]= In[12]:= TruthTable[ [(∼p∨q)∧(∼q→p)]↔q. Si los jueces de la corte suprema renuncian o se violan los derechos humanos. antes y después de activar la opción ShowVarsValues.

r: Los jueces de la corte suprema son demócratas. Las proposiciones simples son: p: La luz está encendida. r: Los de casa han salido a pasear. si y sólo si no hay alguien en casa o los de casa han salido a pasear.3. s: Se violan los derechos humanos en el Perú. Si los de casa han salido a pasear entonces han ido a una función teatral. AlternateRowColors → True ] Out[13]= Ver gura 2. La formalización es: {[p → (r → q)] ∧ [(q ∨ s) → t] ∧ (s ↔ t)} → [r → (p → s)] Mathematica Evaluación. de un esquema asociado a un argumento. 27 EJEMPLOS APLICATIVOS Solución. q : Hay alguien en casa. ¾Es válido o no válido? Solución. si los de casa han ido a una función teatral. In[13]:= TruthTable[ {{[p→(r→q)]∧[(q∨s)→t]}∧(s↔t)} →[r→(p→s)]. mediante tabla de verdad. t: Hay toque de queda en el Perú.1 se concluye que el argumento es válido. 2. . En consecuencia. Invalidez de un argumento El argumento: la luz no está encendida. la luz no está encendida. s: Los de casa han ido a una función teatral.1 De acuerdo con el resultado apreciado en la gura 2.2.3.2. Las proposiciones simples son: p: Hay golpe de estado en el Perú. q : Los jueces de la corte suprema renuncian.

mediante tabla de verdad.1: Esquema tautológico. de un esquema asociado a un argumento. In[14]:= TruthTable[ [(∼p↔(∼q∨r))↔(r→s)]→(s→∼p). AlternateRowColors → True] Out[14]= Ver gura 2. LA FUNCIÓN TRUTHTABLE Figura 2. . La formalización es: {[p → (r → q)] ∧ [(q ∨ s) → t] ∧ (s ↔ t)} → [r → (p → s)] Mathematica Evaluación.28 CAPÍTULO 2. RowNumbers → True.2 De acuerdo con el resultado que se aprecia en la gura 2.2 se concluye que el argumento es no válido (el valor de verdad en la la 3 es F ).

3 se concluye que 7. es decir se activó su sistema.2. RowNumbers → True] Out[15]= Ver gura 2. de lo que concluimos que los p. el robot responde a la señal en la la número conmutadores que se han activado son: .3 De acuerdo con el resultado que se aprecia en la gura 2. El profesor decide probarlo usando el control remoto. calcularemos la tabla de verdad asociada con el esquema dado. No activado = F) Para responder a la pregunta propuesta. Para que esto ocurra. 2.3. de un esquema. el cual está diseñado para que responda ante una orden determinada mediante un control remoto.3. AlternateRowColors → True. r y w .2: Esquema contingente.3. In[15]:= TruthTable[ ∼ {∼[r→(p↔q)]∨ ∼(p∧ ∼s)}∧ ∼[w→(∼r∨t)]. ¾qué conmutadores se han activado? Solución. Mathematica Evaluación. q . 29 EJEMPLOS APLICATIVOS Figura 2. mediante tabla de verdad. y el robot responde a la orden. Controlando un robot Un estudiante presenta el siguiente esquema molecular ∼ {∼ [r → (p ↔ q)]∨ ∼ (p∧ ∼ s)}∧ ∼ [w → (∼ r ∨ t)] que representa el sistema interno de un robot. (Activado = V.

LA FUNCIÓN Figura 2.3: Esquema contingente.30 CAPÍTULO 2. TRUTHTABLE .

La función estándar La función R Element [9] Element permite averiguar si un elemento pertenece o no a cierto conjunto.1.Capítulo 3 Soluciones diversas en 3. . dom] ó x ∈ dom Element[{x1 . Mathematica Puesto que el valor de la constante π es un número real. Algebraics Números algebraicos Booleans True ó False Complexes números complejos Integers números enteros Primes números primos Rationals números racionales Reals números reales Posibles dominios estándar para la función Element. . In[1]:= Element[Pi. Reals] Out[1]= True 31 . dom] x es un elemento de dom arma que todos los xi son elementos de dom arma que Sintaxis de la función Element. . x2 . Element[x. se obtiene como resultado True. }.

5. 4 ∈ A. In[5]:= {3 ∈ A. Por razones similares se ha incluido el dominio Irrationals.32 CAPÍTULO 3. 3.1. x = 1 ∨ x = 3 ∨ x = 5 ∨ x = 7 ∨ x = 9} Mathematica Vericando que √ In[6]:= √ 2 es un número irracional. x ∈ A} Out[5]= {True. 2 ∈ Integers Out[3]= False 3.1. 7. 9}. se obtiene como resultado False. SOLUCIONES DIVERSAS EN R Mathematica Esta es una secuencia de teclas para ingresar la entrada previa en la forma π ∈ Reals. False. se ha creído conveniente hacer una ligera modicación a dicha función de tal manera que admita el uso de conjuntos nitos. In[2]:= ESC pi ESC ESC el ESC Reals Out[2]= True Mathematica Puesto que √ √ In[3]:= 2 es un número real. 2 ∈ Irrationals Out[6]= True . Mathematica Uso de Element con un conjunto nito. In[4]:= A = {1. Un par de modicaciones a Element Dado que ninguno de los posibles dominios estándar para la función Element es un conjunto nito y como en la práctica muchas veces se utilizan ejemplos con tales conjuntos. Note la salida obtenida cuando se usa un símbolo.

.3. LA FUNCIÓN ESTÁNDAR 3. se presentarán las salidas en el formato proporcionado por la función TraditionalForm. In[7]:= TraditionalForm[Sin[x]] Out[7]//TraditionalForm= sin(x) Mathematica Dando formato a una desigualdad triangular. Mathematica Dando formato a una función trigonométrica.2.2. Basándonos en esto. en adelante. la combinación Shift+Ctrl+T. TRADITIONALFORM La función estándar La función 33 TraditionalForm [20] TraditionalForm imprime una expresión en un formato bastante parecido al de la notación matemática tradicional. a continuación. Es posible obtener el mismo efecto seleccionando la celda correspondiente a la salida en cuestión y presionando. TraditionalForm[expr] imprime expr en una forma bastan- te parecida con la notación matemática tradicional Sintaxis de la función TraditionalForm. In[8]:= TraditionalForm[Abs[x − y]2 + Abs[y − z]2 ≥ Abs[x − z]2 ] Out[8]//TraditionalForm= |x − y|2 + |y − z|2 ≥ |x − z|2 Observación.

cond. ∀x ax + b > 0 La función estándar La función Exists cador existencial.4. ax + b es positivo. . ax + b > 0] ∀x ax + b > 0 Mathematica Esta es una secuencia de teclas para ingresar la entrada previa en la forma ∀x (ax + b > 0). ForAll[x. In[9]:= Out[9]= ForAll[x. }. Mathematica Esto establece que para todo x.34 CAPÍTULO 3.3. . . expr] representa la declaración que expr se cumple para todos los valores de x ForAll[x. In[10]:= ESC fa ESC CTRL[−] x CTRL[ t] (a t x + b > 0) Out[10]= 3. 3. x2 . expr] establece que expr es verdadera pa- ra todos los valores de todas las xi Sintaxis de la función ForAll. expr] establece que ra todo x expr es verdadera pa- que satisface la condición cond ForAll[{x1 . Exists [10] permite construir proposiciones que contienen el cuanti- . La función estándar La función ForAll SOLUCIONES DIVERSAS EN ForAll R [11] permite construir proposiciones que contienen el cuanti- cador universal.

}. In[11]:= Out[11]= Exists[x. . expr] establece que existe un face la condición expr Exists[{x1 . expr] cond x que satis- para el cual es verdadera establece que existen valores para todos los xi para los cuales expr es verdadera Sintaxis de la función Exists. expr] 35 representa la declaración que existe un valor de x para el cual expr es verdadera Exists[x.5.3. cond. In[12]:= ESC ex ESC CTRL[−] x CTRL[ t] (a t x + b == 0 ESC and ESC x > 0) Out[12]= 3. LA FUNCIÓN ESTÁNDAR REDUCE Exists[x. Mathematica Esto establece que existe una solución positiva para la ecuación ax + b = 0. ax + b == 0 && x > 0] ∃x (ax + b = 0 ∧ x > 0) Mathematica Esta es una secuencia de teclas para ingresar la entrada previa en la forma ∃x (ax + b == 0 ∧ x > 0). . . ∃x (ax + b = 0 ∧ x > 0) La función estándar La función Reduce Reduce [17] permite reducir expresiones matemáticas para resolver ecuaciones e inecuaciones así como eliminar cuanticadores. x2 .5. .

In[14]:= Out[14]=   Reduce 3x4 + 5x2 − 6 == 0. In[13]:= Out[13]=   Reduce 3x4 + 5x2 − 6 == 0. vars] SOLUCIONES DIVERSAS EN reduce expr R mediante la resolución de ecuaciones o inecuaciones para las variables vars y elimina cuanti- cadores Reduce[expr. Reals r  r    √ √ 1 1 x<− 6 97 − 5 ∨ x > 6 97 − 5 97 − 5  ∨ x = . Mathematica Esta es la solución de la ecuación 3x4 + 5x2 − 6 = 0. vars. x r   √ 1 x = − 6 97 − 5 ∨ x = r  √  1 −i 6 5 + 97 ∨ r  √  x = i 16 5 + 97 r  √ 1 6 Mathematica Esta es la solución de la inecuación 3x4 + 5x2 − 6 > 0. In[15]:= Out[15]=   Reduce 3x4 + 5x2 − 6 > 0. x.36 CAPÍTULO 3. Reals r  r    √ √ 1 1 x=− 6 97 − 5 ∨ x = 6 97 − 5 Mathematica Si no se especica el dominio sume que se trata del campo de los complejos. Reduce[expr. x. dom] hace la reducción en el dominio dom Sintaxis de la función Reduce.

LA FUNCIÓN ESTÁNDAR REDUCE 37 Mathematica Esto da las condiciones en parámetros reales para los cuales la declaración In[10] . Mathematica Esta es la solución de la inecuación 3. la salida de Hold[ 24 ] no es Hold[ 12 ]. de la página 34. x. Reals x+1  In[18]:= 1 La función Hold aplicada a una expresión.1 obtenida con Reduce. es verdadera.3. In[16]:= Out[16]= Reduce [∀x (ax + b) > 0. . In[17]:= Out[17]= Reduce [∃x (ax + b = 0 ∧ x > 0). Reals] b>0∧a=0 Mathematica He aquí las condiciones en parámetros reales para los cuales la declaración página 35.1. de la In[12] . La modicación consiste en que la función Reduce acepte una inecuación afectada por la función Hold1 [12]. No obstante. Por ejemplo. Reals] (b < 0 ∧ a > 0) ∨ (b = 0 ∧ a = 0) ∨ (b > 0 ∧ a < 0) 3.  x2 − 1 Reduce < 0. sino que es Hold[ 24 ]. tales como x2 − 1 < 0.5. Una modicación a Reduce Reduce es potente y efectivo.5.1) las salidas son incorrectas. x+1 (3. cuando Reduce devuelve el conjunto solución de El algoritmo en que se basa la función ciertas inecuaciones racionales con factores simplicables. Por tal motivo. como es de esperar. requiere de cerca de 350 páginas de código Mathematica y 1400 páginas de código C [19]. se ha decidido hacer una modicación a ésta función para salvar la referida falencia. es verdadera. mantiene a ésta en una forma no evaluada. de hecho.

Reals −1 ≤ x < 1 ∨ x = 2 ∨ x = 3 ∨ 15 ≤ x < 27 "√ # √ √ 3 h 6 7 5 2 27 − x x − 14x − 15(x − 2) x + 8(x − 3) √ In[21]:= Reduce Hold ≤0 . Reals x+1 x < −1 ∨ −1 < x < 1 Mathematica En este caso resulta de más utilidad la modicación hecha a Reduce (para ingresar las raíces impares tenga en cuenta In[20]:= In[29] de la página 10). 4 x + 9 (x2 + 7x − 8) (x − 27)3 (x3 − 27) i x. pero afectando la inecuación con Hold. IntervalForm IntervalForm no está incluida en la versión estándar del Mat- ha sido implementada por el autor para poder dar notación de intervalos a ciertas salidas que el usuario requiera. 4 2 + 7x − 8) (x − 27)3 (x3 − 27) x + 9 (x i x. x. √ 3 h √27 − x√ x2 − 14x − 15(x − 2)6 7 x + 8(x − 3)5 √ Reduce ≤ 0. In[19]:= Out[19]=   2   x −1 Reduce Hold < 0 . Out[18]= SOLUCIONES DIVERSAS EN R x<1 Mathematica Esta es la solución de la inecuación 3.1 obtenida con Reduce.38 CAPÍTULO 3. Reals Out[20]= Out[21]= 3.6. −1 ≤ x < 1 ∨ x = 2 ∨ 15 ≤ x < 27 La función La función hematica. .

En primer lugar resolvemos la ecuación dada en Z+ .7.3. 39 EJEMPLOS IntervalForm[expr] muestra expr en notación de inter- valos expr//IntervalForm equivale a IntervalForm[expr] Sintaxis de la función IntervalForm. } y negarlas simbólicamente: 1. Solución. Mathematica Esta es la solución de la ecuación x2 − 6x + 5 = 0 en Z+ .7. Reals //IntervalForm x ∈ [−1. . 2. Proposiciones cuanticacionales en Z+ Indicar el valor de verdad de las siguientes proposiciones para el conjunto Z+ = {1. 27i 3.1. 2. . In[22]:= Out[22]= h Reduce "√ # √ √ 27 − x 3 x2 − 14x − 15(x − 2)6 7 x + 8(x − 3)5 √ Hold ≤0 .7. 1i ∪ {2} ∪ [15. . x2 − 6x + 5 = 0. 3. 4 x + 9 (x2 + 7x − 8) (x − 27)3 (x3 − 27) i x. Mathematica Este es un ejemplo de una salida afectada por IntervalForm (compare con Out[21] de la página 38). ∀x ∈ Z+ . Ejemplos 3. In[23]:= Out[23]=   Reduce x2 − 6x + 5 = 0 ∧ x ∈ Integers ∧ x > 0 x=1∨x=5 . ∃x ∈ Z+ /x2 − 6x + 5 = 0.

Mathematica Reducción para el cuanticador universal.x∈Integers∧x>0 (x2 − 6x + 5 = 0) Out[24]= False Mathematica Reducción para el cuanticador existencial. In[26]:= Out[26]= ¬∀x.x∈Integers∧x>0 (x2 − 6x + 5 = 0) Out[25]= True Mathematica Negación para el cuanticador universal.x∈Integers∧x>0 (x2 − 6x + 5 = 0) ∃x. In[27]:= Out[27]= ¬∃x. In[25]:=   Reduce ∃x. SOLUCIONES DIVERSAS EN R El resultado obtenido permite comprender las reducciones de cuanticadores obtenidas con Reduce.x∈Z∧x>0 x2 − 6x + 5 6= 0 Mathematica Aquí se tiene el valor de verdad de In[28]:= Out[26] .x∈Integers∧x>0 x2 − 6x + 5 6= 0 Out[28]= True .x∈Z∧x>0 x2 − 6x + 5 6= 0 Mathematica Negación para el cuanticador existencial.   Reduce ∃x. In[24]:=   Reduce ∀x.40 CAPÍTULO 3.x∈Integers∧x>0 (x2 − 6x + 5 = 0) ∀x.

In[31]:=   Reduce ∀x. determinar el valor de verdad de cada una de las proposi- ciones siguientes. Solución.y∈A (x2 + 3y < 12)) . así como indicar sus negaciones: 1. ∃x ∈ A.7. {x. 3}. ∃y ∈ A. 2. Proposiciones cuanticacionales en un conjunto nito Sea A = {1.2.x∈A (∀y. Mathematica Aquí se dene el conjunto A y luego se resuelve la inecuación x2 + 3y < 12 en A × A. ∀x ∈ A. In[29]:= In[30]:= Out[30]= A = {1. x2 + 3y < 12. x2 + 3y < 12.   Reduce x2 + 3y < 12 ∧ x ∈ A ∧ y ∈ A. Mathematica Reducción de la proposición del apartado (a). 3}.y∈A (x2 + 3y < 12)) Out[31]= False Mathematica Reducción de la proposición del apartado (b). y} (x = 1 ∧ y = 1) ∨ (x = 1 ∧ y = 2) ∨ (x = 1 ∧ y = 3) ∨ (x = 2 ∧ y = 1)∨ (x = 2 ∧ y = 2) Éste resultado facilita la comprensión de las reducciones de cuanticadores obtenidas con Reduce.7. 2.x∈A (∃y. In[32]:=   Reduce ∀x. 2. 4. 3. ∃y ∈ A. ∀x ∈ A. x2 + 3y < 12. ∃x ∈ A. ∀y ∈ A.3. ∀y ∈ A. x2 + 3y < 12. En primer lugar procedemos a denir el conjunto resolver la inecuación dada en A y luego a A × A. 41 EJEMPLOS 3.

x∈A (∀y.y∈A (x2 + 3y < 12)) ∀x. SOLUCIONES DIVERSAS EN Out[32]= False Mathematica Reducción de la proposición del apartado (c).y=1∨y=2∨y=3 x2 + 3y ≥ 12 Mathematica Negación de la proposición del apartado (c).x∈A (∃y.y∈A (x2 + 3y < 12)) ∃x. In[37]:= Out[37]= ¬∃x.y∈A (x2 + 3y < 12)) ∃x.y∈A (x2 + 3y < 12)) Out[33]= True Mathematica Reducción de la proposición del apartado (d).y=1∨y=2∨y=3 x2 + 3y ≥ 12 R . In[34]:=   Reduce ∃x.y∈A (x2 + 3y < 12)) Out[34]= True Finalmente obtenemos las negaciones respectivas.x∈A (∀y. In[35]:= Out[35]= ¬∀x. In[36]:= Out[36]= ¬∀x.x=1∨x=2∨x=3 ∀y.x∈A (∃y. In[33]:=   Reduce ∃x.x=1∨x=2∨x=3 ∃y.x=1∨x=2∨x=3 ∃y.y=1∨y=2∨y=3 x2 + 3y ≥ 12 Mathematica Negación de la proposición del apartado (b).42 CAPÍTULO 3.x∈A (∀y. Mathematica Negación de la proposición del apartado (a).

b ) ∀a.7. Solución. Reals] Out[39]= True . ax2 + bx + c > 0 ⇒ b2 − 4ac < 0 ∧ a > 0). b. 3. 2. 4. d ) ∀x. se emplean para denotar números reales): a ) ∀x. y/(x > y > 0 ∧ x + y = 0). In[39]:= Reduce [∀x (∃y (x + y = 3)).7. a ) ∀a.x=1∨x=2∨x=3 ∀y. b. ∃y/x + y = 3. a.3. 43 EJEMPLOS Mathematica Negación de la proposición del apartado (d).x∈A (∃y. Proposiciones cuanticacionales en R Establezca si las siguientes proposiciones son verdaderas o falsas (los símbolos x. x + y = 3. c. b. b ) ∃y/∀x.y∈A (x2 + 3y < 12)) ∀x. c ) ∃x. (x < y ⇔ ∃z/x < z < y). ∃x. y. ∀x. x + y = 3. (∀x. y. z. Las respuestas se obtendrán en forma directa. c. c 1. In[38]:= Out[38]= ¬∃x. y.y=1∨y=2∨y=3 x2 + 3y ≥ 12 Las salidas obtenidas son como en Out[5] de la página 32. Mathematica Reducción de la proposición del apartado (1. (∃x/ax2 + bx + c = 0 ⇒ b2 − 4ac ≥ 0).3. y/x + y = 3. 3.a).

In[42]:=   Reduce ∀{x.c} ∃x (ax2 + bx + c = 0) ⇒ b2 − 4ac ≥ 0 .y} (x + y = 3). Reals Out[41]= True Mathematica Reducción de la proposición del apartado (1. Reals Out[43]= False Mathematica Reducción de la proposición del apartado (3). Reals Out[42]= False Mathematica Reducción de la proposición del apartado (2).y} (x < y ⇔ ∃z (x < z < y)) . In[45]:=    Reduce ∀{a.b. Reals R .c). SOLUCIONES DIVERSAS EN Mathematica Reducción de la proposición del apartado (1.y} (x + y = 3). In[43]:=   Reduce ∃{x.a). In[44]:=   Reduce ∀{x. Reals] Out[40]= False Mathematica Reducción de la proposición del apartado (1.44 CAPÍTULO 3.y} (x > y > 0 ∧ x + y = 0).b). In[40]:= Reduce [∃y (∀x (x + y = 3)).d). In[41]:=   Reduce ∃{x. Reals Out[44]= True Mathematica Reducción de la proposición del apartado (4.

Mathematica Completando cuadrados en un trinomio.b).7. Para hallar la solución usaremos la regla CSquares2 .  Reals Out[46]= False 3.b. In[47]:= Out[47]= 3x2 + 4x − 1/. a > 0. In[46]:=   Reduce ∀{a. para todo x real.c} ∀x (ax2 + bx + c = 0) ⇒ b2 − 4ac < 0 ∧ a > 0 . Aplicaciones de cuanticadores Resuelva los siguientes ejercicios: 1. 45 EJEMPLOS Out[45]= True Mathematica Reducción de la proposición del apartado (4. 2. hallar el conjunto de valores de a tal que z > 0.7. 3x2 + 4x − 1. Sea a > 0. z = ax2 + x(1 − 2a) + a.4.7. Si 2 Esta regla no esta incluida en la versión estándar del Mathematica. Completando cuadrados Complete cuadrados en la expresión Solución. . Halle el conjunto solución de √ x + 4a − √ x + 2a − 1 = 1 . CSquares    7 2 2 3 x+ 3 − 9 3.3.5.

4. 3. Expresar mediante intervalos el conjunto n.46 CAPÍTULO 3. Hallar todos los valores reales de −1 < para todo x a SOLUCIONES DIVERSAS EN R para los cuales 2x2 −ax+1 x2 +2x+2 < 3. real.

2 .

o .

x −4 .

A = .

2x .

In[48]:= Out[48]=   √ √ Reduce ∃a. In[49]:= Out[49]=   Reduce ∀x ∃z. +∞ . 5.a>0 4a + x − 2a + x − 1 = 1 .  d ) D = x2 − 4x − 12/x ∈ h−5. Para encontrar las soluciones se usará la reducción de cuantica- dores.  f ) F = 4xt − t2 /3x < t < x con x > 0.z>0 a > 0 ∧ z = ax2 + (1 − 2a)x + a . 6i/x2 − 4x − 21 ≤ 0i . Solución. si existen. +∞i Mathematica Reducción de la expresión del apartado (2). 4] . 3] .  Reals // IntervalForm a ∈ 41 . /x ∈ h1.  b ) B = x ∈ R/ − x2 + 2x − 2 > 0  c ) C = x2 − 4x − 12 < 0/x ∈ R . Mathematica Reducción de la expresión del apartado (1). de:  a ) A = x ∈ R/x2 − 4x − 12 < 0 . Determinar el supremo y el ínmo .  e ) E = x ∈ [−4.  Reals //IntervalForm x ∈ [0.

1<x≤4 y = Abs 2x . Reals // IntervalForm . Reals // IntervalForm ∅ Mathematica Reducción de la expresión del apartado (5. 23 Como podrá verse a continuación. Reals // IntervalForm Mathematica Reducción de la expresión del apartado (4).c).7. In[52]:= Out[52]=   Reduce x2 − 4x − 12 < 0.b). In[50]:= Out[50]= h   Reduce ∀x ∃z. algunos de los ejercicios del apartado (5) no requieren del uso de cuanticadores. 2 5−3 2x2 −ax+1 x2 +2x+2  i . Reals // IntervalForm   y ∈ 0. 6i Mathematica Reducción de la expresión del apartado (5. El resultado permite concluir que carece de sentido hablar de ínmo o supremo para el conjunto B . In[53]:= Out[53]=   Reduce −x2 + 2x − 2 > 0. Reals // IntervalForm x ∈ h−2. La salida indica que ´ınf(A) = −2 y sup(A) = 6. Mathematica Reducción de la expresión del apartado (5.a).−1<z<3 z = D √ E a ∈ −4. 47 EJEMPLOS Mathematica Reducción de la expresión del apartado (3). In[54]:=   Reduce ∃x (y = x2 − 4x − 12).3. In[51]:= Out[51]= h  h 2 i i x −4 Reduce ∃x. De acuerdo con el resultado ´ınf(C) = −16 y sup(C) no existe.

−5<x≤3 (y = x2 − 4x − 12). La salida obtenida indica que ´ınf(E) = −3 y sup(E) = 6. Out[54]= SOLUCIONES DIVERSAS EN R y ∈ [−16.f). Reals // IntervalForm x ∈ [−3. √ x2 − 14x − 15(2x − 1)(x + 3) 9 3x − 5 ≤ 0. Reals // IntervalForm y ∈ [−16. (3x − 1)7 (2x + 1)2 (5x + 2) s√ x2 − x − 2 − 2 √ ≥ x − 5. 2− x+4 .48 CAPÍTULO 3.e). 2. x2 i 3.−x<t<2x y = t2 − 2tx − 2x2 ∧ x > 0 .6. In[55]:= Out[55]=   Reduce ∃x. +∞i Mathematica Reducción de la expresión del apartado (5. Ecuaciones e inecuaciones algebraicas Halle las soluciones de los siguientes ejercicios: √ 1. El resultado obtenido indica que ´ınf(D) = −16 y sup(D) = 33. 33i Mathematica Reducción de la expresión del apartado (5.  Reals // IntervalForm x ∈ h0. In[57]:= Out[57]=   Reduce ∃t. +∞i ∧ y ∈ [−3x2 . In[56]:= Out[56]=   Reduce −4 ≤ x < 6 ∧ x2 − 4x − 21 ≤ 0. La salida obtenida permite concluir que ´ınf(F ) = −3x2 y sup(F ) = x2 .7. 6i Mathematica Reducción de la expresión del apartado (5.d).

−2] ∪ [2. 2 x−1 Solución. x. −3] ∪ {−1. 21 − x2 − 4 y 2 − 14y + 13 < y + 1. Reals //IntervalForm x ∈ h−∞. Mathematica Solución de la inecuación del apartado (1). { s x √ = 0. 5i i ≥ x − 6. Para hallar las soluciones usaremos Reduce. s 5.3. 7. x 4 J|x| − 2xK = 0. In[60]:= Out[60]= Reduce hq √ 2 √ √ x −3x−4 21− x2 −4 x ∈ h−5. |x + 2| + 1 |x − 1| + 4 s { 5 − 3x = 2. 6.7. In[59]:= Out[59]= Reduce hq √ x2 −x−2−2 √ 2− x+4 i ≥ x − 5. −2] ∪ [4. In[58]:= Out[58]= h√ 2 i √  9 3x−5 Reduce Hold x −14x−15(2x−1)(x+3) ≤ 0 . 8. p x2 − 3x − 4 √ ≥ x − 6. (3x−1)7 (2x+1)2 (5x+2)  x. Reals //IntervalForm x ∈ [−4. 3] Mathematica Solución de la inecuación del apartado (3). Reals //IntervalForm . 49 EJEMPLOS s √ √ 3. 4. 15} Mathematica Solución de la inecuación del apartado (2). x. x(||x| − 1|) − 12 ||1 − x| − 3| √ − + 9 − x ≥ 0.

x. Reals // IntervalForm x 5  x ∈ 6. SOLUCIONES DIVERSAS EN Mathematica Solución de la inecuación del apartado (4). x. In[65]:= Out[65]= Reduce[Floor x ∈ {0} h √x 2 x−1 i = 0. In[63]:= Out[63]=     Reduce Floor 5−3x = 2. x ∈ [4. In[61]:= Out[61]= Reduce hp y2 i − 14y + 13 < y + 1. Reals]// IntervalForm R . In[62]:= Out[62]= hq [Abs[x]−1])−12 Reduce 4 x(AbsAbs − [x+2]+1 i Reals // IntervalForm Abs[Abs[1−x]−3] Abs[x−1]+4 + √ 9 − x ≥ 0.0 3 Mathematica Solución de la ecuación del apartado (8). 1] ∪ [13. x. 9] Mathematica Solución de la ecuación del apartado (6). 1 Mathematica Solución de la ecuación del apartado (7).50 CAPÍTULO 3. +∞i Mathematica Solución de la inecuación del apartado (5). In[64]:= Out[64]= Reduce[Floor [|x| − 2x] = 0. Reals]// IntervalForm   1 x ∈ − . Reals //IntervalForm y ∈ h 43 . x. y.

2 2 Mathematica Solución de la ecuación del apartado (2).   1 tan x2 +1 > 1. 3. 4 2. 9−x2 Con ayuda de + 8 < 0. In[68]:= Out[68]= h h i i > 1. Ecuaciones e inecuaciones exponenciales y trascendentales Resuelva: √ 9−x2 √ −6×2 1. x. In[66]:= Out[66]= i h √ √ 2 2 Reduce 4 9−x − 6 2 9−x + 8 < 0. Reduce hallaremos las soluciones. πc1 + 5π 6 Mathematica Solución de la inecuación del apartado (3). sin(x) = 12 . Reals // IntervalForm E Reduce Tan q D q 4−π x ∈ − π .7. x. Mathematica Solución de la inecuación del apartado (1).7. Solución. x. 51 EJEMPLOS 3.7. Reals // IntervalForm D √ √ E D√ √ E x ∈ −2 2. In[67]:= Out[67]=   Reduce Sin[x] = 12 . Reals // IntervalForm  c1 ∈ Z ∧ x ∈ 2πc1 + π6 . 4−π π 1 x2 +1 .3. − 5 ∪ 5.

xmin.ymin. In[1]:= Eq = −x3 + 2xy 2 + 8 = 0. x.ymax }] devuelve la tabulación y gráca de la curva denida por la ecuación de variables Sintaxis de la función Sketch.xmax }. simetrías. extensión y asíntotas de la curva denida por la ecuación variables x e equa de y Sintaxis de la función Discussion. Sketch[equa. Discussion[equa. {y. sime- trías. y] 52 x e y equa . Las función Sketch permite obtener la tabulación y gráca asociadas a una curva denida mediante una ecuación implítica dada. ex- tensión y asíntotas asociadas a una curva denida mediante una ecuación implítica dada.x.y ] devuelve las intersecciones.Capítulo 4 Las funciones Sketch Las función Discussion y [7] Discussion permite obtener las intersecciones. In[2]:= Discussion[Eq. Mathematica Discusión y gráca de la ecuación −x3 + 2xy 2 + 8 = 0.{x.

−4. −4. permite especicar la partición Opción incorporada en la función Sketch. {x. −5. 2 x . −5. {x. Opción Opción Points Val. 0\ Ü @2. por defecto Descripción 5 controla el número de particiones del dominio o.1. 5}. 4}.2 y Š 0= Sketch[Eq. {y. al asignar una lista. Mathematica Con la opción Points se modica el número de particiones del dominio. +¥\ : R Asymptotes : True : False : False Verticals : 8x Š 0< Horizontals : 8< : 9 Obliques 2 x + 2 y Š 0.4. In[4]:= Sketch[Eq. Points → 10] . 5}. 0L< : 8< Symmetries x-Axis y-Axis Origin In[3]:= Extension Domain Range : x Î X-¥. 4}] y 4 x Out[3]= y -5 - -5 - 2 5 2 5 133 10 3 -3 21 10 2 61 10 2 13 10 ÈÈ ÈÈ 3 133 10 21 10 3 ÈÈ ÈÈ 3 2 1 2 -5 61 10 -4 -3 -2 -1 1 2 3 4 5 x -1 2 -2 13 10 -3 -4 4.1. 53 OPCIÓN Intercepts x-Axis y-Axis Out[2]= : 8H2. {y.

35 - 9 DISCUSSION Y SKETCH y -5 Out[4]= LAS FUNCIONES - 341 10 3 5957 10 9 9793 2 45 37043 70 9 -3 13 10 ÈÈ 133 10 y ÈÈ 48707 70 ÈÈ 21457 2 ÈÈ 341 10 ÈÈ 5957 10 ÈÈ 9793 2 -2 45 ÈÈ -3 37043 70 4 9 3 2 45 1 3 -5 -4 -3 -2 -1 1 2 3 4 5 x -1 9 -4 9 ÈÈ 3 13 10 Mathematica Cuando el valor asignado a la opción Points es una lista. {y. x. 0L< Symmetries x-Axis y-Axis Origin In[7]:= x2 −9 Extension Domain Range : x Î X-3. −4.54 CAPÍTULO 4. +¥\ : R Asymptotes : True : False : False Verticals : 8x + 3 Š 0. In[9]:= Discussion[Eq. x - 9 9 21457 2 . −1. y] Intercepts x-Axis y-Axis Out[6]= . y] . ésta constituye la partición del dominio. In[8]:= Eq = x3 − 3xy + y 3 = 0. {x. Points → − 25 . 4. 27 .1 Mathematica En este caso se usa la función N para mostrar los valores de la tabla en forma numérica. x3 In[5]:= Eq = y 2 = In[6]:= Discussion[Eq. x. − 12 .3 Š 0< Horizontals : 8< Obliques : 8<    Sketch Eq. 5}.25 9 -5 45 - 3 -5 - 25 - 9 35 9 5 133 10 48707 70 . 6}. −5. : 8H0. 0D Ü X3. 5 Out[7]= Ver gura 4. 0L< : 8H0. x .

3956 1.95137 4. 3 4 x . -2. 0L< Extension : R : R Domain Range Asymptotes : False : False : False Verticals : 8< Horizontals : 8< Obliques : 8x + y + 1 Š 0<  Sketch Eq.79508 2 1 -3 -2 -1 1 2 3 4 5 6 x -1 -2 -3 -4 -5 Figura 4.0837246 ÈÈ 1.2: Tabulación y gráca de x3 − 3xy + y 3 = 0. -0.02372 ÈÈ 3.79508 ÈÈ 2. -1. 4}.5 ÈÈ -2.353553 -0.5 -2.63212 ÈÈ 3. −2. y 4 3 x y -4.119523 ÈÈ 0.58618 ÈÈ 0.75 -1.119523 3. 2. {y.5 1.5 -1. 32 . −4. -4. 0L< : 8H0.927051 2.42705 ÈÈ 0.18073 0. 43 .1: Tabulación y gráca de y2 = x3 x2 −9 .353553 ÈÈ 0.10715 0. 4 //N Out[10]= Ver gura 4.26446 ÈÈ 0.5 -0. -2. −4. 1. 21 .2 y 5 4 3 x y -2. 4}. 3.5 -3. -3.87939 ÈÈ 0.38366 ÈÈ 2.347296 ÈÈ 1.63212 4. {x.98407 2 1 -4 -3 -2 -1 1 2 -1 -2 -3 -4 Figura 4.38366 -1.190576 ÈÈ 1.02372 5.02549 -2.1.4. 1. 55 OPCIÓN Intercepts x-Axis y-Axis Out[9]= Symmetries x-Axis y-Axis Origin In[10]:= : 8H0.   Points → −4.53209 1.

−1. Reals In[2]:= −1 ≤ x ≤ 1  Reduce ∃x 1 2   < x2 + y 2 ≤ 1 .ymax }] devuelve la gráca de la región del plano sobre la cual pred es V Sintaxis de la función IneqPlot. IneqPlot[pred.Capítulo 5 La función La función IneqPlot [18] IneqPlot permite obtener la representación gráca de una región del plano denida mediante cierto predicado. {x. {y. Reals Out[2]= −1 ≤ y ≤ 1 In[1]:= Out[1]= 1 2 < x2 + y 2 ≤ 1.  < x2 + y 2 ≤ 1. 1}. {y.xmin.ymin. −1.{x.1 56 . Mathematica Usando cuanticadores se puede hallar el dominio y rango de  Reduce ∃y 1 2   < x2 + y 2 ≤ 1 . 1} Out[3]= Ver gura 5. Mathematica He aquí la región del plano cuyos puntos satisfacen In[3]:= IneqPlot 1 2 1 2 < x2 + y 2 ≤ 1.xmax }.

Reals] T rue Mathematica Aquí se tiene la región del plano cuyos puntos satisfacen ||x| − |y|| ≤ 1.2 Mathematica Estos son el dominio y rango de y > x2 ∧ y < 1 − x2 . {y. −2. −2. x. In[6]:= i h 1 1 2 2 IneqPlot y > x ∧ y < 1 − x . Reals − √12 < x < √1 2    Reduce ∃x y > x2 ∧ y < 1 − x2 . 0. In[7]:= Out[7]= In[8]:= Out[8]= Reduce [∃y (Abs[Abs[x] − Abs[y]] ≤ 1) . {y. In[9]:= IneqPlot[Abs[Abs[x] − Abs[y]] ≤ 1. − √2 .3 . Reals 0<y<1 Mathematica Esta es la región del plano cuyos puntos satisfacen y > x2 ∧ y < 1 − x2 . √2 }. 1} Out[6]= Ver gura 5.57 Mathematica Aquí tenemos el dominio y rango de y > x2 ∧ y < 1 − x2 . x. In[4]:= Out[4]= In[5]:= Out[5]=    Reduce ∃y y > x2 ∧ y < 1 − x2 . 2}. 2}] Out[9]= Ver gura 5. {x. Reals] T rue Reduce [∃x (Abs[Abs[x] − Abs[y]] ≤ 1) . {x.

0 0.4 0.2 0.2 Figura 5.6 y > x 2 ∧ y < 1 − x2 .6 -0.8 0.4 -0.6 0.0 0.5 0.5 -1.4 0.2: Región denida mediante 0.0 -0. LA FUNCIÓN INEQPLOT 1.2 -0. .0 Figura 5. 1.1: Región denida mediante 1 2 < x2 + y 2 ≤ 1.5 -1.58 CAPÍTULO 5.0 -0.5 1.

5.1.

59

OPCIONES
2

1

-2

-1

1

2

-1

-2

Figura 5.3: Región denida mediante

5.1.

||x| − |y|| ≤ 1.

Opciones

IneqPlot
ContourPlot.

La función

admite algunas opciones propias de

RegionPlot

y de

Mathematica
Aquí se han modicado el color de la región, el color de los bordes y el grosor de éstos.
In[10]:= 

IneqPlot 12 < x2 + y 2 ≤ 1, {x, −1, 1}, {y, −1, 1}, 

PlotStyle → Yellow, ContourStyle → {Thick, Blue}
1.0

0.5

Out[10]=

-1.0

-0.5

0.5

-0.5

-1.0

1.0

Capítulo 6

Las funciones

PwExpand

y

PwPlot

[15, 16]

La función
involucran

PwExpand permite expresar, en forma desarrollada, funciones que
Piecewise, Abs, Floor, Sign, etc.

PwExpand[expr ]

expande

las

anidadas en

funciones

expr

a

trozos

devolviendo una

única función a trozos

PwExpand[expr,sup ]

expande

las

funciones

a

trozos

anidadas usando supuestos

Sintaxis de la función PwExpand.

Mathematica
Expansión de una expresión con Piecewise anidado en una función con un solo
Piecewise.
In[1]:=

Out[1]=

In[2]:=

Piecewise[{{Piecewise[{{1, x < 1}}, 2], x > 0}}, 3]
(

1 x<1

x>0
2 True


3
True
PwExpand[ %]
60

61

Out[2]=


3



1

2


x≤0
0<x<1
x≥1

Null

True

Mathematica
Conversión de un arreglo de funciones especiales a trozos en un único objeto Piecewise.
In[3]:=

Out[3]=

In[4]:=

Out[4]=

Piecewise[{{Max[x, x2 ], −2 < x < 2}, {UnitStep[x], True}}]
(  

2
Max x, x
−2 < x < 2
UnitStep[x] True
PwExpand[ %]


x
0≤x≤1



2


−2 < x < 0 ∨ 1 < x < 2
x
0
x ≤ −2



1
x≥2



 Null True

Mathematica
Expansión de una función con un número innito de trozos sobre un intervalo acotado.
In[5]:=

Out[5]=

PwExpand[Floor[x], 0 < x < 4]


0
0<x<1





1≤x<2
1
2
2≤x<3



3
3≤x<4



 Null True

La función

PwPlot

permite obtener la gráca de una función denida a

trozos agregando un pequeño disco en los extremos incluidos, de acuerdo con
el respectivo subdomino, o un círculo abierto en otro caso.

3}] Out[7]= 1. 1. {x. en otro caso .62 CAPÍTULO 6. -2. -3. 0 In[7]:= PwPlot[ Piecewise[{{Max[x. {UnitStep[x]. −2 < x < 2}. -1. 3. −3. x2 ]. LAS FUNCIONES PwPlot[fun. -2. 2.xmax }] PWEXPAND Y PWPLOT devuelve la gráca de la función a trozos fun de variable x Sintaxis de la función PwPlot. 1. In[6]:= PwPlot[Floor[x]. −3.xmin. {x. 3}] 2.{x. . −2 < x < 2 . Gráca de la función f (x) = u (x). Out[6]= -1. Mathematica Gráca de la función f (x) = JxK. x2 ) . -2. 2. 1. True}}]. Mathematica  m´ax (x.

5]. 0.5. 0]}. EndsSize → 5.5 1.5 1. Adicionalmente. se le ha incorporado la opción EndsSize para manipular La función el tamaño de los extremos de los trozos de las funciones denidas a trozos. Mathematica Gráca de una función obtenida al incluir algunas funciones propias de Plot. 4. 0.5 3.5 controla el tamaño de los discos y/o círculos ubicados en los extremos de los trozos de una función denida a trozos La opción EndsSize.-0.015]. 1. TicksStyle → Directive[RGBColor[0. Opciones PwPlot incorpora todas las opciones de la función estándar Plot [16]. RGBColor[0.5 3.1. AxesStyle → Directive[RGBColor[0.5 0.6. −2. 4. Opción Val. PlotRange → All. 0].5. Thick] ] 5. 5}.5. 63 OPCIONES 6.5. 2. {x. 20].25.5 -1. 0. Out[9]= 2. 0. 0. PlotStyle → {Thickness[0.1. 3. x − Floor[2x] −1 ≤ x < 1 x 1≤x<4 2 + Floor[x] In[8]:= f [x_]:= In[9]:= PwPlot[ f [x]. por defecto Descripción EndsSize 2. . conjuntamente con la opción EndsSize (para ingresar la notación especial correspondiente a Piecewise vea In[41] ( de la página 14).5 -0.

3. 0 ≤ x < 1. 4. 6. +∞i Mathematica Rango de la función del apartado (1). x ≥ 1 . es impar . |x| − JxK Para el cálculo de dominios y rangos usaremos cuanticadores. Mathematica Dominio de la función del apartado (1).    2x − 1.2. x2 − 4   x−3 f (x) = sgn . rango y gráca de las funciones: r 1. −2.64 CAPÍTULO 6. si JxK f (x) = 2x − Jx + 1K. x+4    1 − 2x.  JxK. {x. In[11]:= Out[11]= q h   i 2x Reduce ∃x y = x2 −4 . 2x . 5} i . 3−x . 5. +∞i Mathematica Gráca de la función del apartado (1). Reals //IntervalForm x ∈ h−2. In[12]:= PwPlot hq 2x x2 −4 . 0] ∪ h2. In[10]:= Out[10]= q  i h  2x Reduce ∃y y = x2 −4 . Reals //IntervalForm y ∈ [0. LAS FUNCIONES PWEXPAND Y PWPLOT Ejemplos Determinar el domino. 2. si JxK f (x) = f (x) = Solución. es par . x < 0 . f (x) = 1.

Es preciso realizar un análisis adicional para obtener: x ∈ R − {−4}.0 0.dom (y = % %) . 8i − {−4} Mathematica Rango de la función del apartado (2).5 Out[12]= 1. desarrollada en In[14] . 65 EJEMPLOS 2. −8 < x < 8]  −1 −4 < x < 3    1 −8 < x < −4 ∨ 3 < x < 8  0 x=3    Null True Mathematica Dominio de la función del apartado (2).0 1.2. En este caso el cálculo del dominio está limitado por el intervalo acotado sobre el que se ha expandido la función.5 -2 -1 1 2 3 4 5 Mathematica Denición de la función del apartado (2). Reals]] x ∈ h−8. In[14]:= Out[14]= PwExpand[f [x]. In[15]:= Out[15]= IntervalForm[dom = Reduce [∃y (y = %) . Reduce [∃x. In[13]:= f [x_]:=Sign h x−3 x+4 i Mathematica Aquí se usa PwExpand para obtener el desarrollo de la función del apartado (2). Reals] //IntervalForm . desarrollada en In[16]:= In[14] .6.5 2.

Reals] //IntervalForm y ∈ [1. 0. Out[16]= LAS FUNCIONES PWEXPAND y ∈ {−1.dom (y = f [x]) . In[18]:=    1 − 2x x < 0 f [x_]:= 1 0≤x<1   2x − 1 x ≥ 1 Mathematica Dominio de la función del apartado (3). In[20]:= Out[20]= Reduce [∃x. Reals]] x∈R Mathematica Rango de la función del apartado (3). Out[17]= -4. +∞i Y PWPLOT . 8}] 1. -1. {x. −8. 1} Mathematica Gráca de la función del apartado (2). Mathematica Denición de la función del apartado (3). In[19]:= Out[19]= IntervalForm[dom = Reduce [∃y (y = f [x]) . In[17]:= PwPlot [f [x]. 3.66 CAPÍTULO 6.

−3 < x < 4]                              2(x + 1) −2 2x 0 2(x − 1) 2 2(x − 2) −3 < x < −2 −2 ≤ x < −1 −1 ≤ x < 0 0≤x<1 1≤x<2 2≤x<3 3≤x<4 Null True .6. 2] = 0 2x − Floor[x + 1] Mod[Floor[x]. 67 EJEMPLOS Mathematica Gráca de la función del apartado (3). In[21]:= PwPlot [f [x]. 1. −2. ( In[22]:= f [x_]:= Floor[x] Mod[Floor[x]. 0}] Out[21]= 1. 2] 6= 0 Mathematica En este caso se usa PwExpand para obtener el desarrollo de la función del apartado (4). In[23]:= Out[23]= PwExpand[f [x]. Mathematica Denición de la función del apartado (4). AxesOrigin → {0.2. {x. 3}.

desarrollada en In[23] . LAS FUNCIONES PWEXPAND Y PWPLOT Mathematica Dominio de la función del apartado (4). Como en el caso de las funciones de los apartados (2). desarrollada en In[23] . Mathematica Denición de la función del apartado (5). 2. Un análisis adicional permite obtener: x ∈ R.dom (y = % %) . In[27]:= 3−x f [x_]:= Abs[x]− Floor[x] 2. 4}] 4. 1.68 CAPÍTULO 6. Un análisis adicional permite obtener: y ∈ R In[25]:= Out[25]= Reduce [∃x. -2. −3. -1. el cálculo del dominio está limitado por el intervalo acotado sobre el que se ha expandido la función. Aquí el rango también se ve afectado por la limitación del dominio. Reals] //IntervalForm y ∈ h−4. 3. 4i Mathematica Gráca de la función del apartado (4). 4. In[26]:= PwPlot [f [x]. Out[26]= -2. . {x. 4i Mathematica Rango de la función del apartado (4). In[24]:= Out[24]= IntervalForm[dom = Reduce [∃y (y = %) . Reals]] x ∈ h−3.

desarrollada en In[30]:= Out[30]= In[28] . 4.2. 2. 69 EJEMPLOS Mathematica En este caso se usa PwExpand para obtener el desarrollo de la función del apartado (5). +∞i . 3. Reals]] x ∈ h−4.6. Un análisis adicional permite obtener: x ∈ R − Z. 5} Mathematica Rango de la función del apartado (5). desarrollada en In[28] . In[29]:= Out[29]= IntervalForm[dom = Reduce [∃y (y = %) . Aquí. Reduce [∃x. 6i − {0. Reals] //IntervalForm y ∈ h−∞. In[28]:= Out[28]= PwExpand[f [x]. −2i ∪ {−1} ∪ h0.dom (y = % %) . como en el caso de la función del aparatado (2) y (4). 1. −4 < x < 6]  x−3   x−4    1     x−3   x−2    x−3   x−1   3−x    x 3−x x−1   3−x   x−2     −1    3−x    x−4   3−x    x−5   Null −4 < x < −3 −3 ≤ x < −2 −2 ≤ x < −1 −1 ≤ x < 0 0<x<1 1<x<2 2<x<3 3≤x<4 4<x<5 5<x<6 True Mathematica Dominio de la función del apartado (5). el cálculo del dominio está limitado por el intervalo acotado sobre el que se ha expandido la función.

-1. . 2. 6. LAS FUNCIONES PWEXPAND Y PWPLOT Mathematica Gráca de la función del apartado (5).25 1. −4.857143 Out[31]= -3. 5}}. 5. 6}. 1. -2. -1. AxesStyle → Directive[FontSize → 15] ] 3. 2. 0. -3.33333 1. -2. PlotStyle → Thick.70 CAPÍTULO 6. 4. 1. PlotRange → {Automatic. In[31]:= PwPlot[ f [x]. EndsSize → 4. {−5. {x. 3.

multiplicación y división de funciones se utilizan los símbolos convencionales para tales operaciones. Suma y resta Dadas las funciones: ( f (x) = halle f +g 7x − 3. −2 < x < 2 . x2 − 2. In[1]:= In[2]:= ( 7x − 3 −3 < x < 0 2x + 8 0 ≤ x < 5 ( 2x − 6 −2 < x < 2 x2 − 2 2 ≤ x < 4 f [x_]:= g[x_]:= Mathematica Seguidamente se calcula la suma. 0 ≤ x < 5 . Mathematica En primer lugar se denen las funciones f y g . resta. . In[3]:= (f + g)[x] 71 g(x) = 2x − 6.Capítulo 7 Álgebra de funciones Para representar la suma. −3 < x < 0 . 2x + 8.1. cuya notación especial es: ESC sc ESC . En el caso de la composición se ha insertado el símbolo: ◦. y ( y f − g. 7. 2 ≤ x < 4 .

la resta. Out[3]= ÁLGEBRA DE FUNCIONES  9x − 9 −2 < x < 0     4x + 2 0≤x<2  x2 + 2x + 6 2 ≤ x < 4    Null True Mathematica Y. 2 ≤ x < 4 . −2 < x < 2 . f /g y ( y g(x) = g/f .2. 1 − x2 . x + 1. In[5]:= In[6]:= ( Floor[x] −3 < x < 2 1 − x2 2≤x<4 ( 2x − 6 −2 < x < 2 x+1 2≤x<4 f [x_]:= g[x_]:= Mathematica Seguidamente se calcula la multiplicación.72 CAPÍTULO 7. . In[7]:= (f ∗ g)[x] 2x − 6. a continuación. In[4]:= Out[4]= (f − g)[x]  5x + 3 −2 < x < 0     14 0≤x<2  −x2 + 2x + 10 2 ≤ x < 4    Null 7. f × g . −3 < x < 2 . 2 ≤ x < 4 . Mathematica Para comenzar se denen las funciones f y g . True Multiplicación y división Dadas las funciones: ( f (x) = halle JxK.

se puede obtener la versión expandida del resultado previo. In[9]:= Out[9]= (f /g)[x]  bxc   2x−6 −2 < x < 2 1−x 2≤x<4   Null True Mathematica Aquí también se obtiene la versión expandida del resultado previo. MULTIPLICACIÓN Y DIVISIÓN Out[7]=    2x(bxc) − 6(bxc) −2 < x < 2 −x3 − x2 + x + 1 2 ≤ x < 4   Null True Mathematica Sise desea.2. In[8]:= Out[8]= PwExpand[ %]   −4(x − 3)     −2(x − 3)    0  2(x − 3)      −x3 − x2 + x + 1    Null −2 < x < −1 −1 ≤ x < 0 0≤x<1 1≤x<2 2≤x<4 True Mathematica A continuación se calcula f /g . In[10]:= Out[10]= PwExpand[ %]  1  −2 < x < −1  3−x    1  − 2(x−3) −1 ≤ x < 0    0 0≤x<1 1  1≤x<2  2(x−3)     1−x 2≤x<4     Null True 73 .7.

ÁLGEBRA DE FUNCIONES Mathematica Finalmente. Mathematica En primer lugar se denen las funciones f y g .74 CAPÍTULO 7. se calcula g/f . In[13]:= In[14]:= ( Floor[x2 ] −2 ≤ x < 0 2 − Abs[x] 0 ≤ x < 3 ( Sign[x − 2] −3 ≤ x < 1 Abs[x] + 3 1 ≤ x < 2 f [x_]:= g[x_]:= − 2) −3 ≤ x < 1 |x| + 3 1≤x<2 sgn(x . In[12]:= Out[12]= 7. In[11]:= Out[11]= (g/f )[x]  2(x−3)   bxc −2 < x < 0 ∨ 1 ≤ x < 2 1 2≤x<4 1−x   Null True Mathematica Nuevamente se obtiene la versión expandida del resultado previo.3. PwExpand[ %]   3−x       −2(x − 3) 2(x − 3)   1   1−x    Null −2 < x < −1 −1 ≤ x < 0 1≤x<2 2≤x<4 True Composición Dadas las funciones: ( f (x) = halle f ◦g Jx2 K −2 ≤ x < 0 2 − |x| 0 ≤ x < 3 y ( y g(x) = g ◦ f.

In[15]:= Out[15]= (f ◦ g)[x] ( bSign[x − 2]2 c −3 ≤ x < 1 Null True Mathematica He aquí la versión expandida del resultado previo. 75 COMPOSICIÓN Mathematica Seguidamente se calcula f ◦ g . In[16]:= Out[16]= PwExpand[ %] ( 1 −3 ≤ x < 1 Null True Mathematica Luego se calcula g ◦ f . la versión expandida del resultado previo.7.3. In[17]:= Out[17]= (g ◦ f )[x]   2   Sign bx c − 2      [|x|]  −Sign  | x2 | + 3    |2 − |x| | + 3     Null −1 < x < 0 1<x<3 √ − 2 < x ≤ −1 0<x≤1 True Mathematica Y nalmente. In[18]:= Out[18]= PwExpand[ %]  −1 −1 < x < 0 ∨ 1 < x < 3   √  4 − 2 < x ≤ −1  5−x 0<x≤1    Null True .

var ] devuelve la función inversa. 1] La función IFunction permite obtener la función inversa de una función 1 dada . IFunction[ fun. var Sintaxis de la función IFunction.Capítulo 8 Las funciones IFunction y Period [13. Mathematica Esta es la función inversa de f (x) = x2 con x ≤ 0. Mathematica 76 . x ( √ − x x≥0 Null La función True Period es igual a la función estándar de prueba 2 Periodic`PeriodicFunctionPeriod. 1 2 Tenga presente que IFunction no admite funciones que involucran mayor entero. Decimos que es de prueba porque esta función no está documentada en la ayuda del . si existe. In[1]:= Out[1]= n 2  IFunction x x ≤ 0 . la misma que permite calcular el periodo mínimo de una función periódica. de la función fun (cuyo dominio de- be especicarse usando de variable Piecewise).

con x ∈ [−3. x] 2π 3 8. In[2]:= Out[2]= Period[Sin[3x]. 3x3/2 + 2x1/2  2x + 1. f : h−4. x ≤ 0 . de la función x x − J K. f f (x) = es biyectiva. Hallar. Mathematica Cálculo del periodo de f (x) = sen(3x).var ] devuelve el periodo mínimo de una función periódica fun. f (x) = . Halle el periodo de f (x) = 7. Determinar si la función −2x + 1. Determinar si la función f (x) = x + √ x2 + 7. de variable var Sintaxis de la función Period. Halle el periodo de f (x) = sen(2x) sen(5x). 77 EJEMPLOS Period[ fun. 3]. la función inversa de 2|x| + x + 2 .1. si existe. si existe. x > 0 . r 4. 2 2 6. . 3. x2 + 1.1. f (x) = 5. Ejemplos 1. Hallar la inversa. 3] → [−9. es inyec- tiva. 13i. Determinar el dominio de la función función denida por f (x) = x2 − 6x + 8 para que la sea inyectiva. 2.8.

LAS FUNCIONES IFUNCTION Y PERIOD Para determinar la inyectividad y sobreyectividad de las funciones usaremos cuanticadores.−4<x1 ≤3∧−4<x1 ≤3 (f [x1 ] = f [x2 ] ⇒ x1 = x2 ) . CSquares (x − 3)2 − 1 .x2 }. Reals] Out[7]= False Mathematica Completando cuadrados en la regla de correspondencia de la función el apartado (3) concluimos que la misma es inyectiva para x ∈ h−∞. In[4]:=   Reduce ∀{x1 .−3≤x1 ≤3∧−3≤x1 ≤3 (f [x1 ] = f [x2 ] ⇒ x1 = x2 ) . Solución.x2 }. Reals Out[6]= True In[7]:= Reduce [∀y. +∞i. Reals Out[4]= True Mathematica Esto dene al función del apartado (2).78 CAPÍTULO 8.−9<y≤13 (∃x. por lo tanto no es biyectiva. In[5]:= f [x_]:=1 − 2x Mathematica La función denida en In[6]:= In[5] es inyectiva pero no sobreyectiva. In[3]:= f [x_] := x + √ x2 + 7 Mathematica El resultado obtenido usando cuanticadores indica que la función denida en In[3] es inyectiva. 3] o para x ∈ [3. In[8]:= Out[8]= x2 − 6x + 8/.−4<x≤3 (y = f [x])) . Mathematica Aquí se dene la función dada en el apartado (1).   Reduce ∀{x1 .

%}.   Reduce ∀{x1 . s In[9]:= f [x_]:= 2Abs[x] + x + 2 √ 3x3/2 + 2 x Mathematica Este es el dominio de la función denida en In[10]:= Out[10]= In[9] .x2 }. 79 EJEMPLOS Mathematica Aquí se dene la función dada en el apartado (4). Reals] x>0 Mathematica Según este resultado la función denida en In[11]:= In[9] es inyectiva. {x.1. Plot[{f [x]. x ( Out[12]= 1 x4 x>0 Null True Mathematica Gráca de la función denida en In[13]:= In[9] y su inversa. hn i IFunction f [x] x > 0 . AspectRatio → Automatic. Reals Out[11]= True Mathematica He aquí la función inversa de la función denida en In[12]:= In[9] .x1 >0∧x2 >0 (f [x1 ] = f [x2 ] ⇒ x1 = x2 ) . {0. 3}. 0. PlotRange → {Automatic. Reduce [∃y (y = f [x]) .8. PlotStyle → Thick] . 3}}.

80 CAPÍTULO 8. r1 = Reduce [∃x.5 1.x1 ≤0∧x2 ≤0 (f1 [x1 ] = f1 [x2 ] ⇒ x1 = x2 ) .5 2. In[17]:= f2 [x_]:=x2 + 1 .0 2.5 2. In[14]:= f1 [x_]:=2x + 1 Mathematica La subfunción denida en In[15]:= In[14] es inyectiva.0 0.x2 }.0 0.5 1.0 Mathematica Esto dene la primera subfunción de la función dada en el apartado (5).5 0.0 2. LAS FUNCIONES IFUNCTION Y PERIOD 3.5 3.   Reduce ∀{x1 . Reals] y≤1 Mathematica Esto dene la segunda subfunción de la función dada en el apartado (5).x≤0 (y = f1 [x]) . Reals Out[15]= True Mathematica Este es el rango de la subfunción denida en In[16]:= Out[16]= In[14] .0 1.0 Out[13]= 1.

2}} h h Show PwPlot . PlotStyle → Hue[1.6]]. r2 = Reduce [∃x. Reals] y>1 Mathematica La intersección de los rangos de las subfunciones es vacía. 0. 81 EJEMPLOS Mathematica La subfunción denida en In[18]:= In[17] también es inyectiva. 2}. 2} .1. −2. {x. Esto y los resultados obtenidos en Out[15] In[20]:= y Out[18] indican que existe inversa.x2 }.8.   Reduce ∀{x1 . Reals Out[18]= True Mathematica Este es el rango de la subfunción denida en In[19]:= Out[19]= In[17] . −2. {x. x2 + 1 x > 0 PwPlot[ %. {−2. In[22]:= ( i 2x + 1 x ≤ 0 . In[21]:= Out[21]= ( h 2x + 1 x ≤ 0 i IFunction .x1 >0∧x2 >0 (f2 [x1 ] = f2 [x2 ] ⇒ x1 = x2 ) . 0. Reduce[r1 ∧ r2] Out[20]= False Mathematica He aquí la función inversa de la función dada en el apartado (5). 2}.6. PlotRange → {{−2.x x2 + 1 x > 0  x−1  x≤1  √2 x−1 x>1   Null True Mathematica Gráca de la función dada en el apartado (5) y su inversa.x>0 (y = f2 [x]) . i AspectRatio → Automatic.

82 CAPÍTULO 8. 2. x 2 Mathematica Gráca de la función dada en el apartado (6) In[24]:= PwPlot x 2  − Floor[ x2 ]. Mathematica Para calcular el periodo de funciones que involucren funciones trigonométricas se recomienda usar la función TrigReduce. LAS FUNCIONES IFUNCTION Y PERIOD 1. 4} 1. −4. Out[24]= -2. {x. In[25]:= Out[25]= Period[ TrigReduce[ Sin[3x]Sin[5x] ]. x ] π . Out[22]= Mathematica Este es el periodo de la función dada en el apartado (6). In[23]:= Out[23]= Period x 2  − Floor[ x2 ]. 4.

0 2 3 4 5 6 . 83 EJEMPLOS Mathematica Gráca de la función dada en el apartado (7) In[26]:= PwPlot[ Sin[3x]Sin[5x].1.5 Out[26]= 1 -0. 0. 2π} ] 0. {x.5 -1.8.

. . .Fi → op ] op en realiza el intercambio de la la Fi realiza la operación elemental la la RowOperation[ m.{Fi1 → realiza las n operaciones elemenop1 . RowOperation[ m. F3 − F1 → F3 }] 84 . opn en las n las Fi1 . .Fi ↔ Fk ] i de la matriz m Fk RowOperation[ m. . . . {F2 − F1 → F2 . Fin de la matriz m por la la Sintaxis de la función RowOperation. Fin → opn } ] tales op1 . F1 + F2 → F1  1 1 0 0 0 1   1 1 2 1 1 0   1 0 1 0 1 0 1 1 0 0 0 1 RowOperation [ %. . . . Mathematica Operaciones elementales en una matriz ampliada para calcular la inversa.Capítulo 9 RowOperation ColumnOperation Las funciones La función RowOperation y permite realizar operaciones elementales en las las de una matriz dada.  In[1]:= Out[1]= In[2]:=   0 1 1 1 0 0    RowOperation  1 0 1 0 1 0  . . .

#  3 F1 − F243 → F1 . F1 − F2 → F1 ]  Out[4]= In[5]:=  1 0 1 0 1 0   1 0 0 0 1 1 0 0 −2 −1 −1 1   RowOperation %.85  Out[2]= In[3]:=  1 1 2 1 1 0    0 −1 −1 −1 0 0  0 0 −2 −1 −1 1 RowOperation [ %. 7 2 → F2 . −F2 → F2 ]  Out[3]= In[4]:=  1 1 2 1 1 0   1 0 0 0 1 1 0 0 −2 −1 −1 1 RowOperation [ %. F72 + F3 → F3 . 3  3 2F 1 2 3F3 F1 − 7 2 → F1 . In[7]:=   3 2 1 1 0 0   RowOperation  4 5 2 0 1 0  . 7F → F 3 24 " . F − → F . 2 1 4 0 0 1  F 4F1 2F1 1 → F . F2 − F123 → F2 . F − → F 2 3 3 . − F23 → F3   Out[5]= In[6]:= 1 0 1 0 1 0   0 1 1 1 0 0  0 0 1 12 12 − 21 RowOperation [ %. F2 − F3 → F2 }]  Out[6]=  1 1 0 0 − 21 12 2   1 1  0 1 0 2 − 2 12  1 0 0 1 12 − 21 2 Mathematica Es posible indicar todas las operaciones elementales al mismo tiempo. {F1 − F3 → F1 .

 In[8]:= Out[8]= en realiza el intercambio de la columna Cj ColumnOperation[ m. . .1 12 7 24 24 - 7 24 5 - ColumnOperation permite realizar operaciones elementales en las columnas de una matriz dada. . . . . Cjn de la matriz m realiza las Sintaxis de la función ColumnOperation.Cj ↔ Ck ] de la matriz m por la columna Ck n operaciones elementales op1 .Ci → op ] realiza la operación elemental la columna RowOperation[ m. . . . . opn en las n columnas Cj1 . LAS FUNCIONES 2 1 1 3 7 3 2 3 -1 3 3 10 3 3 -4 3 -2 3 1 5 7 2 7 -4 7 -6 7 1 0 0 ROWOPERATION Y COLUMNOPERATION 0 0 ® 1 0 0 1 Out[7]= 1 0 0 1 0 0 La función 7 24 7 -2 0 7 3 7 1 7 0 1 0 0 ® 0 1 0 1 0 0 1 3 4 -1 2 -1 4 12 1 1 24 .86 CAPÍTULO 9. . . Mathematica Esta es una operación elemental en la tercera columna de una matriz ampliada. C2 + C3 → C3  1 1 0 0 0 1   0 1 2 1 0 0   1 0 1 0 1 0 1 1 1 0 0 1 . Cjn → opn } ] j op   0 1 1 1 0 0    ColumnOperation  1 0 1 0 1 0  . ColumnOperation[ m.{Cj1 → op1 .

Mathematica De esta manera se calcula el l´ım √ x−1−3 x−10 x→10 In[1]:= Out[1]= Limit h√ i → 10 x−1−3 x−10 .6(17+12 2)] ∀x   √ 0 < |x − 10| < δ ⇒ | 87 x−1−3 x−10 − 1 6|  < . Mathematica Aquí se demuestra que l´ım x→10 x−1−3 x−10 = 1 6 √  In[2]:= √ Proof Lím x→10 ( x−1−3) x−10 = 1 6 . .>0 ∃ δ. Proof[ Lím f == L] devuelve x→x0 l´ım f = L x→x0 la demostración en términos de δ y del  Sintaxis de la función Proof. x 1 6 La función Proof permite obtener la demostración matemática del límite de una función dada.δ=Min[1. δ √ Out[2]= ∀.Capítulo 10 Proof y PlotNeighborhoods [2] Las funciones El Mathematica incorpora la función estándar Limit para encontrar el límite una función dada [14].

es decir. 6 17 + 12 2  0.88 CAPÍTULO 10.1. La función Mathematica Interpretación geométrica de Out[2] " In[3]:= .  = 0. r). LAS FUNCIONES PROOF Y PLOTNEIGHBORHOODS PlotNeighborhoods permite obtener la interpretación geométrica de la demostración de cierto límite para un valor jo de  y un valor de δ que depende de . sin utilizar un delta inicial RationalOnly False devuelve r Opciones incorporadas en la función Proof. para  = 0. 10 11 Opciones Opción InitialDelta Val. δ = m´ın(δ1 .1. por defecto Descripción 1 asigna un valor para un delta inicial DirectProof False realiza una demostración directa del límite. √  x−1−3 1 PlotNeighborhoods Lím = .266667 1 6 Out[3]= 0.1. x→10 x − 10 6 # h  √  i δ = Min 1.0666667 9 10. siendo un número racional .

1. " In[5]:= √  x−1−3 1 PlotNeighborhoods Lím = .266667 1 6 Out[5]= 0. 89 OPCIONES Mathematica Esta es una demostración muy similar a la hecha en In[2] . la diferencia esta en el delta inicial. 3 35 + 6 34  0.0666667 19 2 Mathematica He aquí la demostración de l´ım √ x−1−3 x−10 x→10 √  In[6]:= Out[6]= Proof Lím x→10 ∀.1. para  = 0.1. δ. x→10 x − 10 6 # h  √  i 1 δ = Min 2 . √  In[4]:= Out[4]= Proof Lím ( x−1−3) x−10 x→10 ∀.  = 16 .3(35+6 = √ 2 1 6 .  = 0.10.δ= ( x−1−3) x−10 = 1 6 sin utilizar un delta inicial.>0 ∃δ. InitialDelta 34)] ∀x  → 1 2  √ 0 < |x − 10| < δ ⇒ | x−1−3 x−10 − Mathematica Interpretación geométrica de Out[4] . δ. . .>0 ∃δ. DirectProof → True  216 362 +12+1 21 2 10 ∀x 0 < |x − 10| < δ ⇒ | √ x−1−3 x−10 − 1 6|  < 1 6|  < .δ=Min[ 1 .

1.1. RationalOnly → True √  ∀.1.0666667 1.90 CAPÍTULO 10.1. x − 10 6 216 362 +12+1 0.  = 0. δ. para  = 0. √ ( x−1−3) x−10 = 16 . " In[9]:= PlotNeighborhoods Lím x→10 #    δ = Min 1.δ=Min[1.266667 1 6 Out[7]= 0. x − 10 6  < .  = 0. 203 √  x−1−3 1 = . donde δ = m´ın 1. para  = 0.  ] ∀x 0 < |x − 10| < δ ⇒ | 203 x−1−3 x−10 −  1 6| Mathematica Interpretación geométrica de Out[8] . .4375  1 = 16 .>0 ∃δ. LAS FUNCIONES PROOF Y PLOTNEIGHBORHOODS Mathematica Interpretación geométrica de Out[6] .5625 Mathematica Esta es la demostración de l´ım 10 √ x→10  In[8]:= Out[8]= Proof Lím x→10 x−1−3 x−10 18. 203  . √ " In[7]:= PlotNeighborhoods Lím x→10 # δ=  x−1−3 1 = .

1.x=10+ δ 0 < |x − 10| < δ ∧ | x−10 − 14 | ≥  8δ 2 2δ Mathematica Interpretación geométrica de Out[10] . 91 NEGACIÓN DE LÍMITES 0. δ    √ x−1−3 ∃. se obtiene la negación respectiva.99951 10 10.0005 10.1.= δ+24 − √√δ+18 ∀δ. x−1−3 x−10 x→10 Proof Lím ( x→10 x−1−3) x−10 = 14 . 10 + δ 2 √  x−1−3 1 = .0666667 9.δ>0 ∃x. . Mathematica Puesto que l´ım √ √  In[10]:= Out[10]= 6= 14 . 2δ . Negación de límites La función Proof también devuelve la negación de la denición del límite de una función cuando el límite no es correcto.2. " In[11]:= PlotNeighborhoods Lím x→10 # δ = 0. para δ = 0.10.266667 1 6 Out[9]= 0. = x − 10 4 δ+24 8δ − √ √ 2 δ+18 .2.

1 PROOF Y PLOTNEIGHBORHOODS .208103 9. LAS FUNCIONES 0.92 CAPÍTULO 10.9 10 10.05 10.291897 1 4 Out[11]= 0.

CPlot incorpora la función estándar D para encontrar la derivada. de una función dada [8]. de cualquier orden.Capítulo 11 Las funciones CIntervals El Mathematica y MIntervals. Mathematica De esta manera se calculan f 0 (x) y f 00 (x). {x. MPlot. donde f (x) = sin(2x) + tan(3x) In[1]:= Out[1]= In[2]:= Out[2]= D[Sin[2x] + Tan[3x]. 2}] 18 Tan[3x]Sec[3x]2 − 4 Sin[2x] La función Proof permite obtener la demostración matemática del límite de una función dada. x] 2 Cos[2x] + 3 Sec[3x]2 D[Sin[2x] + Tan[3x]. 93 .

pp. 5.html [10] Wolfram Mathematica Documentation Center. y Velesmoro. 297-305.net. D.Referencias Question. Los Alamitos.com/mathematica/ref/Exists.wolfram. 94 . Exists. [5] Wikipedia.net/libros-gratis/2005/ [3] Ipanaqué.eumed.html [1] FAQ overflow. Logic: truth tables. http://reference. ContourPlot. http: //reference.org/wiki/ Mathematica.1.wordpress. Mathematica BooleanTable. R.html Element. http:// reference.com/2010/03/22/logic-truth-tables [4] Rip's Applied Mathematics Blog..pdf 2005. A.com/mathematica/ref/D. ISBN: 978-07695-3243-1. California. IEEE Com- [2] Iglesias. http://www. 2012. Eumed.html [9] Wolfram Mathematica Documentation Center. http://es.wolfram. e Ipanaqué.faqoverflow. [8] Wolfram Mathematica Documentation Center. http://reference. mathematica/5852. html [7] Wolfram Mathematica Documentation Center. R.com/mathematica/ref/Element. R.com/mathematica/ref/BooleanTable.wolfram.. ric2/ric2. puter Society Press. Breve Manual del Mathematica http://www. 2010. http://reference.wolfram. http: //rip94550.wolfram. html [6] Wolfram Mathematica Documentation Center.wikipedia.com/mathematica/ref/ContourPlot.com/ Symbolic Proof of Limits of Functions in Mathematica With Applications to Mathematics Education.

TraditionalForm.wolfram.wolfram.com/mathematica/ref/Hold.wolfram.wolfram. http://reference. Some Notes On Internal Implementation. http: //reference. http://reference.com/mathematica/ref/ TraditionalForm.html InverseFunction. ¾Por qué Mathematica?.html [15] Wolfram Mathematica Documentation Center. [16] Wolfram Mathematica Documentation Center.html [14] Wolfram Mathematica Documentation Center.html Reduce.com/ mathematica/tutorial/SomeNotesOnInternalImplementation. Limit.com/mathematica/ref/Reduce.html [20] Wolfram Mathematica Documentation Center.wolfram. RegionPlot. PiecewiseExpand.com/mathematica/ref/ForAll. wolfram.wolfram.html [19] Wolfram Mathematica Documentation Center.com/mathematica/ref/Plot. http: //reference.html [11] Wolfram Mathematica Documentation Center.95 REFERENCIAS ForAll. http: //reference. [12] Wolfram Mathematica Documentation Center.com/mathematica/ref/ InverseFunction. http://reference. http: //reference. http://reference.wolfram.com/mathematica/compare-mathematica [21] Wolfram Mathematica 9.html [17] Wolfram Mathematica Documentation Center.wolfram. http://reference.wolfram. http://www. Hold.wolfram. Plot. .com/mathematica/ref/Limit.com/mathematica/ref/ PiecewiseExpand.com/mathematica/ref/RegionPlot.html [13] Wolfram Mathematica Documentation Center. html [18] Wolfram Mathematica Documentation Center. http://reference.