C LASE 3

E SCRITURA DE TEXTO MATEMÁTICO

Septiembre, 2019

El presente material está basado en el material desarrollado por el profesor Andrés Merino y actualizado por Daniel
Lara.

Índice

1 Preliminares 1

2 Subíndices, superíndices 3

3 Fracciones 3

4 Integrales 3

5 Raíces 3

6 Puntos 4

7 Delimitadores 4

8 Llaves y Barras 4

9 Espacios en modo matemático 4

10 Arreglos 4

11 Matrices 6

12 Alineamiento 7

13 Ambientes para escritura de texto matemático 7

13.1 Ejercicios varios de matemática . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

14 Algunas fórmulas 8

15 Definiciones y Teoremas 10

1. Preliminares
Para el desarrollo de esta sección vamos a emplear algunos paquetes que complementan las op-
ciones disponibles para la escritura de textos matemáticos. De esta manera, este será el preámbulo
necesario para esta sección:
\documentclass[10pt]{article}

1
\usepackage{geometry}

%Paquetes adicionales de simbolos matematicos

\usepackage{amsmath,amssymb,amsfonts,latexsym}
\usepackage[spanish]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}

\begin{document}
La formula $\sen^2(x)=1-\cos^2(x)$ ...
\end{document}

Para la escritura de texto matemático existen dos formas de acuerdo a si lo queremos dentro
de un texto, que se conoce como modo in line o si lo queremos desplegado. Así, consideremos el
siguiente ejemplo de texto matemático en un párrafo.

Sea f : [ a, b] → R una función. Si f es acotada y discontinua

en un número finito de puntos, entonces f es integrable.

el código del ejemplo anterior es:

Sea $f:[a,b]\rightarrow \mathbb{R}$ una funcion. Si $f$ es acotada y discontinua
en un numero finito de puntos, entonces $f$ es integrable.

Así, para el modo en line solo es necesario escribir el texto entre $... $ o \(...\). Por otra
parte, para el modo desplegado, consideremos el siguiente ejemplo:

Sean f : [ a, b] → R una función integrable en [ a, b] y c ∈

[ a, b]. Se tiene que f es integrable en [ a, c] y en [c, b], además
Z b Z c Z b
f ( x ) dx = f ( x ) dx + f ( x ) dx.
a a c

así, el código del ejemplo anterior es:

Sean $f:[a,b]\rightarrow \mathbb{R}$ una funcion integrable en $[a,b]$ y $c\in[a,b]$.
Se tiene que $f$ es integrable en $[a,c]$ y en $[c,b]$, ademas
\[
\int_a^b f(x)\,dx = \int_a^c f(x)\,dx + \int_c^b f(x)\,dx.
\]

Así, para el modo desplegado escribiremos el texto entre \[...\] donde el texto escrito se
mostrará centrado y en una nueva linea.

2
2. Subíndices, superíndices

Expresión Código
xp x^p
( x n ) n ∈N (x_n)_{n\in\mathbb{N}}
j
a a_i^j
Rb i
a
f ( x ) dx \int_a^b f(x)\, dx
∑in=1 i2 \sum_{i=1}^n i^2
n
22 2^{2^n}

3. Fracciones

Expresión Código
x +1
x −1 \frac{x+1}{x-1}
x +1
x −1 {x+1 \over x-1}

n +1
1 + 1x n \left( 1+ \frac{1}{x} \right)^\frac{n+1}{n}
+1
{ xx− 1} {x+1 \brace x-1}
x +1
[ x −1] {x+1 \brack x-1}
f
a→b a \stackrel{f}{\rightarrow} b
∑ ai b j \displaystyle{\sum_{\substack{0<i< m\\0<j<n}}a_ib_j}
0< i < m
0< j < n
w
∏ni=0 (wi −iwk ) \prod_{\overset{i=0}{i\neq k}}^{n}\frac{w_i}{(w_i-w_k)}
i6=k

4. Integrales

Expresión
Z
Código
F · dr \displaystyle{\int_C\boldsymbol{F}\cdot\, dr}
IC
F · dr \displaystyle{\oint_C\pmb{F}\cdot\, dr}
ZZ C
f ( x, y) dA \displaystyle{{\iint_D f(x,y)\,dA}}
ZZZ D
f ( x, y, z) dA \displaystyle{{\iiint_Q f(x,y,z)\,dA}}
Q ZZZ
$\displaystyle{\iiint\limits_Q}
Q

5. Raíces

Expresión Código
√
x+1 \sqrt{x+1}
q √
n
x+ x \displaystyle{ \sqrt[n]{x+\sqrt{x}} }

3
6. Puntos

