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

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

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

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

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

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

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

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

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

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

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

1415926535897932384626433832795028841971693993751 1. In[21]:= Out[21]= N[Pi] 3. . exp//N ó N[exp] valor numérico aproximado para exp N[exp.3.5. Notaciones matemáticas en notebooks Usualmente se incorporan paletas las cuales operan como extensiones del teclado. n] valor numérico de n exp calculado con dígitos de precisión Funciones de evaluación numérica. 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. Puede accederse a las paletas estándares usando el submenú Other del menú Palettes. 50] 3.8 CAPÍTULO 1. Digitar N[Pi] es equivalente a Pi//N. al Mathematica EL MATHEMATICA las cifras signicativas con las que desea operar.14159 Mathematica Esto devuelve π con 50 dígitos de precisión. In[22]:= Out[22]= N[Pi. 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 . cálculo y matrices. 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 . Mathematica Aquí tenemos una secuencia de teclas que puede usarse para ingresar ∼ ((p ∧ q) → r). i=1 In[33]:= ESC sum ESC CTRL[+] i = 1 CTRL[5] n CTRL[t] i CTRL[6] 2 Out[33]= 1 n(1 + n)(1 + 2n) 6 Mathematica Una secuencia de teclas que puede usarse para ingresar n Y i. . c2 }}] CTRL[t] (Control-Espacio) retorna de una posición especial Formas de ingresar notaciones especiales para lógica. ESC pw ESC EL MATHEMATICA operador para ciones  trozos.12 CAPÍTULO 1. e 1 e2 a c1 es ingresar La fun- notación interpretada como c2 Piecewise[{{e1 . 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. c1 }.

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

.

1 2 3 .

.

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

1 0 1 .

.

3 2 1 .

.

.

.

.

. .

.

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

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

4. In[43]:= ? Log Log[z ] gives the natural logarithm of Log[b.z ] gives the logarithm to z (logarithm base b. Para ello puede utilizarse el símbolo especial ?. .1. También es factible buscar ayuda desde un cuaderno de trabajo.  to base e ). 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.

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

6.1.6. In[47]:= Out[47]= 4 + 5(*Esto es una suma*) 9 (* y *). Comentarios Los comentarios son toda una serie de caracteres que no afectan los cálculos. 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. Mathematica. .

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

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

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

