Antologia MaterialBasico2016

Material Basico
Olimpiadas de Matematicas,
Veracruz 2016.

INDICE.
TEOR
IA DE NUMEROS
N
umeros Primos.
Teorema Fundamental de la Aritmetica.
M
ultiplos.
Divisibilidad.
Criterios de Divisibilidad.
Mnimo Com
un M
ultiplo y Maximo Com
un Divisor.
N
umero Primos entre s.
Representaci
on Decimal de un N
umero.
COMBINATORIA
Principios B
asicos de Conteo.
Principio de las cajas.

Principio de adicion.
Principio del producto.
Selecciones.
13
Factorial de un N
umero.
14
Permutaciones.
14
Combinaciones.
18
Diagramas de
arbol.
22
Recursi
on.
23
Tri
angulo de Pascal y Teorema del Binomio.
25
Sucesi
on de Fibonacci.
28
GEOMETR
IA
Tri
angulos.
29
Angulos
opuestos por el vertice.
32
Angulos
entre paralelas.
32
Suma de
angulos en un triangulo.
33
ii
Congruencia de tri
angulos.
34
Teorema de Thales.
34
Teorema de Pit
agoras.
35
Circunferencia.
35
Semejanza de tri
angulos.
39
Rectas y puntos notables en un triangulo.
42
Mediatrices-Circuncentro.
Medianas-Gravicentro.
Alturas-Ortocentro.
Bisectrices-Incentro.
Angulos
en la circunferencia.
47
Poliedros.
49
Tetraedro.
Hexaedro.
Octaedro.
Dodecaedro.
Simetra.
53
VARIOS.
Demostraci
on Matem
atica.
55
Directa.
Por Inducci
on.
Por Contraposici
on.
Por Contradicci
on.
Teora de Conjuntos.
59
Principio de Casillas.
61
Ecuaciones.
64
Productos Notables.
69
Factorizaci
on.
73
Funciones.
76
Series.
82
iii
Exponentes.
84
Sucesiones.
86
Inducci
on Matem
atica.
88
Desigualdades.
92
Paridad.
94
iv
Advertencia
Esta Antologa es una recopilacion de textos de diversas fuentes y no tiene
mayor merito que el deseo de que sea de utilidad para aquel estudiante o profesor
que quiere conocer los temas que se trabajan en las Olimpiadas de Matematicas.
Esta lista de temas no es exhaustiva, esperamos que sirva de referencia para los
que est
an iniciando.
Hemos tratado de incluir textos introductorios sin embargo, como no han
sido redactados en un mismo documento, estos carecen de continuidad. Por la
raz
on anterior aparecer
an cambios abruptos en la redaccion y tratamiento de los
temas. La mayor parte de los textos incluidos se pueden encontrar en la Internet, algunos de ellos se extrajeron de Wikipedia y conservan sus hipervnculos,
mismos que pueden ser usados para navegar entre las referencias.
Esperamos que esta Antologa les sea de utilidad y despierte su interes en
las Olimpiadas de Matem
aticas.
Porfirio Toledo Hernandez

Comite Estatal de la OMM Veracruz
Xalapa-Enrquez, Ver., 2016.
Teora de nmeros
Nmeros Primos
Se llaman nmeros primos aquellos nmeros naturales distintos del 1 que no tienen
otros divisores que ellos mismos y la unidad.(Que tienen exactamente dos divisores)
La sucesin de los nmeros primos comienza con
2, 3, 5, 7, 11, 13, 17, ...
Hay infinitos nmeros primos, es decir, existen nmeros primos tan grandes como se
quiera. La distribucin de los nmeros primos es muy irregular. Hay algunos que son
nmeros impares consecutivos, como 3 y 5; estos se llaman primos gemelos.
A los nmeros que son el producto de dos o ms primos les llamaremos compuestos.
Teorema fundamental de la aritmtica
Todo entero n > 1 puede descomponerse en productos de nmeros primos en una expresin
nica de la forma:
n p1a1 p2 a2 .... pn an
, donde las p1, p2, ..., pn son primos, y a1, a2, ..., an son enteros.
Por ejemplo:
252 = 22 x 32 x 7
825 = 3 x 52 x 11
46137 =3 x 7 x 133
Mltiplo
Los mltiplos de 5 terminan en 0, o en 5.
Un mltiplo de un nmero es el que lo contiene un nmero entero de veces. En otras palabras, un mltiplo es
un nmero tal que, dividido por a, da por resultado un
nmero entero (el resto de la divisin eucldea es cero).
Los primeros mltiplos del uno al diez suelen agruparse
en las llamadas tablas de multiplicar.
Los mltiplos de 6 terminan en 0, 2, 4, 6, 8 y la suma

de los valores de sus cifras es mltiplo de 3.
En los mltiplos de 9, la suma de los valores de sus
cifras es mltiplo de 9.
Ejemplo: 18 es mltiplo de 9.
3 Vase tambin
a=18
b=9
Divisibilidad
a=2b
Tabla de multiplicar
Anexo:Tabla de divisores
En efecto, 18 contiene 9 dos veces exactamente.
4 Referencias
Propiedades de los mltiplos
Mltiplo, Diccionario de la lengua espaola

(22. edicin), Real Academia Espaola, 2001,
http://lema.rae.es/drae/srv/search?key=M%C3%
BAltiplo.
Si a es un mltiplo de b, entonces b es un divisor de

a.
Todo nmero entero es mltiplo de 1 y de s mismo.
Weisstein, Eric W. Mltiple. En Weisstein, Eric

W. MathWorld (en ingls). Wolfram Research.
Cero (0) es mltiplo de cualquier nmero.

Si a y b son mltiplos de n, entonces a+b, a-b, ka y
kb lo son para cualquier k natural.
5 Enlaces externos
2
Submltiplo
Criterios para averiguar si un nmero es mltiplo de

otro
Un nmero entero a es submltiplo de otro nmero b solo

si b es mltiplo de a.
2.1
Tablas de Mltiplos y Submltiplos para Imprimir
Propiedades de los submltiplos
El nmero uno es submltiplo de cualquier nmero.

Todo nmero es submltiplo de s mismo
Todo nmero es submltiplo del nmero cero.
2.2
Ejemplos
Los mltiplos de 2 terminan en 0, 2, 4, 6, 8.

En los mltiplos de 3, la suma de los valores de sus
cifras es tambin mltiplo de 3.
1
Divisibilidad
Un nmero es divisible entre otro cuando lo contiene exactamente un nmero entero de
veces. En otras palabras si dividimos un nmero entre otro nmero, el cociente debe ser:
Exacto
Nmero entero
Residuo debe ser cero.
Definicin : Sean a y b dos nmeros enteros. Decimos que a divide a b (lo que
simbolizamos con a | b) si existe un entero c tal Que b = ac. Esto equivale a decir que
b es mltiplo de a. o que la divisin b a no deja residuo.
Si a no divide a b, escribimos a b. Esto es lo mismo que decir que la divisin b a
deja residuo.
Ejemplos:
3|12 pues 12 = 4 3
4 10 ya que no existe un entero c tal que 10 = 4c.
4 | 20 ya que si c = 5, 20 = 4c.
3|0 dado que 0 = 3c cuando c = 0.
1| 5 puesto que 5 = 1 5
5 1 dado que 1 5c para cualquier entero c.
Para cualquier entero a, a+ l | a2 -l. Ya que a2 -1 = (a+ l) k , con k = a-l.
Criterios de Divisibilidad
A continuacin damos algunos criterios de divisibilidad que facilitan la bsqueda de los
factores primos.
Divisibilidad por 2
Un nmero es divisible por 2 cuando termina en cero o cifra par.
Divisibilidad por 3
Un nmero es divisible por 3 cuando la suma de sus dgitos es un mltiplo de 3. Por
ejemplo: 168351 es divisible por 3 pues 1 + 6 + 8+ 3 + 5 + 1 = 24, el cul es mltiplo de 3.
Divisibilidad por 5
Un nmero es divisible por 5 cuando termina en cero o en cinco.
Divisibilidad por 7
Un nmero es divisible por 7 cuando separando la primera cifra de la derecha,
multiplicndola por 2, restando este producto de lo que queda a la izquierda y as
sucesivamente, da cero o mltiplo de 7.
Veamos un ejemplo: 2401 es divisible por 7?
240_1 x 2 = 2, 240 - 2 = 238, 23_8 x 2 = 16, 23 - 16 = 7.
Entonces, 2041 s es divisible por 7. Verifiquemos:
2401 / 7 = 343.
Divisibilidad por 11
Un nmero es divisible por 11 cuando la diferencia entre la suma de los dgitos que ocupan
un lugar impar, y la suma de los dgitos de lugar par, de derecha a izquierda, es cero o
mltiplo de 11. Por ejemplo, veamos si 94378 es divisible por 11:
94378, de derecha a izquierda:
Pares (subrayados): 4 y 7,
4 + 7 = 11
Impares: 9, 3 y 8,
9 + 3 + 8 = 20
Impares - Pares = 20 - 11 = 9, luego 94378 no es divisible por 11. (Verifquelo)
Divisibilidad por 15, 17 y 19
El procedimiento para investigar la divisibilidad por 13, 17 y 19 es similar al de la
divisibilidad por 7, slo que al separar la primera cifra de la derecha, sta se multiplica por
9, 5 y 17 respectivamente; siendo un nmero divisible por 13, 17 y 19 si al final del proceso
sobra un cero o un mltiplo de 13, cero o un mltiplo de 17, cero o un mltiplo de 19.
Ejemplo: investigar la divisibilidad de 1501.
Con 13:
150_1 x 9 = 9, 150 - 9 = 141, 14_1 x 9 = 9,
14 - 9 = 5.
No es divisible por 13.
Con 17:
150_1 x 5 = 5, 150 - 5 = 145, 14_5 x 5 = 25,
14 - 25 = -11.
No es divisible por 17.
150_1 x 17 = 17, 150 - 17 = 133, 13_3 x 17 = 51,
13 - 51 = -38.
Si es divisible por 19. Verifiquemos:
1501 / 19 = 79.
MINIMO COMN MULTIPLO Y MXIMO COMN DIVISOR
En ocasiones es conveniente conocer el menor de los mltiplos comunes (MCM), y el
mayor de los divisores comunes (MCD) de varios nmeros enteros. La regla de obtener
dichos nmeros es:
Para encontrar el MCM de varios nmeros enteros se multiplican los factores primos
comunes y no comunes de los nmeros tomados con sus mayores exponentes.
Para encontrar el MCD de varios nmeros enteros se multiplican los factores primos
comunes de los nmeros tomados con sus menores exponentes.
Si m es el MCD de a y b esto se denotar por m = (a, b); otra manera de calcular el MCD es
usando el algoritmo de Euclides, el cual se basa en la siguiente propiedad:
Si m = (a, b) y a = bq + r con 0 r < b, entonces m = (b, r).
Y consiste en lo siguiente:
Dividimos a / b obteniendo un residuo r1, despus dividimos b / r1 y obtenemos un residuo
r2, a continuacin dividimos r1 / r2 obteniendo un residuo r3, y as sucesivamente hasta
llegar a un residuo cero, el MCD de a y b ser el ltimo residuo diferente de cero.
El algoritmo de Euclides se incluye aqu debido a su utilidad en la demostracin de algunos
teoremas importantes de la divisibilidad entre enteros.
Ejemplos. Usando el algoritmo de Euclides, encontrar el MCD de:

a) 328 y 1804;
b) 105 y 385
a) 1804 / 328 = 5 y resto = 164
328 / 164 = 2 y resto = 0
Por lo tanto (1804, 328) = 164
b) 385 / 105 = 3 y resto = 70

105 / 70 = 1 y resto = 35
70 / 35 = 2 y resto = 0
Por lo tanto (385, 105) = 35
Este proceso puede esquematizarse de la siguiente manera, usando divisiones sucesivas:

a = bq1 + r1
(0 r1 < b)
b = r1q2 + r2
(0 r2 < r1)
---------- (A)
r1 = r2q3 + r3
(0 r3 < r2)
......
...
rn-2 = rn-1qn + rn
(0 rn < rn-1)
rn-1 = rnqn+1 + 0
Por lo tanto, (a, b) = rn , donde b > r1 > r2 > r3 > ... > rn-1 > rn > 0
A partir de las ecuaciones (A) se puede obtener una importante propiedad del MCD: si d =
(a, b), existen dos enteros, K y L tales que d = Ka + Lb.
Nmeros primos entre s

En matemticas, dos nmeros enteros a y b son nmeros primos entre s (o coprimos, o primos relativos),
si no tienen ningn factor primo en comn, o, dicho de
otra manera, si no tienen otro divisor comn ms que 1
y 1. Equivalentemente son primos entre s, si y slo si,
su mximo comn divisor es igual a 1.
4 units
Por ejemplo, 6 y 35 son primos entre s, pero 6 y 27 no

lo son porque ambos son divisibles por 3. El 1 es primo
respecto de todos los enteros, mientras que 0 slo lo es
respecto de 1 y 1.
9 units
Los nmeros 4 y 9 son coprimos. Por tanto, la diagonal del retcu-
Un medio rpido para determinar si dos nmeros enteros lo 4 x 9 no interseca con ninguno de los otros puntos del retculo.
son primos entre s es el algoritmo de Euclides.
Dos nmeros naturales a y b son primos entre s, si y slo

si, los nmeros 2a 1 y 2b 1 son primos entre s.
Propiedades
1.1
El nmero de enteros que son primos entre s a un entero

positivo n, entre 1 y n, es dado mediante la funcin de
Euler (n).
Bsicas
El mximo comn divisor de dos nmeros primos Si dos nmeros son consecutivos entonces son primos enentre s a y b es 1. Por tanto, no existe ningn nmero tre s, (fcilmente se puede ver usando el Algoritmo de
Euclides).
primo que divida a ambos.
Si dos nmeros enteros a y b son primos entre s,
entonces existen dos enteros x e y tales que ax + by
= 1. (Identidad de Bzout)
2 Generalizacin
Dos ideales I y J en un anillo conmutativo A son primos entre s si I + J = A. Esto generaliza la identidad de
Si a y b son primos entre s y a divide a un producto
Bzout. Si I y J son primos entre s, entonces IJ = IJ;
bc, entonces a divide a c. (Lema de Euclides)
adems, si K es un tercer ideal tal que I contiene a JK,
entonces I contiene a K.
Los nmeros enteros a y b son primos entre s cuanCon esta denicin, dos ideales principales (a) y (b) en el
do b tiene un inverso para el producto mdulo a; es
anillo de los nmeros enteros Z son primos entre s, si y
decir, existe un nmero entero y tal que by 1 (mod
slo si, a y b son primos entre s.
a). Una consecuencia de esto es que si a y b son primos entre s y bm bn (mod a), entonces m n
(mod a). Dicho de otra manera, b es simplicable
3 Vase tambin
en el anillo Z/nZ de los enteros mdulo a.
1.2
Nmero primo
Otras propiedades
Mximo comn divisor
Los dos nmeros enteros a y b son primos entre s, si y

slo si, el punto de coordenadas (a, b) en un sistema cartesiano de coordenadas es visible desde el origen (0,0)
en el sentido en que no hay ningn punto de coordenadas
enteras situado entre el origen y (a,b).
4 Enlaces externos
Weisstein, Eric W. Relatively Prime. En Weisstein, Eric W. MathWorld (en ingls). Wolfram Research.
La probabilidad de que dos nmeros enteros elegidos al

azar sean primos entre s es igual a 6/.
1
Representacin decimal
En matemtica, la representacin decimal es una ma- x 0 ; para cada nmero natural n 1 hay un nmero
nera de escribir nmeros reales positivos, por medio de decimal exacto rn = a0 .a1 a2 an tal que
potencias del nmero 10 (negativas o positivas). En el
caso de los nmeros naturales, la representacin deci1
mal corresponde a la escritura en base 10 usual; para los
r x < rn + n .
nmeros racionales, se obtiene una representacin deci- n
10
mal limitada, o ilimitada peridica si son nmeros peridicos; si son irracionales, la representacin decimal es ilimitada y no peridica.
3 Caso de los nmeros enteros
Todo nmero entero posee una escritura natural en el
sistema de numeracin decimal. Para obtener su representacin decimal es suciente con escribir 100 como deLa representacin decimal de un nmero real no negativo nominador.
r, es una expresin matemtica escrita tradicionalmente
como una serie del tipo
Denicin matemtica
4 Caso de los nmeros decimales
ai
i
10
i=0
Un nmero decimal (nito) es un nmero que se puede

N
escribir de la forma 10
n con N y n nmeros enteros. Un
nmero decimal posee entonces una representacin deen donde a0 es un entero no negativo, y a1 , a2 , son en- cimal limitada compuesta por potencias negativas de 10.
teros tales que 0 ai 9 (son los llamados dgitos de la Recprocamente: todo nmero que posee una representarepresentacin decimal). Si la secuencia de dgitos es ni- cin decimal limitada, es un nmero decimal.
ta, los ai restantes se asumen como 0. Si no se consideran
secuencias innitas de 9s, la representacin es nica.[1]
r=
El nmero denido por una representacin decimal tambin admite la siguiente escritura:
5 Caso de los nmeros racionales
La expansin decimal de un nmero real no negativo x

terminar en ceros (o en nueves) si y solo si, x es un nr = a0 .a1 a2 a3 . . . .
mero racional cuyo denominador es de la forma 2n 5m ,
En tal caso, a0 es la parte entera de r, no necesariamente donde m y n son enteros no negativos.
entre 0 y 9, y a1 , a2 , a3 , son los dgitos que forman la
parte fraccionaria de r.
6 Vase tambin
Ambas notaciones son, por denicin, el lmite de la sucesin:
Sistema de numeracin decimal | Notacin posicional
ai
n
10i
i=0
r = lim
Nmero decimal
Nmero peridico
Aproximacin a nmeros reales
0,9 peridico
IEEE 754
Todo nmero real puede ser aproximado al grado de precisin deseado, por medio de nmeros racionales que poseen representaciones decimales nitas. En efecto, sea
Simon Stevin | Fraccin decimal

1
COMBINATORIA
0. INTRODUCCIN
UNA COMIDA GRATIS
Diez jvenes decidieron celebrar la terminacin de sus estudios en la escuela secundaria
con un almuerzo en un restaurante. Una vez reunidos, se entabl entre ellos una discusin
sobre el orden en que haban de sentarse a la mesa. Unos propusieron que la colocacin
fuera por orden alfabtico; otros, con arreglo a la edad; otros, por los resultados de los
exmenes; otros, por la estatura, etc. La discusin se prolongaba, la sopa se enfri y nadie
se sentaba a la mesa. Los reconcili el camarero, dirigindoles las siguientes palabras:
- Jvenes amigos, dejen de discutir. Sintense a la mesa en cualquier orden y
escchenme:
Todos se sentaron sin seguir un orden determinado. El camarero continu:
- Que uno cualquiera anote el orden en que estn sentados ahora. Maana vienen a comer
y se sientan en otro orden. Pasado maana vienen de nuevo a comer y se sientan en orden
distinto, y as sucesivamente hasta que hayan probado todas las combinaciones posibles.
Cuando llegue el da en que ustedes tengan que sentarse de nuevo en la misma forma que
ahora, les prometo solemnemente, que en lo sucesivo les convidar a comer gratis
diariamente, sirvindoles los platos ms exquisitos y escogidos.
La proposicin agrad a todos y fue aceptada. Acordaron reunirse cada da en aquel
restaurante y probar todos los modos distintos, posibles, de colocacin alrededor de la
mesa, con el objeto de disfrutar cuanto antes de las comidas gratuitas.
Sin embargo, no lograron llegar hasta ese da. Y no porque el camarero no cumpliera su
palabra sino porque el nmero total de combinaciones diferentes alrededor de la mesa es
extraordinariamente grande. Estas son exactamente 3628.800. Es fcil calcular, que este
nmero de das son casi 10.000 aos.
1. PRINCIPIOS BSICOS DE CONTEO
A menudo nos encontramos con preguntas del tipo qu proporcin de...? Cul es la
probabilidad de...? De cuntas maneras se puede...?
Muchas veces, para responder, se necesita un pensamiento sistemtico y un poco de
informacin adicional; por ejemplo, cuntas rutas diferentes puedo usar para ir de Mrida
a Mxico? o De cuntas maneras pueden quedar los 3 primeros puestos en una carrera de 6
caballos?
Hay tcnicas y principios matemticos tiles en situaciones variadas, pero muchas
preguntas se pueden responder directamente, contando en forma sistemtica, es decir,
listando todos los posibles resultados en un orden sistemtico, para luego contar cuntos
son, o desarrollando reglas de conteo. Algunas soluciones parecen ingeniosas cuando se
ven por primera vez (y muchas veces lo son) pero, como deca George Polya, cuando
podemos aplicar nuevamente estos mtodos ingeniosos en problemas similares y en
situaciones relacionadas entre s, hemos desarrollado una tcnica.
Enunciaremos algunos principios que nos ayudarn a resolver muchsimos problemas
de conteo, daremos ejemplos de cmo usar estos principios y finalmente veremos algunos
mtodos menos rutinarios y ms ingeniosos.
1.1 Principio de las cajas (del palomar o de Dirichlet)