Expresión Código
... \ldots
··· \cdots
..
. \vdots
..
. \ddots

7. Delimitadores

Expresión Código
 
x+1 n
\displaystyle \left[{x+1 \over (x-1)^2} \right]^n
( x − 1)2
Rb b
a
2x dx = x2  a $\int_{a}^{b}2x\, dx = \left. x^2 \right|_{a}^{b}

8. Llaves y Barras

Expresión Código
AB \overline{AB}
máx { a, b} $\max\left\{a,b\right\}
Ki
z }| {
( x i − 1) + ( x i − 1) \overbrace{(x_i-1)}^{K_i}+\underbrace{(x_i-1)}_{K_i}g(x)
| {z }
Ki

9. Espacios en modo matemático

LATEX por defecto no deja espacios en modo matemático, para compensar esto se utilizan los
siguientes comandos: \, \; \! \: y \hspace

10. Arreglos

\[
A = \left(
\begin{array}{lcr}
a & a+b & k-a \\
b & b & k-a-b \\
\vdots & \vdots & \vdots \\
z & z + z & k-z
\end{array}
\right)
\]

4
  
a a+b k−a
 
 b b k−a−b 
A=
 .. .. .. 

 . . . 
z z+z k−z
\[
f(x)= \left\{
\begin{array}{lcl}
x^2 & \mbox{ si } & x<0 \\
& & \\
x-1 & \mbox{ si } & x>0
\end{array}
\right.
\]


2 si x<0
 x

f (x) =


x−1 si x>0
\[
\left\{
\begin{array}{lclcl}
\cos x &=& 0 &\Longrightarrow & x=(2k+1)\,\frac{\pi}{2};\; k \in \Z\\
& & & &\\
\sen x &=& -1 &\Longrightarrow & x=(4k+3)\,\frac{\pi}{2};\; k \in \Z\\
& & & &\\
\cos(2x) &=&\frac{1}{2} &\Longrightarrow &\left\{
\begin{array}{lcr}
x &=& \frac{\pi}{6}+k\pi;\; z \in \Z\\
& &\\
x &=& -\frac{\pi}{6}+k\pi;\; z \in \Z\\
\end{array}
\right.\\
\end{array}
\right.
\]



 cos x = 0 =⇒ x = (2k + 1) π2 ; k ∈ Z







 sen x

 = −1 =⇒ x = (4k + 3) π2 ; k ∈ Z


 
π
 x = + kπ; z ∈ Z

 

 6
1
cos(2x ) =



 2 =⇒
 

x = − π6 + kπ; z ∈ Z


5
\[
\begin{array}{rcl}
A\cup B \subseteq B & & \\ \hline %linea horizontal
x \in A \cup B &\implies & x \in A \vee x \in B \\[0.15cm]
%Comentario que recorre tres columnas
\multicolumn{3}{l}{\mbox{Por hipotesis,\;} x\in A\implies x\in B} \\[0.15cm]
&\implies & x \in B \vee x \in B \\
&\implies & x \in B \\
&\therefore & x A \cup B \subseteq B \\
\end{array}
\]

A∪B ⊆ B
x ∈ A∪B =⇒ x ∈ A∨x ∈ B
Por hipótesis, x ∈ A =⇒ x ∈ B
=⇒ x ∈ B∨x ∈ B
=⇒ x∈B
∴ xA ∪ B ⊆ B

11. Matrices

\[
\begin{pmatrix}
1 & 0 & 0 & \cdots & 0 \\
h_0 & 2(h_0+h_1) & h_1 & \cdots & h_1 \\
0 & h_1 & 2(h_1+h_2) & 2(h_{n-3}+h_{n-2}) & 0 \\
\vdots & \vdots & \vdots & \vdots & 9 \\
0 & h_1 & 2(h_1+h_2) & 2(h_{n-3}+h_{n-2}) & h_{n-2} \\
6 & 0 & 0 & 0 & 1 \\
\end{pmatrix}
\]

 
1 0 0 ··· 0
 
 h0 2( h0 + h1 ) h1 ··· h1 
 
0 h1 2( h1 + h2 ) 2( h n −3 + h n −2 ) 0 
 
. .. .. ..
 ..

 . . . 9  
 
0 h1 2( h1 + h2 ) 2( h n −3 + h n −2 ) h n −2 
6 0 0 0 1

\[
\begin{bmatrix}
1 & 0 & 0 & \cdots & 0 \\

6
 h_0 & 2(h_0+h_1) & h_1 & \cdots & h_1 \\
0 & h_1 & 2(h_1+h_2) & 2(h_{n-3}+h_{n-2}) & 0 \\
\vdots & \vdots & \vdots & \vdots & 9 \\
0 & h_1 & 2(h_1+h_2) & 2(h_{n-3}+h_{n-2}) & h_{n-2} \\
6 & 0 & 0 & 0 & 1 \\
\end{bmatrix}
\]

 
1 0 0 ··· 0
 
 h0 2( h0 + h1 ) h1 ··· h1 
 
0 h1 2( h1 + h2 ) 2( h n −3 + h n −2 ) 0 
 
. . . .
 .. .. .. ..

 9  
 
0 h1 2( h1 + h2 ) 2( h n −3 + h n −2 ) h n −2 
6 0 0 0 1

12. Alineamiento

De acuerdo al lema de Euclides tenemos que

\begin{eqnarray*} % Espacio entre filas aumentado \\[0.2cm]
\mbox{mcd}(a,b) & = & \mbox{mcd}(a-r_0q,r_0) \\[0.2cm]
& = & \mbox{mcd}(r_1,r_0) \\[0.2cm]
& = & \mbox{mcd}(r_1,r_0-r_1q_2)\\[0.2cm]
& = & \mbox{mcd}(r_1,r_2) \\[0.2cm]
& = & \mbox{mcd}(r_1-r_2q_2,r_2)\\[0.2cm]
\end{eqnarray*}

De acuerdo al lema de Euclides tenemos que

mcd( a, b) = mcd( a − r0 q, r0 )

= mcd(r1 , r0 )

= mcd(r1 , r0 − r1 q2 )

= mcd(r1 , r2 )

= mcd(r1 − r2 q2 , r2 )

13. Ambientes para escritura de texto matemático

Para la definición de ambientes se sigue la siguiente estructura
\theoremstyle{definition}
\newtheorem{defi}{Definicion}

7
\theoremstyle{plain}
\newtheorem{teo}{Teorema}

13.1. Ejercicios varios de matemática

Ejercicio 1. Deducir la identidad cos(α) cos( β) = 12 cos(α + β) + cos(α − β).

Solución. Sean α, β ∈ R, se sigue que

cos(α + β) = cos(α) cos( β) − sen(α) sen( β), (1)

y
cos(α − β) = cos(α) cos( β) + sen(α) sen( β). (2)

Sumando las identidades (1) y (2)

cos(α + β) + cos(α − β) = 2 cos(α) cos( β),

por lo tanto
cos(α + β) + cos(α − β)
cos(α) cos( β) = .
2

Ejercicio 2. Calcular cos(u + π2 ).

Solución. Conociendo que cos( π2 ) = 0 y sen( π2 ) = 1, se sigue que

 π π π
cos u + = cos(u) cos − sen(u) sen
2 2 2
= 0 cos(u) − 1 sen(u)
= − sen(u)

14. Algunas fórmulas

• Desarrollo de formulas:
n
( x − xi )
L j (x) = ∏ ( x j − xi ) (3)
i =1
i6= j
( x − x1 )( x − x2 ) · · · ( x − x j−1 )( x − x j+1 ) · · · ( x − xn )
=
( x j − x1 )( x j − x2 ) · · · ( x j − x j−1 )( x j − x j+1 ) · · · ( x j − xn )

8
• Formulas largas:
Z t
f h ( x, y) = E L x,y ϕ du
0
Z
=h L x,z dz
  Z t 
1
Z
+h E L x,yx ds − t L x,z dz)
t 0
 Z t 
1
Z t
+ E L x,yx ds − E L x,y ϕ ds (4)
t 0 0

• Funciones
f : R −→ R
x 7−→ f ( x )

0 si i = j
δi,j =
1 si i 6= j

• Sistemas de ecuaciones 
 x
 +y +w = 1
+z
3y +5w = 2 (5)


5x −2z = 4

• Matrices  
1
 
2
 
3
 
 
4
5

 
a11 · · · a1n
 . .. .. 
A= . . (6)
 . . 

an1 · · · ann
 
λ − a
11 · · · a1n 
 
 . .. .. 
∆ A (λ) = |λI − A| =  .. . . 
 (7)
 
 an1 ··· λ − ann 

• Signos de agrupación

  t −1 
a+t 
 + t! √ 


a−t 5
− t + 1 
 
a
 sen2 t + sen2 t 


t =0

9
15. Definiciones y Teoremas
Definición 1 (Subconjunto). Sean A y B conjuntos, se dice que A es subconjunto de B (y se nota
A ⊆ B) si y solo si
x ∈ A ⇒ x ∈ B.

Teorema 1. Sean A y B conjuntos, si A ⊆ B y B ⊆ A entonces A = B.

10