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

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

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

La descripción detallada de cada una de las funciones del paquete BachMath se hace a partir del capítulo dos. mediante la presentación de variados e interesantes ejemplos. Relaciones y Funciones. Derivadas e Integrales. Matrices y Determinantes. como herramienta. Límites. incluye un lenguaje de programación propio. Mathematica iv . En este libro se presenta el nuevo paquete guaje de programación del BachMath. esto gracias a la excelente interfaz que incluye. Éste paquete incorpora una serie de nuevas funciones. para elaborar los llamados paquetes. Ecuaciones e Inecuaciones en R. Uno de los softwares de uso más popular en Mathematica . 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. 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. así como ligeras modicaciones a ciertas funciones están- 1 dar . 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. en la enseñanza-aprendizaje de la matemática en centros de educación superior está ganando terreno en diversos lugares del mundo. Además.Prólogo El uso de software especializado. codicado en el len- Mathematica. que posibilita extender las capacidades del mismo y adaptarlo a las diversas necesidades de los usuarios.

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

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

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

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

• Los argumentos de todas las funciones en el Mathematica se colocan entre corchetes.342308 Mathematica Aquí otra vez.333333 1.1. .3.3. Algunas funciones matemáticas El Mathematica incluye una gran colección de funciones matemáticas. ArcSec[x]. Sec[x]. ArcTan[x]. Cot[x].3./78 0. ArcCot[x]. x] Sin[x]. la presencia del punto decimal hace que el Mathematica dé un resultado numérico aproximado. n] Abs[x] Sign[x] Floor[x] n! Exp[x] Log[x] Log[b. ArcCos[x]. Tan[x]. In[12]:= Out[12]= 26. CÁLCULOS CON EL Out[11]= MATHEMATICA 5 0. Cos[x]. Csc[x] ArcSin[x]. Dos puntos importantes acerca de funciones en el Mathematica. • Los nombres de las funciones incorporadas en el Mathematica empiezan con letra mayúscula. 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. Sqrt[x] Surd[x.

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

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

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

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.

ó 

e 1 e2 a c1 es ingresar La fun- notación interpretada como c2 Piecewise[{{e1 . 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. Mathematica Aquí tenemos una secuencia de teclas que puede usarse para ingresar ∼ ((p ∧ q) → r). ESC pw ESC EL MATHEMATICA operador para ciones  trozos.12 CAPÍTULO 1. cálculo y matrices. 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. 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 }. c2 }}] CTRL[t] (Control-Espacio) retorna de una posición especial Formas de ingresar notaciones especiales para lógica. {e2 .

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

.

1 2 3 .

.

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

1 0 1 .

.

3 2 1 .

.

.

.

.

. .

.

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

14 . 12 . x = 2. In[41]:= ESC pw ESC CTRL[←-] x + 1 TAB − 1 < x < 2 TAB 1 TAB x == 2 CTRL[←-] 1 Out[41]= 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. Las más usada es desde el menú Help.] 3 CTRL[←-] 1 TAB 0 TAB 1 CTRL[←-] 3 TAB 2 TAB 1 CTRL[t] ) ] Out[40]=    − 14 . .4. − 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. 3 2 1  In[40]:= Inverse [ ( CTRL[.] TAB 1 TAB 2 CTRL[. −1 < x < 2 .14 CAPÍTULO 1.   He aquí una secuencia de teclas que puede usarse para ingresar 1. EL MATHEMATICA Mathematica −1 1 2 3   Esta es una secuencia de teclas que puede usarse para ingresar  1 0 1  . −1. de la barra de menúes. 14 . 2 < x < 3 . el cual puede ser consultado en diferentes formas. 14 .    1 − x. 21 . − 14 Mathematica    x + 1. 14 .

Para ello puede utilizarse el símbolo especial ?.z ] gives the logarithm to z (logarithm base b.4.1. In[43]:= ? Log Log[z ] gives the natural logarithm of Log[b. Mathematica Esto da información de la función incorporada Log. También es factible buscar ayuda desde un cuaderno de trabajo. LA AYUDA DEL MATHEMATICA Mathematica Imagen del Documentation Center del 15 Mathematica.  to base e ). ?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. .

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.NumericFunction. 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.  to base e ).z ] gives the logarithm to base b. Mathematica Es posible conseguir información adicional usando ??. In[44]:= ?? Log Log[z ] gives the natural logarithm of z (logarithm Log[b.Protected} Mathematica Mathematica cuyos nombres comiencen con Log. In[45]:= ? Log* ∧ 1.5. 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. Cuando hay más de un objeto. . Haciendo clic sobre este hipervínculo nos lleva directamente a la información de la misma en el Documentation Center. ya ea cerran- do la ventana principal o eligiendo la opción Exit del menú File de la barra de menúes.16 CAPÍTULO 1. Attributes[Log]={Listable.

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

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

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

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

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

Por otra parte. 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.22 CAPÍTULO 2. 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. convirtiéndose así en una de las razones para ingresar los esquemas lógicos como cadenas de caracteres. Mathematica Esta es la tabla de verdad del esquema [(p → q)∨ ∼ t] ↔ (p∧ ∼ q). 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. El uso de las tres últimas sólo es válido con el paquete BachMath. por este motivo se ha creído conveniente permitir el uso de tales signos con la función TruthTable. automáticamente es colocado el operador: ⇒. entre comillas.

.2. 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. In[4]:= TruthTable[ [p→(r∨ ∼q)]↔[(q→∼p)∨(∼r→∼p)] ] Out[4]= 2.2. Opción AlternateRowColors Val. 23 OPCIONES Out[3]= Mathematica Cuando el esquema es una equivalencia. automáticamente es colocado el operador: ⇔.2. Opciones La función TruthTable incluye un conjunto de opciones que permiten cam- biar la presentación de la tabla de verdad.

In[5]:= TruthTable[ [(∼p∨q)∧(∼q→p)]↔q. HighlightMainColumn → False. y si el esque- ma es una equivalencia. 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. lo que facilita al usuario enfocarse en una sola la a la vez. In[6]:= Out[6]= TruthTable[ [(∼p∨q)∧(∼q→p)]↔q. 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. Mathematica Esta es una tabla con las las en dos colores alternados.24 CAPÍTULO 2. ValidateQ → False] . cambia → por ⇒. cambia ↔ ShowRows All por ⇔ muestra sólo las las especicadas en una lista Opciones incorporadas en la función TruthTable. Opción LA FUNCIÓN TRUTHTABLE Val.

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

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

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

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

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

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

Capítulo 3 Soluciones diversas en 3. x2 . La función estándar La función R Element [9] Element permite averiguar si un elemento pertenece o no a cierto conjunto. In[1]:= Element[Pi.1. 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. }. . 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. Mathematica Puesto que el valor de la constante π es un número real. Element[x. . se obtiene como resultado True. dom] ó x ∈ dom Element[{x1 .

1. SOLUCIONES DIVERSAS EN R Mathematica Esta es una secuencia de teclas para ingresar la entrada previa en la forma π ∈ Reals. Por razones similares se ha incluido el dominio Irrationals. x ∈ A} Out[5]= {True.32 CAPÍTULO 3. Note la salida obtenida cuando se usa un símbolo.1. False. In[2]:= ESC pi ESC ESC el ESC Reals Out[2]= True Mathematica Puesto que √ √ In[3]:= 2 es un número real. se ha creído conveniente hacer una ligera modicación a dicha función de tal manera que admita el uso de conjuntos nitos. 7. In[4]:= A = {1. 4 ∈ A. 9}. In[5]:= {3 ∈ A. 2 ∈ Integers Out[3]= False 3. x = 1 ∨ x = 3 ∨ x = 5 ∨ x = 7 ∨ x = 9} Mathematica Vericando que √ In[6]:= √ 2 es un número irracional. 5. se obtiene como resultado False. 3. 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. 2 ∈ Irrationals Out[6]= True . Mathematica Uso de Element con un conjunto nito.

2.2. se presentarán las salidas en el formato proporcionado por la función TraditionalForm. 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. Es posible obtener el mismo efecto seleccionando la celda correspondiente a la salida en cuestión y presionando. In[7]:= TraditionalForm[Sin[x]] Out[7]//TraditionalForm= sin(x) Mathematica Dando formato a una desigualdad triangular. a continuación. en adelante. Basándonos en esto. Mathematica Dando formato a una función trigonométrica. 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. LA FUNCIÓN ESTÁNDAR 3. TraditionalForm[expr] imprime expr en una forma bastan- te parecida con la notación matemática tradicional Sintaxis de la función TraditionalForm.3.

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

In[11]:= Out[11]= Exists[x. LA FUNCIÓN ESTÁNDAR REDUCE Exists[x. Mathematica Esto establece que existe una solución positiva para la ecuación ax + b = 0. 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.3. .5. 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). cond.5. . In[12]:= ESC ex ESC CTRL[−] x CTRL[ t] (a t x + b == 0 ESC and ESC x > 0) Out[12]= 3. x2 . . ∃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. expr] 35 representa la declaración que existe un valor de x para el cual expr es verdadera Exists[x. }.

vars. Reduce[expr. Mathematica Esta es la solución de la ecuación 3x4 + 5x2 − 6 = 0. 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.36 CAPÍTULO 3. In[13]:= Out[13]=   Reduce 3x4 + 5x2 − 6 == 0. dom] hace la reducción en el dominio dom Sintaxis de la función Reduce. 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. Reals r  r    √ √ 1 1 x<− 6 97 − 5 ∨ x > 6 97 − 5 97 − 5  ∨ x = . x. 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. In[15]:= Out[15]=   Reduce 3x4 + 5x2 − 6 > 0. In[14]:= Out[14]=   Reduce 3x4 + 5x2 − 6 == 0. x.

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

−1 ≤ x < 1 ∨ x = 2 ∨ 15 ≤ x < 27 La función La función hematica. 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.1 obtenida con Reduce.38 CAPÍTULO 3. Reals Out[20]= Out[21]= 3. 4 x + 9 (x2 + 7x − 8) (x − 27)3 (x3 − 27) i x. In[19]:= Out[19]=   2   x −1 Reduce Hold < 0 . pero afectando la inecuación con Hold.6. √ 3 h √27 − x√ x2 − 14x − 15(x − 2)6 7 x + 8(x − 3)5 √ Reduce ≤ 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). x. 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 . Out[18]= SOLUCIONES DIVERSAS EN R x<1 Mathematica Esta es la solución de la inecuación 3. 4 2 + 7x − 8) (x − 27)3 (x3 − 27) x + 9 (x i x.

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

In[26]:= Out[26]= ¬∀x.x∈Integers∧x>0 (x2 − 6x + 5 = 0) Out[24]= False Mathematica Reducción para el cuanticador existencial. In[25]:=   Reduce ∃x.   Reduce ∃x.x∈Integers∧x>0 (x2 − 6x + 5 = 0) ∃x.x∈Z∧x>0 x2 − 6x + 5 6= 0 Mathematica Negación para el cuanticador existencial. In[27]:= Out[27]= ¬∃x. Mathematica Reducción para el cuanticador universal.40 CAPÍTULO 3.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 6= 0 Out[28]= True . 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 = 0) ∀x. In[24]:=   Reduce ∀x.

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

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

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

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

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

2 .

o .

x −4 .

A = .

2x .

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

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

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

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

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

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

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

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

+¥\ : R Asymptotes : True : False : False Verticals : 8x + 3 Š 0. 0D Ü X3. : 8H0. x - 9 9 21457 2 . ésta constituye la partición del dominio. y] . 6}.1 Mathematica En este caso se usa la función N para mostrar los valores de la tabla en forma numérica. 27 .25 9 -5 45 - 3 -5 - 25 - 9 35 9 5 133 10 48707 70 . Points → − 25 .3 Š 0< Horizontals : 8< Obliques : 8<    Sketch Eq.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. x. {y.54 CAPÍTULO 4. In[8]:= Eq = x3 − 3xy + y 3 = 0. −4. 5 Out[7]= Ver gura 4. {x. − 12 . x3 In[5]:= Eq = y 2 = In[6]:= Discussion[Eq. 5}. 0L< : 8H0. y] Intercepts x-Axis y-Axis Out[6]= . x. In[9]:= Discussion[Eq. 0L< Symmetries x-Axis y-Axis Origin In[7]:= x2 −9 Extension Domain Range : x Î X-3. 4. −1. −5. x .

79508 2 1 -3 -2 -1 1 2 3 4 5 6 x -1 -2 -3 -4 -5 Figura 4.18073 0.75 -1.38366 ÈÈ 2.95137 4.02372 5.5 -3. −4. -1. 3 4 x . 3.10715 0.5 1. 32 .2 y 5 4 3 x y -2.5 -1. 21 .53209 1.4.353553 -0.63212 ÈÈ 3.347296 ÈÈ 1.63212 4.0837246 ÈÈ 1.5 ÈÈ -2.5 -0.38366 -1.   Points → −4.1. 4 //N Out[10]= Ver gura 4.42705 ÈÈ 0. −2.1: Tabulación y gráca de y2 = x3 x2 −9 . −4.87939 ÈÈ 0. 43 . {y.3956 1. 0L< Extension : R : R Domain Range Asymptotes : False : False : False Verticals : 8< Horizontals : 8< Obliques : 8x + y + 1 Š 0<  Sketch Eq.79508 ÈÈ 2. 4}.119523 3.927051 2.5 -2. 1. 55 OPCIÓN Intercepts x-Axis y-Axis Out[9]= Symmetries x-Axis y-Axis Origin In[10]:= : 8H0.190576 ÈÈ 1. -2. 2. -0. {x.02549 -2.119523 ÈÈ 0. 4}.98407 2 1 -4 -3 -2 -1 1 2 -1 -2 -3 -4 Figura 4. -4.02372 ÈÈ 3. -2.26446 ÈÈ 0. 0L< : 8H0.353553 ÈÈ 0.58618 ÈÈ 0. y 4 3 x y -4.2: Tabulación y gráca de x3 − 3xy + y 3 = 0. -3. 1.

Reals In[2]:= −1 ≤ x ≤ 1  Reduce ∃x 1 2   < x2 + y 2 ≤ 1 . −1.ymax }] devuelve la gráca de la región del plano sobre la cual pred es V Sintaxis de la función IneqPlot.ymin.xmin.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. {y. Reals Out[2]= −1 ≤ y ≤ 1 In[1]:= Out[1]= 1 2 < x2 + y 2 ≤ 1. 1} Out[3]= Ver gura 5. 1}. Mathematica He aquí la región del plano cuyos puntos satisfacen In[3]:= IneqPlot 1 2 1 2 < x2 + y 2 ≤ 1.1 56 .  < x2 + y 2 ≤ 1. −1.xmax }. Mathematica Usando cuanticadores se puede hallar el dominio y rango de  Reduce ∃y 1 2   < x2 + y 2 ≤ 1 . {x. IneqPlot[pred.{x. {y.

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

.2 0.5 0.5 1.5 -1.4 0.6 y > x 2 ∧ y < 1 − x2 .6 0.0 -0.6 -0.2: Región denida mediante 0.5 -1.4 0.0 0.0 -0. 1.0 Figura 5.1: Región denida mediante 1 2 < x2 + y 2 ≤ 1. LA FUNCIÓN INEQPLOT 1.4 -0.2 Figura 5.2 -0.58 CAPÍTULO 5.8 0.0 0.

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

Thick] ] 5.5. 0. 1. TicksStyle → Directive[RGBColor[0. 63 OPCIONES 6.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. 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. AxesStyle → Directive[RGBColor[0. Mathematica Gráca de una función obtenida al incluir algunas funciones propias de Plot.5.5 3. −2. Opciones PwPlot incorpora todas las opciones de la función estándar Plot [16].1. 0.5].5 -0.5.5 3. 0. EndsSize → 5. 0. 0. 3. conjuntamente con la opción EndsSize (para ingresar la notación especial correspondiente a Piecewise vea In[41] ( de la página 14).1. {x.5. 0]. por defecto Descripción EndsSize 2.25. PlotRange → All. Out[9]= 2.5 1.5 1.5 0. 5}. . Opción Val. Adicionalmente.6.-0. 2. x − Floor[2x] −1 ≤ x < 1 x 1≤x<4 2 + Floor[x] In[8]:= f [x_]:= In[9]:= PwPlot[ f [x].015]. PlotStyle → {Thickness[0. 4. 0]}. RGBColor[0.5 -1. 4. 20].

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

−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).6. Reals] //IntervalForm . Reals]] x ∈ h−8.0 1. desarrollada en In[16]:= In[14] . 65 EJEMPLOS 2. In[15]:= Out[15]= IntervalForm[dom = Reduce [∃y (y = %) .dom (y = % %) . desarrollada en In[14] .5 Out[12]= 1. 8i − {−4} Mathematica Rango de la función del apartado (2). En este caso el cálculo del dominio está limitado por el intervalo acotado sobre el que se ha expandido la función. Reduce [∃x.2.5 2. In[14]:= Out[14]= PwExpand[f [x].0 0.5 -2 -1 1 2 3 4 5 Mathematica Denición de la función del apartado (2). 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). Es preciso realizar un análisis adicional para obtener: x ∈ R − {−4}.

1} Mathematica Gráca de la función del apartado (2). 3. In[19]:= Out[19]= IntervalForm[dom = Reduce [∃y (y = f [x]) . In[20]:= Out[20]= Reduce [∃x. −8. 0. Out[17]= -4. 8}] 1. Mathematica Denición de la función del apartado (3). {x. Out[16]= LAS FUNCIONES PWEXPAND y ∈ {−1.66 CAPÍTULO 6. Reals] //IntervalForm y ∈ [1. -1. In[17]:= PwPlot [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).dom (y = f [x]) . +∞i Y PWPLOT . Reals]] x∈R Mathematica Rango de la función del apartado (3).

In[21]:= PwPlot [f [x]. 0}] Out[21]= 1. Mathematica Denición de la función del apartado (4). 67 EJEMPLOS Mathematica Gráca de la función del apartado (3).6.2. 2] = 0 2x − Floor[x + 1] Mod[Floor[x]. −2. 3}. {x. 2] 6= 0 Mathematica En este caso se usa PwExpand para obtener el desarrollo de la función del apartado (4). ( In[22]:= f [x_]:= Floor[x] Mod[Floor[x]. −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 . 1. AxesOrigin → {0. In[23]:= Out[23]= PwExpand[f [x].

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

−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. 69 EJEMPLOS Mathematica En este caso se usa PwExpand para obtener el desarrollo de la función del apartado (5). 3.2. como en el caso de la función del aparatado (2) y (4). In[29]:= Out[29]= IntervalForm[dom = Reduce [∃y (y = %) . +∞i . Reals]] x ∈ h−4. Un análisis adicional permite obtener: x ∈ R − Z.dom (y = % %) . 5} Mathematica Rango de la función del apartado (5). Reals] //IntervalForm y ∈ h−∞.6. Reduce [∃x. 6i − {0. 4. −2i ∪ {−1} ∪ h0. In[28]:= Out[28]= PwExpand[f [x]. 2. desarrollada en In[28] . desarrollada en In[30]:= Out[30]= In[28] . Aquí.

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

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

2 ≤ x < 4 . −2 < x < 2 . f × g . −3 < x < 2 . 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. 2 ≤ x < 4 . . In[7]:= (f ∗ g)[x] 2x − 6. 1 − x2 . Mathematica Para comenzar se denen las funciones f y g . In[4]:= Out[4]= (f − g)[x]  5x + 3 −2 < x < 0     14 0≤x<2  −x2 + 2x + 10 2 ≤ x < 4    Null 7.2. True Multiplicación y división Dadas las funciones: ( f (x) = halle JxK. la resta.72 CAPÍTULO 7. f /g y ( y g(x) = g/f . 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. x + 1. a continuación.

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.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 . 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.

se calcula g/f . In[12]:= Out[12]= 7. Mathematica En primer lugar se denen las funciones f y g .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. ÁLGEBRA DE FUNCIONES Mathematica Finalmente. 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 .74 CAPÍTULO 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. 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[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. la versión expandida del resultado previo.7. In[18]:= Out[18]= PwExpand[ %]  −1 −1 < x < 0 ∨ 1 < x < 3   √  4 − 2 < x ≤ −1  5−x 0<x≤1    Null True . In[16]:= Out[16]= PwExpand[ %] ( 1 −3 ≤ x < 1 Null True Mathematica Luego se calcula g ◦ f . 75 COMPOSICIÓN Mathematica Seguidamente se calcula f ◦ g .

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

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

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

0. AspectRatio → Automatic.1. 3}.8. Reals Out[11]= True Mathematica He aquí la función inversa de la función denida en In[12]:= In[9] . PlotRange → {Automatic. {0.x2 }. Plot[{f [x]. PlotStyle → Thick] . Reduce [∃y (y = f [x]) . {x. Reals] x>0 Mathematica Según este resultado la función denida en In[11]:= In[9] es inyectiva.   Reduce ∀{x1 . 79 EJEMPLOS Mathematica Aquí se dene la función dada en el apartado (4). hn i IFunction f [x] x > 0 . 3}}. %}. 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.x1 >0∧x2 >0 (f [x1 ] = f [x2 ] ⇒ x1 = x2 ) . 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] .

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

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

In[25]:= Out[25]= Period[ TrigReduce[ Sin[3x]Sin[5x] ]. −4. x 2 Mathematica Gráca de la función dada en el apartado (6) In[24]:= PwPlot x 2  − Floor[ x2 ]. 4. Out[22]= Mathematica Este es el periodo de la función dada en el apartado (6). 2. 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. {x. In[23]:= Out[23]= Period x 2  − Floor[ x2 ]. x ] π . Out[24]= -2.82 CAPÍTULO 8. 4} 1.

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

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

#  3 F1 − F243 → F1 . F72 + F3 → F3 . 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 %. F − → F . 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. F2 − F123 → F2 .85  Out[2]= In[3]:=  1 1 2 1 1 0    0 −1 −1 −1 0 0  0 0 −2 −1 −1 1 RowOperation [ %. 3  3 2F 1 2 3F3 F1 − 7 2 → F1 . −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 [ %. 7F → F 3 24 " . In[7]:=   3 2 1 1 0 0   RowOperation  4 5 2 0 1 0  . {F1 − F3 → F1 . 2 1 4 0 0 1  F 4F1 2F1 1 → F . 7 2 → F2 .

. .86 CAPÍTULO 9. . Mathematica Esta es una operación elemental en la tercera columna de una matriz ampliada. .1 12 7 24 24 - 7 24 5 - ColumnOperation permite realizar operaciones elementales en las columnas de una matriz dada. .  In[8]:= Out[8]= en realiza el intercambio de la columna Cj ColumnOperation[ m. Cjn → opn } ] j op   0 1 1 1 0 0    ColumnOperation  1 0 1 0 1 0  .Cj ↔ Ck ] de la matriz m por la columna Ck n operaciones elementales op1 . . 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 . .Ci → op ] realiza la operación elemental la columna RowOperation[ m. .{Cj1 → op1 . 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 . ColumnOperation[ m. . . opn en las n columnas Cj1 . Cjn de la matriz m realiza las Sintaxis de la función ColumnOperation. . .

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.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].δ=Min[1.6(17+12 2)] ∀x   √ 0 < |x − 10| < δ ⇒ | 87 x−1−3 x−10 − 1 6|  < . 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 . δ √ Out[2]= ∀. 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 ∃ δ. .

√  x−1−3 1 PlotNeighborhoods Lím = .1.1. r).  = 0.0666667 9 10. para  = 0.266667 1 6 Out[3]= 0.1.88 CAPÍTULO 10. por defecto Descripción 1 asigna un valor para un delta inicial DirectProof False realiza una demostración directa del límite. siendo un número racional . 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 . δ = m´ın(δ1 . 10 11 Opciones Opción InitialDelta Val. sin utilizar un delta inicial RationalOnly False devuelve r Opciones incorporadas en la función Proof. x→10 x − 10 6 # h  √  i δ = Min 1. es decir. La función Mathematica Interpretación geométrica de Out[2] " In[3]:= . 6 17 + 12 2  0.

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

para  = 0.0666667 1.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. √ ( x−1−3) x−10 = 16 . " In[9]:= PlotNeighborhoods Lím x→10 #    δ = Min 1. x − 10 6 216 362 +12+1 0. 203  . x − 10 6  < . δ.1. .1.>0 ∃δ. donde δ = m´ın 1.δ=Min[1.1.1.4375  1 = 16 .  = 0. para  = 0.266667 1 6 Out[7]= 0. RationalOnly → True √  ∀. √ " In[7]:= PlotNeighborhoods Lím x→10 # δ=  x−1−3 1 = .  = 0.  ] ∀x 0 < |x − 10| < δ ⇒ | 203 x−1−3 x−10 −  1 6| Mathematica Interpretación geométrica de Out[8] . LAS FUNCIONES PROOF Y PLOTNEIGHBORHOODS Mathematica Interpretación geométrica de Out[6] . 203 √  x−1−3 1 = .90 CAPÍTULO 10.

se obtiene la negación respectiva. 10 + δ 2 √  x−1−3 1 = .x=10+ δ 0 < |x − 10| < δ ∧ | x−10 − 14 | ≥  8δ 2 2δ Mathematica Interpretación geométrica de Out[10] . 2δ . " In[11]:= PlotNeighborhoods Lím x→10 # δ = 0. Mathematica Puesto que l´ım √ √  In[10]:= Out[10]= 6= 14 . x−1−3 x−10 x→10 Proof Lím ( x→10 x−1−3) x−10 = 14 .0666667 9.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.0005 10. para δ = 0.1. 91 NEGACIÓN DE LÍMITES 0.2. .10.δ>0 ∃x.266667 1 6 Out[9]= 0. = x − 10 4 δ+24 8δ − √ √ 2 δ+18 .99951 10 10.= δ+24 − √√δ+18 ∀δ. δ    √ x−1−3 ∃.1.

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

x] 2 Cos[2x] + 3 Sec[3x]2 D[Sin[2x] + Tan[3x]. MPlot. Mathematica De esta manera se calculan f 0 (x) y f 00 (x). {x. 93 . CPlot incorpora la función estándar D para encontrar la derivada. 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. de cualquier orden.Capítulo 11 Las funciones CIntervals El Mathematica y MIntervals. de una función dada [8]. donde f (x) = sin(2x) + tan(3x) In[1]:= Out[1]= In[2]:= Out[2]= D[Sin[2x] + Tan[3x].

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

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

Sign up to vote on this title
UsefulNot useful