"Si tenemos m objetos que se distribuyen en n cajas, m > n, entonces una de las
cajas recibe al menos dos objetos"
Imaginemos 21 palomas introducindose en los 20 agujeros de un palomar. Es claro que
al menos dos de las palomas se metern en el mismo agujero. Este simple hecho recibe el
nombre de Principio de Dirichlet o Principio del palomar o tambin principio de los
casilleros. Si las palomas fueran 41 y 20 los agujeros del palomar, podemos asegurar que
por lo menos tres de las palomas se han metido en el mismo agujero.
En general: si se quieren distribuir n objetos en k casilleros (n > k), habr algn
casillero con al menos [ (n-1) / k ] + 1 objetos. El smbolo [x] significa la parte entera de x;
por ejemplo [3.21]=3.
El principio de Dirichlet dice bsicamente, y sin perder precisin, que si hay muchas
cosas y se meten en pocos casilleros, habr bastantes en algn casillero.
Ejemplo 1. Demostrar que en cualquier conjunto de 8 nmeros enteros existen al
menos dos nmeros a y b tales que (a - b) es mltiplo de 7.
El resto de dividir un nmero por 7 es uno de los siete nmeros enteros entre 0 y 6. En
consecuencia si tenemos un conjunto de 8 nmeros, al menos dos de ellos, a y b, tienen el
mismo resto r en la divisin por 7. Esto es: a = 7q + r y b = 7q' + r donde r = 0 0 < r < 7.
Por lo tanto (a - b) = 7(q - q') es mltiplo de 7.
1.2 Principio de adicin
Cinco empresas de transporte terrestre tienen servicio diario entre Mrida y Mxico.
Tres empresas de aviacin tienen vuelo diario entre Mrida y Mxico. En consecuencia,
hay 5+3 maneras de ir de Mrida a Mxico en avin o en autobs.
En los problemas de conteo, la palabra "o" se traduce en suma.
El principio general es: Si dos operaciones son mutuamente excluyentes (es decir,
si solo una de ellas puede ocurrir) y si la primera se puede hacer de n maneras
diferentes y la segunda operacin se puede hacer de m maneras diferentes, entonces
hay n + m maneras de realizar la primera o la segunda operacin.
Ejemplo 2: Si tengo una moneda de 50 pesos, una moneda de 100 pesos, una
moneda de 200 pesos y una moneda de 1000 pesos, cul es el nmero total de precios
que puedo pagar usando alguna o todas mis monedas?
Este es un buen ejemplo de una situacin en la que se necesita un listado sistemtico.
Como tenemos 4 monedas, debemos considerar 4 casos. Estos son los precios que podemos
cubrir con 1 moneda, con 2 monedas, con 3 monedas y con 4 monedas. Debemos examinar
cada uno de estos casos y luego aplicar el principio de adicin.
Con 1 moneda podemos tener 4 precios: 50 pesos, 100 pesos, 200 pesos y 1000 pesos
Con 2 monedas, podemos listar sistemticamente las combinaciones:
Todas las que tienen 50 pesos:
$ 50 + $100 = $ 150
$ 50 + $ 200 = $ 250
$ 50 + $ 1000 = $ 1050
Todas las que tienen 100 pesos y no hemos listado an
$100 + $200 = $300

$100 + $1000 = $1100
Todas las que tienen 200 pesos y no hemos listado:
$200 + $100 = $1200
Con 3 monedas, listamos todas las combinaciones (una para cada moneda que falta):
$50 + $100 + $200 = $350 (falta la de $1000)
$100 + $200 + $1000 = $1300 (falta la de $50)
$50 + $200 + $1000 = $1250 (falta la de $100)
$50 + $100 + $1000 = $1150 (falta la de $200)
Con las cuatro monedas
$ 50 + $100 + $200 + $1000 = $1350
Todos los precios obtenidos son diferentes, luego la respuesta es 4 + 6 + 4 + 1 = 15
precios posibles.
1.3 Principio de las cajas generalizado
"Si se distribuyen m objetos en n cajas, entonces hay una caja que recibe al menos
[m/n] objetos; y hay una caja que recibe, a lo ms [m/n] objetos"
Ejemplo: Si se resuelven 29 ejercicios en una semana, algn da se habrn resuelto
al menos 5 ejercicios y algn da a lo ms 4 ejercicios.
1.4 Principio del producto
Si una operacin se puede hacer de n maneras diferentes y si en cada caso, una
segunda operacin se puede hacer de m maneras diferentes, entonces hay mn (m por
n) maneras de realizar las dos operaciones
Ejemplo 1: El men de un restaurante ofrece 3 platos calientes y 4 postres. De
cuntas maneras se puede elegir un almuerzo de 1 plato caliente y 1 postre?
Podramos hacer una lista de todas las posibilidades, pero ser mucho ms cmodo
aplicar el principio de la multiplicacin:
Hay 3 maneras de elegir el plato caliente y para cada una de ellas hay 4 maneras de
elegir el postre. Por lo tanto, hay 3.4 = 12 comidas posibles.
Ejemplo 2: Cuntos cdigos de una letra y un nmero de un dgito se pueden
formar con las 26 letras del alfabeto y los nmeros 0, 1, 2,...,9?
Podramos listar todas las posibilidades
A0
A1
.... A9
B0 B1
.... B9
..........................
Z0
Z1
.... Z9
hasta obtener 26 filas de 10 cdigos en cada una. 26.10 = 260.
Es ms simple utilizar el principio de la multiplicacin: hay 26 maneras de elegir la
letra y para cada una de ellas hay 10 maneras de elegir el nmero, de modo que son 26.10 =
260 maneras en total.
10
Observemos que en los 2 ejemplos hay total libertad de elegir el segundo elemento, no
importa cmo se eligi el primero. Es decir, el segundo elemento es independiente del
primero.
Elegido el plato caliente, podemos elegir cualquiera de los 4 postres.
Elegida la letra podemos agregarle cualquiera de los 10 nmeros.
Este principio es til cuando se puede descomponer el proceso de recuento en pasos
independientes.
Ejemplo 3: Del problema inicial de los 10 comensales, posiblemente a ustedes les
parecer increble que 10 personas puedan colocarse en un nmero tan elevado de
posiciones diferentes. Comprobemos el clculo.
Ante todo, hay que aprender a determinar el nmero de combinaciones distintas,
posibles. Para mayor sencillez empecemos calculando un nmero pequeo de objetos, por
ejemplo, tres. Llammosles A, B y C.
Deseamos saber de cuntos modos diferentes pueden disponerse, cambiando
mutuamente su posicin. Hagamos el siguiente razonamiento. Si se separa de momento el
objeto C, los dos restantes, A y B, pueden colocarse solamente en dos formas.
Ahora agreguemos el objeto C a cada una de las parejas obtenidas. Podemos realizar
esta operacin tres veces:
1. colocar C detrs de la pareja,
2. colocar C delante de la pareja,
3. colocar C entre los dos objetos de la pareja.
Es evidente que no son posibles otras posiciones distintas para el objeto C, a excepcin
de las tres mencionadas. Como tenemos dos parejas, AB y BA, el nmero total de formas
posibles de colocacin de los tres objetos ser:
2 x 3 = 6.
Hagamos el clculo para cuatro objetos.
Tenemos cuatro objetos A, B, C y D, y separemos de momento uno de ellos, por
ejemplo, el objeto D. Efectuemos con los otros tres todos los cambios posibles de posicin.
Ya sabemos que para tres, el nmero de cambios posibles es 6. En cuntas formas
diferentes podemos disponer el cuarto objeto en cada una de las 6 posiciones que resultan
con tres objetos? Evidentemente, sern cuatro. Podemos:
1. colocar D detrs del tro,
2. colocar D delante del tro,
3. colocar D entre el 1 y de 2 objetos,
4. colocar D entre el 2 y 3.
Obtenemos en total: 6 x 4 = 24 posiciones, pero teniendo en cuenta que 6 = 2 x 3 y que
2 = 1 x 2, entonces podemos calcular el nmero de cambios posibles de posicin haciendo
la siguiente multiplicacin: 1 x 2 x 3 x 4 = 24.
Razonando de idntica manera, cuando haya 5 objetos, hallaremos que el nmero de
formas distintas de colocacin ser igual a: 1 x 2 x 3 x 4 x 5 = 120.
Para 6 objetos ser: 1 x 2 x 3 x 4 x 5 x 6 = 720 y as sucesivamente.
Volvamos de nuevo al caso antes citado de los 10 comensales. Sabremos el nmero de
posiciones que pueden adoptar las 10 personas alrededor de la mesa, si nos tomamos el
trabajo de calcular el producto siguiente:
1 x 2 x 3 x 4 x 5 x 6 x 7 x 8 x 9 x 10.
Resultar el nmero indicado anteriormente: 3.628.800.
11
El clculo sera ms complicado, si de los 10 comensales, 5 fueran muchachas y

desearan sentarse a la mesa alternando con los muchachos. A pesar de que el nmero
posible de combinaciones se reducira en este caso considerablemente, el clculo sera ms
complejo.
Supongamos que se sienta a la mesa, indiferentemente del sitio que elija, uno de los
jvenes. Los otros cuatro pueden sentarse, dejando vacas para las muchachas las sillas
intermedias, adoptando 1 x 2 x 3 x 4 = 24 formas diferentes. Como en total hay 10 sillas, el
primer joven puede ocupar 10 sitios distintos. Esto significa que el nmero total de
combinaciones posibles para los muchachos es de 10 x 24 = 240.
En cuntas formas diferentes pueden sentarse en las sillas vacas, situadas entre
los jvenes las 5 muchachas?
Evidentemente sern:
1 x 2 x 3 x 4 x 5 = 120.
Combinando cada una de las 240 posiciones de los muchachos, con cada una de las 120
que pueden adoptar las muchachas, obtendremos el nmero total de combinaciones
posibles, o sea, 240 x 120 = 28.800
Este nmero, como vemos, es muchas veces inferior al que hemos citado antes y se
necesitara un total de 79 aos. Los jvenes clientes del restaurante, que vivieran hasta la
edad de cien aos, podran asistir a una comida, servida gratis, sino por el propio camarero,
al menos por uno de sus descendientes.
12
2. SELECCIONES
Con frecuencia cada uno de los pasos en que se divide un proceso de recuento puede
interpretarse como una eleccin o seleccin de k objetos diferentes elegidos entre los
elementos de un conjunto de n objetos distintos.
Dado un conjunto o una agrupacin de n elementos puede ocurrir:
1. Que los elementos sean distintos; en este caso, a los grupos se les denomina
AGRUPACIONES SIMPLES.
2. Que los elementos sean iguales; en este caso, a los grupos se les denomina
AGRUPACIONES CON REPETICIN.
Considerando la naturaleza de los elementos (que sean iguales o distintos), las
agrupaciones recibirn el nombre de PERMUTACIONES, o COMBINACIONES
simples o con repeticin.
13
DEFINICIN DE FACTORIAL
Para un entero n 0, n factorial, expresado n!, se define por:
n! = (n)(n1)(n2)...321, para n 1
Y cual es el factorial de cero? Y el de 1?
El factorial de cero se define as: 0! = 1

El factorial de 1! = 1
Gran parte de los problemas de combinatoria pueden plantearse como una serie de
pasos, cada uno de los cuales consiste en elegir unos cuantos de entre ciertos elementos
dados.
Es conveniente remarcar que, al hacer dicha seleccin, hay ocasiones en las que
podremos repetir dos veces el mismo objeto (pensemos, por ejemplo, en que queremos
escribir una palabra de 4 letras, deberemos elegir cuatro de entre las 28 letras posibles, pero
obviamente podemos repetir dos veces la misma letra, como ocurre con la palabra
"CASA") y otras ocasiones en las que esto no ser posible (si quiero elegir tres amigos para
ir a cenar, no puedo escoger tres veces al mismo. As mismo y dependiendo de la situacin,
el orden en que escojo los elementos a veces es importante y a veces no. Por ejemplo, si
quiero escribir una palabra de 4 letras, el orden de las mismas influye (no es lo mismo
CASA que SACA), mientras que si quiero ir a cenar con tres amigos, da igual el orden en
que se los diga.
En general, siempre es ms fcil resolver problemas en los que el orden es importante.
Veamos a continuacin cmo se puede calcular el nmero de elecciones en cada caso.
2.1 PERMUTACIONES
CASO 1.- IMPORTA EL ORDEN Y NO PODEMOS REPETIR (PERMUTACIN
SIMPLE U ORDINARIA)
Si, elegimos un primer elemento, lo que podemos hacer de n formas. Quitamos el
elemento elegido y elegimos otro de entre los n-1 que quedan. Esto podr hacerse de n-1
formas. Quitamos tambin este elemento y nos quedamos con n-2, de entre los que
elegimos el tercero. Esto lo podremos hacer de n-2 formas...
Segn la regla del producto, las maneras de escoger k elementos de entre un total de n
segn un determinado orden, ser igual al producto de:
n(n-1)(n-2)...(n-k+1)
Esta expresin se conoce como Permutaciones de n tomadas de k en k, y se representa
por:
Pn,k.
14
Para llegar a una versin simplificada se opera as:

(n - k )(n - k 1) ... (3)(2)(1)
n!
Pn, k
n(n1)(n2)... (nk+1)
(n - k )(n - k 1) ... (3)(2)(1)
(n - k)!
Se llama permutacin simple de n elementos tomados de k en k (k < n) a los distintos
subconjuntos o grupos formados por k elementos de forma que:
Los k elementos que forman el grupo son distintos (no se repiten)
Dos grupos son distintos si se diferencian en algn elemento o en el orden en que estn
colocados (influye el orden).
Aqu no se utilizan todos los elementos.
Ejemplo 1: Cuntas banderas diferentes, de tres franjas horizontales de igual
ancho y de colores distintos, pueden confeccionarse a partir de siete colores
diferentes?
Solucin:
7!
P7,3 = = 210
4!
Ejemplo 2: P10,4 son las permutaciones de 10 elementos agrupndolos en
subgrupos de 4 elementos:
10!
10 * 9 * 8 * 7 * 6 * 5 * 4 * 3 * 2 *1
P10, 4
5,040
(10 4)!
6 * 5 * 4 * 3 * 2 *1
Es decir, podramos formar 5,040 subgrupos diferentes de 4 elementos, a partir de los
10 elementos.
Ejemplo3: Cuntos nmeros de tres cifras distintas se pueden formar con las
nueve cifras significativas del sistema decimal?
Al tratarse de nmeros el orden importa y adems nos dice "cifras distintas" luego no
pueden repetirse.
Por tanto, se pueden formar 504 nmeros:
P9,3 9 * 8 * 7 504
En el caso especial en que n = k, se llama permutaciones de n, y se representa:
Pn
n!
n!
n!
(n n)! 0!
Ejemplo 1: Una madre tiene 3 hijos de cuntas maneras distintas,

nombrndolos uno por uno, puede llamarlos a cenar?
Solucin: P 3 = 3! = 6
Se llaman permutaciones de n elementos a las diferentes agrupaciones de esos n
elementos de forma que:
En cada grupo intervienen los n elementos sin repetirse ninguno (intervienen todos los
elementos.
Dos grupos son diferentes si el orden de colocacin de alguno de esos n elementos es
distinto (influye el orden).
15
Ejemplo 1: Calcular las maneras posibles de colocar las letras a, b, c.

P = 3! = 6
abc
bac
cab
acb
bca
cba
Ejemplo 2: P10 son las permutaciones de 10 elementos:
Es decir, tendramos 3.628.800 formas diferentes de agrupar 10 elementos.

Ejemplo 3: Con las letras de la palabra DISCO cuantas palabras distintas se
pueden formar?
Evidentemente, al tratarse de palabras el orden importa. Y adems n = m, es decir
tenemos que formar palabras de cinco letras con cinco elementos D, I, S, C, O que no estn
repetidos.
Por tanto, se pueden formar 120 palabras:
CASO 2.- IMPORTA EL ORDEN Y PODEMOS REPETIR
Este caso es anlogo al Caso 1, sin ms modificacin que no quitar en cada paso los
elementos ya escogidos. Razonando igual se llega a que el nmero de posibles elecciones
es
nnn.....n = nk
Esta expresin se conoce como Permutaciones con repeticin y podemos decir que una
permutacin con repeticin de n elementos tomados de k en k, son los distintos grupos
formados por los k elementos de manera que:
Los elementos que forman los grupos pueden estar repetidos.
Dos grupos son distintos si se diferencian en algn elemento o en el orden en que stos
estn colocados (influye el orden)
PRn , k n k
Ejemplo 1: Cuntos nmeros de tres cifras pueden formarse a partir de los
dgitos 1 y 2?
Solucin: 2 3 = 8
Ejemplo 2: Cuantos nmeros de tres cifras se pueden formar con las nueve cifras
significativas del sistema decimal?
Al tratarse de nmeros el orden importa y adems no dice nada sobre "cifras distintas"
luego si pueden repetirse.
Por tanto, se pueden formar 729 nmeros
16
PR9,3 9 3 729
Ejemplo 3: Cuantas palabras distintas de 10 letras (con o sin sentido) se pueden

escribir utilizando slo las letras a, b?
Al tratarse de palabras el orden importa y adems como son palabras de 10 letras y slo
tenemos dos para formarlas, deben repetirse.
PR10, 2 210 1024
Por tanto, se pueden formar 1024 palabras.
Vamos a analizar ahora que ocurrira con el clculo de las combinaciones o de las
permutaciones en el supuesto de que al formar los subgrupos los elementos pudieran
repetirse.
2.2 PERMUTACIN CON REPETICIN
CASO 3.- IMPORTA EL ORDEN, PODEMOS REPETIR Y EXISTEN
ELEMENTOS REPETIDOS
Son permutaciones con repeticin de n elementos, no todos distintos, todas las
agrupaciones de n elementos, formadas por aquellos, dispuestos linealmente y sin que
ninguno falte.
El nmero de permutaciones con repeticin que pueden realizarse con n elementos,
donde existen 1, 2, 3, ... n elementos iguales entre s ( de una misma clase) y el resto
distintos entre s y distintos tambin a los anteriores ( Pn 1, 2, 3, ... n ), es:
Pn 1, 2, 3, ... n =
Observacin: Esto puede extenderse a permutaciones de n elementos, donde existen r
elementos de una clase, q elementos de otra clase, etc.
n!
Pn =
1 ! 2 ! ...
Ejemplo 1: Cuntos nmeros de 6 cifras se pueden formar con los dgitos 1 , 1 , 1 ,
2 , 2 y 3?
Solucin:
6!
= 60
3! 2!
Ejemplo 2: tenemos bolas de 6 colores diferentes y queremos formar subgrupos en
los que pudiera darse el caso de que 2, 3, 4 o todas las bolas del subgrupo tuvieran el
mismo color. En este caso no podramos utilizar las frmulas que vimos en la leccin
anterior. As que debemos utilizar la siguiente frmula:
Ejemplo 3: De cuntas maneras distintas pueden colocarse en lnea nueve bolas de las
que 4 son blancas, 3 amarillas y 2 azules?
17
El orden importa por ser de distinto color, pero hay bolas del mismo color (estn
repetidas) y adems n = m, es decir colocamos 9 bolas en lnea y tenemos 9 bolas
para colocar.
Por tanto, tenemos 1260 modos de colocarlas.
Ejemplo 4: Calcular las permutaciones de 10 elementos, en los que uno de ellos se
repite en 2 ocasiones y otro se repite en 3 ocasiones:
Es decir, tendramos 302,400 formas diferentes de agrupar estos 10 elementos.
2.3 COMBINACIONES
CASO 4.- EL ORDEN NO IMPORTA PERO NO SE PUEDEN REPETIR
ELEMENTOS.
Vamos a deducir la frmula basndonos en el Caso 1.
Tomamos las n(n-1)..... (n-k+1) posibilidades y las partimos en clases, de forma que
en cada clase estn aquellas elecciones que sean la misma salvo el orden.
Como he escogido k elementos, la forma de ordenarlos ser k! y, as, en cada clase
tendr exactamente k! casos.
Por tanto, el nmero de clases, es decir, el nmero de posibilidades de escoger k
elementos sin importar el orden y sin repetir ser
n(n 1) .... (n k 1)
n!
k!
k!(n k )!
Este nmero suele conocerse como las combinaciones de n elementos tomadas de k en k
y se denota por
n
n!
Cn,k =
k k!(n k )!
Se llama combinaciones de n elementos tomados de k en k (n k) a todas las clases
posibles que pueden hacerse con los n elementos de forma que:
Cada agrupacin est formada por n elementos distintos entre s
Dos agrupaciones distintas se diferencian al menos en un elemento, sin tener en cuenta
el orden.
Ejemplo 1: Un alumno decide rendir tres de los cinco exmenes finales De cuntas
maneras distintas puede elegir esas tres pruebas?
Solucin:
5!
C5,3 = = 10
3! 2!
Ejemplo 2: Cuantas combinaciones de 6 aciertos existen en la lotera primitiva?
18
Es decir, que tendramos que echar 13.983.816 apuestas de 6 nmeros para tener la
seguridad al 100% de que bamos a acertar.
Ejemplo: Cuantos grupos de 5 alumnos pueden formarse con los treinta alumnos de
una clase. (Un grupo es distinto de otro si se diferencia de otro por lo menos en un alumno)
No importa el orden (son grupos de alumnos). No puede haber dos alumnos iguales en
un grupo evidentemente, luego sin repeticin.
Por tanto, se pueden formar 142506 grupos distintos.
n
En general, calcular por la frmula anterior implica calcular varios factoriales, lo
k
que hace que no sea muy til en la prctica. Un mtodo alternativo viene dado por las
siguientes propiedades:
PROPOSICIN:
n n
1) 1
0 n
n n 1 n 1

2)
k k 1 k
CASO 5.- EL ORDEN NO IMPORTA Y SI SE PUEDE REPETIR

2.4 COMBINACIONES CON REPETICIN
Una combinacin con repeticin de tamao k es una seleccin no ordenada de k
objetos elegidos entre n tipos diferentes de objetos, habiendo una cantidad ilimitada de cada
tipo.
Una combinacin con repeticin puede describirse diciendo que elegimos x1 objetos de
tipo 1, x2 objetos de tipo 2,..., xn objetos de tipo n para alguna n-pla (x1,x2,...,xn). Cada uno
de los enteros x1,x2,...,xn es no negativo y x1 + x2 +...+ xn = k. As pues las combinaciones
con repeticin de tamao k se corresponden con las soluciones enteras no negativas de la
ecuacin x1 + x2 +...+ xn = k
El n de combinaciones de tamao k con repeticin ilimitada elegidas entre n tipos
diferentes de objetos es:

Cada combinacin con repeticin se representa por una palabra en el alfabeto {0,1} del
siguiente modo: Los 0s son las marcas que separan los objetos de cada tipo y los 1s
indican los objetos que hay de cada uno de los tipos entre dos marcas consecutivas. Si hay
n tipos de objetos se necesitan n - 1 marcas para separar los tipos y, por tanto, las palabras
de 0s y 1s tienen longitud n - 1 + k. As se convierte cada combinacin con repeticin de
19
tamao k en una combinacin de k objetos (las posiciones de los 1s) elegidos entre un
conjunto de n - 1 + k elementos (las posiciones).
SELECCIONES (de k elementos entre n)
ORDENADAS
SIN REPETICIN
n(n- 1) (n- 2).... (n- k+1)
CON REPETICIN
nk
NO ORDENADAS
Se llama combinaciones con repeticin de n elementos tomados de k en k, a los

distintos grupos formados por k elementos de manera que:
Los elementos que forman cada grupo pueden estar repetidos.
Dos agrupaciones distintas se diferencian al menos en un elemento, sin tener en cuenta
el orden.
Ejemplo 1: las combinaciones con repeticin de los elementos (a, b, c, d) tomados
de dos en dos son:
aa ab ac ad
bb bc bd
cc cd
dd
Ejemplo 2: en una bodega hay 12 botellas de ron, 12 de ginebra y 12 de ans. Un
cliente compr 8 botellas en total. Cuntas posibilidades hay?
CR8,3 = 120
Ejemplo 3: C'10,4 son las combinaciones de 10 elementos con repeticin,
agrupndolos en subgrupos de 4, en los que 2, 3 o los 4 elementos podran estar
repetidos:
Es decir, podramos formar 715 subgrupos diferentes de 4 elementos.

Ejemplo 4: En una confitera hay cinco tipos diferentes de pasteles. De cuntas
formas se pueden elegir cuatro pasteles)
No importa el orden (son pasteles). Puede haber dos o ms pasteles en un grupo, luego
con repeticin.
20
Por tanto, se pueden formar 142506 grupos distintos

PAUTAS PARA LA RESOLUCIN DE PROBLEMAS
Si en cada agrupacin figuran todos o algunos de los elementos disponibles,

importando su orden de colocacin, entonces se trata de un problema de
permutaciones.
Si en cada agrupacin figuran todos o algunos de los elementos disponibles, sin
importar el orden de colocacin de stos, entonces estamos ante un problema de
combinaciones.
21
Diagrama de rbol
Un diagrama de rbol es una herramienta que se utiliza
para determinar todos los posibles resultados de un experimento aleatorio. En el clculo de la probabilidad se
requiere conocer el nmero de objetos que forman parte
del espacio muestral, estos se pueden determinar con la
construccin de un diagrama de rbol.
El diagrama de rbol es una representacin grca de los
posibles resultados del experimento, el cual consta una
serie de pasos, donde cada uno de los pasos tiene un nmero nito de maneras de ser llevado a cabo. Se utiliza
en los problemas de conteo y probabilidad.
Para la construccin de un diagrama en rbol se partir
poniendo una rama para cada una de las posibilidades,
acompaada de su probabilidad. Cada una de estas ramas
se conoce como rama de primera generacin.
Probabilidad de encontrar una alumna de la primera faEn el nal de cada rama de primera generacin se consti- cultad?
tuye a su vez, un nudo del cual parten nuevas ramas conocidas como ramas de segunda generacin, segn las posibilidades del siguiente paso, salvo si el nudo representa
un posible nal del experimento (nudo nal).
Hay que tener en cuenta que la construccin de un rbol no depende de tener el mismo nmero de ramas de
segunda generacin que salen de cada rama de primera
generacin y que la suma de probabilidades de las ramas
de cada nudo ha de dar 1.
Existe un principio sencillo de los diagramas de rbol que
hace que stos sean mucho ms tiles para los clculos rpidos de probabilidad: multiplicamos las probabilidades P (alumna de la 1a f acultad) = 0, 5 0, 6 = 0, 3
si se trata de ramas adyacentes (contiguas), el ejemplo de
Probabilidad de encontrar un alumno varn?
alumna de la primera facultad, o bien las sumamos si se
trata de ramas separadas que emergen de un mismo punto, el ejemplo de encontrar un alumno.
Ejemplos
Una universidad est formada por tres facultades:

La 1 con el 50% de estudiantes.
P (alumno var
on) = 0, 5 0, 4 + 0, 25 0, 4 + 0, 25
0, 4 = 0, 4 pero tambin podra ser lo contrario.

Las mujeres estn repartidas uniformemente, siendo un
60% del total en cada facultad.
1
22
Recursin
Imagen recursiva formada por un tringulo. Cada tringulo est compuesto de otros ms pequeos, compuestos a su vez de la
misma estructura recursiva.
forma recurrente como n(n1)! ; como (n1)! es

menor que n! podemos aplicar induccin por lo que
disponemos del resultado. El caso base es 0! que es
1 .
Algoritmo de ordenacin por fusin: Sea v un vector
de n elementos, podemos separar el vector en dos
mitades. Estas dos mitades tienen tamao n/2 por
lo que por induccin podemos aplicar la ordenacin
en estos dos subproblemas. Una vez tenemos ambas
mitades ordenadas simplemente debemos fusionarlas. El caso base es ordenar un vector de cero o un
elemento, que est trivialmente ordenado y no hay
que hacer nada.
Anuncio de cacao con una imagen recursiva. La mujer muestra

un paquete idntico al del propio anuncio, conteniendo as a otra
mujer que muestra otro paquete ms pequeo, de forma recursiva.
Recurrencia, recursin o recursividad es la forma en

la cual se especica un proceso basado en su propia denicin. Siendo un poco ms precisos, y para evitar el
aparente crculo sin n en esta denicin:
En estos ejemplos podemos observar como un problema
Un problema que pueda ser denido en funcin de su ta- se divide en varias (una o ms) instancias del mismo promao, sea este N, pueda ser dividido en instancias ms blema, pero de tamao menor gracias a lo cual se puede
pequeas (< N) del mismo problema y se conozca la so- aplicar induccin, llegando a un punto donde se conoce
lucin explcita a las instancias ms simples, lo que se co- el resultado (el caso base).
noce como casos base, se puede aplicar induccin sobre Nota: aunque los trminos recursin y recursividad
las llamadas ms pequeas y suponer que estas quedan son ampliamente empleados en el campo de la informresueltas.
tica, el trmino correcto en castellano es recurrencia
[cita requerida]
. Sin embargo este ltimo trmino es algo ms

Para que se entienda mejor a continuacin se exponen
especco. Vase relacin de recurrencia.
algunos ejemplos:
Factorial: Se desea calcular n! (el factorial de n ,
que se dene como el producto de todos los enteros
positivos de 1 a n ). Se puede denir el problema de
1 Recursin en matemticas
1
23
2 RECURSIN EN INFORMTICA
1.1
x1
da lugar
Conjuntos denidos de forma recu- De forma similar, la identidad x = 1 + 1+
x
a una denicin como fraccin continua de cualquier raz
rrente
Un ejemplo de conjunto denido de forma recurrente es

el de los nmeros naturales, es decir, el conjunto de los
nmeros enteros no negativos:[1]
cuadrada:[3]
x=1+
x1
x1
2+
x1
2+
.
2 + ..
1. 0 pertenece a .
2. Si n pertenece a , entonces n + 1 pertenece a .
1.4 Resolucin de problemas
3. Si x verica las anteriores condiciones, entonces x

est incluido en [cita requerida] .
Resolucin de ecuaciones homogneas de primer grado,

segundo orden:
1.2
a) Se pasan al primer miembro los trminos an , an1

, an2 , los cuales tambin podran gurar como an+2 ,
Funciones denidas de forma recu- a
n+1 , an
rrente
b) Se reemplaza an por r2 , an1 por r y an2 por 1

