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

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

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

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

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

2 CAPÍTULO 1.3 Mathematica Con ∗ se indica el producto de dos números. 1. In[4]:= Out[4]= 5.3.7 20.6 3.72 Mathematica Con el espacio en blanco también se indica el producto de dos números. In[3]:= Out[3]= 5. no colocaremos la combinación SHIFT[←-] .6 ∗ 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.6 + 3. Aritmética El usuario puede realizar operaciones artiméticas con el Mathematica como lo haría con una calculadora. In[2]:= Out[2]= 5. Cálculos con el Mathematica 1. pero el lector debe entender que todas las entradas tendrán que nalizarse con dicha combinación. Mathematica Aquí tenemos la suma de dos números. por comodidad.3.1.72 tal .7 20.7 9.

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

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

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

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

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

al Mathematica EL MATHEMATICA las cifras signicativas con las que desea operar. Notaciones matemáticas en notebooks Usualmente se incorporan paletas las cuales operan como extensiones del teclado.8 CAPÍTULO 1.14159 Mathematica Esto devuelve π con 50 dígitos de precisión. In[21]:= Out[21]= N[Pi] 3.1415926535897932384626433832795028841971693993751 1. . Puede accederse a las paletas estándares usando el submenú Other del menú Palettes. In[22]:= Out[22]= N[Pi. Mathematica Esto devuelve el valor numérico de π con un número jo de cifras signicativas. 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. 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.3. 50] 3.5.

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.

ó 

{e2 . c1 }. 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. 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. c2 }}] CTRL[t] (Control-Espacio) retorna de una posición especial Formas de ingresar notaciones especiales para lógica. 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 . . ESC pw ESC EL MATHEMATICA operador para ciones  trozos. 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).

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

