DEMOSTRACIÓN MATEMÁTICA

Curso de Fortalecimiento
UTPL
2015
Docente: Janeth Beatriz Torres Tamayo
janethtorrestamayo@gmail.com
@janethbeatriz
 Todo enunciado puede ser planteado en términos de
teoremas, axiomas o postulados. Un teorema por lo general
es el resultado del planteamiento de un problema:
 (p1^p2^…^pn) q
 Como en la vida diaria, antes de llegar a la solución es preciso
alcanzar ciertas metas p1, p2, p3,…,pn y finalmente obtener
el objetivo o conclusión q
Demostración Directa
 Se basa en el método deductivo.
 Parte de principios, postulados o axiomas que se aceptan como
verdaderos sin demostración.
 Los axiomas son evidentes, los postulados no tanto.
 Los postulados no deben deducirse de otros postulados o
teoremas.
 Cada paso de la demostración necesita ser justificado, bien sea en
un axioma, postulado, o en un teorema ya demostrado.
 Si alguno de los pasos de la demostración es incierto o
definitivamente falso, toda la demostración resulta incierta o falsa.
Axiomas (Ejemplos)
 El todo es mayor a la parte.
 El todo es igual a la suma de las partes
 Si A=B, entonces B=A.
 Si en una igualdad sumamos la misma cantidad en las dos
partes, la igualdad no se altera.
 Números naturales
 El sucesor de un número natural es otro número natural
 El 1 no es sucesor de ningún número natural.
 Dos números diferentes no pueden tener el mismo sucesor
 Postulados (Ejemplos)
ometría (Euclides):
Dos puntos determinan un segmento de recta.
Un segmento de recta se puede extender indefinidamente en línea recta
e puede trazar una circunferencia dados un centro y un radio cualquiera.
Todos los ángulos rectos son iguales entre sí.
or un punto exterior a una recta pasa una sola paralela
 Métodos aristotélicos de demostración
Modus “ponendo ponens” (afirmando afirmo) Si tengo un
condicional y sé que se cumple el antecedente, también se
cumple el consecuente. Si (PQ) ˄P entonces Q
 Si es lojano es ecuatoriano (Premisa)
 Es lojano (Premisa)
 Entonces es ecuatoriano (Conclusión)

P Q PQ (PQ) ˄P (PQ) ˄PQ

V V V V V
V F F F V
F V V F V
 Métodos aristotélicos de demostración
Modus “tollendo tollens” (negando niego). Si tengo un
condicional, y no se cumple el consecuente, entonces tampoco se
cumplirá el antecedente. Si PQ^¬Q, entonces ¬P.
 Si es lojano es ecuatoriano (Premisa)
 No es ecuatoriano (Premisa)
 Entonces no es lojano (Conclusión)

P Q PQ ¬Q (PQ) ˄¬Q (PQ)

˄¬Q¬P
V V V F V V
V F F V F V
F V V F F V
Métodos aristotélicos de demostración
 Modus “tollendo ponens”, si tengo una disyunción excluyente
y niego una de sus proposiciones, entonces debo afirmar la
otra.
 O es par o es impar (Premisa)
 No es par (Premisa)
 Entonces es impar (Conclusión)

P Q Pv ¬P (PvQ) (PvQ) ˄¬P¬Q

Q ˄¬P
V V F F V V
V F V F F V
F V V V F V
 Métodos aristotélicos de demostración
smo hipotético, si tengo P Q R PQ ¬Q (PQ) ¬ (PQ)
˄¬Q P ˄¬Q¬P
Q y QR, entonces
VVV V F F V
PR
VVF V F F V
s lojano es ecuatoriano VFV F V F V
(Premisa) VF F F V F V
s ecuatoriano es FVV V F F V
americano FVF V F F V
(Premisa) F FV V V V V
F F F V V V V
s lojano es
americano
(Conclusión)
Métodos aristotélicos de demostración
 Silogismo disyuntivo, si tengo PVQ;PR y QS, entonces
tengo RvS
 n es par o impar (Premisa)
 Si n es par, es divisible para dos (Premisa)
 Si n es impar, n+1 es divisible para dos (Premisa)
 n o n+1 son divisibles para 2, pero no ambos
(Conclusión)
 C

B
A
mostrar que: Un lado cualquiera de un triángulo es menos que la
ma de los otros dos.
a ABC un triángulo cualquiera,
C<ABC (Definición de línea recta)
C<AB+BC (El todo es igual a la suma de las partes)
orolario:
C-BC<AB (Restando BC en ambos lados)
B>AC-BC (La misma desigualdad escrita al revés)
n lado cualquiera es mayor que la resta de los otros dos.
Ejemplo 2
 Demostrar que la suma 1+2+3+4+5+…+n es igual a
n(n+1)/2
 Sea S=1+2+3+…+n
 Escribamos S=n+…+3+2+1
 Sumamos término a término:
 2S=(n+1)+…+(n+1)
 Como todos los sumandos son iguales y se repiten n veces
 2S=n(n+1)
 S=n(n+1)/2
Inducción matemática
 Es otro método de demostración directa, pero parte de
comprobar la veracidad del teorema para casos particulares
(n=1) y, asumiendo que se cumple para un número natural k,
probar que se cumple para k+1, así si se cumple para 1 se
cumplirá para 2, si se cumple para 2 se cumplirá para 3, y así
sucesivamente hasta el infinito.
 RESUMEN:
 1) n=1
 2) k «Hipótesis de Inducción»
 3) k+1 «Tesis de inducción»
 Es un método indirecto, pues no se trata de probar la
proposición sino las consecuencias de su negación.
 Si como consecuencia de negar la proposición llegamos a un
absurdo, quiere decir que entre las premisas hay una que es
falsa, esta es justamente la negación de la proposición.
 Si la negación de la proposición es falsa, entonces la
proposición original es verdadera.
 RESUMEN
 1) Negar la tesis
 2) Llegar a una contradicción.
 Ejemplo 1
strar que si un cuadrado es par, su raíz también es par
2 par, entonces n es par

guemos la proposición, puede ocurrir que siendo n2 par, n sea impar

es impar se puede escribir como (2m+1), con m número natural
levamos al cuadrado (2m+1)2 =4m2+4m+1
dos primeros términos son pares, por lo que su suma es par, pero a este
mero par le sumamos 1, por lo que se hace impar.
o habíamos dicho que el cuadrado era par
número no puede ser par e impar al mismo tiempo, tenemos una
tradicción, por lo que la suposición de que un cuadrado par puede tener
raíz impar es falsa.
onces, todo cuadrado par tiene una raíz par.