Manual LaTeX UNI

Manual de L
A
T
E
X
Juan P.C. Luna
1
Universidad Nacional de Ingeniera
Facultad de Ciencias
Laboratorio de C omputo
2
1
Revisado por Kenny Venegas y Abraham Zamudio
2
http://compu.uni.edu.pe e-mail: computofc@uni.edu.pe Telef. 3822028/4811070 anexo 400
Indice general
1. Introduccion 1
1.1. Acerca de L
A
T
E
X . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. L
A
T
E
X vs MS Word . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2. El Texto 5
2.1. Iniciando el Texto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2. Clases de documentos. Opciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3. Comandos para dar espacios, saltos y otros . . . . . . . . . . . . . . . . . . . . . . . 6
2.4. Divisiones de un documento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.5. Los Margenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.6. La Tipografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.6.1. Colores de Letras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.7. Las Tildes y Caracteres Especiales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.8. El Ttulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.9. Citas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.9.1. quote . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.9.2. quotation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.10. Listas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.10.1. itemize . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.10.2. enumerate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.10.3. description . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.11. Tablas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.11.1. tabbing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.11.2. tabular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.12. El ambiente table . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3. Formulas Matematicas 23
3.0.1. Estructuras Comunes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.1. Arreglos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.2. El Subrayado y Anes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.3. Espacios en Modo Matematico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.4. Mostrando Ecuaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
4. Deniendo el Estilo 39
4.1. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
4.2.

Indice y Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.3. Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4.4. Denicion de Comandos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
i
II Laboratorio de Computo de la Facultad de Ciencias de la UNI
4.5. Denicion de Ambientes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.6. Numeracion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5. Figuras 55
5.1. El ambiente figure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
6. Presentaciones 65
6.1. El Paquete pdfscreen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
7. Presentaciones con la Clase Beamer 73
7.1. Creando Frames . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
7.1.1. Temas de Presentacion sin Barras de Navegacion . . . . . . . . . . . . . . . . 74
7.1.2. Temas de Presentacion con un arbol de Navegacion . . . . . . . . . . . . . . . 76
7.1.3. Overlays . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
7.1.4. Comando Pause . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
Captulo 1
Introducci on
1.1. Acerca de L
A
T
E
X
Uno de los procesadores de texto mas potentes a la hora de elaborar complicadas formulas mate-
maticas y con gran calidad de impresion al nal es el T
E
X. El T
E
X fue creado por Donald E. Knuth de
la Universidad de Stanford, comenzando este trabajo a nes de los a nos 70. Hay que se nalar que no se
pronuncia texsino tejdebido a que la palabra technology tiene raz griega y esta comienza con las
letras . Esto es, T
E
X no quiere decir TeX sino .
Las ventajas del T
E
X, como su gran potencia y exibilidad, pueden transformarse en grandes obstaculos
para aquellas personas no familiarizados con la programacion o que simplemente no desean dedicar
excesivo tiempo a estudiar un procesador de textos. Para evitar este problema Leslie Lamport (Digital
Equipment Corporation) confecciona a inicios de los a nos 80 un conjunto de ordenes (macross) a partir
del T
E
X, con identidad propia, que denomina L
A
T
E
X. Con estos macros se consigue escribir documentos
de una forma facil y sencilla, obteniendose ademas una impresion nal de gran calidad identica a la del
T
E
X. Es mas, sin necesidad de tener conocimientos de programacion, es posible construir documentos
de gran sotiscacion.
Estas caractersticas hicieron que el L
A
T
E
X se extendiese rapidamente por un amplio sector cientco y
tecnico, siendo incluso obligado su uso en la presentacion de comunicaciones en algunos congresos o
exigido, en ciertas revistas, para redactar artculos de investigacion.
1.2. L
A
T
E
X vs MS Word
Es una ventaja conocer varios tipos de procesadores de texto como el L
A
T
E
X o el MS Word, pues ello
nos permite seleccionar la mas apropiada para cada caso concreto. Dicho de forma breve, los proce-
sadores de texto WYSIWYG (What You See Is What You Get) tales como MS Word, Corel WordPerfect
o Sun StarOce resultan bastante comodos para escribir documentos con texto y gracos pero que
no sean demasiado largos; la ventaja aqu es que el resultado nal se muestra en pantalla en todo
momento. Sin embargo, para proyectos grandes y que necesiten de un acabado profesional, L
A
T
E
X ofrece
mayor control, estabilidad y robustez, sin embargo, el usuario trabaja con un documento en el que
aparecen comandos L
A
T
E
X (de hecho, L
A
T
E
X se puede considerar un lenguaje de programacion), y que
no se parece al aspecto nal que tendra el documento una vez tratado por L
A
T
E
X. El principal problema
de todo principiante a L
A
T
E
X es la pendiente inicial de la curva de aprendizaje. Uno se pone delante de
un procesador WYSIWYG y puede hacer multitud de cosas casi al momento, con tan solo probar un
1
poco y buscar entre los men us. Con relativamente poco esfuerzo uno puede llegar a tener un dominio
del entorno suciente como para afrontar la mayora de situaciones, o incluso todas ellas, dependiendo
de nuestras necesidades como usuarios. Para usos avanzados hay que trastear un poco mas, buscar
en la ayuda en lnea o consultar un manual. Sin embargo, en L
A
T
E
X, uno no puede sentarse y jugar a
ver que sale. Hay que estudiar primero y probar despues. Uno no puede crear un documento sencillo
que contenga el tpico hola, mundosin tener que estudiar primero una serie de comandos L
A
T
E
X. Al
principio se tiene la sensacion de no poder controlar casi nada. El aspecto de los primeros documentos
es estatico y aburrido, y uno empieza a ver que para hacer cosas mas vistosas tendra que dedicar
mucho, mucho tiempo. Ademas, L
A
T
E
X no dispone de un entorno de usuario, simplemente se usa un
editor de textos basico y luego el chero resultante se hace pasar por el programa L
A
T
E
X, que se ejecuta
desde la lnea de comandos (existen algunos editores especiales para L
A
T
E
X que facilitan un poco el
trabajo). Sin embargo, despues de paciencia y practica, empiezan a verse claras las ventajas. Es muy
difcil que L
A
T
E
X falle o se quede colgado. Pero ademas, si lo hiciese, nuestro chero fuente ya estaba
salvado previamente, no perderemos el trabajo. Se trabaja comodamente con m ultiples cheros, y el
autonumerado de captulos, secciones, ndices, tablas, guras, ecuaciones, etc. funciona perfectamente,
ahorrandonos muchos quebraderos de cabeza, especialmente cuando extraemos captulos o secciones
de un documento y lo insertamos en otro distinto (es copiar y pegar, literalmente). Y si uno trabaja
con frecuencia con ecuaciones, es casi obligado emplear L
A
T
E
X.
Veremos un par de documentos con extension pdf, el primero de ellos importado de MS Word y el se-
gundo generado por L
A
T
E
X. Uno aprecia la calidad del acabado pero debemos mencionar que el segundo
pesa 30 KB menos. Una tesis de 100 hojas realizada en MS Word puede pesar 2,50 MB, mientras que
si es digitada en L
A
T
E
X pesara menos de 1,00 MB.
Este documento, trata de ayudar a todo aquel que desee iniciarse en L
A
T
E
X. Para ello, se proporcionan
aqu una serie de recetas basicas para empezar a obtener buenos resultados con L
A
T
E
X desde el primer
encuentro. Por desgracia, para iniciarse hace falta leer un poco antes de referirse a estas recetas.
2
UNIVERSIDAD NACIONAL DE INGENIERA
FACULTAD DE ARQUITECTURA, URBANISMO Y ARTES
AREA ACADMICA DE CIENCIAS BSICAS
Primera Prctica Calificada de Matemticas Bsicas I
1. Suponga que el vector
) 36 , 2 ( = a
es expresado como
y x a

+ =
, donde
b x

//

y
c y

//
, con ) 4 , 1 ( = b
y
) 3 , 2 ( m m c =
. Hallar el vector x
.
2. Sea A = (-3, 2), B, C = (-1, 13) y D los vrtices de un terreno rectangular tal
que
AC
es una de sus diagonales y
AB
es ortogonal al vector (4,-3).
Determine los vrtices B y D y el rea del terreno.
3. Sean los vectores
a
y
b
tales que
b a
es paralelo al vector (1,0) y 12 | | = a .
Adems el ngulo entre
a
y el vector (1,0) es 30 y el ngulo entre
a
y
b

tambin es de 30. Si
+ = a n a m b
, hallar m + n.
4. Demostrar que las diagonales de un paralelogramo ABCD se bisecan entre s,
es decir, que su punto de interseccin es el punto medio de ambas diagonales.
5. Sean A, B y C los vrtices de un tringulo con
AC M
, tal que MC AM
4
3
= .
Si
BC t BA r BM + =
, hallar r y t.
Se evaluar: ORDEN, LIMPIEZA, CLARIDAD, PROCEDIMIENTO Y RESPUESTA.
UNI, 7 de octubre del 2005.
Los Profesores
3
UNIVERSIDAD NACIONAL DE INGENIER
IA
FACULTAD DE ARQUITECTURA, URBANISMO Y ARTES
AREA ACAD
EMICA DE CIENCIAS B
ASICAS
Primera Practica Calicada de Matematicas Basicas I
1. Suponga que el vector

a = (2, 36) es expresado como

a =

x +
y , donde

x //
b
y

y //
c , con

b = (1, 4) y

c = (2m, 3m). Hallar el vector

x .
2. Sea A = (3, 2), B, C = (1, 13) y D los vertices de un terreno rectangular tal
que

AC es una de sus diagonales y

AB es ortogonal al vector (4,-3). Determine los
vertices B y D y el area del terreno.
3. Sean los vectores

a y

b tales que

a
b es paralelo al vector (1,0) y |
a | = 12.
Ademas el angulo entre

a y el vector (1,0) es 30
o
y el angulo entre

a y

b tambien
es de 30
o
. Si

b = m
a + n
a

, hallar m + n.
4. Demostrar que las diagonales de un paralelogramo ABCD se bisecan entre s, es
decir, que su punto de interseccion es el punto medio de ambas diagonales.
5. Sean A, B y C los vertices de un triangulo con M

AC, tal que

AM =
3
4
MC. Si
BM = r
BA + t
BC, hallar r y t.
Se evaluara: ORDEN, LIMPIEZA, CLARIDAD, PROCEDIMIENTO Y RESPUESTA.
UNI, 7 de octubre del 2005.
Los Profesores
4
Captulo 2
El Texto
2.1. Iniciando el Texto
La estructura de un documento en L
A
T
E
X se divide en dos partes: el preambulo y el cuerpo. En el
preambulo se escriben las instrucciones que indicaran la clase y caractersticas del documento se va a
escribir, tambien las que indican a L
A
T
E
X los paquetes se deben de cargar, para poder contar con algunas
herramientas adicionales.
El primer comando que se se escribe en la parte del preambulo, que tambien viene a ser la primera que
se escribe en todo el texto es la siguente: \documentclass{article} que indica que la estructura de
nuestro documento sera la de un artculo. Mas adelante se veran otras estructuras posibles.
El cuerpo del texto es la parte en la que va el texto propiamente dicho. Esta parte se incia con el
comando \begin{document} y se termina con \end{document}. Entre ellos se debe escribir el texto.
Por ejemplo un codigo fuente basico es el siguiente:
\documentclass{article}
\begin{document}
Este es mi primer texto.
\end{document}
que generara un documento con dicha lnea. En latex no importa la cantidad de espacio en blanco que
se deje entre dos palabras, as, las siguiente lneas de codigo generan el mismo texto.
Este es mi primer texto\\
Este es mi primer texto
Aqu solo son considerados el primer espacio en blanco. En el codigo anterior se usa el comando \\
para hacer un cambio de lnea.
2.2. Clases de documentos. Opciones
Otros tipos de documentos de que se dispone en L
A
T
E
X, ademas de article son: book, report
y letter. Estos dieren en algunas estructuras y formatos. Ademas, como sus propios nombres lo
mencionan, estan orientados a documentos cada vez mas extensos.
El primer comando que debe ponerse en el preambulo de todo chero fuente es \documentclass{clase}.
Aunque en realidad la orden completa es
5
\documentclass[Opciones]{clase}
Este comando se ocupa de determinar la clase (es decir, el modelo oformato) a la que debera ce nirse
el L
A
T
E
X a la hora de procesar el documento que estamos elaborando.
Los posibles valores para clase son: book, report, article, letter, slides y beamer. Solo se permite una y
solo una de esas posibles opciones para cada documento. Su eleccion depende del trabajo que quiera
realizar.
As, se tiene:
book[libro]: Destinado para escribir libros o documentos de gran extension.
report[informe,tesis,apuntes]: Su extension puede ser tambien grande.
article[artculo]: Enfocado a trabajos cortos. Adecuado para escribir artculos que puedan ser
publicados en revistas tecnicas o de investigacion
letter[carta]: Es el modelo propio para escribir cartas.
slides[transparencia]: Enfocado a elaborar transparencias.
beamer[presentaciones]: Parecido a una presentacion realizada en Power Point.
En la parte de opciones se tiene la posibilidad de actuar sobre ciertos aspectos globales predeterminados.
Algunas de las posibles opciones son:
10pt, 11pt, 12pt: Valores que hacen la diferencia al tama no de los caracteres que se utilizaran
durante todo el documento. 10pt indica la mas peque na y 12pt la mas grande. Estas tres
opciones son excluyentes entre s. Es decir, debe aparecer a lo mas una de ellas. El valor predenido
es 10pt salvo en las clases slides y beamer.
a4paper: Considera una medida del papel del documento de 29.7 21 cm. Sin embargo la opcion
predeterminada es letterpaper (11 8.5 in). Hay otras posibilidades como:
- legalpaper (14 8.5 in).
- executivepaper (10 7.25 in).
- a5paper (21 14.8 cm).
- b5paper (25 17.6 cm).
twoside: Es la opcion predeterminada por la clase book. Prepara la hoja con los margenes ade-
cuados seg un sea la pagina sea par o impar.
twocolumn: La salida se escribe en dos columnas por pagina. La distancia entre ellas se puede
modicar con el comando \columnsep. La opcion predeterminada es onecolumn.
2.3. Comandos para dar espacios, saltos y otros
Habamos mencionado que para dar un salto de lnea usamos \\.
Para iniciar una nueva pagina usaremos el comando \newpage.
Si queremos dar espacios verticales usaremos el comando \vspace{espacio}, por ejemplo para dar un
espacio vertical de 0.5cm escribiremos \vspace{0.5cm}.
6
Para dar espacios horizontales usaremos el comando \hspace{espacio}, por ejemplo para dar un espa-
cio horizontal de -0.5cm (a la izquierda) escribiremos \vspace{-0.5cm}.
Habra notado que al iniciar un documento en L
A
T
E
X empezamos con una sangra y lo mismo tenemos
al iniciar un nuevo parrafo. Para evitar esto, es decir, para iniciar el texto desde el margen izquierdo
usaremos el comando \noindent.
Si queremos dar un peque no espacio podemos usar el comando ~. Es frecuente usar este comando en
expresiones matematicas que pueden salir muy unidas.
Para incluir un texto de forma literal tenemos los comandos \verb y \verbatim. La diferencia entre
estos comandos esta en que el comando \verbatim muestra el texto literal en una lnea, mientras que
con \verb lo escribiremos a continuacion de nuestro texto. Hay dos formas de usar el comando \verb:
\verb+texto+ y \verbtexto. Para utilizar el comando \verbatim escribiremos:
\begin{verbatim}
texto
\end{verbatim}
Como ejemplo incluya el siguiente texto en el cuerpo de un documento:
\noindent UNIVERSIDAD NACIONAL DE INGENIER
IA \\
FACULTAD DE CIENCIAS\\
\textit{Laboratorio de Computo} \vspace{0.5cm}
\begin{center} Tercera Clase de \LaTeX
\end{center}
\vspace{0.5cm}
\noindent Habamos mencionado que para dar un salto
de lnea usamos \verb+\\+ y salto de pagina el comando
\verb"\newpage".
Para superponer palabras usar \hspace{-1cm} y retrocederemos.
Para escribir los smbolos $\mathbb{R},\mathbb{C}$ y $\mathbb{N}$
debemos incluir la librera \verb+\usepackage{amsfonts}+.
Veremos mas adelante que para incluir smbolos matematicos los
comandos los debemos colocar entre los smbolos de dolar \verb"$".
2.4. Divisiones de un documento
Las partes que soportan son las siguientes:
Nombre Comando
Parte \part (optativa)
Captulo \chapter
Seccion \section
Subseccion \subsection
Subsubseccion \subsubsection
Parrafo \paragraph
Subparrafo \subparagraph
7
El uso de cada uno de ellos se similar. El modo mas sencillo es mediante el comando \section{titulo}
donde titulo es el ttulo que se le pondra a la seccion. Se debe tener en cuenta que chapter no
esta disponible en el tipo article.
Otra manera de usarlos es usarlos con un asterisco, como se muestra \section*{titulo} que se
diferencia del primero en que no apareces la numeracion y tampoco aparecera en el ndice.
En caso del tipo book es posible declarar tres partes, la primera con \frontmatter, en esta parte se
suele escribir las introducciones, prologos, etc. Las paginas de esta parte se enumeran con n umeros
romanos y los chapter no se enumeran. Luego viene la parte \mainmatter que consiste en todos los
captulos del libro. Estos s se enumeran. Finalmente tenemos la parte \backmatter que se usa para
el eplogo y los apendices. La estructura usual es la siguiente:
\begin{document}
\frontmatter
% las paginas seran numeradas en numeros romanos
% los captulos definidos no sacaran epgrafe "Captulo numero"
% otras partes del documento se trataran igual (mejor ponerles en asterisco)
\mainmatter
% aqu se incluiran los captulos que constituyen el libro
% se renumera desde 1
\backmatter
% los apendices
\end{document}
2.5. Los Margenes
Para modicar los margenes del texto usaremos los siguentes comandos:
\oddsidemargin Este comando modica el margen izquierdo del documento. Por ejemplo la lnea
\oddsidemargin 2cm indica que el margen izquierdo sera una pulgada mas 2cm. Tambien se
puede usar \oddsidemargin -1.5cm, que hara que el margen izquierdo sea una pulgada menos
1.5 cm.
\textwidth Este comando especifca el ancho del texto. Su uso es similar al del comando
anterior.
\topmargin Este comando controla el margen superior, al igual que \oddsidemargin, tenemos
que la lnea \topmargin -1.5cm indica que el margen superior tendra una medida de una
pulagada menos 1.5cm.
\headheight Dene el largo del texto excluyendo el encabezado y el pie de pagina.
\textheight Dene el largo total del texto.
Todos estos comandos se declaran en el preambulo.
En la gura a continuacion se aprecia la ubicacion de los margenes y sus comandos respectivos.
8
9
2.6. La Tipografa
En L
A
T
E
X, para escribir el texto corriente dispones de varios tipos de letras. Todo tipo de letra posee
los siguientes atributos que lo distinguen:
Familia Es el nombre que se le da a un grupo de tipos de letras que guardan la misma plantilla. Por
ejemplo tenemos las siguientes familias:
Roman

Esta es la que se usa por defecto, se genera de la siguente manera: {\rmfamily texto}
o con \textrm{texto}
Sans serif Tambien llamada Palo Seco, com unmente son usadas para ttulares, se genera de
la siguente manera: {\sf texto} o con \textsf{texto}
Typewriter Se usa para simular el tipo de letra producidas por una maquina de escribir, se
produce de la siguiente manera: {\tttexto} o con \texttt{texto}
Serie Para mencionar cuan pesado o expandido es el la letra. En L
A
T
E
X se tienen las siguente series:
Medium Es la que se usa por defecto. Se genera con los siguientes comandos: {\mdseriestexto}
o con \textmd{texto}
Bolface Es la que comunmente se conoce como negrita. Se genera con los siguientes
comandos: {\bf texto} o con \textbf{texto}
Forma Denota la forma de la letra dentro de una misma familia, por ejemplo si es cursiva, rgida u
oblcua. Tenemos las siguientes formas:
Recto Es la que se usa por defecto. Se genera con: {\upseries texto} o con \textup{texto}
Italica Es de forma cursiva. Se usa para resaltar textos. Se genera con: {\it texto} o con
\textit{texto}
Oblcua Se genera con: {\sl texto} o con \textsl{texto}
Small Caps Las may usculas y min usculas solo se diferencian en el tama no. Se genera con:
{\sc texto} o con \textsc{texto}
Tama no En L
A
T
E
X tenemos los siguientes tama nos de letras, que aparecen junto con el comando que
los genera.
Tiny {\tiny texto }
Script {\scriptsize texto }
Foot {\footnotesize texto }
Small {\small texto }
Normal {\normalsize texto }
large {\large texto }
Large {\Large texto }
LARGE {\LARGE texto }
huge {\huge texto }
Huge {\Huge texto }
10
Ejemplo 2.6.1 Las distintas propiedades anteriores se pueden combinar como se muestra a con-
tinuacion.
{\sf\upshape\mdseries\tiny Texto} Texto
{\sf\upshape\mdseries\scriptsize Texto} Texto
{\sf\upshape\mdseries\footnotesize Texto} Texto
{\\upshape\mdseries\small Texto} Texto
{\sf\upshape\mdseries\normalsize Texto} Texto
{\tt\upshape\mdseries\large} Texto} Texto
{\tt\upshape\mdseries\Large Texto} Texto
{\tt\upshape\mdseries\LARGE Texto} Texto
{\tt\upshape\mdseries\huge Texto} Texto
{\tt\upshape\mdseries\Huge Texto} Texto
{\rmfamily\upshape\bf\tiny Texto} Texto
{\rmfamily\upshape\bf\scriptsize Texto} Texto
{\rmfamily\upshape\bf\footnotesize Texto} Texto
{\rmfamily\upshape\bf\small Texto} Texto
{\rmfamily\sc\bf\normalsize Texto} Texto
{\rmfamily\sc\bf\large} Texto} Texto
{\rmfamily\sc\bf\Large Texto} Texto
{\sf\upshape\bf\LARGE Texto} Texto
{\sf\upshape\bf\huge Texto} Texto
{\sf\upshape\bf\Huge Texto} Texto
2.6.1. Colores de Letras
Para poder poner colores a las letras es necesario declarar el paquete color en el preambulo,
mediante la siguiente lnea:
\usepackage{color}.
Luego, podemos usar el comando \textcolor{color}{texto}, donde color indica el color en que
se escribira el texto. Los valores que puede tormar color pueden ser: red, blue, etc.
Ejemplo 2.6.2 Aqu presentanmos algunos textos coloridos.
\textcolor{red}{Texto en color rojo}
\textcolor{blue}{Texto de color azul}
\textcolor{green}{Texto de color verde}
\textcolor{white}{Texto de color blanco}
\textcolor{yellow}{Texto de color amarillo}
\textcolor{black}{Texto de color negro}
Texto en color rojo
Texto de color azul
Texto de color verde
Texto de color blanco
Texto de color amarillo
Texto de color negro
11
Tambien se puede usar el comando \color{tipo} donde tipo indica el color.
Ejemplo 2.6.3 Aqu presentamos el mismo ejemplo anterior, pero usando el comando \color{tipo}.
{\color{red}Texto en color rojo}
{\color{blue}Texto de color azul}
{\color{green}Texto de color verde}
{\color{white}Texto de color blanco}
{\color{yellow}Texto de color amarillo}
{\color{black}Texto de color negro}
Texto en color rojo
Texto de color azul
Ademas es posible colocar los texto dentro de cajas de colores para ello se usa el comando
\colorbox{color}{texto} donde color indica el color de la caja y texto es el texto que ira dentro.
Ejemplo 2.6.4 En el siguiente ejemplo usamos el comando \colorbox{color}{texto}.
\colorbox{yellow}{\color{red}\large Texto en color rojo}\\
\colorbox{green}{\color{blue}\large Texto de color azul}\\
\colorbox{yellow}{\color{green}\large Texto de color verde}\\
\colorbox{black}{\color{white}\large Texto de color blanco}\\
\colorbox{blue}{\color{yellow}\large Texto de color amarillo}\\
\colorbox{yellow}{\color{black}\large Texto de color negro}\\
Texto en color rojo
Texto de color azul
2.7. Las Tildes y Caracteres Especiales
En L
A
T
E
X para poner una tilde sobre una vocal se usa el comando \ antes de la vocal en cuestion,
y para formar la n se usa el comando \~ antes de la n. El uso de este y otros comando se muestra a
continuacion.
12
\a \A
\i \I
\~n \~N
\"u \"U
\â \Â
a

