UNIVERSIDADE FEDERAL DE SANTA CATARINA

CURSO DE BACHARELADO EM CI

ENCIAS DA COMPUTAC

AO
PET CI

ENCIAS DA COMPUTAC

AO
Uma Introduc

ao ao Modo
Matem

atico do L
A
T
E
X
Rafael Rueda
Versao 1.0
Florianopolis, Agosto 2003
Sumario
Sumario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1 O modo matematico 2
1.1 Fracoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Binomiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Somatorios, Produtorios, Co-Produtorios, Integrais, Razes, Limites e Trans-
formadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3.1 Somatorios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3.2 Produtorios e Co-Produtorios . . . . . . . . . . . . . . . . . . . . . . 4
1.3.3 Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3.4 Razes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3.5 Limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3.6 Transformadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4 Delimitadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.5 Equacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.6 Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.7 Casos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.8 Alinhamento matematico . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.9 Divisao de equacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.10 Construindo Grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.11 Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Referencias Bibliogracas 12
1
Captulo 1
O modo matematico
O modo matematico deve ser utilizado somente para escrever expressoes matematicas,
textos inseridos em modo matematico aparecem em italico e suas letras totalmente gruda-
das, a nao ser que se utilizem outros recursos, como \mbox{} ou ainda \quad e \qquad,
dentre outros; com estes recursos pode-se escrever em modo matematico sem problemas.
Para entrar no modo matematico existem diversas formas, seja utilizando \$, \$\$,
\[ e \], \begin{displaymath} e \end{displaymath}, ou ainda \begin{equation} e
\end{equation}; cada qual com suas diferencas e utilizacoes.
1.1 Fracoes
Fracoes nao podem ser criadas utilizando somente $a/b$, pois produziria a/b; podem
ser utilizados dois comandos distintos para a mesma razao:
$a \over b$ para
a
b
$\frac{a}{b}$ para
a
b
Tome cuidado ao utilizar o comando \over. Se deseja-se produzir:
x 1
x
2
devera fazer \[{x - 1 \over x} - 2\] e nao \[ x - 1 \over x - 2 \]; pois este ori-
ginaria
x 1
x 2
Como pode-se observar, em casos como este toda a fracao devera ser delimitada por {
e }.
Existe ainda outro comando, o \atop que produz uma fracao sem a linha divisora; veja:
2
$x-1 \atop x+2$ produz
x1
x+2
Para o comando \atop deve-se seguir o mesmo procedimento utilizado em \over.
1.2 Binomiais
Para a criac ao de expressoes que utilizam um coeciente binomial, pode-se utilizar o
comando \choose, veja:
$n \choose {k \over 2} $ produz
_
n
k
2
_
Como pode-se observar as letras caram muito reduzidas, isto ocorre, pois uma ex-
pressao matematica foi inserida em meio a um texto; para aumenta-las pode-se utilizar:
$$n \choose {k \over 2} $$ produz
_
n
k
2
_
Assim como:
\[n \choose {k \over 2} \] produz
_
n
k
2
_
1.3 Somatorios, Produtorios, Co-Produtorios, Integrais, Razes,
Limites e Transformadas
1.3.1 Somatorios
Basta utilizar o comando \sum. Para criar uma expressao como:
10

x=1
x
2
+ 3
fez-se: \[ \sum_x=1^{10}x^2+3 \]
Agora faca este:
p

i=1
q

j=1
r

k=1
a
ij
b
jk
c
ki
3
1.3.2 Produtorios e Co-Produtorios
Basta utilizar o comando \prod. Para criar uma expressao como:
3

y=0
y 1
fez-se: \[ \prod_{y=0}^3 y - 1 \]
E para o co-produtorio:
3

y=0
y 1
fez-se: \[ \coprod_{y=0}^3 y - 1 \]
1.3.3 Integrais
Para criar integrais utiliza-se o comando \int, veja:
_
+

