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

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

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

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

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

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

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

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

ArcSec[x]. Tan[x]. Cos[x]. x] Sin[x].342308 Mathematica Aquí otra vez. ArcCos[x]. ArcCot[x]. Sec[x]. Sqrt[x] Surd[x. In[12]:= Out[12]= 26. Cot[x]./78 0.3. A continuación mencionamos las más comunes.3. • Los argumentos de todas las funciones en el Mathematica se colocan entre corchetes. • Los nombres de las funciones incorporadas en el Mathematica empiezan con letra mayúscula. 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. . 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.3. Dos puntos importantes acerca de funciones en el Mathematica.333333 1. ArcTan[x]. CÁLCULOS CON EL Out[11]= MATHEMATICA 5 0.1. Csc[x] ArcSin[x]. Algunas funciones matemáticas El Mathematica incluye una gran colección de funciones matemáticas.

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

Log[3. el tica Mathema- hace que lo que haría una calculadora estándar: devuelve el resultado con un número jo de cifras signicativas.34202 Mathematica Log[x] devuelve el logaritmo de x en base e.3. In[17]:= Out[17]= Sin[Pi/2] 1 Mathematica Esto devuelve el valor numérico de sen(20◦ ). usted puede indicarle . Cálculos con precisión arbitraria Cuando usted utiliza //N para obtener un resultado numérico. In[18]:= Out[18]= Sin[20 Degree]//N 0. 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.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. 81] 4 1. In[19]:= Out[19]= Log[E∧ 15] 15 Mathematica El usuario puede obtener logaritmos en cualquier base b usando Log[x]. No obstante.4.

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

ó 

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

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

.

1 2 3 .

.

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

1 0 1 .

.

3 2 1 .

.

.

.

.

..

.

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

14 . −1 < x < 2 . de la barra de menúes.4. 3 2 1  In[40]:= Inverse [ ( CTRL[. Las más usada es desde el menú Help. − 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. In[41]:= ESC pw ESC CTRL[←-] x + 1 TAB − 1 < x < 2 TAB 1 TAB x == 2 CTRL[←-] 1 Out[41]= 1. el cual puede ser consultado en diferentes formas. 2 < x < 3 .14 CAPÍTULO 1. que da acceso a la opción Documentation Center la cual sirve como un punto de entrada a la gran cantidad de documentación en línea para el Mathematica. − 14 Mathematica    x + 1.    1 − x. 12 .] TAB 1 TAB 2 CTRL[.] 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. 14 . x = 2. 21 . 14 .   He aquí una secuencia de teclas que puede usarse para ingresar 1. . 14 .

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

Cuando hay más de un objeto. In[44]:= ?? Log Log[z ] gives the natural logarithm of z (logarithm Log[b. In[45]:= ? Log* ∧ 1.16 CAPÍTULO 1. .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. 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. EL MATHEMATICA Vale mencionar que junto con la información brindaba aparece un hipervínculo en color azul con el símbolo el 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. 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. Attributes[Log]={Listable.5.  to base e ).z ] gives the logarithm to base b. ya ea cerran- do la ventana principal o eligiendo la opción Exit del menú File de la barra de menúes. Mathematica Es posible conseguir información adicional usando ??.

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

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

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

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

bicondicional (↔) y incluir el uso del símbolo habitual para 21 impli- así como. 6] permite obtener la tabla de verdad de un esquema molecular lógico. 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. In[1]:= TruthTable[ (p∧q)∨[(p∧q)Yp] ] Out[1]= 2. la bicondicional y la negación. equivalencia lógica (⇔). Notaciones Para conseguir una notación consistente con la notación tradicional. . dado. la negación: ∼. TruthTable[  em  ] devuelve la tabla de verdad del esquema lógico em Sintaxis de la función TruthTable.1.Capítulo 2 La función La función TruthTable TruthTable [4. Mathematica He aquí la tabla de verdad del esquema (p ∧ q) ∨ [(p ∧ q) Y p].

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 . In[19]:= Out[19]=   2   x −1 Reduce Hold < 0 . −1 ≤ x < 1 ∨ x = 2 ∨ 15 ≤ x < 27 La función La función hematica. x.1 obtenida con Reduce. Reals Out[20]= Out[21]= 3. √ 3 h √27 − x√ x2 − 14x − 15(x − 2)6 7 x + 8(x − 3)5 √ Reduce ≤ 0. 4 2 + 7x − 8) (x − 27)3 (x3 − 27) x + 9 (x i x. 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). pero afectando la inecuación con Hold. IntervalForm IntervalForm no está incluida en la versión estándar del Mat- ha sido implementada por el autor para poder dar notación de intervalos a ciertas salidas que el usuario requiera. Out[18]= SOLUCIONES DIVERSAS EN R x<1 Mathematica Esta es la solución de la inecuación 3. .38 CAPÍTULO 3.6. 4 x + 9 (x2 + 7x − 8) (x − 27)3 (x3 − 27) i x.

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

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

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

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

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

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

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

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

2 .

o .

x −4 .

A = .

2x .

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

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

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

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

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

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

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

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

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

4.98407 2 1 -4 -3 -2 -1 1 2 -1 -2 -3 -4 Figura 4.2 y 5 4 3 x y -2. 0L< Extension : R : R Domain Range Asymptotes : False : False : False Verticals : 8< Horizontals : 8< Obliques : 8x + y + 1 Š 0<  Sketch Eq.2: Tabulación y gráca de x3 − 3xy + y 3 = 0.53209 1.927051 2.5 -3. {x. 4 //N Out[10]= Ver gura 4. -4. -1. 1. 0L< : 8H0.1: Tabulación y gráca de y2 = x3 x2 −9 . 2. 4}. −4.5 1.38366 -1.63212 ÈÈ 3.10715 0.1. −4.02372 5.58618 ÈÈ 0.26446 ÈÈ 0.119523 ÈÈ 0. 1. -2.5 -2.353553 -0. 4}.79508 2 1 -3 -2 -1 1 2 3 4 5 6 x -1 -2 -3 -4 -5 Figura 4.02372 ÈÈ 3. {y.353553 ÈÈ 0.5 -1.02549 -2. -2.5 ÈÈ -2.5 -0. -0.18073 0.190576 ÈÈ 1.347296 ÈÈ 1.79508 ÈÈ 2. 55 OPCIÓN Intercepts x-Axis y-Axis Out[9]= Symmetries x-Axis y-Axis Origin In[10]:= : 8H0.3956 1. 32 . 43 . 3. 21 .95137 4.119523 3. 3 4 x .75 -1. −2.0837246 ÈÈ 1.38366 ÈÈ 2.87939 ÈÈ 0. -3.63212 4.42705 ÈÈ 0. y 4 3 x y -4.   Points → −4.

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

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

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

5.1.

59

OPCIONES
2

1

-2

-1

1

2

-1

-2

Figura 5.3: Región denida mediante

5.1.

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

Opciones

IneqPlot
ContourPlot.

La función

admite algunas opciones propias de

RegionPlot

y de

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

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

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

0.5

Out[10]=

-1.0

-0.5

0.5

-0.5

-1.0

1.0

Capítulo 6

Las funciones

PwExpand

y

PwPlot

[15, 16]

La función
involucran

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

PwExpand[expr ]

expande

las

anidadas en

funciones

expr

a

trozos

devolviendo una

única función a trozos

PwExpand[expr,sup ]

expande

las

funciones

a

trozos

anidadas usando supuestos

Sintaxis de la función PwExpand.

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

Out[1]=

In[2]:=

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

1 x<1

x>0
2 True


3
True
PwExpand[ %]
60

61

Out[2]=


3



1

2


x≤0
0<x<1
x≥1

Null

True

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

Out[3]=

In[4]:=

Out[4]=

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

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


x
0≤x≤1



2


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



1
x≥2



 Null True

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

Out[5]=

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


0
0<x<1





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



3
3≤x<4



 Null True

La función

PwPlot

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

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

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

Opción Val. 2.-0.015].6.5].5 -0. PlotRange → All. 0]. 0]}. Out[9]= 2. por defecto Descripción EndsSize 2. Opciones PwPlot incorpora todas las opciones de la función estándar Plot [16]. {x.5. Mathematica Gráca de una función obtenida al incluir algunas funciones propias de Plot.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.25. −2. 63 OPCIONES 6. 0.5 1. EndsSize → 5. 0. PlotStyle → {Thickness[0. 0. 1.5 1. 4.5. .5 0. 20]. Thick] ] 5. 3. 0.1. x − Floor[2x] −1 ≤ x < 1 x 1≤x<4 2 + Floor[x] In[8]:= f [x_]:= In[9]:= PwPlot[ f [x]. Adicionalmente.5 3. 0.5 3.1. 5}. 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).5. TicksStyle → Directive[RGBColor[0.5. 4. AxesStyle → Directive[RGBColor[0.5 -1.

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

6. 8i − {−4} Mathematica Rango de la función del apartado (2).dom (y = % %) . Reals]] x ∈ h−8. Reduce [∃x. 65 EJEMPLOS 2. Es preciso realizar un análisis adicional para obtener: x ∈ R − {−4}. Reals] //IntervalForm . 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. desarrollada en In[16]:= In[14] . In[14]:= Out[14]= PwExpand[f [x]. desarrollada en In[14] .5 -2 -1 1 2 3 4 5 Mathematica Denición de la función del apartado (2).2. −8 < x < 8]  −1 −4 < x < 3    1 −8 < x < −4 ∨ 3 < x < 8  0 x=3    Null True Mathematica Dominio de la función del apartado (2).0 0.0 1. In[15]:= Out[15]= IntervalForm[dom = Reduce [∃y (y = %) .5 Out[12]= 1.5 2.

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

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

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

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

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

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

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

7. 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.2. 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. In[8]:= Out[8]= PwExpand[ %]   −4(x − 3)     −2(x − 3)    0  2(x − 3)      −x3 − x2 + x + 1    Null −2 < x < −1 −1 ≤ x < 0 0≤x<1 1≤x<2 2≤x<4 True Mathematica A continuación se calcula f /g . In[10]:= Out[10]= PwExpand[ %]  1  −2 < x < −1  3−x    1  − 2(x−3) −1 ≤ x < 0    0 0≤x<1 1  1≤x<2  2(x−3)     1−x 2≤x<4     Null True 73 .

se calcula g/f .3. In[12]:= Out[12]= 7. In[11]:= Out[11]= (g/f )[x]  2(x−3)   bxc −2 < x < 0 ∨ 1 ≤ x < 2 1 2≤x<4 1−x   Null True Mathematica Nuevamente se obtiene la versión expandida del resultado previo. 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.74 CAPÍTULO 7. Á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 .

3.7. 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 . la versión expandida del resultado previo. 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[16]:= Out[16]= PwExpand[ %] ( 1 −3 ≤ x < 1 Null True Mathematica Luego se calcula g ◦ f . In[15]:= Out[15]= (f ◦ g)[x] ( bSign[x − 2]2 c −3 ≤ x < 1 Null True Mathematica He aquí la versión expandida del resultado previo.

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

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

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

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

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

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

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

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

. 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 [ %. . . . .Capítulo 9 RowOperation ColumnOperation Las funciones La función RowOperation y permite realizar operaciones elementales en las las de una matriz dada. .Fi ↔ Fk ] i de la matriz m Fk RowOperation[ m. .  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 → opn } ] tales op1 . . {F2 − F1 → F2 . Mathematica Operaciones elementales en una matriz ampliada para calcular la inversa. RowOperation[ m. . opn en las n las Fi1 . . . F3 − F1 → F3 }] 84 .{Fi1 → realiza las n operaciones elemenop1 . Fin de la matriz m por la la Sintaxis de la función RowOperation.

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

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 .{Cj1 → op1 . Cjn de la matriz m realiza las Sintaxis de la función ColumnOperation. Cjn → opn } ] j op   0 1 1 1 0 0    ColumnOperation  1 0 1 0 1 0  .Ci → op ] realiza la operación elemental la columna RowOperation[ m. .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. Mathematica Esta es una operación elemental en la tercera columna de una matriz ampliada. .86 CAPÍTULO 9. . . . . .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 . . opn en las n columnas Cj1 . .

x 1 6 La función Proof permite obtener la demostración matemática del límite de una función dada. 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 . 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. 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 .δ=Min[1.>0 ∃ δ.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]. δ √ Out[2]= ∀. .

0666667 9 10. 10 11 Opciones Opción InitialDelta Val.1. 6 17 + 12 2  0.1.  = 0.88 CAPÍTULO 10. para  = 0. 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. siendo un número racional . La función Mathematica Interpretación geométrica de Out[2] " In[3]:= . 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 . √  x−1−3 1 PlotNeighborhoods Lím = .266667 1 6 Out[3]= 0.1. es decir. δ = 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. r).

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

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

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

291897 1 4 Out[11]= 0.208103 9.1 PROOF Y PLOTNEIGHBORHOODS .9 10 10.92 CAPÍTULO 10.05 10. LAS FUNCIONES 0.

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

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

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