A

I
n

N
u

U
a

A
Otros caracteres especiales son los siguientes:
"
?
!
\_
\$
\&
\^
\#
\~
\%
\ldots
!
$
&
%
. . .
En los tres primeros smbolos no confundir con . Para las personas de habla castellana existe un
paquete que se usa para que se puedan reconocer las tildes y otros signos. Este paquete es el inputenc
con la opcion latin. Para declararlo, se debe escribir en el preambulo la siguiente la siguiente lnea:
\usepackage[latin1]{inputenc}
Ejemplo 2.7.1 Por ejemplo, usando el paquete anterior se puede escribir de la siguiente manera.
2.8. El Ttulo
Dentro del preambulo se puede declarar el ttulo, autor y fecha, como se muestra.
\title{Manual Corto}
\author{Pedro Izaguirre}
\date{20 de julio}
\begin{document}
\maketitle
\end{document}
El comando \maketitle sirve para crear el ttulo. Se debe tener en cuenta que declarar la fecha es
opcional. Es posible usar el comando de cambio de lneas con el comando \\ como se muestra en el
siguiente codigo.
\title{Universidad Nacional de Ingenier\ia\\Manual Corto}
\author{Pedro Izaguirre\\Facultad de Ciencias}
13
\date{20 de julio\\{\small Primer D\ia de Clases}}
\begin{document}
\maketitle
\end{document}
Ademas, en los argumentos de cualquiera de los tres comandos anteriores, se puede usar el comando
\thanks{text} que produce una nota de pie de pagina.
\title{Universidad Nacional de Ingenier\ia\thanks{Lima-Per\u}\\Manual Corto}
\author{Pedro Izaguirre\thanks{alumno}\\Facultad de Ciencias\thanks{Centro de C\omputo}}
\date{20 de julio\\{\small Primer D\ia de Clases}\thanks{Periodo 2007-I}}
\begin{document}
\maketitle
\end{document}
Tambien es posible declara varios autores, para ello se usa el comando \and dentro del argumento del
comando \author.
\title{Universidad Nacional de Ingenier\ia\thanks{Lima-Per\u}\\Manual Corto}
\author{Pedro Izaguirre\thanks{alumno}\\Facultad de Ciencias\thanks{Centro de C\omputo}
\and F\elix Viza\\Facultad de Ing. Civil \and Jos\e Campos\thanks{Alumno Externo}\\
UNMSM}
\date{20 de julio\\{\small Primer D\ia de Clases}\thanks{Periodo 2007-I}}
\begin{document}
\maketitle
\end{document}
Finalmente, es posible de escribir una estracto o resumen del documento. Para ello se usa las siguientes
lneas.
\begin{abstract}
texto
\end{abstract}
donde texto es el contenido del resumen. Notar que el ttulo sale en ingles, con respecto a este punto
hablaremos mas adelante.
2.9. Citas
En L
A
T
E
X se dispone de dos ambientes para mostrar citas.
2.9.1. quote
Este ambiente es usado para una o varias citas cortas separadas por lneas en blanco, como se
muestra a continuacion.
14
Ejemplo 2.9.1 Por ejemplo, podemos digitar el siguente codigo:
\begin{quote}
Las matem\aticas son el alfabeto con el cual
Dios ha escrito el Universo.{\it Galileo Galilei}
La matem\atica es la ciencia del orden y la
medida, de bellas cadenas de razonamientos,
todos sencillos y f\aciles.{\it Ren\e Descartes}
Las matem\aticas no mienten, lo que hay son muchos
matem\aticos mentirosos.{\it Henry David Thoreau}
\end{quote}
Que genera el siguiente texto:
Las matematicas son el alfabeto con el cual Dios ha escrito el Universo.Galileo Galilei
La matematica es la ciencia del orden y la medida, de bellas cadenas de razonamientos,
todos sencillos y faciles.Rene Descartes
Las matematicas no mienten, lo que hay son muchos matematicos mentirosos.Henry
David Thoreau
notar que las lneas no se indentan.
2.9.2. quotation
Este ambiente se usa para citas con mas de un parrafo. Los parrafos separados por una lnea en
blanco son indentados.
Ejemplo 2.9.2 Aqu otro ejemplo, donde las citamos un parrafo.
A continuaci\on presentamos una breve cita de un libro que no
recuerdo.
\begin{quotation}
Las Matem\atica es contada dentro de
las filas de las ciencias formales junto con
la L\ogica. Esto se debe a que sus objetos
no provienen del mundo real, aunque
est\an inspirados por la realidad.
El hecho de que los objetos de estudio no provengan de la realidad
hace que la Matem\atica sea independiente de este mundo hace que
sus resultados no est\en sujetos a ser concordes con la realidad.
\end{quotation}
A continuacion presentamos una breve cita de un libro que no recuerdo.
15
Las Matematica es contada dentro de las las de las ciencias formales junto con
la Logica. Esto se debe a que sus objetos no provienen del mundo real, aunque estan
inspirados por la realidad.
El hecho de que los objetos de estudio no provengan de la realidad hace que la
Matematica sea independiente de este mundo hace que sus resultados no esten sujetos
a ser concordes con la realidad.
Existe tambien un ambiente para escribir versos, es verse, aqu cada estrofa es separada por una o
mas lneas en blanco y la lneas dentro de una estrofa son separadas por \\
Ejemplo 2.9.3 La siguente es una reproduccion de una poema bien concido.
Aqu\i mostramos el {\it Poema 15} de Pablo Neruda.
\begin{verse}
Me gustas cuando callas porque est\as como ausente,\\
y me oyes desde lejos, y mi voz no te toca.\\
Parece que los ojos se te hubieran volado\\
y parece que un beso te cerrara la boca.
Como todas las cosas est\an llenas de mi alma\\
emerges de las cosas, llena del alma m\ia.\\
Mariposa de sue\~no, te pareces a mi alma,\\
y te pareces a la palabra melancol\ia.
Me gustas cuando callas y est\as como distante.\\
Y est\as como quej\andote, mariposa en arrullo.\\
Y me oyes desde lejos, y mi voz no te alcanza:\\
d\ejame que me calle con el silencio tuyo.
D\ejame que te hable tambi\en con tu silencio\\
claro como una l\ampara, simple como un anillo.\\
Eres como la noche, callada y constelada.\\
Tu silencio es de estrella, tan lejano y sencillo.
Me gustas cuando callas porque est\as como ausente.\\
Distante y dolorosa como si hubieras muerto.\\
Una palabra entonces, una sonrisa bastan.\\
Y estoy alegre, alegre de que no sea cierto.
\end{verse}
Aqu mostramos el Poema 15 de Pablo Neruda.
Me gustas cuando callas porque estas como ausente,
y me oyes desde lejos, y mi voz no te toca.
Parece que los ojos se te hubieran volado
y parece que un beso te cerrara la boca.
Como todas las cosas estan llenas de mi alma
emerges de las cosas, llena del alma ma.
Mariposa de sue no, te pareces a mi alma,
y te pareces a la palabra melancola.
16
Me gustas cuando callas y estas como distante.
Y estas como quejandote, mariposa en arrullo.
Y me oyes desde lejos, y mi voz no te alcanza:
dejame que me calle con el silencio tuyo.
Dejame que te hable tambien con tu silencio
claro como una lampara, simple como un anillo.
Eres como la noche, callada y constelada.
Tu silencio es de estrella, tan lejano y sencillo.
Me gustas cuando callas porque estas como ausente.
Distante y dolorosa como si hubieras muerto.
Una palabra entonces, una sonrisa bastan.
Y estoy alegre, alegre de que no sea cierto.
2.10. Listas
Existen tres ambientes para generar listas. En cada uno de ellos, un nuevo elemento de la lista se
inicia con el comando \item. Los ambientes son los siguentes:
2.10.1. itemize
Aqu las listas no se enumeran, simplemente se ponen en orden.
Ejemplo 2.10.1