Esto se ha hecho con la nalidad de hacer notar la diferencia entre condicional (→) e cación lógica (⇒). la negación: ∼. se ha conseguido que la función TruthTable acepte símbolos diferentes de los es- tándar para la condicional. equivalencia lógica (⇔). 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. dado.Capítulo 2 La función La función TruthTable TruthTable [4.1. la bicondicional y la negación. In[1]:= TruthTable[ (p∧q)∨[(p∧q)Yp] ] Out[1]= 2. bicondicional (↔) y incluir el uso del símbolo habitual para 21 impli- así como. . Notaciones Para conseguir una notación consistente con la notación tradicional.

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

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

y si el esque- ma es una equivalencia. Mathematica Esta es una tabla con las las en dos colores alternados.24 CAPÍTULO 2. In[6]:= Out[6]= TruthTable[ [(∼p∨q)∧(∼q→p)]↔q. 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. cambia → por ⇒. Opción LA FUNCIÓN TRUTHTABLE Val. cambia ↔ ShowRows All por ⇔ muestra sólo las las especicadas en una lista Opciones incorporadas en la función TruthTable. ValidateQ → False] . In[5]:= TruthTable[ [(∼p∨q)∧(∼q→p)]↔q. AlternateRowColors → True] Out[5]= Mathematica He aquí una tabla a la que se la ha desactivado el resaltado de la columna resultante y la validación de implicación o equivalencia.

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 . In[7]:= TruthTable[ ∼[(∼p∨q)∨(r→q)]∧[(p∨q)→(q→∼p)].2. RowNumbers → True. In[9]:= Out[9]= TruthTable[ ∼ {[∼(∼p∨q)∧(∼q→p)]↔(∼q∧r)}. In[8]:= TruthTable[ ∼[(∼p∨q)∨(r→q)]∧[(p∨q)→(q→∼p)].2. RowNumbers → True] Out[7]= Mathematica Aquí se muestra únicamente la la 3. ColumnNumbers → True] . ShowRows → {3}] Out[8]= Mathematica Aquí se han activado las opciones RowNumbers y ColumnNumbers.

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

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

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

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

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

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

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

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

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

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. LA FUNCIÓN ESTÁNDAR REDUCE Exists[x. .5. x2 . 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). .3. In[11]:= Out[11]= Exists[x. expr] cond x que satis- para el cual es verdadera establece que existen valores para todos los xi para los cuales expr es verdadera Sintaxis de la función Exists. expr] establece que existe un face la condición expr Exists[{x1 . . ∃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. In[12]:= ESC ex ESC CTRL[−] x CTRL[ t] (a t x + b == 0 ESC and ESC x > 0) Out[12]= 3. cond. }. .

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

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

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

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

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

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

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

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

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

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

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

2 .

o .

x −4 .

A = .

2x .

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

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

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

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

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

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

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

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

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

-4. 21 .4.02549 -2. {x.5 ÈÈ -2. 1. -3. 55 OPCIÓN Intercepts x-Axis y-Axis Out[9]= Symmetries x-Axis y-Axis Origin In[10]:= : 8H0.18073 0.58618 ÈÈ 0.38366 -1.353553 ÈÈ 0.190576 ÈÈ 1.2: Tabulación y gráca de x3 − 3xy + y 3 = 0. −2.75 -1.347296 ÈÈ 1. 2.1: Tabulación y gráca de y2 = x3 x2 −9 . 43 . 32 .38366 ÈÈ 2. 4}.5 -1. 4}. {y.79508 2 1 -3 -2 -1 1 2 3 4 5 6 x -1 -2 -3 -4 -5 Figura 4. -2. 3.5 1.02372 ÈÈ 3.02372 5.5 -3.0837246 ÈÈ 1. 4 //N Out[10]= Ver gura 4.5 -0.63212 ÈÈ 3. 1. 0L< Extension : R : R Domain Range Asymptotes : False : False : False Verticals : 8< Horizontals : 8< Obliques : 8x + y + 1 Š 0<  Sketch Eq.63212 4. 3 4 x .42705 ÈÈ 0.10715 0. -2. -0.53209 1.79508 ÈÈ 2.2 y 5 4 3 x y -2.119523 ÈÈ 0.353553 -0. −4.95137 4. y 4 3 x y -4.5 -2.927051 2. 0L< : 8H0.26446 ÈÈ 0.98407 2 1 -4 -3 -2 -1 1 2 -1 -2 -3 -4 Figura 4.3956 1.   Points → −4.87939 ÈÈ 0. −4.119523 3.1. -1.

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

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

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

5.1.

59

OPCIONES
2

1

-2

-1

1

2

-1

-2

Figura 5.3: Región denida mediante

5.1.

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

Opciones

IneqPlot
ContourPlot.

La función

admite algunas opciones propias de

RegionPlot

y de

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

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

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

0.5

Out[10]=

-1.0

-0.5

0.5

-0.5

-1.0

1.0

Capítulo 6

Las funciones

PwExpand

y

PwPlot

[15, 16]

La función
involucran

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

PwExpand[expr ]

expande

las

anidadas en

funciones

expr

a

trozos

devolviendo una

única función a trozos

PwExpand[expr,sup ]

expande

las

funciones

a

trozos

anidadas usando supuestos

Sintaxis de la función PwExpand.

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

Out[1]=

In[2]:=

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

1 x<1

x>0
2 True


3
True
PwExpand[ %]
60

61

Out[2]=


3



1

2


x≤0
0<x<1
x≥1

Null

True

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

Out[3]=

In[4]:=

Out[4]=

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

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


x
0≤x≤1



2


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



1
x≥2



 Null True

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

Out[5]=

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


0
0<x<1





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



3
3≤x<4



 Null True

La función

PwPlot

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

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

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

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

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

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

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

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

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

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

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

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

. Mathematica Para comenzar se denen las funciones f y g . 2 ≤ x < 4 .72 CAPÍTULO 7. la resta. 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 < 2 . a continuación. 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. f /g y ( y g(x) = g/f . −3 < x < 2 . True Multiplicación y división Dadas las funciones: ( f (x) = halle JxK. 2 ≤ x < 4 .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. In[7]:= (f ∗ g)[x] 2x − 6. f × g . 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. 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 puede obtener la versión expandida del resultado previo. MULTIPLICACIÓN Y DIVISIÓN Out[7]=    2x(bxc) − 6(bxc) −2 < x < 2 −x3 − x2 + x + 1 2 ≤ x < 4   Null True Mathematica Sise desea. 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 .2.

se calcula g/f . 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.3. 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. In[13]:= In[14]:= ( Floor[x2 ] −2 ≤ x < 0 2 − Abs[x] 0 ≤ x < 3 ( Sign[x − 2] −3 ≤ x < 1 Abs[x] + 3 1 ≤ x < 2 f [x_]:= g[x_]:= − 2) −3 ≤ x < 1 |x| + 3 1≤x<2 sgn(x .74 CAPÍTULO 7. ÁLGEBRA DE FUNCIONES Mathematica Finalmente. Mathematica En primer lugar se denen las funciones f y g . In[12]:= Out[12]= 7.

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. 75 COMPOSICIÓN Mathematica Seguidamente se calcula f ◦ g .3.7.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Sign up to vote on this title
UsefulNot useful