Aquellas funciones cuyo dominio es un conjunto a lo ms , quedando una ecuacin de segundo grado con races
enumerable [2] pueden ser denidas de forma recurrente. reales y distintas r1 y r2 .
Un ejemplo conocido es la denicin recurrente de la fun- c) Se plantea a = u r1 n + v r2 n
cin factorial n!:
d) Debemos tener como dato los valores de los dos primeros trminos de la sucesin: A0 = k y A1 = k .
Utilizando estos datos ordenamos el sistema de 2x2:
{
si n = 0 1
n! =
{
si n 1 n (n 1)!
u+v =k
Veamos cmo se usa esta denicin para hallar el valor
u r1 + u r2 = k
del factorial de 3:
La resolucin de este sistema nos da como resultado los
valores u0 y v0 , que son nmeros reales conocidos.
3! = 3 (3 1)!
= 3 2!
e) La solucin general es:
= 3 2 (2 1)!
= 3 2 1!
an = u0 r1 n + v0 r2 n
= 3 2 1 (1 1)!
= 3 2 1 0!
=3211
2 Recursin en informtica
En programacin, un mtodo usual de simplicacin de

un problema complejo es la divisin de este en subproOtros ejemplos de funciones y sucesiones matemticas blemas del mismo tipo. Esta tcnica de programacin se
denidas de forma recursiva son:
conoce como divide y vencers y es el ncleo en el diseo de numerosos algoritmos de gran importancia, as
Sucesin de Fibonacci f(0)= 1, f(1) = 1; f(n) = como tambin es parte fundamental de la programacin
dinmica.
f(n1) + f(n2) para n 2.
=6
Nmeros de Catalan C(2n, n)/(n+1)

Funcin de Ackermann
El ejemplo del clculo recursivo del factorial de un nmero llevado al campo de la programacin, en este ejemplo
C++:
int factorial(int x) { if (x > 1 && x < 2) return 1; //

Cuando 1 < x < 2 devolvemos 1 puesto que 0! = 1 y 1!
1.3 Constantes
= 1 else if (x < 0) return 0; // Error no existe factorial de
nmeros negativos return x * factorial(x - 1); // Si x >= 2
La razn urea se puede denir como sigue: = 1+ 1 = devolvemos el producto de x por el factorial de x - 1 }
1 + 1+ 1 1
, como una fraccin continua en que todos
Este ejemplo est basado en el lenguaje de programacin
1+ 1
1+...
los nmeros son unos.
Pauscal:
24

Combinatoria (Olimpiada de Matematicas)
2.2.
13
El Triangulo
de Pascal
y el Teorema del Binomio.
Acomodemos en una tabla los valores de

los de k por columnas:
0
1
2
3
4
5
0

0
0
1
0
2
0
3
0
4
0
5

1
3
1
4
1
5
1

2
4
2
5
1
2

3
5
2
3

3
4
con los valores de
por filas y
4
5
La Identidad de Pascal nos dice que todo elemento del triangulo

es igual a los dos
que se encuentran directamente1 sobre ella. Esto quiere decir que si construimos
un arreglo triangular de numeros
(comenzando con 1 en la primera fila) de modo
encima de ella, los numeros

que toda entrada sea la suma de las dos que estan
que aparecen son precisamente los coeficientes binomiales. El arreglo que se
forma se conoce como Triangulo

de Pascal
1
1
10
10
El Triangulo
de Pascal encierra muchas relaciones numericas,
por ejemplo,
la suma de todos los numeros

en la n-esima
fila es 2n equivalente al Teorema
(2.3). Fijemonos
ahora en la suman de las diagonales. En la siguiente figura,
consideramos las diagonales cuarta (en verde), quinta (en rojo) y sexta (en azul)
contando desde cero. Sus sumas son respectivamente 1 + 3 + 1 = 5, 1 + 4 + 3 = 8
y 1 + 5 + 6 + 1 = 13.
1
1
10
10
15
20
15
1 Si el arreglo se hiciera en forma simetrica,
las entradas que estaran directamente sobre una dada

son las que al poner el arreglo en forma de tabla son las que quedan arriba y arriba a la izquierda.
Pedro Sanchez
drini@planetmath.org
25

14
Entonces tenemos que la suma de los elementos de la diagonal verde y la roja es

igual a la suma de los elementos de la diagonal azul. Esto sucede en general, si
dr denota la suma de los elementos en la r -esima

diagonal, entonces
dr+1 = dr + dr
1:
dado que d0 = 1 y d1 = 1. Los numeros

Ademas,
que se forman de esta manera
se conocen como Numeros

de Fibonacci. Decimos entonces que la suma de los
numeros
en la r-esima
diagonal del Triangulo
de Pascal es igual al r-esimo
numero
de Fibonacci. Posteriormente estudiaremos estos numeros

con mayor profundidad.
interesante es la propiedad hexagonal.

Otra relacion
1
1
10
10
15
20
15
Escojamos un numero
en el interior, por ejemplo el 10 = C (5; 3). Fijemonos
en el
hexagono
de numeros
que se forma a su alrededor con 6 = C (4; 2), 4 = C (4; 3),
10 = C (5; 2), 5 = C (5; 4), 20 = C (6; 3), 15 = C (6; 4). Si se multiplican vertices
alternados de este hexagono

(vertices
azules y vertices
rojos) se obtiene en ambos
casos la misma cantidad:
4

10
15 = 600 = 6

5
20:
es valida
Esta propiedad tambien

formando hexagonos
de este tipo en cualquier
parte del triangulo.

la relacion
mas
interesante en el Triangulo
Sin embargo, quizas

de Pascal se
relaciona con el Teorema del Binomio.
Consideremos el producto (a + b)5 . Al desarrollarlo, con que coeficiente
enseguida:
aparece a3 b2 ? Aquellos que conozcan el Teroema del Binomio diran
El coeficiente es C (5; 3). Pero porque sucede as? Uno podra decir: porque si
desarrollamos (a + b)5 = a5 + 5ab4 + 10a2 b3 + 10a3 b2 + 5ab4 + b5 vemos que
e
el coeficiente es 10. Pero esa respuesta en realidad no esta diciendo la razon
porque el coeficiente se calcula precisamente como C (5; 3).
vamos a diferenciar los factores:
Para analizar la situacion
(a + b)
= (a1 + b1 )(a2 + b2 )(a3 + b3 )(a4 + b4 )(a5 + b5 ):
Donde las ai y las bj son iguales entre s, pero que estamos considerando como
diferentes por ahora. Si efectuamos el producto de la derecha vemos que los
Pedro Sanchez
26

15
terminos
que cuentan como a3 b2 son:
a1 a2 a3 b4 b5 ;
a 1 b2 a 3 a 4 b5 ;
a1 a2 b3 a4 b5 ;
b1 a2 a3 a4 b5 ;
a1 a2 b3 b4 a5 ;
b1 a2 a3 b4 a5 ;
a1 b2 a3 a4 b5 ;
b1 a2 b3 a4 a5 ;
a1 b2 a3 b4 a5 ;
b1 b2 a3 a4 a5 :
larga de los cinco factores,

En otras palabras, si efectuamos la multiplicacion
los 10 terminos
listados arriba son los que quedan en la columna de a3 b2 . Una
manera de contar la lista consiste en fijarnos que siempre hay precisamente
cinco posiciones de las cuales dos son ocupadas por bs y tres por as. Entonces,
dependiendo si nos fijamos en las as o en las bs obtenemos que hay C (5; 3) o
C (5; 2) que en ambos casos es 10.
Analizando el proceso
Ejercicios y problemas.
2.1
Interprete combinatoriamente la siguiente afirmacion:

n
2
2.2
2.3
2.4
= 1 +2 +3+
+(
1)
2.2).
Demuestra la propiedad hexagonal del Triangulo
de Pascal (ver seccion
Demuestra que la suma de los elementos en la r -esima

diagonal del Triangulo
de Pascal
es precisamente el r -esimo
numero
de Fibonacci.
Demuestra que
Pedro Sanchez

k r
k
r
= r
k
1
1
27
Sucesin de Fibonacci
tienen una pareja en un mes, y que a partir del segundo
se empiezan a reproducir.[2]
Nota: al contar la cantidad de letras distintas en cada mes,
se puede saber la cantidad de parejas totales que hay hasta
ese mes.
De esta manera Fibonacci present la sucesin en su libro
Liber Abaci, publicado en 1202. Muchas propiedades de
la sucesin de Fibonacci fueron descubiertas por douard
Lucas, responsable de haberla denominado como se la conoce en la actualidad.[3]
Tambin Kepler describi los nmeros de Fibonacci, y
el matemtico escocs Robert Simson descubri en 1753
que la relacin entre dos nmeros de Fibonacci sucesivos
fn+1 /fn se acerca a la relacin urea ( ) cuanto n
tiende a innito; es ms: el cociente de dos trminos sucesivos de toda sucesin recurrente de orden dos tiende al
mismo lmite. Esta sucesin tuvo popularidad en el siglo
Grca de la sucesin de Fibonacci hasta f10
XX especialmente en el mbito musical, en el que compositores con tanto renombre como Bla Bartk, Olivier
En matemticas, la sucesin de Fibonacci (a veces mal Messiaen, la banda Tool y Delia Derbyshire la utilizaron
llamada serie de Fibonacci) es la siguiente sucesin in- para la creacin de acordes y de nuevas estructuras de
nita de nmeros naturales:
frases musicales.
2 Denicin recursiva
1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377 . . .
La sucesin comienza con los nmeros 1 y 1,[1] y a partir

Los nmeros de Fibonacci quedan denidos por la ecuade estos, cada trmino es la suma de los dos anteriores,
cin:
es la relacin de recurrencia que la dene.
A los elementos de esta sucesin se les llama nmeros
(3) fn = fn1 + fn2
de Fibonacci. Esta sucesin fue descrita en Europa por
Leonardo de Pisa, matemtico italiano del siglo XIII tambin conocido como Fibonacci. Tiene numerosas apli- partiendo de dos primeros valores predeterminados:
caciones en ciencias de la computacin, matemticas y
teora de juegos. Tambin aparece en conguraciones
biolgicas, como por ejemplo en las ramas de los rboles, f0 = 1
en la disposicin de las hojas en el tallo, en la ora de la
alcachofa, las inorescencias del brcol romanescu y en f1 = 1
el arreglo de un cono.
se obtienen los siguientes nmeros:
f2 = 2
Historia
f3 = 3
La sucesin fue descrita por Fibonacci como la solucin
a un problema de la cra de conejos: Cierto hombre tena una pareja de conejos en un lugar cerrado y deseaba
saber cuntos se podran reproducir en un ao a partir de
la pareja inicial teniendo en cuenta que de forma natural
f4 = 5
f5 = 8
f6 = 13
1
28
Tringulos
Untringulotienetresladosytresngulos
Lostresngulossiempresuman180
Equiltero, issceles y escaleno

Haytresnombresespecialesdetringulosqueindicancuntoslados(ongulos)soniguales.
Puedehaber3,2oningnlados/ngulosiguales:
Tringuloequiltero
Tresladosiguales
Tresngulosiguales,todos60
Tringuloissceles
Dosladosiguales
Dosngulosiguales
Tringuloescaleno
Nohayladosiguales
Nohayngulosiguales
Qu tipos de ngulos?
Lostringulostambintienennombresquetedicenlostiposdengulos
Tringuloacutngulo
Todoslosngulosmidenmenosde90
29
Tringulorectngulo
Tieneunngulorecto(90)
Tringuloobtusngulo
Tieneunngulomayorque90
Combinar los nombres

Aveceslostringulostienendosnombres,porejemplo:
Tringuloisscelesrectngulo
Tieneunngulorecto(90),ylosotrosdosngulosiguales
Adivinascuntomiden?
rea
rea=bh
Lafrmula(1/2)bhvaleparatodoslostringulos.Asegratedequela"h"lamides
perpendicularmenteala"b".
30
Imaginaque"doblas"eltringulo(voltendoloalolargodeunodelosladosdearriba)paratener
unafiguradecuatrolados(queserenrealidadun"paralelogramo"),entonceselreaserabh.
Peroesosondostringulos,asqueunosoloes(1/2)bh.
31
APNDICE
Resultados aplicables a la resolucin de los problemas
1-
ngulos opuestos por el vrtice son iguales.
Los ngulos opuestos por el vrtice son iguales.
2-
ngulos entre rectas paralelas cortadas por una recta transversal.

i) ngulos alternos internos
Los ngulos alternos internos son iguales.
Notas de Geometra 1
ii) ngulos alternos externos

Los ngulos alternos externos son iguales.
iii) ngulos correspondientes

Los ngulos correspondientes son iguales.
Dibuje los ngulos correspondientes a la derecha de
la transversal y deduzca que son iguales.
10
32
iv) Cunto mide la suma de los ngulos marcados?

Los ngulos marcados se llaman conjugados externos. Dibuje los conjugados internos y deduzca que
la suma pedida es la misma (180).
3- Suma de los ngulos interiores de un tringulo.

+ + = 180
La suma de los ngulos interiores de un tringulo es 180.

Dado el cuadriltero ABCD, calcular la suma de los ngulos + + + .
4-
ngulos exteriores de un tringulo.
Notas de Geometra 1
a) b)
11
Cunto vale la suma de los ngulos exteriores correspondientes a cada uno de los vrtices, considerados en uno de
los sentidos expuestos? Figuras a) b)
Observemos en primer lugar cunto vale un ngulo exterior con relacin a los ngulos interiores del
tringulo.
z + = 180 = a + +
Luego z = a + y anlogamente e = a + y d = + . En consecuencia, un ngulo exterior es la suma
de los ngulos interiores no adyacentes. Ahora podemos calcular la suma pedida
d + e + z = 2a + 2 + 2 = 2.180 = 360

5- Conocemos un tringulo si conocemos los 3 lados

y los 3 ngulos, es decir con 6 datos. Sin embargo, estos 6 datos pueden obtenerse a partir de una
menor cantidad de datos. Surgen as los Principios
de igualdad de tringulos.
33
i) Principio LLL
Dos tringulos que tienen los tres lados iguales son iguales.
ii) Principio LAL
Dos tringulos que tienen dos lados iguales y el ngulo comprendido igual, son iguales.
iii) Principio ALA
Dos tringulos que tienen un lado igual y los dos ngulos adyacentes iguales, son iguales.
Notas de Geometra 1
iv) Es cierto que son iguales dos tringulos que tengan 2 lados iguales e igual el ngulo opuesto a uno
de ellos?
Puede enunciar un principio?
Es cierto que son iguales dos tringulos que tienen 2 lados iguales e igual un ngulo no comprendido
entre ellos?
6- Teorema de Thales
Dadas las rectas AB y AB que se cortan en un punto O, si las rectas AAy BBson paralelas, entonces

OA OA'
=
OB OB'
Recprocamente, si las rectas AB y ABque se cortan en O satisfacen
OA OA'
=
OB OB'
entonces AAy BBson paralelas.
Como consecuencia del teorema de Thales se tiene, con las mismas hiptesis:
12
OA OA
=
AB A B
34
APNDICE
Resultados aplicables a la resolucin de los problemas
Teorema de Pitgoras
En todo tringulo rectngulo, el cuadrado de la hipotenusa es igual a la suma de los
cuadrados de los catetos.
Tambin se cumple la afirmacin recproca:
Si en un tringulo, el cuadrado de uno de sus lados es igual a la suma de los cuadrados de
los lados restantes, el tringulo es rectngulo.
a2=b2+c2
Como consecuencia del teorema de Pitgoras, tenemos las propiedades siguientes:

Entre los segmentos con uno de sus extremos sobre un punto fijo P y el otro
sobre una recta l, a la cual P no pertenece, el ms corto es aquel que resulta
perpendicular a l. La longitud de este segmento se conoce como la distancia
entre el punto P y la recta l.
Notas de Geometra 2
La longitud de la altura sobre un lado de un tringulo (o su prolongacin),

es menor o igual que las longitudes de los otros lados.
El teorema de Pitgoras permite calcular la longitud de la diagonal de

un rectngulo a partir de las longitudes de sus lados.
Lugares geomtricos
En geometra es habitual usar la expresin lugar geomtrico, para hacer referencia al conjunto de todos los
puntos del plano o del espacio que satisfacen ciertas propiedades enunciadas.
A continuacin damos algunos ejemplos de lugares geomtricos.
Circunferencia: Es el conjunto de puntos del plano que guardan una misma distancia r
con un punto dado P. El punto P se llama el centro de la circunferencia y la distancia r, se
llama el radio de la circunferencia.
Adems del centro y el radio, destacamos a continuacin otros elementos asociados con una circunferencia.
Es usual usar tambin el trmino radio en el sentido siguiente:

Un radio en una circunferencia es un segmento que une su centro con un
punto de la circunferencia.
10
35
Cuerda y dimetro: Una cuerda de una circunferencia es un segmento cuyos extremos se encuentran sobre la circunferencia. Un dimetro en una circunferencia es
una cuerda que pasa por el centro de la circunferencia.
La interseccin entre una recta y una circunferencia, tiene a lo sumo dos
puntos. Si hay dos puntos en la interseccin, la recta se llama secante a la
circunferencia, en cambio, si hay slo un punto, la recta se llama tangente
a la circunferencia.

Recta tangente
Recta secante
Nota: Si un punto P se encuentra en el arco AB como muestra la figura,

entonces el ngulo APB es la mitad del ngulo central AOB:
El centro O de la circunferencia, permite descomponer el tringulo APB en tres tringulos issceles. Teniendo en cuenta que en todo tringulo, un ngulo exterior es igual a la suma de los interiores no adyacentes,
los datos consignados en la figura quedan justificados y en consecuencia la validez del enunciado.
Corresponde aclarar que otras situaciones
pueden darse segn la posicin del punto P
respecto de la cuerda AB y el centro O.
En la segunda figura se observa que si la
cuerda es un dimetro, el ngulo en el vrtice
P es de 90, ya que 2+2 es llano.
En conclusin, dada una cuerda, cada punto P de uno de los arcos, determina
el mismo ngulo al unirse con A y B, cuyo valor es la mitad del ngulo central
que cubre el arco complementario. Como los ngulos centrales suman 360,
dos ngulos en arcos complementarios sumarn 180.
Notas de Geometra 2
Arco de Circunferencia: Es un trozo de

circunferencia limitado por dos puntos sobre una circunferencia dada.
11
36
Arco capaz: Dado un segmento AB y un ngulo , se llama arco capaz asociado al segmento AB y al ngulo , al conjunto de puntos P del plano tales que el ngulo APB sea
igual a .
La siguiente figura ilustra un arco capaz para un ngulo mayor que cero,
como la unin de dos arcos de circunferencias de igual radio, excluidos los
extremos A y B.
La construccin con regla y comps de un arco capaz se dar ms

adelante. Para justificar que no hay un punto P en el lugar geomtrico
que no est en la unin de estos arcos, consideremos primero que P es
exterior a la regin limitada por los arcos. Uno de los segmentos PB o
PA cortan a uno de los arcos en un punto C. Suponiendo que sea PB,
se tendra la situacin dada por la figura:
De modo que el ngulo ACB es exterior al tringulo APC y es la suma de los interiores no adyacentes, entonces debe ser el ngulo CAP = 0 y consecuentemente, P = C.
Si P se encontrara en el interior de la regin, dejamos a cargo del lector dar una demostracin.
Un caso especial ocurre cuando el ngulo es cero, el lugar geomtrico se reduce a la recta que contiene
al segmento AB.
Notas de Geometra 2
Mediatriz: Es el conjunto de puntos del plano que equidistan de dos puntos dados
La mediatriz entre los puntos A y B, es precisamente la recta perpendicular al segmento AB que pasa por
el punto medio de este segmento.
Tambin se hace referencia a la mediatriz de un
segmento como a la mediatriz de los extremos
del segmento.
Un hecho destacado, en relacin con este lugar

geomtrico, es el siguiente: Las mediatrices de los
lados de un tringulo son concurrentes.
Esto es as, porque el punto de interseccin de dos de estas mediatrices, resulta equidistante de los tres
vrtices del tringulo.
12
37
De esto surge que:

Todo tringulo puede ser inscripto en una circunferencia, llamada circunferencia
circunscripta al tringulo.
Es oportuno observar que esta circunferencia es nica, ya que su centro
ser necesariamente el punto de interseccin de las mediatrices de los lados
del tringulo y el radio, la distancia desde este punto a cualquiera de los
vrtices.
En general, para poder inscribir un polgono en una circunferencia es necesario que las mediatrices de sus
lados sean concurrentes, pero esto no siempre ocurre. Veamos un par de ejemplos con cuadrilteros:
Las mediatrices son concurrentes
Las mediatrices no son concurrentes
El punto comn en las mediatrices, es el centro

de la circunferencia circunscripta al cuadriltero.
En este caso, las intersecciones de las mediatrices determinan seis puntos.
En la figura, P es un punto en la bisectriz de un ngulo QOR, es

decir P est a una misma distancia d de los lados del ngulo. De
esto se concluye que los tringulos OQP y OPR son iguales, debido al principio:
Dos tringulos con un par de lados iguales y el ngulo opuesto al mayor de
ellos, son iguales.
Es decir, tambin resultan iguales los ngulos QOP y PQR.
Comentario: El principio enunciado, se propuso en la nota 1 para anlisis a cargo del lector.
Tal como ocurre con las mediatrices, las bisectrices de

los ngulos de un tringulo son concurrentes. Es decir, el
punto de interseccin de dos de ellas se encuentra necesariamente en la bisectriz restante.
Notas de Geometra 2
Bisectriz: Es el conjunto de puntos que equidistan de los lados de un ngulo dado. Este consiste en los puntos de la semirecta que secciona al ngulo
en dos ngulos iguales.
Este punto equidista de los tres lados del tringulo
13
38
Es oportuno destacar en este caso, que los lados del tringulo

son tangentes a la circunferencia con centro en el punto comn a
las bisectrices que tiene por radio a la distancia de este punto a
los lados del tringulo.
Esta circunferencia se llama circunferencia inscripta al tringulo.
No siempre es posible inscribir una circunferencia en un polgono, es decir construir una circunferencia
que sea tangente a los lados de un polgono dado. Para poder hacerlo, es necesario que las bisectrices de
los ngulos interiores del polgono sean concurrentes. Los ejemplos siguientes ilustran las situaciones con
cuadrilteros.

Bisectrices concurrentes
Bisectrices no concurrentes
Notas de Geometra 2
Una propiedad de la bisectriz de un ngulo de un tringulo.

La bisectriz del ngulo con vrtice A, en el tringulo ABC,
divide al lado BC en segmentos proporcionales a los lados b y
c. De modo ms preciso con los datos de la figura:
se verifica:
CE b
=
EB c
Esta igualdad se obtiene de establecer la relacin entre las reas de los
tringulos AEC y ABE, de dos maneras distintas. Dejamos esta comprobacin como tarea para el lector y un
par de figuras que pueden servir de
orientacin.
Semejanza
Dos tringulos son semejantes si tienen los mismos ngulos.
Por ejemplo, mostramos dos tringulos cuyos ngulos son de
30, 60 y 90
14
Se observa que el segundo de los tringulos se obtiene del primero mediante una ampliacin de esta figura, o tambin, que el
primer tringulo es una reduccin de la figura del segundo.
39
Propiedades de los lados de tringulos semejantes

Consideremos A,B,C y A,B,C dos tringulos semejantes tales
que los ngulos en los vrtices A,B,C son respectivamente iguales
a los ngulos en los vrtices A,B,C.
Si a,b,c y a,b,c son los respectivos lados de dos tringulos semejantes, entonces se verifica:
b
c
a
= =
a' b' c '
En efecto, inscribiendo ambos tringulos sobre el ngulo en el
vrtice B, como indica la figura:
los lados b y b son paralelos. Usando el Teorema de Thales resulta:

a
c
=
a c
resulta:
b
c
=
b c
La afirmacin en la direccin contraria, tambin es vlida,
es decir; si a, b, c y a, b, c son los respectivos lados de dos
tringulos que verifican:
a
b
c
= =
a b c
entonces, los tringulos son semejantes. En efecto, sobre
el tringulo de lados a,b,c dibujamos un tringulos de lados
CE=a y CD=b como se muestra en la figura:
Nuevamente, por el teorema de Thales, los segmentos DE y

AB deben ser paralelos, puesto que:
a
b
=
a b
En consecuencia los tringulos en la figura son semejantes
y se cumple:
c
a
b
c
= = =
c a b DE
Es decir, resulta c=DE.
Notas de Geometra 2
Anlogamente, inscribiendo los tringulos sobre el ngulo en el vrtice A:
15
40
Observacin: Los pares de lados a,a, b,b y c,c en la situacin

anterior de dos tringulos semejantes, se llaman lados homlogos.
La relacin entre los lados homlogos de dos tringulos semejantes, tambin se conserva entre otros segmentos homlogos
tales como las alturas, las medianas, etc.
En la figura precedente, m y m son medianas homlogas y h y
h son alturas homlogas en tringulos semejantes, entonces:
a
b
c
m
h
= = = =
a b c m h
Se puede poner en correspondencia cada segmento
en un tringulo con un segmento homlogo en otro
tringulo semejante como se indica a continuacin.
Dibujamos ambos tringulos de modo que los lados
homlogos queden paralelos y unimos con rectas los
pares de vrtices homlogos, las que concurren en
un punto P.
A cualquier segmento s con vrtices en los lados de
ABC, le corresponde un segmento homlogo s en
ABC. Este segmento se obtienen como los puntos de interseccin de las rectas que partiendo desde P
pasan por los extremos de s, con los lados en ABC que son homlogos a lados de ABC que contienen los
extremos de s. Usando el Teorema de Thales, se podr establecer que:
a
b
c
s
= = =
a b c s
Construcciones con regla y comps
Notas de Geometra 2
Dejamos a cargo del lector, verificar que las construcciones propuestas en cada caso son correctas.
16
Mediatriz: Es suficiente marcar dos puntos en la mediatriz. En la figura, la mediatriz entre los puntos A y B,
queda determinada por los puntos P y Q ubicados en la
interseccin de las circunferencias: una concentro A que
pasa por B y la otra con centro B que pasa por A.
Bisectriz: Dibujando una circunferencia con centro en el vrtice

del ngulo, se determinan los puntos A y B sobre las semirrectas que limitan el ngulo. La bisectriz es la mediatriz de los
puntos A y B.
Recta Perpendicular: Dados la recta m y el punto P, vemos

