Ejercicios de LATEX

Computacin 1 o Facultad de Ciencias Fisico Matematicas Universidad Michoacana de San nicolas de Hidalgo 13 de noviembre de 2011
Resumen Compendio de ejercicios de LATEX

Indice
1. Instrucciones 2. B squeda de m para una funcin u o 2.1. Iteraciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2. Resultados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3. Filtro Pasa Bandas 4. Lgica de Predicados 4 o 4.1. Cuanticador Universal . . . . . . . . . . . . . . . . . . . . . . . 4.2. Cuanticador Existencial . . . . . . . . . . . . . . . . . . . . . . 4.3. Propiedades de los cuanticadores . . . . . . . . . . . . . . . . . 5. Induccin Simple o 5.1. Ejemplo 1 . . . 5.2. Ejemplo 2 . . . 5.3. Ejemplo 3 . . . 5.4. Ejemplo 4 . . . 5.5. Ejemplo 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 2 2 3 4 4 5 5 5 6 6 7 7 8

1.

Instrucciones
Genera un documento igual al actual utilizando LATEX.

2.

B squeda de m para una funcin u o

A continuacin se presentan los resultados obtenidos con la implementacin o o para la siguiente funcin: o

f (x, y, z, ) = cos(z 2 x2 y 2 ) con un punto inicial x=-2, y=-1 y z=-0.1 El gradiente para esta funcin: o

(1)

f (x, y, z) = 2sin(z 2 x2 y 2 ), 2ysin(z 2 x2 y 2 ), 2ysin(z 2 x2 y 2 ) (2)

2.1.

Iteraciones

La siguiente tabla muestra los valores de |f (xk , yk , zk )|2 para los difrentes metodos, se asegure que el alogaritma ha concluido cuando |f (xk , yk , zk )|2 es menor que 1x10 6.

K 0 1 2 3 4 5 6 7 8 9 10 11 12 13 f (x, y, z)

GC FR 18.534829 5.9961x10 12 1.4080x10 15 0 0 0 0 0 0 0 0 0 0 0 -0.99999999

GC PR+ 18.534829 18.534829 5.9961x10 12 5.9952x10 12 1.4081x10 15 0 0 0 0 0 0 0 0 0 -0.99999999

Newton 18.534829 19.628691 1.758437 6.9861x10 7 3.4495x10 17 0 0 0 0 0 0 0 0 0 1.0

Secantes 18.534829 19.628691 6137.0593 144.96555 351.09507 107.18124 284.91499 297.44935 3.679177 396.48686 0.505325 0.053475 5.5675x10 2 5.0543x10 2 -1.0

2.2.

Resultados
x = 1.588993403399196 y = 0.794496701699598 z = 0.120550325305159

Para el mtodo GC-FR la solucin es: e o

