Académique Documents
Professionnel Documents
Culture Documents
2. Por comprensin. Los elementos se expresan a travs de una regla que determina su naturaleza.
Tambin se emplean llaves y se utiliza el smbolo | que significa "tal que" a manera de condicin. Por
ejemplo:
3. Por diagramas de Venn. Son regiones planas cerradas que contienen a los elementos sin la necesidad de
especificarlos. Son muy tiles para visualizar las relaciones y operaciones entre conjuntos. Por ejemplo:
Solucin:
B = {1, 3, 5, 7, 9}
1
c)
D = { x x = 5n , n Z ,
4 < n 4}
Solucin:
d)
E=x
x=
3n
, n N,
2n
n 7
Solucin:
2 4 6 8 10 12 14
Ejemplo.
Escribir por comprensin los siguientes conjuntos:
a) H = metro,
Solucin:
b) R = 1, 4, 9,16,
Solucin:
R = x x = n 2 , n N , n 10
1 2 3 4 5 6 7
, , , , ,
3 4 5 6 7 8 9
c) S = 0, ,
Solucin:
S =x
x=
n 1
, n N , n < 9
n +1
d)
Dos conjuntos son iguales si tienen exactamente los mismos elementos. Por ejemplo, los conjuntos
Conjunto finito. Es aquel cuyos elementos pueden ser contados. Por ejemplo:
L = {x
x es un pez volador} =
o como
Z = { , 4, 3, 2, 1, 0,1, 2, 3, 4, }
{ }. Por ejemplo:
Conjunto universal. Es aquel conjunto que posee a todos los elementos bajo consideracin y se representa
como U . Esto implica que cualquier conjunto es subconjunto del conjunto universal. Por ejemplo:
Si
U = {x
X = {>, , , <, }
1 2 34 5
La cardinalidad de un conjunto A es el nmero de elementos que posee. Se denota como
definicin, la cardinalidad del conjunto vaco es cero.
( A) . Por
Ejemplos.
Si K = aire, agua, tierra,
Si
{
fuego} , (K ) = 4
J = { Sel, Barcelona, Atlanta, Sidney, Atenas, Beijing} , (J ) = 6
A U B = {x
B.
AU B
Ejemplo.
Dados los siguientes conjuntos:
A U B = { azul, amarillo, naranja, rojo, rosa, verde, caf, lila, morado, gris}
A I B = {x x A
los elementos comunes de A y B . Grficamente:
Formalmente, se define como:
AIB
Ejemplo.
Sean los siguientes conjuntos:
Solucin:
Ejemplo
Dados los conjuntos anteriores, comprobar que
( A U B ) = ( A) + (B ) ( A I B )
Solucin.
Contando los elementos de los conjuntos se tiene que:
( A U B ) = 10 , ( A) = 6 y (B ) = 7
Cuando dos conjuntos A y B no tienen elementos en comn, su interseccin es el vaco. En este caso
se dice que los conjuntos A y B son ajenos o disjuntos, es decir : A I B = .
Ejemplo.
Estos conjuntos son ajenos:
Ejemplo.
Sean los siguientes conjuntos:
( A ')' = A
'= U
U '=
A U A' = U
A I A' =
La diferencia de los conjuntos A B (en ese orden) es el conjunto de los elementos que slo
pertenecen a
A.
5
Ejemplo.
Sean los siguientes conjuntos:
A = { , , , , , , , , }
B = { , , , , , , }
Obtener A B y B A.
Solucin:
A B = { , , , , }
B A = { , , }
A B = {x
x A
conjuntos slo contempla a los elementos del primer conjunto y que no pertenecen al segundo. Grficamente:
A-B
b) A = A
c) A B = A I B ' = B ' A'
d) A B = , si y slo si A B
e) A B = B A, si y slo si A = B
f) A B = A, si y slo si A I B =
g) A B A
h) Los conjuntos A B, A I B y B A son mutuamente ajenos, es decir, la interseccin de dos de
estos conjuntos es el vaco.
Ejemplo.
Dados los siguientes conjuntos:
U = {3, 6, 9,12,15,18, 21, 24, 27}, A = {3, 6, 12,18, 21, 27}, B = {3, 9,12, 21, 24, 27} , C = {3,12, 24},
D = {3, 6, 12,18, 21, 27} , E = { 6,15,18}
Se cumple que:
Solucin:
a) A A = , ya que poseen los mismos elementos.
c)
Ejemplo.
Sean los siguientes conjuntos:
U = { x x = n + 1, n N ,
J = { x x = 3n + 1, n N ,
L = { x x = 2n + 2 , n N ,
Obtener:
a) J U L
J L
i) L 'I J '
e)
n 15}
n < 6}
n 7}
b) J I L
J'
g) J ' U L
k) ( J U L )'
c)
LJ
j) L ' J '
f)
Solucin:
Expresando los conjuntos por extensin:
U = { 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16}
J = { 4, 7,10,13,16}
L = { 4, 6, 8,10,12,14,16}
a) J U L = { 4, 6, 7, 8,10,12,13,14,16}
b) J I L = { 4,10,16}
c) J '= { 2, 3, 5, 6, 8, 9,11,12,14,15}
d) L'= { 2, 3, 5, 7, 9,11,13,15}
e) J L = { 7,13}
f) L J = { 6, 8,12,14}
7
d) L'
J I L'
l) ( J I L )'
h)
J 'U L = { 2, 3, 4, 5, 6, 8, 9,10,11,12,14,15,16}
h) J I L'= { 7,13}
i) L'I J ' = { 2, 3, 5, 9,11,15}
j) L'J ' = { 7,13}
k) ( J U L )'= { 2, 3, 5, 9,11,15}
l) ( J I L )'= { 2, 3, 5, 6, 7, 8, 9,11,12,13,14,15}
g)
AU = A
AUU =U
AI =
A IU = A
2. Propiedades de idempotencia:
AU A= A
AI A= A
3. Propiedades asociativas:
( A U B ) U C = A U (B U C )
( A I B ) I C = A I (B I C )
4. Propiedades conmutativas:
AU B = B U A
AI B = B I A
5. Propiedades distributivas:
A U (B I C ) = ( A U B ) I ( A U C )
A I (B U C ) = ( A I B ) U ( A I C )
I.1.4 LEYES DE DE MORGAN
Las Leyes de De Morgan permiten simplificar la unin e interseccin de complementos:
1. El complemento de la unin de dos conjuntos es la interseccin de sus complementos:
En el diagrama de la izquierda,
( A U B )'
A'I B '
U
( A I B )'
A'U B '
U
Ejemplo.
Dados los siguientes conjuntos:
A = {>, , , , $, *}
B = { , , # , , *, }
Comprobar las leyes de De Morgan:
Solucin:
A U B = {>, , , # , , , $,*, }
A I B = { ,, *}
A' = {, &, # , <, , }
B' = {>, &, , <, $, }
( A U B )' = {&,<,}
_ (1)
A' I B' = {&,<,}
_ (2 )
Como (1) = (2) ( A U B )' = A'I B'
( A I B )' = {>, , &, # , , <, $, , }
A' U B' = {>,,&,# ,,<,$, ,}
Como (3) = (4) ( A I B )' = A'U B'
_ (3)
_ (4)
Simples si slo tienen un sujeto, un verbo y un complemento. En caso contrario, son proposiciones
Compuestas.
Cerradas si tienen determinado el sujeto. Abiertas si no lo tienen determinado.
Afirmativas o Negativas. Segn lo afirmen o nieguen.
Verdaderas o Falsas segn correspondan o no a la realidad.
Ejemplos.
h: "Ana come pizza y bebe refresco", es una proposicin compuesta, cerrada y afirmativa.
j: "Ella no nada muy rpido", es una proposicin simple, abierta y negativa.
k: Cuernavaca no est al norte del D.F. y no hace fro", es una proposicin compuesta, cerrada, negativa
y verdadera.
l: 7 + 3 = 10 es una proposicin simple, cerrada, afirmativa y verdadera.
m: x x 2 es una proposicin simple, abierta y negativa.
n: a + b = 6 es una proposicin compuesta, abierta y afirmativa.
2
Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado
verdadero. Se le conoce como multiplicacin lgica y su smbolo es (and).
Ejemplo.
Sea el siguiente enunciado: "Voy al cine cuando hay una buena pelcula y cuando tengo dinero "
Sean:
p: Voy al cine.
q: Hay una buena pelcula.
r: Tengo dinero.
De tal manera que la representacin del enunciado anterior usando simbologa lgica es como sigue:
p = qr
Su tabla de verdad es como sigue:
q
1
1
0
0
r
1
0
1
0
pr
1
0
0
0
Donde.
1 = verdadero
0 = falso
En la tabla anterior el valor de q=1 significa que hay una buena pelcula, r=1 significa que tengo dinero y
p=qr=1 significa que voy ir al cine. Se puede notar que con cualquiera de las dos proposiciones que
valga cero implica que no asisto al cine.
11
Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera.
Se conoce como suma lgica y su smbolo es (or).
Ejemplo.
Sea el siguiente enunciado: Para ir a Toluca puedo tomar la carretera federal o tomar la autopista de
cuota
Sean:
p: Ir a Toluca.
q: Tomar la carretera federal.
r: Tomar la autopista de cuota.
q
1
1
0
0
r
1
0
1
0
pr
1
1
1
0
En la tabla anterior el valor de q=1 significa tomar la carretera federal, r=1 significa tomar la autopista de
cuota y p=qr=1 significa ir a Toluca. Se puede notar que con cualquiera de las dos proposiciones que
valga uno implica que llego a Toluca.
Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera y se le aplica el
operador not se obtendr su negacin (falso) y viceversa. Este operador se indica por medio del smbolo .
Ejemplo.
Sea el siguiente enunciado: El len es el rey de la selva
Sean:
p: El len es el rey de la selva.
p: El len no es el rey de la selva.
Su tabla de verdad es como sigue:
p
1
0
p
0
1
En la tabla anterior el valor de p=1 significa que el len es el rey de la selva, y p=0 significa que el len
1
no lo es .
Ejemplo.
Sean las proposiciones:
p: Ya es tarde.
q: Tengo que dormirme.
r: Me levantar temprano.
El enunciado: "Ya es tarde y tengo que dormirme o no me levantar temprano. Se puede representar
simblicamente de la siguiente manera: pqr
Adems de los operadores bsicos (And, Or y Not) existe el operador Xor, cuyo funcionamiento es semejante al operador Or con
la diferencia de que su resultado es verdadero solamente si una de las proposiciones es cierta, y cuando ambas son verdad, el
resultado es falso. Por otro lado, con ayuda de los operadores bsicos se pueden formar los operadores compuestos Nand
(combinacin de los operadores Not y And), Nor (combina operadores Not y Or) y Xnor (resultado de Xor y Not).
12
q
1
0
1
0
pq
1
0
1
1
q
1
0
1
0
pq
1
0
0
1
residentes en el extranjero), esto es que pq =0. Cuando p=0 y q=0 se interpreta como que ni puede
votar ni tiene credencial, por lo tanto es cierto pq =1.
Ejemplo.
Representar simblicamente el enunciado: "Si no pago la luz, entonces me cortarn la corriente elctrica.
Y Si pago la luz, entonces me quedar sin dinero o pedir prestado. Y Si me quedo sin dinero y pido
prestado, entonces no podr pagar la deuda, si y slo si soy desorganizado"
Solucin
p: Pago la luz.
q: Me cortarn la corriente elctrica.
r: Me quedar sin dinero.
s: Pedir prestado.
t: Pagar la deuda.
w: Soy desorganizado.
(pq)[p(rs)][(rs)t]w
El nmero de lneas de la tabla de verdad depende del nmero de variables de la expresin y se puede
calcular por medio de la siguiente formula.
No de lneas =
donde
2n
Ejemplo.
Dada la siguiente proposicin: [(pq)(qr)](rq).
elaborar su tabla de verdad.
Solucin.
p
0
0
0
0
1
1
1
1
q
0
0
1
1
0
0
1
1
r
0
1
0
1
0
1
0
1
q
1
1
0
0
1
1
0
0
pq
1
1
1
1
0
0
1
1
(qr)
0
1
0
0
0
1
0
0
(pq) (qr)
1
1
1
1
0
1
1
1
rq
1
0
1
1
1
0
1
1
[(pq)(qr)](rq)
1
0
1
1
0
0
1
1
q
0
1
0
1
p
1
1
0
0
q
1
0
1
0
pq
1
1
0
1
14
qp
1
1
0
1
(pq)(qp)
1
1
1
1
Ntese que en las tautologas para todos los valores de verdad el resultado de la proposicin es siempre
uno. Las tautologas son muy importantes en Lgica Matemtica ya que se consideran leyes en las
cuales se puede apoyar para realizar demostraciones.
Se dice que dos proposiciones son lgicamente equivalentes, o simplemente equivalentes. Si coinciden
sus resultados para los mismo valores de verdad. Se indican como pq.
En el ejemplo anterior, se puede observar que las columnas de (pq) y (qp) son iguales para los
mismos valores de verdad, por lo tanto se puede establecer que (pq) (qp)
Contradiccin es aquella proposicin que siempre es falsa para todos los valores de verdad, una de las
mas usadas y mas sencilla es pp . Como lo muestra su correspondiente tabla de verdad.
p
0
1
p
1
0
pp
0
0
Ejemplo.
Si se tiene p: El coche es verde, la proposicin pp equivale a decir que "El coche es verde y el coche
no es verde". Por lo tanto se esta contradiciendo, es decir, es una falacia.
El mtodo de demostracin directa parte de la proposicin p, que se supone verdadera, y deducir de ella
una nueva proposicin q que se pueda ver que es verdadera como resultado de que p lo es. Es
importante resaltar que las proposiciones deducidas de p no deben ser hechas de cualquier modo, deben
estar enfocadas hacia la ltima proposicin obtenida.
El camino que se debe seguir para llevar a cabo una demostracin formal usando el mtodo directo
significa que si se sabe que p1 es verdadera, p2 es verdadera,..., y pn tambin es verdadera, entonces se
sabe que q es verdadera.
Prcticamente todos los teoremas matemticos estn compuestos por implicaciones del tipo:
(p1p2pn) q
donde las pi son llamadas hiptesis o premisas, y q es llamada conclusin. "Demostrar el teorema", es
demostrar que la implicacin es una tautologa. Ntese que no se trata de demostrar que q (la
conclusin) es verdadera, sino solamente que q es verdadera si todas las pi son verdaderas.
simple: Por qu no puede q ser falsa?. Despus de todo, si q tiene que ser verdadera, debe haber
alguna razn por la que no pueda ser falsa. El objetivo del mtodo de demostracin por reduccin al
absurdo es, precisamente, descubrir esa razn. La idea es suponer que p es verdadera y q falsa y ver
que no puede ocurrir esto.
En la prctica la demostracin por reduccin al absurdo inicia considerando como hiptesis q y finaliza
cuando el proceso de demostracin obtiene dos proposiciones que se contradicen una a la otra.
Ejemplo.
Demostrar por reduccin al absurdo que la raz cuadrada de un nmero natural es natural o
irracional.
Solucin.
Sean los nmeros naturales A y B primos entre s con B 1
Suponiendo un nmero racional de la forma
Si se eleva al cuadrado:
n=
n=
A
B
A2
B2
Resulta un absurdo puesto que el miembro izquierdo es natural y el miembro derecho es racional e
irreducible. Por lo tanto la raz cuadrada de un nmero natural no es racional.
El mtodo de la demostracin por contraposicin, tiene la ventaja de que se va a dirigir hacia una
contradiccin concreta. En la demostracin por contraposicin, al igual que la demostracin por reduccin
al absurdo, se supone que tanto p como q son verdaderas. En el mtodo por contraposicin, sin
embargo, no se parte de p y q, sino que se empieza a trabajar solamente con q y el objetivo es llegar a
que p es falsa, con lo que ya se ha llegado a una contradiccin qu mejor contradiccin? cmo puede
ser p a la vez verdadera y falsa?
n =1
n = k + 1 si lo es para n = k , donde k es un nmero arbitrario
Si estas condiciones se cumplen se puede afirmar que la proposicin es vlida para todo nmero natural.
Para todo fin prctico, el proceso de demostracin de una identidad enunciada para todos los nmeros
naturales consta de tres pasos:
1. Verificar el cumplimiento de la identidad para n = 1
2. Establecer la identidad para n = k
3. Demostrar, mediante procesos algebraicos, que tambin es vlida para
n = k + 1.
Ejemplos.
Aplicando el principio de induccin matemtica, demostrar las siguiente identidades:
1) 1 + 2 + 3 + 4 + + n =
Solucin:
Se verifica la validez para
1(1 + 1) 2
= =1
2
2
Se establece para n = k :
n(n + 1)
2
n = 1:
1=
18
1+ 2 + 3 + 4 + + k =
k (k + 1)
2
_ (1)
= k + 1 se tiene:
(k + 1)[(k + 1) + 1] = (k + 1)(k + 2)
1+ 2 + 3 + 4 + + k +1 =
2
2
sumando k + 1 en ambos miembros de la expresin (1) :
k (k + 1)
1 + 2 + 3 + 4 + + k + (k + 1) =
+ (k + 1)
2
Ahora, para n
expresando convenientemente:
1+ 2 + 3 + 4 + + k + k +1 =
factorizando
(k + 1) :
2
1+ 2 + 3 + 4 + + k +1 =
k (k + 1) 2(k + 1)
+
2
2
(k + 1)[(k + 1) + 1] = (k + 1)(k + 2)
2
como (2) = (3) queda demostrada la validez para n = k + 1 .
2) 1 + 3 + 5 + 7 + + 2(n - 1) = n
Solucin:
Se verifica la validez para n = 1 :
1 = 12
n=k:
1 + 3 + 5 + 7 + + 2(k - 1) = k 2
_ (1)
Ahora, para n = k + 1 se tiene:
2
1 + 3 + 5 + 7 + + 2[(k + 1) 1] = (k + 1)
_ (2 )
sumando [2(k + 1) 1] en ambos miembros de la expresin (1) :
1 + 3 + 5 + 7 + + 2(k 1) + 2[(k + 1) 1] = k 2 + [2(k + 1) 1]
1 + 3 + 5 + 7 + + 2(k 1) + 2[(k + 1) 1] = k 2 + 2k + 2 1
1 + 3 + 5 + 7 + + 2(k 1) + 2[(k + 1) 1] = k 2 + 2k + 1
Se establece para
factorizando el trinomio:
1 + 3 + 5 + 7 + + 2(k 1) + 2[(k + 1) 1] = (k + 1)
_ (3)
como (2) = (3) queda demostrada la validez para n = k + 1 .
2
n(n + 1)
3) 1 + 2 + 3 + 4 + + n =
2
3
Solucin:
Se verifica la validez para
n = 1:
1(1 + 1)
2
13 =
= = 12 = 1
2
2
Se establece para n = k :
2
_ (2 )
19
_ (3)
k (k + 1)
1 + 2 + 3 + 4 + + k =
2
Ahora, para n = k + 1 se tiene:
3
_ (1)
(k + 1)[(k + 1) + 1]
(k + 1)(k + 2 )
1 + 2 + 3 + 4 + + (k + 1) =
=
2
2
3
sumando (k + 1) en ambos miembros de la expresin (1) :
2
_ (2 )
k (k + 1)
3
1 + 2 + 3 + 4 + + k + (k + 1) =
+ (k + 1)
2
2
expresando convenientemente:
[k (k + 1)]2
4(k + 1)
4
4
2
3
2
k (k + 1) + 4(k + 1)
3
3
3
3
3
3
1 + 2 + 3 + 4 + + k + (k + 1) =
4
2
(k + 1) :
factorizando
4
2
(
k + 1) k 2 + 4(k + 1)
3
3
3
3
3
3
1 + 2 + 3 + 4 + + k + (k + 1) =
4
2
2
(k + 1) k + 4k + 4
3
13 + 2 3 + 33 + 4 3 + + k 3 + (k + 1) =
4
2
2
(
k + 1) (k + 2 )
3
3
3
3
3
3
1 + 2 + 3 + 4 + + k + (k + 1) =
4
13 + 2 3 + 33 + 4 3 + + k 3 + (k + 1) =
3
(k + 1)(k + 2 )
1 + 2 + 3 + 4 + + (k + 1) =
como
_ (3)
4) 1 + 2 + 3 + 4 + + n =
2
n(n + 1)(2n + 1)
6
Solucin:
Se verifica la validez para
n = 1:
1(1 + 1)(2(1) + 1) 1(2 )(3) 6
12 =
=
= =1
6
6
6
Se establece para n = k :
k (k + 1)(2k + 1)
12 + 2 2 + 32 + 4 2 + + k 2 =
_ (1)
6
Ahora, para n = k + 1 se tiene:
(k + 1)[(k + 1) + 1][2(k + 1) + 1] = (k + 1)(k + 2)(2k + 3)
2
12 + 2 2 + 32 + 4 2 + + (k + 1) =
6
6
2
sumando (k + 1) en ambos miembros de la expresin (1) :
20
_ (2 )
12 + 2 2 + 32 + 4 2 + + k 2 + (k + 1) =
2
expresando convenientemente:
12 + 2 2 + 32 + 4 2 + + k 2 + (k + 1) =
2
factorizando
(k + 1) :
12 + 2 2 + 32 + 4 2 + + k 2 + (k + 1) =
2
k (k + 1)(2k + 1)
2
+ (k + 1)
6
k (k + 1)(2k + 1) + 6(k + 1)
6
6
(k + 1) 2k + k + 6k + 6
2
12 + 2 2 + 32 + 4 2 + + k 2 + (k + 1) =
6
2
(k + 1) 2k + 7k + 6
2
12 + 2 2 + 32 + 4 2 + + k 2 + (k + 1) =
6
factorizando el trinomio:
2k 2 + 7 k + 6 =
por lo tanto:
12 + 2 2 + 32 + 4 2 + + (k + 1) =
2
como
5)
(k + 1)(k + 2)(2k + 3)
6
_ (3)
1
1
1
1
1
n
+
+
+
+ +
=
1(2 ) 2(3) 3(4 ) 4(5)
n(n + 1) n + 1
Solucin:
Se verifica la validez para
n = 1:
1
1
1
=
=
1(2 ) 1 + 1 2
n=k:
1
1
1
1
1
k
+
+
+
+ +
=
_ (1)
1(2 ) 2(3) 3(4 ) 4(5)
k (k + 1) k + 1
Ahora, para n = k + 1 se tiene:
1
1
1
1
1
k +1
k +1
+
+
+
+ +
=
=
_ (2 )
(k + 1)(k + 2) (k + 1) + 1 k + 2
1(2 ) 2(3) 3(4 ) 4(5)
1
sumando
en ambos miembros de la expresin (1) :
(k + 1)(k + 2)
1
1
1
1
1
1
k
1
+
+
+
+ +
+
=
+
1(2 ) 2(3) 3(4 ) 4(5)
k (k + 1) (k + 1)(k + 2 ) k + 1 (k + 1)(k + 2 )
1
1
1
1
1
1
k (k + 2 ) + 1
+
+
+
+ +
+
=
1(2 ) 2(3) 3(4 ) 4(5)
k (k + 1) (k + 1)(k + 2 ) (k + 1)(k + 2 )
Se establece para
1
1
1
1
1
1
k 2 + 2k + 1
+
+
+
+ +
+
=
1(2) 2(3) 3(4) 4(5)
k (k + 1) (k + 1)(k + 2) (k + 1)(k + 2)
factorizando el trinomio:
21
(k + 1)
1
1
1
1
1
1
+
+
+
+ +
+
=
1(2 ) 2(3) 3(4 ) 4(5)
k (k + 1) (k + 1)(k + 2 ) (k + 1)(k + 2 )
2
reduciendo:
1
1
1
1
1
k +1
+
+
+
+ +
=
_ (3)
1(2 ) 2(3) 3(4 ) 4(5)
(k + 1)(k + 2) k + 2
como (2) = (3) queda demostrada la validez para n = k + 1 .
n(n + 1)(4n - 1)
3
n = 1:
Se establece para
n=k:
= k + 1 se tiene:
k (k + 1)(4k - 1)
3
_ (1)
(k + 1)[(k + 1) + 1][4(k + 1) 1]
3
(k + 1)(k + 2)(4k + 3)
1(2 ) + 3(4 ) + 5(6 ) + + [2(k + 1) 1]2(k + 1) =
_ (2 )
3
sumando [2(k + 1) 1]2(k + 1) en ambos miembros de la expresin (1) :
k (k + 1)(4k 1)
1(2 ) + 3(4 ) + 5(6 ) + + (2k 1)2k + [2(k + 1) - 1]2(k + 1) =
+ [2(k + 1) 1]2(k + 1)
3
k (k + 1)(4k 1) + 6(k + 1)(2k + 1)
1(2 ) + 3(4 ) + 5(6 ) + + (2k 1)2k + [2(k + 1) - 1]2(k + 1) =
3
factorizando k + 1 :
(k + 1)[k (4k 1) + 6(2k + 1)]
1(2 ) + 3(4 ) + 5(6 ) + + (2k 1)2k + [2(k + 1) - 1]2(k + 1) =
3
2
(k + 1) 4k k + 12k + 6
1(2 ) + 3(4 ) + 5(6 ) + + (2k 1)2k + [2(k + 1) - 1]2(k + 1) =
3
2
(k + 1) 4k + 11k + 6
1(2 ) + 3(4 ) + 5(6 ) + + (2k 1)2k + [2(k + 1) 1]2(k + 1) =
3
factorizando el trinomio:
4k 2 + 11k + 6 =
por lo tanto:
(k + 1)(k + 2)(4k + 3)
3
como (2) = (3) queda demostrada la validez para n = k + 1 .
22
_ (3)