cmo trazar la recta l tal que sea perpendicular a m y que pase
por el punto P.
Se traza una circunferencia con centro en P que corte a m en
los puntos A y B. La mediatriz entre A y B es la recta buscada.
41
Rectasypuntosnotablesdeuntringulo
Rectas y puntos notables de un
tringulo. Un tringulo, en geometra, es
un polgono determinado por tres rectas
quesecortandosadosentrespuntos(que
Rectasypuntosnotablesde
untringulo
noseencuentranalineados).Lospuntosde
interseccindelasrectassonlosvrticesy
los segmentos de recta determinados son
losladosdeltringulo.Dosladoscontiguos
forman uno de los ngulos interiores del
tringulo. En los tringulos se puede
denotar un grupo de rectas y puntos muy
importantes. Entre las rectas notables ms Campoalquepertenece
Matemtica
conocidas de un tringulo se pueden
nombrarlasmediatrices,lasmedianas,lasalturasylasbisectricescadaunadeestasrectas
notables determina cierto punto notable: circuncentro, baricentro, ortocentro e incentro,
respectivamente.
Mediatriz
Mediatriz: Conjunto de puntos del plano que equidistan de los puntos
extremos de un segmento. Como consecuencia la mediatriz biseca
Contenido
perpendicularmentealsegmento.Enuntringulo,lastresmediatricesde
sus lados concurren en un punto que equidista de los vrtices del [mostrar]
tringulo. El punto en el que se cortan las mediatrices de un tringulo, se conoce
comocircuncentro,osea,elcentrodelacircunferenciacircunscritaaltringulodereferencia.Al
radiodelacircunferenciacircunscritaselesuelellamarcircunradioyesladistanciadesdeel
circuncentro a los vrtices del tringulo. Obviando el rigor de la definicin de crculo, a la
circunferenciacircunscritaselellamatambincircuncrculo(paraabreviar).
mediatrz
42
En el tringulo ABC las mediatrices MAC, MBC y MAB se intersecan en el punto C que
costituye el circucentro del tringulo o centro de la circunferencia circunscrita al tringulo
ABC.
Mediatricesdeuntringulo
rectngulo
Mediatricesdeuntringuloobtusngulo
En el caso de los tringulos obtusngulos, el circuncentro es un punto ubicado fuera
deltringulo.
Mediatricesdeuntringulo
obtusngulo
Meditricesdeuntringulorectngulo
Enelcasodelostringulosrectngulos,elcircuncentroeselpuntomediodelahipotenusa
Mediana
43
Mediana:
Lamedianaeselsegmentoderectaquesetrazadesdeunvrticedeuntringuloalpunto
mediodesuladoopuesto.
Lastresmedianasdeuntringuloconcurrenenunpunto.
Elpuntodondesecortanlamedianasdeuntringuloseconocecomobaricentro,centroide
ocentrodegravedadytieneunapropiedadfsicamuyimportante:Sicolocamosunejea
travsdelydejamoslibreeltringulo,estenosemueveporaccindelaaceleracinde
lagravedad,esporelloqueelbaricentrosellamacentrodegravedaddeltringulo.
Lasmedianassecortansiempreenunpuntointerioraltringulo.
Elbaricentrodivideacadamedianaenlarazn2:1.Estoes,lalongituddelsegmentode
medianamedidadesdeelvrticealbaricentroeseldoblequedesdeelbaricentroalpunto
mediodelladoencuestin.
Cadamedianadeuntringulo,lodivideendostringulosdeigualrea.
Mediana
LasAlturas
Se llama altura de un tringulo al segmento de perpendicular trazada por un vrtice del
tringuloycomprendidoentreesevrticeysuladoopuesto.
Lasalturasdeuntringuloconcurrenenunpuntodenominadoortocentrodeltringulo.
Elortocentrodeuntringuloacutnguloesunpuntointeriordeltringulo.
44
Elortocentroenuntrianguloobtusngulo
Enelcasodeuntringuloobtusngulo,elortocentroesunpuntoexterioraltringulo.
Archivo:Ortocentroobtusangulo.JPG
En el caso del tringulo rectngulo vemos que el ortocentro coincide con el vrtice del
ngulorecto.
Lospiesdelasalturasdeuntringulodeterminanuntringulollamado:tringulopedalu
rticodeltringulodado.
Lasbisectrices
Bisectrizdeunngulo:Eselconjuntodepuntosdelplanodondeestcontenidoelngulo
que equidista de los lados del ngulo. Como consecuencia la bisectriz de un ngulo lo
divideendosngulosdeigualamplitud.
Todo ngulo tiene dos bisectrices, una interna y otra externa. Las bisectrices interna y
externadeunngulosonperpendicularesentres.
Las bisectrices de los ngulos interiores de un tringulo concurren en un punto que
equdista de los lados del tringulo, llamado incentro del tringulo o centro de
lacircunferenciainscritaeneltringuloysiempreesinterioraltringulo.Laequidistanciase
llamainradiooradiodelacircunferenciainscritaeneltringulo.
Cada bisectriz interna y las bisectrices de los otros dos ngulos externos del tringulo
concurrenenotrostrespuntosquetambinequidistandeloslados(osusprolongaciones)
del tringulo. Estos puntos se llaman exincentros del tringulo y las circunferencias que
determinan: circunferencias exinscritas del tringulo. Algunos autores las llaman
circunferenciasexcritasoexcrculosyasuscentrosexcentros.
45
46
ngulos en la circunferencia
ngulo central
El ngul o c e ntr a l ti e ne s u v r ti c e e n e l c e ntr o de l a
c i r c unf e r e nc i a y s us l a do s s o n do s r a di o s .
La m e di da de un a r c o e s l a de s u ngul o c e ntr a l
c o r r e s po ndi e nte .
ngulo inscrito
El ngul o i ns c r i to ti e ne s u v r ti c e e s t e n l a c i r c unf e r e nc i a y
s us l a do s s o n s e c a nte s a e l l a .
Mi de l a m i ta d de l a r c o que a ba r c a .
ngulo semi-inscrito
El v r ti c e de ngul o s e m i i ns c r i to e s t e n l a c i r c unf e r e nc i a ,
un l a do s e c a nte y e l o tr o ta nge nte a e l l a .
Mi de l a m i ta d de l a r c o que a ba r c a .
ngulo interior
S u v r ti c e e s i nte r i o r a l a c i r c unf e r e nc i a y s us l a do s s e c a nte s a e l l a .
47
Mi de l a m i ta d de l a s um a de l a s m e di da s de l o s a r c o s que
a ba r c a n s us l a do s y l a s pr o l o nga c i o ne s de s us l a do s .
ngulo exterior
S u v r ti c e e s un punto e x te r i o r a l a c i r c unf e r e nc i a y l o s l a do s de s us
ngul o s s o n: o s e c a nte s a e l l a , o uno ta nge nte y o tr o s e c a nte , o
ta nge nte s a e l l a :
S u v r ti c e e s un punto e x te r i o r a l a c i r c unf e r e nc i a y l o s l a do s de s us
ngul o s s o n: o s e c a nte s a e l l a , o uno ta nge nte y o tr o s e c a nte , o
ta nge nte s a e l l a :
48
49
Powered by TCPDF (www.tcpdf.org)
50
51
52
Simetra
La simetra tambin se encuentra en organismos vivos.
1 Simetra en geometra
Grca de dos hiprbolas y sus asntotas en el plano cartesiano.

El Hombre de Vitruvio, de Leonardo da Vinci (ca. 1487), es una
representacin muy citada de la simetra del cuerpo humano, y
por extensin del mundo.
La simetra (del griego con y medida) es

un rasgo caracterstico de formas geomtricas, sistemas,
ecuaciones y otros objetos materiales, o entidades abstractas, relacionada con su invariancia bajo ciertas transformaciones, movimientos o intercambios.
En condiciones formales, un objeto es simtrico en lo que

concierne a una operacin matemtica dada si el resultado de aplicar esa operacin o transformacin al objeto,
el resultado es un objeto indistinguible en su aspecto del
objeto original. Dos objetos son simtricos uno al otro en
lo que concierne a un grupo dado de operaciones si uno
es obtenido de otro por algunas operaciones (y viceversa). En la geometra 2D las clases principales de simetra de inters son las que conciernen a las isometras de
un espacio eucldeo: traslaciones, rotaciones, reexiones y
reexiones que se deslizan. Adems de simetras geomtricas existen simetras abstractas relacionadas con operaciones abstractas como la permutacin de partes de un
objeto.
432
Grupo de simetra de la esfera.
Cuando hablamos de objetos fsicos o elementos geomtricos el concepto de simetra est asociado a transformaciones geomtricas tales como las rotaciones, las reexiones o las traslaciones. Dos simetras sencillas son
1
53
3 SIMETRA EN FSICA
la simetra axial y la simetra central. As se dice que un

objeto presenta:
2 Simetra en dibujo
En dibujo existen cinco simetras importantes que son si Simetra esfrica si existe simetra bajo algn gru- metra de traslacin, rotacin, ampliacin, bilateral, abapo de rotaciones, matemticamente equivale a que timiento.
el grupo de simetra de un objeto fsico o entidad
matemtica sea SO(3).
Simetra de traslacin o invariancia traslacional, es la repeticin de una forma a lo largo de una
Simetra cilndrica o simetra axial si existe un eje
lnea en cualquier posicin, vertical, horizontal, diatal que los giros alrededor de l no conducen a camgonal o curva, que se desplaza a cualquier distancia
bios de posicin en el espacio, matemticamente esconstante sobre el eje.
t asociado a un grupo de isometra SO(2).
Simetra de rotacin giro de un motivo que se re Simetra reectiva o simetra especular que se capite cierto nmero de veces hasta ser idntico al iniracteriza por la existencia de un nico plano, matecio, tiene determinado orden en la rotacin (15, 30,
mticamente est asociado al grupo SO(1) o su re45, 60, 90, hasta 360). La forma gira en torno a
presentacin equivalente Z2 . En dos dimensiones
un centro que puede estar dentro de la misma.
tiene un eje de simetra y en tres dimensiones tiene
Simetra de ampliacin, las partes de el son semeun plano. El eje de simetra de una gura bidimenjantes, pues tienen la misma forma pero no el mismo
sional es una lnea, si se construye una perpendicutamao, ya que se extiende del centro hacia afuera
lar, cualquier punto que reposee en esta perpendipara ser cada vez mayor.
cular a la misma distancia del eje de simetra son
idnticos. Otra manera de verlo es que si la forma se
Simetra de abatimiento El eje de giro nos muesdoblara por la mitad sobre el eje, las dos mitades setra dos partes idnticas con un giro de 180 una en
ran iguales. Por ejemplo, un cuadrado tiene cuatro
relacin a la otra.
ejes de simetra, ya que hay cuatro formas diferentes de doblarlo haciendo que sus bordes coincidan.
Simetra bilateral Un retrato bilateral, esta comUn crculo tendra innitos ejes de simetra por la
puesto por formas iguales a igual distancia a ambos
misma razn.
lados de un eje. Todo eso dentro de un eje de simetra.
Simetra traslacional se da cuando la transformacin Ta (p) = p + a deja invariable a un objeto
bajo un grupo de traslaciones discretas o continuas.
El grupo es discreto si la invariancia slo se da para 3 Simetra en fsica
un nmero numerable de valores de a y continuo si
la invariancia se presenta para un conjunto innito En fsica el concepto de simetra puede formularse en una
forma no geomtrica. Si K es un conjunto de objetos mano numerable de valores de a en caso contrario.
temticos del mismo tipo (funciones, formas geomtriAlgunos tipos de simetra que combinan dos o ms de los cas, ecuaciones, ...) que representan algunas propiedades
de un sistema fsico y G es un grupo de transformaciones
anteriores tipos son:
que acta sobre K de tal manera que:
Simetra antitraslacional que implica una reeg( G) : K K
xin en una lnea o plano combinado con una traslacin a lo largo de ese mismo eje. El grupo de simeSe dice que un elemento de k0 presenta simetra si:[1]
tra es isomorfo a Z2 Rn .
g G : g(k0 ) = k0
Simetra de rotorreexin o simetra de rotacin
impropia, implica rotacin al rededor de un eje combinado con reexin en un eje perpendicular al de As por ejemplo varias leyes de conservacin de la fsirotacin.
ca son consecuencia de la existencia de simetras abstractas del lagrangiano, tal como muestra el teorema de
Simetra helicoidal implica un movimiento de ro- Noether. En ese caso K representara el conjunto de latacin en torno a un eje dado con un movimiento de grangianos admisibles, k el lagrangiano del sistema ba0
traslacin a lo largo de ese mismo eje. Puede ser de jo estudio y G puede representar traslaciones espaciales
tres clases:
(conservacin del momento lineal), traslaciones temporales (conservacin de la energa), rotaciones (conservacin
1. Simetra helicoidal innita
del momento angular) u otro tipo de simetras abstractas
2. Simetra helicoidal de n-ejes
(conservacin de la carga elctrica, el nmero leptnico,
3. Simetra helicoidal que no se repite
la paridad, etc.)
54
Demostracin matemtica
1 Etimologa e historia
La palabra prueba viene del latn probare, que signica probar. Palabras modernas relacionadas son las palabras espaolas probar (degustar, oler o ensayar),
probidad, probo (o proba) y probabilidad,[4] la
palabra alemana probieren (intentar), la italiana probare (intentar) y las palabras inglesas probe y probation.
El uso temprano del trmino ingls probity (probidad)
signicaba presentacin de evidencia legal. Una persona
de autoridad que en general era cualquier persona con
Uno de los fragmentos sobrevivientes ms antiguos de Elemen- mucho dinero se deca que era una persona proba, y
tos de Euclides, un libro de texto utilizado durante miles de aos su evidencia pesaba ms que cualquier otro testimonio o
para ensear tcnicas de demostracin de escritura. El diagrama demostracin emprica.[5]
[1]
acompaa el Libro II, Proposicin 5.1.
Los argumentos de plausibilidad que usaban recursos

heursticos tales como imgenes y analogas precedieron
a la demostracin matemtica estricta.[6] Es probable que
la idea de demostrar una conclusin se mostrara primero
en conexin con la geometra, la cual originalmente signicaba medida de la tierra o agrimensura.[7] El desarrollo de la demostracin matemtica es el producto primario de la matemtica Griega antigua, y uno de sus ms
grandes logros. Tales de Mileto (624-546 a. C.) demostr
algunos teoremas en geometra. Eudoxo (408-355 a. C.)
y Teeteto (417-369 a. C.) formularon teoremas pero no
los demostraron. Aristteles (384-322 a. C.) dijo que las
deniciones deban describir el concepto a denir en trminos de otros conceptos ya conocidos. Las demostraciones en matemticas fueron revolucionadas por Euclides
(300 a. C.), quien introdujo el mtodo axiomtico que aun
se usa en la actualidad, empezando con trminos indenidos y axiomas (proposiciones concernientes a los trminos indenidos asumidas como evidentemente ciertas,
vienen del griego axios, que signica valioso), y usaba
estos para probar teoremas usando lgica deductiva. Su
libro, los elementos, fue ledo por cualquiera que se considerara educado en el occidente hasta mediados del siglo
XX.[8] En adicin a los teoremas familiares en geometra,
tales como el teorema de Pitgoras, los elementos incluyen una demostracin de que la raz cuadrada de dos es
irracional y de que hay innitos nmeros primos.
En matemticas, una demostracin matemtica o

prueba es un argumento deductivo para una armacin
matemtica. En la argumentacin se pueden usar
otras armaciones previamente establecidas, tales como
teoremas. En principio una demostracin se puede rastrear hasta armaciones generalmente aceptadas, conocidas como axiomas. [2][3] Las demostraciones son ejemplos de razonamiento deductivo y se distinguen de argumentos inductivos o empricos; una demostracin debe
demostrar que una armacin es siempre verdadera (ocasionalmente al listar todos los casos posibles y mostrar
que es vlida en cada uno), ms que enumerar muchos
casos conrmatorios. Una armacin no probada que se
cree verdadera se conoce como conjetura.
Las demostraciones emplean lgica pero normalmente
incluyen una buena parte de lenguaje natural, el cual
usualmente admite alguna ambigedad. De hecho, la gran
mayora de las demostraciones en las matemticas escritas puede ser considerada como aplicaciones de lgica informal rigurosa. Las demostraciones puramente formales, escritas en lenguaje simblico en lugar de lenguaje
natural, se consideran en teora de la demostracin. La
distincin entre demostraciones formales e informales ha
llevado a examinar la lgica matemtica histrica y actual, el cuasi-empirismo matemtico y el formalismo matemtico. La losofa de las matemticas concierne al rol
del lenguaje y la lgica en las demostraciones, y en las
matemticas como lenguaje.
Avances posteriores tomaron lugar en las matemticas

medievales Islmicas. Mientras que las demostraciones
Griegas tempranas eran sobre todo demostraciones geomtricas, el desarrollo del aritmtica y el lgebra por los
matemticos Islmicos permiti demostraciones ms geEl hecho de no conocer ninguna demostracin de un teo- nerales que no dependan de la geometra. En el siglo X d.
rema no implica su no veracidad; slo la demostracin de C., el matemtico iraqu Al-Hashim dio a proveer demosla negacin de este resultado implica que es falso.
traciones generales para nmeros (ms que demostracio1
55
3 MTODOS DE DEMOSTRACIN
nes geomtricas) al considerar multiplicacin y divisin

entre otros por lneas. Usaba este mtodo para proveer
una demostracin de la existencia de nmeros irracionales. [9]
Una demostracin inductiva para secuencias aritmticas
fue introducida en el Al-Fakhri (1000 d. C.) por AlKaraji, quien la us para probar el teorema del binomio
y propiedades del tringulo de Pascal. Alhazen tambin
desarroll el mtodo de demostracin por contradiccin,
como el primer intento de probar el postulado euclidiano
de las paralelas.[10]
jo la distincin entre analticos y sintticos, crea que las

demostraciones en matemticas son sintticas.
Las demostraciones pueden ser vistas como objetos estticos, admiradas por su belleza matemtica. El matemtico Paul Erds describi las demostraciones que consideraba particularmente elegantes como venidas de El Libro, un texto hipottico que supuestamente contiene los
mtodos ms hermosos de probar cada teorema. El ensayo Las demostraciones de El libro, publicado en 2009,
presenta 32 demostraciones que sus editores encuentran
particularmente satisfactorias.
La teora moderna de demostraciones trata a las demostraciones como estructuras de datos denidas inductivamente. Ya no se tiene se asume que los axiomas son cier- 3 Mtodos de demostracin
tos en ningn sentido; esto permite que se creen teoras
matemticas paralelas en conjuntos alternos de axiomas Aunque en general no existe un procedimiento ni(vase Teora axiomtica de conjuntos y geometra no eu- co de demostracin de tesis, si existen diferentes tipos
clidiana como ejemplos).
de demostraciones que son utilizados comnmente en
matemticas:
Naturaleza y Propsito
Demostracin por contraposicin (formalizado y

utilizado en los silogismos por Aristteles).
Como se haba dicho, una demostracin se escribe en len Demostracin por reduccin al absurdo (formalizaguaje natural, siendo esta un argumento riguroso con prodo y utilizado por Aristteles) y, como caso particupsito de convencer a la audiencia de la veracidad de una
lar, descenso innito
armacin o denicin. El rigor estndar no es absoluto y
ha variado a travs de la historia. Una demostracin pue Induccin matemtica
de ser presentada en formas diferentes dependiendo de
Induccin fuerte
la audiencia esperada. En orden de ganar aceptacin, una
demostracin tiene que cumplir parmetros comunes de
rigor; un argumento considerado vago o incompleto ha de Por otra parte, a pesar del alto grado de intervencin
ser rechazado.
humana necesario para hacer una demostracin, tamEl concepto de una demostracin se formaliza en el cam- bin existen tcnicas computacionales que permiten hapo de la lgica matemtica.[11] Una demostracin formal cer demostraciones automticas, notablemente en el camse escribe en lenguaje formal en vez de lenguaje natural. po de la geometra euclidiana.
Una demostracin formal se dene como una secuencia
de formulas en un lenguaje formal en la cual cada frmula es una consecuencia lgica de las precedentes. Tener 3.1 Demostracin directa
una denicin de demostracin formal hace el concepto
de demostracin ameno de estudiar. De hecho, el campo En la demostracin directa, la conclusin se establece al
de teora de demostraciones estudia las demostraciones combinar lgicamente los axiomas, deniciones, y teo[12]
Por ejemplo, la demostracin directa
formales y sus propiedades, por ejemplo, la propiedad de remas previos.
puede
ser
usada
para
establecer que la suma de dos enteuna armacin de tener una demostracin formal. Una
ros
pares
es
siempre
par:
aplicacin de la teora de demostraciones es la de mostrar que ciertas armaciones indecidibles no pueden tener
demostracin.
Considere dos enteros pares x e y. Como son
pares, pueden ser escritos como x = 2a e y =
Se supone que la denicin de demostracin formal es2b, respectivamente, para enteros a y b. Luego
t para capturar el concepto de la demostracin tal como
la suma x + y = 2a + 2b = 2(a+b). Por lo tanto
se escribe en la prctica de la matemtica. La sonoridad
x+y
tiene un factor de 2 y, por denicin, es
de esta denicin descansa en la creencia de que una depar.
Por
lo tanto la suma de dos enteros pares
mostracin publicada puede, en principio, ser convertida
es
par.
en una demostracin formal. De todos modos, fuera del
campo de los asistentes automticos para demostraciones, esto se hace raramente en la prctica. Una pregunta Esta demostracin usa la denicin de enteros pares, las
clsica de la losofa pregunta si las demostraciones ma- propiedades de los enteros para la clausura bajo la adicin
temticas son analticas o sintticas. Kant, quien introdu- y la multiplicacin, y la distributividad.
56
3.3
3.2
Demostracin por contraposicin
Demostracin por induccin matem- 3.3 Demostracin por contraposicin

tica
La induccin matemtica no es una forma de

razonamiento inductivo. En una demostracin por
induccin matemtica se demuestra un nico caso
base y tambin una regla de induccin, la cual establece que un cierto caso implica el siguiente. Aplicando
la regla de induccin repetidamente, empezando del
caso base independientemente probado, demostracin
muchos, a veces innitos en nmero, otros casos.[13]
Como el caso base es verdadero, el innito de los otros
casos debe tambin serlo, incluso si todos ellos no
pueden ser probados directamente dada su innitud. Un
subconjunto de induccin es innitamente descendiente.
El descenso innito puede ser usado para probar la
irracionalidad de la raz cuadrada de dos.
La demostracin por contraposicin inere la conclusin

si el evento p implica el evento q, entonces no evento q
implica no evento p , o, matemticamente: (p q)
(no q no p) La armacin si no q entonces no p" se
llama el contrapuesto de la armacin de si p entonces
q".
Un ejemplo lgico no matemtico puede ser el siguiente:

Imaginemos que un restaurante ofrece en su men paella
todos los jueves. Es decir, el evento jueves implica el
evento paella. Puede ser que vayamos un lunes y haya
paella. O puede ser que vayamos un martes y no la haya. Pero lo que sabemos seguro es que todos los jueves
hay paella. De todas las posibles conclusiones lgicas que
se derivan de la anterior armacin, slo una de ellas es
cierta: que si vamos un da y no hay paella, entonces seUna aplicacin comn de la induccin matemtica es la guro que no es jueves. O dicho de otro modo, no paella
de probar que una propiedad conocida por mantenerse implica no jueves.
para un nmero se mantiene se mantiene para todos los Un ejemplo matemtico: la contraposicin se puede usar
naturales:[14]
para establecer que si a es impar, entonces a es impar.
Sea N = {1,2,3,4,...} el conjunto de los nmeros naturales,y P(n) la armacin matemtica
que involucra al nmero natural n que pertenece a N tal que:
(i) P(1) es verdadero, p.e., P(n) es verdadero para n = 1.
(ii) P(n+1) es verdadero donde sea que
P(n) sea verdadero, p.e., P(n) es verdadero implica que P(n+1) es verdadero.
Por lo tanto P(n) es verdadero para todos
los nmeros naturales n.
Por ejemplo, podemos probar por induccin
que todos los enteros de la forma 2n + 1 son
impares:
(i) Para n = 1, 2n + 1 = 2(1) + 1 = 3, y
3 es impar. Luego P(1) es verdadero.
(ii) Para 2n + 1 para algn n, 2(n+1) +
1 = (2n+1) + 2. Si 2n + 1 es impar, luego
(2n+1) + 2 debe ser impar, porque aadir
2 a un nmero impar da un nmero impar. As que P(n+1) es verdadero si P(n)
es verdadero.
Por lo tanto 2n + 1 es impar, para todos los
nmeros naturales n.
Es comn decir demostracin por induccin en vez de
demostracin por induccin matemtica.[15]
Es evidente que a par implica a par (si multiplicamos un

nmero par por l mismo, obtenemos otro nmero par).
Por lo tanto, podemos armar que si a no es par, entonces
a tampoco lo es. O dicho de otro modo, si a es impar,
entonces a es impar.
3.4 Demostracin por contradiccin

En la demostracin por contradiccin (tambin conocida
como reductio ad absurdum, que signica por reduccin
al absurdo en latn), se muestra que si cierta armacin
es verdadera, ocurre una contradiccin lgica, por tanto
esa armacin es falsa. Un ejemplo famoso
de demos
tracin por contradiccin muestra que 2 es un nmero
irracional:
Supongase que 2 es un nmero racional, as

por denicin 2 = ab donde a y b son dos
enteros diferentes
de cero sin factores comunes. Por tanto, 2b = a . Elevando al cuadrado ambos lados se tiene que 2b2 = a2 .
Como 2 divide el lado izquierdo, 2 debe dividir al lado derecho (pues son iguales ambos
enteros). as a2 es par, lo cual implica que a
debe ser tambin par. As que podemos escribir a = 2c , donde c tambin es entero.
Substituyendo en la ecuacin original tenemos
2b2 = (2c)2 = 4c2 . Dividiendo a ambos lados por 2 tenemos b2 = 2c2 . Pero entonces,
por el mismo argumento de antes, 2 divide a b2
, entonces b debe ser par. De todas maneras, si
a y b son ambos enteros, comparten un factor,
que es 2. Esto contradice nuestra asuncin,
as
que nos vemos forzados a concluir que 2 es
un nmero irracional.
57
3.5
3 MTODOS DE DEMOSTRACIN
Demostracin constructiva o por cons- 3.9 Demostracin no constructiva

truccin
Una demostracin no constructiva establece que un

objeto matemtico con una cierta propiedad existe sin explicar como tal objeto se puede encontrar. A menudo,
estas toman la forma de una demostracin por contradiccin en la cual la no existencia de el objeto se demostracin imposible. En contraste, una demostracin constructiva establece que un objeto particular existe al proveer
un mtodo para encontrarlo.
La Demostracin por construccin, o demostracin por

ejemplo, es la construccin de un ejemplo concreto con
una propiedad especca para mostrar que algo que posea esa propiedad existe. Joseph Liouville, por ejemplo,
prob la existencia de los nmeros trascendentes construyendo un ejemplo explicito. Tambin puede ser usado para construir un contraejemplo para probar negativamente
una proposicin de que todos los elementos tienen una Un ejemplo famoso de demostracin no-constructiva
cierta propiedad.
muestra que existen dos nmeros irracionales a y b tal
que ab es un nmero racional:
3.6
Demostracin por exhaustividad
es un nmero racional
y acaba
2
mos (tomese a = b = 2 ), o 2 es irracio 2
nal por lo que podemos escribir
a= 2 y
( ) 2
2
2
b = 2 . Esto produce
2
= 2 =
O bien
En la demostracin por exhaustividad, la conclusin se

