Demostraciones indirectas

1 / 12
next
Slide 1: Slide
AlgebraTertiary Education

This lesson contains 12 slides, with text slides.

time-iconLesson duration is: 50 min

Items in this lesson

Slide 1 - Slide

Demostraciones indirectas

Slide 2 - Slide

¿Qué son?
(¬Q(PQ))¬P
Parten de la contraposición de una implicación.
Puede ser más fácil de comprobar lo contrario.

Slide 3 - Slide

Ejemplo
Pruebe que si un número al cuadrado es par, entonces dicho número es par.
n2ParnPar
nParn2Par

Slide 4 - Slide

Ejemplo
  • Como queremos comprobar por un método indirecto:
nParn2Par
n=2k1
n2=(2k1)2=4k24k+1
n2=2(2k22k)+1

Slide 5 - Slide

Demostraciones indirectas por reducción al absurdo

Slide 6 - Slide

¿Qué son?
(¬Q(PQ))P
Parten de la negación condicional, lo que buscan es tratar de probar que la negación es posible.

Slide 7 - Slide

Ejemplo
La suma de dos enteros consecutivos es impar.
Vamos a buscar probar que la suma no es impar
a+b2k+1
b=a+1a+b=a+(a+1)=2a+1
2a+12k+1

Slide 8 - Slide

Ejemplo
La raíz cuadrada de dos, es un número irracional.
Probemos que la raíz cuadrada es racional
2=baa,bPrimos
2b=a2b2=a2
Como a cuadrada es resultado de una multiplicación por dos, es par, y como ya comprobamos para que a cuadrada sea par, a debe de ser par. 
Para que sea una fracción de números primos, es necesario que b sea impar.

Slide 9 - Slide

Ejemplo
Para que sea una fracción de números primos, es necesario que b sea impar.
aPar,bImpar
a=2k
2b2=a22b2=(2k)2
2b2=4k2b2=2k2
De esta forma nosotros comprobamos que b cuadrada y por lo tanto b son pares.

Slide 10 - Slide

Ejemplo
La raíz cuadrada de dos, es un número irracional.
Probemos que la raíz cuadrada es racional
2=baa,bPrimos
Hemos comprobado que tanto a y b deben de ser números pares, por lo que no son primos entre sí y llegamos a una contradicción en la definición de un número racional.

Slide 11 - Slide

Ejemplo
El conjunto de números primos tiene una cardinalidad infinita.

Slide 12 - Slide