x
2
+ x
2
dx
Utilizou-se de:
\[\int_{-\infty}^{+\infty} \frac{x}{2} + x^2 dx\]
Agora uma integral dupla:
_
+5
5
_
+1
1
(x 1) (y + 2)dxdy
Que foi feita atraves dos comandos:
\[ \int_{-5}^{+5}\int_{-1}^{+1} (x-1)*(y+2)dxdy \]
1.3.4 Razes
Para criar razes basta utilizar o comando \sqrt, observe:

4 = 2 atraves de $\sqrt 4 = 2$

x
2
9 =? atraves de $\sqrt {x^2-9} = ?$

27 = 3 atraves de $\sqrt {27} = 3$

4
Agora veja este exemplo:

_
1 +

_
2 +

_
3 +

5 +
_
3 +
_
10 +

1 + x
foi criado a partir de:
\[ \sqrt{1 + \sqrt{2 + \sqrt{3 + \sqrt{5 + \sqrt{3 + \sqrt{10+ \sqrt{1 +
x}}}}}}} \]
1.3.5 Limites
Para se criar limites, veja:
lim
x
1
x
= 0
deve-se fazer \[\lim_{x \to \infty}{1 \over x}=0\]
Ainda pode-se utilizar \limsup para limite superior ou \liminf para limite inferior.
Veja o exemplo:
liminf
x5
x
2
=?
limsup
x7
x
8
=?
1.3.6 Transformadas
Para utilizar das transformadas de Laplace e Fourier e necessario ter no preambulo do
documento o pacote mathrsfs importado; para isso coloque \usepackage{mathrsfs} no
preambulo. Depois, para criar o smbolo das transformadas utilize o comando \mathsrc{F}
para transformada de Fourier e mathsrc{L} para transformada de Laplace. Veja um exem-
plo:
F{K(u)} = k() =
_