establece al dividirla en un nmero nito de casos y probarlos cada uno por separado. El nmero de casos a veces
puede ser muy grande. Por ejemplo, la primera demostra2 , lo cual es un por tanto racional de la forma
cin del teorema de los cuatro colores fue una demostraab .
cin por exhaustividad con 1936 casos. Esta demostracin fue controvertida pues la mayora de los casos fueron vericados con un programa de computador y no a 3.10 Pruebas estadsticas en matemticas
mano. La demostracin conocida ms corta del teorema
puras
de los cuatro colores fue de 2011 y todava tiene ms de
600 casos.
La expresin demostracin estadstica puede ser usada
tcnica o coloquialmente en reas de matemticas puras,
tales como las que involucran criptografa, series caticas
y teora de nmeros probabilstica o analtica.[17][18][19]
3.7 Demostracin probabilstica
No es tan comnmente usada para referirse a una demostracin matemtica en el rea de las matemticas conoUna demostracin probabilstica es una en la cual se cida como estadstica matemtica. Vase tambin la secmuestra que un ejemplo existe, con certeza, usando mto- cin inferior de demostracin estadstica con el uso de
dos de la teora de probabilidad. Esto no se debe confun- datos.
dir con un argumento de que un teorema es 'probablemente' cierto. Este tipo de razonamiento puede ser llamado un argumento de plausibilidad y no conlleva una 3.11 Pruebas asistidas por computador
demostracin. En el caso de la conjetura de Collatz est claro que tan lejos est eso de ser una demostracin Hasta el siglo XX se asuma que cualquier demostracin
genuina.[16] La demostracin probabilstica, como la de- deba, en principio, ser revisada por un matemtico commostracin por construccin, es una de las muchas formas petente para conrmar su validez.[6] De todas formas, los
de demostrar teoremas de existencia.
ordenadores se usan ahora para probar teoremas y para
hacer clculos que para un humano o grupo de ellos seran muy largos de revisar; La primera demostracin del
teorema de los cuatro colores es un ejemplo de una de3.8 Demostracin por combinatoria
mostracin asistida por ordenador. Algunos matemticos
estn preocupados de que la posibilidad de un error en un
Una demostracin por combinatoria establece la equiva- programa de computador o un error de ejecucin en sus
lencia de expresiones diferentes al mostrar que cuentan clculos pueda afectar la validez de tales demostraciones
para el mismo objeto en formas diferentes. A menudo se asistidas por computador. En la prctica las posibilidades
usa una biyeccin entre dos conjuntos para mostrar que de un error que invalide una demostracin asistida por
las expresiones para sus dos tamaos son iguales. Alter- computador pueden reducirse al incorporar redundancia
nativamente, un argumento de doble conteo provee dos y auto-revisiones en los clculos, y al desarrollar enfoques
expresiones diferentes para el tamao de un solo conjun- y programas mltiples e independientes. Los errores tamto, mostrando nuevamente que las dos expresiones son poco podrn ser totalmente superados en caso de la veiguales.
ricacin humana de una demostracin, especialmente si
58
Teora de conjuntos
siglo XIX, precedido por algunas ideas de Bernhard Bolzano e inuenciado por Richard Dedekind. El descubrimiento de las paradojas de la teora cantoriana, de conjuntos, formalizada por Gottlob Frege, propici los trabajos de Bertrand Russell, Ernst Zermelo, Abraham Fraenkel y otros a principios del siglo XX.
1 Teora bsica de conjuntos

La teora de conjuntos ms elemental es una de las herramientas bsicas del lenguaje matemtico. Dados unos
elementos, unos objetos matemticos como nmeros o
polgonos por ejemplo, puede imaginarse una coleccin
determinada de estos objetos, un conjunto. Cada uno de
estos elementos pertenecen al conjunto, y esta nocin de
pertenencia es la relacin relativa a conjuntos ms bsica.
Los propios conjuntos pueden imaginarse a su vez como
elementos de otros conjuntos. La pertenencia de un elemento a a un conjunto A se indica como a A.
Hiptesis del continuo. La coleccin de todos los conjuntos de

nmeros naturales P(N) tiene la llamada potencia del continuo:
tantos elementos como (por ejemplo) puntos en una recta. Su estudio es uno de los principales problemas en la teora de conjuntos.
Una relacin entre conjuntos derivada de la relacin de

pertenencia es la relacin de inclusin. Una subcoleccin
de elementos B de un conjunto dado A es un subconjunto
de
A, y se indica como B A.
La teora de conjuntos es una rama de las matemticas
que estudia las propiedades de los conjuntos: colecciones
abstractas de objetos, consideradas como objetos en s Ejemplos.
mismas. Los conjuntos y sus operaciones ms elementales son una herramienta bsica en la formulacin de cual Los conjuntos numricos usuales en matemticas
quier teora matemtica.[1]
son: el conjunto de los nmeros naturales N, el de
Sin embargo, la teora de los conjuntos es lo sucientelos nmeros enteros Z, el de los nmeros racionales
mente rica como para construir el resto de objetos y esQ, el de los nmeros reales R y el de los nmeros
tructuras de inters en matemticas: nmeros, funciones,
complejos C. Cada uno es subconjunto del siguienguras geomtricas, ...; y junto con la lgica permite este:
tudiar los fundamentos de esta. En la actualidad se acepta que el conjunto de axiomas de la teora de ZermeloNZQRC
Fraenkel es suciente para desarrollar toda la matemtica.
El espacio tridimensional E 3 es un conjunto de obAdems, la propia teora de conjuntos es objeto de estujetos elementales denominados puntos p, p E 3 . Las
dio per se, no slo como herramienta auxiliar, en particurectas r y planos son conjuntos de puntos a su vez,
lar las propiedades y relaciones de los conjuntos innitos.
y en particular son subconjuntos de E 3 , r E 3 y
En esta disciplina es habitual que se presenten casos de
E3.
propiedades indemostrables o contradictorias, como la
hiptesis del continuo o la existencia de un cardinal inaccesible. Por esta razn, sus razonamientos y tcnicas se 1.1 lgebra de conjuntos
apoyan en gran medida en la lgica matemtica.
El desarrollo histrico de la teora de conjuntos se atribu- Existen unas operaciones bsicas que permiten manipular
ye a Georg Cantor, que comenz a investigar cuestiones los conjuntos y sus elementos, similares a las operaciones
conjuntistas puras del innito en la segunda mitad del aritmticas, constituyendo el lgebra de conjuntos:
1
59
6 ENLACES EXTERNOS
Unin. La unin de dos conjuntos A y B es el conjunto A B que contiene cada elemento que est por
lo menos en uno de ellos.
Interseccin. La interseccin de dos conjuntos A y
B es el conjunto A B que contiene todos los elementos comunes de A y B.
Diferencia. La diferencia entre dos conjuntos A y B
es el conjunto A \ B que contiene todos los elementos
de A que no pertenecen a B.
Complemento. El complemento de un conjunto A
es el conjunto A que contiene todos los elementos
(respecto de algn conjunto referencial) que no pertenecen a A.
Diferencia simtrica La diferencia simtrica de dos
conjuntos A y B es el conjunto A B con todos los
elementos que pertenecen, o bien a A, o bien a B,
pero no a ambos a la vez.
Producto cartesiano. El producto cartesiano de dos
conjuntos A y B es el conjunto A B que contiene
todos los pares ordenados (a, b) cuyo primer elemento a pertenece a A y su segundo elemento b pertenece a B.
4 Referencias
[1] Vase Devlin, Keith (2005). 3.1. Sets. Sets, functions
and logic (en ingls). ISBN 1-58488-449-5. o Lipschutz,
Seymour (1991). Prlogo. Teora de conjuntos y temas
anes. McGraw-Hill. ISBN 968-422-926-7.
5 Bibliografa
Ivorra, Carlos, Lgica y teora de conjuntos, http://
www.uv.es/ivorra/Libros/Logica.pdf, consultado el
18-10-2010.
Jech, Thomas. Set Theory. Stanford Encyclopedia
of Philosophy (Fall 2011 edition) (en ingls). Consultado el 16-12-2011.
6 Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Teora de conjuntosCommons.
Teora axiomtica de conjuntos
La teora informal de conjuntos apela a la intuicin para

determinar cmo se comportan los conjuntos. Sin embargo, es sencillo plantear cuestiones acerca de las propiedades de estos que llevan a contradiccin si se razona de esta
manera, como la famosa paradoja de Russell. Histricamente sta fue una de las razones para el desarrollo de
las teoras axiomticas de conjuntos, siendo otra el inters
en determinar exactamente qu enunciados acerca de los
conjuntos necesitan que se asuma el polmico axioma de
eleccin para ser demostrados.
Las teoras axiomticas de conjuntos son colecciones precisas de axiomas escogidos para poder derivar todas las
propiedades de los conjuntos con el suciente rigor matemtico. Algunos ejemplos conocidos son:
La teora de conjuntos de Zermelo-Fraenkel
La teora de conjuntos de Neumann-Bernays-Gdel
La teora de conjuntos de Morse-Kelley
Vase tambin
lgebra de conjuntos
Conjunto
Teora de grupos
60
PRINCIPIO DE LAS CASILLAS

El principio de conteo ms til es desde luego el ms sencillo. Aqu lo presentamos y se
basa en la siguiente idea, si hay tres canicas que se reparten entre dos nios, a un nio le
tocan dos (quizs las tres, pues se admite que un nio puede quedar con cero canicas). Una
primera versin de ste principio se puede enunciar de la siguiente manera:
"Si (n + 1) objetos se deben de acomodar en n casillas, en alguna de las casillas hay
ms de un objeto".
Este resultado se conoce como el Principio de las casillas, tambin es llamado el Principio
de Dirichlet, o Principio de las palomas. Peter Dirichlet fue el primero en utilizarlo en teora
de nmeros en el siglo XIX.
Su validez es evidente, pero si desea uno convencerse, piense qu pasara si en cada casilla
haya lo ms un objeto, entonces tendramos que en las casillas hay acomodados a lo ms n
objetos, lo que es una contradiccin si consideramos que se han repartido los n + 1 objetos.
Veremos aqu varias formas de aplicar el principio de las casillas tanto en problemas de
teora de nmeros, como de combinatoria y geometra. Tambin presentaremos algunas
generalizaciones.
La mayora de las veces, este resultado ayuda a resolver problemas de existencia; de
garantizar si dentro de una serie de hechos (finitos o infinitos) hay la certeza de que sucede
alguna situacin especial. As el principio es una afirmacin puramente existencial; sin
embargo, no da indicaciones de cmo llegar a la situacin especial que se pide.
Reconocer cmo y cundo deber usarse el principio requiere de cierta prctica que
intentaremos dirigir en esta serie de ejercicios y problemas. Detectar quines sern los
objetos y quines sern las casillas, es la parte central para utilizar el principio. Desde luego
hay situaciones claras de quines son los objetos y quines las casillas, veamos algunos
ejemplos.
En un grupo de tres personas hay dos del mismo sexo.
En un grupo de 13 personas hay dos que nacieron el mismo mes.
En un grupo de 366 personas hay dos que tienen el mismo da de cumpleaos.
En los tres casos los objetos son las personas y las casillas, evidentemente son, los dos
sexos, los doce meses del ao, y los 365 das del ao respectivamente.
Otros ejemplos son:
EJEMPLO 1
Una lnea no puede cortar internamente a los tres lados de un tringulo.
Solucin:
Este ejemplo es el primero donde hay una primera dificultad: debemos decir quines son
los objetos y quines son las casillas. Las casillas son los dos semiplanos que determina la
lnea, los objetos sern los vrtices del tringulo. Observemos que si dos vrtices del
tringulo se encuentran en uno de los semiplanos, el segmento (lado del tringulo) que ellos
determinan no ser cortado por la lnea.
1
61
Pidamos primero que la lnea no pase por alguno de los vrtices del tringulo. Por el
Principio de las casillas hay dos puntos en alguno de los semiplanos (quizs los tres), luego
alguno de los lados no ser cortado por la lnea. Si la lnea pasa por alguno de los vrtices,
esta podr cortar a lo ms a uno de los lados.
EJEMPLO2
De cinco puntos dentro o sobre los lados de un triangulo equiltero de lado 2 hay dos cuya
distancia entre ellos es menor o igual a 1.
Solucin:
Aqu la situacin es un poco ms delicada. Aqu hay que crear las casillas; los objetos son
los cinco puntos y buscamos dos de ellos a una distancia menor o igual que uno. Si
dividimos en casillas de manera que: dos en una casilla garanticen que su distancia es menor
o igual que uno, terminamos. Se sugiere entonces crear cuatro casillas, al dividir los lados
del tringulo con sus puntos medios y al unir estos con segmentos de lnea se forman cuatro
tringulos congruentes de lado 1.
Por el Principio de las casillas, de los cinco puntos dados, hay dos puntos en alguno de los
tringulos pequeos, estos dos puntos son los buscados.
EJEMPLO 3
De entre cinco puntos del plano con coordenadas enteros hay dos cuyo punto medio
tambin tiene coordenadas enteros.
ac bd
,
), de dos puntos de coordenadas
Primero observemos que el punto medio (
2
2
enteras (a,b) y (c,d), tendr tambin coordenadas enteras, si a y c son ambos pares o ambos
impares, esto es si tienen la misma paridad, tambin b y d deben tener la misma paridad.
Dividamos a los puntos de coordenadas enteras de acuerdo a la paridad de sus coordenadas,
esto generar cuatro clases que re- Presentaremos as: (P, P), (P, I), (1, P), (1,1), Y que son
las clases de puntos de coordenadas enteras donde sus coordenadas son las dos pares, la
primera par y la segunda impar, la primera impar y la segunda par, y las dos coordenadas
2
62
impares, respectivamente. Estas clases sern las casillas. Desde luego todo punto de
coordenadas enteras pertenece a una de las casillas. Por el Principio de las casillas hay dos
puntos de los cinco en la misma casilla, por lo que dos de los puntos tienen la primera
coordenada de la misma paridad y tiene la segunda coordenada de la misma paridad, por
tanto su punto medio ser de coordenadas enteras.
Hemos sealado que el usar y explotar el Principio de las casillas, requiere cierta habilidad
que la prctica va dando. Los problemas que presentamos aqu buscan eso, practicar.
EJEMPLO 4
5 palomas vuelan hacia un palomar de 4 agujeros, entonces en uno de los agujeros hay dos o
mas palomas.
En general, si (n+1) palomas estn en n agujeros, por lo menos uno de los agujeros contiene
dos o mas palomas.
EJEMPLO 5
Selecciono medias de un cajn donde las hay de 3 colores distintos. Si imagino un "agujero"
para cada color, entonces tengo 3 agujeros. Si las medias seleccionadas son 4, al menos uno
de mis agujeros tiene dos o mas medias. Por lo tanto, si tomo 4 medias tendr un par del
mismo color.
EJEMPLO 6
Si hay 13 palomas en 4 agujeros, por lo menor un agujero contiene 4 o mas palomas.
3
63
Ecuacin
1 Introduccin
1.1 Uso de ecuaciones
El primer uso del signo igualdad, la ecuacin equivale a la notacin moderna 14x+15=71, tomado de The Whetstone of Witte
de Robert Recorde (1557).
La ciencia utiliza ecuaciones para enunciar de forma precisa leyes; estas ecuaciones expresan relaciones entre variables. As, en fsica, la ecuacin de la dinmica de Newton relaciona las variables fuerza F, aceleracin a y masa
m: F = ma. Los valores que son solucin de la ecuacin
anterior cumplen la primera ley de la mecnica de Newton. Por ejemplo, si se considera una masa m = 1 kg y una
aceleracin a = 1 m/s, la nica solucin de la ecuacin es
F = 1 kgm/s = 1 Newton, que es el nico valor para la
fuerza permitida por la ley.
Una ecuacin es una igualdad matemtica entre dos

expresiones algebraicas, denominadas miembros, en las
que aparecen valores conocidos o datos, y desconocidos o incgnitas, relacionados mediante operaciones
matemticas.[nota 1] Los valores conocidos pueden ser
nmeros, coecientes o constantes; y tambin variables
cuya magnitud pueda ser establecida a travs de las restantes ecuaciones de un sistema, o bien mediante otros
procesos.[nota 2][cita requerida] Las incgnitas, representadas Ejemplos:
generalmente por letras, constituyen los valores que se
pretende hallar. Por ejemplo, en la ecuacin:
Ecuacin de estado
z }| {
3x 1
Ecuaciones de movimiento
miembro segundo
miembro primer
z }| {
9+x
Ecuacin constitutiva
la variable x representa la incgnita, mientras que el coeciente 3 y los nmeros 1 y 9 son constantes conocidas.
La igualdad planteada por una ecuacin ser cierta o falsa
dependiendo de los valores numricos que tomen las incgnitas; se puede armar entonces que una ecuacin es
una igualdad condicional, en la que slo ciertos valores
de las variables (incgnitas) la hacen cierta.
El campo de aplicacin de las ecuaciones es inmenso, y

por ello hay una gran cantidad de investigadores dedicados a su estudio.
1.2 Tipos de ecuaciones
Se llama solucin de una ecuacin a cualquier valor indi- Las ecuaciones pueden clasicarse segn el tipo de opevidual de dichas variables que la satisfaga. Para el caso raciones necesarias para denirlas y segn el conjunto de
dado, la solucin es:
nmeros sobre el que se busca la solucin. Entre los tipos
ms frecuentes estn:
x=5
Ecuaciones algebraicas
Resolver una ecuacin es encontrar su dominio solucin, que es el conjunto de valores de las incgnitas para los cuales la igualdad se cumple. Por lo general, los
problemas matemticos pueden expresarse en forma de
una o ms ecuaciones;[cita requerida] sin embargo no todas
las ecuaciones tienen solucin, ya que es posible que no
exista ningn valor de la incgnita que haga cierta una
igualdad dada. En ese caso, el conjunto de soluciones de
la ecuacin ser vaco y se dice que la ecuacin no es
resoluble. De igual modo, puede tener un nico valor, o
varios, o incluso innitos valores, siendo cada uno de ellos
una solucin particular de la ecuacin. Si cualquier valor
de la incgnita hace cumplir la igualdad (esto es, no existe ningn valor para el cual no se cumpla) la ecuacin es
en realidad una identidad.[nota 3]
De primer grado o lineales

De segundo grado o cuadrticas
Diofnticas o diofantinas
Racionales, aquellas en las que uno o ambos
miembros se expresan como un cociente de
polinomios
Ecuaciones trascendentes, cuando involucran funciones no polinmicas, como las funciones trigonomtricas, exponenciales, logartmicas, etc.
Ecuaciones diferenciales
Ordinarias
1
64
3 ECUACIN ALGEBRAICA
En derivadas parciales
Ecuaciones integrales
Ecuaciones funcionales
Denicin general
Dada una aplicacin f : A B y un elemento b del

conjunto B , resolver una ecuacin consiste en encontrar todos los elementos x A que verican la expresin: f (x) = b . Al elemento x se le llama incgnita. Una
solucin de la ecuacin es cualquier elemento a A que
verique f (a) = b .[cita requerida]
2.3 Existencia de soluciones

En muchos casos, por ejemplo en las ecuaciones diferenciales, una de las cuestiones ms importantes es determinar si existe alguna solucin, es decir demostrar que
el conjunto de soluciones no es el conjunto vaco. Uno
de los mtodos ms corrientes para lograrlo consiste en
aprovechar que el conjunto A tiene alguna topologa. No
es el nico: en los sistemas de ecuaciones reales, se recurre a tcnicas algebraicas para averiguar si el sistema
tiene solucin. No obstante, el lgebra parece que carece
de recursos siquiera para asegurar la existencia de soluciones en las ecuaciones algebraicas: para asegurar que
toda ecuacin algebraica con coecientes complejos tiene una solucin hay que recurrir al anlisis complejo y,
por lo tanto, a la topologa.
El estudio de las ecuaciones depende de las caractersticas

de los conjuntos y la aplicacin; por ejemplo, en el caso de
las ecuaciones diferenciales, los elementos del conjunto A
son funciones y la aplicacin f debe incluir alguna de las 3 Ecuacin algebraica
derivadas del argumento. En las ecuaciones matriciales,
Una ecuacin algebraica, polinmica o polinomial es una
la incgnita es una matriz.
igualdad entre dos polinomios. Por ejemplo:
La denicin que se ha dado incluye las ecuaciones de la
forma g(x) = h(x) . Si + denota la suma de funciones,
x3 y + 4x y = 5 2xy
entonces (B, +) es un grupo. Basta denir la aplicacin
f (x) = g(x)h(x) , con h el inverso de h con respecto
a la suma, para transformar la ecuacin en f (x) = 0 .
3.1 Denicin
2.1
Conjunto de soluciones
Se llama ecuacin algebraica con una incgnita la ecuacin que se reduce a lo que sigue
Dada la ecuacin f (x) = b , el conjunto de soluciones de

0 xn + 1 xn-1 + 2 xn-2 + ... -x +
la ecuacin viene dado por S = f 1 (b) , donde f 1 es la
= 0.
imagen inversa de f . Si S es el conjunto vaco, la ecuacin no es soluble; si tiene slo un elemento, la ecuacin
donde n es un nmero entero positivo; 0 , 1 , 2 , ..., -,
tendr solucin nica; y si S posee ms de un elemento,
n se denominan coecientes o parmetros de la ecuacin
todos ellos sern soluciones de la ecuacin.
y se toman dados; x se nombra incgnita y es buscada. El
En la teora de ecuaciones diferenciales, no se trata s- nmero n positivo se llama grado de la ecuacin[1] Para
lo de averiguar la expresin explcita de las soluciones, denir un nmero algebraico se consideran como coesino determinar si una ecuacin determinada tiene solu- cientes, nmeros racionales.
cin y esta es nica. Otro caso en los que se investiga la
existencia y unicidad de soluciones es en los sistemas de
3.2 Forma cannica
ecuaciones lineales.
2.2
Casos particulares
Realizando una misma serie de transformaciones en ambos miembros de una ecuacin, puede conseguirse que
uno de ellos se reduzca a cero. Si adems se ordenan los
trminos segn los exponentes a los que se encuentran
elevadas las incgnitas, de mayor a menor, se obtiene
una expresin denominada forma cannica de la ecuacin. Frecuentemente suele estudiarse las ecuaciones polinmicas a partir de su forma cannica, es decir aquella
cuyo primer miembro es un polinomio y cuyo segundo
miembro es cero.
Una ecuacin diofntica es aquella cuya solucin slo

puede ser un nmero entero, es decir, en este caso A Z
. Una ecuacin funcional es aquella en la que algunas de
las constantes y variables que intervienen no son realmente nmeros sino funciones; y si en la ecuacin aparece algn operador diferencial se llama ecuacin diferencial. Cuando A es un cuerpo y f un polinomio, se tiene
ecuacin algebraica polinmica.
En el ejemplo dado, sumando 2xy y restando 5 en ambos
En un sistema de ecuaciones lineales, el conjunto A es un miembros, y luego ordenando, obtenemos:
conjunto de vectores reales y la funcin es un operador
lineal.
x3 y + 2xy + 4x y 5 = 0
65
3.4
3.3
Ecuacin de primer grado
Grado
3
x o la incgnita del problema) en el otro miembro. Esto
puede hacerse teniendo en cuenta que:
Se denomina grado de una ecuacin polinomial al mayor

En trminos coloquiales, se dice que: si un trmino est
exponente al que se encuentran elevadas las incgnitas.
sumando (como 16x en el miembro de la derecha) pasa al
Por ejemplo
otro lado restando (16x a la izquierda); y si est restando
(como el 9 de la izquierda), pasa al otro lado sumando
2x3 5x2 + 4x + 9 = 0
(+9 a la derecha)
Es una ecuacin de tercer grado porque la variable x se
encuentra elevada al cubo en el mayor de los casos.
Las ecuaciones polinmicas de grado n de una sola variable sobre los nmeros reales o complejos, pueden resolverse por el mtodo de los radicales cuando n < 5 (ya
que en esos casos el grupo de Galois asociado a las races de la ecuacin es soluble). La solucin de la ecuacin
de segundo grado es conocida desde la antigedad; las
ecuaciones de tercer y cuarto grado se conocen desde los
siglos XV y XVI, y usan el mtodo de radicales. La solucin de la ecuacin de quinto grado no puede hacerse
mediante el mtodo de radicales, aunque puede escribirse
en trminos de la funcin theta de Jacobi.
3.4
La ecuacin quedar entonces as:
9x + 108x 6x 16x = 28 + 396 + 9 + 92

Como puede verse, todos los trminos que poseen la variable x han quedado en el primer miembro (a la izquierda del signo igual), y los que no la poseen, por ser slo
constantes numricas, han quedado a la derecha.
Simplicacin El siguiente paso es convertir la ecuacin en otra equivalente ms simple y corta. Si se efecta
la simplicacin del primer miembro:
Ecuacin de primer grado
9x + 108x 6x 16x = (9 + 108 6 16)x = 95x

Se dice que una ecuacin algebraica es de primer grado
cuando la incgnita (aqu representada por la letra x) est Y se simplica el segundo miembro:
elevada a la potencia 1 (grado = 1), es decir que su exponente es 1.
Las ecuaciones de primer grado tienen la forma cannica: 28 + 396 + 9 + 92 = 525
La ecuacin simplicada ser:
ax + b = 0
donde a y b estn en un conjunto numrico (, ) con a
diferente de cero.
95x = 525
Su solucin es sencilla: x = b/a . Exige la resolucin, Despeje Ahora es cuando se llega al objetivo nal: que
la incgnita quede aislada en un miembro de la igualdad.
la existencia de inversos multiplicativos.
Para lo cual se recuerda que:
En trminos coloquiales: Para despejar la x, si un nmero
la est multiplicando (Ej: 5x) y no hay ningn otro trmino
Las ecuaciones polinmicas de primer grado se resuel- sumando o restando en ese mismo miembro, se pasa dicho
ven en tres pasos: transposicin, simplicacin y despeje, nmero al otro lado dividiendo (n/5) sin cambiar su signo.
Y si un nmero la est dividiendo (Ej: x/2), entonces se
desarrollados a continuacin mediante un ejemplo.
lo pasa al otro lado multiplicando (n2) sin cambiar su
Dada la ecuacin:
signo.
3.4.1
Resolucin de ecuaciones de primer grado
9x 9 + 108x 6x 92 = 16x + 28 + 396

