Académique Documents
Professionnel Documents
Culture Documents
onde las p, son llamadas hipétesis o premisas, y q es llamada conclusién, "Demostrar el teorema", es demostrar que la implicacién es una tautolegia. Nétese que no se trata de demostrar que q (le conclusién) es verdadera, sino solamente que q es verdadera si todas las p; son verdaderas. + El mBtodo de demostracién indirecta EI método de demostracién indirecta consiste en proceder al revés, Se fija le atencién primeramente en 4G, es decir en la afirmacion a la que se quiere llegar. Ubicada ta premisa p, se va tratando de buscar situaciones intermedias py, Pa Pa, ~- Pn de las que q se podria deducir. Se identifica si alguna de estas podria estar relacionada con la situacién p, se podria deducir de ella. Cuando se enouentra, se vorifica que el camino inverso que se ha encontrado, ahora de P aq, escorrecto. + Método de demostracién por reduccisn al absurdo En el método de demostracién de reduccién al absurdo, se debe empezar suponiendo que p es verdadera, al igual que se hacia en el método de demostracién directa. Ahora, sin embargo, para llegar a la conclusion buscada, a saber, que q es verdadera se puede proceder haciendo una pregunta muyConjuntos, Iogica e induecién matemética a simple: “ZPor qué no puede q ser falsa?". Después de todo, si q tiene que ser verdadera, debe haber alguna razén por la que no pueda ser falsa. El objetivo del método de demostracién por reduccién al absurdo es, precisamente, descubrir esa razén. La idea es suponer que p es verdadera y q falsa y ver que no puede ocurrir esto, En la practica la demostracién por reduccién al absurdo inicia considerando como hipétesis q' y finaliza cuando el proceso de demostracién obtiene dos proposiciones que se contradicen una a la otra Ejemplo. Demostrar por reduccién al absurdo que Ja ralz cuadrada de un ndmero natural es natural o irracional. Solucién. Sean los niimeros naturales A y B primos entre sicon B #1 Suponiendo un numero racional de la forma Vn gz Si se eleva al cuadrado: n=; Resulta un absurdo puesto que el miembro izquierdo es natural y el miembro derecho es racional e Imeducibie, Por lo tanto la ralz cuadrada de un numero natural no es racional. + La demostracién por contraposicién E| método de la demostracién por contraposicién, tiene la ventaja de que se va a dirigir hacia una contradicci6n concreta. En la cemostracion por contraposicion, al igual que la demostracién por reduccién al absurdo, se supone que tanto p como q’ son verdaderas. En el método por contraposicion, 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 contradiccién gqué mejor contradiccién? gcémo puede ser p ala vez verdadera y falsa? 1.3 INDUCCION MATEMATICA Dentro de las Matematicas existen proposiciones tanto generales como particulares. Ejemplos de proposiciones generales, son las siguientes: P: “Todos los nifios de México tienen derecho a la educacién’. q: "En todo paralelogramo las diagonales se cortan en el punto medio de ambas” "Todos los nmeros que terminan en caro son divisbies por 5°. Algunas de las proposiciones particulares que se pueden deducir de éstas son respectivamente: 5: "Beto tiene derecho a la educacién’, t: “Las diagonales del paralelogramo ABCD se cartan en el punto medio de ambas*. uu: "140 es divisible por 5°. El paso de las proposiciones generales a las particulares se denomina deduccién. Ejemplos: P: “Todos los nifios en México tienen derecho a la educacién’. v: "Beto es nifio mexicano’. 8; "Beto tiene derecho a la educacion’,32 Conjuntos, logiea e induccién motemética Se observa que la proposicién s ha sido deducida de la propasicién p mediante la proposicién v. Ahora bien, la forma légica de razonamiento que parte de proposiciones perticulares y llega a las generales se denomina inducoién. La induccién puede llevar a conclusiones verdaderas 0, a conclusiones falsas. Ejemplos. 1) p: "140 es divisible por 5", q: “Todos los ntimeros que terminan en cero son divisibles por 5", De la proposicién particular p se ha obtenido la proposicion q, que es verdadera 2) u:"140 es divisible por 5", ww: “Todos los néimeros de tres digitos son divisibles por 5°, De la proposici6n particular u se ha obtenido la proposicién w que es falsa, La pregunta que surge ahora es: £cdmo debe de emplearse la inducciOn en las Matematicas para llegar siempre a conclusiones verdaderas? Los ejemplos considerados permiten concluir facilmente que una proposicién puede ser valida en una serie de casos particulares y no serio en general. Ahora surge otra pregunta, Se tiene una proposicién vélida en varios casos particulares y es imposible analizar todos los casos. ¢Cudndo se puede afirmar que esta proposicién es valida en general? La respuesta se ogra aplicando un razonamiento especial conocide como méfodo de induccién matemética: ‘Toda demostracién que se basa en el principio de induccién matematica se denomnina “demostracion por induccién*. Esto consta de verificar que se cumpian las siguientes condiciones; + Laproposicién es valida para n + La proposicién es valida para n =k +1 siloes pera n =k , donde & es un niimero arbitrario Si estas condiciones se cumplen se puede afirmar que la proposicién es valida para todo ndimero natural, Para todo fin practico, el proceso de demostracion de una identidad enunciada para todos los ntimeros naturales consta de tres pasos: 1. Verificar el cumplimiento de la identidad para n= | 2. Establecer la identidad para n =k 3. Demostrar, mediante procesos algebraicos, que tambien es valida para n= k +1. Ejempios. Aplicando el principio de induccién mateméatica, demostrar las siguiente identidades: 14243444040 <2) ‘Solucion: Se verifica la validez para’ n Wd+1)_2_ 1 2 2 Se establece para n =k:Conjuntos, ISglea € Induecién matemética 33 1424344+4- ba Hike) _@) (Ahora, paran=24+1 se:tlone; 14243444: we = EAM] oiler) _0) sumando k +1 en ambos miembros de la expresién (1): erased tee (er MED G41 expresando convenientemente: e243 eet eek tre MEAD) (k +1) factotzando &+1) Laaeseae cee CeMer +i] boner) 6) como (2)= (3) queda demostrada la validez para n= k +1. 2) 14345474---4200-I =n? Solucién: Se verifica la validez para n l=P Se establece para 7 = k: 143454+74+-42k-D=k _(l) Ahora, paran = k +1 se tione: 1434+5+7+4---+2[(e41)-1]=(k+1P —_(2) sumando [2( +1)—1] en ambos miembros de la expresién (1) 1434+54-7+++2(k-1)+ 2 +1)-1]=4? + [2 +1)-1] 143454-74---+2(k-1)+2[(e+1)-1]= 4 +24+2-1 143454+74---+2(¢-1)+2[(e+1)-1]=44+2k41 factorizando el trinomio: 143454+74--+2(-1)+2((k+1)-1]=(eH1? — _G) como (2)= (3) queda demostrada la validez para n =k +1. 3) Bata oa pon =f Meet Soluci6n: Se verifica la validez para n=1: ray rs Se establece para n=:34 ‘Conjuntos, logica ¢ Induccin matemética reves ente [ME] @ Ahora, paran =k +1 se tiene: PHP 43 44? 4-4 (e41P -[eokoor [eee y _@) 2 sumando (é +1) en ambos miembros de la expresién (1) 2 PHD 43 443 eet e+ 1) {> +(e+1) expresando convenientemente: . P4243 4434+ ses (ey abel ery 2 P42439 442 pega) 4 (ea 1p
Ahora, paran = k +1 se tiene:
l k+l k+l gy
1,1. 1
1@) 26) "3@)" 4G)" "Yes 2) Weed a2
1
‘sumando ea en ambos miembros de la expresién (I):
(i
1rd 1 1 é 1
i) * 2G)" 3(4) " a)" ees)” ales 2) a1” rier 2)
tot oh, 1 1 __ Wk +2)+1
OO We eae ED
Ce ers 1 1 42k+1
i@ 2) Ha) a) Mes aera) e+ 2)
factorizando el trinomio:
1 1
336 Conjuntos, I6gica e Induccién matemética
a yaa 6) "gt “Way ee Pa
route
Atl 6)
oy xy" x" ae “Tae ka2
como (2)= (3) queda demostrada la validez para n =k +1.
8) 1) 3(8) +569) 0-4 @r—tjn= Me)
‘Solucién:
Se verifica la validez para 71 =1;
1(2)= +a) 1)_ 10) $2
Se establece para n =k:
1(2)+3(4)+5(6)+---+ (2k-1)2k = Heifer) 0)
Ahora, para7i =k +1 se tiene:
1) +34) +6) +--+ +1)—tp(e +1) = MH eo)
1(2)+3(4)+5(6)+---+ [2( +1)-1p(e +1) = ese 2hat+5) _Q)
sumando [2(k +1)-1]2(k +1) en ambos miembros de ta expresion (1):
1(2)+3(4) + 5(6)+--- + (2k-1)2k + [2(& +1)-1R& +1) = HEED og +1)-12( +1)
1(2)+3(4)+5(6)+---+(2k-1)2k + [2 +1)-1R& +1) = Hes lek— Dede Mako)
factorizando k+1:
1(2)+-3(4)+-5(6) +---+(2k—1)2k +[2( kale +1) = NAGE lak)
1(2)+3(4)+5(6)+---+(2k-1)2k + [2(& +1)-1p(k +1)= = Erika" saith og]
12)+3(4)+5(6) +--+ (2k —1)2k + p(k +1)-iple-+1)= tv
factorizando el trinomio:
de sires = AE) + 41k) +406) _ (4x)? +11(4k) +24 _ (ae +8Xak-+3)
por lo tanto: ‘ 4
1} =34)+5(6)+~-+fae-rt) teri) = EE aah) _6)
como (2)= (3) queda demostrada la validez para n= k +1.
7 =(k+2Y4k +3)Conjuntos, Idglca © Induccién matemética 37
1.7 EJERCICIOS PROPUESTOS
1) Definir con palabras propias los siguientes conceptos:
a) Conjunto b) Subconjunto ©) Unién d) Interseccién
) Diferencia 1) Complemento ¢) Correspondencia biunivoca
h) Cardinalidad
2) Exponer las propiedades de fos conjuntos
3) Definir a los siguientes conjuntos:
a) Universal b) Vacio ©) Finito 4) Infinito
4) Cémo se definen los conjuntes ajenos? Exponer tres ejemplos,
+ Dari jos siguientes conjuntos expresades en forma de comprensién, expresarlos en forma de
extensién.
5) P={x|x=3n-1, meN, n