e
iu
K(u) du
1.4 Delimitadores
Em matematica por vezes e necessario o uso de delimitadores para criar as expressoes
matematicas. Existem diversos tamanho de delimitadores e nesta secao estudaremos como
cria-los.
5
Temos a equacao
(
x 1
x
5
)
Observe como cou desproporcional o parentesis utilizado. Para resolver isto podemos
fazer
_
x 1
x
5
_
Que foi obtido atraves de
$$\left(
\frac{x-1}{\frac{x}{5}} \right)$$
A utilizacao de \left( e \right) signica que os parentesis criados deverao ter tama-
nho compatvel com a expressao inserida; e automatico. Veja outro caso:
(x 1 = 5)
foi obtido a partir de \[(x -1 = 5)\] e
(x 1 = 5)
foi obtido a partir de \[\left(x-1=5\right)\]
Observe que o tamanho dos parentesis nao foi modicado utilizando-se os comandos
\left( e \right). Isto ocorreu devido o tamanho vertical da expressao nao necessitar de
um parentesis maior.
Nestes exemplos utilizaram-se o ( como delimitador, mas tal poderia ser substitudo
por {, [ ou ainda por (\lfloor), (\lceil), (\langle), | (|).
Observe que acima temos \lfloor que e um delimitador que abre uma expressao; para
fechar devemos utilizar o \rfloor e tal regra serve para \lceil e \langle.
Muitas vezes a utiliza cao de \left delimitador e \right delimitador nao tras o
resultado esperado; para isso pode-se utilizar ainda:

_
e
_
, respectivamente \bigl e \bigr;

_
e
_
, respectivamente \Bigl e \Bigr;

_
e
_
, respectivamente \biggl e \biggr.
A maior vantagem de se utilizar os delimitadores \left e \right e que com eles podem
ser criados delimitadores muito maiores que os tradicionais. Mais uma vez salienta-se que
no exemplo foi utilizado ( mas que todos os outros delimitadores respeitam a mesma regra.
6
1.5 Equacoes
Existem duas maneiras de se enumerar equacoes:
A primeira e:
x 5 = 0 (5)
criada a partir de $$ x - 5 = 0 \eqno{(5)}$$
e a segunda e
x 5 = 0 (1.1)
criada a partir de
\begin{equation}
x - 5 = 0
\end{equation}
A diferenca basica entre as duas e que no primeiro caso a enumeracao das equacoes e
explcita, e no segundo e implcita, ou seja, automatica em relacao ao captulo e secao em
que a equacao se encontra.
Para o primeiro caso ainda e possvel colocar a enumeracao da equacao a esqueda,
utilizando-se do comando: \leqno, veja:
(13) x
2
5 + 3
i+1
= 0
foi criada a partir de: $$x^2 - 5 +3^{i+1} = 0\leqno{(13)}$$
1.6 Matrizes
Para criar matrizes, primeiramente deve-se ter importado o pacote amsmath no preambulo
do documento, utilizando o comando \usepackage{amsmath}.
Existem outros metodos para a criacao de matrizes, porem os mesmos demandam mais
tempo e o resultado e o mesmo.
1
Para criar uma matriz como esta
0 1
0 1
utiliza-se o seguinte conjunto de comandos:
\begin{matrix}
0 & 1 \\
0 & 1 \\
\end{matrix}
1
Sintam-se favorecidos, pois descobri isso somente quando iniciei a escrever esta apostila.
7
Para a criacao de matrizes como as a
_
0 1
0 1
_
,

0 1
0 1

e
_
0 1
0 1
_
deve-se utilizar bma-
trix, vmatrixe pmatrixrespectivamente no lugar de matrix
Ex.1 Agora tente fazer as matrizes a seguir:
_
1 0
0 5
_

_
a
0
1
a
1
1
_
=
_
1 1
4 5
_
1.7 Casos
Para criar
|x| =
_
x | x 0
x | x < 0
por exemplo, zemos:
\[
|x|=\begin{cases}
x \mid x \ge 0 \\
-x \mid x < 0
\end{cases}
\]
A utilizacao de \[ e \] pode ser substituda por $, a diferenca e que o primeiro alinha
a equacao ao centro da pagina e $ alinha `a esquerda.
Outro modo de se ter o mesmo resultado e fazendo-se:
\begin{displaymath}
|x| = \left\{
\begin{array}{c}
x \mid x \ge 0 \\
-x \mid x < 0
\end{array}
\right.
\end{displaymath}
Como pode ser observado, o metodo mais simples e o 1
o
.
Ex.2 Agora tente fazer os casos a seguir:
8
g(x) =
_

_
x + 1 se x > 0,
x
2
se 1 x 1,
sin(x) se x < 1.
1.8 Alinhamento matematico
Muito util para o alinhamento vertical de equacoes, vejamos:
x
2
+ 5x 2 = 0 (1.2)
5

32 + e
x
2
x1
= 0 (1.3)
5x 2 = 1 (1.4)
, foi criado a partir da sequencia de comandos:
\begin{align}
x^2 + 5x - 2 = 0\\
\sqrt[5]{32} + e^x - 2^{x-1} = 0\\
5x - 2 = 1
\end{align}
1.9 Divisao de equacoes
Quando deseja-se resolver equacoes muitas vezes ultrapassamos a margem da pagina,
para solucionar este problema, pode-se utilizar o comando split.
(x + y)
4
= (x + y)
2
(x + y)
2
= (x
2
+ 2xy + y
2
) (x
2
+ 2xy + y
2
)
= (x
4
+ 4x
3
y + 6x
2
y
2
+ 4xy
3
+ y
4
)
a qual obtivemos a partir de:
\[
\begin{split}
(x+y)^4 &= (x+y)^2*(x+y)^2\\
&= (x^2 + 2xy + y^2)*(x^2 + 2xy + y^2)\\
&= (x^4 + 4x^3y + 6x^2y^2 + 4xy^3 + y^4)\\
\end{split}
\]
9
1.10 Construindo Grafos
A
//

B
~~~
~
~
~
~
~
~
C
//
D
Foi construdo atraves de:
\xymatrix { A \ar[r] \ar[d] & B \ar[d] \ar[ld]\\
C \ar[r] & D}
Agora um grafo mais complexo:
incio
// GFED @ABC
q
0
a
//
@GF ECD
c

b

GFED @ABC ?>=< 89:;

q
1
a
WW
b
// GFED @ABC
q
2
b
// GFED @ABC ?>=< 89:;
q
3
b
WW
c
// GFED @ABC
q
4
c
// GFED @ABC ?>=< 89:;
q
5
c
WW
GFED @ABC
q
6
b
// GFED @ABC
q
7
b
XX
c
55
Veja o codigo utilizado para a construcao do grafo:
\entrymodifiers={++[o][F-]} \SelectTips{cm}{} \xymatrix @+1.5pc{
*\txt{incio}
\ar[r] & q_0 \ar[r]^a \ar ul_r[rrrrr]_ld[rrrrr]^c [rrrrr] \ar@(u,l)[ld]^b
& *++[o][F=]{q_1} \ar@(rd,ld)[l]^a \ar[r]^b
& q_2 \ar[r]^b
& *++[o][F=]{q_3} \ar@(rd,ld)[l]^b \ar[r]^c
& q_4 \ar[r]^c
& *++[o][F=]{q_5} \ar@(rd,ld)[l]^c)\\
q_6 \ar[r]^b
& q_7 \ar@(rd,ld)[l]_b \ar@(d,r)[urrrrr]^c}
Para construir este grafo foi necessario denir o crculo que contornaria um estado; que
foi realizado atraves de \entrymodifiers={++[o][F-]}.
Ao denir @+1.5pc esta se denindo o tamanho do crculo que contornara a letra; este
valor de +1.5 pode ser modicado.
Ao fazer *++[o][F=] esta denindo aquele estado para que seja circundado duas vezes;
diferente do padrao ++[o][F-] que explicita uma circunferencia somente.
10
1.11 Teoremas
Para denir teoremas e necessario que no preambulo esteja denido o teorema, neste
caso acrescentou-se \newtheorem{theorem}{Teorema} no preambulo; onde theorem sera
o nome do comando e Teorema sera como ele sera descrito.
Poderia-se criar uma denicao, por exemplo, atraves de \newtheorem{definicao}{Definic~ao}.
Veja o exemplo de um teorema abaixo:
Teorema 1 (Teorema de Chasles) Dados 3 pontos A, B, C sobre uma reta, temos sem-
pre: AB + BC + CA = 0
11
Referencias Bibliogracas
[1] Tobias Oetiker. The Not So Short Introduction to L
A
T
E
X2

or L
A
T
E
X2

in 95 minutes . Introducao bastante completa, em ingles. Disponvel em

http://www.ctan.org/tex-archive/info/lshort/english/.
[2] Examples on Typesetting Commutative Diagrams Using XY-pic, M. Alsani, edition 1,
July 10, 2001. Descreve a utilizacao do pacote xy, utilizado para contrucao de diagramas
comutativos.
[3] L
A
T
E
Xby example, M. Alsani, edition 1.4142135, July 10, 2001. Descreve a utilizacao de
expressoes matematicas e equacoes.
[4] Steding-Jessen, Klaus L
A
T
E
X demo: Exemplos com L
A
T
E
X2

.

Otimo material de
consulta, cobrindo varios ambientes e pacotes. Disponvel (em portugues) em
http://biquinho.furg.br/tex-br/doc/LaTeX-demo/
[5] Donald E. Knuth. The T
E
Xbook, , Addison-Wesley, segunda edicao, 1984. Livro escrito
pelo autor do T
E
X, cobre virtualmente todos seus aspectos.
12