Transposicin
Primero se agrupan todos los
monomios que incluyen la incgnita x en uno de los
miembros de la ecuacin, normalmente en el izquierdo;
y todos los trminos independientes (los que no tienen
Al pasar el 5 dividiendo al otro lado, lo que estamos haciendo en realidad es dividir ambos miembros entre 5.
Entonces, en el miembro donde estaba el 5 obtenemos
5/5, que se anula quedando slo la x (decimos que el 5
que multiplicaba desaparece del primer miembro). En el
otro lado, en cambio, el 5 que agregamos dividiendo no
puede anularse (decimos que aparece dividiendo como si
hubiera pasado de un lado a otro con la operacin convertida en su inversa).[nota 4]
66
4 OPERACIONES ADMISIBLES EN UNA ECUACIN
Volviendo al ejemplo, debemos entonces pasar el nmero mismo nmero, sin que sta sufra cambios. En este caso,
95 al otro miembro y, como estaba multiplicando, lo har si multiplicamos ambos miembros por 1 obtendremos:
dividiendo, sin cambiar de signo:
x=5
x = 525/95
El problema est resuelto.
El ejercicio est tericamente resuelto, ya que tenemos 3.5 Ecuacin de segundo grado
una igualdad en la que x equivale al nmero 525/95. Sin
embargo, debemos simplicar.
Las ecuaciones polinmicas de segundo grado tienen la
Se puede resolver la fraccin (numerador dividido entre forma cannica
denominador) si el resultado fuera exacto; pero como en
ax2 + bx + c = 0
este caso es decimal (525:95 = 5,52631578947) se simplica y sa es la solucin:
Donde a es el coeciente del trmino cuadrtico (aquel
en que la incgnita est elevada a la potencia 2), b es el
coeciente del trmino lineal (el que tiene la incgnita sin
exponentes, o sea que est elevada a la potencia 1), y c es
x = 105/19
el trmino independiente (el que no depende de la variable,
o sea que est compuesto slo por constantes o nmeros)
3.4.2 Ejemplo de problema
Cuando esta ecuacin se plantea sobre C siempre se tienen
dos soluciones:
Pongamos el siguiente problema: el nmero de canicas
que tengo, ms tres, es igual al doble de las canicas que

b2 4ac
b2 4ac
, x2 = b 2a
x1 = b+ 2a
tengo, menos dos. Cuntas canicas tengo? El primer paso para resolver este problema es expresar el enunciado
Obviamente la condicin para que la ecuacin tenga socomo una ecuacin:
lucin sobre los nmeros reales R se requiere que b2 4ac
y para que tenga soluciones sobre los nmeros racionales
Q se requiere b2 4acQ+ .
x + 3 = 2x 2
Donde x es la incgnita: cuntas canicas tengo?
La ecuacin se podra leer as: El nmero de canicas que
tengo, ms tres que me dan, es igual al doble de mis canicas, quitndome dos.
El enunciado est expresado, pero no podemos ver claramente cul es el valor de x; para ello se sigue este procedimiento: Primero se pasan todos los trminos que dependen de x al primer miembro y los trminos independientes al segundo. Para ello tenemos en cuenta que cualquier
trmino que se cambia de miembro cambia tambin de
signo. As obtenemos:
4 Operaciones admisibles en una

ecuacin
Frecuentemente en el tratamiento de ecuaciones con nmeros reales o complejos es necesario simplicar, reagrupar o cambiar de forma la ecuacin para poder resolverla
ms fcilmente. Se conoce que bajo ciertas operaciones
se mantiene la igualdad y el conjunto de soluciones no
cambia aunque la forma de la ecuacin sea diferente. Entre las operaciones de lgebra elemental que no alteran el
conjunto de soluciones estn:
x 2x = 2 3
1. Sumar cualquier nmero a ambos lados de la ecuacin.
Que, simplicado, resulta:
2. Restar cualquier nmero a ambos lados de la ecuacin.
x = 5
3. Dividir entre un nmero real diferente de cero ambos lados de la ecuacin.
Esta expresin nos lleva a una regla muy importante del

lgebra, que dice que si modicamos igualmente ambos
miembros de una ecuacin, el resultado es el mismo. Esto
signica que podemos sumar, restar, multiplicar, dividir,
elevar y radicar los dos miembros de la ecuacin por el
4. Multiplicar por cualquier nmero ambos lados de la

ecuacin.
5. Si f inyectiva se puede aplicar a cada uno de los dos
miembros de la ecuacin.
67
6.2
Siglos XV - XVI
Otras dos operaciones respetan la igualdad pero pueden 6.2 Siglos XV - XVI
alterar el conjunto de soluciones:
Pasada la edad oscura medieval, el estudio de las ecuaciones algebraicas experimenta un gran impulso. En el
1. Simplicar dividiendo factores comunes presentes siglo XV estaban a la orden del da los desafos matemen ambos lados de una ecuacin. Si estos factores ticos pblicos, con premios al vencedor; as, un desafo
contienen no slo nmeros sino tambin variables famoso enfrent a dos matemticos a resolver ecuaciones
esta operacin debe aplicarse con cuidado porque de tercer grado, el vencedor fue Niccol Fontana Tartael conjunto de soluciones puede verse reducido. Por glia, experto algebrista.
ejemplo, la ecuacin yx = x tiene dos soluciones: y
= 1 y x = 0. Si se dividen ambos lados entre x pa- Sobre mediados del siglo XVI los matemticos italianos
ra simplifcarla se obtiene la ecuacin y = 1, pero la Girolamo Cardano y Rafael Bombelli descubrieron que
para poder resolver todas las ecuaciones de segundo, tersegunda solucin se ha perdido.
cero y cuarto grado el uso de los nmeros imaginarios
era indispensable. Cardano, enemigo acrrimo de Tarta2. Si se aplica una funcin no inyectiva a ambos laglia, tambin hall mtodos de resolucin de ecuaciones
dos de una ecuacin, la ecuacin resultante puede
de cuarto grado.
no tener un conjunto de soluciones ms grande que
En el mismo siglo el matemtico francs Ren Descartes
la original.
populariz la notacin algebraica moderna, en la cual las
constantes estn representadas por las primeras letras del
alfabeto, a, b, c, y las variables o incgnitas por las
5 Tipos de ecuacin algebraica
ltimas, x, y, z. En esta poca se enuncian problemas de
ecuaciones que slo han sido resueltos actualmente, alguUna ecuacin algebraica en x contiene solo expresiones nos que slo recientemente se han resuelto; entre ellos tealgebraicas, como polinomios, expresiones racionales, ra- nemos el ltimo teorema de Fermat, uno de los teoremas
dicales y otras. Una ecuacin de este tipo se llama ecua- ms famosos de la matemtica, que no fue demostrado
cin condicional si hay nmeros en los dominios de las hasta 1995 por Andrew Wiles y Richard Taylor.
expresiones que no sean soluciones; por ejemplo, x^2=
9 es condicional porque el nmero x=4 (y otros) no es
una solucin. Si todo nmero de los dominios de las ex- 6.3 Siglos XVII-XVIII
presiones de una ecuacin algebraica es una solucin, la
En el siglo XVII Newton y Leibniz publican los primeros
ecuacin se llama identidad.
mtodos de resolucin de las ecuaciones diferenciales que
aparecen en los problemas de la dinmica. Probablemente el primer libro sobre estas ecuaciones fue Sobre las
construcciones de ecuaciones diferenciales de primer gra6 Historia
do de Gabriele Manfredi (1707). Durante el siglo XVIII
matemticos ilustres como Leonhard Euler, Daniel Ber6.1 Antigedad
noulli, Joseph Lagrange y Pierre Simon Laplace publican resultados sobre ecuaciones diferenciales ordinarias
Ya en el siglo XVI a. C. los egipcios resolvan proble- y ecuaciones en derivadas parciales.
mas cotidianos que tenan que ver con la reparticin de
vveres, de cosechas y de materiales que eran equivalentes a resolver ecuaciones algebraicas simples de primer 6.4 poca moderna
grado; como la notacin algebraica no exista usaban un
mtodo iterativo aproximado llamado el mtodo de la A pesar de todos los esfuerzos de las pocas anteriores,
falsa posicin.
las ecuaciones algebraicas de quinto grado y superiores se
Los matemticos chinos de principios de nuestra era escribieron el libro El arte del clculo en el que plantearon
diversos mtodos para resolver ecuaciones algebraicas de
primero y segundo grado, as como sistemas de dos ecuaciones con dos incgnitas.
resistieron a ser resueltas; slo se consigui en casos particulares, pero no se encontraba una solucin general. A
principios del siglo XIX Niels Henrik Abel demostr que
hay ecuaciones no resolubles; en particular mostr que
no existe una frmula general para resolver la ecuacin
El matemtico griego Diofanto de Alejandra public su de quinto grado; acto seguido variste Galois demostr,
Aritmtica en el siglo III tratando las ecuaciones de pri- utilizando su teora de grupos, que lo mismo puede armer y segundo grado; fue uno de los primeros en utilizar marse de toda ecuacin de grado igual o superior a cinco.
smbolos para representar las ecuaciones. Tambin plan- Durante el siglo XIX las ciencias fsicas utilizan en su
te las ecuaciones con soluciones enteras, llamadas en su formulacin ecuaciones diferenciales en derivadas parhonor ecuaciones diofnticas.[2]
ciales y/o ecuaciones integrales, como es el caso de la
68
Sabemosquesellamaproductoalresultadodeunamultiplicacin.Tambinsabemosquelosvaloresquesemultiplicanse
llamanfactores.
Sellamaproductosnotablesaciertasexpresionesalgebraicasqueseencuentranfrecuentementeyqueespreciso
saberfactorizarlasasimplevistaesdecir,sinnecesidaddehacerlopasoporpaso.
Selesllamaproductosnotables(tambinproductosespeciales)precisamenteporquesonmuyutilizadosenlos
ejercicios.
Acontinuacinveremosalgunasexpresionesalgebraicasydelladoderechodelaigualdadsemuestralaformade
factorizarlas(mostradacomounproductonotable).
Cuadradodelasumadedoscantidadesobinomiocuadrado
a2+2ab+b2=(a+
b)2
Elcuadradodelasumadedoscantidadesesigualalcuadradodelaprimeracantidad,mseldobledelaprimeracantidad
multiplicadaporlasegunda,mselcuadradodelasegundacantidad.
Demostracin:
Entonces,paraentenderdeloquehablamos,cuandonosencontramosconunaexpresindelaformaa2 +2ab+
b2 debemosidentificarladeinmediatoysaberquepodemosfactorizarlacomo(a+b)2
Nota:
Serecomiendavolveraltemafactorizacinparareforzarsucomprensin.
Ver:PSUMatemtica
Pregunta12_2005
Cuadradodeladiferenciadedoscantidades
a22ab+b2=(ab)2
Elcuadradodeladiferenciadedoscantidadesesigualalcuadradodelaprimeracantidad,menoseldobledelaprimera
cantidadmultiplicadaporlasegunda,mselcuadradodelasegundacantidad.
Demostracin:
69

Entonces,paraentenderdeloquehablamos,cuandonosencontramosconunaexpresindelaformaa2 2ab+
b2 debemosidentificarladeinmediatoysaberquepodemosfactorizarlacomo(ab)2
Productodelasumaporladiferenciadedoscantidades(oproductodedosbinomiosconjugados)
(a+b)(ab)=a2b2
Elproductodelasumaporladiferenciadedoscantidadesesigualalcuadradodelaprimeracantidad,menoselcuadrado
delasegunda
Demostracin:
Entonces,paraentenderdeloquehablamos,cuandonosencontramosconunaexpresindelaforma(a+b)(a
b)debemosidentificarladeinmediatoysaberquepodemosfactorizarlacomoa2 b2
Ver:PSU:Matematica,
Pregunta15_2010
Pregunta19_2010
Pregunta09_2006
Otroscasosdeproductosnotable(oespeciales):
Productodedosbinomiosconuntrminocomn,delaforma
x2+(a+b)x+ab=(x+a)(x+
b)
Demostracin:
Veamosunejemploexplicativo:
70
Tenemoslaexpresinalgebraica
x2 +9x+14
obtenidadelproductoentre(x+2)(x+7)
Cmollegamosalaexpresin?
a)Elcuadradodeltrminocomnes(x)(x)=x2
b)Lasumadetrminosnocomunesmultiplicadaporeltrminocomnes(2+7)x=9x
c)Elproductodelostrminosnocomuneses(2)(7)=14
As,tenemos:
x2 +9x+14=(x+2)(x+7)
Entonces,paraentenderdeloquehablamos,cuandonosencontramosconunaexpresindelaformax2 +(a+b)x+
abdebemosidentificarladeinmediatoysaberquepodemosfactorizarlacomo(x+a)(x+b)
x2+(ab)xab=(x+a)(x
b)
Demostracin:
Entonces,paraentenderdeloquehablamos,cuandonosencontramosconunaexpresindelaformax2 +(ab)x
abdebemosidentificarladeinmediatoysaberquepodemosfactorizarlacomo(x+a)(xb).
x2(a+b)x+ab=(xa)(x
b)
Demostracin:
Entonces,paraentenderdeloquehablamos,cuandonosencontramosconunaexpresindelaformax2 (a+b)x+
abdebemosidentificarladeinmediatoysaberquepodemosfactorizarlacomo(xa)(xb).
mnx2+ab+(mb+na)x=(mx+a)
71
(nx+b)
Enestecaso,vemosqueeltrminocomn(x)tienedistintocoeficienteencadabinomio(mxynx).
Demostracin:
Entonces,paraentenderdeloquehablamos,cuandonosencontramosconunaexpresindelaformamnx2 +ab+(mb+
na)xdebemosidentificarladeinmediatoysaberquepodemosfactorizarlacomo(mx+a)(nx+b).
Cubodeunasuma
a3+3a2b+3ab2+b3=(a+b)3
Entonces,paraentenderdeloquehablamos,cuandonosencontramosconunaexpresindelaformaa3 +3a2 b+3ab2 +

b3 debemosidentificarladeinmediatoysaberquepodemosfactorizarlacomo(a+b)3 .
Cubodeunadiferencia
a33a2b+3ab2b3=(ab)3
Entonces,paraentenderdeloquehablamos,cuandonosencontramosconunaexpresindelaformaa3 3a2 b+3ab2

b3 debemosidentificarladeinmediatoysaberquepodemosfactorizarlacomo(ab)3 .
Amododeresumen,seentregaelsiguientecuadroconProductosnotablesylaexpresinalgebraicaquelo
representa:
Productonotable
Expresinalgebraica
Nombre
(a+b)2
a2 +2ab+b2
Binomioalcuadrado
(a+b)3
a3 +3a2 b+3ab2 +b3
Binomioalcubo
a2b2
(a+b)(ab)
Diferenciadecuadrados
a3 b3
(ab)(a2 +b2 +ab)
Diferenciadecubos
a3 +b3
(a+b)(a2 +b2 ab)
Sumadecubos
a4 b4
(a+b)(ab)(a2 +b2 )
Diferenciacuarta
(a+b+c)2
a2 +b2 +c2 +2ab+2ac+2bc
Trinomioalcuadrado
72
Factorizacinyproductosnotables
Ascomolosnmerosnaturalespuedenserexpresadoscomoproductodedosomsnmeros,lospolinomiospuedenser
expresadascomoelproductodedosomsfactoresalgebraicos.
Cuandounpolinomionosepuedefactorizarsedenominairreducible.Enloscasosenquelaexpresinesirreducible,solo
puedeexpresarsecomoelproductodelnmero1porlaexpresinoriginal.
Alprocesodeexpresarunpolinomiocomounproductodefactoresseledenominafactorizacin.
Elprocesodefactorizacinpuedeconsiderarsecomoinversoalprocesodemultiplicar.
Factorizar,entonces,quieredeciridentificarlosfactorescomunesatodoslostrminosyagruparlos.
Losfactorescomunessonaquellosnmerosqueaparecenmultiplicandoatodoslostrminosdeunaexpresinalgebraica.
Estosnmerospuedenestardadosexplcitamenteorepresentadosporletras.
As,factorizarunpolinomioesdescomponerloendosomspolinomiosllamadosfactores,detalmodoquealmultiplicarlos
entresseobtengaelpolinomiooriginal.
Enotraspalabras,dadaunaexpresinalgebraicacomplicada,resultatil,porlogeneral,eldescomponerlaenunproducto
devariostrminosmssencillos.
Porejemplo,2x3 +8x2 ysepuedefactorizar,oreescribir,como2x2 (x+4y).
Algunosejemplos:
Delaexpresinab2 +3cbb3 podemosfactorizarb
yobtenemoslaexpresin:b(ab+3cb2 )(1)
Veamospasoapasocmoseobtuvolaexpresin:
ahorapodramosreacomodarlaexpresinquequedadentrodelparntesis:
73
Finalmentesisustituimosesteltimoresultadoen(1),obtenemos:
ab2 +3cbb3 =b(b(ab)+3c)
ab2 +3cbb3 =b(abb2 +3c)
ab2 +3cbb3 =b(ab+3cb2 )
Porotrolado,algunosproductossencillosquetienenunaestructuradeterminadayquepuedenserevaluadosdeforma
directasedenominanProductosnotables.
Engeneralloscasosdefactorizacincorrespondenaloscasosdeproductosnotables.
Antesdemostrarejerciciosdeaplicacindefactorizacinyproductosnotables,esnecesariorecordarlaformadehallar
elmximocomndivisor(mcd)deunconjuntodenmerosdados.
Ejemplo:Determinarelmximocomndivisor(mcd)delosnmeros56,42y28.
Elmximocomndivisordeunconjuntodenmerosdadoscorrespondealmayornmeronaturalquelosdivide
simultneamente,conresiduocero.
Parahallarelmcddeunconjuntodeterminadodenmeros,estossedividensimultneamenteporlosdiferentesnmeros
primos(tomadosenordenascendente,ydesechandolosnmerosprimosporloscualesnosepuedahacerladivisincon
residuocerodetodoslosnmerosdelafila)segnelarreglomostradoacontinuacin.
Elprocesotermina,cuandolosnmerosqueaparecenenlafilainmediatamenteinferioralaltimadivisinsimultnea,no
puedendividirsesimultneamenteporalgnnmeroprimo.
Elmcdbuscadoeselproductodelosnmerosprimosqueaparecenaladerecha:
56
42
28
28
21
14
Losnmerosoriginales(56,42,28)seescribendesdelaizquierdahacialaderecha.
Aladerechadeellosseescribeel2(primernmeroprimodelalista)ysedividecadaunodeestosnmerospor2,
escribiendoelresultadoobtenidoenlamismacolumnadelnmerooriginal.
Lasegundafilamuestraestosresultados.
Comolosnmeros28,21y14nopuedendividirsesimultneamentepor3,estenmeroprimosedesecha.
74
Deformasimilarsedesechael5.
Elsiguientenmeroprimoenlalistaes7.
Enestecasosepuedehacerladivisinsimultneamenteobtenindoselosnmeros4,3y2.
Estaltimafilanopuededividirsesimultneamentenipor2nipor3.
Comoelsiguientenmeroprimo(5)esmayorque4,elprocesotermina.
Porlotanto,elmcddelosnmeros56,42y28eselproductodelosnmerosprimosdeladerecha:27=14
Loanteriorseexpresacomo:mcd(56,42,28)=14(elmximocomndivisordelosnmeros56,42y28esiguala14)
Ejemplo:Factorizar9x+6y12z
Esteesunejemplosencillodelafactorizacinporfactorcomn.
Dadaunaexpresinalgebraicaseencuentraelmximocomndivisor(mcd)deloscoeficientesdelostrminosdela
expresinalgebraica.
Estemcdcorrespondealcoeficientedelfactorcomn.
Paralaparteliteralsetomanlasvariablescomunesatodoslostrminosconelmenorexponentequeaparezca.
Paraesteejercicioelmcdde9,6y12es3ademscomonohayvariablescomunesenlostrestrminostenemos:
9x+6y12z=3(3x+2y4z)
esdecir9x+6y12zsehaexpresadocomoelproductodelosfactores3y3x+2y4z.
Ejemplo:Factorizar9xy2 +6y4 12y3 z
Enestecasoademsdelfactorcomn3(mcdde9,6,12)lavariableyescomnalostrestrminos.Lamenorpotencia
comnesy2 porlotantolafactorizacinqueda:
9xy2 +6y4 12y3 z=3y2 (3x+2y2 4yz)
Losfactoresenestecasoson3x+2y2 4yzy3y2 .Paraverificar,alrealizarelproductoindicadoseobtienelaexpresin
original:
3y2 (3x+2y2 4yz)=(3y2 *3x)+(3y2 *2y2 )(3y2 *4yz)
=9xy2 +6y4 12y3 z
75
Funcin matemtica
sivamente del valor de la segunda. Por ejemplo el rea A
de un crculo es funcin de su radio r: el valor del rea es
proporcional al cuadrado del radio, A = r2 . Del mismo
modo, la duracin T de un viaje de tren entre dos ciudades separadas por una distancia d de 150 km depende
de la velocidad v a la que este se desplace: la duracin
es inversamente proporcional a la velocidad, d / v. A la
primera magnitud (el rea, la duracin) se la denomina
variable dependiente, y la cantidad de la que depende (el
radio, la velocidad) es la variable independiente.
En anlisis matemtico, el concepto general de funcin,
aplicacin o mapeo se reere a una regla que asigna a cada elemento de un primer conjunto un nico elemento de
un segundo conjunto (correspondencia matemtica). Por
ejemplo, cada nmero entero posee un nico cuadrado,
que resulta ser un nmero natural (incluyendo el cero):
En la imagen se muestra una funcin entre un conjunto de

polgonos y un conjunto de nmeros. A cada polgono le
corresponde su nmero de lados.
Esta asignacin constituye una funcin entre el conjunto

de los nmeros enteros Z y el conjunto de los nmeros
naturales N. Aunque las funciones que manipulan nmeros son las ms conocidas, no son el nico ejemplo: puede
imaginarse una funcin que a cada palabra del espaol le
asigne su letra inicial:
Esta es una funcin entre el conjunto de las palabras del
espaol y el conjunto de las letras del alfabeto espaol.
La manera habitual de denotar una funcin f es:
f: A B
a f(a),
donde A es el dominio de la funcin f, su primer conjunto o conjunto de partida; y B es el codominio de f,
su segundo conjunto o conjunto de llegada. Por f(a) se
denota la regla o algoritmo para obtener la imagen de
un cierto objeto arbitrario a del dominio A, es decir, el
(nico) objeto de B que le corresponde. En ocasiones esta expresin es suciente para especicar la funcin por
completo, inriendo el dominio y codominio por el contexto. En el ejemplo anterior, las funciones cuadrado e
inicial, llmeseles f y g, se denotaran entonces como:
f: Z N
k k2 , o sencillamente f(k) = k2 ;
g: V A
Una funcin vista como una caja negra, que transforma los
valores u objetos de entrada en los valores u objetos de salida
p Inicial de p;
En matemticas, se dice que una magnitud o cantidad es si se conviene V = {Palabras del espaol} y A = {Alfabeto
funcin de otra si el valor de la primera depende exclu- espaol}.
1
76
2 INTRODUCCIN
Una funcin puede representarse de diversas formas: mediante el citado algoritmo o ecuaciones para obtener la
imagen de cada elemento, mediante una tabla de valores que empareje cada valor de la variable independiente
con su imagen como las mostradas arriba, o como
una grca que d una imagen de la funcin.
Historia
cion. Inicialmente la dependencia entre dos cantidades

se imaginaba como un proceso fsico, de modo que su expresin algebraica capturaba la ley fsica que corresponda a este. La tendencia a una mayor abstraccin se vio
reforzada a medida que se encontraron ejemplos de funciones sin expresin analtica o representacin geomtrica sencillas, o sin relacin con ningn fenmeno natural; y
por los ejemplos patolgicos como funciones continuas
sin derivada en ningn punto.
Durante el siglo XIX Julius Wilhelm Richard Dedekind,
Karl Weierstrass, Georg Cantor, partiendo de un estudio
profundo de los nmeros reales, desarrollaron la teora de
funciones, siendo esta teora independiente del sistema de
numeracin empleado.[cita requerida] Con el desarrollo de la
teora de conjuntos, en los siglos XIX y XX surgi la denicin actual de funcin, como una correspondencia entre
dos conjuntos de objetos cualesquiera, no necesariamente numricos.[5] Tambin se asoci con otros conceptos
vinculados como el de relacin binaria.
2 Introduccin
Gottfried Leibniz acu el trmino funcin en el siglo XVII.
El concepto de funcin como un objeto matemtico independiente, susceptible de ser estudiado por s solo, no
apareci hasta los inicios del clculo en el siglo XVII.[1]
Ren Descartes, Isaac Newton y Gottfried Leibniz establecieron la idea de funcin como dependencia entre
dos cantidades variables. Leibniz en particular acu los
trminos funcin, variable, constante y parme- Representacin grca de la velocidad de un cuerpo acelerado a
tro. La notacin f(x) fue utilizada por primera vez por 0,66 m/s2 .
A.C. Clairaut, y por Leonhard Euler en su obra Commentarii de San petersburgo en 1736.[2][3][4]
Una funcin es un objeto matemtico que se utiliza para
Inicialmente, una funcin se identicaba a efectos prcti- expresar la dependencia entre dos magnitudes, y puede
cos con una expresin analtica que permita calcular sus presentarse a travs de varios aspectos complementarios.
valores. Sin embargo, esta denicin tena algunas limi- Un ejemplo habitual de funcin numrica es la relacin
taciones: expresiones distintas pueden arrojar los mismos entre la posicin y el tiempo en el movimiento de un cuervalores, y no todas las dependencias entre dos cantida- po.
des pueden expresarse de esta manera. En 1837 Dirichlet Un mvil que se desplaza con una aceleracin de 0,66
propuso la denicin moderna de funcin numrica co- m/s2 recorre una distancia d que est en funcin del tiemmo una correspondencia cualquiera entre dos conjuntos po transcurrido t. Se dice que d es la variable dependiente
de nmeros, que asocia a cada nmero en el primer con- de t, la variable independiente. Estas magnitudes, calculajunto un nico nmero del segundo.
das a priori o medidas en un experimento, pueden consigLa intuicin sobre el concepto de funcin tambin evolu- narse de varias maneras. (Se supone que el cuerpo parte
77
3.1
Funciones con mltiples variables
en un instante en el que se conviene que el tiempo es t =

0 s.)
Los valores de las variables pueden recogerse en una
tabla, anotando la distancia recorrida d en un cierto instante t, para varios momentos distintos:
La grca en la imagen es una manera equivalente de