Esta es una lista simple.
\begin{itemize}
\item Primer elemento
\item Segundo elemento
\item Tercer elemento
\end{itemize}
El codigo anterior genera la siguiente lista.
Primer elemento
Segundo elemento
Tercer elemento
Es posible declarar un ambiente itemize dentro de otro. Esto se puede hacer hasta un maximo de
cuatro ambientes anidados.
Ejemplo 2.10.2 Tenemos dos ambientes anidados.
\begin{itemize}
\item Primera l\inea
\item Segunda l\inea. Aqu\i
declaramos otro \verb+itemize+
\begin{itemize}
\item Primera fila del segundo ambiente
\item Segunda fila del segundo ambiente
\end{itemize}
\item Tercera l\inea
\end{itemize}
Primera lnea
Segunda lnea. Aqu declaramos otro
itemize
Primera la del segundo ambiente
Segunda la del segundo ambiente
Tercera lnea
Las etiquetas del ambiente itemize son producidas por los comandos \labelitemi \labelitemii
\labelitemiii y \labelitemiv seg un sea el nivel de profundidad de un ambiente respecto del mas
externo, que esta asociado al primer comando. Para cambiarlas se tiene que redenir el comando, como
se muestra en el Ejemplo 4.4.3
17
2.10.2. enumerate
Este ambiente permite hacer listas ordenadas. Sus etiquetas pueden ser n umeros (arabicos), n umeros
romanos o letras (en orden alfabetico).
Ejemplo 2.10.3 Veamos un ejemplo sencillo usando el comando enumerate.
\begin{enumerate}
\item Segunda l\inea
\end{enumerate}
1. Primera lnea
2. Segunda lnea
3. Tercera lnea
Al igual que en el ambiente itemize, es posible declarar un ambiente enumerate dentro de otro
hasta un maximo de cuatro ambientes.
Ejemplo 2.10.4 Veamos un ejemplo usando el comando enumerate dentro de otro comando enu-
merate.
\begin{enumerate}
\item Segunda l\inea. Aqu\i
declaramos otro ambiente andidado
\begin{enumerate}
\end{enumerate}
\end{enumerate}
1. Primera lnea
2. Segunda lnea. Aqu declaramos otro am-
biente anidado
a) Primera la del segundo ambiente
b) Segunda la del segundo ambiente
3. Tercera lnea
Las etiquetas del ambiente enumerate son administradas por los contadores enumi enumii enumiii
enumiv, seg un sea la profundidad del ambiente respecto del mas externo. Sus valores siempre se ini-
cializan, por defecto, en cero, y cada vez que uno declara una nueva lnea el valor del contador se
incrementa. El valor de un contador se puede modicar con el comando \setcounter{}{} y se le
puede incrementar con el comando \addtocounter{}{}. Ver el Ejemplo 4.6.1
2.10.3. description
Este ambiente no enumera, sus etiquetas son palabras denidas por el usuario que se colocan entre
corchetes junto al comando item. Es usado para listar varias palabras que son descritas a continuacion
de ellas. Al igual que en los casos anteriores, es posible usar hasta cuatro ambientes anidados.
Ejemplo 2.10.5 Aqu usamos el ambiente description para denir algunos entes matematicos.
Seg\un Euclides tenemos que:
\begin{description}
\item[Punto] Es lo que no tiene partes.
\item[Recta] Es una l\inea sin anchura.
\item[Plano] ES una superficie
sin espesor.
\end{description}
Seg un Euclides tenemos que:
Punto Es lo que no tiene partes.
Recta Es una lnea sin anchura.
Plano ES una supercie sin espesor.
18
2.11. Tablas
Para tabular datos se cuenta con dos ambientes: tabbing y tabular.
2.11.1. tabbing
En este ambiente uno puede alinear el texto en columnas de manera similar a como se hace en con
una maquina de escribir. Para ello, primero se escribre la primera lnea (la) donde las columnas son
separadas por el comando \=, en las otras lneas las columnas son separeadas digitando \> y para el
cambio de lnea usamos el comando \\
Ejemplo 2.11.1 Por ejemplo podemos hacer la siguiente tabla. Para dejar un lugar libre basta
dejar un espacio en blanco en el lugar correpondiente.
frutas \= animales \= minerales\\
uva \> \> oro \\
fresa \> gato \>plata
frutas animales minerales
uva oro
fresa gato plata
Notar que la alineacion que se usa es la establecida para la primera lnea.
Ejemplo 2.11.2 Si en la tabla del ejemplo anterior a nadimos una lnea en la que uno de sus
elementos es mayor que al que corresponde a primera, entonces se sobreescriben.
uva \> \> oro \\
fresa \> gato \>plata\\
almendra \>rata \>cobre
uva perro oro
fresa plata
almendra rata cobre
En otras lneas se puede usar el comando \= para redenir la alineacion o para an nadir mas columnas.
Haremos esto para corregir el error del ejemplo anterior
Ejemplo 2.11.3 Notese en este ejemplo que en la cuarta lnea, el comando \= modica la alineacion
de la segunda columna pero no la de las otras.
uva \> perro \> oro \\
fresa \> \>plata\\
almendra \= rata\>cobre\\
mango \> perico \>sodio
uva perro oro
fresa plata
almendra rata cobre
mango pericosodio
Por otro lado, uno puede elegir los elementos son mas extensos de cada columna para usarla como
plantilla, para ello se escribe en la primera la y se naliza con el comando \kill que hara que no se
imprima y solo se la use como plantilla para la alineacion de las columnas.
Ejemplo 2.11.4 Usando la tercera lnea del ejemplo anterior como plantilla para la alineacion:
almendra \= animales \= minerales\kill
frutas \> animales \> minerales\\
uva \> perro \> oro \\
fresa \> \>plata\\
almendra \> rata\>cobre\\
uva perro oro
fresa plata
almendra rata cobre
19
2.11.2. tabular
Este ambiente permite hacer tablas, incluyendo lneas verticales y horizontales. Ademas es posible
denir la alineacion de la columnas: izquierda, cetro y derecha, con las opciones l,c,r respectivamente.
Para separar las columnas se usa &, para el cambio de lnea se usa \\ y para hacer una lnea horizontal
de usa el comando \hline.
Ejemplo 2.11.5 Notar que se usa la opcion {lcr} para denir tres columnas, la primera alineada
a la izquierda(l), la segunda(c) y la tercera a la derecha(r). Tambien es posible dejar un espacio
en blanco de la misma manera que en el ambiente tabbing.
\begin{tabular}{lcr}\hline
frutas & animales & minerales\\ \hline
uva & & oro \\
fresa & gato & plata\\\hline
almendra & rata & cobre\\
\end{tabular}
uva oro
fresa gato plata
almendra rata cobre
Ejemplo 2.11.6 Para hacer lneas verticales se escribe | o || cuando se dene el n umero de colum-
nas. Tambien es posible hacer lneas horizontales parciales, para ello se usa el comando \cline{i-j}
para crear una lnea desde la i-esima columna hasta la j-esima.
\begin{tabular}{|l|c||r|}\hline
uva & & oro \\
fresa & gato & plata\\\cline{1-2}
almendra & rata & cobre\\ \hline
\end{tabular}
uva oro
fresa gato plata
almendra rata cobre
Ejemplo 2.11.7 En una lnea dada es posible hacer que una sola palabra ocupe el espacio de una
o mas columnas, para ellos se usa el comando \multicolumn{cols}{pos}{texto}, donde cols es
un n umero que indica el n umero de columnas a ocupar, texto es el texto que se escribira es en ese
espacio y pos indica la alineacion del texto que se indica con l,c o r como es usual. Tamien es
posible usar lneas verticales en esta posicion.
\begin{tabular}{|l|c|r|}\hline
\multicolumn{2}{|c|}{Vivos} & \multicolumn{1}{c|}{Muertos}\\\hline
uva & & oro \\\hline
almendra & rata & cobre\\\hline
\end{tabular}
Vivos Muertos
uva oro
fresa gato plata
almendra rata cobre
20
2.12. El ambiente table
Para presentar, enumerar y poner un comentario a una tabla se usa el ambiente table. El formato
usual se presenta en el siguente ejemplo.
Ejemplo 2.12.1 Notar que para poner el comentario se usa el comando caption{comentario}.
\begin{table}[h]
\end{tabular}
\caption{este es el comentario para mi tabla}
\end{table}
Vivos Muertos
uva oro
fresa gato plata
almendra rata cobre
Cuadro 2.1: este es el comentario para mi tabla
Para centrar la tabla anterior usamos el ambiente center.
Ejemplo 2.12.2
\begin{table}[h]
\begin{center}
\end{tabular}
\caption{este es el comentario para mi tabla}
\end{center}
\end{table}
2.13. El ambiente multicols
En L
A
T
E
X el n umero de columnas en la cual escribimos por defecto es 1, pero podemos mostrar mas
de una columna si usamos el ambiente multicols.
Para iniciar las multicolumnas el formato es
21
Vivos Muertos
uva oro
fresa gato plata
almendra rata cobre
Cuadro 2.2: este es el comentario para mi tabla
\begin{multicols}{n}
texto 1
\columnbreak
texto 2
\columnbreak
.
.
\columnbreak
texto n
\end{multicols}
donde n es el n umero de columnas.
Para ello hay que incluir el paquete multicol en el preambulo de la siguiente manera:
\usepackage{multicol}
El ambiente multicols es usado frecuentemente para ganar espacio y de este modo podemos disminuir
el n umero de paginas de nuestro documento.
Ejemplo 2.13.1
Este es un texto que
mostramos en la
primera columna de nuestra pagina. Este es un
texto que
mostramos en la
segunda columna de nuestra pagina.
22
Captulo 3
F ormulas Matematicas
Para escribir formulas que aparezcan junto con el texto se usa el ambiente math que puede ser
invocado de dos maneras: $...$ o $...$; las formulas se escriben en medio. Tambien se puede
escribir una formula separada del texto, para ello se usa el ambiente displaymath que es llamado con
el comando \[...\] o $$...$$, nuevamente, las formulas se escriben en medio.
Aqu\i una f\ormula junto con
el texto $5x+3b$ y aqu\i otra
exhibida separada del texto
$$5x+3b$$
como se puede apreciar.
Aqu una formula junto con el texto 5x + 3b y
aqu otra exhibida separada del texto
5x +3b
como se puede apreciar.
3.0.1. Estructuras Comunes
Subndices y Exponentes
Los subndices se generan con el comando _ y los exponentes con ^, como se muestra a continuacion.
$x_{2n}$
$x^{2n}$
x
2n
x
2n
$y^{2^n}$
$y^{n_1}$
y
2
n
y
n
1
Otro ejemplo es el siguiente.
Para cada entero no negativo $n$
se define el $n$-\esimo
\textit{n\umero de Fermat }
$F_n$ como $$F_n=2^{2^n}+1$$
en caso que sea primo se dice que
es un \textit{primo de Fermat}.
Por ejemplo tenemos que $F_0=2+1=3$,
$F_1=2^{2^1}+1=2^2+1=5$ y
$F_2=2^{2^2}+1=2^4+1=17$
son primos de Fermat.
Para cada entero no negativo n se dene el n-
esimo n umero de Fermat F
n
como
F
n
= 2
2
n
+1
en caso que sea primo se dice que es un primo
de Fermat.
Por ejemplo tenemos que F
0
= 2 + 1 = 3,
F
1
= 2
2
1
+ 1 = 2
2
+ 1 = 5 y F
2
= 2
2
2
+ 1 =
2
4
+1 = 17 son primos de Fermat.
23
Como ejercicio reproduzca el siguente parrafo:
Para cada natural n denimos el n-esimo n umero de Mersenne M
n
como
M
n
= 2
n
1
de manera analoga al caso de los n umero de Fermat, M
n
se dira primo de Mersene si
es primo. No es difcil probar que si M
p
es un primo de Mersenne, entonces p debe ser
primo. El recproco no siempre es cierto, por ejemplo M
7
Fracciones
Las fracciones se pueden denotar con el smbolo /, como se muestra a continuacion.
Los n\umeros racionales son
de la forma $p/q$ donde $p$ y $q$
son enteros y $q$ es no nulo. Para
sumar dos numeros racionales $a/b$
y $c/b$ se puede usar la siguiente
f\ormula. $$a/b + c/d = (ad+bc)/(bd)$$
Los n umeros racionales son de la forma p/q
donde p y q son enteros y q es no nulo. Para
sumar dos numeros racionales a/b y c/b se puede
usar la siguiente formula.
a/b +c/d = (ad +bc)/(bd)
Como se puede ver, esta forma de denotar fracciones es ideal cuando estas son simples aparecn en
medio del texto, sin embargo, en el caso de fracciones mas complejas no son muy adecuadas, para estos
casos se puede usar el comando \frac{numerador}{denominador}.
$$\frac{a}{b}+\frac{c}{d}=\frac{ad+bc}{bd}$$
$$\frac{x+y}{1+\frac{y}{z+1}}$$
a
b
+
c
d
=
ad +bc
bd
x +y
1 +
y
z+1
Raices
Para generar la raz cuadrada se usa en comando \sqrt{argumento}
\sqrt{x+y}

x +y
Para generar una raz enesima usamos el mismo comando pero con una opcion adicional:
\sqrt[orden]{argumento}
\sqrt[2^2+1]{6x^2+3}
2
2
+1
6x
2
+3
Pruebe en reproducir lo siguiente:
Dados a y b dos n umeros reales cualesquiera, se cumple que
(a +b) = (
3
a +
3
b)(
3
a
2
+
3
ab +
3
b
2
)
Smbolos de Relacion y Puntos Suspensivos
Los comandos para generar los smbolos de las relaciones usuales se muestran a continuacion.
Algunos de estos smbolos requieren de una paquete adicional \usepackage{amssymb}.
24
<
>
~
_
_
<
>
\leq
\geq
\ll
\gg
\prec
\succ
\preceq
\succeq
_
_
_
_
/
\subset
\subseteq
\supset
\supseteq
\in
\subsetneq
\varsubsetneq
\supsetneq
\varsupsetneq
\notin
,=
=
\neq
\equiv
\sim
\simeq
\approx
\cong
Por ejemplo tenemos
5<8\leq 8 5 < 8 8
A\subset B A B
A veces se requiere usar estas relaciones repetidas veces, una a continuacion de otras junto con puntos
suspensivos. Para generar estos puntos suspensivos se pueden usar los comandos \ldots y \cdots
como se muestra es los siguientes ejemplos.
n_1<n_2<\cdots<n_k<n_{k+1}\cdots n
1
< n
2
< < n
k
< n
k+1

