Академический Документы
Профессиональный Документы
Культура Документы
Olimpiadas de Matematicas,
Veracruz 2016.
INDICE.
TEOR
IA DE NUMEROS
N
umeros Primos.
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.
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
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.
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.
Ejemplo: 18 es mltiplo de 9.
3 Vase tambin
a=18
b=9
Divisibilidad
a=2b
Tabla de multiplicar
Anexo:Tabla de divisores
4 Referencias
5 Enlaces externos
2
Submltiplo
2.1
2.2
Ejemplos
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.
4 units
9 units
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.
Propiedades
1.1
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
4 Enlaces externos
Weisstein, Eric W. Relatively Prime. En Weisstein, Eric W. MathWorld (en ingls). Wolfram Research.
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
ai
i
10
i=0
r=
El nmero denido por una representacin decimal tambin admite la siguiente escritura:
6 Vase tambin
ai
n
10i
i=0
r = lim
Nmero decimal
Nmero peridico
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
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.
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
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
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
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!
15
abc
bac
cab
acb
bca
cba
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: 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
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
CON REPETICIN
nk
NO ORDENADAS
20
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
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.
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
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.2
rrente
= 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
El ejemplo del clculo recursivo del factorial de un nmero llevado al campo de la programacin, en este ejemplo
C++:
24
Combinatoria (Olimpiada de Matematicas)
2.2.
13
El Triangulo
de Pascal
y el Teorema del Binomio.
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
por filas y
4
5
10
10
El Triangulo
de Pascal encierra muchas relaciones numericas,
por ejemplo,
(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
Pedro Sanchez
drini@planetmath.org
25
Combinatoria (Olimpiada de Matematicas)
14
1:
numeros
en la r-esima
diagonal del Triangulo
de Pascal es igual al r-esimo
numero
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
10
15 = 600 = 6
5
20:
es valida
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
drini@planetmath.org
26
Combinatoria (Olimpiada de Matematicas)
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 :
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
n
2
2.2
2.3
2.4
= 1 +2 +3+
+(
1)
2.2).
Demuestra la propiedad hexagonal del Triangulo
de Pascal (ver seccion
es precisamente el r -esimo
numero
de Fibonacci.
Demuestra que
Pedro Sanchez
k r
k
r
= r
k
1
1
drini@planetmath.org
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
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
Tringuloequiltero
Tresladosiguales
Tresngulosiguales,todos60
Tringuloissceles
Dosladosiguales
Dosngulosiguales
Tringuloescaleno
Nohayladosiguales
Nohayngulosiguales
Qu tipos de ngulos?
Lostringulostambintienennombresquetedicenlostiposdengulos
Tringuloacutngulo
Todoslosngulosmidenmenosde90
29
Tringulorectngulo
Tieneunngulorecto(90)
Tringuloobtusngulo
Tieneunngulomayorque90
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-
2-
Notas de Geometra 1
10
32
+ + = 180
4-
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
33
i) Principio LLL
Dos tringulos que tienen los tres lados iguales son iguales.
Dos tringulos que tienen dos lados iguales y el ngulo comprendido igual, son iguales.
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
Notas de Geometra 2
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.
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
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
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.
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.
Esto es as, porque el punto de interseccin de dos de estas mediatrices, resulta equidistante de los tres
vrtices del tringulo.
12
37
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.
13
38
Bisectrices concurrentes
Bisectrices no concurrentes
Notas de Geometra 2
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
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:
Notas de Geometra 2
15
40
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.
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
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
Powered by TCPDF (www.tcpdf.org)
51
Powered by TCPDF (www.tcpdf.org)
52
Powered by TCPDF (www.tcpdf.org)
Simetra
La simetra tambin se encuentra en organismos vivos.
1 Simetra en geometra
432
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
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.
55
3 MTODOS DE DEMOSTRACIN
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
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
57
3.5
3 MTODOS DE DEMOSTRACIN
3.6
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
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.
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
Vase tambin
lgebra de conjuntos
Conjunto
Teora de grupos
60
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.
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.
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]
64
3 ECUACIN ALGEBRAICA
En derivadas parciales
Ecuaciones integrales
Ecuaciones funcionales
Denicin general
2.1
Conjunto de soluciones
Se llama ecuacin algebraica con una incgnita la ecuacin que se reduce a lo que sigue
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.
65
3.4
3.3
Grado
3
x o la incgnita del problema) en el otro miembro. Esto
puede hacerse teniendo en cuenta que:
3.4
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
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
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 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
x 2x = 2 3
x = 5
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)
Productodedosbinomiosconuntrminocomn,delaforma
x2+(ab)xab=(x+a)(x
b)
Demostracin:
Entonces,paraentenderdeloquehablamos,cuandonosencontramosconunaexpresindelaformax2 +(ab)x
abdebemosidentificarladeinmediatoysaberquepodemosfactorizarlacomo(x+a)(xb).
Productodedosbinomiosconuntrminocomn,delaforma
x2(a+b)x+ab=(xa)(x
b)
Demostracin:
Entonces,paraentenderdeloquehablamos,cuandonosencontramosconunaexpresindelaformax2 (a+b)x+
abdebemosidentificarladeinmediatoysaberquepodemosfactorizarlacomo(xa)(xb).
Productodedosbinomiosconuntrminocomn,delaforma
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
Cubodeunadiferencia
a33a2b+3ab2b3=(ab)3
Productonotable
Expresinalgebraica
Nombre
(a+b)2
a2 +2ab+b2
Binomioalcuadrado
(a+b)3
Binomioalcubo
a2b2
(a+b)(ab)
Diferenciadecuadrados
a3 b3
Diferenciadecubos
a3 +b3
Sumadecubos
a4 b4
(a+b)(ab)(a2 +b2 )
Diferenciacuarta
(a+b+c)2
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):
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
2 Introduccin
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
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.
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
La notacin habitual para presentar una funcin f con dominio A y codominio B es:
f: A
a
B
b = f (a)
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.
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.
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
A
x 7
x 7 f (x)
id
B
x 7 f (x) 7
f (x)
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 .
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+
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
an = a0 + a1 + a2 +
n=0
1+
1 1 1 1
1
+ + + + =
.
2 3 4 5
n
n=1
Sk =
n=0
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
(bn bn+1 )
Anexo:Series matemticas
n=0
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
6 Enlaces externos
Apuntes_UPM
an .
n=0
1
n
10
n=1
Vase tambin
Serie de Taylor
Serie de Laurent
83
EXPONENTESYLEYESDEEXPONENTES
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:
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.
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
en la posicin n.
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
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
adelante.
Responderemos esta pregunta mas
hipotenusa de este
se levanta un segundo triangulo
rectangulo
de cateto igual a 1, como
cer triangulo
rectangulo
y as sucesivamente. Encuentra la longitud de la hipotenusa del
triangulo
numero
1998.
p
p
18
88
Combinatoria (Olimpiada de Matematicas)
A.1.
19
Matematica.
El metodo
de Induccion
tecnica
canonica
que usaremos para lograr este objetivo se denomina induccion
matematica.
2.
es
n+1
hipotenusa =
+ (
k + 1)
1+ k +1 =
k + 2:
da el primer peldano,
a partir de
Pedro Sanchez
drini@planetmath.org
89
Combinatoria (Olimpiada de Matematicas)
20
los anteriores.
es un error que se debe evitar, pues es necesario tener un punto inicial para que
pueda funcionar. Consideremos el siguiente ejemplo.
la induccion
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
drini@planetmath.org
90
Combinatoria (Olimpiada de Matematicas)
21
Pitagoras:
q
hipotenusa =
+ (
1)
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
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
A.3
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
Pedro Sanchez
. Prueba
+ 1
drini@planetmath.org
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).
estas relaciones se conocen como desigualdades estrictas, puesto que a no puede ser igual a b; tambin puede
leerse como estrictamente menor que o estrictamente
mayor que.
92
6 BIBLIOGRAFA
Para nmeros reales a y b distintos de cero, ambos
positivos o negativos a la vez:
Si a < b entonces 1/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.
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
1.2
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
5 Vase tambin
Inecuacin
a b implica a + c b + c;
Programacin lineal
0 a y 0 b implica 0 a b.
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
98