presentar la misma informacin. Cada punto de la curva roja representa una pareja de datos tiempo-distancia,
utilizando la correspondencia entre puntos y coordenadas
del plano cartesiano. Tambin puede utilizarse un regla o
algoritmo que dicte como se ha de calcular d a partir de t.
En este caso, la distancia que recorre un cuerpo con esta
aceleracin est dada por la expresin:
2
d = 0,33 t ,
donde las magnitudes se expresan unidades del SI. De estos tres modos se reeja que existe una dependencia entre
ambas magnitudes.
Una funcin tambin puede reejar la relacin de una variable dependiente con varias variables independientes. Si
el cuerpo del ejemplo se mueve con una aceleracin constante pero indeterminada a, la distancia recorrida es una
funcin entonces de a y t; en particular, d = at 2 /2. Las
funciones tambin se utilizan para expresar la dependencia entre otros objetos cualesquiera, no solo los nmeros.
Por ejemplo, existe una funcin que a cada polgono le
asigna su nmero de lados; o una funcin que a cada da
de la semana le asigna el siguiente:
3
Exceptuando al 0, todos los nmeros reales tienen un
nico inverso. Existe entonces la funcin inverso
cuyo dominio son los nmeros reales no nulos R \
{0}, y con codominio R.
Cada mamfero conocido se clasica en un gnero,
como Homo, Sus o Loxodonta. Existe por tanto una
funcin clasicacin en gneros que asigna a cada
mamfero de la coleccin M = {mamferos conocidos} su gnero. El codominio de clasicacin en
gneros es la coleccin G = {gneros de Mammalia}.
Existe una funcin rea que a cada tringulo del
plano (en la coleccin T de todos ellos, su dominio),
le asigna su rea, un nmero real, luego su codominio es R.
En unas elecciones en las que cada votante pueda
emitir un nico voto, existe una funcin voto que
asigna a cada elector el partido que elija. En la imagen se muestra un conjunto de electores E y un conjunto de partidos P, y una funcin entre ellos.
3.1 Funciones con mltiples variables

Existen muchos ejemplos de funciones que necesitan
dos valores para ser calculadas, como la funcin tiempo de viaje T, que viene dada por el cociente entre la
distancia d y la velocidad media v: cada pareja de nmeros reales positivos (una distancia y una velocidad) tiene
asociada un nmero real positivo (el tiempo de viaje). Por
tanto, una funcin puede tener dos (o ms) variables independientes.
La nocin de funcin de mltiples variables independientes no necesita de una denicin especca separada de
Lunes Martes, Martes Mircoles,..., Dola de funcin ordinaria. La generalidad de la denimingo Lunes
cin anterior, en la que se contempla que el dominio sea
un conjunto de objetos matemticos arbitrarios, permite
omitir la especicacin de dos (o ms) conjuntos de va3 Denicin
riables independientes, A1 y A2 , por ejemplo. En lugar de
ello, el dominio se toma como el conjunto de las parejas
La denicin general de funcin hace referencia a la de- (a1 , a2 ), con primera componente en A1 y segunda componente en A2 . Este conjunto se denomina el producto
pendencia entre los elementos de dos conjuntos dados.
cartesiano de A1 y A2 , y se denota por A1 A2 .
Un objeto o valor genrico a en el dominio A se denomina
la variable independiente; y un objeto genrico b del do- De este modo las dos variables independientes quedan
minio B es la variable dependiente. Tambin se les llama reunidas en un solo objeto. Por ejemplo, en el caso de la
+
+
valores de entrada y de salida, respectivamente. Esta de- funcin T, su dominio es el conjunto R R , el conjunnicin es precisa, aunque en matemticas se utiliza una to de parejas de nmeros reales positivos. En el caso de
denicin formal ms rigurosa, que construye las funcio- ms de dos variables, la denicin es la misma, usando
un conjunto ordenado de mltiples objetos, (a1 ,..., a ),
nes como un objeto concreto.
una n-tupla. Tambin el caso de mltiples variables dependientes se contempla de esta manera. Por ejemplo, una
Ejemplos
funcin divisin puede tomar dos nmeros naturales como valores de entrada (dividendo y divisor) y arrojar dos
Todos los nmeros reales tienen un cubo, por lo que nmeros naturales como valores de salida (cociente y resexiste la funcin cubo que a cada nmero en el to). Se dice entonces que esta funcin tiene como domidominio R le asigna su cubo en el codominio R.
nio y codominio el conjunto N N.
78
3 DEFINICIN
3.2
Notacin. Nomenclatura
3.3 Imagen e imagen inversa
La notacin habitual para presentar una funcin f con dominio A y codominio B es:
f: A
a
B
b = f (a)
Tambin se dice que f es una funcin de A a B o entre

A y B. El dominio de una funcin f se denota tambin
por dom(f), D(f), Df, etc. Por f(a) se resume la operacin o regla que permite obtener el elemento de B asociado a un cierto a A, denominado la imagen de a.[6]
Ejemplos
La funcin cubo puede denotarse ahora como f:
R R, con f(x) = x3 para cada nmero real x.
La funcin inverso es g: R \ {0} R, con g(x) =
1/x para cada x real y no nulo.
Dado un conjunto de votantes y un conjunto de posible partidos,

en unas elecciones, el sentido del voto de cada individuo se puede
visualizar como una funcin.
La funcin clasicacin en gneros puede escribirse como : M G, donde (m) = Gnero de m, Los elementos del codominio B asociados con algn elemento del dominio A constituyen la imagen de la funcin.
para cada mamfero conocido m.
La funcin rea se puede denotar como A: T La imagen de una funcin f se denota por Im(f), y la de
R, y entonces A(t) = rea de t = B H/2, donde t es un subconjunto X por f(X) o f[X]. En notacin conjuntista las imgenes de f y X se denotan:
un tringulo del plano, B su base, y H su altura.
La funcin voto se puede escribir como v: E P,
donde v(a) = Partido que a vot, para cada votante
a.
Im(f ) = {b B : existea A que tal f (a) = b}

f (X) = {b X : existea A que tal f (a) = b}
La notacin utilizada puede ser un poco ms laxa, como

por ejemplo la funcin f(n) = n. En dicha expresin
no se especica que conjuntos se toman como dominio y
codominio. En general, estos vendrn dados por el contexto en el que se especique dicha funcin. En el caso de
funciones de varias variables (dos, por ejemplo), la imagen del par (a1 , a2 ) no se denota por f((a1 , a2 )), sino por
f(a1 , a2 ), y similarmente para ms variables.
Existen adems terminologas diversas en distintas ramas
de las matemticas para referirse a funciones con determinados dominios y codominios:
Funcin real: f: R R
Funcin compleja: f: C C
Funcin escalar: f: Rn R
Funcin vectorial: f: Rn Rm
Tambin las sucesiones innitas de elementos tales como
a, b, c, ... son funciones, cuyo dominio en este caso son
los nmeros naturales. Las palabras funcin, aplicacin, mapeo, u otras como operador, funcional,
etc. pueden designar tipos concretos de funcin segn el
contexto. Adicionalmente, algunos autores restringen la
palabra funcin para el caso en el que los elementos
del conjunto inicial y nal son nmeros.[7]
La anti-imagen de cada partido es el conjunto de los electores

que lo votaron.
La imagen de una funcin f es un subconjunto del codominio de la misma, pero no son necesariamente iguales:
pueden existir elementos en el codominio que no son la
imagen de ningn elemento del dominio, es decir, que no
tienen preimagen.
As, la preimagen de un elemento del codominio puede
no contener ningn objeto o, por el contrario, contener
uno o ms objetos, cuando a uno o varios elementos del
79
5
dominio se les asigna dicho elemento del codominio. En Las funciones biyectivas constituyen un emparejamiennotacin conjuntista, se escriben:
to perfecto entre los elementos del dominio y el codominio: cada elemento en A tiene una nica pareja en
1
B como todas las funciones, y a cada elemento de
f (b) = {a A : f (a) = b}
B le corresponde uno solo en A al menos uno por ser
f 1 (Y ) = {a A : existe b Y con f (a) = b}suprayectiva, y como mucho uno por ser inyectiva.
Ejemplos
La imagen de la funcin cubo f es todo R, ya que
todo nmero real posee una raz cbica real. En particular, las races cbicas de los nmeros positivos
(negativos) son positivas (negativas), por lo que se
tiene, por ejemplo, f 1 (R+ ) = R+ .
El recorrido de la funcin inverso g no es igual a su
codominio, ya que no hay ningn nmero real x cuyo
inverso sea 0, 1/x = 0.
Para la funcin clasicacin en gneros se tiene:
(Perro) = Canis, y 1 (Canis) = {Perro, coyote, chacal,...}.
Como el rea es siempre un nmero positivo, el recorrido de la funcin rea A es R+ .
En el diagrama puede comprobarse que la imagen de
la funcin voto v no coincide con el codominio, ya
que el partido C no recibi ningn voto. Sin embargo
puede verse que, por ejemplo, v1 (Partido A) tiene
2 elementos.
3.4
Ejemplos.
La funcin cubo f: R R es biyectiva. Es inyectiva
porque dos nmeros reales que tienen el mismo cubo
son idnticos, y es suprayectiva porque Im(f) = R.
La funcin inverso g: R \ {0} R es inyectiva, ya
que el inverso de cada nmero real no nulo es nico
(1/x = 1/y implica necesariamente que x = y). Sin
embargo no es suprayectiva, dado que Im(g) = R \
{0}.
La funcin de clasicacin de mamferos : M G
no es inyectiva, ya que hay mamferos distintos en
el mismo gnero (por ejemplo, (Yak) = (Toro) =
Bos). Sin embargo s es suprayectiva, ya que en cada
gnero de mamferos hay clasicada al menos una
especie de mamferos.
La funcin rea A: T R no es sobreyectiva, ya que
Im(A) = R+ . Tampoco es inyectiva, ya que pueden
construirse con facilidad tringulos distintos con el
mismo rea.
En la imagen pueden verse varios ejemplos de funciones entre un conjunto de pinceles P y un conjunto
de caras C.
Igualdad de funciones
Dadas dos funciones, para que sean idnticas han de te- 5 lgebra de funciones
ner el mismo dominio y codominio, y asignar la misma
Con las funciones puede realizarse una operacin de
imagen a cada elemento del dominio:
composicin con propiedades similares a las de la
multiplicacin.
Funciones inyectivas, suprayectivas y biyectivas

5.1 Composicin de funciones
La imagen inversa de un elemento del codominio puede Dadas dos funciones, bajo ciertas condiciones podemos
ser vaca, o contener varios objetos del dominio. Esto da usar los valores de salida de una de ellas como valores de
entrada para la otra., creando una nueva funcin.
lugar a la siguiente clasicacin:
Las funciones inyectivas no repiten las imgenes: si b = Es decir, la composicin g f hace actuar primero la funf(a), ningn otro a' tiene por imagen a b, por lo que la cin f sobre un elemento de A, y luego g sobre la imagen
anti-imagen de este ltimo slo contiene al elemento a. que se obtenga:
Las funciones suprayectivas recorren todo el codominio,
x 7 f (x) 7 g(f (x))
por lo que ninguna anti-imagen puede estar vaca. La denicin de funcin suprayectiva asume que esta tiene un
codominio especicado previamente. De lo contrario, la La condicin Im(f) C asegura precisamente que este
nocin de suprayectividad no tiene sentido.
segundo paso se pueda llevar a cabo.
Cuando una funcin tiene ambas propiedades a la vez, se
dice que es una biyeccin entre ambos conjuntos:
Ejemplos
80
5 LGEBRA DE FUNCIONES
5.2 Funcin identidad

En cualquier conjunto puede denirse una funcin identidad, que teniendo como dominio y codominio al propio
conjunto, asocia cada elemento consigo mismo.
Tambin se denota como IA. La funcin identidad acta
como un elemento neutro al componer funciones, ya que
no hace nada.
Es decir, dado un elemento x A, se tiene que:
id
A
x 7
x 7 f (x)
id
B
x 7 f (x) 7
f (x)
5.3 Funcin inversa

Una funcin puede tener inversa, es decir, otra funcin
que al componerla con ella resulte en la identidad, del
mismo modo que un nmero multiplicado por su inverso
da 1.
No todas las funciones son invertibles, sino que solo aquellas que sean biyectivas poseen inversa:
La notacin para funciones inversas puede ser confusa.
Para un elemento del codominio b, f 1 (b) puede denotar
tanto la anti-imagen de b (un subconjunto del dominio),
como a la imagen de b por la funcin inversa de f (un
elemento del dominio), en el caso de que f sea invertible.
Ejemplos.
La composicin g f acta sobre el objeto x transformndolo
segn f, y despus transformando f(x) mediante g.
La imagen de la funcin inverso g es R \ {0}

puesto que todo nmero real no nulo es el inverso de
otro, y por tanto est contenido en el dominio de
la funcin cubo f, que es R. La composicin f g:
R \ {0} R acta entonces como f(g(x)) = f(1/x)
= (1/x)3 = 1/x3 .
Dadas las funciones reales h1 : R R y h2 : R R
dadas por h1 (x) = x2 y h2 (x) = x + 1, puede tomarse
la composicin en ambos rdenes, h1 h2 y h2 h1 .
Sin embargo, son funciones distintas, ya que:
(h1 h2 )(x) = h1 (h2 (x)) = h1 (x + 1) = (x + 1)2
= x2 + 2x + 1, y
(h2 h1 )(x) = h2 (h1 (x)) = h2 (x2 ) = x2 + 1
La funcin que clasica los mamferos en gneros
puede componerse con la funcin : G Or que
clasica los gneros de mamferos en rdenes que
forman el conjunto Or. La funcin asigna a
cada mamfero su orden:
( )(Humano) = (Homo) = Primate, (
)(Guanaco) = (Lama) = Artiodactyla
La funcin exponencial h: R R, que asocia a

cada nmero real su exponencial, h(x) = ex , no es
invertible, ya que no es suprayectiva: ningn nmero
negativo pertenece a la imagen de h.
Existe una funcin que calcula el cambio entre dos
divisas. En el caso del cambio de rupias a quetzales
(las monedas de la India y Guatemala), la conversin
est dada (en 2011) por:
Q(r) = 0,15 r
Esta funcin de cambio tiene inversa, la conversin
recproca de quetzales a rupias:
R(q) = 6,65 q
La funcin cubo f(x) = x3 es invertible, ya que podemos denir la funcin inversa mediante la raz cbica, f 1 (x) = 3 x.
La funcin de clasicacin en gneros : M G
no es invertible, ya que no es inyectiva, y para cada
gnero pueden existir varios mamferos clasicados
en l.
La funcin que asigna a cada da de la semana su
siguiente tiene por inversa la funcin que asigna a
cada da de la semana su antecesor:
Lunes Domingo, Martes Lunes,..., Domingo Sbado
81
Serie matemtica
1.2 Convergencia
En matemticas, una serie es la generalizacin de la nocin de suma a los trminos de una sucesin innita.
Informalmente, es el resultado de sumar los trminos:
a1 + a2 + a3 + a4 + a5 + a6 . . . lo cual suele escribirse
en forma ms compacta con el smbolo de sumatorio:
1n an .
Por denicin, la serie n=0 an converge al lmite L

si y solo si la sucesin de sumas parciales asociada Sk
converge a L . Esta denicin suele escribirse como
El estudio de las series consiste en la evaluacin de la su
ma de un nmero nito n de trminos sucesivos, y me- L =

an L = lim Sk
k
diante un pasaje al lmite identicar el comportamiento
n=0
de la serie a medida que n crece indenidamente.
Una secuencia o cadena nita, tiene un primer y ltimo
trmino bien denidos; en cambio en una serie innita,
cada uno de los trminos suele obtenerse a partir de una
determinada regla o frmula, o por algn algoritmo. Al
tener innitos trminos, esta nocin suele expresarse como serie innita, pero a diferencia de las sumas nitas,
las series innitas requieren de herramientas del anlisis
matemtico para ser debidamente comprendidas y manipuladas. Existe una gran cantidad de mtodos para determinar la naturaleza de convergencia o no-convergencia
de las series matemticas, sin realizar explcitamente los
clculos.
2 Ejemplos
Una serie geomtrica es aquella en la que cada trmino se obtiene multiplicando el anterior por una
constante, llamada razn r. En este ejemplo, la razn r = 1/2):
1+
En general, una serie geomtrica es convergente, slo si

|z| < 1, a:
tipos de series
1.1
Sumas parciales
Para cualquier sucesin matemtica {an } de nmeros racionales, reales, complejos, funciones, etc., la serie asociada se dene como la suma formal ordenada:
1 1 1
1
1
+ + +
+ =
.
2 4 8 16
2n
n=0
n=0
az n =
a
1z
La serie armnica es la serie
an = a0 + a1 + a2 +
n=0
1+
1 1 1 1
1
+ + + + =
.
2 3 4 5
n
n=1
La sucesin de sumas parciales {Sk } asociada a una

sucesin {an } est denida para cada k como la suma
La serie armnica es divergente.
de la sucesin {an } desde a0 hasta ak :
Sk =
Una serie alternada es una serie donde los trminos

cambian de signo:
an = a0 + a1 + + ak
n=0
Muchas de las propiedades generales de las series suelen

enunciarse en trminos de las sumas parciales asociadas.
1
1 1 1 1
+ + =
(1)n+1 .
2 3 4 5
n
n=1
82
6 ENLACES EXTERNOS
Una serie telescpica es la suma
bn bn:
an , donde an =
1-2+3-4+...
Frmula de Faulhaber
Serie convergente
Lmite de una sucesin
(bn bn+1 )
Anexo:Series matemticas
n=0
La convergencia de dicha serie y su suma se pueden calcular fcilmente, ya que:
5 Referencias
K.R. Stromberg, T.J. Bromwich; K. Knopp, A. ZygSN = (b0 b1 )+(b1 b2 )+ +(bN 1 bN )+(bN bN +1 ) = bmund,
0 bN +1
N.K. Bari (2001), Series, en Hazewinkel,
Una serie hipergeomtrica es una serie de la forma:
n=0
an , con
an+1
an
n+
n+
3 Convergencia de series
Una serie an se dice que es convergente (o que converge)
si la sucesin SN de sumas parciales tiene un lmite nito.
Si el lmite de SN es innito o no existe, se dice que la
serie diverge. Cuando este lmite existe, se le llama suma
de la serie.
an = lim SN = lim
N
n=0
Michiel (en ingls), Encyclopaedia of Mathematics,

Springer, ISBN 978-1556080104.
Weisstein, Eric W. Series. En Weisstein, Eric W.
MathWorld (en ingls). Wolfram Research.
A history of the calculus (en ingls).
6 Enlaces externos
Apuntes_UPM
an .
n=0
Si todos los an son cero para n sucientemente grande, la

serie se puede identicar con una suma nita. El estudio
de la convergencia de series, se centra en las propiedades
de las series innitas que incluyen innitos trminos no
nulos. Por ejemplo, el nmero peridico
Sn = 0.111111...
tiene como representacin decimal, la serie
1
n
10
n=1
Dado que estas series siempre convergen en los nmeros

reales (ver: espacio completo), no hay diferencia entre este tipo de series y los nmeros decimales que representan.
Por ejemplo, 0.111 y 1 /9 ; o bien 1=0,9999...
Vase tambin
Serie de Taylor
Serie de Laurent
83
EXPONENTESYLEYESDEEXPONENTES
El concepto de exponente es de mucha utilidad para expresar nmeros en una forma ms

corta.Porejemplo:elproducto2x2x2x2x2seexpresadelaforma25yseleedosala
cinco. La expresin 2 x 2 x 2 x 2 x 2 est en la forma expandida y la expresin 25 es
unaexpresinexponencial.Elvalor32eslaquintapotenciade2.
Definicin:Laexpresinxnsignificaquexaparecemultiplicadanveces.xseconocecomo
la base y n como el exponente. Se llamapotencia al valor que se obtiene al multiplicar la
basenveces.Estoes,xn=xxxxmultiplicadoporsimismonveces.
Ejemplos:
1)Lanotacinexponencialde(3)(3)(3)(3)es(3)4.
2)Lanotacinexponencialdebbbesb3.
3) El valor de (2)4 es (2)(2)(2)(2) = 16. La expresin (2)4 se lee negativo dos a la
cuatro.
4)Elvalorde24es(2222)=(16)=16.Laexpresin24seleeelopuestodedosa
lacuatro.
5)Culeselvalorde()3?
Definicin: Para toda base x, x1 = x. Esto es, cualquier nmero elevado a la uno es el
mismonmero.
Ejemplos:31=3(17)1=17(259)1=259
Definicin: Cualquier nmero diferente de cero, elevado a la cero es igual a uno. Esto es,
paratodabasex,x0,x0=1.
Ejemplos:30=1(5)0=1()0=100noestdefinido
Definicin:Cualquiernmerodiferentedeceroynunnmeroentero,tenemos:
84

Ejemplos:
Ejercicio:Hallaelvalorde:
1)42=
2)(4)2=
3)42=
4)()2=
5)42=
6)()2=
LeyesdeExponentes
85
Sucesin matemtica
1.1 Denicin formal
Una sucesin nita (ak ) (de longitud r) con elementos
pertenecientes a un conjunto S, se dene como una funcin
f : {1, 2, . . . , r} S .
y en este caso el elemento ak corresponde a f (k) .
Por ejemplo, la sucesin nita, (de longitud 4) de nmeros
primos menores que 10:
Una sucesin innita de nmeros reales (en azul). La sucesin no

es ni creciente, ni decreciente, ni convergente, ni es una sucesin
de Cauchy. Sin embargo, s es una sucesin acotada.
2, 3, 5, 7
Una sucesin matemtica es un conjunto ordenado de
objetos matemticos, generalmente nmeros. Cada uno corresponde a la funcin f : {1, 2, 3, 4} P (donde P
de ellos es denominado trmino (tambin elemento o es el conjunto de nmeros primos) denida por:
miembro) de la sucesin y al nmero de elementos ordenados (posiblemente innitos) se le denomina la longitud
f (1) = 2, f (2) = 3, f (3) = 5, f (4) = 7 .
de la sucesin. No debe confundirse con una serie matemtica, que es la suma de los trminos de una sucesin.
A diferencia de un conjunto, el orden en que aparecen los Una sucesin innita (ak ) con elementos pertenecientes
trminos s es relevante y un mismo trmino puede apare- a un conjunto S, se dene como una funcin
cer en ms de una posicin. De manera formal, una sucesin puede denirse como una funcin sobre el conjunto
f :NS.
de los nmeros naturales (o un subconjunto del mismo) y
es por tanto una funcin discreta.
en donde, de forma anloga, ak corresponde a f (k) .
Ejemplo
1.2 Notacin
La sucesin (A, B, C) es una sucesin de letras que diere
de la sucesin (C, A, B). En este caso se habla de sucesiones nitas (de longitud igual a 3). Un ejemplo de sucesin
innita sera la sucesin de nmeros positivos pares: 2, 4,
6, 8, ...
Notaremos por {xn }nN a una sucesin, donde x la identica como distinta de otra digamos {yn }nN .
La notacin es permisiva en cuanto a su modicacin si
realmente es necesario.
En ocasiones se identica a las sucesiones nitas con

palabras sobre un conjunto. Puede considerarse tambin
el caso de una sucesin vaca (sin elementos), pero este 1.3 Denicin de trmino general
caso puede excluirse dependiendo del contexto.
Llamaremos trmino general de una sucesin a xn ,donde el subndice n N indica el lugar que ocupa en dicha
sucesin.
Deniciones
Las diferentes deniciones suelen estar ligadas al rea de 1.4 Denicin de parcial
trabajo, la ms comn y poco general es la denicin de
sucesin numrica, en la prctica se usan sucesiones de Llamaremos parcial de {xn }nN a una sucesin
forma intuitiva.
{xni }ni N donde ni < ni+1 .
1
86
3 SUCESIONES NUMRICAS
Notacin
Si la sucesin numrica se formaliza como una aplicacin

de los nmeros naturales en los nmeros reales, es decir :
Existen diferentes notaciones y nociones de sucesin en

matemticas, dependiendo del rea de estudio, algunas de
a: N R
las cuales (como por ejemplo sucesin exacta) no quedan
n an
comprendidas en la notacin que se introduce a continuacin.
En cualquier caso se denota simplemente como {an }nN
Se puede usar la notacin (an ) para indicar una sucesin, o, si se da por entendido que los subndices son enteros,
en donde a hace referencia al elemento de la sucesin tambin se denota como {an }n0 .
n
en la posicin n.
El nombre que recibe la sucesin tambin puede hacer

Ejemplo. Retomando el ejemplo de los nmeros positi- referencia a los valores que toma sobre los reales; as, si
la imagen de a fuesen los racionales, es decir fracciones
vos pares, si denotamos dicha sucesin por (pn ) :
enteras del tipo xy , y=0 , se puede llamar sucesin de nmeros racionales, y lo mismo para los irracionales, natu(pn ) = 2, 4, 6, 8, 10, 12, ...
rales, enteros, algebraicos, trascendentes, ...
entonces
p1 = 2, p2 = 4, p3 = 6, p4 = 8, . . . .
En el caso de que los elementos de la sucesin queden determinados por una regla, se puede especicar la sucesin
haciendo referencia a la frmula de un trmino arbitrario.
Ejemplo. La sucesin anterior (pn ) puede especicarse
mediante la frmula pn = 2n .
No es infrecuente encontrar sucesiones en donde los subndices denotando posiciones inician desde cero, en vez
desde uno, particularmente en matemtica discreta o en
ciencias de la computacin. Tambin se puede usar una
variable distinta a n para denotar el trmino general, cuando as convenga para evitar confusin con otras variables.
Puede ser creciente o decreciente. Las hay en progresin

