Universidad Metropolitana de Ciencias de la Educacin

Facultad de Ciencias Bsicas

Departamento de Matemticas
Geometra Axiomtica

Tipos de
Demostraciones
Nombre:
Diego Montenegro Ducaud
Denisse Orrego Astudillo
Grupo 7
Profesor:
Rubn Figueroa

Jueves 06 de Abril de 2016

Introduccin

En matemticas no se acepta una proposicin o teorema como verdadero hasta que

se construye su demostracin formal, aunque la proposicin sea vlida para un nmero
finito de casos no significa que sea vlida para todo el universo, es por eso que es
importante conocer algunos mtodos de demostracin usando como argumentacin otras
afirmaciones previamente establecidas, tales como teoremas o axiomas.
En particular en este trabajo se desarrollarn cuatro teoremas con los siguientes
mtodos de demostracin:
a)
b)
c)
d)

Demostracin Directa
Demostracin Indirecta por contradiccin
Demostracin Indirecta por contra recproco
Demostracin Indirecta por exclusin para Teoremas.

Estos mtodos se desarrollan en conjeturas que por lo general se ven la asignatura de

clculo, usando como base los Axiomas de Nmeros reales, y los cules muestran un uso
bsico de estos axiomas.

Demostracin Directa

Teorema: Sea

xR x 0

mbito: Nmeros Reales ( R )

Contenidos necesarios: - Axiomas de Nmeros Reales (Tricotoma, Clausura)
- Operatoria de Nmeros Reales

Demostracin:

+
+ x=0 (x ) R
x R x R

/Axioma de Tricotoma
+
+ x =0 (x )(x ) R
xx R
2

+
2
2

+ x =0 x R
x2 R

/Multiplicar ( x) y (x ) R

/Multiplicacin de 2 reales positivos, es un nmero positivo

x 2> 0 x 2=0
x2 0

Hemos llegado a la conclusin de que si x es un nmero real, su cuadrado o es un nmero

positivo o es cero.

x2 0

Indirecta por Contradiccin

Teorema: El elemento neutro para la suma es nico

mbito: Nmeros Reales ( R )
Contenidos necesarios: Axiomas de los nmeros reales (Existencia de Neutro de la
Adicin, Conmutatividad de la Adicin)

Demostracin:
Por axioma de existencia de neutro para la suma, sabemos que existe el elemento neutro.
Supongamos que hemos encontrado dos de ellos, y los llamaremos e 1 y e 2 , entonces:

x R :e 1+ x=x ( 1 )
x R :e 2+ x=x (2)

Pero e 1 y e 2 tambin son elementos de

R , por lo que:

De (1)

e 1+ e2=e2

De (2)

e 2+ e1=e1

Resolviendo:
e 1=e 2+ e1

/por Axioma de conmutatividad

e 1+ e2

/ pero e 1+ e2=e2

e2

Luego, hemos llegado a la conclusin de que si existen dos neutros para la suma, entonces
son el mismo elemento.

El neutro para la suma es nico

Indirecta por Contra Recproco

Teorema: Si

p , q pertenecen a

+
R tales que

pq

p+ q
2

entonces

mbito: Nmeros Reales ( R )

Contenidos necesarios: - Operatoria con Nmeros Reales en ecuaciones
- Axiomas de Nmeros Reales (Clausura)
Demostracin:

Demostraremos que
Sean

+ : p=q pq=

+
p , q R tal que

p=q / q
2

pq=q /

pq=q (1)

p+ q
2

p , q R
p=q , tenemos por una parte:

p q

Por otra parte:

p=q / +q
p+q=2 q/:2

p+ q
=q (2)
2
Igualando (1) y (2) tenemos:
p+ q
pq=
2

Luego

+ : p=q pq=

p+ q
2

p , q R
p+ q
pq
2
p , q R

+ : pq

Indirecta por exclusin para Teoremas

Teorema: Sean

x, y R

: xy=0 x=0 y=0

mbito: Nmeros Reales ( R )

Contenidos Necesarios: Axiomas de Nmeros Reales (Neutro e Inverso Multiplicativo,
Asociatividad y Conmutatividad de la Multiplicacin, Elemento Absorbente)

Demostracin:

xy=0 x 0 , entonces por axioma de inverso multiplicativo

Supongamos que
x1 R

xx1=1

tal que

Luego:
y= y1

1
/Axioma Neutro Multiplicativo y= y( xx )

1
/Axioma Inverso Multiplicativo y=( yx )x
1
Mult. y=( x y )x

/Axioma Asociatividad

1
/Axioma Conmutatividad Mult. y=0x

/Hiptesis

xy=0

/Axioma Conmutatividad Mult. y=0

y=x10

/Axioma Elemento Absorbente

Anlogamente, si
1

y R tal que

xy=0 y 0

entonces por axioma de inverso multiplicativo

yy =1

Luego:
x=x1

1
/Axioma Neutro Multiplicativo x=x( yy )

1
/Axioma Inverso Multiplicativo x=( xy )y

/Axioma Asociatividad

1
Mult. x=0y
1

x= y 0

/Hiptesis
/Axioma Conmutatividad Mult.

xy=0
x=0

/Axioma Elemento Absorbente

Hemos llegado a la conclusin que si uno de los dos nmeros no es cero, el otro
obligatoriamente, tiene que serlo:
x , y R : xy =0 x=0 y =0

Conclusiones

Las demostraciones matemticas, son algo que en la vida del estudiante

universitario se usa a diario en todas las materias que tenga. Si bien, en nuestra malla
curricular si est previsto la enseanza de Lgica, como la Lgica Proposicional y
conectores lgicos, as como algunas Leyes notables, no se ensea a demostrar propiamente
tal teniendo como base estos conocimientos, por lo que este trabajo, adems de ser muy til
para recordarnos algunas cosas, nos hace pensar que la Teora de la demostracin es algo
esencial para cualquiera que quiera estudiar matemtica, por lo que debera incluirse en
algn curso de primer semestre de nuestra carrera.
A niveles personales, como alumnos de cuarto y quinto ao nos hizo aclarar algunas
dudas o confusiones que tenamos con respecto a algunos tipos de demostraciones y
tambin a darnos cuenta de qu usbamos distintos mtodos sin saber cul estbamos
aplicando en los distintos teoremas o proposiciones que hemos desarrollado durante la
carrera, por lo que sacamos mucho de provecho realizando este taller.