.

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[. In[39]:= Det [ ( CTRL[.] 3 CTRL[←-] 1 TAB 0 TAB 1 CTRL[←-] 3 TAB 2 TAB 1 CTRL[t] ) ] Out[39]= 8 .

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

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

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

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

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

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

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

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

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

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

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

25 OPCIONES Mathematica Al activar la opción RowNumbers se aprecian las las debidamente numeradas. En este V caso la la 3 es la única cuyo resultado nal es . RowNumbers → True. 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)]. ColumnNumbers → True] . RowNumbers → True] Out[7]= Mathematica Aquí se muestra únicamente la la 3.2. In[7]:= TruthTable[ ∼[(∼p∨q)∨(r→q)]∧[(p∨q)→(q→∼p)].2. In[9]:= Out[9]= TruthTable[ ∼ {[∼(∼p∨q)∧(∼q→p)]↔(∼q∧r)}.

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

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

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

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

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

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

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

.2. en adelante. Mathematica Dando formato a una función trigonométrica. Basándonos en esto. LA FUNCIÓN ESTÁNDAR 3. la combinación Shift+Ctrl+T. 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. 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. se presentarán las salidas en el formato proporcionado por la función TraditionalForm.2. In[7]:= TraditionalForm[Sin[x]] Out[7]//TraditionalForm= sin(x) Mathematica Dando formato a una desigualdad triangular.3. a continuación. TraditionalForm[expr] imprime expr en una forma bastan- te parecida con la notación matemática tradicional Sintaxis de la función TraditionalForm.

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

x2 . LA FUNCIÓN ESTÁNDAR REDUCE Exists[x. expr] 35 representa la declaración que existe un valor de x para el cual expr es verdadera Exists[x. cond. In[12]:= ESC ex ESC CTRL[−] x CTRL[ t] (a t x + b == 0 ESC and ESC x > 0) Out[12]= 3. Mathematica Esto establece que existe una solución positiva para la ecuación ax + b = 0.5. 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. In[11]:= Out[11]= Exists[x. ∃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. . .5. expr] establece que existe un face la condición expr Exists[{x1 . . }. 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 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. x. vars. dom] hace la reducción en el dominio dom Sintaxis de la función Reduce. In[15]:= Out[15]=   Reduce 3x4 + 5x2 − 6 > 0. Mathematica Esta es la solución de la ecuación 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. In[14]:= Out[14]=   Reduce 3x4 + 5x2 − 6 == 0. In[13]:= Out[13]=   Reduce 3x4 + 5x2 − 6 == 0. x.36 CAPÍTULO 3. Reduce[expr. 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 = .

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

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

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

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

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

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

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

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

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

4.46 CAPÍTULO 3. 3. Expresar mediante intervalos el conjunto n. real. 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.

2 .

o .

x −4 .

A = .

2x .

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

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

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

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

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

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

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

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

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

-4. 55 OPCIÓN Intercepts x-Axis y-Axis Out[9]= Symmetries x-Axis y-Axis Origin In[10]:= : 8H0. 21 . 2. -1.42705 ÈÈ 0.3956 1.0837246 ÈÈ 1.10715 0.5 -1.79508 ÈÈ 2. −4.79508 2 1 -3 -2 -1 1 2 3 4 5 6 x -1 -2 -3 -4 -5 Figura 4.53209 1.87939 ÈÈ 0.2: Tabulación y gráca de x3 − 3xy + y 3 = 0.63212 4. -0.927051 2.5 ÈÈ -2.58618 ÈÈ 0.5 -3.2 y 5 4 3 x y -2.119523 ÈÈ 0. 1. 43 .63212 ÈÈ 3. 0L< Extension : R : R Domain Range Asymptotes : False : False : False Verticals : 8< Horizontals : 8< Obliques : 8x + y + 1 Š 0<  Sketch Eq.18073 0.95137 4.02549 -2.5 1.   Points → −4. 1. 3. 32 . 3 4 x .98407 2 1 -4 -3 -2 -1 1 2 -1 -2 -3 -4 Figura 4.4. {x. −4. 4}.75 -1.1: Tabulación y gráca de y2 = x3 x2 −9 .5 -2.26446 ÈÈ 0.38366 -1.1. -3. -2.5 -0. {y. -2. 4}. 4 //N Out[10]= Ver gura 4.02372 ÈÈ 3. −2.190576 ÈÈ 1.353553 -0.02372 5.353553 ÈÈ 0. y 4 3 x y -4.347296 ÈÈ 1.119523 3.38366 ÈÈ 2. 0L< : 8H0.

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

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

6 -0.4 0. 1.2 0.1: Región denida mediante 1 2 < x2 + y 2 ≤ 1.0 -0.0 0.2 -0.5 -1.8 0.4 0.0 Figura 5.58 CAPÍTULO 5.0 0.4 -0.5 -1.2: Región denida mediante 0.5 0. LA FUNCIÓN INEQPLOT 1.5 1.6 0.0 -0.2 Figura 5.6 y > x 2 ∧ y < 1 − x2 . .

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.

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

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

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

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

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

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

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

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

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

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

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

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 . 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.7. 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 .2. 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. se puede obtener la versión expandida del resultado previo.

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

Capítulo 8 Las funciones IFunction y Period [13. Decimos que es de prueba porque esta función no está documentada en la ayuda del . de la función fun (cuyo dominio de- be especicarse usando de variable Piecewise). si existe. 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. Mathematica Esta es la función inversa de f (x) = x2 con x ≤ 0. IFunction[ fun. la misma que permite calcular el periodo mínimo de una función periódica. var Sintaxis de la función IFunction. 1] La función IFunction permite obtener la función inversa de una función 1 dada . Mathematica 76 . 1 2 Tenga presente que IFunction no admite funciones que involucran mayor entero.var ] devuelve la función inversa.

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

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

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

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

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

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

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

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

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

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

6(17+12 2)] ∀x   √ 0 < |x − 10| < δ ⇒ | 87 x−1−3 x−10 − 1 6|  < .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]. 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.δ=Min[1.>0 ∃ δ. δ √ 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 . x 1 6 La función Proof permite obtener la demostración matemática del límite de una función dada. . 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 .

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

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

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

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

291897 1 4 Out[11]= 0.9 10 10.05 10.208103 9.1 PROOF Y PLOTNEIGHBORHOODS . LAS FUNCIONES 0.92 CAPÍTULO 10.

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

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

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