1+2+\cdots+n=n(n+1)/2 1 +2 + +n = n(n +1)/2
Sean $2,3,\ldots,p_n$ primos Sean 2, 3, . . . , p
n
primos
Tambien se puede generar un solo punto con el comando \cdot que usualmente es usado para expresar
el un producto.
n!=1\cdot 2 \cdot 3\cdots (n-1)\cdot n n! = 1 2 3 (n 1) n
Letras Griegas
Para producir letras griegas min usculas se usa el comando \ seguido del nombre de la letra (en
ingles).
El valor de $\pi$ es $3.14159265\ldots$ El valor de es 3,14159265 . . .
Para producir las may usculas basta con escribir el nombre con la primera letra en may uscula.
Letra $\lambda$ en may\uscula es $\Lambda$ Letra en may uscula es
Algunas letras griegas may usculas coinciden con las romandas, como por ejemplo la letra alfa, estas
no se generan. Tambien, algunas letras adminten mas de una forma, como por ejemplo la letra sigma
tiene las formas y ; para generarlas basta con anteponer el prejo var al nombre de la letra. A
continuacion mostramos la lista de las letras griegas.
Min usculas
\alpha
\beta
\gamma
\delta
\epsilon
\varepsilon
\zeta
\eta
\theta
\vartheta
\iota
\kappa
\lambda
\mu
\nu
\xi
\pi
o o
\varpi
\rho
25
\varrho
\sigma
\varsigma
\tau
\upsilon
\phi
\varphi
\chi
\psi
\omega
May usculas
\Gamma
\Delta
\Theta
\Lambda
\Xi
\Pi
\Sigma
\Upsilon
\Phi
\Psi
\Omega
Letras Especiales
Existen algunos tipos de letras cuyo uso esta restringido para designar entidades matematicas tales
como conjuntos, estructuras algebraicas, n umeros, etc.
Para generarlas, muchas de ellas requieren del paquete amsfonts (esto es, se debe a nadir el el preambulo
el codigo\usepackage{amsfonts}). La letras se generan con los siguientes comandos.
/B( Solo estan disponibles las letras may usculas. Se generan con el comando \mathcal{}
ABC Tambien se estan disponibles solamente en letras may usculas. Se generan con el comando \mathbb{}.
Son comunmente usados para designar conjuntos numericos.
ABCabc Este es de tipo Fraktur, esta disponible tanto en may usculas como min usculas. Se generan con
el comando \mathfrak{}. Usualmente se usa para designar elementos de estructuras algebraicas
tales como anillos, modulos, ideales, etc.
Funciones con Nombre
Existe funciones que siempre se denotan con mas de una letra, como las funciones trigonometricas,
la funcion logaritmo, etc. Por convencion, para evitar ambi uedades, siempre se las escribien en tipo
romano. As no es recomendable escribir
Siempre se cumple que $log(x^n)=n log(x)$ Siempre se cumple que log(x
n
) =
nlog(x)
pues como se ve, se corre el riesgo de confundilo nlog con el producto de cantidades denotadas por
o, l, o, g. Para corregir esto, como se menciono ya, es preferible escribir las notaciones de estas funciones
en tipo romano. Para las funciones usuales ya existen comandos que hagan esto, como por ejemplo
\log, \ln, \sin, \cos, \exp, etc.. Si no hubiere alguno de ellos, se puede usar el comando \text{}
o \textrm{}
Como ejercicio reproducir el siguiente texto:
Dado s C, consideremos la serie
+
n=1
z
n
n
s
(3.1)
Puesto que [n
s
[ = n
Re(s)
, se tiene que lm
n+
[n
s
[
[(n +1)
s
[
= 1, de donde se sigue que
el radio de convergencia es 1. Ademas, si Re(s) > 1, la serie
+
n=1
1
n
Re(s)
converge, y
26
como [
z
n
n
s
[
1
n
Re(s)
para z B(0, 1) se tiene que la serie (3.1) converge uniformemente
en B(0, 1).
Denimos el polilogaritmo de grado s,Li
s
como la serie:
Li
s
(z) =
+
n=1
z
n
n
s
Tambien tenemos que la derivada de la funcion Li
s
es:
Li
s+1
(z)
z
=

+
n=1
z
n
n
s+1
z
=
+
n=1
nz
n
n
s+1
=
1
z
+
n=1
z
n
n
s
luego
z
Li
s+1
(z)
z
= Li
s
(z) s C (3.2)
El caso que no importa es el del dilogaritmo, esto es, el polilogaritmo de grado 2.
Por ejemplo, se pueden obtener algunas series de Fourier. En primer lugar para todo
en , ) se tiene que
Li
2
(e
i
) +Li
2
(e
i
) =
2
6

1
2
log
2
(e
i
) =
2
6
+
1
2
2
y gracias a la continuidad del dilogaritmo tenemos que para en [, ] se sigue
cumpliendo que
n=1
(e
i
)
n
+(e
i
)
n
n
2
=
2
6
+
1
2
2
que implica
n=1
(1)
n
(e
in
+e
in
)
n
2
=
2
6
+
1
2
2
lo que nos lleva a que para todo en [, ] se cumple
n=1
(1)
n
cos(n)
n
2
=
1
4

2
12
(3.3)
Tambien se tiene que para todo en /2, /2) se cumple
Li
2
(e
2i
) +Li
2
(
e
2i
1 +e
2i
) =
1
2
log
2
(1 +e
2i
)
que es lo mismo que
Li
2
(e
2i
) +Li
2
(
e
i
e
i
+e
i
) =
1
2
log
2
(e
i
(e
i
+e
i
))
de donde se sigue que
Li
2
(e
2i
) +Li
2
(
e
i
2 cos
) =
1
2
log
2
(e
i
(2 cos )) =
1
2
(log(2 cos ) +i)
2
27
entonces
n=1
1
n
2
((1)
n
e
2in
+
e
in
(2 cos )
n
) =
1
2
(log
2
(2 cos )
2
+2i log(2 cos ))
y tomando la parte real se tiene que
n=1
1
n
2
((1)
n
cos(2n) +
cos(n)
(2 cos )
n
) =
1
2
(log
2
(2 cos )
2
)
luego, usando la relacion (3.3), tenemos que
1
4
(2)
2

2
12
+
n=1
1
n
2
cos(n)
(2 cos )
n
=
1
2
(
2
log
2
(2 cos ))
de donde obtenemos una nueva relacion
n=1
1
n
2
cos(n)
(2 cos )
n
=

2
12

1
2
(
2
+log
2
(2 cos )), /2, /2) (3.4)
Por otro lado, es facil ver que 2e
i
cos [1, +) si y solo si existe un entero n tal
que = n. Luego, de manera analoga al caso anterior, tenemos que para todo en
, )0. Se cumple que
Li
2
(2e
i
cos ) +Li
2
(
2e
i
cos
1 2e
i
cos
) =
1
2
log
2
(1 2e
i
cos )
y puesto que
1 2e
i
cos = 1 cos
2
i2 cos sen = e
2i
se sigue que
Li
2
(2e
i
cos ) +Li
2
(
2e
i
cos
e
2i
) =
1
2
log
2
(e
2i
)
luego, desarrollando en series se tiene
n=1
(2 cos )
n
n
2
(e
in
+e
in
) =
1
2
log
2
(e
2i
)
es decir
n=1
(2 cos )
n
cos(n)
n
2
= (
1
2
log(e
2i
))
2
y de aqu se tiene que
n=1
(2 cos )
n
cos(n)
n
2
= (
1
2
log(e
i(2||)
))
2
=
_
i(2[[ )
2
_
2
de donde se tiene nalmete que
n=1
(2 cos )
n
cos(n)
n
2
=
_
[[

2
_
2
, , )0 (3.5)
Sumatorias, Productorias e Integrales
Para sumatorias, productorias e integrales se usan los siguientes comandos \sum,\prod,\int. Para
poner colocar los ndices se de dochas operaciones se usan los mismos comandos que para subndices y
exponentes como se muestra a continuacion.
28
$$\sum_{i=1}^ni=\frac{n(n+1)}{2}
\mbox{ y }\prod_{i=1}^n=n!$$
$$\log x =\int_1^x$$
n
i=1
i =
n(n +1)
2
y
n
i=1
= n!
log x =
_
x
1
dx
x
Otros smbolos de interes son los siguentes:
_
\oint
\cap
\bigcap
\cup
\bigcup
\times
\odot
\bigodot
\otimes
\bigotimes
\oplus
\bigoplus
\oplus
\bigoplus
\uplus
\biguplus
\vee
\bigvee
\wedge
\bigwedge
\angle
\rangle
\langle
\nabla
\forall
\exists
\bot
\top
\infty
\hbar
\aleph
\top
\bot
\|
\partial
\setminus
Para escribir los parantesis y corchetes no son necesarios ning un comando, para las llaves se usan
\{ y \}. Tenemos los siguiente ejemplos.
$$[0,1\rangle\cup\langle 1,2]=
[0,2]\setminus\{0\}$$
$$\mathbb{Z}\cap\mathbb{Q}^{+}
=\mathbb{N}$$
Si $f$ es una funci\on holomorfa
entonces
para todo camino cerrado $\gamma$
se cumple $$\oint_{\gamma}f(z)dz=0.$$
[0, 1) 1, 2] = [0, 2] 0
Z
+
= N
Si f es una funcion holomorfa entonces para to-
do camino cerrado se cumple
_
f(z)dz = 0.
Como ejercicio, reproduzca el siguiente texto.
El matematico israel Hillel Furstenberg dio la siguiente prueba de la innitud de los
n umeros primos. Damos por verdadero el hecho, no difcil de probar, que todo n umero
entero cuyo valor absoluto es mayor a uno es dividio por alg un n umero primo.
Dotaremos al conjunto Z de los enteros de una topologa, para ello denamos los sigu-
ientes conjuntos.
V (a, n) = a +nk : k Z a Z y n N.
No es difcil probar que esta familia de conjuntos forma una base topologica. Notemos
que en la topologa generada por esta base se cumple que:
1. Todo abierto no nulo es innito.
2. Cada conjunto V (a, n) es cerrado.
29
Finalmente, consideremos P el conjunto de todos los n umeros primos. Es directo ver
que
Z 1, 1 =
_
pP
V (0, p)
ahora, si el conjunto P fuese nito, entonces el conjunto
pP
V (0, p) sera cerrado, lo
que conducira a que 1, 1 fuese abierto, lo que es contradictorio.
Una funcion f en un subconjunto abierto U de 1
n
con valores en 1 se dice que es
homogenea de grado k > 0 si se cumple que
f(tx) = t
k
f(x), t > 0
se puede probar que esto se cumple si y solo si se satisface la relacion de Euler:
n
i=1
f(x)
x
i
x
i
= kf(x)
Ahora presentaremos una serie de ejemplos de diversos tipos de formulas.
Ejemplo 3.0.2
Dados los anillos $A_1,A_2,\ldots,A_n$
y sus ideales $I_1,I_2,\ldots,I_n$
respectivamente, tenemos que
\[\frac{A_1\oplus A_2\oplus\cdots
\oplus A_n}{I_1\oplus I_2\oplus
\cdots\oplus I_n}\cong \frac{A_1}{I_1}\oplus\frac{A_2}{I_2}
\oplus\cdots\oplus\frac{A_n}{I_n}\]
Dados los anillos A
1
, A
2
, . . . , A
n
y sus ideales
I
1
, I
2
, . . . , I
n
respectivamente, tenemos que
A
1
A
2
A
n
I
1
I
2
I
n
=
A
1
I
1
A
2
I
2

A
n
I
n
Ejemplo 3.0.3
Dado un ideal maximal $P$ de un
dominio $D$ y un natural $a$.
Tenemos que la funci\on
$x\rightarrow x+PâD_P$ induce
el isomorfismo \[D/Pâ\cong D_P/PâD_P\]
Dado un ideal maximal P de un dominio D
y un natural a. Tenemos que la funcion x
x +P
a
D
P
induce el isomorsmo
D/P
a

= D
P
/P
a
D
P
Ejemplo 3.0.4
As\i tenemos que, para cada $i=1,2,\ldots, n$ existe $a_i$ entero
no negativo tal que \[\frac{I}{P_1^{b_1}P_2^{b_2}\cdots
P_n^{b_n}}\cong \frac{P_1^{a_1}}{P_1^{b_1}}\oplus
\frac{P_2^{a_2}}{P_2^{b_2}}\oplus\cdots\oplus
\frac{P_n^{a_n}}{P_n^{b_n}}\]
Por otro lado, para cada $i=1,2,\ldots,n$ tomando la proyecci\on
$\pi_i:R\rightarrow R/P_i^{b_i}$, tenemos que la aplicaci\on
diagonal mencionada en el Teorema del Resto Chino, es
$\pi=(\pi_1,\pi_2,\ldots,\pi_n)$ y tenemos claramente que
\[I=\pi^{-1}(\oplus_{i=1}^nP_i^{a_i}/P_i^{b_i})=\bigcap_{i=1}^n\pi^{-1}_{i}
30
(P_i^{a_i}/P_i^{b_i})=\bigcap_{i=1}^nP_i^{a_i}\]
As tenemos que, para cada i = 1, 2, . . . , n existe a
i
entero no negativo tal que
I
P
b
1
1
P
b
2
2
P
b
n
n
=
P
a
1
1
P
b
1
1
P
a
2
2
P
b
2
2

P
a
n
n
P
b
n
n
Por otro lado, para cada i = 1, 2, . . . , n tomando la proyeccion
i
: R R/P
b
i
i
, tenemos que la
aplicacion diagonal mencionada en el Teorema del Resto Chino, es = (
1
,
2
, . . . ,
n
) y tenemos
claramente que
I =
1
(
n
i=1
P
a
i
i
/P
b
i
i
) =
n
i=1
1
i
(P
a
i
i
/P
b
i
i
) =
n
i=1
P
a
i
i
Ejemplo 3.0.5 Notar que se usa el comando \binom{}{} para general el coeciente binomial
_
a
b
_
.
Para poder usar este comando es necesario tener cargado el paquete amsmath en el preambulo.
\[\frac{1}{(1-z)^{k+1}}=
\sum_{\nu \geq k}
\binom{\nu}{k}z^{\nu -k}\]
1
(1 z)
k+1
=
k
_
k
_
z
k
Ejemplo 3.0.6
\[\sum_{\lambda\geq 0}\sum_{\mu+\nu=\lambda}\frac{1}{\mu !}
w^\mu\frac{1}{\nu !}z^\nu=\sum_{\lambda\geq 0}\sum_{\nu=0}
^\lambda\binom{\lambda}{\nu} w^{\lambda-\nu}z^\nu=
\sum_{\lambda\geq 0} \frac{1}{\lambda !}(w+z)^\lambda\]
+=
1
!
w
1
!
z
=0
_
_
w
0
1
!
(w +z)
Ejemplo 3.0.7
\[\frac{1}{2}+\cos z + \cos 2z+
\cdots+\cos nz =\frac
{\sin(n+\frac{1}{2}z)}{2\sin\frac{1}{2}z}\]
1
2
+cos z +cos 2z + +cos nz =
sin(n +
1
2
z)
2 sin
1
2
z
Ejemplo 3.0.8
\[\int_r^sf(t)dt:=\int_r^s
\Re{f}(t)dt+i\int_r^s\Im{f}(t)dt\]
_
s
r
f(t)dt :=
_
s
r
'f(t)dt +i
_
s
r
f(t)dt
Ejemplo 3.0.9
\[||r(x_k)||_2^2-||r(x_k+\alpha_kp_k)||_2^2
\geq\frac{1}{2}||J(x_k)p_k||_2^2\]
[[r(x
k
)[[
2
2
[[r(x
k
+
k
p
k
)[[
2
2

1
2
[[J(x
k
)p
k
[[
2
2
Ejemplo 3.0.10
31
\[\sum_{y<n\leq x}f(n)=
\int_y^xf(t)dt+\int_y^x
(t-\lfloor t\rfloor)f(t)dt\]
y<nx
f(n) =
_
x
y
f(t)dt +
_
x
y
(t t|)f
(t)dt
Ejemplo 3.0.11
\begin{enumerate}
\item[~~i)]$\limi{z}{0}{\log(z)\log(1-z)}=0.$
\item[~ii)]$\limi{z}{0}{\log(z)\log(1+z)}=0.$
\item[iii)]$\limi{z}{0}{z\log(z)}=0.$
\end{enumerate}
i) lm
z0
log(z) log(1 z) = 0.
ii) lm
z0
log(z) log(1 +z) = 0.
iii) lm
z0
z log(z) = 0.
3.1. Arreglos
Para hacer arreglos se una el ambiente array, que nos permite ordenar varios elementos en una
matriz. Las columnas del arreglo se pueden alinear a la derecha, centro o izquierda con las opciones
l,c,r respectivamente. Las columnas se separan por & y el cambio de lnea con \\.
Este ambiente siempre se usa en modo matematico.
Ejemplo 3.1.1 Las opciones {lcr} indican que estamos declarando una arreglo con tres columnas,
la primera alneada a la izquierda(l), la seguna al centro(c) y la tercera a la derecha(r)
$\begin{array}{lcr}
1+x+x^2 & \sum a_i & x+y+z\\
a+b & x_2 & x_3\\
x_1^2 & x_2^2 & x_3^2\\
\end{array}$
1 +x +x
2

a
i
x +y +z
a +b x
2
x
3
x
2
1
x
2
2
x
2
3
Generalmente se requieres escribir el arreglo entre parentesis, corchetes, llaves, etc. Para hacer que estos
smbolos se adec uen al arreglo se usan los comandos \left y \right. Ademas es simpre posible tener
matirces anidadas.
Ejemplo 3.1.2 Aqu usamos las barras verticales (| |) para denotar el determinante.
$\left(\begin{array}{ccc}
\left|\begin{array}{cc}
a_{11} & a_{12} \\
a_{21} & a_{22}
\end{array}\right| & 1 & 1\\
x_1 & x_2 & x_3\\
x_1^2 & x_2^2 & x_3^2\\
\end{array}\right)_{3\times 3}$
_
_
_
_
a
11
a
12
a
21
a
22
1 1
x
1
x
2
x
3
x
2
1
x
2
2
x
2
3
_
_
_
_
33
32
A parte de los tipos de puntos suspensivos que ya se vieron en la seccion 3.0.1, es posible hacer
unos verticales y diagonales con los comandos \vdots y \ddots como se muestra a continuacion.
Ejemplo 3.1.3 Aqu mostramos como se escribe una matriz general de orden n por m.
$\left(\begin{array}{cccc}
a_{11} & a_{12} & \cdots & a_{1m}\\
a_{21} & a_{22}& \cdots & a_{2m}\\
\vdots & \vdots & \ddots & \vdots\\
a_{n1} & a_{n2}& \cdots & a_{nm}\\
\end{array}\right)_{n\times m}
$
_
_
_
_
_
a
11
a
12
a
1m
a
21
a
22
a
2m
.
.
.
.
.
.
.
.
.
.
.
.
a
n1
a
n2
a
nm
_
_
_
_
_
nm
En ocasiones cuando se requiere mostrar solo uno de los parentesis, corchetes o smbolos parecidos.
Para mostrar esto usando los comandos \left y \right simplemente se escribe un punto en lugar del
smbolo a obviar.
Ejemplo 3.1.4

Esta es la denicion que es diferenciable en el origen y discontinua en los demas
puntos de la recta.
$\mu(n)=\left\{\begin{array}{lcl}
x^2 & \mbox{si} & x\in\mathbb{Q}\\
-x^2 &\mbox{si}& x\not\in\mathbb{Q}\\
\end{array}\right.
$
(n) =
_
x
2
si x
x
2
si x ,
3.2. El Subrayado y Anes
Para subrayar una procion de texto, se usa el comando \underline{texto a subrayar}. Otro
comando parecido es \overline{texto} que coloca una lnea sobre el texto. Hay que tener en cuenta
que este ultimo comando solo puede ser usado en modo matematico.
Ejemplo 3.2.1
La \underline{conjugada} de un
n\umero complejo $z$ se denota
por $\overline{z}$ que se define
por la ecuaci\on: $$\overline{a+ib}=a-ib$$
La conjugada de un n umero complejo z se deno-
ta por z que se dene por la ecuacion:
a +ib = a ib
Tambien contamos con el los comandos \underbrace{\texto}_{texto bajo las llave} y
\overbrace{texto}_{texto sobre la llave} que colocan llaves bajo el texto y sobre el texto,
respectivamente.
Ejemplo 3.2.2
Las siguentes definiciones
son usuales: $$x^n=
\underbrace{x\cdot x\cdots x}_{n\mbox{ veces}}$$
$$nx=\overbrace{x+ x+\cdots +x}^{n\mbox{ veces}}$$
Las siguentes deniciones son usuales:
x
n
= x x x
. .
n veces
nx =
n veces
..
x +x + +x
33
Otro par de comandos que pueden ser utiles son \vec{} y \widehat{}.
Ejemplo 3.2.3
Los vectores se suelen denotar por
$\vec{x}$ y algunas veces es necesario
definir s\imbolos similares a
$\widehat{1+x}$
Los vectores se suelen denotar por x y algunas
veces es necesario denir smbolos similares a
1 +x
Tambien es posible apilar smbolos, para ello se usa el comando \stackrel{simb1}{simb2}
escribe simb1 por encima de simb2.
Ejemplo 3.2.4
Algunas veces para definir algo
se usa la notaci\on
$\stackrel{\mathrm{def}}{=}$.
Por ejemplo tenemos:
$$\mbox{diag}(\lambda_1,
\lambda_2,\ldots,\lambda_n)
\stackrel{\mathrm{def}}{=}
\left(\begin{array}{cccc}
\lambda_1 & 0 & \cdots & 0\\
0 & \lambda_2 & \cdots & 0\\
\vdots&\vdots & \ddots & \vdots\\
0 & 0 & \cdots & \lambda_n\\
\end{array}
\right)$$
Algunas veces para denir algo se usa la notacion
def
=. Por ejemplo tenemos:
diag(
1
,
2
, . . . ,
n
)
def
=
_
_
_
_
_
1
0 0
0
2
0
.
.
.
.
.
.
.
.
.
.
.
.
0 0
n
_
_
_
_
_
Ejemplo 3.2.5
Usualmente para decir que $f $ es una
funci\on de un conjunto $A$ a otro $B$
se escribe $$f:A\rightarrow B$$ pero,
sobre todo en \algebra, se suele usar
la notaci\on $$A\stackrel{f}
{\longrightarrow}B$$
Usualmente para decir que f es una funcion de
un conjunto A a otro B se escribe
f : A B
pero, sobre todo en algebra, se suele usar la no-
tacion
A
f
B
3.3. Espacios en Modo Matematico
En modo matematico nunca se respentan los espacios, por ejemplo tenemos que tanto $x y z$
y $xyz$ generan xyz. Para generar espacios en este modo se usan los comandos \, , \: , \; , \ y
\quad.
Ejemplo 3.3.1 Para notar la diferencia entre los espacios que generan los comandos, aqu los
mostramos entre dos barras.
34
\, [ [
\: [ [
\; [ [
\ [ [
\quad [ [
Tambien existe un comando para reducir espacios, este es \!.
Ejemplo 3.3.2 A veces cuando uno escribe ecuaciones los espacios no son los adecuados, por ellos
se requiere modicarlos.
$\sqrt{2}x$
2x $\sqrt{2}\,x$
2 x
$\sqrt[n^2]{x}$
n
2
x $\sqrt[n^{\!\!2}]{x}$
n
2
x
$||\vec{x}||$ [[x[[ $|\!|\vec{x}|\!|$ [[x[[
$\int\int f(x,y)dxdy$
_ _
f(x, y)dxdy $\int\!\!\int\!\! f(x,y)dxdy$
__
f(x, y)dxdy
Continuamos con mas ejemplos
Ejemplo 3.3.3
$$ \left.
\begin{array}{cll}
\mbox{Li}_{s}:B(0,1)
&\rightarrow&\mathbb{C} \\
z&\rightarrow&\mbox{Li}_{s}
(z)=\displaystyle\sum_{n=1}^{+\infty}\frac{z^{n}}{n^{s}}\\
\end{array}
\right. $$
Li
s
: B(0, 1) C
z Li
s
(z) =
+
n=1
z
n
n
s
Ejemplo 3.3.4
$$ \begin{array}{lcl} \mbox{Li}_{1}(z)&=&\displaystyle
\sum_{n=1}^{\infty}\frac{z^{n}}{n}=
\displaystyle\sum_{n=1}^{\infty}
\frac{(-1)^{2n}z^{n}}{n} \\
&=&\displaystyle\sum_{n=1}^{\infty}
\frac{(-1)^{n}(-z)^{n}}{n} =(-1)
\displaystyle\sum_{n=1}^{\infty}
\frac{(-1)^{n+1}(-z)^{n}}{n} \\
&=&-\log(1-z)\\
\end{array} $$
Li
1
(z) =
n=1
z
n
n
=
n=1
(1)
2n
z
n
n
=
n=1
(1)
n
(z)
n
n
= (1)
n=1
(1)
n+1
(z)
n
n
= log(1 z)
3.4. Mostrando Ecuaciones
Existe el ambiente equation que muestra y enumera una equacion.
Ejemplo 3.4.1
35
La funci\on zeta de Riemann est\a
definida por la serie
\begin{equation}
\zeta(s)=\sum_{n=1}^\infty\frac{1}{n^s}
\end{equation}
La funcion zeta de Riemann esta denida por la
serie
(s) =
n=1
1
n
s
(3.6)
Es posible evitar que la ecuacion se enumere usando en ambiente equation* como se muestra a
continuacion.
Ejemplo 3.4.2
La funci\on indicatriz
de Euler $\phi$ satisface
la relaci\on.
\begin{equation*}
\sum_{d\mid n}\phi(d) = n
\end{equation*}
La funcion indicatriz de Euler satisface la
relacion.

d|n
(d) = n
A veces se requiere mostrar varias ecuaciones ordenadas. Para ello existe el ambiente eqnarray, que
ordena las ecuaciones en un arreglo de manera analoga al ambiente array. Las columnas se separan
con & y el cambio de lnea con \\. En principio no es necesario declarar el n umero de columnas ni su
alneacion.
Ejemplo 3.4.3
Dada una superficie parametrizada
por una funci\on $\varphi(u,v)$
los coeficientes de la Primera
Forma Fundamental satisfacen
las siguientes ecuaciones:
\begin{eqnarray}
E & = & \langle \vaphi_u, \vaphi_u\rangle\\
F & = & \langle \vaphi_u, \vaphi_v\rangle\\
G & = & \langle \vaphi_v, \vaphi_v\rangle\\
\end{eqnarray}
Dada una supercie parametrizada por una fun-
cion (u, v) los coecientes de la Primera For-
ma Fundamental satisfacen las siguientes ecua-
ciones:
E =
u
,
u
) (3.7)
F =
u
,
v
) (3.8)
G =
v
,
v
) (3.9)
En caso que no se desee enumerar algunas de las las se escribe al nal de ella el comando \nonumber.
Ejemplo 3.4.4
\begin{eqnarray}
\displaystyle\frac{\partial\mathrm{Li}\circ f} {\partial
z}(z)&=&\displaystyle \frac{\partial \mathrm{Li}}{\partial z}
(-1/z)\frac{\partial f(z)}{\partial z}\nonumber\\
&=&\displaystyle\frac{-\log(1+1/z)}{(-1/z)}.\frac{1}{z^{2}}\\
&=&\displaystyle\frac{\log(1+1/z)}{z}\nonumber
\end{eqnarray}
36
Li f
z
(z) =
Li
z
(1/z)
f(z)
z
=
log(1 +1/z)
(1/z)
.
1
z
2
(3.10)
=
log(1 +1/z)
z
Al igual que en el ambiente aquation existe el ambiente eqnarray* que no enumera ninguna de las
ecuaciones del arreglo.
Ejemplo 3.4.5
\begin{eqnarray*}
\sum_{n=1}^{\infty}\frac{(-1)^n}{n^{2}}&=&
\sum_{n=1}^{\infty}\frac{-1}{(2n-1)^{2}}+\frac{1}{(2n)^{2}}\\
&=&\sum_{n=1}^{\infty}\frac{-1}{(2n-1)^{2}}+\frac{-1}{(2n)^{2}}
+\frac{2}{(2n)^{2}}\\
&=&-\sum_{n=1}^{\infty}\frac{1}{(2n-1)^{2}}+\frac{1}{(2n)^{2}}+
2\sum_{n=1}^{\infty}\frac{1}{(2n)^{2}}
\end{eqnarray*}
n=1
(1)
n
n
2
=
n=1
1
(2n 1)
2
+
1
(2n)
2
=
n=1
1
(2n 1)
2
+
1
(2n)
2
+
2
(2n)
2
=
n=1
1
(2n 1)
2
+
1
(2n)
2
+2
n=1
1
(2n)
2
En cualquiera de los ambientes anteriores se puede usar el comando \lefteqn{\formula} que
alnea a formula a la izquierda.
Ejemplo 3.4.6
\begin{eqnarray}
\lefteqn{\frac{10(10+1)}{2} & &\\
&= & 1+2+3+4+5+6+\\
& = & +7+8+9+10
\end{eqnarray}
10(10 +1)
2
(3.11)
= 1 +2 +3 +4 + 5 +6 + (3.12)
= +7 +8 +9 +10 (3.13)
Tambien es posible cambiar la ubicacion del n umero asignado a una formula y la alineacion de esta
usando las opcciones de documento: leqno y fleqn. La primera ubica el n umero a la izquierda y la
segunda orienta la formula completa a la izquierda. Por ejemplo los siguentes encabezados generan los
efectos ya mencionados.
\documentclass[leqno,a4paper]{article}
\documentclass[fleqn,a4paper]{article}
37
38
Captulo 4
Deniendo el Estilo
Quiza a estas alturas sienta la necesidad de escribir documentos extensos; es por ello que en este
captulo mencionaremos los comandos necesarios para poder trabajar con teoremas, el ndice, referen-
cias, la bibliografa, etc..
Por otro lado, al escribir documentos extensos se visualice algunos errores al cortar mal una palabra,
esto es, cuando al nalizar una lnea no se pueda mostrar una palabra completa. Si la palabra mal
cortada fuera docum-entos, entonces en nuestro archivo T
E
X escribiremos do\-cu\-men\-tos y as se
cortara de manera correcta la palabra documentos.
Hay un comando para evitar estos incidentes desde el inicio; para ello hay que colocar en el preambulo
\hyphenation{pa-la-bra}, donde palabra la debemos separar por slabas.
4.1. Teoremas
Se pueden crear ambientes para poder escribir enunciados tipos teoremas. Para ello se usa la si-
guiente lnea escrita en el preambulo
\newtheorem{nombre}{titulo}
donde nombre es el nombre del ambiente que se usara cada vez que se le use; titulo es el titulo que
se escribira cada vez que se use el ambiente. Este ambiente se usa de la manera usual
\begin{nombre}
.
.
\end{nombre}
Pero ademas permite poner un nota a este ambiente de la siguiente manera
\begin{nombre}[nota]
.
.
\end{nombre}
Ejemplo 4.1.1 Aqu deniremos dos ambientes, uno para escribir teoremas y otro corolarios
39
%esto en el preambulo
\newtheorem{teo}{Teorema}
\newtheorem{cor}{Corolario}
\begin{teo}
Este es un teorema...
\end{teo}
\begin{cor}
Este es un corolario..
\end{cor}
\begin{teo}[Pit\agoras]
En todo tri\angulo rect\angulo..
\end{teo}
Teorema 4.1.1 Este es un teorema...
Corolario 4.1.2 Este es un corolario..
Teorema 4.1.3 (Pitagoras) En todo triangu-
lo rect angulo..
Uno puede modicar el orden en se enumeran los ambientes. Por ejemplo podemos pedir que los teo-
remas se enumeren seg un la seccion en la que se encuentran. Para ello se escribira la siguiente lnea en
el preambulo
\newtheorem{teo}{Teorema}[section]
y si uno deseara que se enumere seg un los captulos, entonces se escribira
\newtheorem{teo}{Teorema}[chapter]
Tambien se puede hacer que otro ambiente se enumere junto con uno que ya tenemos creado. Por
ejemplo, para hacer que el ambiente cor que ya hemos denido se enumere seg un las secciones se
escribira
\newtheorem{cor}{Corolario}[section]
y si quisieramos que se se enumere junto con el ambiente teo se escribira
\newtheorem{cor}[teo]{Corolario}.
4.2.

Indice y Referencias
Para generar el ndice se usa el comando \tableofcontents despues de crear el ttulo, como se
muestra.
\begin{document}
\maketitle
\tableofcontents % genera el ndice general
% habra que compilar el fichero dos veces para que sea correcto
\end{document}
Tambien es posible hacer referencias cruzadas, para ello se usa el comando \label{clave} para se nalar
a los que se quiere hacer referencia (p.e. ecuaciones, captulos, secciones, etc.) y para referenciarla se
usa el comando \ref{clave} como se muestra a continuacion.
Ejemplo 4.2.1
40
Definimos la funci\on zeta de Riemann
por medio de la serie
\begin{equation}\label{zeta}
\zeta(s)\sum_{n\geq 0} \frac{1}{n^s}
\end{equation}
que admite una extensi\on anal\itica a
todo el plano excepto 1.
$\vdots$ De la ecuaci\on \ref{zeta}
se puede ver que... $\vdots$
Otra ecuaci\on es la siguiente
\begin{equation}\label{euler}
e^{i\theta}=\sin \theta + i\cos \theta
\end{equation}
De las ecuaciones \ref{zeta}
y \ref{euler} ...
Denimos la funcion zeta de Riemann por medio
de la serie
(s)
n0
1
n
s
(4.1)
que admite una extension analtica a todo el
plano excepto 1.
.
.
. De la ecuacion 4.1 se puede
ver que...
.
.
. Otra ecuacion es la siguiente
e
i
= sin +i cos (4.2)
De las ecuaciones 4.1 y 4.2 ...
Ademas se puede declarar en el preambulo el paquete hyperref como es usual \usepackage{hyperref}
que hara que las referencias funcionen como enlaces en el documento, ademas permite usar los comandos
\url{direccion de internet} que hara un enlace a la direccion de internet.
Tambien tenemos el comando \href{direccion de internet}{texto} que creara un enlace a la
direccion de internet con el nombre de texto.
4.3. Bibliografa
Para crear la bibliografa se suele usar el BibT
E
X que se encarga de generarla automaticamente. Para
ello se debe crear un archivo que debera tener la extension .bib que contendra todas las referencias.
Por ejemplo podemos crear un archivo con de nombre referencias.bib. En este archivo se escriben
las referencias siguiendo la siguiente plantilla.
@ARTICLE{clave,
AUTHOR = "nombre del autor",
TITLE = "titulo del articulo",
JOURNAL = "la revista o similar donde se publico",
VOLUME = numero del volumen,
PAGES = "paginas del articulo, pe: 17--31",
YEAR = ano de publicacion }
En la plantilla anterior, clave es una palabra para referirnos al documento descrito en la plantilla,
los otros campos son autexplicativos.
Ademas de porder hacer referencia a artculos, es posible hacer referencia a otros tipos de doc-
umentos, como por ejemplo: BOOK, BOOKLET, COFERENCE, INBOOK, INCOLLECTION,
INPROCEEDINGS, MANUAL, MASTERSTHESIS, PHDTHESIS, MISC, PHDTHESIS, PRO-
CEEDINGS, TECHREPORT, UNPUBLISHED; y tambien se pueden usar otros campos como:
ADDRESS, ANNOTE, AUTHOR, BOOKTITLE, CHAPTER, CROSSREF, EDITION, EDITOR,
HOWPUBLISHED, INSITUTION, JOURNAL, KEY, MONTH, NOTE, NUMBER, ORGANIZA-
TION, PAGES, PUBLISHER, SCHOOL, SERIES, TITLE, TYPE, VOLUME,YEAR; y su formato
es similar. Por ejemplo tenemos:
@ARTICLE{Bar-62,
41
AUTHOR = "Barenblatt, G.I. and Salganik, R.L. and Cherepanov, G.P.",
TITLE = "On the nonsteady motion of cracks",
JOURNAL = "PMM Applied Mathematics and Mechanics",
VOLUME = "26",
PAGES = "469--477",
YEAR = "1962" }
@BOOK{Bat-67,
AUTHOR = "Batchelor, G.K.",
TITLE = "An Introduction to Fluid Mechanics",
PUBLISHER = "Cambridge University Press",
YEAR = 1967 }
@PROCEEDINGS{Bos-85,
EDITOR = "Bossavit, A. and Damlamian, A. and Fr{\{e}}mond, M ",
TITLE = "Free Boundary Problems: Applications and Theory, Pitman
Research Notes Math.",
PUBLISHER = "Pitman",
ADDRESS = "London",
YEAR = 1985,
VOLUME = "120,121" }
@Unpublished{Cum-97,
author = "Cummings, L.",
title = "The three cylinder problem in {H}ele--{S}haw Flow",
note = "private communication",
year = 1997
}
@PHDTHESIS{Gil-98p,
AUTHOR = "Gillow, K.A.",
TITLE = "Codimension-two free boundary problems",
YEAR = 1998,
SCHOOL = "Oxford" }
Las comillas son obligatorias.
Luego para generar la bibliografa se usa las siguentes lneas
\bibliography{referencias}
\bibliographystyle{plain}
donde referencias es el nombre del archivo donde se almaceno las referencias y plain indica que las
referencias se escribiran en un estilo normal. Otras opciones para el estilo son: abbrv, alpha, apalike,
ieeetr, siam, unsrt, amsalpha, amsplain, gerabbrv, geralpha, gerapali, gerplain, gerunsrt, addrconv,
birthday, email, acm, abbrvnat, plainnat, unsrtnat, jphysics, agsm, apsr, dcu, jmr, nederlands,
kluwer, prsty, achicago, osa, prsty, seg, siam
Una vez hecho esto ejecutamos pdflatex luego ejecutamos el programa bibtex y seguidamente eje-
cutamos dos veces mas el programa pdflatex. Para hacer referancias a alguno de los documentos
declarados en el archivo .bib simplemente usamos el comando \cite{clave} donde clave es la
42
clave del documento en el archivo .bib. Tambien es posible, y a veces, recomendable usar el co-
mando ~\cite{clave} que hace que la referencia no se rompa en el texto. Ademas es posible pon-
er alg un comentario al momento de hacer la referncia al documenton, para ello se usa el comando
\cite[texto]{lista de claves}, que hace posible poner un texto y hacer referencia a una lista de
documentos.
Debemos observar que en la seccion Bibliografa solo aparecen los documentos a los que se les hizo
referencia en alguna parte del texto(esto es, aquellos cuya clave ha sido usada en alguna parte del
texto con el comando \cite). En caso que nunca se haya hecho la referencia y a un as se desea que
aparesca lista de documentos podemos usar el comando \nocite{lista de claves}. Si se requiere
que aparescan todos los documetos se puede usar el comando con el argumento *, esto es \nocite{*}.
4.4. Denici on de Comandos
En ocaciones se requiere repetir muchas veces en el texto una determinada estructura. Por ejemplo
si se trata de escribir el signo integral triple debera usar el comando \int\int\int que da como
salida
_ _ _
, pero como se ve, esta salida no es satisfactoria, uno tendra que mejorarlo, por ejem-
plo podemos usar los diguiente: \int\!\!\!\int\!\!\!\int, que da
___
. Si uno tiene que crear
esta formula muchas veces en el texto, no sera muy comodo tener que escribir todo el comando
\int\!\!\!\int\!\!\!\int. Por ello podemos crear un nuevo comando que haga esto. La sentencia
usual es:
\newcommand{comando}{def del comando}
donde comando es el nombre del comando usando \.
Por ejemplo, para nuestro caso anterior usaramos la siguiente lnea.
\newcommand{\tint}{\int\!\!\!\int\!\!\!\int}.
Luego, siempre que uno quiera crear este smbolo simplemente escribiremos tint.
Es posible crear comandos que admitan paramentros, el comando usual es:
\newcommand{comando}[n]{defincion}
donde n es el n umero de argumentos que se usara, los cuales se hacen referencia con #1,#2,...,#n.
Ejemplo 4.4.1 Por ejemplo podemos denir un comando milimi, que permita escribir de manera
mas simple los lmite.
\newcommand{\milimi}[2]{\lim_{{#1}\rightarrow{#2}}}
\begin{eqnarray*}
\milimi{x}{2}f(x)\\
\milimi{n}{\infty}a_n\\
\milimi{y}{2^{+}}g(y)
\end{eqnarray*}
lm
x2
f(x)
lm
n
a
n
lm
y2
+
g(y)
No se puede denir un comando cuyo nombre ya se este usando, esto no es no se puede denir un
comando ya denidio. En caso que uno quiera modicar un comando ya denido se usa el comando
\renewcommand{comando}{definicion}
43
el uso de este comando es similiar al del \newcommand, incluso en el uso de argumentos.
Ejemplo 4.4.2 Se sabe que existe un comando \log para escribir el logaritmo natural. Ahora
redeniremos este comando para porder escribir el logaritmo en otras bases.
\renewcommand{\log}[1]{\mathrm{log}_{#1}}
\begin{eqnarray*}
\log{2}5\\
\log{e}6\\
\log{h}\sqrt{3}\\
\end{eqnarray*}
log
2
5
log
e
6
log
h
3
Ejemplo 4.4.3 Como se menciona en la subseccion 2.10.1 las etiquetas del ambiente itemize estan
controladas por los comandos \labelitemi \labelitemii \labelitemiii y \labelitemiv. As,
para cambiar las etiquetas las redeniremos.
\begin{itemize}
\renewcommand{\labelitemi}{\dag}
\item primera fila
\item segunda fila
\renewcommand{\labelitemi}{\S}
\item tercera fila. Aqu\i insertamos
nuevas listas
\begin{itemize}
\item primera fila anidada
\renewcommand{\labelitemii}{\ddag}
\item primera fila anidada
\item segunda fila
\end{itemize}
\end{itemize}
primera la
segunda la
tercera la. Aqu insertamos nuevas listas
primera la anidada
primera la anidada
segunda la
En los ejemplos que siguen se usara frecuentemente la notacion para una funcion, el dilogarimo, que se
denota por Li
2
, por ello deniremos un nuevo comando que se encargue de crearlo, por ejemplo podemos
escribir \newcommand{\dilo}{\mathrm{Li}_2} y escribir los codigos de los siguientes ejemplos:
Ejemplo 4.4.4
\begin{eqnarray*}
\dilo(-1)&=&\sum_{n=1}^{\infty}
\frac{(-1)^n}{n^{2}}\\
&=&\sum_{n=1}^{\infty}
\frac{-1}{(2n-1)^{2}}+\frac{1}{(2n)^{2}}\\
&=&\sum_{n=1}^{\infty}\frac{-1}{(2n-1)^{2}}
+\frac{-1}{(2n)^{2}}+\frac{2}{(2n)^{2}}\\
&=&-\sum_{n=1}^{\infty}\frac{1}{(2n-1)^{2}}+
\frac{1}{(2n)^{2}}+2\sum_{n=1}^{\infty}
\frac{1}{(2n)^{2}}\\&=&-\dilo(1)+
\frac{1}{2}\dilo(1)
\end{eqnarray*}
44
Li
2
(1) =
n=1
(1)
n
n
2
=
n=1
1
(2n 1)
2
+
1
(2n)
2
=
n=1
1
(2n 1)
2
+
1
(2n)
2
+
2
(2n)
2
=
n=1
1
(2n 1)
2
+
1
(2n)
2
+2
n=1
1
(2n)
2
= Li
2
(1) +
1
2
Li
2
(1)
Ejemplo 4.4.5
\begin{eqnarray*}
\dilo(z)&=&-\int_{0}^{z}\frac{\log(1-\xi)}{\xi}d\xi\\
&=&-\int_{s}^{z}\log(1-\xi)\frac{d\xi}{\xi}-\int_{0}^{s}\log(1-\xi)
\frac{d\xi}{\xi}\\
&=&-\int_{s}^{z}\left[\frac{\partial(\log\xi\log(1-\xi))}{\partial\xi}
+\frac{\log(\xi)}{1-\xi}\right]d\xi +\dilo(s)\\
&=&\log(1-s)\log(s)-\log(1-z)\log(z)-\int_{s}^{z}\frac{\log\xi}{1-\xi}d\xi
+\dilo(s)\\
&=&\log(1-s)\log(s)-\log(1-z)\log(z)+\int_{1-s}^{1-z}
\frac{\log(1-\xi)}{\xi}d\xi+\dilo(s)\\
&=&\log(1-s)\log(s)-\log(1-z)\log(z)-\dilo(1-z)+\dilo(1-s)+\dilo(s)
\end{eqnarray*}
Li
2
(z) =
_
z
0
log(1 )
d
=
_
z
s
log(1 )
d

_
s
0
log(1 )
d
=
_
z
s
_
(log log(1 ))
+
log()
1
_
d +Li
2
(s)
= log(1 s) log(s) log(1 z) log(z)
_
z
s
log
1
d +Li
2
(s)
= log(1 s) log(s) log(1 z) log(z) +
_
1z
1s
log(1 )
d +Li
2
(s)
= log(1 s) log(s) log(1 z) log(z) Li
2
(1 z) +Li
2
(1 s) +Li
2
(s)
Ejemplo 4.4.6
\begin{eqnarray*}
\frac{\partial g}{\partial z}(z)&=&\frac{-1}{\left(\frac{-z}{1-z}\right)}
\log\left(1+\frac{z}{1-z}\right) \left(\frac{-(1-z)-(-z)(-1)}{(1-z)^{2}}
\right)\\
&=&\frac{1}{\left(\frac{-z}{1-z}\right)}\log\left(1+\frac{z}{1-z}\right)
45
\left(\frac{(1-z)-z(-1)}{(1-z)^{2}}\right)\\
&=&\frac{(1-z)}{(-z)}\log\left(\frac{1}{1-z}\right)\left(\frac{1}{(1-z)^{2}}
\right)\\
&=&\frac{1}{(-z)(1-z)}\log\left(\frac{1}{1-z}\right)\\
&=&\left(\frac{1}{z}+\frac{1}{1-z}\right)\log\left(1-z\right)\\
&=&\frac{\log(1-z)}{z}+\frac{\log(1-z)}{1-z}
\end{eqnarray*}
g
z
(z) =
1
_
z
1z
_ log
_
1 +
z
1 z
__
(1 z) (z)(1)
(1 z)
2
_
=
1
_
z
1z
_ log
_
1 +
z
1 z
__
(1 z) z(1)
(1 z)
2
_
=
(1 z)
(z)
log
_
1
1 z
__
1
(1 z)
2
_
=
1
(z)(1 z)
log
_
1
1 z
_
=
_
1
z
+
1
1 z
_
log (1 z)
=
log(1 z)
z
+
log(1 z)
1 z
Ejemplo 4.4.7
\[\begin{array}{ccl}
g,g_l:\mathbb{C}- \bigcup^{n}_{k=1}w^{k}
\left[1,+\infty\right\rangle
& \longrightarrow & \mathbb{C}\\
z & \longrightarrow & g(z)=\dilo(z^n)\\
z & \longrightarrow & g_l(z)=\dilo(w^lz)\\
\end{array}\]
g, g
l
: C
n
k=1
w
k
[1, +) C
z g(z) = Li
2
(z
n
)
z g
l
(z) = Li
2
(w
l
z)
Ejemplo 4.4.8
\[
\begin{array}{rl}
\dilo(\overline{z}) & =\displaystyle-\int_0^{\overline{z}}\frac{\log(1-\zeta)}{\zeta}d\zeta\\
& =\displaystyle-\int_0^1\frac{\log(1-t\overline{z})}{t\overline{z}}\overline{z}dt\\
& =\displaystyle-\int_0^1\overline{\left(\frac{\log(1-tz)}{tz}z\right)}dt\\
& =\displaystyle-\overline{\int_0^z\frac{\log(1-\zeta)}{\zeta}d\zeta}\\
& = \overline{\dilo(z) }
\end{array}
\]
46
Li
2
(z) =
_
z
0
log(1 )
d
=
_
1
0
log(1 tz)
tz
zdt
=
_
1
0
_
log(1 tz)
tz
z
_
dt
=
_
z
0
log(1 )
d
= Li
2
(z)
Ejemplo 4.4.9
\[
\begin{array}{rl}
g(x)-g(a)& =\dilo(a)-\dilo(x)\displaystyle-\int_a^x\frac{\log(1-z(1+k))}{z}dz
+\int_a^x\frac{\log(1-z)}{1-z}dz\\
&\displaystyle-\int_a^x\frac{(\log(1-\frac{k}{(1-z)(k+1)})}{1-z}dz
+\int_a^x\frac{\log((1-z)(k+1)))}{1-z}dz\\
&= \displaystyle\dilo(a)-\dilo(x)+\dilo((k+1)x)-\dilo((k+1)a)
+\dilo(\frac{k}{k+1}\frac{1}{1-z})\\
& \displaystyle-\dilo(\frac{k}{k+1}\frac{1}{1-a})+\log(k+1)(\log(1-x)-\log(1-a)) \\
\end{array}
\]
g(x) g(a) = Li
2
(a) Li
2
(x)
_
x
a
log(1 z(1 +k))
z
dz +
_
x
a
log(1 z)
1 z
dz
_
x
a
(log(1
k
(1z)(k+1)
)
1 z
dz +
_
x
a
log((1 z)(k +1)))
1 z
dz
= Li
2
(a) Li
2
(x) +Li
2
((k +1)x) Li
2
((k +1)a) +Li
2
(
k
k +1
1
1 z
)
Li
2
(
k
k +1
1
1 a
) +log(k +1)(log(1 x) log(1 a))
Ejemplo 4.4.10
\[
\begin{array}{rl}
\displaystyle \dilo\left(\frac{w}{1-w}\frac{z}{1-z}\right) &
=\displaystyle\dilo\left(\frac{z}{1-w}\right)+\dilo\left(\frac{w}{1-z}\right)
+\dilo\left(\frac{-z}{1-z}\right)+\dilo\left(\frac{-w}{1-w}\right)\\
&\displaystyle+\frac{1}{2}(\log(1-z)-\log(1-w))^2
\end{array}
\]
Li
2
_
w
1 w
z
1 z
_
= Li
2
_
z
1 w
_
+Li
2
_
w
1 z
_
+Li
2
_
z
1 z
_
+Li
2
_
w
1 w
_
+
1
2
(log(1 z) log(1 w))
2
47
Ejemplo 4.4.11
\[\Delta_\theta=\left\{\displaystyle\phi\in\comple\backslash
[1,+\infty\rangle\displaystyle/\frac{\theta(\phi-1)}{\theta\phi-1},
\frac{\phi(\theta-1)}{\theta\phi-1},\theta\phi\in\comple\backslash
[1,+\infty\rangle\right\}\]
=
_
C[1, +)/
( 1)
1
,
( 1)
1
, C[1, +)
_
Ejemplo 4.4.12
\[
\dilo(\theta\phi)=\dilo(\theta)+\dilo(\phi)-\dilo\left(
\frac{\theta-\theta\phi}{1-\theta\phi}\right)
-\dilo\left(\frac{\phi-\phi\theta}{1-\theta\phi}\right)
-\log\left(\frac{\theta-1}{\theta\phi-1}\right)
\log\left(\frac{\phi-1}{\theta\phi-1}\right)\]
\[\dilo(\theta\phi)=\dilo(\theta)+\dilo(\phi)+
\dilo\left(\frac{\theta(1-\phi)}{\theta-1}\right)+
\dilo\left(\frac{\phi(1-\theta)}{\phi-1}\right)+
\frac{1}{2}\log^2\left(\frac{\theta-1}{\phi-1}\right)\]
Li
2
() = Li
2
() +Li
2
() Li
2
_

1
_
Li
2
_

1
_
log
_
1
1
_
log
_
1
1
_
Li
2
() = Li
2
() +Li
2
() +Li
2
_
(1 )
1
_
+Li
2
_
(1 )
1
_
+
1
2
log
2
_
1
1
_
Ejemplo 4.4.13
\[
\begin{array}{rl}
\displaystyle\int_1^{e^{i\theta}}\log(1-\zeta)\frac{d\zeta}{\zeta} &
=\displaystyle\int_0^{\theta}-\frac{\log(1-e^{it})}{e^{it}}(ie^{it})dt\\
& \displaystyle=-i\int_0^{\theta}\log(1-e^{it})dt\\
& \displaystyle=-i\int_0^{\theta}\log(e^{it/2}(e^{it/2}-e^{-it/2})dt\\
& \displaystyle=-i\int_0^{\theta}\log(-2ie^{it/2}\sen(t/2))dt\\
& \displaystyle=-i\int_0^{\theta}\log(2e^{i(t-\pi)/2}\sen(t/2))dt\\
\end{array}
\]
_
e
i
1
log(1 )
d
=
_

0
log(1 e
it
)
e
it
(ie
it
)dt
= i
_

0
log(1 e
it
)dt
= i
_

0
log(e
it/2
(e
it/2
e
it/2
)dt
= i
_

0
log(2ie
it/2
sen(t/2))dt
= i
_

0
log(2e
i(t)/2
sen(t/2))dt
48
Ejemplo 4.4.14
\[
\begin{array}{rl}
\dilo(e^{i\theta})-\dilo(1) & =\displaystyle-i(\int_0^{\theta}\log(2\sen(t/2))dt+
\int_0^{\theta}i(t-\pi)/2dt)\\
& =\displaystyle-\theta\left(\frac{2\pi-\theta}{4}\right)-
\frac{i}{2}\int_0^{\theta}\log(4\sen^2(t/2))dt\\
\end{array}
\]
Li
2
(e
i
) Li
2
(1) = i(
_

0
log(2 sen(t/2))dt +
_

0
i(t )/2dt)
=
_
2
4
_
i
2
_

0
log(4 sen
2
(t/2))dt
Ejemplo 4.4.15
\[
\begin{array}{rl}
\dilo(e^{i\theta})-\dilo(1) & =\displaystyle-i\int_0^{\theta}
\log(2e^{i(t-\pi)/2}\sen(t/2))dt\\
& =\displaystyle-i\int_0^{\theta}\log(2e^{i(t+\pi)/2}|\sen(t/2)|)dt\\
& =\displaystyle-i(\int_0^{\theta}\log(2|\sen(t/2)|)dt
+\int_0^{\theta}i(t+\pi)/2dt)\\
& =\displaystyle-|\theta|\left(\frac{2\pi-|\theta|}{4}\right)
-\frac{i}{2}\int_0^{\theta}\log(4\sen^2(t/2))dt\\
\end{array}
\]
Li
2
(e
i
) Li
2
(1) = i
_

0
log(2e
i(t)/2
sen(t/2))dt
= i
_

0
log(2e
i(t+)/2
[ sen(t/2)[)dt
= i(
_

0
log(2[ sen(t/2)[)dt +
_

0
i(t +)/2dt)
= [[
_
2 [[
4
_
i
2
_

0
log(4 sen
2
(t/2))dt
Ejemplo 4.4.16
\[
\begin{array}{ccl}
\mathrm{Cl}_2:\langle -2\pi,2\pi\rangle & \rightarrow & \mathbb{R}\\
\theta & \rightarrow & \mathrm{Cl}_2(\theta)=-\frac{1}{2}\int_0^\theta
\log(4\sen^2\frac{t}{2})dt\\
\end{array}
\]
49
Cl
2
: 2, 2) 1
Cl
2
() =
1
2
_
0
log(4 sen
2 t
2
)dt
Ejemplo 4.4.17
Dado un n\umero real $x>1$ se cumple que
\begin{enumerate}
\item[i)] $\limi{z}{x}{\dilo|_{\mathbb{H}}(z)}=\frac{\pi^2}{3}
-\frac{1}{2}\log^2x-\dilo(\frac{1}{x})+\pi i\log x$
\item[ii)] $\limi{z}{x}{\dilo|_{\mathbb{H}^-}(z)}=\frac{\pi^2}{3}
-\frac{1}{2}\log^2x-\dilo(\frac{1}{x})-\pi i\log x$
de donde se sigue que \[\limi{z}{x}{\dilo|_{\mathbb{H}}(z)}-\limi{z}{x}
{\dilo|_{\mathbb{H}^-}(z)}=2\pi i \log x\]
\end{enumerate}
Dado un n umero real x > 1 se cumple que
i) lm
zx
Li
2
[
H
(z) =

2
3

1
2
log
2
x Li
2
(
1
x
) +i log x
ii) lm
zx
Li
2
[
H
(z) =

2
3

1
2
log
2
x Li
2
(
1
x
) i log x
de donde se sigue que
lm
zx
Li
2
[
H
(z) lm
zx
Li
2
[
H
(z) = 2i log x
Ejemplo 4.4.18
\[
\begin{array}{rl}
\limi{z}{x}{f|_\mathbb{H}(z)} & =\limi{z}{x}{\dilo|_{\mathbb{H}}(z)}+
i\limi{z}{x}{\arg|_{\mathbb{H}}(1-z)\log|z|}\\
& =\displaystyle \frac{\pi^2}{3}-\frac{1}{2}\log^2x-\dilo(\frac{1}{x})
\end{array}\]
lm
zx
f[
H
(z) = lm
zx
Li
2
[
H
(z) +i lm
zx
arg [
H
(1 z) log [z[
=

2
3

1
2
log
2
x Li
2
(
1
x
)
Ejemplo 4.4.19
\[
D(z)=\left\{\begin{array}{ll} \mbox{Im}(\dilo(z))+\arg(1-z)\log|z| &
\mbox{si }z\in\mathbb{C}\backslash ([1,+\infty\rangle\cup \{0\})\\
0 & \mbox{si } z=0\\
\frac{\pi^2}{3}-\frac{1}{2}\log^2z-\dilo(\frac{1}{z}) &
\mbox{si }z\in [1,+\infty\rangle \\ \end{array} \right.
\]
50
D(z) =
_
_
_
Im(Li
2
(z)) +arg(1 z) log [z[ si z C([1, +) 0)
0 si z = 0
2
3

1
2
log
2
z Li
2
(
1
z
) si z [1, +)
Ejemplo 4.4.20
\[
\begin{array}{rl}
D(\overline{z}) &=\mbox{Im}(\dilo(\overline{z}))+\arg(1-\overline{z})\log|\overline{z}|\\
&=\mbox{Im}(\overline{\dilo(z)})-\arg(1-z)\log|z|\\
&=-\mbox{Im}(\dilo(z))-\arg(1-z)\log|z|\\
&=-D(z)
\end{array}\]
D(z) = Im(Li
2
(z)) +arg(1 z) log [z[
= Im(Li
2
(z)) arg(1 z) log [z[
= Im(Li
2
(z)) arg(1 z) log [z[
= D(z)
4.5. Denici on de Ambientes
De manera similar a como a sucedido con la denicion de comandos, es posible denir ambientes,
para ello se usa la siguinete lnea de codigo en el preambulo.
\newenvironment{nombre}{texto al incio}{texto al final}
y cuando se le quiera usar se escribe, como es usual, el siguiente codigo.
\begin{nombre}
.
.
.
\end{nombre}
Cuando se use esto, la parte de \begin{nombre} se reemplazara por el texto el incio de la defnicion,
y lo mismo sucedera con \end{nombre} y texto al final
Ejemplo 4.5.1 Por ejemplo deniremos un ambiente, a partir del ambiente itemize, para que use
el smbolo en su enumeracion, escriba siempre en italica
%en el preambulo:
\newenvironment{itemdag}
{\begin{itemize}
\renewcommand{\labelitemi}{\dag}\it}
{\end{itemize}}
51
\begin{itemdag}
\item Primera fila
\item Segunda fila
\item Tercera fila
\end{itemdag}
Primera la
Segunda la
Tercera la
Tambien es posible, de manera similar a cuando se dene un nuevo comando, denir el nuevo
ambiente de tal modo que pueda aceptar parametros. Para ello se usa la siguente lnea en el preambulo.
\newenvironment{nombre}[n]{texto al incio} {texto al final} donde n indica el n umero de
parametros que se usaran, los cuales se les denota con #1,#2,...,#n.
Ejemplo 4.5.2 Deniremos un ambiente similar al anterior pero que use un smbolo ingresado
como parametro
%en el preambulo:
\newenvironment{itemsim}[1]
{\begin{itemize}
\renewcommand{\labelitemi}{#1}\it}
{\end{itemize}}
\begin{itemsim}{\ddag}
\item Primera fila
\item Segunda fila
\item Tercera fila
\end{itemsim}
\begin{itemsim}{$\pi$}
\item Primera fila
\item Segunda fila
\item Tercera fila
\end{itemsim}
Primera la
Segunda la
Tercera la
Primera la
Segunda la
Tercera la
Finalmente mencionaremos que, al igual que sucede cuando se denen comandos, solo se pueden
denir ambientes cuyos nombres no se hayan usado ya, y que tambien se pueden redenir ambientes
usando el comando \renewenvironment en lugar de \newenvironment
4.6. Numeraci on
Siempre que L
A
T
E
X tenga que enumerar algo, genera un contador asociado a el. El nombre del
contador asociado a una estructura es usualmente el mismo que ella. Por ejemplo el contador aso-
ciado al ambiente section tiene ese nombre y lo mismo sucede con chapter, part, subsection,
subsubsection, paragraph, page, equation figure, table, footnote, etc.
El valor del contador es usualmente no negativo. Para inicializar un contador se usa el comando
\setcounter{contador}{valor inicial} con los argumentos mostrados, tambien podemos usar el
comando \addtocounter{contador}{incremento} para poder a nadir incremento al valor del con-
tador. Cuando se crea un nuevo contador, L
A
T
E
X lo crea e inicializa, en cero, de manera automatica, un
52
caso exepcional es el del contador page, que se inicializa en uno. Para imprimir el valor es un contador,
L
A
T
E
X usa un comando que posee el mismo nombre del contador precedido por el artculo ingles the;
as por ejemplo para imprimir el n umero de pagina se usa el comando \thepage, para las secciones
\thesecction, etc.
Finalmente mencionaremos que existen cinco maneras de expresar el valor de un contador, esto es, en
arabico, romano min uscala y may ucula, alfabetico min uscula y may uscula.
\arabic{section} 6 \roman{section} vi \alph{section} f
\Roman{section} VI \Alph{section} F
Ejemplo 4.6.1 Aqu presentamos un ejemplo cambiar las etiquetas del ambiente enumerate (sub-
seccion 2.10.2). Como se menciona en ese parrafo, los contadores son enumi, enumii, etc.
\begin{enumerate}
\setcounter{enumi}{6}
\item Segunda l\inea.
\item Tercera l\inea. Aqu\i declaramos
otro ambiente anidado
\begin{enumerate}
\renewcommand{\theenumii}{\roman{enumii}}
\item Tercera fila del segundo ambiente
\item Cuarta fila del segundo ambiente
\end{enumerate}
\item Cuarta l\inea
\setcounter{enumi}{1}
\item Quinta l\inea
\end{enumerate}
1. Primera lnea
7. Segunda lnea.
8. Tercera lnea. Aqu declaramos otro ambi-
ente anidado
a) Primera la del segundo ambiente
b) Segunda la del segundo ambiente
iii) Tercera la del segundo ambiente
iv) Cuarta la del segundo ambiente
9. Cuarta lnea
2. Quinta lnea
53
54
Captulo 5
Figuras
Para poder incluir guras en L
A
T
E
X es necesario usar el paquete graphiCx. Como es usual este
paquete se carga con el siguiente comando en el preambulo:
\usepackage{graphicx}
Luego para insertar un graco que se encuentra en la misma carpeta que nuestro codigo L
A
T
E
X
simplemente usamos el siguente comando:
\includegraphics{fig1.jpg}
El graco anterior se inserto a tama no natural, siempre se inserta de esta manera por defecto, pero
existe la opcion scale que permite modicar la escala a la que se inserta el graco.
Ejemplo 5.0.2 Aqu insertaremos el mismo graco a escalas diferentes.
55
\includegraphics[scale=0.5]{fig1.png}
Tambien es posible modicar el ancho y la altura del graco insertado. Para ello se usa las opciones
width y height como se muestra a continuacion.
Ejemplo 5.0.3 Aqu insertaremos el mismo graco con diferentes anchos.
\includegraphics[width=1cm]{fig1.jpg}
56
Ejemplo 5.0.4 Aqu insertaremos el mismo graco con diferentes diferentes alturas.
\includegraphics[height=1cm]{helicoide.png}
Ademas es posible rotar la gura con la opcion angle que permite rotar una angulo medido en
grados sexagesimales.
Ejemplo 5.0.5 Aqu insertaremos el mismo graco a escalas diferentes.
\includegraphics[scale=0.5,angle=0]{tetra.jpg}
57
Siempre que se inserte un graco, este se alnea a la izquierda. Por ejemplo la siguiente lnea
Para que aparezca centrado se puede usar el ambiente center como se muestra a continuacion.
\begin{center}
\end{center}
Y para alinearlo a la izquierda podemos usar el ambiente flushright
\begin{flushright}
\end{flushright}
58
5.1. El ambiente figure
Este ambiente permite mostrar guras junto con una descripcion, ademas de enumerarla. La forma
usual de usarla es:
\begin{figure}[h]
\centering
\caption{mi figura, aqu se da una un comentario de la figura}
\end{figure}
Figura 5.1: mi gura, aqu se da una un comentario de la gura
Podemos usar el ambiente minipage junto con el ambiente figure para poder presentar gracos
de otra manera. El ambiente \minipage crea un ambiente de determinado ancho en la que se puede
escribir. Se declara como
\begin{minipage}{ancho}
.
.
.
\end{minipage}
donde ancho indica el ancho que ha de tener el ambiente.
Ejemplo 5.1.1
\begin{minipage}{3cm}
Por ejemplo aqu\i podemos escribir todo este texto hasta un ancho de 3cm.
\end{minipage}
59
Por ejemplo
aqu podemos
escribir todo este
texto hasta un
ancho de 3cm.
Ejemplo 5.1.2 Es posicle centrar el texto con el ambiente center.
\begin{center}
Por ejemplo aqu\i podemos escribir todo este texto hasta un ancho de 3cm.
\end{minipage}
\end{center}
Por ejemplo
aqu podemos
escribir todo este
texto hasta un
ancho de 3cm.
Del mismo modo que en el ejemplo anterior es posible usar los ambiente flushleft y flushright
para alinearlos a la izquierda o derecha.
Ejemplo 5.1.3 Ahora usaremos el ambiente minipage para presentar un texto junto a un graco
usando el ambiente figure
\begin{figure}[h]
Por ejemplo aqu\i podemos escribir todo este texto hasta un ancho
de 10cm, donde podemos introducir m\as texto y ahorrar espacio.
\end{minipage}
\caption{mi figura, aqu se da una
un comentario de la figura}
\end{minipage}
\end{figure}
60
Por ejemplo aqu podemos escribir todo este texto hasta un ancho
de 10cm, donde podemos introducir mas texto y ahorrar espacio.
Figura 5.2: mi gura, aqu se da una un
comentario de la gura
Como se puede ver, al usar el ambiente minipage pudimos insertar el texto y el graco en paralelo.
La salida se puede mejorar mas usando el comando \hfill entre los ambientes, esto hara que ellos se
acomoden mejor.
Ejemplo 5.1.4 [h]
\begin{figure}[h]
\end{minipage}
\hfill
\caption{mi figura, aqui se da una
\end{minipage}
\end{figure}
Por ejemplo aqu podemos escribir todo este texto hasta un ancho
de 10cm, donde podemos introducir mas texto y ahorrar espacio.
Figura 5.3: mi gura, aqui
se da una un comentario
de la gura
Notemos que el orden en que aparecen el texto y la gura se pueden variar, asi como tambien la
alineacion de la gura.
61
Ejemplo 5.1.5 [h]
Aqu\i la figura est\a alineada a la izquiera.
\begin{figure}[h]
\includegraphics[width=3cm]{./figuras/fig1.jpg}
\caption{mi figura, aqui se da una
\end{minipage}
\hfill
\end{minipage}
\end{figure}
Aqu la gura esta alineada a la izquierda.
Figura 5.4: mi gura, aqui se da una un comentario
de la gura
Por ejemplo
aqu podemos
escribir todo este
texto hasta un an-
cho de 3cm, donde
podemos introducir
mas texto y ahorrar
espacio.
Ejemplo 5.1.6 [h]
Aqu\i la figura est\a en el centro.
\begin{figure}[h]
\begin{center}
\end{center}
\caption{mi figura, aqu\i se da una un comentario de la figura}
\end{minipage}
\hfill
\end{minipage}
\end{figure}
Aqu la gura esta en el centro.
62
Figura 5.5: mi gura, aqu se da una un comentario
de la gura
Por ejemplo
aqu podemos
escribir todo este
texto hasta un an-
cho de 3cm, donde
podemos introducir
mas texto y ahorrar
espacio.
Ejemplo 5.1.7 [h]
Aqu\i la figura est\a alineada a la derecha.
\begin{figure}[h]
\begin{flushright}
\end{flushright}
\caption{mi figura, aqu\i se da una un comentario de la figura}
\end{minipage}
\hfill
\end{minipage}
\end{figure}
Aqu la gura esta alineada a la derecha.
Figura 5.6: mi gura, aqu se da una un comentario
de la gura
Por ejemplo
aqu podemos
escribir todo este
texto hasta un an-
cho de 3cm, donde
podemos introducir
mas texto y ahorrar
espacio.
63
64
Captulo 6
Presentaciones
Existen dos formas de hacer presentaciones en L
A
T
E
X. La primera es deniendo el tipo de documento
slides en el preambulo como se muestra a continuacion. \usepackage[a4paper]{slides}. Cada
pagina de la presentacion se crea dentro de el ambiente slide como se muestra a continuacion.
Ejemplo 6.0.8 Notar que se declaran todas los paquetes usuales para que se puedan escribir formu-
las y demas. Aqu el ttulo tambien lo generamos en el ambiente slide
\documentclass[a4paper]{slides}
\usepackage[spanish]{babel}
\usepackage{amsfonts}
\usepackage{amsmath}
\title{Universidad Nacional de
Ingenier\ia\\Mi Presentaci\on}
\author{Luis Riquelme}
\begin{document}
\begin{slide}
\maketitle
\end{slide}
\end{document}
65
Los ttulos usualmente se centran y se ponen en negrita.
Ejemplo 6.0.9 Aqu presentamos la siguiente pagina de la presentacion iniciada en el ejemplo
anterior.
\documentclass[a4paper]{slides}
\begin{document}
\begin{slide}
\maketitle
\end{slide}
\begin{slide}
\begin{center}
{\bf Introducci\on}
\end{center}
La idea principal del trabajo es...
Tenemos la relaci\on
$$\lim_{n\rightarrow\infty}\frac{\pi(x)}{x/\log x}$$
\end{slide}
\end{document}
En ocasiones uno puede necesitar crear una transparencia que se pueda superponer a otra. Para ello
se usa el ambiente overlay.
Ejemplo 6.0.10 Por ejemplo aqu crearemos una trasparencia que se pueda superponer a otra.
Notar que en ambas transparencias se escribe lo mismo, excepto que en una de ellas se escribe con
letra de color blanco el texto que corresponde a la otra. Nota ademas que la enumeracion cambia.
\begin{slide}
\begin{center}
{\bf} Restos Cuadr\aticos
\end{center}
Dado un primo $p$ diremos que ....
$$x^2\equiv n\mod p$$
la relaci\on de Euler
$$(n|p) { \color{white}\equiv n^{\frac{p-1}{2}}\mod p}$$
66
para -1:
$$(-1|p){\color{white}\equiv =(-1)^{\frac{p-1}{2}}}$$
\end{slide}
\begin{overlay}
{\color{white}
\begin{center}
{\bf} Restos Cuadr\aticos
\end{center}
Dado un primo $p$ diremos que ....
$$x^2\equiv n\mod p$$
la relaci\on de Euler
}
$${\color{white}(n|p)}\equiv n^{\frac{p-1}{2}}\mod p$$
\textcolor{white}{para -1:}
$${\color{white}(-1|p)}=(-1)^{\frac{p-1}{2}}$$
\end{overlay}
67
6.1. El Paquete pdfscreen
Este paquete permite crear presentaciones mas dinamicas. Para ello se usa cualquier tipo de docu-
mento, usualmente article o report, y en el preambulo se declara el paquete pdfscreen del siguiente
modo:
\usepackage[screen]{pdfscreen}
Cada diapositiva se crea con un ambiente slide
Ejemplo 6.1.1 Aqu tenemos un primer vistazo.
\documentclass[a4paper]{report}
\begin{document}
\begin{slide}
\maketitle
\end{slide}
\end{document}
Usualmente las dimensiones que se usa por defecto no son adecuadas, por lo que se redimensiona el
panel con el comando
\screensize{alto}{ancho}
que se escribe en el preambulo.
Tambien se puede modicar los margenes con el comando
\margins{izquierda}{derecha}{superior}{inferior}
que tambien se escribe en el preambulo.
Ejemplo 6.1.2 Aqu tenemos un vistazo con margenes y tama no modicado.
\screensize{20cm}{25cm}
\margins{1cm}{1cm}{1cm}{1cm}
\begin{document}
\begin{slide}
\maketitle
\end{slide}
\end{document}
68
Tambien es posible a nadir una barra de navegacion, para ello se usa las opciones panelleft para
colocarlo a la izquierda y panelright para colocarlo a la derecha. Las sentencias en el preambulo son:
\usepackage[screen,panelright]{pdfscreen}
Ejemplo 6.1.3 Aqu una dipositiva con panel de navegacion
\usepackage[screen,panelright]{pdfscreen}
\begin{document}
\begin{slide}
\maketitle
\end{slide}
\end{document}
Notar que que las etiquetas en el panel de navegacion no estan en castellano, es posible que cambien
usando la opcion spanish. Ademas es posible poner un emblema al planel, esto con el comando
\emblema{archivo}.
69
\usepackage[screen,panelright,spanish]{pdfscreen}
\emblema{emblema.jpg}
\begin{document}
\begin{slide}
\maketitle
\end{slide}
\end{document}
Para seguir personalizando nunestras diapositivas, podemos cambiar el fondo del las mismas y el del pan-
el de navegacion. Para poner una gura como fondo podemos usar el comando \overlay{archivo_figura}
y para el panel usamos \paneloverlay{archivo_figura}
\usepackage[screen,panelright,spanish]{pdfscreen}
\emblema{emblema.jpg}
\overlay{fondo1.jpg}
70
\paneloverlay{fondo2.jpg}
\begin{document}
\begin{slide}
\maketitle
\end{slide}
\end{document}
Finalmente, podemos a nadir la tabla de contenidos al panel, esto usando la opcion paneltoc
71
72
Captulo 7
Presentaciones con la Clase
Beamer
Beamer es una clase de L
A
T
E
X para crear presentaciones para posteriormente ser vistas con un
proyector. Preparar las presentaciones con beamer es totalmente diferente a prepararlas con algun pro-
grama WYSIWYG (OpenOce Impress, Aplle Keynotes, KPresenter o Power Point). Las presentaciones
hechas con Beamer son como cualquier documento de L
A
T
E
X constan de un preambulo y un cuerpo,
el cuerpo consta de secciones y subsecciones. Los diferentes slides (llamados frames en beamer) son
diferentes entornos
7.1. Creando Frames
Una presentacion en Beamer consiste en una serie de frames, cada frame consiste en una serie de
slides. Creamos los frames con el comando frame. La sntaxis mas general del comando (entorno) frame
es como sigue
\begin{frame}
<overlay specification>[<default overlay specification>][options]{title}{subtitle}
environment contents
\end{frame}
Veamos el cuerpo de un ejemplo.
\begin{frame}{Un ttulo}
Algun contenido
\end{frame}
\begin{frame}
\frametitle{Otro Ttulo} Otro contenido
\end{frame}
73
7.1.1. Temas de Presentacion sin Barras de Navegacion
Veamos un ejemplo que podamos observar
\documentclass{beamer}
\usetheme{Berkeley}
\title{Ejemplo Presentacion Clase Beamer}
\author{Abraham Zamudio}
\date{\today}
\begin{document}
\begin{frame}
\titlepage
\end{frame}
\section{Sucesiones y Series}
\begin{frame}
\frametitle{\textrm{Susesiones y Series de Funciones}} En muchos
problemas de matem\aticas y de sus aplicaciones se busca una
funci\on que cumpla determinadas condiciones. Es frecuente en
estos casos obtener una sucesi\on de funciones
$f_1,f_2,f_3,\ldots,f_n,\ldots$ cada una de las cuales cumple la
condiciones exigidas pero solo de forma aproximada, sin embargo
estas aproximaciones son cada vez mejores. Entonces se espera que
la funci\on l\imite de esta sucesi\on tambien cumpla tales
condiciones. Esto nos lleva a estudiar l\imites de sucesiones de
funciones.
\end{frame}
\section{Convergencia}
\begin{frame}
\frametitle{\textrm{Convergencia Puntual y Convergencia Uniforme}}
Se dice que una sucesi\on de funciones $f_n:X\to\mathbb{R}
\;(n=1,2,3,...)$ \textit{converge puntualmente} a una funci\on
$f:X\to\mathbb{R}$ cuando para todo $x \in \mathbb{R}$, la
sucesi\on de n\umeros $f_1(x),\ldots,f_{n}(x),\ldots$ converge
a $f(x)$
\end{frame}
\section{La ley de Faraday}
\begin{frame}
\frametitle{\textrm{Ley de Faraday}} La ley de faraday nos habla
sobre la inducci\on electromagn\etica, la que origina una fuerza
electromotriz en un campo magn\etico
$$\epsilon=-\displaystyle{\frac{d\phi_{B}}{dt}}$$
\end{frame}
74
\end{document}
El resultado es parecido a esta captura.
En este ejemplo son notorias un par de cosas :
1. La clase de documento Beamer
2. El comando usetheme, que en este caso es Berkeley, tiene como es de esperar otras variantes.
\usetheme{Berlin}
\usetheme{Madrid}
\usetheme{Berkeley}
\usetheme{Boadilla}
\usetheme{Bergen}
\usetheme{AnnArbor}
\usetheme{CambridgeUS}
\usetheme{Pittsburgh}
75
\usetheme{Rochester}
3. El primer frame titlepage es equivalente al maketitle de la clase article.
El resto es como lo hemos aprendido durante el curso. Tener en cuenta que en el preambulo puede
haber tantos usepackages como sea necesario, tan igual como si fuera un artculo.
7.1.2. Temas de Presentacion con un arbol de Navegaci on
\usetheme{Antibes}
\usetheme{JuanLesPins}
\usetheme{Montpellier}
Veamos un ejemplo sencillo con este tipo de presentacion
\usetheme{Antibes} % este me gusta
\usepackage[english]{babel}
\usepackage[latin1]{inputenc}
\title{Edici\on colaborativa de documentos Latex}
\date{2008}
\institute{Facultad de Ciencias UNI}
\begin{document}
\begin{frame}
\titlepage
\end{frame}
\section{Demostracion}
\begin{frame}
\frametitle{Crear una pagina nueva}
\begin{itemize}
\item
http://compu.uni.edu.pe
\item
contenido ... [[mi pagina]] ... contenido
\item
contenido ... [[mi pagina nueva|mi pagina nueva]] ... contenido
\end{itemize}
Tips:
\begin{itemize}
\item
76
Esto va primero
\item
Esto es segundo
\item
etiquetas : [[tags:computo FC UNI]]
\end{itemize}
\end{frame}
\begin{frame}
\tableofcontents
\end{frame}
\end{document}
El resultado es parecido a esta captura.
77
7.1.3. Overlays
En una presentacion puede ser deseable que los items vayan apareciendo uno a al vez, mientras
otros permanecen con un velo, esto se puede lograr con la opcion [<+->] en los entornos enumerate o
itemize. Veamos a continuacion un ejemplo completo
\usetheme{Berkeley}
\date{\today}
\begin{document}
\begin{frame}
\titlepage
\end{frame}
\section{Campo Galois}
\begin{frame}
\frametitle{Campo Galois $GF(p^r)$}
\framesubtitle{Resumen}
\begin{enumerate}[<+->]% <- NUEVA OPCION
\item Sea $F$ un campo con $q$ elementos y $a$ un elemento no nulo de $F$.
Si $n$ es el orden de $a$, entonces $n|(q-1)$.
\item Sea $p$ primo y $m(x)$ un polinomio irreducible de grado $r$ en $Z_p[x]$.
Entonces la clase residual $Z_p[x]/\equiv_{m(x)}$ es un campo
con $p^r$ elementos que contiene $Z_p$ y una raiz de $m(x)$.
\item Sea $F$ un campo con $q$ elementos.
Entonces $q=p^r$ con $p$ primo y $r \in \, N$
\end{enumerate}
\end{frame}
\end{document}
Opciones <i->
En vez de usar la opcion [<+->] en el entorno enumerate (o itemize), se puede agregar un com-
portamiento un poco mas dinamico usando las opciones <i-> y \uncover<-i>{texto}.
Con estas opciones podemos controlar la secuencia con la que se presentan las distintas lneas en una
presentacion.
\item<i-> indica que este item se presenta en la i-esima transparencia. En la practica se puede
ver como la misma transparencia con un velo menos.
\uncover<i->{texto} indica que este texto se presenta en la i-esima transparencia.
Por ejemplo en el siguiente frame, se quiere mostrar inicialmente una ecuacion y la solucion, ambos
items se marcan con <1->. Despues se muestra el procedimiento, que corresponde a los items <2-
>,<3->,<4->
78
\usetheme{Berkeley}
\date{\today}
\begin{document}
\begin{frame}
\titlepage
\end{frame}
\section{Soluci\on de Ecuaciones}
\begin{frame}
Ejemplo
\begin{enumerate}
\item<1-> $x^4-x=0$ % <-
\item<2-> $x(x^3-1)=0$
\item<3-> $x =0 \;$ o $\;x^3-1=0$
\item<4-> $x =0 \;$ o $\;x=\sqrt[3]{1}$
\item<1-> $\Longrightarrow x=0,\; x=1$ % <-
\end{enumerate}
\end{frame}
\end{document}
Ademas se puede usar el opcion alert uno puede remarcar las lineas del texto .
\begin{document}
\begin{frame}{Ejemplo}
\begin{enumerate}[<+-| alert@+>] % <- opcion
\item $x^4-x=0$
\item $x(x^3-1)=0$
\item $x =0 \;$ o $\;x^3-1=0$
\item $x =0 \;$ o $\;x=\sqrt[3]{1}$
\item $\Longrightarrow x=0,\; x=1$
\end{enumerate}
\end{frame}
\end{document}
7.1.4. Comando Pause
79
\begin{document}
\begin{frame}
\frametitle{N\umeros Primos}
\begin{definition}
Un \alert{N\umero Primo} es un n\umero que tiene s\olo dos divisores
\end{definition}
\begin{example}
\begin{itemize}
\item 2 es primo
\pause \pause \pause \pause
\item 3 es primo
\pause
\item 4 no es primo (\alert{3 divisores: 1 2 4}).
\end{itemize}
\end{example}
\end{frame}
\end{document}
80

Manual LaTeX UNI

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Manual LaTeX UNI

Uploaded by

Copyright:

Available Formats

Manual de L

b es paralelo al vector (1,0) y |

You might also like