aritmtica o en progresin geomtrica, la diferencia bsica es que en la sucesin aritmtica la razn de cambio
entre un miembro y otro es la suma o resta de la misma
razn, y en la sucesin geomtrica el siguiente nmero de
la sucesin se logra por multiplicar o dividir la razn de
cambio. En cualquier caso la razn de cambio es constante y no puede variar, a menos que el cambio de la razn
tambin corresponda a una sucesin, lo que supone tener
una sucesin dentro de otra sucesin.
El trmino general de la sucesin queda denido de forma
implcita si su valor depende de sus predecesores. En general, dados previamente los valores de a0 , a1 , ... , an
, podemos denir el trmino general de forma inductiva
como ai+1 = f (ain , ... , ai ), i n como por ejemplo con la ecuacin en recurrencias ai+1 = b0 ain +
... + bn ai + cn , i n, b0 , ... , bn , cn R .
En la literatura es posible encontrar una gran variedad de

notaciones alternativas. Por ejemplo, uso de llaves en vez
de parntesis, o indicaciones de los lmites mediante va- 3.1 Tipos
riantes de super y subndices, a continuacin se muestran
algunos pocos ejemplos:
3.1.1 Sucesin nita
{an } = a1 , a2 , a3 , . . .
(ak )m
k=1 = a1 , a2 , a3 , . . . , am
{an }nN = a1 , a2 , a3 , . . . ,
Sucesiones numricas
Se dice que una sucesin es nita si determinamos su ltimo trmino, por ejemplo el n-simo:
Genricamente: a0 , a1 , a2 , ... , ai , ... , an
, donde ai sera el trmino general si hiciese
falta.
ejemplo: 100, 99, 98, ... , 1, 0
Una sucesin numrica se formaliza como una 3.1.2 Sucesin constante

aplicacin de los nmeros naturales sobre otro conjunto
numerico, as por ejemplo:
Se dice que una sucesin es constante si todos los trminos valen un mismo valor, k , es decir, un mismo nmero
real cualquiera, ejemplo:
a: N N
n an
a0 = k, a1 = k, a2 = k, a3 = k, ... , an = k, ...
Una sucesin de N sobre N, como la sucesin de Fibonacci.
k=1
87

Apendice
A
Matematica.
Induccion
Consideremos por un momento el polinomio p(x) = x2 + x + 41. Sustituyendo
x = 1; 2; 3 : : : obtenemos los valores
x
+ x + 41
43
47
53
61
71
Observemos que todos los valores obtenidos son numeros

primos. Sera cierto
que para cualquier entero x el valor que se obtiene es un numero

primo?
adelante.
Responderemos esta pregunta mas
A.1 (Yuc-98) Considera un triangulo

rectangulo
isosceles
con catetos iguales a 1. Sobre la
hipotenusa de este
se levanta un segundo triangulo
rectangulo
de cateto igual a 1, como
se muestra en la figura, sobre la hipotenusa de este nuevo triangulo

se levanta un ter
cer triangulo
rectangulo
y as sucesivamente. Encuentra la longitud de la hipotenusa del
triangulo
numero
1998.
p
p
Usando el Teorema de Pitagoras

obtenemos que la primera hipotenusa vale 2,
continuara, obtendramos que la
la tercera vale 3, la cuarta vale 4. Si este patron
hipotenusa del triangulo

1998 sera 1999. Pero, podemos asegurar que este patron
realmente continua?
18
88

A.1.
19
Matematica.
El metodo
de Induccion
En muchos problemas necesitamos demostrar que una propiedad que depende

de un numero
entero n se cumple para todos los enteros positivos. La
tecnica
canonica
que usaremos para lograr este objetivo se denomina induccion
matematica.
En su forma simple, este metodo

consta de dos etapas:
1.
Se verifica que la propiedad se cumple para un valor inicial (n = 1).
2.
Se demuestra que si la propiedad se cumple para algun

entero k, entonces
se cumple para el siguiente (k + 1).
Una vez verificados esos 2 requisitos, podemos asegurar que la propiedad se

cumple para n = 1; 2; 3; : : :.
Veamos un ejemplo practico

antes de analizar porque funciona el metodo.
En el problema del triangulo, queremos comprobar la propiedad

La hipotenusa del triangulo
es
n+1
Notemos que la propiedad depende de un y solo un n

umero entero, el valor de
n. Esto es un indicador de que el m
etodo de induccion matematica podra ser
apropiado.
La primera etapa pide mostrar que la p
propiedad se cumple para n = 1, es decir,
que la hipotenusa del primer triangulo es 2, lo cual es cierto en virtud del Teorema
de Pitagoras.
En la segunda etapa, imaginamos que ya sabemos que la propiedad
se cumple
p
para alg
un valor k (o sea, la hipotenusa del triangulo k es k + 1). Queremos
probar que la propiedad
p tambien se cumple para k + 1 (o sea, la hipotenusa del
triangulo k + 1 es k + 2).
Para calcular la hipotenusa del triangulo k+1 aplicamos el Teorema de Pitagoras.
Uno de sus catetos es 1, y elpotro es la hipotenusa del triangulo anterior, el cual
estamos suponiendo que vale k + 1. Entonces
q
hipotenusa =
+ (
k + 1)
1+ k +1 =
k + 2:
Comprobamos que si la propiedad se cumple para un entero k, se cumple para

k + 1. Entonces la inducci
on matematica nos garantiza que la propiedad siempre
se
cumple,
y
ya
somos
capaces
de asegurar que la hipotenusa del triangulo 1998 es
p
1999.
Porque funciona el metodo?

Este proceso puede compararse a una escalera, donde la primera etapa nos
y la segunda etapa construye nuevos peldanos
da el primer peldano,
a partir de
Pedro Sanchez
89

20
los anteriores.
La primera etapa prueba que la propiedad se cumple para n = 1, dandonos

un punto de partida. La segunda etapa dice que si sabemos que la propiedad se
cumple para algun
entero, se cumple para el siguiente. Pero la primera etapa nos
dice que la propiedad se cumple para n = 1 ! Entonces podemos asegurar que la
propiedad se cumple para el siguiente entero, es decir, n = 2. Como la propiedad
se cumple para n = 2, la segunda etapa nos dice que se cumple para el siguiente,
n = 3. Como ahora ya sabemos que se cumple para n = 3, la segunda etapa nos
dice que la propiedad se cumple para n = 4, y as sucesivamente.
Esto basta para asegurar que la propiedad se cumple para n = 1; 2; 3; 4; : : :, ya
que no importa que numero
escojamos, en algun
momento la escalera alcanza

ese numero.
Variantes del metodo

de induccion.
sugiere algunas variantes. Por ejemplo,

El analisis
del metodo
de induccion
en la primera etapa, el valor inicial no necesariamente tiene que ser 1. Si en la
primera etapa probamos (por ejemplo) que la propiedad se cumple para n = 10,
nos garantiza que la propiedad se cumple unicamente

el metodo
de Induccion
para n = 10; 11; 12; : : :, y si probasemos

que la propiedad se cumple para
nos garantiza que la propiedad se cumple para

n =
3, el metodo
de Induccion
n =
3;
2;
1; 0; 1; 2; : : :. Sin embargo, en la mayor
a de los problemas el paso
inicial es n = 0 o n = 1.
es susceptible de modificacion.
Un ejemplo sera
La segunda etapa tambien
probar que si la propiedad se cumple para algun
entero k, se cumple para k + 2.
En este caso, suponiendo que el valor inicial fuese n = 1, habramos probado
que la propiedad se cumple para n = 1; 3; 5; 7 : : : (Cerciorarse de este hecho).
Sin embargo, las modificaciones a la segunda etapa son bastante raras, y con
frecuencia pueden evitarse escogiendo adecuadamente la variable de induccion.
Importancia de las dos etapas.

Si bien es cierto que la segunda etapa es la que demuestra que la propiedad
se cumple, la primera tiene una importancia fundamental. Un error comun
es dar
por sentada la primera parte del metodo

y comprobar unicamente
la segunda. Este
es un error que se debe evitar, pues es necesario tener un punto inicial para que
pueda funcionar. Consideremos el siguiente ejemplo.
la induccion
En el problema del triangulo,

imaginemos que equivocadamente hubieramos
n
1.
notado que la hipotenusa del triangulo
n era
En la segunda etapa suponemos que la propiedad se cumple para un k e
se cumple para k + 1. Usando el Teorema de
intentamos probar que tambien
Pedro Sanchez
90

21
Pitagoras:
q
hipotenusa =
+ (
1)
y concluimos que la hipotenusa el triangulo

n es
1+ k
1 =
k:
en vez de
!!.
n+1
El error provino de omitir la primera etapa, que es la que nos provee de una
base verdadera para que la segunda etapa construya una escalera de verdades.
de probar los primeros
Analicemos ahora el problema del polinomio. Despues
20 numeros
obtenemos siempre numeros
primos (esto equivaldra a realizar la
primera etapa), sin embargo, como nos es difcil probar la segunda parte, nos
de hacer muchos casos, concluimos que el
vemos tentados a decir despues
grande
polinomio siempre devuelve numeros
primos. Este es un error aun
mas
que el anterior, pues
p(41) = 41
+ 41 + 41 = 41(41 + 1 + 1) = 41 43
y tenemos que el polinomio no siempre genera numeros

primos. La moraleja es
parece repetirse de manera constante, es bueno senalarlo,
que si algun
patron
no podemos garantizar que
pero hasta no realizar ambos pasos de la induccion
la propiedad siempre se cumple (aunque la comprobemos en muchos casos
particulares).
A.2.
Problemas y Ejercicios.
A.2
Demostrar que la suma de los angulos

de un polgono de n lados es (n
A.3
Demostrar las siguientes identidades:
n
1+ 2+ 3+
+2
+2
+3
+3
1+ 3+ 5+7 +
A.4
A.6
n
+
n
+
+ (2
1)
Verifica que
1
A.5
.
n(n + 1)
n(n + 1)(2n + 1)

=
n(n + 1)
2
1)180
1)
= 1
Todos los numeros

de la forma 1007; 10017; 100117; 1001117; : : : son divisibles entre 53.
Se tienen 2n puntos, y de todos los segmentos que los unen se colorean n2

pintados.
que existen 3 puntos tales que los 3 segmentos que los unen estan
Pedro Sanchez
. Prueba
+ 1
91
Desigualdad matemtica
1 Propiedades
Las desigualdades estn gobernadas por las siguientes
propiedades. Notar que, para las propiedades transitividad, adicin, sustraccin, multiplicacin y divisin, la
propiedad tambin se mantiene si los smbolos de desigualdad estricta (< y >) son reemplazados por sus correspondientes smbolos de desigualdad no estricta ( y
).
Transitividad
Para nmeros reales arbitrarios a,b y c:
Si a > b y b > c entonces a > c.
En matemticas, una desigualdad es una relacin de orden que se da entre dos valores cuando stos son distintos
(en caso de ser iguales, lo que se tiene es una igualdad).
Si a b y b = c entonces a > c.
Si los valores en cuestin son elementos de un conjunto

ordenado, como los enteros o los reales, entonces pueden
ser comparados.
Si a b signica a es mayor que b;
Si a < b entonces a + c b entonces a + c > b + c y a c >

b c.
La notacin a b signica a es menor o igual que Multiplicacin y divisin

b;
Para nmeros reales arbitrarios a y b, y c diferente
La notacin a b signica a es mayor o igual que
de cero:
b;
Si c es positivo y a bc

y a/c > b/c.
La notacin a b signica a es mucho menor que

b;
La notacin a b signica a es mucho mayor que Opuesto

b;
Para nmeros reales arbitrarios a y b:
esta relacin indica por lo general una diferencia de varios
rdenes de magnitud.
Si a b.
Si a > b entonces a < b.
La notacin a b signica que a no es igual a b.
Tal expresin no indica si uno es mayor que el otro,
Recproco
o siquiera si son comparables.
1
92
6 BIBLIOGRAFA
Para nmeros reales a y b distintos de cero, ambos
positivos o negativos a la vez:
Si a 1/b.
Si a > b entonces 1/a < 1/b.
Si a y b son de distinto signo:
Si a b entonces 1/a > 1/b.
1.1
Funcin montona
3 Notacin encadenada
La notacin a < b < c establece que a < b (a menor que
b) y que b < c (b menor que c) y aplicando la propiedad
transitiva anteriormente citada, puede deducirse que a <
c (a menor que c). Obviamente, aplicando las leyes anteriores, puede sumarse o restarse el mismo nmero real
a los tres trminos, as como multiplicarlos o dividirlos
todos por el mismo nmero (distinto de cero) invirtiendo las inecuaciones segn su signo. As, a < b + e < c es
equivalente a a - e < b < c - e.
Esta notacin se puede extender a cualquier nmero de
trminos: por ejemplo, a1 a2 ... a establece que a
a para i = 1, 2, ..., n1. Segn la propiedad transitiva,
esta condicin es equivalente a ai aj para cualesquiera
1 i j n.
Al aplicar una funcin montona creciente a ambos lados, la desigualdad se mantiene. Si se aplica una funcin Ocasionalmente, la notacin encadenada se usa con
inecuaciones en diferentes direcciones. En ese caso el sigmontona decreciente, la desigualdad se invierte.
nicado es la conjuncin lgica de las desigualdades entre
los trminos adyacentes. Por ejemplo:
Ejemplo
a < b ea < e b
a<b=cd
al aplicar la funcin exponencial a ambos miembros de la

desigualdad, esta se mantiene.
signica que a < b, b = c, y c d (y por transitividad: a

< d). Esta notacin es utilizada en algunos lenguajes de
programacin tales como Python.
1.2
4 Desigualdades entre medias
Valor absoluto
Se puede denir el valor absoluto por medio de desigualLas distintas medias pueden relacionarse utilizando dedades:
sigualdades. Por ejemplo, para nmeros positivos a1 , a2 ,
, an, si
|a| b b a b
|a| b b a a b
entonces: H G A Q .
Cuerpo ordenado
Si (F, +, ) es un cuerpo y es un orden total sobre F,

entonces (F, +, , ) es un cuerpo ordenado si y solo si:
5 Vase tambin
Inecuacin
a b implica a + c b + c;
Programacin lineal
0 a y 0 b implica 0 a b.
Teora del orden
Los cuerpos (Q, +, , ) y (R, +, , ) son ejemplos

comunes de cuerpo ordenado, pero no puede denirse
en los complejos para hacer de (C, +, , ) un cuerpo
ordenado.
Las desigualdades en sentido amplio y sobre los nmeros reales son relaciones de orden total, mientras que
las desigualdades estrictas < y > sobre los nmeros reales
son relaciones de orden estricto.
Categora:Desigualdades (para una lista de desigualdades conocidas)
6 Bibliografa
Hardy, G., Littlewood J.E., Polya, G. (1999).
Inequalities, Cambridge Mathematical Library,
Cambridge University Press. ISBN 0-521-05206-8.
93
PARIDAD
"Todo nmero natural es par o impar"
Esta afirmacin es una de las ms simples y conocidas en matemticas, pero tambin es una
herramienta muy til para resolver problemas que involucran nmeros naturales.
Relacionados a la afirmacin anterior se encuentran tambin:
La suma de dos nmeros pares es par.
La suma de dos nmeros impares es par.
La suma de un par y un impar es impar.
Tambin diremos que dos nmeros tienen la misma paridad si ambos son pares o impares.
Usos de la Paridad
Ejemplo 1
Mara y sus amigos estn sentados formando un crculo, de forma que los dos vecinos de
cada amigo son del mismo sexo. Si de los amigos de Mara 5 son hombres. Cuantas
mujeres hay?
Solucin:
Hay 5 mujeres. Para ver esto recordemos que los vecinos de cualquier persona son del
mismo sexo, por lo que las mujeres y los hombres estn alternados, entonces hay la misma
cantidad de hombres que de mujeres.
Ejemplo 2
Un nadador para entrenar realiza sesiones de entrenamiento de 3, 5 y 7 Km. Su entrenador
le recomienda entrenar un total de 35 km. Podr realizarlos en 10 sesiones?
Solucin:
No es posible. En cada sesin debe nadar un nmero impar de kilmetros y la suma de un
nmero par de impares es par, por lo que nunca podr ser 35.
Ejemplo 3
A una cuadrcula de 8X8 cuadritos se le retiran dos cuadritos de esquinas opuestas, Puede
ser cubierta con 31 domins (fichas de 2x1 cuadritos)?
94
Solucin:
La respuesta es no. Un artificio para resolverlo es pensar en la cuadrcula coloreada como
un tablero de ajedrez, esto es, los cuadritos coloreados en forma alternada con dos colores:
blanco y negro. En el tablero completo, con 64 cuadritos, quedan coloreados 32 cuadritos
de color blanco y 32 de negro. Al retirar dos esquinas opuestas, se estn retirando dos
cuadritos de un mismo color. Quedando 32 negros y 30 blancos.
Por otro lado, un domin cubre dos cuadritos: uno de cada color. Las 31 fichas de domin
que se tienen, solamente pueden cubrir un nmero impar de cuadritos de color negro
(exactamente 31 cuadritos de color negro), y debemos cubrir una cantidad par de cuadritos
negros: 32, por lo que es imposible cubrir la cuadrcula como se pide, de hecho, siempre
faltar por cubrir un cuadrito negro.
Ejemplo 4
En un saln de clase estn sentados los alumnos formando un arreglo rectangular de 5 x 7.
La maestra que quiere hacer una dinmica las pide a todos los alumnos que cambien de
lugar, movindose un lugar ya sea a la izquierda, a la derecha, adelante o hacia atrs. Pepito
que sabe de matemticas le dice que esto es imposible, Porqu tienen razn Pepito?
Solucin:
Tomemos una cuadrcula de 5 x 7 (cada casilla es un lugar), y coloreada a la manera del
tablero de ajedrez, entonces observemos que si te encuentras en casilla coloreada y te
mueves un lugar de la manera antes descrita, pasars a una casilla que no est coloreada y
viceversa.
Pero sucede que el arreglo tiene 18 casillas coloreadas y 17 que no lo estn, por lo que los
que estn en casilla coloreada no podrn ocupar las 17 que no lo estn.
Nota: Si los objetos se pueden agrupar en parejas, entonces el nmero de objetos es par.
O bien, si se han agrupado varias parejas de objetos de un nmero impar de objetos,
entonces al menos un objeto quedar sin pareja.
95
Ejemplo5
Un polgono con un nmero par de lados se circunscribe a una circunferencia. Los lados se
colorean alternadamente de negro y rojo. Es la suma de las longitudes de lados rojos igual
a la de las longitudes de los lados negros?
Solucin:
Si, son iguales. Primero observemos que al ser un nmero par de lados y al ser coloreados
alternadamente, siempre un lado tiene por vecinos a dos de distinto color. Tambin vemos
que a cada vrtice convergen dos lados de distinto color.
S A es uno de los vrtices y P y Q son los puntos de tangencia de tales lados, se conoce de
geometra que AP = AQ; como uno de los segmentos es rojo y el otro es negro, tenemos
despus de recorrer los vrtices del polgono y sumar las longitudes de las tangentes, que la
suma de los las longitudes de los lados rojos es igual a la suma de las longitudes de los
lados negros.
Ejemplo 6
Once segmentos se conectan formando una poligonal cerrada. Puede una lnea que no pase
por uno de los vrtices cortar a cada uno de los once segmentos en un punto interior?
Solucin:
No es posible. Si una lnea cumple que corta a los 11 segmentos entonces tenemos 11
puntos de interseccin: P1, P2, . . . ., P11, ordenados digamos de izquierda a derecha. Ahora,
si caminamos sobre la lnea de izquierda a derecha, vamos del exterior de la curva hasta P 1,
de P1 a P2 estamos dentro de la poligonal, de P2 a P3 estamos fuera de ella, as
sucesivamente hasta llegar a que de P10 a P11 estamos fuera y entonces al cruzar por P11
debemos entrar, pero de P11 hacia la derecha estamos fuera, luego hay una contradiccin.
96
Ejemplo 7
Es posible dibujar una lnea quebrada de 11 segmentos, cada uno de los cuales se
intersecta (internamente) exactamente con uno de los otros dos segmentos?
Solucin:
No es posible. Si fuera posible, podemos partir los segmentos en parejas de segmentos que
se intersecan, como cada segmento se corta con otro segmento y solamente con uno,
tendremos que los segmentos se agrupan en parejas y entonces el nmero de segmentos
debe ser par, lo que es una contradiccin.
Ejemplo 8
Un polgono cerrado que no se intersecta a si mismo y cuyos lados son verticales u
horizontales, tiene un nmero par de lados.
Solucin:
Demos a los lados del polgono una letra de la siguiente manera: H a los horizontales y V a
los verticales, las letras H y V tambin se alternan, y como la figura es cerrada al recorrer
los lados si iniciamos en H , debemos de terminar en V, as el recorrido lo podemos realizar
por pares de lados HV, por lo que tendr un nmero par de lados.
Nota: si los objetos se pueden ir alternando, siendo estos de dos tipos, tenemos que:
a) si iniciamos y terminamos con objetos del mismo tipo, el nmero total de objetos es par
y si
b) iniciamos con un objeto de un tipo y terminamos con un objeto del otro tipo, el nmero
de objetos es par.
Ejemplo 9
Un gusano se desplaza verticalmente sobre un rbol. Cada da puede solamente subir o
bajar. Si el primer da recorre 1 cm, y el segundo 2 cm, y as sucesivamente, Ser posible
que despus de 17 das el gusano se encuentre en el lugar de donde parti?
Solucin:
No es posible. Si fuera posible, tenemos que: al conjunto {1,2, . . ,17}, lo podemos dividir
en dos conjuntos {a1, . . ., an} y{b1, . . ., bm} denotando las distancias que el gusano va hacia
arriba y las cantidades que baja respectivamente. Estas cumplen las siguientes dos cosas:
4
97
1) a1+ . . .+ an=b1+ . . .+bm

2) a1+ . . .+ an+b1+ . . .+ bm =1+2+3+ . . . +17=153
pero la suma de dos nmeros iguales nunca es impar.
Nota:
La suma de un nmero par de dos nmeros impares es par.
La paridad de la suma de varios nmeros depende de la paridad del nmero de sumandos
impares: si el nmero de sumandos impares es par (impar), entonces tambin la suma es
par (impar).
En estos problemas se puede observar que los argumentos utilizados permite concluir
que las repuestas van en la direccin de "no es posible hacer tal cosa". En la mayora de
las veces, un argumento de paridad sirve exactamente para eso: mostrar que un
determinado hecho no puede ocurrir. Esto no debe desanimar, por el contrario, sirve
para convencerse y no gastar tiempo en tentativas intiles. Las experiencia son valiosas
en el sentido de abrirnos los ojos para no insistir en caminos donde no hay soluciones y
buscar a partir de ah argumentos que resuelvan definitivamente el problema.
Nota:
Al igual que tenemos las reglas de paridad para la suma de nmeros naturales, tenemos
las reglas de la paridad para la multiplicacin.
El producto de dos nmeros pares es par.
El producto de dos nmeros impares es impar.
El producto de un nmero par con un impar es par.
98

Antologia MaterialBasico2016

Uploaded by

Document Information

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

Antologia MaterialBasico2016

Uploaded by

Copyright:

Available Formats

Material Basico

Teorema Fundamental de la Aritmetica.

Principio de las cajas.

Rectas y puntos notables en un triangulo.

Porfirio Toledo Hernandez

Los mltiplos de 6 terminan en 0, 2, 4, 6, 8 y la suma

En efecto, 18 contiene 9 dos veces exactamente.

Propiedades de los mltiplos

Mltiplo, Diccionario de la lengua espaola

Si a es un mltiplo de b, entonces b es un divisor de

Weisstein, Eric W. Mltiple. En Weisstein, Eric

Cero (0) es mltiplo de cualquier nmero.

Criterios para averiguar si un nmero es mltiplo de

Un nmero entero a es submltiplo de otro nmero b solo

Tablas de Mltiplos y Submltiplos para Imprimir

Propiedades de los submltiplos

El nmero uno es submltiplo de cualquier nmero.

Los mltiplos de 2 terminan en 0, 2, 4, 6, 8.

Ejemplos. Usando el algoritmo de Euclides, encontrar el MCD de:

Por lo tanto (1804, 328) = 164

b) 385 / 105 = 3 y resto = 70

Por lo tanto (385, 105) = 35

Este proceso puede esquematizarse de la siguiente manera, usando divisiones sucesivas:

Nmeros primos entre s

Por ejemplo, 6 y 35 son primos entre s, pero 6 y 27 no

Los nmeros 4 y 9 son coprimos. Por tanto, la diagonal del retcu-

Dos nmeros naturales a y b son primos entre s, si y slo

El nmero de enteros que son primos entre s a un entero

Mximo comn divisor

Los dos nmeros enteros a y b son primos entre s, si y

La probabilidad de que dos nmeros enteros elegidos al

4 Caso de los nmeros decimales

Un nmero decimal (nito) es un nmero que se puede

5 Caso de los nmeros racionales

La expansin decimal de un nmero real no negativo x

Ambas notaciones son, por denicin, el lmite de la sucesin:

Sistema de numeracin decimal | Notacin posicional

Aproximacin a nmeros reales

Simon Stevin | Fraccin decimal

1.1 Principio de las cajas (del palomar o de Dirichlet)

$100 + $200 = $300

El clculo sera ms complicado, si de los 10 comensales, 5 fueran muchachas y

Y cual es el factorial de cero? Y el de 1?

El factorial de cero se define as: 0! = 1

Para llegar a una versin simplificada se opera as:

Ejemplo 1: Una madre tiene 3 hijos de cuntas maneras distintas,

Ejemplo 1: Calcular las maneras posibles de colocar las letras a, b, c.

Ejemplo 2: P10 son las permutaciones de 10 elementos:

Es decir, tendramos 3.628.800 formas diferentes de agrupar 10 elementos.

Ejemplo 3: Cuantas palabras distintas de 10 letras (con o sin sentido) se pueden

CASO 5.- EL ORDEN NO IMPORTA Y SI SE PUEDE REPETIR

diferentes de objetos es:

n(n- 1) (n- 2).... (n- k+1)

Se llama combinaciones con repeticin de n elementos tomados de k en k, a los

Es decir, podramos formar 715 subgrupos diferentes de 4 elementos.

Por tanto, se pueden formar 142506 grupos distintos

Si en cada agrupacin figuran todos o algunos de los elementos disponibles,

Una universidad est formada por tres facultades:

La 2 con el 25% de estudiantes.

forma recurrente como n(n1)! ; como (n1)! es

Anuncio de cacao con una imagen recursiva. La mujer muestra

Recurrencia, recursin o recursividad es la forma en

. Sin embargo este ltimo trmino es algo ms

5- Conocemos un tringulo si conocemos los 3 lados