Para el mtodo GC-PR+ la solucin es: e o x = 1.588993403364383 y = 0.794496701682191 z = 0.120550324628847 Para el mtodo de Newton la solucin obtenida (que no es m e o nimoes x = 3.173837263856202 y = 1.586918631928201 z = 0.158691863192810 Para el mtodo de secantes la solucin obtenida es: e o x = 9.388337235773939 y = 4.694168617886971 z = 0.469416861788697

3.

Filtro Pasa Bandas

Como su nombre lo indica, un ltro pasa bandas ltra una banda, esto es,un conjunto determinado de frecuencias. Ser deseable pues, poder colocar una a a gaussiana cuya media est localizada sobre la frecuencia que se desea ltrar. a

1 (k ko )2 1 G(k ko ,k ) = e 2 2Z 22 k
1 2 G(k

(3)

ko ,k ) =

1 (kko ) 2Z e 22 k

En la ecuacin 3 se expresan dos gaussianas en el dominio de la frecuencia cuya o media est localizada en ko y ko A continuacin, se ilustra el procedimiento a o para construir un kernel en el dominio del tiempo que corresponda a dichas gaussianas. Por desplazamiento tenemos:

x(n no ) F a(k ko ) y de manera anloga: a

(4)

x(n)ej

2 ko n F a(k ko ) N

(5)

La TDF de una gaussiana es una gaussiana, por lo tanto:

1 1 1 (kko ) 2 2 G(n n )ej ko n e 2k F G(k ko , k ) 2 N 2Z 2

1 2 G(n 1 n )e j 2 ko n 2Z e N
(kko )2 22 k

(6)

1 2 G(k

ko , k )

si sumanos la parte izquierda de las ecuaciones en 6, se tiene: 2 1 2 2 1 G(n, n ) ej ko n + e j Ko n = G(n, n )2 cos( ko n) 2 N N 2 N Que e reduce a: 2 nko ) (8) N Por lo que 8 es un kernel cuya transformada de Fourier son dos kerneles gaussianas situados en k0 y k0 . gko (n, n ) = g(n, n ) cos(

(7)

4.

Lgica de Predicados 4 o

Frecuentemente nos encontramos con proposiciones que representan hechos sobre una coleccin de objetos. Por ejemplo: o Algunos programadores son inteligentes. Todos los municipios tienen escuelas pblicas. u Todos los matemticos son tenaces. a Existe un nmero impar que no es primo. u Cada declaracin conlleva una asercin comn a algunos objetos que pertenecen o o u a un universo. Puesto que las declaraciones para todos y existe (o para algn) no u estn disponibles en lgica proposicional, ninguna de estas declaraciones puede a o ser escrita en forma lgica. Cuando agregamos s o mbolos para estas declaraciones junto con las reglas de uso en lgica proposicional, obtenemos lgica de predo o icados. El lenguaje de lgica de primer orden es obtenido cuando s o mbolos de funcin son agregados a lgica de predicados. o o

4.1.

Cuanticador Universal

El cuanticador universal es utilizado para crear una proposicin xP (x) o le como para todo x , P (x) es verdadero. Esta proposicin es verdad si y slo da o o si P (a) es verdad para cada a en un universo . Esto es: xP (x) = P (x1 ) P (x)2 P (x)..... = xieU P (x) 4

4.2.

Cuanticador Existencial

El cuanticador existencial E es usado para formar una proposicin ExP (x),leida o como existe un x tal que P (x) es verdadero o para algn x, P (x) es verdadero. u Esta proposicin es verdad si y slo si P (a) es verdad para al menos o o un a en U . Esto es: xP (x) = P (x1 ) P (x)2 P (x)..... = xieU P (x)

4.3.

Propiedades de los cuanticadores

Los cuanticadores del mismo tipo pueden ser intercambiados y combinados sin cambiar el valor de verdad de las declaraciones: xyP (x, y) xyP (x, y) (x, )P (x, y) xyP (x, y) yxP (x, y) (x, y)P (x, y) Pero esto no puede ser hecho con cuanticadores de diferentes tipos. Adems de las leyes para intercambiar cuanticadores, tenemos otras leyes a importantes: 1. xP (x) P (x)Decir no todas las x son P es equivalente es decir existe un xque no esP . 2. xP (x) P (x)Decir no existe un x que se P es equivalente a decir toda x no es P . 3. [xP (x)] [xQ(x)] x|P (x) Q(x)Decir todo x es P y todo x es q equivalente a ddecir todo x es P y Q . 4. [xP (x)] [xQ(x)] x|P (x) Q(x)Decir todo x es P o todo Q implica todo x es P o Q. Esta ley no puede aplicarse en el otro sentido. 5. [xP (x)] [xQ(x)] x|P (x) Q(x) Decir existe un x que es P o existe un x que es Q equivqlente a decir existe un X que es P o Q. 6. [xP (x)] [xQ(x)] x|P (x) Q(x)Decir existe un x que es P y Q implica existe un x que es P y existe un x que es Q. 7. Es un predicado de dos lugares xy(x, y) xxP (x, y) es verdad, sin embargo xy(x, y) xyP (x, y) no es verdd en lo general.

5.

Induccin Simple o

Supongamos que S(K) es una declaracin vlida para algn entero k no o a u y que queremos probar que S(n) es verdadero para todos los enteros n n0 . El 5

principio de induccin simple nos dice que si (1) S(n) es verdad y (2) S(k) o S(k + 1) entonces S(n) es verdad para todos los enteros n no . Entonces para probar S(n) para todos los enteros n no , necesitamos probar unicamente: 1. Que si S(n) es verdad (caso base). 2. Que si S(k) es verdad (hiptesis de induccin, entonces S(k+1) es tambin o o e verdad) paso de induccin. o

5.1.

Ejemplo 1
1 + 3 + 5....(2u 1) = u2

Dejemos que S(n) denote la asercin o para todo n 1. Ahora, S(1) es 1 = 12 , que es verdad. Podemos Vericar algunos ms: a S(u)es1 + 3 = 22 S(3)es1 + 3 + 5 = 32 que tambin se cumplen. Ahora asumamos que para algn k 1, S(k) es verdad, e u esto es, S(k) : 1 + 3 + 5...... + (2k 1) = k 2 . considere: 1 + 3 + 5 + ...... + (2k 1) + (2k + 1) y reagrupamos los trminos de la siguiente forma [1 + 3 + 5 + ...... + (2k 1)] + e (2k + 1), y como S(k) es verdad, reemplazamos la exprecion entre corchetes por k2 . = k 2 + (2k + 1) = (k + 1)2 por lo que 1 + 3 + 5 + ....... + (2k 1) + (2k + 1) = (k + 1)2 y por lo tanto S(k + 1) es verdad. Enonces por induccin simple, S(n) es verdad para todo n 1. o

5.2.

Ejemplo 2

Probar que 1 + 2 + 3 + ....... + n = n(n+n) se cumple para todo n 1. 2 Ddenotemos por S(n) esta asercin y probemos el caso base: o S(1) :
1=(1+1) 2

que es verdad. Ahora consideremos 1 + 2 + 3 + ....... + n + (n + 1), reagrupndo terminos tenemos [1 + 2 + 3 + ..... + n] + (n + 1), como S(n) es verdad, entonces remplazamos la expresin entre corchetes por n(n+n) : o 2 = n(n+1) + (n + 1) 2 = n(n+1) + 2(n+1) 2 2 = n(n+1)+2(n+1) 2 = (n+2)(n+1) 2 = (n+1)(n+2) 2 por lo que S(n + 1) es veradad y se deduce que S(n) es verdad para todo n 1. 6

5.3.

Ejemplo 3

1 1 1 El nmero denido como Hn = 2 + 1 + 3 + ...... + n , n n 1 es llamado u 2 nmero armnico. Pruebe que para todo n1, u o n k=1

Hk = (n + 1)Hn n

Dejemos que S(n) denote la declaracin H1 + H2 + ..... + Hn = (n + 1)Hn n. o El caso base S(1) es H1 = 2H1 1 puesto que H1 es 1, S(1) es verdad. Ahora consideremos H1 + H2 + ......Hn + Hn+1 ; reagrupando trminos tenemos [H1 + e H2 + ......Hn ] + Hn+1 y puesto que S(n) es verdad, remplazamos la expresin o entre corchetes por (n + 1)Hn n: = (n + 1)Hn n + Hn+1 1 = (n + 1)(Hn+1 n+1 ) n + Hn+1 n+1 = (n + 1)Hn+1 n+1 n + H n + 1 = (n + 2)Hn+1 1 n = (n + 2)Hn+1 (n + 1) por lo que S(n + 1) es verdad siempre que S(n) es verdad. Entonces porr induccin simple, es verdad para todo n. o

5.4.

Ejemplo 4
1 3

Prube que para n 1 +

1.2 3.4

1.2.3 1.2.3

n! + ..... (n+2)! =
2

n n+2 1 1+2 .

Sea, S(n) una declaracin que no denote dicha asercin. S(1)es 1 = o o 3 sideremos:
1 3

Con-

1.2 3.4

1.2.3 1.2.3

n! + ..... (n+2)! =
2

(n+1)!
(n+3)! 2

puesto que S(n) es verdad, entonces:

1 3

1.2 3.4

n! + .... (n+2)! =
2

n n+2

2(n+1)! (n+3)!

n n+2

2(n+1)! (n+1)!(n+2)(n+3) 2 n n+2 + (n+1)(n+3) (n)(n+3)+2 = (n+2)(n+3) (n2 +3n+2 = (n+2)(n+3) (n+2)(n+1) = (n+2)(n+3) n+1 = n+3

por lo que S(n) = S(n + 1). Y por induccin simple S(n) es verdad para todo o n > 1.

5.5.

Ejemplo 5

pruebe que para todo k 4 2k k 2 . Primero el caso base 24 42 es verdad. Ahora queremos probar que 2k + 1 (k + 1)2 , es claro que. (k + 1)2 = k 2 + 2k + 1 k + 2k + 1 k 2 + 2k + kP uestoquek 4 > 3 2 k + 2k + 1 k 2 + 3k < k 2 + kkP uestoquek 4 > 3 (k + 1)2 2k 2 2k 2 (k + 1)2
2

Ahora, puesto que 2k k 2 es verdad, entonces (2)2k = 2k + 1 2k 2 . Entonces por induccin simple, 2k k 2 es vlido para todo k 4. o a