Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1.1.1 Proposiciones :
Son frases sobre las cuales podemos decidir, unvocamente, sobre la
verdad(V) o falsedad(F) de ellas.
Ejemplo:
1) p resumir, al interior de ste ejemplo, a la proposicin : Hoy es Martes
10 de Mayo, y denotamos p: Hoy es Martes 10 de Mayo
Observacin :
No son proposiciones los interrogativos y los imperativos
1.1.2 Conectivos
Smbolos que, junto con las proposiciones bsicas, nos permiten crear nuevas
proposiciones; son :
~ : se lee no
: se lee y
: se lee y/o
: se lee ...implica ... si, ....entonces, ......
: se lee ... equivalente con ....
Observacin:
El conectivo ~ se usa antes de una proposicin, y los restantes conectivos se
usan entre dos proposiciones.
Ejemplo :
Si p, q, r son proposiciones, entonces tambin son proposiciones:
1) ~ p 2) p q 3) p q 4) p q
5) p q 6) p (q r ) 7) >(~ p ) (q r )@ q
p ~ p
V F
F V
Observacin:
Es claro que el valor veritativo de a p es el contrario de p
p q pq
V V V
V F F
F V F
F F F
Observacin:
La conjuncin es verdadera slo si las proposiciones que la componen lo son.
Observacin:
p q pq
V V V
V F F
F V V
F F V
Observacin:
La implicacin es verdadera siempre, menos cuando el antecedente es verdadero
y el consecuente es falso.
p q pq
V V V
V F F
F V F
F F V
Observacin:
Resulta natural que la equivalencia sea verdadera cuando las dos proposiciones
que la componen tienen el valor el mismo valor veritativo:
Ejemplo :
1) Determine el valor veritativo de: ~ p q >~ p ~ q @
Solucin :
Su tabla de verdad es:
p q pq ~ ( p q) ~ p ~ q (~ p ) (~ q) ~ p q >~ p ~ q @
V V V F F F F V
V F F V F V V V
F V F V V F V V
F F F V V V V V
p q r qr p (q r ) > p ( q r )@ r
V V V V V V
V V F V V F
V F V V V V
V F F F F V
F V V V F V
F V F V F V
F F V V F V
F F F F F V
Observacin :
En el ejemplo anterior, dado que consideramos tres proposiciones bsicas, el
total de variaciones de tres elementos, cada uno con respuestas dicotmica (grupos con
tres elementos donde interesa el orden ) es 2 3 8 . Si son 4 las proposiciones bsicas
entonces el total de variaciones, en estas condiciones, es 2 4 16 .
Ejemplos :
1) Demuestre que: p (~ p) es tautologa.
Demostracin:
Debemos encontrar su tabla de verdad y verificar que siempre es verdadera:
p ~ p p (~ p )
V F V
F V V
p ~ p ~ (~ p) ~ (~ p) p
V F V V
F V F V
p q ~q q (~ q) p >q (~ q )@ ~ p ~ (~ p) p
V V F F F F V
V F V F F F V
F V F F V V V
F F V F V V V
1..1.4.2 Contradiccin
Definicin
Una proposicin que siempre es falsa, es una contradiccin. Una
contradiccin la denotamos por 0.
Ejemplo.
Demuestre que p (~ p) es una contradiccin.
Demostracin
Debemos encontrar la tabla de verdad de la proposicin y verificar que siempre es falsa
p ~ p p (~ p)
V F F
F V F
1.1.4.3 Contingencia
Definicin
Una proposicin que no es tautologa ni contradiccin se llama contingencia.
Ejemplo:
Demuestre que > p (q r )@ r es una contingencia
Solucin:
Su tabla de verdad es:
p q r qr p (q r ) > p ( q r )@ r
V V V V V V
V V F V V F
V F V V V V
V F F F F V
F V V V F V
F V F V F V
F F V V F V
F F F F F V
Identidad p I p p 0 p
p 0 0 p I I
Idempotencia pp p pp p
Involucin a (a p) p
p (~ p ) 0 p (~ p ) I
Conmutatividad pq q p pq q p
Asociatividad p (q r ) ( p q) r
p (q r ) ( p q) r
Distributividad p (q r ) ( p q) ( p r )
p (q r ) ( p q) ( p r )
De Morgan ~ ( p q) (~ p) (~ q)
~ ( p q) (~ p) (~ q)
Observacin.
Una ley fundamental, muy importante es: ( p q) ((~ p) q )
Ejemplos:
1) Si definimos y ' como: pq (~ p) (~ q) : p'q (~ p) (~ q) ,
demuestre, sin usar tablas de verdad que:
a) pp ~ p
b) p q ~ (p'q)
c) p q ~ (pq)
Demostracin:
a) pp (~ p ) (~ p) ~ p
b) ~ ( p'q ) ~ >(~ p) (~ q )@ ~ (~ p) ~ (~ q) p q
c) ~ ( pq ) ~ >(~ p) (~ q )@ ~ (~ p) ~ (~ q) p q
>(~ p ) (~ q )@ q (~ p ) >(~ q ) q @ ~ p I I
elementos de D verifican p( x) ?
: significa : todos
: significa : algunos
! : significa : un nico
Ejemplo:
1) x de D: p( x) se lee: todos los elementos de D son nmeros pares y ,
claramente es una proposicin, ya que es falsa.
2) x de D: p( x) se lee: algn elemento de D es un nmero par, y es una
proposicin, ya que es verdadera.
3) ! x de D: p( x) se lee: un nico elemento de D es un nmero par, y
claramente es una proposicin, ya que es falsa.
Observacin:
Adelantndonos, escribiremos: x D : p(x) en lugar de x de D : p(x)
2)
Si ~ > x D : P(x)@ es V x D : p(x) es F x D : ~ p(x) es V
Ejemplo:
Se define, para los conjuntos A y B, la nocin de subconjunto, denotado:
A B como : A B > x : x A x B@
Determine en que condiciones A no es subconjunto de B
Notacin: ~ ( A B) A B
Solucin:
Como A B > x : x A x B@ entonces:
A B ~ > x : x A x B@
x : ~ ( x A x B)
x : x A xB
CAPITULO 2
Conjunto :
Coleccin, grupo de objetos o cosas. Por ejemplo, el conjunto formado por los
objetos 1, a, casa.
Elemento :
Cualquier objeto o cosa en el conjunto. Los denotamos con letras minsculas y
al elemento genrico lo denotamos x.
Pertenencia :
Denotado por el smbolo relaciona las dos nociones primitivas anteriores. Si
el elemento 1 esta en el conjunto, anotamos: 1 A y se lee: el elemento 1 pertenece al
conjunto A o simplemente 1 esta en A.
A B >x : x A x B @
Ejercicios:
1) Demuestre que: A A A (propiedad refleja)
Demostracin:
Como : x : x A x A , concluimos que A A
de donde A C
Observacin:
A no es subconjunto de B, lo que denotamos A B si y solo si existe algn
elemento en A que no est en B es decir:
A B x : x A x B
Definicin:
Decimos que los conjuntos A y B son iguales, lo que denotamos A = B si y slo
si todos los elementos de A son elementos de B y todos los elementos de B son
elementos de A, es decir:
A B >x : x A x B @ >x : x B x A@ A B B A
1) Conjunto vaco
Sea A un conjunto, entonces ^x / x A x A` es un conjunto que no tiene
elementos, lo anotamos 0 A y es el conjunto vaco de A.
Proposicin:
0 A A A
Demostracin:
La realizaremos por reduccin al absurdo
Supongamos que 0 A no es subconjunto de A, entonces x : x 0 A x A ,
esto constituye una contradiccin ya que el conjunto 0 A no tiene elementos, entonces
debe ocurrir que 0 A A .
Proposicin:
0 A 0 B A, B
Demostracin:
Se debe demostrar que 1) 0 A 0 B y 2) 0 B 0 A
1) As es, ya que si no es cierto, es decir, si 0 A no es subconjunto de 0 B , debe
existir al menos un elemento que pertenezca a 0 A y que no est en 0 B ; esto es
una contradiccin, por lo que 0 A 0 B
2) De manera anloga, 0 B 0 A
Por 1) y 2) concluimos que 0 A 0 B
Observacin:
Como todos los vacos son iguales, denotamos simplemente: 0
2) Conjunto Unitario
Es aquel conjunto que tiene un nico elemento. Se lee como, el unitario del
elemento.
Ejemplo:
A ^x / x N ,3 x 5` ^4` se lee el unitario del 4
Conjunto Universal U
Se puede demostrar que no existe un conjunto universo que contenga a todos los
conjuntos (Paradoja de Russel), en cambio existe un conjunto universo de referencia,
denotado U. As por ejemplo, para los conjuntos A ^2,3,4` , B ^2,4,6,9`, el
conjunto universal podra ser U ^1,2,3,4,5,6,7,8,9`
Observacin
1) En un diagrama de Venn-Euler tenemos
AB
2) x P Q x P x Q
xM xN xM N
Propiedades:
1) A A A A U (Idempotencia)
2) A B B A A, B U ( Conmutatividad)
3) ( A B ) C A ( B C ) A, B, C U (Asociatividad)
4) A I A , A U U ; A U
5) A B A B B
Demostracin:
1) Se debe demostrar que: a) A A A y b) A A A
a) Sea x A A , debemos demostrar que x A . Vemoslo
x A A x A x A x A , luego A A A
x A x A x A x A A , luego A A A
x A B x A x B x B x A x B A de donde
AB B A
x A B C x A B x C x A x B x C
x A x B x C x A x B C x A B C
Concluimos que A B C A B C
b) Sea x A B C , debemos demostrar que x A B C
x A B C x A x B C x A x B x C
x A x B x C x A B x C x A B C
Concluimos que A B C A B C
Por a) y b) obtenemos A B C A B C
Usamos la tautologa : p q r p q r
b. Sea x B x A x B x A B , as B A B
Por a) y b): A B A B B
En la parte b) de la demostracin usamos la tautologa: p q p
Observacin:
1) En un diagrama de Venn-Euler tenemos
A B
AB
2) x P Q x P x Q
xM xN xM N
Propiedades:
1) A A A A U (Idempotencia)
2) A B B A A, B U (Conmutatividad)
3) A B C A B C A, B, C U (Asociatividad)
4) A I I , A U A ; A U
5) A B A B A
Demostracin:
x A A x A x A x A , luego A A A
x A x A x A x A A , luego A A A
x A B x A x B x B x A x B A de donde
AB AB
x B A x B x A x A x B x A B de donde
B A A B
Por a) y b) concluimos que A B BA
Notemos el uso de la tautologa : p q q p
x A B C x A B x C x A x B x C
x A x B x C ( x A x B) x C
x ( A B) x C x ( A B) C
Concluimos que A B C A B C
x A B C x A x B C x A x B x C
x A x B x C x A B x C
x A B C
Concluimos que A B C A B C
5) Queda propuesto
2.4.3 Diferencia de conjuntos
Definicin:
Sean A y B conjuntos en U, definimos la diferencia de A con B, denotada
A B , que se lee A menos B como el conjunto tal que:
A B ^x / x A x B`
Observacin:
A B U
A-B
2) x P Q x P x Q
xM x N xM N
AC ^x / x A x U `
Propiedades.
1) ( A C ) C A , A U
2) U C I
3) I C U
4) A B B C A C
Demostracin.
1) Debemos demostrar: a) ( A C ) C A , b) A ( A C ) C
a) Sea x ( A C ) C , por demostrar que x A
x ( A C ) C x A C x A, asi, ( A C ) C A
x A x A C x ( A C ) C , asi, A ( A C ) C
Por a) y b) concluimos que ( A C ) C A
2) y 3) son inmediatas
1) A B A B C
A AC I
A AC U
2) Distributividades
A B C A B A C
A B C A B A C
3) Leyes de DeMorgan
( A B) C A C B C
( A B) C AC B C
Ejemplo
Usando propiedades de las operaciones de conjuntos demuestre, justificadamente:
> @
( A B C ) C ( A B) C ( A B) B
Demostracin
> @ > @
( A B C ) C ( A B) C ( A B) ( A B C ) C ( A B) ( A B)
> @
( AC B) ( A B) ( A B)
> @
( A C A) B ( A B)
(I B) ( A B)
B ( A B) B
2.4.6 CARDINALIDAD
Observacin.
Se puede demostrar (lo que queda propuesto) que:
Ejemplo.
En una escuela, 150 alumnos han rendido 3 exmenes. De ellos, 60 aprobaron
el primero, 70 el segundo y 50 alumnos el tercer examen; 30 aprobaron los dos
primeros,25 el primero y el tercero, 15 el segundo y el tercero, adems, 10 alumnos
aprobaron los 3 exmenes:
Cuntos alumnos
a) aprobaron ningn examen?
b) aprobaron slo el primer examen?
c) aprobaron slo dos exmenes?
d) aprobaron slo un examen?
Solucin.
Consideremos los siguientes conjuntos.
Como >
n( A C B C C C ) n ( A B C ) C @ n(U ) n( A B C ) y
adems
n( A B C ) n( A) n( B) n(C ) n( A B) n( A C ) n( B C ) n( A B
60 70 50 30 25 15 10 120 entonces
n( A C B C C C ) = 150 120 30
b) Se pide n( A B C C C )
>
n( A B C C C ) = n A ( B C ) c @ n( A) n> A ( B C )@
n( A) n>( A B ) ( A C )@ n( A) >n( A B ) n( A C ) n( A B C )@
60 (30 25 10) 15
>
c) Se pide n ( A B C C ) ( A C B C ) ( B C A C ) @
>
n ( A B C C ) ( A C B C ) ( B C AC ) @
>
n ( A B C C ) ( A C B C ) ( B C AC ) @
n( A B C C ) n( A C B C ) n( B C A C ) n(I ) n(I ) n(I ) n(I )
Como n( A B C C ) n( A B) n( A B C ) 30 10 20 ,
anlogamente obtenemos n( A C B C ) 15 , n( B C A C ) 5 , de
donde
>
n ( A B C C ) ( A C B C ) ( B C AC ) @ 20 15 5 40
d) Se pide n( A B C )
>
e) Se pide n ( A B C C C ) ( B A C C C ) (C A C B C ) @
>
n ( A B C C C ) ( B A C C C ) (C A C B C ) @
n( A B C C C ) n( B A C C C ) n(C A C B C ) n(I ) n(I )
n(I ) n(I )
>
n ( A B C C C ) ( B A C C C ) (C A C B C ) @ 15 35 20 70
Observacin.
U
A B
15 20 35
15 10
5
20
C 30
b) (x )(y ) : xy ! 0
c) x N : x 2 ! 100
2) Use tablas de verdad para clasificar las siguientes proposiciones como: Tautologa,
Contradiccin o Contingencia
a) >( p q) q @ (~ p q)
b) ( p q ) >( p r ) (q r )@
c) ~ >(~ p q ) ~ ( p q )@ q
d) >( p q) (q r )@ ( p r )
a) >( p q) ~ p @ (~ p q)
b) >~ ( p q) (~ p q)@ ~ p
c) > p (q r )@ >( p q) ( p r )@
4) Usando los datos proporcionados en cada caso, obtenga el valor veritativo pedido:
7) Demuestre que cada uno de los siguientes argumentos es vlido (es decir, que la
proposicin es una tautologa) , usando el lgebra de proposiciones.
a) >( p q ) p @ q
b) >( p q ) (~ p )@ ~ p
c) >( p q ) (q r )@ ( p r )
d) >( p q ) (~ p )@ q
e) ( p q) p , ( p q) q
f) p ( p q)
Adems, identifique cada una de las siguientes frases con alguno de los
argumentos anteriores
8) Sean: U ^1,2,3,4,5,6,7, a, b, c, d , e, f , g , h`
A ^3,5,7, c, d ` , B ^2,3,4,5, b, c, e` , C ^2,6,7, a, b, g`
Determine:
a) ( A B c ) (C A) C
b) ( A C ) ( B A C ) C
9) Demuestre:
a) A B A BC
b) A ( B C ) ( A B) ( A C )
c) ( A B) C AC B C
a) ( A B) ( A B C ) A
>
b) B ( B C A C ) ( A B) C @ BA
c) >( A B) ( A C
B) ( A C B C ) @ AC B
d) A ^A >( A B) A@ ` A
Resp. a) 8 b) 15 c) 7
A C I , n( A B) 5 , n( A C ) 25 , n(C ) 13 , n( B A) 15
n( B C ) 9 , n( A B C ) 27
Determine:
a) n(B) b) n( A) c) n(U )
Resp. a) 20 b) 8 c) 33
AC I , BC >
I , n( A B) 4 , n(C B) 10 , n ( A B C ) C @ 16
n( B C ) 12
Calcule:
a) n( A) b) n(B) c) n( B A) d) n>( B A) C @
Resp. a) 11 b) 12 c) 8 d) 8
15) Una encuesta acerca de las preferencias de 180 personas sobre tres marcas A, B, C
>
n>( B C ) A@ 25 , n( A B) 15 , n ( A B) C
C
@ 175 , n( A B) 50
>
n>C ( A B)@ 35 , n>( A C ) B @ 20 , n ( A B C ) C @ 40
RELACIONES Y FUNCIONES
3.1 Definicin y ejemplos
Definicin
Sean A, B conjuntos, definimos el par ordenado A coma B , denotado
( A, B) como el conjunto ( A, B) ^^A`, ^A, B``
Observacin,
Al elemento A lo llamamos primer elemento del par ordenado o tambin
abscisa
Al elemento B lo llamamos segundo elemento del par ordenado o tambin
ordenada
Ejemplo.
Es evidente que (2,3) ^^2`, ^2,3`` z (3,2) ^^3`, ^3,2``
Definicin.
Sean A, B conjuntos, definimos el producto cartesiano de A con B denotado
por A u B , como el conjunto tal que A u B ^(a, b) / a A b B`
Ejemplo.
Si A ^1,2,3` , B ^3,4` entonces:
A u B ^(1,3), (1,4), (2,3), (2,4), (3,3), (3,4)` , B u A ^(3,1), (3,2), (3,3), (4,1), (4,2), (4,3)`
Observacin.
a) n( A u B) n( A) n( B)
b) En general A u B z B u A
c) A u B I ( A I ) ( B I )
d) A u B z I ( A z I ) ( B z I )
Definicin.
Sean A, B conjuntos, definimos una relacin R de A a B como cualquier
subconjunto de A u B
Observacin.
Nos interesan las relaciones que se determinan mediante cierta ley de formacin
as, una relacin R de A a B es: R A u B ^(a, b) / p ((a, b))` donde p((a, b)) es una
frmula proposicional dada.
Ejemplo.
Considere los conjuntos A ^1,2,3` , B ^1,2,3,4` , N ; determine por extensin
las siguientes relaciones:
a) R1 A u B ^(a, b) / a b es un nmero par`
b) R2 A u B ^( x, y) / x 2
`
y2 ! 6
c) R3 N u N ^(a, b) / a 2b 15`
2x y
3
d) R4 ( x, y ) / 1 0
2
Solucin.
Despus de realizar A u B y N u N obtenemos:
R1 ^(1,1), (1,3), (2,2), (2,4), (3.1), (3,3)`
R2 ^(1,3), (1,4), (2,2), (2,3), (2,4), (3,1), (3,2), (3,3), (3,4)`
R3 ^(1,7), (3,6), (5,5), (7,4), (9,3), (11,2), (13,.1)`
R4 ^(1,10), (2,8), (3,6), (4,4), (5,2)`
Observacin.
a) El dominio de una relacin es el conjunto formado por las primeras
componentes de los pares de la relacin.
b) El recorrido de una relacin es el conjunto formado por las segundas
componentes de los pares de la relacin.
c) La relacin inversa de una relacin R esta formada por los pares ordenados
recprocos de los pares ordenados de R
Ejemplo.
En el ejemplo anterior:
Dom( R1 ) ^1,2,3` , R21 ^(3,1), (4,1), (2,2), (3,2), (4,2), (1,3), (2,3), (3,3), (4,3)`
Proposicin.
R Au B ^(a, b) / p((a, b))`una relacin, entonces:
a) ( R 1 ) 1 R
b) Dom( R) A , Re c( R) B
c) Dom( R) Re c( R 1 ) , Re c( R ) Dom( R 1 )
Definicin.
Sea R una relacin definida en A , entonces:
a) R es relacin refleja (a, a) R a A
b) R es relacin simtrica (a, b) R (b, a) R ( x, y ) R
c) R es relacin transitiva >(a, b) R (b, c) R @ (a, c) R ( x, y ) R
c) R es relacin antisimtrica >(a, b) R (b, a ) R @ (a b) ( x, y ) R
Observacin.
a) Denotamos R A 2 en lugar de R A u A
b) Si (a, b) R podemos denotar aRb
c) R no es refleja a A tal que (a, a) R
d) R no es simtrica (a, b) R (b, a ) R
e) R no es transitiva (a, b) R (b, c) R (a, c) R
f) R no es antisimtrica (a, b) R (b, a) R (a z b)
Ejemplos
Ejemplos
1) En el conjunto de los nmeros reales R definimos la relacin S por:
aSb m Z tal que a b 3 m 1 . Demuestre que S es una relacin de equivalencia.
Demostracin.
Debemos demostrar que: a) S es refleja b) S es simtrica c) S es transitiva
c) Si (a, b) R(c, d ) (c, d ) R(e, f ) entonces (ad bc) (cf de) , debemos
demostrar que (a, b) R(e, f ) , es decir, que af be
Sea aRb bRc entonces, como R es circular conseguimos que cRa de donde,
aRc ya que R es simtrica, as, R es transitiva.
Definicin.
El conjunto de las clases de equivalencia segn R se llama conjunto cuociente
de A por R. Se denota A / R
Proposicin.
Sea R una relacin de equivalencia definida en A z I , entonces A / R posee las
siguientes propiedades:
a) x A / R , x z I
b) x A / R y A / R , x z y entonces x y I
c) x A
x A / R
Demostracin.
2) Supongamos x y z I , entonces existe z x y , as, z x z y ; esto ltimo
nos indica que zRx zRy , luego, xRy , de donde x y , esto constituye una
contradiccin ( observacin 3) as, x y I
Ejemplos.
1) Sea A ^ a, b, c` y R A 2 ^(a, a ), (b, b), (c, c), (b, c), (c, b)` una relacin de
equivalencia. Determine:
a) La clase de equivalencia de los elementos de A
b) El conjunto cuociente
Solucin.
a) a ^x A / xRa` ^a`
b ^x A / xRb` ^b, c`
c b
b) El conjunto cuociente es A / R ^^a`, ^b, c`` y un sistema de representantes es
S ^a, b`
2) En Z definimos la relacin de equivalencia R por: aRb a 2 a b2 b .
Determine:
a) La clase de equivalencia de los elementos de Z
c) El conjunto cuociente
Solucin.
^ `
a) 0 ^x Z / xR0 ` x Z / x 2 x 0 ^ 1, 0` 1
1 ^x Z / xR1 ` ^x Z / x x 1 1` ^x Z / x x 2 0` ^1, 2` 2
2 2 2
2 ^x Z / xR2 ` ^x Z / x x 2 2` ^x Z / x x 6 0` ^2, 3` 3
2 2 2
Ejemplos.
Son relaciones de orden las siguientes relaciones:
1) La relacin d definida en
2) La relacin en la familia de conjuntos P ( A) ^X / X A` , A un conjunto dado
3) La relacin R definida en N por: aRb a divide a b , (se puede denotar por a b )
En efecto
Ejemplo.
En N definimos la relacin T por: aTb n N tal que a n b
a) Demuestre que T es una relacin de orden
b) Es T un orden total?
Solucin.
Observacin.
1) La relacin de congruencia en el conjunto de los enteros para un mdulo
fijo m es una relacin de equivalencia
2) Esta relacin de equivalencia es compatible con la adicin y multiplicacin,
es decir: a { b(mod m) c { d (mod m) entonces a c { b d (mod m) y
adems ac { bd (mod m)
3) a { b(mod m) a b mp mZ ^0, r m, r 2m , r 3m ,....`
Ejemplo.
Es inmediato que: 4 { 16(mod 3) ; 5 { 30(mod 7) ; 8 { 30(mod11)
Observacin.
Enunciaremos el siguiente Algoritmo de Euclides slo para demostrar los
Teoremas que daremos a continuacin.
Algoritmo de Euclides.
Sean m, n Z ^0` entonces existen, de manera nica, q, r Z ^0` tal que
n qm r donde 0 d r m
Teorema
Sea m Z , entonces cualquier n Z es congruente mdulo m a uno y slo
uno de los enteros 0, 1, 2, 3,...,m-1
Demostracin.
Sea n Z , debemos demostrar que n no puede ser congruente mdulo m a dos
enteros a, b ^0, 1, 2, ....., m 1`
Si n 0 entonces n { 0(mod m)
Ejemplo.
n Z es congruente mdulo 3 a uno y slo uno de los enteros 0, 1, 2, y para
verificar basta con dividir ( Algoritmo de Euclides) por 3, as, 4589 { 2(mod 3) ya que
4589 1532 3 2
Definicin.
Se llama clases residuales mdulo m a aquellas m clases que contienen todos
los enteros que son congruentes mdulo m a uno de los enteros 0, 1, 2, 3,...,m-1
Ejemplo.
Para m = 3 se tiene 3 clases residuales formadas por los enteros congruentes a 0,
1, 2 respectivamente
....., -6, -3, 0, 3, 6, 9, 12,....
....., -5, -2, 1, 4, 7, 10, 13,.....
....., -4, -1, 2, 5, 11, 14,.....
Teorema,
Dos enteros a, b son congruentes modulo m si y slo si dan el mismo resto al
dividirlos por m.
Demostracin.
Observacin.
La relacin de congruencia mdulo m fijo determina una particin del conjunto
Z en clases de equivalencia y el conjunto cuociente lo denotamos Z m
Ejemplo.
Determine las clases de equivalencia por la congruencia mdulo 5.
Solucin.
0 ^x Z / 0 ~ x` ^x Z / 0 x 5 p` ^x Z / x 5k , k Z ` ^...,10, 5, 0, 5, 10,....`
1 ^x Z / 1 ~ x` ^x Z / 1 x 5 p` ^x Z / x 5k 1, k Z ` ^...,9, 4, 1, 6, 11,....`
2 ^x Z / 2 ~ x` ^x Z / 2 x 5 p` ^x Z / x 5k 2, k Z ` ^...,8, 3, 2, 7, 12,....`
3 ^x Z / 3 ~ x` ^x Z / 3 x 5 p` ^x Z / x 5k 3, k Z ` ^...,7, 2, 3, 8, 13,....`
4 ^x Z / 4 ~ x` ^x Z / 4 x 5 p` ^x Z / x 5k 4, k Z ` ^...,6, 1, 4, 9, 14,....`
as, Z 5 ^0 ,1 , 2 , 3 , 4 ` ^ 0, 1, 2, 3, 4 `
Definicin.
Sean a, b Z m , donde a, b son representantes cualesquiera de a, b respectivamente,
entonces a b es la clase residual mdulo m que contiene a a b ( esto se puede
hacer con cualquier elemento de a, b )
Ejemplo.
Determine la tabla de doble entrada de ( Z 3 , )
Solucin.
Z 3 posee los elementos 0, 1, 2 donde
0 ^...,3, 0, 3, 6, 9,12,.....`
1 ^...,2, 1, 4, 7, 10,13,.....`
2 ^...,1, 2, 5, 8, 11,114,.....`
La tabla que obtenemos es
+ 0 1 2
0 0 1 2
1 1 2 0
2 2 0 1
R5 ^ ( a , b) A `
/ a 2 b 2 ! 3 si A ^ 1,0,1,2,3`
2
10) Demuestre que las siguientes relaciones definidas son relaciones de equivalencia
R1 2 tal que aR1b k Z tal que a b 2k
R2 definida en Q tal que aR2 b n Z tal que
16) Sea R una relacin en A. Decimos que: R es conexa x, y A : aRb bRa
Demuestre: Si R es simtrica, transitiva y conexa entonces R es de relacin de
equivalencia.
21) Sea A ^a, b, c` y R A2 ^(a, a), (b, b), (c, c), (b, c), (c, b)`.
a) Demuestre que R es una relacin de equivalencia
b) Determine: a , b , c
c) Determine A / R
3.7 FUNCIONES
Una funcin expresa la idea de una cantidad que depende de otra u otras
cantidades, por ejemplo podemos afirmar que el rea de un cuadrado depende o es
funcin de la longitud del lado de ste; si al rea lo denotamos por A y la longitud
del lado lo denotamos por l entonces podemos escribir A f (l ) , y en ste caso
particular, la expresin matemtica es A(l ) l 2 ; el volumen V de un cilindro recto
depende, es funcin, del radio basal r y de altura h, lo que escribimos V f (r , h) y la
expresin matemtica es V (r , h) S r 2 h
Observacin.
1) f A u B es una funcin de A a B si y slo si x A ! y B tal que
y f (x)
a) Domf A
2) f A u B es funcin
b) >( x, y ) f ( x, z ) f @ y z
^ `
2) Sea f A u (2,5a 2), (4, a ), (4,2a 1), (7,2a 2 1) una relacin donde
A ^2,4,7` . Determine a para que f sea funcin
Solucin.
Para que f sea funcin , el elemento 4 debe tener una nica imagen, as se debe
cumplir que a 2a 1 , es decir , a 1
La funcin es f ^(2,3), (4,1), (7,1)`
x 1
4) Sea f Au ( x, y ) / y f ( x) , A una funcin. Determine el
x 2
mximo dominio A y mximo recorrido
Solucin.
x 1
Como Domf ^x A / y tal que y f ( x) ` y y f ( x)
x2
entonces Domf ^2`
Como Re cf ^y / x ^2` tal que y f ( x)` , despejando x de
x 1
y obtenemos y ( x 2) x 1 , es decir, yx x 1 2 y , esto indica que
x2
1 2y
x( y 1) 1 2 y de tal manera que x si y z 1 , as entonces, el
y 1
mximo recorrido de f es Re cf ^1`
3.7.2 Operaciones con funciones
Definicin.
Sean f , g dos funciones tal que Domf , Domg son sus respectivos dominios, entonces
definimos las funcin suma, denotada f g , tal que
i) Dom( f g ) Domf Domg
ii) ( f g )( x) f ( x) g ( x)
Observacin
Observacin
Usando la contrapositiva tenemos:
La funcin f : A o B es inyectiva > f ( x1 ) f ( x 2 ) x1 x 2 @ x1 , x 2 A
Ejemplos
2x 3
1) Considere la funcin f : ^1` o ^2` tal que f ( x) , demuestre que f
x 1
es inyectiva.
Demostracin.
Debemos demostrar: f (a ) f (b) a b a, b ^1`
2a 3 2b 3
f (a) f (b) (2a 3)(b 1) (2b 3)(a 1) , con un poco de
a 1 b 1
trabajo algebraico concluimos que a b
Observacin
El problema anterior tambin se puede solucionar de la siguiente manera; como lo que
deseamos es determinar el conjunto que valores que toma y f ( x) x 5 cuando
x 1, 20@ , entonces podemos despejar x , obteniendo x y 2 5 . Imponiendo la
condicin conseguimos 1 y 2 5 d 20 as, 4 y 2 d 25 de donde 2 y d 5
Observacin.
1)La funcin f : A o B es sobreyectiva si y slo si todos los elementos del
conjunto B son imagen de algn elemento de A
2) La funcin f : A o B es sobreyectiva si y slo si Re c( f ) B
Ejemplos
x
1)Demuestre que la funcin f : >0,2 o f,0@ tal que f ( x) es sobreyectiva
x2
Solucin.
x
Debemos verificar que Re c( f ) f,0@, despejemos x de y ; tenemos:
x2
x 2y 2y
y xy 2 y x x , y z 1 ;como x >0,2 entonces 0 d 2
x2 y 1 y 1
La solucin de esta inecuacin es f,0@ , as Re c( f ) f,0@
b) x t 2 x 2 t 0 x 2 x 2 , as f ( x) x2 x x2x 2 ^ 2`
Teorema
Sea f : A o B tal que y f ( x) una funcin, se cumple:
f 1 : B o A es funcin f : A o B es biyectiva
Demostracin.
>
) Debemos demostrar: a) Dom( f 1 ) B b) (a, b) f 1 (a, c) f 1 b c @
a) Dom( f 1 ) Re c( f ) B ya que f es sobreyectiva
> @
b) (a, b) f 1 (a, c) f 1 >(b.a ) f (c, a) f @ > f (b) a f (c) a @
f (b) f (c) b c ya que f es inyectiva
) Queda propuesta
Observacin
Dada la funcin biyectiva f : A o B tal que y f ( x) , nos debe interesar determinar la
expresin funcional de la inversa, es decir , determinar f 1 ( x ) ; tenemos:
y f ( x ) ( x , y ) f ( y , x ) f 1 f 1 ( y ) x
Es decir, despejamos x de y f ( x) y en sta ltima expresin reemplazamos y por x
Ejemplos
2x 3
1) Considere la funcin biyectiva f : ^1` o ^2` tal que f ( x) ,
x 1
1
determine f ( x)
Solucin
2x 3 y3
De f ( x) y tenemos yx y 2 x 3 de donde x , as entonces
x 1 y2
y3 x3
x f 1 ( y ) de donde, f 1 : ^2` o ^1` tal que f 1 ( x)
y2 x2
2) Considere la funcin f : A o B tal que f ( x) 3x 2 6 , x d 0
Determine la funcin inversa de f
Solucin
Para que exista f 1 , la funcin f debe ser biyectiva
f es inyectiva ya que: f ( x1 ) f ( x 2 ) 3x12 6 3x 22 6 x12 x 22 , extrayendo raz
cuadrada obtenemos x1 x 2 , as, x1 x 2 de donde x1 x 2
Ahora debemos determinar Re c( f ) de tal manera que f 1 : Re c( f ) o ^0` sea
funcin.
Si x d 0 entonces x 2 t 0 as y f ( x) 3x 2 6 t 6 , concluimos que Re c( f ) >6, f
y f 1 : >6, f o ^0` es funcin
Determinemos, finalmente, f 1 ( x )
y6 y6
De y 3x 2 6 obtenemos x 2 de donde x , entonces
3 3
x6
f 1
: >6, f o ^0` tal que f 1 ( x)
3
Observacin
Podemos denotar, ms simple: f $ g ^( x, f ( g ( x)) / x Dom( f $ g )`
Ejemplos.
1) Considere las funciones f : o tal que f ( x) x 2 , g ^(4,2), (9,1)`, determine
g$ f
Solucin
En primer lugar determinemos Dom( g $ f )
Dom( g $ f ) ^x Dom( f ) / f ( x) Dom( g )` ^x / x 2 ^4,9``,as, x 2 4 indica
que x r2 y x 2 9 indica que x r3 , es decir, Dom( g $ f ) ^ 3,2,2,3`
Ahora, como g $ f ^( x, g ( f ( x)) / x ^ 3,2,2,3`` entonces
g $ f ^(3,1), (2,2), (2,2), (3,1)`
1 si x es par
2) Sea f : N o una funcin tal que f ( x)
- 1 si x es impar
Cules de las siguientes afirmaciones son verdaderas?
a) f (2 x) f (3 y ) 0 x es par y es impar
b) f ( x) f ( y ) 2 x, y N
c) Existe un nico natural n tal que f (nx) nf ( x)
Resp. c
3) Determine a, b para que
f ^(1,8), (2,3), (1, a 2 b 2 ), ((1, a b), (a 2 b, a), (b a 2 , b)` sea funcin
Resp. (a 2 b 2) (a 2 b 2)
4) Sea A ^p / p es una proposicin` . Definimos una funcin f : A o por
1 si p es V
f ( p) . Demuestre:
0 si p es F
a) f ( p q) f ( p) f (q ) f ( p ) f (q)
b) f (~ p) 1 f ( p )
c) f (~ p q) 1 f ( p) f (~ q) 1 f ( p ) f ( p ) f (q)
5) Considere las funciones reales f, g tal que f ( x) x 2 2 x , g ( x 1) x 2 .
Determine f (( x 1) 2 ) 6 g ( x)
Resp. ( x 1) 2 ( x 3)( x 1)
6) Sean f, g funciones reales definidas por f ( x) ax b , g ( x) cx d ;
a, b, c, d ; a, b z 0 .Cul de las siguientes afirmaciones es verdadera?
a) f ( x y ) f ( x) f ( y ) b 0
a
b) ( fg )( x) x 2 (b d ) x bd 1
c
c) ( f g )( x) b d a c
d) f ( g ( x)) acx ad
Resp. a) y c)
7) Sea f : o una funcin tal que f ( x) ax b ; a, b
Si f ( x y ) f ( x) f ( y ) x, y y si f (2) 6 , determine a y b
Resp. a 3, b 0
8) Sea f : f,0@ o una funcin tal que f ( x) x 2 3 . Demuestre que f es
inyectiva
9) Considere las funciones reales f, g tal que
f ( x 1) ax b , g ( x) x b ; a, b ^0`.Si f $ g g $ f Determine el
valor de b(a 1)
Resp 0
10) Si f : o una funcin tal que f ( x 7) f ( x) f (7) x y f (0) 0
Verifique que:
a) f (7) f (7)
b) f (35) f (14) 3 f (7)
f (63)
c) 9 si f (7) z 0
f (7)
11) Sean f, g funciones reales definidas por
f ( x) x 4 , x >0,6@ ; g ( x) x 2 2 , x > 1,3@ , determine las funciones
f $g y g$ f
Resp. ( f $ g )( x) x 2 6 , x > 1,2@ ; ( g $ f )( x) x 6 , x >0,5@
1
Sean f, g funciones reales definidas por: f ( x) ,xt3 ;
x2
2x 1 1
g ( x) , x t . Determine f $ g y g $ f
x 2
1
Resp. ( f $ g )( x) x , x ,1 , ( g $ f )( x) x , x >3,4@
2
12) Sean f, g funciones reales tal que f ( x) x 2 , x 0 ; determine g ( x) si
f ( g ( x)) x 2 4 x 5 Resp. g ( x) 2 x 3
13) Sean f, g funciones reales tal que f ( x 2) x 2 x 1 , g ( x a) x.
12
Determine a de modo que ( f $ g )(2) ( g $ f )(a 2) Resp. a
7
14) Si f : X o Y es funcin, A, B Y demuestre:
a) f ( A B) f ( A) f ( B)
b) f ( A B) f ( A) f ( B)
c) f 1 ( A B) f 1 ( A) f 1 ( B)
d) f 1 ( A B) f 1 ( A) f 1 ( B)
e) f 1 ( A B) f 1 ( A) f 1 ( B)
f) f 1 ( B C ) ( f 1 ( B)) C
g) A B f 1 ( A) f 1 ( B)
h) f ( f 1 ( B ) B B Y
i) f 1 ( f ( B)) B B X
1
15) Hallar a, b para que la funcin f : >b,2@ o a, sea biyectiva donde
24
1 1
f ( x) Resp. a , b 5
6x 6 6
1
16) Si f : A o B es una funcin tal que f ( x 5) , determine el
x2
4
valor de x que satisface la relacin ( f 1 $ f )( ) 2
x
Resp. A ^3` , B Re c( f ) ^0`, x 2
x
17) Sea f : >0, f ^2` o una funcin tal que f ( x) . Demuestre que f es
x 4
2
inyectiva
18) Sea f una funcin biyectiva tal que f 1 ( x) 2 x 2b , b z 0 ; f 1 (3b) 2b 2 ,
f (10) 1
determine 1 Resp.
f (10) 28
CAPITULO 4
sus propiedades, la axiomtica de Peano es aquella en que nos basaremos para deducir
1) 1 N
2) ( n N )( ! n N ) tal que n n 1
3) n N : n z 1
4) n, m N : n z m n z m
a) 1 S
5) S N tal que S N
b) n S n S
Observacin.
- El axioma 2 nos indica que todo natural n tiene un nico sucesor n n 1
es el primer natural.
- El axioma 4 nos indica que dos naturales distintos no tienen el mismo sucesor
Demostracin.
Observacin.
a) P(1) V
P (n) es V n N
b ) P ( k ) V P(k 1) V
Matemtica
3) En el Primer Principio de la Induccin podra ocurrir que la parte a) no se
Ejemplos.
1 1 1 1 n
Demuestre que: ... se cumple para todo natural
1 2 2 3 3 4 n (n 1) n 1
Demostracin.
1 1 1 1 n
Sea P(n): ... . Debemos demostrar que:
1 2 2 3 3 4 n (n 1) n 1
1
involucrada la sucesin y que el hecho de que P (k ) sea verdadera
n ( n 1) nN
k
significa que la suma de los k primeros trminos de la sucesin es .
k 1
1 1
a) P (1) es verdadero ya que
1 2
11
1 1 2
P(2) es verdadero si se cumple: .
1 2 2 3 2 1
2
Como el lado izquierdo de la ltima expresin tiene valor tanto como el lado
3
1 1 1 1 k
b) Si P(k) es verdadero, es decir, si ... ,
1 2 2 3 3 4 k (k 1) k 1
1 1 1 1 1 k 1
... . Veamos esto ltimo
1 2 2 3 3 4 k (k 1) (k 1)(k 2) k2
1 1 1 1 1 k 1
...
1 2 2 3 3 4 k (k 1) (k 1)(k 2) k 1 (k 1)(k 2)
k (k 2) 1 k 2 2k 1 (k 1) 2 k 1
(k 1)(k 2) (k 1)(k 2) (k 1)(k 2) k2
Observacin
1) Ahora estamos seguros de poder sumar los n primeros trminos de la sucesin dada,
Ejemplo.
Demuestre que toda expresin del tipo 3 2 n 1 es divisible por 8, para todo valor de n
en los naturales
Demostracin.
Sea P(n) : 3 2 n 1 8r , para algn r N
Vemoslo
3 2( k 1) 1
3 2k 3 2 1
3 2k 3 2 32 3 2 1
3 2 (3 2 k 1) 3 2 1
3 2 (8r ) 8
Por a) y b) los nmeros de la forma 3 2 n 1 son divisibles por 8 para todo natural n
Observacin
3 2 k 1 por 8r
conseguimos:
(8r 1)3 2 1
72r 8
8(9r 1) = 8s
Ejemplo.
Demuestre que 5 2 n (1) n 1 es divisible por 13 para todo valor de n en N
Demostracin.
Sea P(n) : 5 2 n (1) n 1 13 p para algn valor de p en N
Debemos demostrar que:
a) P (1) se cumple b) Si P (k ) se cumple entonces P (k 1) tambin se cumple
a) Como 5 21 (1)11 25 1 26 13 2 entonces se verifica P (1)
b) Si P (k ) se cumple entonces existe p N tal que 5 2 k (1) k 1 13 p , debemos
demostrar que P (k 1) tambin se cumple, es decir, debemos probar que
existe q N tal que 5 2 k 2 (1) k 2 13q .
5 2 k 2 (1) k 2 25 5 2 k (1)(1) k 1
25 5 2 k 25(1) k 1 25(1) k 1 (1)(1) k 1
> @
25 5 2 k (1) k 1 (1) k 1 (25 1)
25 13 p 26(1) k 1
13(25 p (1) k 1 ) 13q , donde q 25 p (1) k 1 N
4.1.2 Segundo Teorema de la Induccin
Usaremos el siguiente Principio del Buen Orden para demostrar el Segundo Principio
de la Induccin Matemtica.
Sea P(n) una proposicin que contiene una variable n N , tal que.
a) P(1) es verdadera
Demostracin.
Supongamos que S ^n N / P(n) es V ` es subconjunto propio de N, entonces
N S zI y N SN.
luego 1,2,3,..., m 1 S , es decir, P (1) , P(2) , ..., P(m 1) es verdadero, luego , por
Ejemplo.
Demostracin.
Sea P (n) : a n 3 2 n 3 ,
a n 1 a n .. a 2 a1 (usando la definicin)
Observacin.
Note el uso del Segundo Principio de la Induccin y de validez de la
proposicin a partir del natural 3
a) n 1 n
Se define la adicin en N por:
b) n m (n m)
Ejemplo.
Demuestre que n 1 1 n n N
Demostracin.
igual n 1
Tenemos: k 1 (k 1) 1 (1 k ) 1 1 k
Proposicin.
Para todo n , m , p N se cumple:
a) n m N
b) m (n p ) (m n) p
c) m n n m
d) Si m p n p entonces m n
Demostracin.
particular, la asociatividad
Vemoslo
k m (k 1) m k (1 m) (k m) 1 (m k ) 1 m k
MULTIPLICACION EN LOS NATURALES
a ) n 1 n
Se define la multiplicacin en N por:
b) n m nm n
Proposicin.
Para todo n , m , p N se cumple:
a) n m N
b) m n n m
c) m (n p) (m n) p
d) Si m p n p entonces m n
Adems, se cumple:
e) (m n) p m p n p
Demostracin.
induccin sobre p
Sea P ( p ) : (m n) p m p n p.
a) P(1) es V ya que (m n) 1 m 1 n 1 m n
( m n) k ( m n) k ( m n)
mk nk m n
m k ( n k n) m
( m k m) ( n k n )
mk nk
n(n 1)
a) 1 2 3 .... n
2
n(n 1)(2n 1)
b) 12 2 2 3 2 ... n 2
6
n 2 (n 1) 2
c) 1 2 3 ... n
3 3 3 3
4
n(3n 1)
d) 1 4 7 ... (3n 2)
2
e) 2 2 2 2 3 ... 2 n 2(2 n 1)
g) (1 2 3 ... n) 2 13 2 3 33 .... n 3
h) (n 3 n) es divisible por 3
i) (6 n 1 4) es divisible por 5
j) 5 n 2 n es divisible por 3
k) x n y n es divisible por x y
l) n 3 2n es divisible por 3
a) n 2 n
b) 3 n t 2n 1
c) 2n d 2 n
d) x 2 n y 2 n es divisible por ( x y ) z 0
1 (n 1)r n nr n 1
e) 1 2r 3r 2 4r 3 ... nr n 1
(1 r ) 2
3) Demuestre que las siguientes afirmaciones se cumplen para todo natural n
1 1 1 1 n
a) ... 2
3 15 35 4n 1 2n 1
n 1 (2n 1)3 n 1
b) 1 2 3 3 3 4 3 .. n 3
2 3
4
1 1 1 1 n
c) ....
1 3 3 5 5 7 (2n 1)(2n 1) 2n 1
1 2 3 n n(n 1)
d) ....
23 4 3 45 456 (n 1)(n 2)(n 3) 4(n 2)(n 3)
3 (1) n 1
an para todo natural n ! 1
3 (1) n
n
7
Demuestre que a n
4
a) (1 h) n ! 1 nh , h , n t 2
b) n 2 ! 2n 1 n t 3
6) Demuestre:
a) m n z m m, n N
b) (m n ) m n m, n N
c) m (n p) (m n) p m, n, p N
d) (m n ) m n m m, n N
e) m n (m n) 1 m, n N
4.2 SUMATORIAS
4.2.1 Sumatoria simple
Definicin
Una sucesin real es toda funcin con dominio un subconjunto de los nmeros
naturales y con valores en , simblicamente, la sucesin a es a : N o tal que
n a (n) a n
Observacin.
Denotamos la sucesin a por a n nN , donde a n es el trmino general de la
sucesin
Ejemplo
Para la sucesin (1) 2
n n
nn , los tres primeros trminos son:
a1 (1)1 21 2 , a 2 (1) 2 2 2 4 , a3 (1) 3 2 3 8
Definicin.
Sea a n nN una sucesin, definimos la sumatoria de los n primeros
n
trminos de la sucesin, denotada ai , por:
i 1
1
ai a1 si n 1
n
i 1
ai n1
a a si n ! 1
i 1
i n
i 1
Observacin.
Usando la definicin de sumatoria y las propiedades de los nmeros reales
podemos escribir:
n n 1 n2 n 3
ai ai a n ai a n 1 a n ai a n 2 a n 1 a n
............
i 1 i 1 i 1 i 1
a1 a 2 a3 ... a n 2 a n1 a n
Ejemplo.
3
Desarrolle y calcule ai considerando la sucesin (2n 3) nN
i 1
Solucin
3 3
ai (2i 3) (2 1 3) (2 2 3) (2 3 3) 579 21
i 1 i 1
75
Si nos interesa ai ?. Necesitamos un poco ms de teora
i 1
n n
a) Si a n p n N entonces an p np
i 1 i 1
b) Si (c n ) nN es una sucesin tal que c n pa n n N entonces
n n n
ci pai p ai
i 1 i 1 i 1
c) Si (d i ) nN es una sucesin tal que d n a n bn n N entonces
n n n n
d i (ai bi ) ai bi
i 1 i 1 i 1 i 1
n
d) (ai ai1 ) a n a0 ( Propiedad telescpica)
i 1
n nr
e) ai ai r ( Propiedad del reloj)
i j i j r
Demostracin.
n n
Sea P (n) : pai p ai
i 1 i 1
1 1 1
a) P(1) es V ya que pai ci c1 pa1 p ai
i 1 i 1 i 1
r r k 1 k 1
b) Si pai p ai , r d k debemos demostrar que pai p ai
i 1 i 1 i 1 i 1
Vemoslo
k 1 k 1
pai ci
i 1 i 1
k
ci ck 1
i 1
k
pai pak 1
i 1
k
p ai pa k 1
i 1
k
p ai a k 1
i 1
k 1
p ai
i 1
n
n(n 1)
a) 1 2 3 4 ..... (n 1) n i 2
i 1
n
n(n 1)(2n 1)
b) 1 2 3 4 ... (n 1) n
2 2 2 2 2 2
i2 6
i 1
3 n
n 2 (n 1) 2
c) 1 2 3 4 ... (n 1) n
3 3 3 3 3
i 3
4
i 1
Observacin.
Estas frmulas que nos permiten sumar sin sumar, ya fueron demostradas por
induccin, sin embargo, es necesario mostrar algn camino que nos lleve a deducirlas,
como un ejemplo deduciremos la suma de los cuadrados de los primeros n naturales
n
Consideremos (i 1) 3 , tenemos:
i 1
n n n n n n
(i 1) 3 (i 3 3i 2 3i 1) i 3 3i 2 3i 1
i 1 i 1 i 1 i 1 i 1 i 1
i 1 i 1 i 1 i 1 i 1
n
n(n 1)
(n 1) 3 1 3 i 2 3 n
i 1 2
n(n 1) n
(n 1) 1 n 3
3
3 i 2
2 i 1
n(n 1)
(n 1) 3 (n 1) 3
n
n(n 1)(2n 1)
i2 2
i 1 3 6
Ejemplos.
10
1) Calcule, usando las propiedades: (4i
i 1
2
2)
Solucin.
10 10 10 10
10(10 1)(10 2 1)
(4i
i 1
2
2) 4i 2
2 4 i 2 10 2 4
6
20 1.560
i 1 i 1 i 1
trminos son: 1, 3, 5, 7, 9
Solucin.
Sea (a n ) nN la sucesin tal que a1 1 , a2 3 , a3 5 , a4 7 , a5 9 , es
n
1
3) Determine una frmula para (k 1)(k 2)
k 1
Solucin.
Para resolver este problema necesitamos descomponer la fraccin racional
1
en fracciones parciales.
(k 1)(k 2)
A
uno de estos factores lineales genera una fraccin parcial del tipo , de tal
ax b
Tenemos:
1 A B
(k 1)(k 2) k 1 k 2
1 A(k 2) B(k 1)
(k 1)(k 2) (k 1)(k 2)
1 1 1
Entonces: , de donde
(k 1)(k 2) k 1 k 2
n n
1 1 1
(k 1)(k 2) k 1 k 2
k 1 k 1
1
Si consideramos la sucesin , usando la propiedad telescpica
n 2 nN
n
(ai ai1 ) a n a0 tenemos:
i 1
n n n
1 1 1 1 1 1 1
(k 1)(k 2) k 1 k 2
k 1 k 1 k 1 k 2 k 1 n 1 2
n
2(n 1)
n
1 n
Demostremos que (k 1)(k 2) 2(n 2)
se cumple en N
k 1
n
1 n
Sea P(n) :
k 1 ( k 1)( k 2) 2(n 2)
1
1 1 1
a) P (1) es V ya que (k 1)(k 2) 23 6
, y por otro lado
k 1
1 1
2(1 2) 6
p
1 p
b) Si se cumple que (k 1)(k 2) 2( p 2)
debemos demostrar que
k 1
p 1
1 p 1
(k 1)(k 2) 2( p 3)
. Vemoslo:
k 1
p 1 p p 1
1 1 1
(k 1)(k 2) = (k 1)(k 2) + (k 1)(k 2)
k 1 k 1 k p 1
p 1
2( p 2) ( p 2)( p 3)
p( p 3) 2 p2 3p 2 p 1
2( p 2)( p 3) 2( p 2)( p 3) 2( p 3)
4) Calcule, usando frmulas, la suma de todos los nmeros impares entre 100 y 500
Solucin.
Queremos los nmeros impares desde 101 hasta 499. Si escribimos un nmero impar
250
como 2k 1 entonces la suma pedida es (2k 1) ; tenemos:
k 55
250 250 50 200 200 200
(2k 1)
k 51
>2(k 50 1@ (2k 99)
k 5150 k 1
2 k 99
k 1 k 1
200(201)
2 200(99)
2
2n
5)Determine una frmula para (1)
k 1
k
k y demuestre la validez de sta en N
Solucin.
2n
(1)
k 1
k
k 1 2 3 4 5......... (2n 1) 2n
2 ( r 1) 2r 2 2r
(1) k k
k 1
(1) k k
k 1
(1)
k 1
k
k (2r 1) (2r 2) r (2r 1) (2r 2) r 1
m
Si sumamos los trminos de la primera fila obtenemos: a1 j
j 1
m
Si sumamos los trminos de la segunda fila obtenemos: a2 j
j 1
.
m
Si sumamos los trminos de la n-sima fila obtenemos: a nj
j 1
n m
Ahora, si sumamos estas sumas obtenemos: ( aij )
i 1 j 1
Por otro lado
n
Si sumamos los trminos de la primera columna obtenemos: ai1
i 1
n
Si sumamos los trminos de la segunda columna obtenemos: ai 2
i 1
.
n
Si sumamos los trminos de la m-sima columna obtenemos: aim
i 1
m n
Ahora, si sumamos estas sumas obtenemos: ( aij )
j 1 i 1
Naturalmente que estas sumas dobles son iguales (forman la suma de todos los
trminos del arreglo) por lo que podemos afirmar que ( aceptando como definicin)
n m m n
aij aij
i 1 j 1 j 1i 1
Se cumple:
n m
a) k nmk , k
i 1 j 1
n m n m
b) kaij k aij , k
i 1 j 1 i 1 j 1
n m m n
c) (ai b j ) n b j m ai
i 1 j 1 j 1 i 1
n m n m
d) ai b j ( ai )( b j )
i 1 j 1 i 1 j 1
Observacin.
Si aplicamos la suma iterada a la sumatoria doble podemos mostrar las
n m n m n m n m
( ai b j ) i j
( a b ) i j
ma b m ai n b j
i 1 j 1 i 1
j 1 i 1
j 1 i 1 j 1
Ejemplo.
3 4
Calcule (2i j )
i 1 j 1
Solucin.
3 4 4 3
4(4 1) 3(3 1)
(2i j ) 3 j 4 2i 3
2
42
2
78
i 1 j 1 j 1 i 1
6 5
1) Si se sabe que (2 xi 3) 18 ; (x i 6) 2 182 y x 6 8 , determine el valor
i 1 i 1
6
de x
i 1
2
i Resp. 184
n 6
ai 5
2) Sabiendo que ai
i 1
2n 2 3n encuentre el valor de
i 1 3
y a3
Resp. 20 ; 13
15
3) Determine el valor de i(i 3)
i 5
7 10
4) Si se sabe que xi2 196 ; (2x i 3) 2 1130 ; x 8 x9 3 x 10 5 ,
i 1 i 1
7
determine el valor de x i 1
i
6 7
5) Si (2 x
i 1
i 1) 2
4 ; (xi 1
i 1)( xi 1) 129 y x 7 4 , determine el valor de
7 6
(2 x
i 1
i 5) (2 xi 3) 2
i 1
6) Encuentre una frmula que permita sumar los n primeros trminos de la sucesin:
a) 2n 1nN Resp. n 2
b) 6n 3
nN Resp. n(n 1)(2n 1)
7) Calcule:
a) 3 6 ... 198 Resp. 6.633
b) 12 2 2 3 2 4 2 5 2 6 2 ..... 99 2 100 2
e) 12 2 2 3 2 4 2 5 2 6 2 ..... 99 2 100 2
8) Calcule:
100
1 1 2.575
a) i(i 1) (i 1)(i 2) Resp.
i 1 5.151
100
k k 1 100
b) k 1 k Resp.
101
k 1
n
c) >(k 1) Ln(k 1) kLnk @
k 1
Resp. (n 1) Ln(n 1)
n
1 n
a) i(i 1) Resp.
n 1
i 1
n
1 n
b) (2i 3)(2i 1)
i 1
Resp.
3(2n 3)
n
2k 1 3 4n 3
c) k (k 1)(k 2) Resp.
4 2(n 1)(n 2)
k 1
n
k 2 1
d) k (k 1)2
k 1
k
Resp. 1
(n 1)2 n
n
1 7 1 1 1
e) k (k 1)(k 3)
k 1
Resp.
36 6(n 1) 6(n 2) 6(n 3)
5 4 3
10) Resuelva la ecuacin x 2
(2i
i 1
2
i 1) (i 3i )
i 1
2
x (2i 2 8i )
i 1
6 5
(i 3) 6 5 6
a) (3i 5)
i 1
b)
i 1 i
c) (i 3)(2i 5)
i 1
d) (i 2)( j 2)
i 1 j 2
5 3
i2
e) (2i 3i )( )
i 0 j 1 j
5 5 5
12) Si se sabe que x
i 1
2
i 30 ; x
i 1
i 18 , determine el valor de (x
i 1
i 2) 2
Resp. -22
6
6 6 a i2 6
13) S (ai 3) 2 (ai 2) 2 y i 1
6
10 , determine el valor de ai (ai 3)
i 1 i 1
ai i 1
i 1
Resp. 21
10 7
14) Dado (2 x
i 1
i 3) 2
1130 ; x
i 1
2
i 196 ; x 8 3 ; x9 3 ; x 10 5 . Cul es el
7
valor de x
i 1
i ? Resp. -11
4 4 4
15) S x i 1
i 12 ; x i (2 3xi )
i 1
306 , determine el valor de ( xi 2) 2
i 1
Resp. 174
8 8 8
16) Dado x
i 1
2
i 25 y x
i 1
1 12, determine el valor " k" si (4 xi 2k ) 2
i 1
4.000
Resp. k = 0 , k = 6
6 5
17) Calcular el valor de la constante c, si se sabe que: (2 x
i 1 j 1
i 3 y j c) 6.000
6 5
, x
i 1
i 18 ; y
j 1
j 22. Resp. 207,2
4.3 PROGRESIONES
4.3.1 Progresin Aritmtica
Definicin.
Una sucesin real a n nN se llama Progresin Aritmtica, denotada P.A. si:
a1 a1
a n1 a n d , para algn d ^0` , n N
Observacin.
1) a1 se llama primer elemento de la P.A.
Ejemplos.
1) la sucesin de los nmeros naturales es una P.A. con primer elemento a1 1
y diferencia d 1
1
1
a) P (1) es verdadero ya que ai a1 y por otro lado >2a1 (1 1)d @ a1
i 1 2
n
n
b) Si P (n) es V n N , n d k entonces se cumple ai >2a1 (n 1)d @ , debemos
i 1 2
n 1
n 1
demostrar que P (n 1) es verdadero, es decir, que ai >2a1 nd @
i 1 2
Vemoslo.
n 1 n n 1
ai ai ai
i 1 i 1 i n 1
n
>2a1 (n 1)d @ an1
2
n
>2a1 (n 1)d @ a1 nd
2
n
na1 (n 1)d a1 nd
2
n
(n 1)a1 (n 1) n d
2
n(n 1)
(n 1)a1 d
2
n 1
>2a1 nd @
2
Ejemplos.
1) En una P.A. cuyos tres primeros trminos son: 5, 11, 17 determine:
a) el quinto trmino
b) la suma de los 17 primeros trminos
Solucin.
Como a1 5 yd 11 5 6 entonces:
17
17
a) a5 a1 4d 5 46 29 b) ai >2 5 16 6@ 901
i 1 2
Solucin.
Estamos considerando una P.A. donde el primer trmino es a1 6 y el dcimo
10
Como a10 a1 9d entonces 36 6 9d de donde d 3 13 , as, los
3
a4 16 , a5 19 13 , a 6 22 23 , a 7 26 , a8 29 13 , a9 32 23
3) Determinar tres nmeros cuya suma sea 15 y la suma de los cuadrados sea 83.
Solucin.
a1 5 d , a2 5 , a3 5d .
Dado que la suma de los cuadrados de los nmeros debe ser igual a 83 entonces
a1 a1
a n1 a n r , para algn r ^1` , n N
Observacin.
b c
4) Si a,b,c estn en P.G. entonces , es decir, b 2 ac
a b
Ejemplos.
1) La sucesin cuyos primeros trminos son: 2, 4, 8, 16, 32, 64,....es una P.G., donde
4 8 64
el primer trmino es a1 2 y la razn es r 2 ...
2 4 32
2) Si los 4 primeros trminos de una P.G. son 3, -6, 12, -24 entonces el primer
trmino es a1 3 y la razn es r 2
a
i 1
i a1 a1 r a1 r 2 ...... a1 r n 2 a1 r n 1
i 1
a1 (1 r n ) , de donde, finalmente
n
1 r n
a
i 1
i a1
1 r
k 1 k
1 rk 1 rk
a a
i 1
i
i 1
i a k 1 a1
1 r
a1 r k a1 (
1 r
rk )
1 r k r k r k 1 1 r k 1
a1 a1
1 r 1 r
Ejemplos.
10
1 r 10 1 210
a) a5 a1 r 4
3 2 4
48 b) ai a1
1 r
3
1 2
3.069
i 1
27
2) Qu lugar ocupa el trmino de valor en una P.G. que tiene primer elemento
4
4 3
con valor tal que la razn es r ?
3 2
Solucin.
n 1
n 1 27 4 3
Como a n a1 r entonces queremos n, tal que
4 3 2
n 1 n 1 4 n 1
27 4 3 27 3 3 3 3
, as, n 5 y entonces el
4 3 2 4 4 2 2 2
27
quinto trmino tiene valor
4
3) La suma de tres nmeros en P.G. es 70, si se multiplica los dos extremos por 4 y el
trmino central por 5 entonces los nuevos nmeros estn en P.A. Determine los
nmeros originales,
Solucin.
Por otro lado, los nmeros 4a , 5ar , 4ar 2 quedan en P.A. y entonces, la
ecuacin que podemos deducir es 5ar 4a 4ar 2 5ar (ambos lados son igual
1 1 1
r a a a 70 a 40 , as, los nmeros pedidos son 40, 20, 10
2 2 4
Ejemplos.
1 1 1 1
1) La sucesin: 1, , , ,...., ,... es una P.H. ya que la sucesin formada por los
2 3 4 n
recprocos 1, 2, 3,..., n,.... es una P.A.
2 xz
2) Si los nmeros x, y, z estn en P.H. demuestre que y
xz
Demostracin.
1 1 1
Si x, y, z estn en P.H. entonces , , estn en P.A.
x y z
1 1 1 1 1 1 1 2 1 1
Si , , estn en P.A. entonces de donde ,
x y z y x z y y x z
2 xz
finalmente: y
xz
4.3.4 EJERCICIOS PROPUESTOS
3 2
1) Se sabe que los dos primeros trminos de una P.A. son a1 , a2
4 3
15
Determine: a) a5 b) a x 2 c) ai
i 1
b) La suma del cuarto trmino con el sexto trmino es igual a 8 y la suma del
quinto y noveno trmino es igual a 9. Determine el segundo trmino
1 2 (i 1) 2
3) Sea A a i / ai ,1 d i d n , n N
2 2
a) Demuestre que los elementos de A estn en P.A.
i
b) Determine ak
k 1
a) 2 3 , 3 3 , 4 3 , ....
6 14
b) , 10 2 , , ....
2 2
c) 2a b , 4a 3b , 6a 5b , ...
ab 3a b
d) ,a, , .....
2 2
2a 2 1 3 6a 2 5
e) , 4a , , ...
a a a
1 k 4k
f) , , .....
1 k 1- k2
9) La suma de tres nmeros en P.A es 12 y la suma de sus cubos es 408, determine los
nmeros.
10) Demostrar que la suma de un nmero impar de trminos de una P.A. es igual al
trmino central multiplicado por el nmero de trminos.
14) Una empresa A tiene una produccin inicial de 1.000 unidades y disminuye a razn
de 100 unidades por ao. Una empresa B tiene una produccin inicial de 500
unidades(el ao inicial es el mismo en ambas empresas) y aumenta su
produccin en 25 unidades cada ao.
a) Cundo sern iguales las producciones de A y B?
b) Cundo ser nula la produccin de A?
c) Cul ser la produccin de B ese mismo ao?
15) En una P.G. la suma de tres trminos es 224 y la suma de los extremos excede en
96 al trmino central. Calcule los nmeros
17) Sume los n primeros trminos en cada una de las siguientes P.G.
1 1 2
a) , , , ...
2 3 9
b) 1 , 5 , 25 ,...
c) 24 , 12 , 6 , ...
22) Sean x, y, z tres nmeros en P.A,. tales que su suma es 24. Si restamos uno al
primer trmino y dos al segundo, los nuevos nmeros quedan en P.G.; determine
los nmeros originales
23) Calcule la suma de todos los nmeros impares entre 100 y 500
ab bc
24) Si , b , estn en P.H. demuestre que a , b , c estn en P.G.
2 2
26) Si 12 y 4.815 son los medios geomtricos y armnicos, respectivamente, entre dos
nmeros; determine a estos nmeros.
4.4 ANALISIS COMBINATORIO
Estas deben indicar claramente como se diferencian dos subconjuntos entre si,
de acuerdo a:
- la naturaleza de los elementos
Observacin.
Al Principio del Anlisis Combinatorio tambin se le llama Principio
Multiplicativo.
Ejemplo.
Si entre dos ciudades A y B existe una lnea de buses que las une y que dispone
de 10 mquinas en uso De cuntas maneras una persona puede ir de A a B u volver
en un bus distinto?
Solucin.
Como ir de A a B se puede realizar de 10 maneras distintas y volver de B a A
de puede hacer de 9 otras formas distintas entonces, realizar el viaje completo, en las
Definicin.
Sea n N ^0` . Definimos el factorial de n, denotado n ! , que se lee
factorial de n como:
1 si n 0
n!
n (n 1) ! si n t 1
Ejemplo.
4 ! 4 3 ! 4 3 2 ! 4 3 2 1! 4 3 2 1 1 24
Observacin.
Es inmediato notar que n ! n(n 1)(n 2) .... 3 2 1
Ejemplos.
x!
1) Determine
( x 2) !
Solucin.
x! x( x 1)( x 2) !
x( x 1)
( x 2) ! ( x 2) !
( x 1) ! 2( x 1) !
2) Solucione la ecuacin 13
x ! ( x 1) !
Solucin.
( x 1) ! 2( x 1) ! ( x 1) ! 2( x 1) x( x 1) !
13 13
x ! ( x 1) ! x( x 1) ! ( x 1) !
( x 1) ! >1 2 x( x 1)@
13
( x 1) ! ( x 1)
1 2 x( x 1)
13
x 1
2 x 2 11x 14 0
7
x1
x 2
x 2 2
Observacin.
Dos variaciones de orden k son diferentes tienen, al menos un elemento distinto
o, si teniendo los mismos elementos, estos estn en distinto orden
Proposicin.
n!
El nmero de variaciones V (n, k ) es V (n, k )
(n k ) !
Demostracin.
(n k ) (n k 1) ..... 3 2 1
V (n, k ) n (n 1) (n 2) ... n (k 1)
(n k ) (n k 1) ..... 3 2 1
n (n 1) ... n (k 1) (n k ) (n k 1) ..... 3 2 1 n!
(n k ) (n k 1) .... 3 2 1 (n k ) !
Ejemplo.
Cuntas palabras de 3 letras se puede formar usando las letras a, b, c, d ?
Solucin.
Como el orden de las letras en cada palabra interesa entonces estamos frente a
4!
variaciones y la respuesta es: V (4,3) 24
(4 3) !
Ejemplo.
Cuntas seales diferentes se puede formar, si disponemos de 6 banderas de
colores diferentes las cuales se colocan en un mstil, una tras otra, si se puede usar
cualquier nmero de ellas a la vez?
Solucin.
Como el orden de las banderas en el mstil es importante entonces el
6
problema es de variaciones y la respuesta es V (6, k )
k 1
4.4.4 PERMUTACIONES
Una permutacin de orden n es toda variacin de orden n
Observacin.
Dos permutaciones de orden n tienen los mismos elementos y son diferentes
slo por el distinto orden que presentan los elementos
Proposicin.
El nmero de permutaciones de orden n es Pn n !
Demostracin.
n!
Pn V (n, n) n!
( n n) !
Ejemplo.
De cuntas maneras se puede ordenar 6 libros en un estante?
Solucin.
De P6 6 ! 720 formas distintas
Si de estos libros, 3 de ellos forman una coleccin y por lo tanto van juntos, el
nmero total de distribuirlos es ahora P4 4 ! 24 maneras
4.4.5 COMBINACIONES
Sea A un conjunto que tiene n elementos, llamamos combinacin de orden
k, k d n , a todo subconjunto de A formado por k elementos
Observacin.
Dos combinaciones de orden k son diferentes slo si tienen al menos un
elemento diferente, dado que el orden de los elementos no interesa.
V (n, k ) n!
k! C (n, k ) V (n, k ) , de donde: C (n, k )
k! k ! (n k ) !
Ejemplo.
7
C (7,4) 35
4
seleccionarse entre los 15 disponibles de C (15,3) formas, por otro lado las 2 nias
Observacin.
Se cumple:
n
a) 1 , n N ^0`
n
n
b) 1 , n N ^0`
0
n
c) n , n N
n 1
n n
d) , n, k N ^0` , k n
k n k
n n n 1
e) , n, k N ^0` , k n
k k 1 k 1
Demostracin
n n n! n!
e)
k
k 1 k ! (n k ) ! (k 1) ! (n k 1) !
(k 1) n ! (n k ) n !
(k 1)! (n k ) !
n ! >k 1 n k @
(k 1)! (n k ) !
(n 1) n ! (n 1) ! n 1
(k 1)! (n k ) ! (k 1) ! (n k ) ! k 1
Ejemplo
n 1 n 1 n 2 n 3
Compruebe que
k k 1 k 2 k 2
Solucin
Usando la ltima afirmacin tenemos:
n 1 n 1 n 2 n 2 n 2 n 3
k k 1 k 2 k 1 k 2 k 2
4.4.6 EJERCICIOS PROPUESTOS
4) Cuntas seales puede mostrar un barco que dispone de 7 banderas, si cada seal
consiste de 5 banderas colocadas verticalmente en un asta? Resp.2.500 seales
10) Simplifique:
n 1
(n 1) ! n ! k 1
a) b)
(n 1) ! n ! n
k 1
11) Resuelva las siguientes ecuaciones
2 x 2 x 2 132
a) y Resp. x 6
x 1 x 35
x x
4 3
b)
3
Resp. x 31
x x 4
4 3
(2 x) ! x ! ( x 2) ! 132
c) Resp. x 6
( x 1) ! ( x 1) ! (2 x 2) ! 35
n n n n 2
2
k
k 1 k 2 k
n 2 n 2 n 2 n 2 n 5
14) Verifique que: 3 3
k 3 k 2 k 1 k k 3
4.5 TEOREMA DEL BINOMIO
4.5.1 Teorema y propiedades
Teorema.
n
n nk k
Sean a, b , n N , entonces: (a b) n
k a b
k 0
Demostracin.
n
n
Sea P(n) : (a b) n
k a nk b k
k 0
1
1
a) P (1) es verdadero ya que (a b)1 k a1k b k , esto ltimo dado que
k 0
1
1 1 k k 1 10 0 1 11 1
a b a b a b ab
k 0k 0 1
r
r
b) Si P(r ) es verdadero, es decir, si (a b) r k a r k b k debemos demostrar que
k 0
r 1
r 1 r 1 k k
( a b) r 1
k
a b . Vemoslo
k 0
(a b) r 1
( a b ) r ( a b)
r
r
( a r k b k )(a b)
k 0k
r r r r 1 r r ( k 1) k 1 r r
a
1 a b ...
k 1 a b ... b (a b)
0 r
r r 1 r r r r r k 2 k 1 r
a a b .a r 1b 2 ... a b ... ab r
0 1 2 k 1 r
r r r r k 1 k r
a r b a r 1b 2 .............. a b .... b r 1
0 1 k 1 r
r r 1 r r r r r r r r r r 1
a a b a r 1b 2 .. ab b
0
1
0 2
1 r
r 11 r
r 1 r 1 r 1 r r 1 r 1 2 r 1 r r 1 r 1
a a b a b .. ab b
0 1 2 r r 1
(a b) r 1
Observacin.
n
n
( a b) n
k a nk b k
k 0
n n n n 1 n n n ( k 1) k 1
a a b a n 2 b 2 ... a b ...
0
1
2
k 1
n n ( n 1) n 1 n n
a b b ; es decir, en el desarrollo de
n 1 n
(a b) n obtenemos (n 1) trminos.
n n ( k 1) k 1
2) El trmino de lugar k , denotado t k , es: t k a b , o quizs ms
k 1
n nk k
fcil, el (k 1) -simo trmino es t k 1 a b .
k
Ejemplos.
1) Desarrolle: (2a b) 4
Solucin.
( 2 a b) 4
4
4 4 4 4 4 4
k (2a) 4k b k (2a ) 4 (2a ) 3 b (2a ) 2 b 2 (2a)b 3 b 4
k 0 0 1 2 3 4
1 16a 4 4 8a 3 b 6 4a 2 b 2 4 2a b 3 1 b 4 16a 4 32a 3 b 24a 2 b 2 8ab 3 b
x 2 14
2) En (1 ) determine:
2
a) el quinto trmino
b) el(los) trmino(s) central(es)
Solucin.
14 10 x 2 4 x8 1.001 8
a) t 5 1 ( ) 1.001 x
4 2 16 16
14 7 x 2 14 1 14
: t8 1
7
x
7
2 7
2
15
3
3) Determine el coeficiente de x (si existe), en el desarrollo de x 2
18
x
Solucin:
k
Supongamos que x t t 1 18
15 2
x
15 k 3
, entonces
k x
15 15 k 303k
x18 x 30 2 k 3 k x k 3 x . Esto nos indica que x 18 x 30 3k , de donde
k k
15
30 3k = 18, as, k = 4. Deducimos que el coeficiente de x 18 es 3 4
4
Solucin.
12
x 8 es ,as, el coeficiente de x 10 en el desarrollo de (1 2 x 3x 2 )(1 x)12 es
8
12 12 12
2 3
10 9 8
10
Sea x 6 t k 1 entonces x 6 (2 x)10 k ( x 2 ) k , as,
k
10 10 k 10 k 10 k p p 2 k 10 k 10 10 k
10k p p 2 k
x 6 2 x ( x ) , es decir, x 6 2 x
p 1
k p p 1 k p
1
1) Determine el sexto trmino en el desarrollo de ( a 3) 6
2
8
x2 x
2) Determine el sexto trmino en el desarrollo de
2 3
15
3
3) Determine el coeficiente de x (si existe) en el desarrollo de x 2
18
x
8
1
4) Calcule el coeficiente numrico del trmino central de 3s t
9
5) Es cierto que el coeficiente de x 16 en x 2 2x
10
es 3.360?
13
1
6) Determine el coeficiente de x en 9 x 3
x
7) Determine el coeficiente de x 4 en 1 x 1 x n
8) Determine el coeficiente de x n en 1 x x 2 1 x
n
9) Determine el coeficiente de x 5 en 1 x x 2 10
n
n
10) Demuestre que k 2n
k 0
12) Determine el coeficiente de x 5 en x 2 x 3
7
3n 3n
1 1
13) Existe n N para que el cuarto trmino de x 2 2 y x 2 sean
x x
iguales?
14) En x
1 2 n 1
2
determine
a) el (los) termino (s) central (es)
b) Coeficiente de x 0
14
a4 b2
15) En 7 determine (si existen )
b a
a) el sptimo trmino
b) el coeficiente de ab
( x h) 4 x 4
16) Determine . Qu pasa si h es muy pequeo?
h
17) En el desarrollo de (3x 2)19 Existirn dos trminos consecutivos con
coeficientes iguales?
n
19) Considere p, q tal que p q 1 y P (k ) p k q n k , k 0,1,.., n
k
Demuestre:
n
a) kP(k ) np
k 0
n
b) (k np) 2 P(k ) npq
k 0
n
1) Calcule k k !
k 1
Solucin.
n n n n
Demostracin.
n
Sea P(n) : k k ! (n 1) ! 1
k 1
Debemos demostrar: a) P (1) es V b) Si P(r ) es V entonces P (r 1) es V
1
a) P (1) es verdadero ya que k k !
k 1
1 1! 1 (1 1) ! 1 2 ! 1
r
b) Si P(r ) es verdadero, es decir, si k k !
k 1
(r 1) ! 1 , debemos demostrar
r 1
que k k !
k 1
(r 2) ! 1 . Vemoslo:
r 1 r r 1
k k !
k 1
(r 2) ! 1 k k ! k k !
k 1 k r 1
(r 1) ! 1 (r 1) (r 1) !
(r 1) ! (1 r 1) - 1
(r 2) ! 1
n
3) Calcule ln e k
k 1
Solucin
n
ln e k ln(e e 2 .e 3 ...... e n )
k 1
n(n 1)
ln e ln e 2 ln e 3 ... ln e n 1 2 3 ... n
2
Demostracin
Sea P(n) : 3 4 n 2 5 2 n 1 14r para algn r Z
3 4 3 4 k 2 3 4 5 2 k 1 3 4 5 2 k 1 5 2 5 2 k 1
3 4 (3 4 k 2 5 2 k 1 ) 56 5 2 k 1
3 4 14r 14 4 5 2 k 1 14(3 4 r 4 5 2 k 1 ) 14 s
donde s 81r 4 5 2 k 1 Z
5) Calcule
1 1 2 1 2 3 1 2 3 4 1 2 99
( ) ( ) ( ) ...... ( ... )
2 3 3 4 4 4 5 5 5 5 100 100 100
Solucin.
Denotemos por S a la suma propuesta, entonces, en realidad es cuestin de
escribir la suma propuesta con los smbolos ya estudiados; tenemos:
k 1
100 i 100 k 1
i 100
(k 1)k 100
k 1 99
k 99 98
S
k 2
i 1
k
k 2 i 1 k
k 2 2k
k 2 2
2
k 1 4
2.475
2k 1
20
6) Calcule k 1
k 1 4
Solucin.
20
2 k 1 20 2 k 1 20
2k 1 20
1 1
k 1 4
k 1 ( k 1 k 1 )
k 1 4 4
(2
k 1
2k 2
4 k 1
) (2
k 1
k 2
4 k 1
)
20 20
1 1 1 k 2 20 1 k 1
k 1
(( ) k 2 ( ) k 1 )
2 4
( ) ( )
k 1 2 k 1 4
10 k
n n
n(n 1)
1) Calcule log log k Resp. 2n 2 log n !
k 1 100 k k 1 2
100
3k 1
2) Calcule
k 1 9 k 1
Indicacin. Separe y llega a dos P.G.
n
3) Demuestre que ( p
p 1
2
1) p ! n(n 1) ! se cumple para todo natural
n
4) Calcule (
k 1
k 2 k ) Indicacin. Sume y reste alguna expresin adecuada
n
k 1
6) Calcule (k 1) !
k 1
Resp. 1
(n 1) !
1 1 1 1 n 1
9) Demuestre que (1 )(1 )(1 ) .... (1 2 ) n N, n t 2
4 9 16 n 2n
k 2 2 k 1 1 d k d 25
k 1
2 50
10) Si a k 2 k 1 26 d k d 35 , determine a k
3 k 1
1
(2k 5)(2k 7) 36 d k d 50
n
i 1 n 2
11) Demuestre que 1 2
3
se cumple para todo valor del natural n
i
CAPITULO 5
ESTRUCTURAS ALGEBRAICAS
5.1 Ley de composicin interna
Definicin.
Sea E un conjunto,
se llama ley de composicin interna en E si y slo si:
a
b c E , a, b E
Observacin.
1)
tambin se llama operacin binaria interna en E
2) Podemos decir que el conjunto E est cerrado para
3)
es ley de composicin interna en E si y slo si
: E u E o E es funcin
Ejemplos.
1) La adicin es ley de composicin interna en N , Z , Q, R
2)
definida en Z por a
b a b ab es ley de composicin interna en Z
3) Si A es un conjunto y P ( A) ^X / X A` entonces, la operacin
definida en P( A) es ley de composicin interna en P( A)
Proposicin.
Sea
ley de composicin interna en E y a, b E , entonces:
a) a b a
c b
c c E
b) a b c
a c
b c E
Demostracin.
a) a b (a, c) (b, c)
(a, b)
(b, c) es decir a
c b
c
b) Anlogo
5.1.1 Asociatividad
Definicin.
Sea
ley de composicin interna en E , decimos que
es asociativa si y slo
si a
(b
c) (a
b)
c a, b, c E
Ejemplos.
1) La adicin en Z es asociativa
2) La multiplicacin es asociativa en N , Z , Q,
3)
definida en por: a
b a b 2ab es asociativa ya que:
a
(b
c) a
(b c 2bc)
a (b c 2bc) 2a (b c 2bc)
a b c 2bc 2ab 2ac 4abc
Por otro lado
(a
b)
c (a b 2ab)
c
(a b 2ab) c 2(a b 2ab)c
a b 2ab c 2ac 2bc 4abc
Como a
(b
c) (a
b)
c entonces
es asociativa
4)
definida en por: a
b a 2b no es asociativa ya que, por ejemplo,
2
(5
3) 2
(5 2 3) 2
(5 6) 2
11 2 2 11 24 no es igual a
(2
5)
3 (2 2 5)
3 (2 10)
3 12
3 12 2 3 18
5) Si A es un conjunto y P ( A) ^X / X A` entonces la operacin ,
definida en P( A) es asociativa
5.1.2 Distributividad
Definicin.
Sean
, dos leyes de composicin interna en el conjunto E,
a) Se dice que
distribuye por la izquierda sobre si y slo si
a
(bc) (a
b)(a
c) a, b, c G
b) Se dice que
distribuye por la derecha sobre si y slo si
(bc)
a (b
a)(c
a ) a, b, c G
c) Se dice que
es distributiva sobre si y slo si cumple a) y b)
Ejemplos.
1) La multiplicacin es distributiva con respecto de la adicin en ya que
a (b c) a b a c a, b, c y (a b) c a c b c a, b, c
Ejemplos.
1) 0 es neutro para la adicin en los nmeros reales
2) 1 es neutro para la multiplicacin en los nmeros reales
3) : P( X ) u P( X ) o P( X ) donde X es un conjunto y P( X ) es el conjunto potencia
de X tiene neutro e X ya que A X X A A A P(X)
Proposicin.
Sea
ley de composicin interna en E entonces, si existe elemento neutro,
ste es nico
Demostracin.
Sean e , e1 dos neutros para
, debemos demostrar que e e1 ; tenemos:
e
e1 e1 ya que e es neutro, por otro lado e
e1 e ya que e1 es neutro, as, e e1
5.1.4 Conmutatividad
Definicin.
Sea
ley de composicin interna en E,
es conmutativa en E si slo si
a
b b
a a, b E
Ejemplos.
1) La adicin y la multiplicacin son operaciones conmutativas en Z , Q, R
2) La unin y la interseccin de conjuntos son operaciones conmutativas en el
conjunto potencia del conjunto A
3) La operacin
definida en R tal que a
b a 2b no es conmutativa, ya
que, por ejemplo, 3
2 7 z 2
3 8
Ejemplo.
Considere la operacin
definida en por a
b a b 2ab tal que es
asociativa y con neutro e 0 . Qu elementos a tienen inverso a ?
Solucin.
Imponiendo la condicin de inverso, se debe cumplir que a
a e , as:
a 1
a
a e a a 2a a 0 a(1 2a) a a donde a z , por otro
2a 1 2
a a a a 2a a
lado a
a
a a 2a a 0 de donde:
2a 1 2a 1 2a 1 2a 1
1 a
a existe a tal que a
2 2a 1
Proposicin.
Sea
ley de composicin interna en E tal que
es asociativa y con elemento
neutro e entonces, si a E tiene inverso, este es nico.
Demostracin.
Sean x1 , x 2 dos inversos de x entonces se cumple: x1
x x
x1 e y adems
x2
x x
x2 e x E ; debemos demostrar que x1 x 2 , vemoslo:
x1 x1
e x1
( x
x 2 ) ( x1
x)
x 2 e
x2 x2
Proposicin.
Sea
ley de composicin interna en E tal que
es asociativa y con elemento
neutro e tal que a, b E tienen elemento inverso a , b , entonces:
a) (a) a
b) (a
b) b
a
Demostracin.
b) Si demostramos que c b
a es tal que (a
b)
c e y c
(a
b) e , habremos
demostrado que c es inverso de a
b ; vemoslo:
> @ >
(a
b)
c (a
b)
(b
a) a
b
(b
a) a
(b
b)
a) a
e
a a
a e @ > @
Anlogamente, c
(a
b) e , as, el inverso de a
b es b
a de donde se cumple
( a
b) b
a
Ejemplo.
Considere la operacin
definida en por a
b a b 2ab tal que es
a 1
asociativa, con neutro e 0 y a con a z
2a 1 2
a) Resuelva la ecuacin (2
x) 3
b) Resuelva la inecuacin (2
x) d 2
Solucin.
Conviene aplicar la propiedad (a
b) b
a , tenemos:
2 2
a) (2
x) 3 x
2 3 x
3 x
3
2 2 1 5
2 2 1 17
x 2( ) x 3 x de donde x 17
5 5 5 5
(2) 2
b) (2
x) d 2 x
2 d 2 x
d 2 x
d 2
2(2) 1 3
2 2 1 8
x 2( ) x d 2 x d x t 8
3 3 3 3
1
La solucin es > 8, f>
2
Ejemplos.
1) ( Z ,) es grupo conmutativo
2) ( ^0`, ) es un grupo conmutativo
ab
3) (Q ,
) tal que a
b es grupo conmutativo
2
Proposicin.
Sea (G,
) un grupo entonces : a
c b
c a b , a, b, c G
Demostracin.
) Si a
c b
c debemos demostrar que a b
a
c b
c (a
c)
c (b
c)
c
a
(c
c ) b
(c
c )
a
e b
e a b
) Propuesto
Proposicin.
Sea (G,
) un grupo, a, b G entonces, la ecuacin a
x b tiene solucin nica
en G
Demostracin.
a
x b a
(a
x) a
b
(a
a)
x a
b
e
x a
b x a
b
Es claro que a
b es solucin y nica
Ejemplos.
1) (C , ) donde C ^(a, b) / a, b ` es el conjunto de los nmeros complejos y la
adicin esta definida por (a, b) (c, d ) (a c, b d ) (a, b) , (c, d ) C , es un grupo
conmutativo
a c
2) ( M (2, ) , ) donde M (2, ) / a, b, c, d es el conjunto de las
b d
matrices cuadradas de tamao 2 en y la suma se define por:
a c e g ae c g
es un grupo conmutativo
b d f h b f d h
1
3) Demuestre que dos funciones en Q ^0` ; f ( x) x , g ( x) tienen estructura de
x
grupo bajo la composicin de funciones
Demostracin.
1 1
Como: ( f $ g )( x) f ( g ( x)) f ( ) g ( x)
x x
1
( g $ f )( x) g ( f ( x)) g ( x) g ( x)
x
1
( g $ g )( x) g ( g ( x)) g ( ) x f ( x)
x
( f $ f )( x) f ( f ( x)) f ( x) x f ( x) , entonces la composicin es ley de
composicin interna en A ^ f ( x), g ( x)`
$ f (x) g (x)
f (x) f (x) g (x)
g (x) g (x) f (x)
Es inmediato que:
El elemento neutro es e f (x)
El elemento inverso de f ( x) es f ( x) ; el elemento inverso de g ( x) es g ( x)
La asociatividad la puede probar Ud.
As, ( A,$) es grupo; adems es grupo conmutativo.
5.2.2 Anillo
Definicin.
El tro ( A,,) se llama anillo si y slo si:
a) ( A,) es grupo conmutativo
b) es ley de composicin interna en A
c) es asociativa
d) es distributiva con respecto de +
Definicin.
Sea ( A,,) un anillo, entonces:
a) ( A,,) es conmutativo si y slo si es conmutativa
b) ( A,,) es un Anillo con unidad si y slo si existe elemento neutro para
Ejemplos.
1) ( Z ,,) es anillo
2) ( E ,,) es anillo, donde E ^x Z / x es un nmero par`
3) ( Z ,,) donde a b 2ab es anillo
4) ( u ,,) tal que (a, b) (c, d ) (a c, b d ) y (a, b) (c, d ) (ac, bd ) es
anillo
5) (C ,,) tal que C u , (a, b) (c, d ) (a c, b d ) ,
(a, b) (c, d ) (ac bd , ad bc) es un anillo
6) ( Z 4 ,,) es anillo
a c x z ax cy az cw
7) ( M (2, ),,) es anillo donde
b d y w bx dy bz dw
Proposicin.
Sea ( A,,) un anillo con neutro aditivo 0 e inverso aditivo
de a el elemento a
Se cumple:
a) a 0 0 a 0 a A
b) (a) b a (b) (a b) a, b A
Demostracin.
a) a 0 0 a 0 > (a a ) (a a )@ a 0
(a a ) >a a a 0@
(a a) a(a 0)
( a a ) a a 0
Anlogamente se demuestra que 0 a 0
Corolario.
Si ( A,,) es un anillo entonces: a b z 0 a z 0 b z 0 a, b A
En efecto, usando la contrapositiva y la parte a) de la proposicin anterior
tenemos: (a 0 b 0) a b 0
Observacin.
El recproco del corolario no se cumple, ya que, por ejemplo
1 0 0 0 0 0
a) En el anillo ( M (2, ),,) se tiene
0 0 1 0 0 0
b) En el anillo ( Z 4 ,,) se tiene 2 2 0
Definicin.
Un anillo conmutativo es un triple ( A,,) tal que:
a) ( A,,) es anillo
b) es conmutativa
Ejemplos.
a) ( Z ,,) es anillo conmutativo
b) El anillo ( M (2, ),,) no es conmutativo
c) En general ( Z m ,,) es anillo conmutativo
d) El anillo ( M (2, ),,) no es conmutativo ya que por ejemplo
1 0 1 1 1 1 1 1 1 0 3 3
z
2 3 1 0 5 2 1 0 2 3 1 0
Definicin.
Un anillo con identidad es un triple ( A,,) tal que:
a) ( A,,) es anillo
b) Existe 1 A tal que 1 a a 1 a a A
Ejemplos.
1) ( Z ,,) es anillo con unidad
1 0
2) ( M (2, ),,) es anillo con 1
0 1
3) ( u ,,
) tal que (a, b) (c, d ) (a c, b d ) y (a, b)
(c, d ) (ac, bd ) es anillo
con unidad 1 (1,1)
4) (C ,,) tal que C u , (a, b) (c, d ) (a c, b d ) ,
(a, b)
(c, d ) (ac bd , ad bc) es un anillo con unidad 1 (1,0)
5) ( Z 4 ,,) es anillo conmutativo con unidad
Definicin.
Sea ( A,,) un anillo. Si a, b A son no nulos tal que a b 0 con 0 el neutro
para + entonces, a y b se llaman divisores del cero
Ejemplos.
1) ( Z 6 ,,) es anillo con divisores del cero
2) ( M (2, ),,) es anillo con divisores del cero
Teorema.
Un anillo ( A,,) no tiene divisores del cero si y slo si es vlida la ley de
cancelacin para la multiplicacin.
Demostracin
) Sea ( A,,) un anillo sin divisores del cero y a, b, c A tal que c z 0 ,
debemos demostrar que: si a c b c entonces a b , vemoslo:
a c b c a c b c 0 (a b) c 0 ; como ( A,,) es un anillo sin divisores
del cero y c z 0 entonces a b 0 , de donde, a b
Definicin.
Un dominio de integridad es un triple ( A,,) tal que:
a) ( A,,) es anillo conmutativo con identidad
b) (a z 0 b z 0) a b z 0) donde el neutro para + es 0
Observacin.
Sea ( A,,) un dominio de integridad, entonces:
a) (a c b c) a b a, b, c A, c z 0
b) La ecuacin a x b , a z 0 tiene solucin nica
c) a b 0 (a 0 b 0)
Ejemplos.
a) ( Z 5 ,,) es dominio de integridad
b) (C ,,) tal que C u , (a, b) (c, d ) (a c, b d ) ,
(a, b) (c, d ) (ac bd , ad bc) es dominio de integridad
Observacin.
En el anillo ( Z 4 ,,) , la ecuacin 2 x 0 tiene dos soluciones, naturalmente
que nos interesa una estructura tal que una ecuacin del tipo a x b tenga solucin
nica; en la estructura de cuerpo una ecuacin del tipo a x b tiene solucin y es
nica.
5.2.4 Cuerpo
Definicin.
El triple ( A,,) e un cuerpo si y slo si:
a) ( A,,) es anillo conmutativo con unidad 1
b) a A ^0` a 1 A tal que a a 1 1
Ejemplos.
a) ( Z 3 ,,) es cuerpo
b) (C ,,) tal que C u ; ( a , b ) ( c, d ) ( a c, b d ) ,
a -b
( a , b )
( c, d ) (ac bd , ad bc) es cuerpo donde (a, b) 1 ( , 2 )
a b a b2
2 2
Observacin.
a) Si ( A,,) es un cuerpo entonces ( A,,) es dominio de integridad; en efecto:
slo falta demostrar que (a z 0 b z 0) a b z 0 ; lo demostraremos usando la
contrapositiva (a b 0) (a 0 b 0)
Supongamos que a b 0 y que b z 0 , entonces (a b) b 1 0 b 1 , de aqu
deducimos que a 0 , lo que constituye una contradiccin.
a b c
a a b c
b b a c
c c c c
a c
17) Demuestre que ( M (2, ), ) donde M (2, ) / a, b, c, d es el
b d
conjunto de las matrices cuadradas de tamao 2 en y
a c e g a e c g
, es un grupo
b d f h b f d h
20) Demuestre que el tro ( Z ,,) es un anillo donde + es la suma usual y a b =2ab
21) Demuestre que el tro ( M (2, ),,) con las caractersticas dadas en el ejercicio 17
a c e g ae cf ag ch
y es un anillo
b d f h be df bg dh
22) Demuestre que el tro (C ,,) con las caractersticas del ejercicio 16 y donde
(a, b) (c, d ) (ac bd , ad bc) es un anillo
24) Sea ( A,,) un anillo con neutro aditivo 0 y opuesto aditivo de a A el elemento
a . Demuestre:
a) a 0 0 a 0 a A
b) ( a)b a(b) (ab) a, b A
26) Demuestre: Un anillo ( A,,) no tiene divisores del cero si y slo si es valida la ley
de cancelacin para la multiplicacin.
CAPITULO 6
NUMEROS COMPLEJOS
6.1 Introduccin
La ecuacin x 2 1 0 no tiene solucin en el cuerpo de los nmeros reales
ya que no existe un nmero real x tal que x 2 1 . Necesitamos un conjunto que
contenga a , que solucione lo que soluciona y que, por ejemplo, solucione el
problema planteado, tal conjunto es el conjunto de los nmeros complejos C.
Definicin.
Sean z1 (a, b) , z 2 (c, d ) C , entonces, la suma de complejos , denotada +,
es tal que : z1 z 2 (a, b) (c, d ) (a c, b d ) C
Ejemplo.
Si z1 (2,6) , z 2 (4,3) entonces z1 z 2 (2,6) (4,3) (2,9)
Teorema.
(C ,) es un grupo conmutativo, es decir
1) z1 ( z 2 z 3 ) ( z1 z 2 ) z 3 , z1 , z 2 , z 3 C ; Asociatividad de la suma
2) Existe el complejo z N tal que z N z z z N z , z C ; z N : neutro
aditivo
3) z C z op C tal que z z op z op z z N ; z op : opuesto de z
4) z1 z 2 z 2 z1 z1 , z 2 C ; Conmutatividad de la suma
Demostracin.
a x a
( a , b ) ( x, y ) ( a , b ) ( a x, y b ) ( a, b) ; como este sistema
y b b
Definicin.
Sean z (a, b) C , k entonces, la ponderacin del complejo z por el
escalar k, denotada kz , es tal que: kz k (a, b) (ka, kb) C
Observacin.
1) 1z z ; z C , 1
2) (k1 k 2 ) z k1 z k 2 z ; z C , k 1 , k 2
3) (k1 k 2 ) z k1 (k 2 z ) ; k 1 , k 2 , z C
4) k ( z1 z 2 ) kz1 kz 2 ; k , z1 , z 2 C
Ejemplo.
Sean z1 (3,2) , z 2 (2,4) C entonces 3 z1 2 z 2 3(3,2) 2(2,4) (5,14)
Definicin.
Sean z1 (a, b) , z 2 (c, d ) C , entonces el producto de complejos es tal que :
z1 z 2 (a, b)(c, d ) (ac bd , ad bc) C
Teorema.
Se cumple:
1) z1 ( z 2 z 3 ) ( z1 z 2 ) z 3 , z1 , z 2 , z 3 C Asociatividad del producto
2) Existe el complejo z N tal que z N z z z N z , z C ; z N : neutro
multiplicativo
3) z C - ^0` z inv C tal que z z inv z inv z z N , z inv : inverso
multiplicativo
4) z1 z 2 z 2 z1 z 1 , z 2 C , Conmutatividad del producto
Demostracin.
2) Sean z (a, b) , z N ( x, y ) C entonces, como debe cumplirse que
z N z z tenemos:
z N z z ( x, y )(a, b) (a, b) ( xa yb, xb ya) (a, b)
xa yb a
Por la igualdad de complejos deducimos el sistema ; multiplicando la
xb ya b
primera ecuacin por a y la segunda ecuacin por b , sumando obtenemos:
xa 2 xb 2 a 2 b 2 de donde x 1 ; podemos deducir que y 0 , de donde z N (1,0)
Por otro lado, z z N (a, b)(1,0) (a 0,0 b) ( a, b) z
a b
el inverso multiplicativo de z (a, b) es: z inv ( 2 , )
a b2 a2 b2
Observacin
a) z N (1,0) es nico y lo dotamos por 1
a b
b) Si z (a, b) entonces z inv ( 2 , 2 ) es nico y lo denotamos
a b a b2
2
a b
por z 1 , as; (a, b) 1 ( 2 , 2 )
a b a b2
2
Observacin.
z1 z
Definimos el cuociente ; z 1 , z 2 C , z 2 z 0 por 1 z1 z 21
z2 z2
6.3 Subconjuntos de C
Existen dos importantes subconjuntos de C:
a) Complejos reales, denotado C , tal que C ^z (a, b) / b 0` C .
b) Complejos imaginarios, denotado I, tal que I ^z (a, b) / a 0` C
Observacin.
1) Aceptaremos que existe un isomorfismo entre C y el cual nos
permite identificar el complejo real (a,0) con el real a , as, (a,0) a
2) En los complejos imaginarios, la unidad imaginaria es i (0,1)
Potencias de i
Se cumple:
a) i (0,1)
b) i 2 1 ya que i 2 i i (0,1) (0,1) (1,0) 1
c) i 3 i
d) i 4 1
i si n 4 p 1
1 si n 4 p 2
e) i n , n, p N
i si n 4 p 3
1 si n 4 p
Observacin.
1) C no es ordenado
Haremos la demostracin por reduccin al absurdo
Supongamos que C es ordenado, entonces existe C C tal que:
( z1 z 2 ) C
a ) z1 , z 2 C
z1 z 2 C
b) z C se cumple slo una de las siguientes:
i ) z C ii ) z C iii ) z 0
2) Si p entonces p i p C
En efecto, sea p ( x, y ) donde p ( p,0) entonces ( p,0) ( x, y )( x, y ) es
decir
p x2 y2
( p,0) ( x y , 2 xy ) , de aqu concluimos que
2 2
0 2 xy
Teorema.
Para todo z1 , z 2 C se cumple:
1) ( z ) z
2) z1 z 2 z1 z 2
3) z1 z 2 z1 z 2
z z1
4) 1 , z2 z 0
z
2 z 2
5) z z 2a , z z a 2 b 2 si z ( a, b)
Demostracin de 1, 2 y 5
1) Si z a bi entonces z a bi de donde ( z ) a bi z
2) Si z1 a bi , z 2 c di entonces z1 z 2 (a c) (b d )i de donde
z1 z 2 (a c) (b d )i (a bi ) (c di ) z1 z 2
Ejemplo
Determine z C ^0` tal que z 2 z
Solucin.
Sea z a bi entonces, imponiendo la condicin obtenemos (a bi ) 2 a bi
(a bi ) 2 a bi a 2 2abi b 2 i 2 a bi
(a 2 b 2 ) 2abi a bi
a 2 b 2 a (1)
2ab -b (2)
1
De (2) y suponiendo que b z 0 obtenemos: a ; reemplazando en (1)
2
1 1 3
conseguimos ( ) 2 b 2 , de aqu concluimos que b r , entonces los
2 2 2
1 3 1 3
complejos que se obtienen son z i , z i
2 2 2 2
Si b 0 entonces reemplazando en (1) conseguimos: a 2 a , de donde
a 0 , a 1 ; como no puede ocurrir que a = 0 entonces el complejo que se
determina, ahora es z = 1
2) z z
2
3) z zz o z zz
4) z1 z 2 z1 z 2
z1 z1
5) , z2 z 0
z2 z2
6) Re( z ) d z , Im( z ) d z
zz zz
7) Re( z ) , Im( z )
2 2
8) z1 z 2 d z1 z 2
n n
9) zi d zi
i 1 i 1
Demostracin.
Demostracin de la propiedad 8)
z1 z 2 2 ( z1 z 2 ) ( z1 z 2 )
( z1 z 2 )( z1 z 2 )
z1 z1 z1 z 2 z 2 z1 z 2 z 2
*
2 2
z1 2 Re( z1 z 2 ) z 2
**
2 2
d z1 2 z1 z 2 z 2
( z1 z 2 ) 2
* : Re( z ) d Re( z ) d z
z1 z 2 z1 z 2
** : Re( z1 z 2 )
2
Solucin.
a) Como a 2, b 2 entonces r 22 22 2 2 ; por otro lado , el complejo
b
est en el primer cuadrante, de donde T arctg arctg1 45 , as entonces
a
z1 2 2i 2 2 (cos 45 isen45 )
c) z 3 2 2i 2 2 (cos135 isen135 )
f) z 6 3 3(cos180 isen180 )
z1 r1 (cosT 1 isenT 1 ) r1
b) (cos(T 1 T 2 ) isen(T 1 T 2 )) ; z 2 z 0
z2 r2 (cosT 2 isenT 2 ) r2
Ejemplo.
Calcule (1 i ) 42
Solucin.
Como z 1 i 2 (cos135 isen135 ) entonces
Ejemplo
6
10 3 10i
Escriba en forma a bi la expresin
5 5i
Solucin
Escribimos cada complejo en su forma trigonomtrica, los dividimos, aplicamos el Teorema
de DeMoivre y listo.
6 6
10 3 10i 5 5i
=
5 5i
10 3 10i
6
5 2 (cos 45 isen45 )
20(cos 30 isen30 )
6
5 2
= (cos(45 30 ) isen(45 30 ))
20
6
2
= (cos 15 isen15 )
4
6
2
=
4 (cos 90 isen90 )
1 1
= (0 i ) i
8 8
Definicin.
Sea z C ^0` ; n N , n ! 1 . Decimos que w C es una raz n-sima de z si
y slo si w n z .
Observacin.
Si denotamos w n
z entonces: w n
z wn z
Ejemplo.
1 1 1 1
Verifique que w1 3i , w2 3i , w3 1 son races cbicas de 1
2 2 2 2
Solucin.
Debemos demostrar que wi3 1 , i 1,2,3
1 1
Como w1 3i cos(120 isen120 ) entonces, usando el teorema de
2 2
DeMoivre obtenemos: w13 >cos120 isen120 @ cos 360 isen360 1
3
De manera anloga,
1 1
w23 ( 3i ) 3 (cos 240 isen240 ) 3 cos 720 isen720 1
2 2
T k 360 T k 360
( n r ) n (cos n isen n)
n n
r (cosT isenT ) z
Ejemplo.
Calcule las tres races cbicas de 8
Solucin.
1 1
Si k 0 entonces w0 2(cos 60 isen60 ) 2( 3i ) 1 i 3
2 2
1 1
Si k 2 entonces w2 2(cos 300 isen300 ) 2( 3i ) 1 i 3 , as,
2 2
2
3
8 1 i 3
1 i 3
Ejemplo.
Determine m, n tal que z 1 i sea raz de la ecuacin z 5 mz 3 n 0
Solucin.
Si z 1 i entonces z 2 (cos 45 isen45 ) de donde:
2
2
2
2
i ) 4
2
2
2
2
i ) 2
De z 5 mz 3 n 0 obtenemos (4 4i) m(2 2i ) n 0 0i es decir,
4 2 m n 0
obtenemos . Como m 2 , si reemplazamos este valor en la
4 2 m 0
ecuacin 4 2m n 0 conseguimos n 8
Ejemplo
Calcule el valor de (1 w) 3 (1 w 2 ) 9 si, w es raz cbica de 1 y distinta de la
unidad
Solucin.
Ya hemos visto en un ejemplo anterior ,las tres races cbicas del 1; las dos
1 1 1 1
races distintas del 1 son: w1 3i ; w2 3i , sin embargo, no
2 2 2 2
conviene reemplazar cada uno de estas races en la igualdad planteada, nos conviene
realizar el calculo de la siguiente manera.
Observacin.
Se puede demostrar:
a) e iT1 e iT 2 e i (T1 T 2 )
b) (e iT ) n e inT
Ejemplos.
1) Calcule (1 i ) 23
Solucin.
S 23 23S
i
(1 i ) = ( 2e
23 4 23
) 2
2 e 4
2) Demuestre que:
e iT e iT
a) cosT
2
e e iT
iT
b) senT
2i
Demostracin.
e iT e iT cosT isenT cos(T ) isen(T )
a) cosT
2 2
3 1
3) Demuestre que sen 3T senT sen3T
4 4
Demostracin.
e iT e iT 3
sen T (
3
)
2i
(e iT ) 3 3(e iT ) 2 e iT 3e iT (e iT ) 2 (e iT ) 33
8i 3
1 3iT
(e 3e iT 3e iT e 3iT )
8i
3 1
(e iT e iT ) (e 3iT e 3iT )
8i 8i
3 e iT e iT 1 e 3iT e 3iT
4 2i 4 2i
3 1
senT sen3T
4 4
a) (3 5i ) (5 2i ) (4 7i ) 2 b) (2 3i )(5 3i )(4 5i 5 )
5 2i 2 5i 3
c) d)
4i 3i 4(5 i )(4 6i )
2
(5 i )(1 i ) 2i 37
e) i f)
3i (2 i )(3 4i )
g) Si z a bi ,determine:
Re( z )
i) ii) >1 Re( z ) i Im( z )@>1 Re( z ) i Im( z )@
i Im(iz )
Resp. i) i ii) 1 a 2 b 2 2a
3) Si z1 1 2i , z 2 2 i , z 3 1 i , calcule:
z1 z1 z 3
a) 2 z1 3 z 2 3 b) c) z12 2z 32 d)
iz 2 1 z2
4) Represente en el plano
a) ^z C / Re( z ) 2` Resp. Recta de ecuacin x = 2
b) ^z C / 1 d Re( z ) d 2 , 0 d Im( z ) d 3`
d) ^z C / z i d 4`
^
e) z C / Re(( z 1) 2 ) `
Re(2 z ( z 1)) Resp Hiprbola 1 x2 y2
^
f) z C / ( z 1)( z 1) 2 Re( z 1) d 0`
2b 2a
b) Re( p) , Im( p)
a b
2 2
a b2
2
15 1 15 1
c) z z 3( z z ) 4 3i Resp. i ; i
2 2 2 2
d) z z 2 z 3i
2
8) Demuestre que z C : z 2 z
9) Encuentre los nmeros complejos z que satisfacen las dos relaciones siguientes:
z 12 5 z4
y 1
z 8i 3 z 8
Resp. z 6 17i , z 6 8i
10) La suma de dos nmeros complejos es 3+2i. La parte real de uno de ellos es 2.
El cuociente entre ellos es imaginario puro. Hallar ambos nmeros
Resp. z1 2 (1 3 )i , z 2 1 (1 3 )i ;
z1 2 (1 3 )i , z 2 1 (1 3 )i
1 i 3
12) Verifique si el nmero complejo z satisface la ecuacin
2
3 1
1
z 1 z
(1 i ) z iu 2 i
15) Resuelva: , z, u C
( 2 i ) z ( 2 i )u 2 i
6 9i 16 11i
Resp. z , u
13 13
1
16) Si ( w ) , w C , demuestre que Im(w) 0 w 1
w
zw
17) Si z , w C y z 1 , demuestre que 1
z w 1
18) Calcular:
z zw 5
a) si 1 4i tal que z , w C Resp.
w zw 2
1 1
b) si z 3 4i , u 4 3i
z u
1 5
c) si z 2i Resp.
z z2 10
19) Calcule
12 10
3 i 1 i 3
a) 1
b)
2 1 i
6
10 3 10i
b) z
5 5i
13 1
c) z 6i 3 Resp. z r r i
2 2
d) z 11 60i Resp. z 5 6i , z 5 6i
1 1
c) S 1 ....
1 i (1 i ) 27
a) (1 w 2 ) 4 w
b) (1 w w 2 )(1 w w 2 ) 4
c) (2 2 w 5w 2 ) 6 729
1 i
a) ( 3 i )(1 i ) b) (1 i 3 )(1 i ) c)
1 i
3 3 3i
d) e) (1 i )10 f) (2 3 2i ) 6
3 i
5 5i
g) (1 i )16 (1 i ) h) j) (1 i ) 42
10 3 10i
26) Resuelva:
a) 3
i b) 3
4 3 4i c) 4 1
nS
30) Demuestre que (1 i 3 ) n (1 i 3 ) n 2 n 1 cos
3
31) Sea z z 1 una raz n-sima de la unidad. Demuestre que para todo natural
distinto del uno se cumple: 1 z z 2 ... z n 1 0
POLINOMIOS
7.1 Definiciones
Definicin.
Sea K un cuerpo. Un polinomio en x, con coeficientes en K es toda expresin
f
del tipo p( x) a x i
i
a 0 a1 x a 2 x 2 ... a n x n ... ; ai , x K ; n N ^0` donde
i 0
todos los coeficientes ai son nulos, excepto una cantidad finita de ellos
Notacin.
Al conjunto de todos los polinomios en la indeterminada x con coeficientes en K lo
denotamos K >x @
Definicin
f
Sea p( x) a x i
i
K >x @ , definimos el grado de p(x) , denotado w ( p( x)) ,
i 0
Ejemplos.
1) Si p ( x) 2 3x 5 x 2 entonces w ( p( x)) = 2
2) Si p( x) 2 x entonces w ( p( x)) = 1
3) Si p( x) 5 entonces w ( p( x)) = 0
4) El polinomio nulo no tiene grado
Observacin.
1) Podemos escribir los polinomios en orden decreciente
2) Para simplificar la notacin podemos escribir w ( p) en lugar de w ( p ( x))
Ejemplo.
Sean p( x) (a b) x 4 (c 1) x 3 (d c) x , q ( x) 7 x 3 (2d b) x 2 2 x dos
polinomios definidos en los reales, determine a, b, c, d para que p( x) q( x)
Solucin
a b 0
c 1 7
Se debe cumplir: ; es decir, para a 20, b 20, c 8, d 10
d c 2
2d b 0
Definicin
f f
Sean p( x) a x , q( x) b x
i
i
i
i
K >x @ entonces:
i 0 i 0
f
1) p( x) q( x) d ( x) c x
i 0
i
i
tal que ci ai bi i
f i
2) p( x) q( x) e( x ) d x
i 0
i
i
tal que d i a b
k 0
k i k
Observacin.
Se puede demostrar que:
a) w ( p q ) d mx^w ( p ), w (q )` si w ( p q) existe
b) w ( p q) w ( p) w (q)
Ejemplo.
Sean p( x) 4 x 3 2 x 2 3x , q( x) 2 x 2 5 x 2 >x @ .
f
Si p( x) q( x) r ( x) d x
i 0
i
i
, determine d 2
Solucin.
2
d2 a b
k 0
k 2k = a 0 b20 a1b21 a 2 b2 2 a 0 b2 a1b1 a 2 b0
0 2 3 5 (2) (2) 19
Notemos que r ( x) 8 x 5 (20 4) x 4 (8 10 6) x 3 (4 15) x 2 (6) x
Observacin.
Al polinomio s(x) lo llamamos cuociente y al polinomio r(x) lo llamamos resto
Ejemplo.
Sea p ( x) x 3 2 x 2 3x 4 , q ( x) x 2 >x @. Determine el resto y el
cuociente que se produce al dividir p( x) por q( x)
Solucin.
x 3 2 x 2 3x 4 : x 2 x 2 4 x 5
# x 2 r 2x 2
4x 2 3 x 4
# 4x 2 r 8 x
5x 4
# 5x r 10
6
Observacin.
Cuando el polinomio divisor es de la forma x a podemos efectuar la divisin
mediante divisin sinttica, mtodo que mostramos con el desarrollo del mismo
problema anterior, tenemos:
1 2 -3 -4 2
2 8 10 Note que el cuociente es s ( x) x 2 4 x 5 y el resto es r ( x) 6
1 4 5 6
Ejemplo.
a 3 es raz de p ( x) x2 x 6 0 ya que p (3) (3) 2 (3) 6 { 0
Ejemplos.
1) Si p ( x) x 30 1 , q ( x) x 1 entonces al dividir p( x) por q( x) x 1 el resto que
se produce es r p (1) 130 1 0 de donde , la divisin es exacta
Teorema.
a es un cero de p ( x) >x @ ( x a ) es factor de p(x)
Demostracin.
) a cero de p(x) p(a) 0 , por otro lado, como
p ( x) ( x a ) s ( x ) r
entonces p (a ) (a a) s( x) r 0 de donde r 0 , as, p ( x) ( x a ) s( x) , lo que nos
indica que ( x a) es factor de p( x)
) Si ( x a) es factor de p( x) entonces p ( x) ( x a) s ( x) , as,
p(a) (a a) s( x) 0 de donde a es cero de p( x)
Ejemplo.
Encuentre una ecuacin mnica de grado mnimo cuyas races sean
2 , 0 ,1, 5
Solucin.
Por el Teorema anterior concluimos que x 2, x 0, x 1, x 5 son
factores de p( x) , as, el polinomio pedido es p( x) x( x 2)( x 1)( x 5)
Ejemplo
Determine A y B de modo que p ( x) x 4 x 3 Ax 2 Bx 30 sea divisible tanto
por x 2 como por x 3
Solucin
Como p( x) 0 es divisible por x 2 entonces x 2 es un cero p(x) de donde
p(2) 16 8 4 A 2 B 30 0 , es decir, 4 A 2 B 54
4 A 2 B 54
El sistema que se produce es y la solucin es A 11 , B 5
9 A 3 B 84
Observacin.
La demostracin del Teorema est fuera del alcance de esta seccin y lo
usaremos para demostrar el siguiente teorema.
Teorema.
La ecuacin polinomial p( x) a n x n a n 1 x n 1 .... a1 x a 0 0 , a n z 0
tiene, exactamente n races
Demostracin.
Por el TFA, la ecuacin planteada tiene al menos una raz, sea ella r1 ;
entonces x r1 es factor de p(x) de donde: p ( x) ( x r1 )q1 ( x) 0 , con q1 ( x) de grado
tal que el coeficiente de x n 1 es a n .
Aplicando el TFA a q1 ( x) a n 1 x n 1 bn 2 x n 2 ... b1 x b0 0 ,
afirmamos que existe al menos una raz, sea ella x r2 , as, q1 ( x) ( x r2 )q 2 ( x) de
donde p ( x) ( x r1 )( x r2 )q 2 ( x) 0 .
Demostraremos ahora que esas races son las nicas; supongamos que r es
otra raz de p( x) 0 , entonces debera cumplirse que p(r ) 0 , sin embargo esto
ltimo no es cierto ya que p (r ) a n (r r1 )(r r2 )......(r rn ) z 0
cn c n 1 c
a n n a n 1 n 1 ..... a1 a 0 0/dn z 0
d d d
Observacin.
1) El Teorema nos entrega las posibles races racionales de la ecuacin.
2) Usando la contrapositiva concluimos que: si d no divide a a n o c no
c
divide a a 0 entonces no es raz de la ecuacin
d
Ejemplo.
Resuelva la ecuacin p ( x) 2 x 4 x 3 11x 2 4 x 12 0
Solucin.
c
Las posibles races racionales de la ecuacin son donde c 12 y d 2 .
d
Como c ^r 1, r 2, r 3, r 4, r 6, r 12` y d ^r 1, r 2` entonces las posibles
races
c 1 3
racionales son r 1, r 2, r 3, r 4, r 6, r 12, r , r .
d 2 2
2 - 1 - 11 4 12 - 1
determinar por divisin sinttica; tenemos: -2 3 8 - 12 , de donde
2 - 3 - 8 12 0
s ( x) 2 x 3 3x 2 8 x 12 ; as:
p ( x) 2 x 4 x 3 11x 2 4 x 12 ( x 1)(2 x 3 3x 2 8 x 12 ) = 0
c 1 3
races racionales son r 1, r 2, r 3, r 4, r 6, r 12, r , r y obtenemos
d 2 2
s (2) 16 12 16 12 0 , de donde s ( x) 2 x 3 3x 2 8 x 12 ( x 2)m( x) , este
m(x)
2 - 3 - 8 12 2
lo obtenemos por divisin sinttica; tenemos: 4 2 - 12 de donde
2 1 -6 0
Observacin.
Ejemplo
Resuelva la ecuacin 4 x 4 4 x 3 5 x 2 x 1 0
Solucin.
Como c ^r 1` y d ^r 1, r 2, r 4` entonces las posibles races racionales de la ecuacin
c 1 1
p( x) 0 son r 1, r , r
d 2 4
1 1 1 5 1 1
Dado que p( ) 1 0 entonces x es raz de la ecuacin y luego,
2 4 2 4 2 2
1 1
( x ) es factor de p( x) , as, p( x) ( x ) s ( x) .
2 2
1
Al dividir p(x) por x obtenemos s ( x) 4 x 3 2 x 2 6 x 2 , de donde
2
1
p ( x) 4 x 4 4 x 3 5 x 2 x 1 ( x )(4 x 3 2 x 2 6 x 2) 0
2
Si aplicamos otra vez el mtodo a la ecuacin s ( x) 4 x 3 2 x 2 6 x 2 0 , las
c 1 1
posibles races racionales son r 1, r 2, r , r
d 2 4
1 1 1
Como s ( ) 0 entonces s ( x) ( x )m( x) y, al dividir s ( x) por x obtenemos
2 2 2
m( x ) 4 x 4 x 4 .
2
1 5 1 5
Al resolver la ecuacin m( x) 0 obtenemos x ,x
2 2
1 1 1 5 1 5
Finalmente, las races pedidas son: x1 , x 2 , x3 , x4
2 2 2 2
Ejemplos
1) Si x 1 i es raz de la ecuacin p( x) x 3 4 x 2 6 x 4 0 determine las otras
races de la ecuacin.
Solucin.
Como x 1 i es raz de la ecuacin entonces x 1 i tambin es raz de la
ecuacin, as x (1 i ) y x (1 i ) son factores de p( x) , en consecuencia podemos
escribir p( x) x 3 4 x 2 6 x 4 ( x (1 i ))( x (1 i ))q( x) 0
Como ( x (1 i ))( x (1 i )) x 2 2 x 2 entonces el polinomio se puede
escribir como x 3 4 x 2 6 x 4 ( x 2 2 x 2)q( x) , de donde
x 3 4x 2 6x 4
q ( x) x2
x 2 2x 2
4 4 a b 0
, es decir, a 4 , b 12
4 a 0
b z 0 entonces b 2 9 0 de donde b r3
p(x) ,as, p( x) ( x 3i )( x 3i ) s ( x)
Ejemplo
En la ecuacin real p( x) x 5 2 x 4 18 x 2 41x 30 0 tenemos que: r = 3 ,
18
ak 18 , a n 1 , as, toda raz D es tal que D 1 2 1 18 | 5,3
1
Definicin.
Sea la ecuacin polinomial p ( x) a n x n a n 1 x n 1 ... a1 x a0 0 , con
coeficientes reales; decimos que dos coeficientes consecutivos a k , a p tienen una
variacin de signo si a k a p 0
Denotamos por V al nmero de variaciones de signo de p( x) 0
Ejemplos.
1) La ecuacin 3x 4 2 x 3 8 x 2 5 0 tiene dos variaciones de signo, en tanto que, la
ecuacin x 3 3 x 2 2 x 1 0 tiene cero variaciones de signo
Para decidir cuales de las posibles races racionales son, en definitiva, races
racionales
de la ecuacin debemos verificar si m( x) 0 donde m(x) 3x 3 11x 2 8 x 4
3 11 8 -4 -2
- 6 - 10 4 . El polinomio buscado es s ( x) 3 x 2 5 x 2 de donde, el
3 5 -2 0
polinomio m( x) es m( x) ( x 2)(33x 2 5 x 2) y la ecuacin es
m( x) ( x 2)(3 x 2 5 x 2) 0
1
Si resolvemos la ecuacin 3x 2 5 x 2 0 obtenemos x , x 2 as,
3
1
3x 3 11x 2 8 x 4 ( x 2)( x )( x 2) de donde, las races de la ecuacin son:
3
1
x 2 de multiplicidad 2 y x
3
Observacin.
1) Si slo intentramos ubicar las posibles races por simple verificacin entonces
la raz de multiplicidad 2 no la habramos detectado.
2) Notemos que la Regla de los signos de Descartes nos indica que el nmero de
races positivas de la ecuacin m( x) 3x 3 11x 2 8 x 4 0 es el nmero de
variaciones de signo de m( x) o ese nmero disminuido en un nmero par,
como el numero de variaciones de signos de m( x) es 1 entonces el nmero
de races positivas es 1; por otro lado el nmero de races negativas de la
ecuacin m( x) 3x 3 11x 2 8 x 4 0 es el nmero de variaciones de signo
de m( x) o ese nmero disminuido en un nmero par, como
m( x) 3 x 3 11x 2 8 x 4 entonces el nmero de variaciones de signo es 2
y la cantidad de races negativas de la ecuacin es 2 o ninguna.
Ejemplo
Analice la ecuacin p( x) 2 x 4 5 x 1 0
Solucin.
Como p( x) tiene dos variaciones de signo entonces la ecuacin tiene 2 races
positivas o ninguna.
Es posible que a veces una ecuacin polinomial no tenga races racionales, por
ejemplo, la ecuacin p( x) x 3 x 4 = 0 tiene como posibles races racionales en el
conjunto ^r 1 ,r2, r 4` y ninguna de ellas, en definitiva, es raz
Por otro lado, la regla de las variaciones de signo nos indica que la ecuacin
tiene una raz real positiva y dos races complejas. Cmo obtenemos la raz real,
siendo esta una raz irracional?
Para obtener, por aproximacin, la raz real positiva, debemos acotarla por dos
enteros consecutivos; como p (1) 2 y p(2) 6 entonces la raz pedida esta entre 1 y
2.
Un mtodo puede ser el de determinar la ecuacin de la recta que pasa por los
puntos (1,2) y (2,6) que es de la forma ax by c 0 y determinar el valor de la
variable
x cuando y = 0
Ejemplos.
1) Determine k en la ecuacin x 3 7 x k 0 para que una de sus races sea el
doble de otra de ellas
Solucin.
Sean a, b, 2b las races con la condicin impuesta entonces se cumple:
0 7 k
a b 2b 0 ; ab 2ab 2b 2 7 ; 2ab 2 k
1 1 1
a 3b 0 (1)
El sistema que debemos resolver es: 3ab 2b 2 7 (2)
2ab 2 k (3)
9b 2 2b 2 7 , as, b r1
1 1 1 b 2 c 2 a 2 c 2 a 2b 2 q 2 2rp
entonces, =
a 2 b2 c2 a 2b 2 c r2
3) Determine las races de p( x) 4 x 3 12 x 2 3x 5 0 si estas estn en Progresin
Aritmtica.
Solucin.
Sean D a d , E a , J a d las races ( en Progresin Aritmtica) de la ecuacin,
12
entonces, de D E J conseguimos (a d ) a (a d ) 3 , de esta ltima
4
ecuacin obtenemos a 1
5 5
De la relacin DEJ conseguimos (a d )a(a d ) , es decir, conseguimos la
4 4
5 3
ecuacin (1 d )(1 d ) . Esta ecuacin nos da los resultados d r
4 2
3 1 5
Si d entonces D , E 1 , J
2 2 2
3 5 1
Si d entonces D , E 1, J
2 2 2
f ( x) a ( x) f ( x)b( x) g ( x)a( x)
g ( x ) b( x ) g ( x)b( x)
f ( x) a( x) f ( x) a ( x)
g ( x ) b( x ) g ( x)b( x)
Observacin.
Es fcil verificar que ( K ( x),,) es un cuerpo; el elemento neutro para la adicin es
la fraccin racional nula, denotada por 0, que es la clase de equivalencia del par
0
donde g ( x) z 0 ; el elemento neutro para la multiplicacin, llamada fraccin
g ( x)
g ( x)
racional unitaria y denotada por 1 es la clase de equivalencia de los pares donde
g ( x)
g ( x) z 0
Teorema y definicin.
f ( x)
Para cada fraccin racional de K ( x) existe un representante tal que los
g ( x)
polinomios f ( x), g ( x) son primos entre si. Todo otro representante con esta propiedad
cf ( x)
es de la forma donde c K ( x) ^0` es polinomio constante
cg ( x)
f ( x)
Este representante nico, se llama la forma irreducible de la fraccin racional
g ( x)
Observacin.
Se puede demostrar que el grado de una fraccin racional es independiente de la
eleccin del representante de ella
Teorema
f ( x) a ( x) f ( x) a ( x)
Sean , fracciones raciones propias entonces + es propia
g ( x ) b( x ) g ( x ) b( x )
Demostracin.
f ( x) a( x)
Usted debe demostrar que w ( + ) 0
g ( x ) b( x )
Teorema.
Toda fraccin racional se puede expresar, de manera nica, como la suma de un
polinomio y una fraccin propia o la fraccin nula
Demostracin.
f ( x)
Sea K ( x) , como g ( x) z 0 aplicamos el algoritmo de la divisin a
g ( x)
0
f ( x) y g ( x) obteniendo f ( x) e( x) g ( x) r ( x) donde r ( x) , es
w (r ( x)) w ( g ( x))
f ( x) r ( x) r ( x)
inmediato concluir que e( x ) tal que e( x) K >x @ y w ( ) 0 ; el
g ( x) g ( x) g ( x)
f ( x)
polinomio e(x) se llama la parte entera de la fraccin racional
g ( x)
Teorema
f ( x)
Considere la fraccin racional propia K ( x) tal que g ( x) g1 ( x) g 2 ( x) en
g ( x)
que los polinomios g1 ( x), g 2 ( x) son no nulos y primos entre si, entonces existen
f ( x) f 1 ( x) f 2 ( x)
polinomios nicos f1 ( x), f 2 ( x) tal que , donde
g ( x) g1 ( x) g 2 ( x)
w ( f1 ( x)) w ( g1 ( x)) y w ( f 2 ( x)) w ( g 2 ( x))
Demostracin.
Como siempre existen polinomios u1 ( x), u 2 ( x) tal que 1 u1 ( x) g 2 ( x) u 2 ( x) g1 ( x)
f ( x) f ( x)u1 ( x) f ( x)u 2 ( x)
entonces .
g ( x) g1 ( x) g 2 ( x)
f ( x)u1 ( x) f1 ( x) f ( x)
e1 ( x) con w ( 1 ) 0 y
g1 ( x) g1 ( x) g1 ( x)
f ( x)u 2 ( x) f 2 ( x) f ( x)
e2 ( x) con w ( 2 ) 0 entonces
g 2 ( x) g 2 ( x) g 2 ( x)
f ( x) f 1 ( x) f 2 ( x)
e1 ( x) e2 ( x)
g ( x) g 1 ( x) g 2 ( x)
f ( x) f ( x) f 2 ( x)
Como w ( ) 0 y w( 1 ) 0 entonces e1 ( x) e2 ( x) 0 de donde
g ( x) g1 ( x) g 2 ( x)
f ( x) f 1 ( x) f 2 ( x) f ( x) f ( x)
donde w ( 1 ) 0 y w ( 2 ) 0
g ( x) g1 ( x) g 2 ( x) g1 ( x) g 2 ( x)
Observacin.
f ( x)
En el Teorema anterior y en las siguientes generalizaciones se supone que es
g ( x)
una fraccin irreducible
Teorema
f ( x)
Sea la fraccin racional propia K ( x) tal que g ( x) g1 ( x) g 2 ( x) ..... g n ( x) en
g ( x)
que g1 ( x), g 2 ( x),....., g n ( x) son polinomios no nulos y de dos en dos son primos
relativos entre si, entonces existen polinomios f1 ( x), f 2 ( x),....., f n ( x) tal que
f ( x) f 1 ( x) f 2 ( x) f ( x)
..... n donde w ( f i ( x)) w ( g i ( x)) , i 1,2,..., n
g ( x) g1 ( x) g 2 ( x) g n ( x)
Demostracin
Por induccin
Teorema.
f ( x)
Considere la fraccin racional propia K ( x) tal que
g ( x)
g ( x) >g1 ( x)@ 1 >g 2 ( x)@ 2 ... >g n ( x)@ n en la que g1 ( x), g 2 ( x),....., g n ( x) son
m m m
Demostracin.
Si g i ( x), g j ( x) , i z j son primos relativos entonces >g i ( x)@ i y g j ( x) j tambin lo son
m m
> @
y tenemos el teorema anterior
Observacin.
f ( x)
1) Estos teoremas indican que la fraccin racional propia se ha expresado
g ( x)
como suma de fracciones parciales
f ( x)
2) El caso de la fraccin parcial de la forma , m N , puede ser
>g ( x)@m
susceptible de la descomposicin:
f ( x) a1 ( x) a 2 ( x) a m ( x)
... en que w (ai ( x)) w ( g i ( x)) , i 1.2., , , n o
>g ( x)@m g ( x) >g ( x)@2 >g ( x)@m
ai ( x) 0
Demostracin
Por induccin.
f ( x) f ( x)
Si m 1 entonces
g ( x) g ( x)
Para m 2 aplicamos el algoritmo de la divisin a los polinomios f ( x) y g ( x )
f ( x) a ( x)
obteniendo a1 ( x) 2 donde w (a 2 ( x)) wg ( x) , de aqu concluimos que
g ( x) g ( x)
f ( x) a1 ( x) a 2 ( x)
>g ( x)@ g ( x) >g ( x)@2
2
m1 mn
f ( x) A1i Ani
g ( x)
i 1 ( x a1 )
i
..........
i 1 ( x an )
i
en que A1i , A2i ,...., Ani C y donde
g ( x) ( x a1 ) m1 ( x a 2 ) m2 .... ( x a m ) mn ; m1 , m2 ,....., mn N
7.10.2 Aplicacin en R>x @
En R(x) los nicos polinomios irreducibles son los polinomios de grado 1 y los
polinomios cuadrticos ax 2 bx c donde b 2 4ac 0 .
f ( x)
As, toda fraccin racional R( x) se puede descomponer en suma de fracciones
g ( x)
parciales de la forma:
m1 mn
f ( x) A1i Ani
g ( x)
i 1 ( x a1 )
i
..........
i 1 ( x an )
i
r1
B1 j x C1 j rp
B pj x C pj
.......
j 1 (a1 x 2 b1 x c1 ) j j 1 (a p x 2 b p x c p ) j
donde
r
g ( x) ( x a1 ) m1 ( x a 2 ) m2 ... ( x a n ) mn (a1 x 2 b1 x c1 ) r1 ..... (a p x 2 b p x c p ) p y
los
Ejemplo.
x 1
Exprese como suma de fracciones parciales la fraccin racional R( x)
x3 1
Solucin.
Como x 3 x x( x 2 1) y x 2 1 es irreducible en R>x @ entonces la descomposicin
es
x 1 A Bx C
2 .Debemos determinar los nmeros reales A, B, C ; multiplicando la
x3 1 x x 1
Si x 0 concluimos 1 A
x 1 1 x 1
de donde
x3 1 x x2 1
Ejemplo.
x 1
Exprese como suma de fracciones parciales la fraccin racional C ( x)
x3 1
Solucin.
x 1 A B C
Como x 3 x x( x 2 1) x( x i )( x i) entonces , debemos
x3 1 x xi xi
determinar los nmeros complejos A, B, C
13) Hallar los valores de a y b que hagan que 2 y 3 sean races de la ecuacin
x 4 x 3 ax 2 bx 30 0
17) En cada uno de los ejercicios siguientes, comprobar que la ecuacin dada tiene
como races los valores indicados de r , y hallar las races restantes
a) x 3 6 x 2 13x 10 0 ; r 2 Resp. 2 r i
b) x 4 x 3 9 x 2 3x 18 0; r 3,-2 Resp. r 3
19) En cada uno de los siguientes ejercicios, se dan unas races de la ecuacin.
Hallar las races restantes
a) x 3 x 2 4 x 6 0 ; 1 i Resp. 1 i , 3
b) x 4 6 x 3 14 x 2 14 x 5 0 ; 2 i Resp. 2 i , 1 , 1
c) x 5 7 x 4 16 x 3 32 x 2 15 x 25 0 ; 1 2i , i Resp. i, 1 2i, 5
20) Determine la ecuacin mnica de grado mnimo con coeficientes reales que
tenga las races indicadas
a) 2, 3 i Resp. x 3 4 x 2 2 x 20 0
b) 1, 3, 1 2i
c) 2 4i, 2i Resp. x 4 4 x 3 24 x 2 16 x 80 0
d) 2, -1, 1, 2 Resp. x 4 5 x 2 4
24) Demostrar que una ecuacin cuyos trminos son todos positivos no tiene races
positivas
25) Demostrar que una ecuacin completa que tiene slo trminos pares , todos con
el mismo signo, no tiene races reales
30) Las dimensiones de una caja rectangular son 3 cm, 5 cm, y 7 cm. Si cada una de
estas dimensiones se aumenta en la misma cantidad, su volumen se triplica;
alcular esta cantidad Resp. 2 cm.
31) En cada una de las siguientes ecuaciones, hallar la raz indicada con una cifra
decimal
a) x 3 3x 2 3 x 5 0 , 2 x 3 Resp. 2,6
b) x 3 3x 2 2 x 7 0 , 1 x 2 Resp. 1,1
c) x 3 3x 2 26 x 69 0 , 2 x 3 Resp. 2,5
40) En cada uno de los siguientes ejercicios descomponga la fraccin dada en sus
fracciones parciales y comprobar el resultado
3x 2 4 x 5 2 x 3
a) ( x ) Resp.
( x 1)( x 2 1) x 1 x2 1
2x 3 4x 2 4x 4 2x 4
b) ( x) Resp. 2 2
( x 1)( x 2)
2 2
x 1 x 2
2x 4 4x 3 4x 2 x 6 1 2 x 1
c) ( x ) Resp. 2
x 4 x 3 3x 2 x x2 x2 x 3
2x 4 1 x2
d) ( x) Resp. 2
x 4x
3
x x 4
1 1 1 1
i i
2x 4 1
e) C ( x ) Resp. 2 2 2 2
x 4x
3
x x 2i x 2i